About the Execution of smart for DLCflexbar-PT-8a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15765.480 | 3600000.00 | 3600080.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542200436.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 DLCflexbar-PT-8a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542200436
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 8.9M
-rw-r--r-- 1 mcc users 3.0K Mar 30 18:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 30 18:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 29 08:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 29 08:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 04:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 04:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 22:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 22:57 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 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 8.7M 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 DLCflexbar-PT-8a-CTLFireability-00
FORMULA_NAME DLCflexbar-PT-8a-CTLFireability-01
FORMULA_NAME DLCflexbar-PT-8a-CTLFireability-02
FORMULA_NAME DLCflexbar-PT-8a-CTLFireability-03
FORMULA_NAME DLCflexbar-PT-8a-CTLFireability-04
FORMULA_NAME DLCflexbar-PT-8a-CTLFireability-05
FORMULA_NAME DLCflexbar-PT-8a-CTLFireability-06
FORMULA_NAME DLCflexbar-PT-8a-CTLFireability-07
FORMULA_NAME DLCflexbar-PT-8a-CTLFireability-08
FORMULA_NAME DLCflexbar-PT-8a-CTLFireability-09
FORMULA_NAME DLCflexbar-PT-8a-CTLFireability-10
FORMULA_NAME DLCflexbar-PT-8a-CTLFireability-11
FORMULA_NAME DLCflexbar-PT-8a-CTLFireability-12
FORMULA_NAME DLCflexbar-PT-8a-CTLFireability-13
FORMULA_NAME DLCflexbar-PT-8a-CTLFireability-14
FORMULA_NAME DLCflexbar-PT-8a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589120645451
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 8a
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: 3971 places, 32571 transitions, 129321 arcs.
AT ITER 0 NEW BEST:: SOT 71640229 SOS 62951652 HAS SOPS 29653807 HAS SOUS 3330788 HAS SOUPS 1266478 WITH SCORE 1329429.652
AT ITER 27 NEW BEST:: SOT 71640229 SOS 62951652 HAS SOPS 29653807 HAS SOUS 3330508 HAS SOUPS 1266198 WITH SCORE 1329149.652
AT ITER 28 NEW BEST:: SOT 71640229 SOS 62951652 HAS SOPS 29653807 HAS SOUS 3330228 HAS SOUPS 1265918 WITH SCORE 1328869.652
AT ITER 49 NEW BEST:: SOT 71639582 SOS 62950358 HAS SOPS 29657523 HAS SOUS 3328757 HAS SOUPS 1264948 WITH SCORE 1327898.358
AT ITER 59 NEW BEST:: SOT 71635443 SOS 62973642 HAS SOPS 29664647 HAS SOUS 3325855 HAS SOUPS 1262046 WITH SCORE 1325019.642
AT ITER 61 NEW BEST:: SOT 71635443 SOS 62973642 HAS SOPS 29664647 HAS SOUS 3325671 HAS SOUPS 1261862 WITH SCORE 1324835.642
AT ITER 72 NEW BEST:: SOT 71634969 SOS 62975538 HAS SOPS 29664173 HAS SOUS 3325513 HAS SOUPS 1261625 WITH SCORE 1324600.538
AT ITER 75 NEW BEST:: SOT 71632922 SOS 62980992 HAS SOPS 29659397 HAS SOUS 3324279 HAS SOUPS 1260050 WITH SCORE 1323030.992
AT ITER 122 NEW BEST:: SOT 71632514 SOS 62980176 HAS SOPS 29660621 HAS SOUS 3323463 HAS SOUPS 1259438 WITH SCORE 1322418.176
AT ITER 213 NEW BEST:: SOT 71632514 SOS 62980176 HAS SOPS 29660621 HAS SOUS 3323379 HAS SOUPS 1259354 WITH SCORE 1322334.176
AT ITER 243 NEW BEST:: SOT 71631960 SOS 62979068 HAS SOPS 29662283 HAS SOUS 3322271 HAS SOUPS 1258523 WITH SCORE 1321502.068
AT ITER 253 NEW BEST:: SOT 71628935 SOS 62880063 HAS SOPS 29672758 HAS SOUS 3320497 HAS SOUPS 1256749 WITH SCORE 1319629.063
AT ITER 260 NEW BEST:: SOT 71628935 SOS 62880063 HAS SOPS 29672758 HAS SOUS 3320217 HAS SOUPS 1256469 WITH SCORE 1319349.063
AT ITER 262 NEW BEST:: SOT 71628935 SOS 62880063 HAS SOPS 29672758 HAS SOUS 3319937 HAS SOUPS 1256189 WITH SCORE 1319069.063
AT ITER 263 NEW BEST:: SOT 71628935 SOS 62880063 HAS SOPS 29672758 HAS SOUS 3319721 HAS SOUPS 1255973 WITH SCORE 1318853.063
AT ITER 273 NEW BEST:: SOT 71626947 SOS 62885495 HAS SOPS 29668110 HAS SOUS 3318371 HAS SOUPS 1254287 WITH SCORE 1317172.495
AT ITER 280 NEW BEST:: SOT 71623626 SOS 62900083 HAS SOPS 29670698 HAS SOUS 3315857 HAS SOUPS 1251773 WITH SCORE 1314673.083
AT ITER 288 NEW BEST:: SOT 71623626 SOS 62900083 HAS SOPS 29670698 HAS SOUS 3315577 HAS SOUPS 1251493 WITH SCORE 1314393.083
AT ITER 313 NEW BEST:: SOT 71623626 SOS 62900083 HAS SOPS 29670698 HAS SOUS 3315297 HAS SOUPS 1251213 WITH SCORE 1314113.083
AT ITER 324 NEW BEST:: SOT 71623626 SOS 62900083 HAS SOPS 29670698 HAS SOUS 3315065 HAS SOUPS 1250981 WITH SCORE 1313881.083
AT ITER 341 NEW BEST:: SOT 71622024 SOS 62892607 HAS SOPS 29668562 HAS SOUS 3312929 HAS SOUPS 1249379 WITH SCORE 1312271.607
AT ITER 360 NEW BEST:: SOT 71621812 SOS 62888883 HAS SOPS 29670338 HAS SOUS 3312371 HAS SOUPS 1249371 WITH SCORE 1312259.883
AT ITER 402 NEW BEST:: SOT 71618892 SOS 62900137 HAS SOPS 29671432 HAS SOUS 3310121 HAS SOUPS 1247121 WITH SCORE 1310021.137
AT ITER 418 NEW BEST:: SOT 71618892 SOS 62900137 HAS SOPS 29671432 HAS SOUS 3309841 HAS SOUPS 1246841 WITH SCORE 1309741.137
AT ITER 484 NEW BEST:: SOT 71618827 SOS 62899877 HAS SOPS 29671172 HAS SOUS 3309711 HAS SOUPS 1246711 WITH SCORE 1309610.877
AT ITER 492 NEW BEST:: SOT 71618827 SOS 62899877 HAS SOPS 29671172 HAS SOUS 3309513 HAS SOUPS 1246513 WITH SCORE 1309412.877
AT ITER 514 NEW BEST:: SOT 71616523 SOS 62918093 HAS SOPS 29672348 HAS SOUS 3309061 HAS SOUPS 1245493 WITH SCORE 1308411.093
AT ITER 581 NEW BEST:: SOT 71616523 SOS 62918093 HAS SOPS 29672348 HAS SOUS 3308903 HAS SOUPS 1245335 WITH SCORE 1308253.093
AT ITER 582 NEW BEST:: SOT 71613485 SOS 62930277 HAS SOPS 29673832 HAS SOUS 3306573 HAS SOUPS 1243005 WITH SCORE 1305935.277
AT ITER 583 NEW BEST:: SOT 71613485 SOS 62930277 HAS SOPS 29673832 HAS SOUS 3306293 HAS SOUPS 1242725 WITH SCORE 1305655.277
AT ITER 643 NEW BEST:: SOT 71611759 SOS 62937297 HAS SOPS 29669632 HAS SOUS 3305617 HAS SOUPS 1241675 WITH SCORE 1304612.297
AT ITER 671 NEW BEST:: SOT 71611513 SOS 62936805 HAS SOPS 29672500 HAS SOUS 3305072 HAS SOUPS 1241466 WITH SCORE 1304402.805
AT ITER 674 NEW BEST:: SOT 71611079 SOS 62933969 HAS SOPS 29672944 HAS SOUS 3304356 HAS SOUPS 1241078 WITH SCORE 1304011.969
AT ITER 678 NEW BEST:: SOT 71611079 SOS 62933969 HAS SOPS 29672944 HAS SOUS 3304314 HAS SOUPS 1241036 WITH SCORE 1303969.969
AT ITER 681 NEW BEST:: SOT 71611079 SOS 62933969 HAS SOPS 29672944 HAS SOUS 3304034 HAS SOUPS 1240756 WITH SCORE 1303689.969
AT ITER 691 NEW BEST:: SOT 71611079 SOS 62933969 HAS SOPS 29672944 HAS SOUS 3303754 HAS SOUPS 1240476 WITH SCORE 1303409.969
AT ITER 696 NEW BEST:: SOT 71611079 SOS 62933969 HAS SOPS 29672944 HAS SOUS 3303474 HAS SOUPS 1240196 WITH SCORE 1303129.969
AT ITER 704 NEW BEST:: SOT 71608545 SOS 62944409 HAS SOPS 29669404 HAS SOUS 3301856 HAS SOUPS 1238112 WITH SCORE 1301056.409
AT ITER 705 NEW BEST:: SOT 71608545 SOS 62944409 HAS SOPS 29669404 HAS SOUS 3301826 HAS SOUPS 1238082 WITH SCORE 1301026.409
AT ITER 729 NEW BEST:: SOT 71607722 SOS 63015003 HAS SOPS 29668274 HAS SOUS 3300696 HAS SOUPS 1236952 WITH SCORE 1299967.003
AT ITER 810 NEW BEST:: SOT 71607105 SOS 63013769 HAS SOPS 29671080 HAS SOUS 3299367 HAS SOUPS 1236027 WITH SCORE 1299040.769
AT ITER 818 NEW BEST:: SOT 71607105 SOS 63013769 HAS SOPS 29671080 HAS SOUS 3299107 HAS SOUPS 1235767 WITH SCORE 1298780.769
AT ITER 835 NEW BEST:: SOT 71606551 SOS 63010009 HAS SOPS 29671740 HAS SOUS 3298111 HAS SOUPS 1235213 WITH SCORE 1298223.009
AT ITER 849 NEW BEST:: SOT 71605910 SOS 63008727 HAS SOPS 29674458 HAS SOUS 3296770 HAS SOUPS 1234272 WITH SCORE 1297280.727
AT ITER 855 NEW BEST:: SOT 71605910 SOS 63008727 HAS SOPS 29674458 HAS SOUS 3296508 HAS SOUPS 1234010 WITH SCORE 1297018.727
AT ITER 874 NEW BEST:: SOT 71605272 SOS 63007715 HAS SOPS 29673446 HAS SOUS 3295549 HAS SOUPS 1233051 WITH SCORE 1296058.715
AT ITER 880 NEW BEST:: SOT 71601855 SOS 63024061 HAS SOPS 29677292 HAS SOUS 3293031 HAS SOUPS 1230533 WITH SCORE 1293557.061
AT ITER 919 NEW BEST:: SOT 71601855 SOS 63024061 HAS SOPS 29677292 HAS SOUS 3292751 HAS SOUPS 1230253 WITH SCORE 1293277.061
AT ITER 924 NEW BEST:: SOT 71601855 SOS 63024061 HAS SOPS 29677292 HAS SOUS 3292569 HAS SOUPS 1230071 WITH SCORE 1293095.061
AT ITER 927 NEW BEST:: SOT 71601587 SOS 63026741 HAS SOPS 29678632 HAS SOUS 3292435 HAS SOUPS 1229937 WITH SCORE 1292963.741
AT ITER 941 NEW BEST:: SOT 71598722 SOS 63042227 HAS SOPS 29682678 HAS SOUS 3290416 HAS SOUPS 1227918 WITH SCORE 1290960.227
AT ITER 946 NEW BEST:: SOT 71595028 SOS 63063141 HAS SOPS 29689212 HAS SOUS 3287501 HAS SOUPS 1225003 WITH SCORE 1288066.141
AT ITER 954 NEW BEST:: SOT 71595028 SOS 63063141 HAS SOPS 29689212 HAS SOUS 3287437 HAS SOUPS 1224939 WITH SCORE 1288002.141
AT ITER 976 NEW BEST:: SOT 71594738 SOS 63060587 HAS SOPS 29686658 HAS SOUS 3287147 HAS SOUPS 1224649 WITH SCORE 1287709.587
AT ITER 1001 NEW BEST:: SOT 71594619 SOS 63060885 HAS SOPS 29686616 HAS SOUS 3287102 HAS SOUPS 1224604 WITH SCORE 1287664.885
AT ITER 1034 NEW BEST:: SOT 71594619 SOS 63060885 HAS SOPS 29686616 HAS SOUS 3286822 HAS SOUPS 1224324 WITH SCORE 1287384.885
AT ITER 1050 NEW BEST:: SOT 71594619 SOS 63060885 HAS SOPS 29686616 HAS SOUS 3286740 HAS SOUPS 1224242 WITH SCORE 1287302.885
AT ITER 1088 NEW BEST:: SOT 71594619 SOS 63060885 HAS SOPS 29686616 HAS SOUS 3286460 HAS SOUPS 1223962 WITH SCORE 1287022.885
AT ITER 1110 NEW BEST:: SOT 71594147 SOS 63059941 HAS SOPS 29688032 HAS SOUS 3285516 HAS SOUPS 1223254 WITH SCORE 1286313.941
AT ITER 1114 NEW BEST:: SOT 71591785 SOS 62951682 HAS SOPS 29699487 HAS SOUS 3284312 HAS SOUPS 1222050 WITH SCORE 1285001.682
AT ITER 1146 NEW BEST:: SOT 71591502 SOS 62951116 HAS SOPS 29698921 HAS SOUS 3283746 HAS SOUPS 1221484 WITH SCORE 1284435.116
AT ITER 1165 NEW BEST:: SOT 71591502 SOS 62951116 HAS SOPS 29698921 HAS SOUS 3283534 HAS SOUPS 1221272 WITH SCORE 1284223.116
AT ITER 1167 NEW BEST:: SOT 71591407 SOS 62950812 HAS SOPS 29698807 HAS SOUS 3283477 HAS SOUPS 1221234 WITH SCORE 1284184.812
AT ITER 1195 NEW BEST:: SOT 71591407 SOS 62950812 HAS SOPS 29698807 HAS SOUS 3283197 HAS SOUPS 1220954 WITH SCORE 1283904.812
AT ITER 1205 NEW BEST:: SOT 71591407 SOS 62950812 HAS SOPS 29698807 HAS SOUS 3282917 HAS SOUPS 1220674 WITH SCORE 1283624.812
AT ITER 1221 NEW BEST:: SOT 71591407 SOS 62950812 HAS SOPS 29698807 HAS SOUS 3282699 HAS SOUPS 1220456 WITH SCORE 1283406.812
AT ITER 1233 NEW BEST:: SOT 71591407 SOS 62950812 HAS SOPS 29698807 HAS SOUS 3282431 HAS SOUPS 1220188 WITH SCORE 1283138.812
AT ITER 1235 NEW BEST:: SOT 71591407 SOS 62950812 HAS SOPS 29698807 HAS SOUS 3282151 HAS SOUPS 1219908 WITH SCORE 1282858.812
AT ITER 1243 NEW BEST:: SOT 71587798 SOS 62989221 HAS SOPS 29710126 HAS SOUS 3282074 HAS SOUPS 1218928 WITH SCORE 1281917.221
AT ITER 1256 NEW BEST:: SOT 71584401 SOS 63013503 HAS SOPS 29718068 HAS SOUS 3279972 HAS SOUPS 1216826 WITH SCORE 1279839.503
AT ITER 1267 NEW BEST:: SOT 71580294 SOS 63038831 HAS SOPS 29726116 HAS SOUS 3277111 HAS SOUPS 1213965 WITH SCORE 1277003.831
AT ITER 1274 NEW BEST:: SOT 71580294 SOS 63038831 HAS SOPS 29726116 HAS SOUS 3276831 HAS SOUPS 1213685 WITH SCORE 1276723.831
AT ITER 1276 NEW BEST:: SOT 71580294 SOS 63038831 HAS SOPS 29726116 HAS SOUS 3276551 HAS SOUPS 1213405 WITH SCORE 1276443.831
AT ITER 1310 NEW BEST:: SOT 71579742 SOS 63037727 HAS SOPS 29727772 HAS SOUS 3275447 HAS SOUPS 1212577 WITH SCORE 1275614.727
AT ITER 1319 NEW BEST:: SOT 71579742 SOS 63037727 HAS SOPS 29727772 HAS SOUS 3275223 HAS SOUPS 1212353 WITH SCORE 1275390.727
AT ITER 1344 NEW BEST:: SOT 71579742 SOS 63037727 HAS SOPS 29727772 HAS SOUS 3274943 HAS SOUPS 1212073 WITH SCORE 1275110.727
AT ITER 1372 NEW BEST:: SOT 71579392 SOS 63037027 HAS SOPS 29727072 HAS SOUS 3274418 HAS SOUPS 1211548 WITH SCORE 1274585.027
AT ITER 1397 NEW BEST:: SOT 71579392 SOS 63037027 HAS SOPS 29727072 HAS SOUS 3274236 HAS SOUPS 1211366 WITH SCORE 1274403.027
AT ITER 1424 NEW BEST:: SOT 71579392 SOS 63037027 HAS SOPS 29727072 HAS SOUS 3274194 HAS SOUPS 1211324 WITH SCORE 1274361.027
AT ITER 1426 NEW BEST:: SOT 71576086 SOS 63053001 HAS SOPS 29731006 HAS SOUS 3271779 HAS SOUPS 1208909 WITH SCORE 1271962.001
AT ITER 1460 NEW BEST:: SOT 71575432 SOS 63051693 HAS SOPS 29732968 HAS SOUS 3270471 HAS SOUPS 1207928 WITH SCORE 1270979.693
AT ITER 1477 NEW BEST:: SOT 71574272 SOS 63098027 HAS SOPS 29749632 HAS SOUS 3271329 HAS SOUPS 1207797 WITH SCORE 1270895.027
AT ITER 1530 NEW BEST:: SOT 71572079 SOS 63087793 HAS SOPS 29746708 HAS SOUS 3267674 HAS SOUPS 1204873 WITH SCORE 1267960.793
AT ITER 1531 NEW BEST:: SOT 71572079 SOS 63087793 HAS SOPS 29746708 HAS SOUS 3267394 HAS SOUPS 1204593 WITH SCORE 1267680.793
AT ITER 1533 NEW BEST:: SOT 71572079 SOS 63087793 HAS SOPS 29746708 HAS SOUS 3267120 HAS SOUPS 1204319 WITH SCORE 1267406.793
AT ITER 1610 NEW BEST:: SOT 71568849 SOS 63119571 HAS SOPS 29760066 HAS SOUS 3265447 HAS SOUPS 1202646 WITH SCORE 1265765.571
AT ITER 1614 NEW BEST:: SOT 71568347 SOS 63116293 HAS SOPS 29760578 HAS SOUS 3264566 HAS SOUPS 1202144 WITH SCORE 1265260.293
AT ITER 1620 NEW BEST:: SOT 71568060 SOS 63112935 HAS SOPS 29761860 HAS SOUS 3263960 HAS SOUPS 1202002 WITH SCORE 1265114.935
AT ITER 1629 NEW BEST:: SOT 71567660 SOS 63111645 HAS SOPS 29766230 HAS SOUS 3262945 HAS SOUPS 1201553 WITH SCORE 1264664.645
AT ITER 1643 NEW BEST:: SOT 71551578 SOS 63081673 HAS SOPS 29755593 HAS SOUS 3261913 HAS SOUPS 1201451 WITH SCORE 1264532.673
AT ITER 1648 NEW BEST:: SOT 71551106 SOS 63076307 HAS SOPS 29757597 HAS SOUS 3260704 HAS SOUPS 1200979 WITH SCORE 1264055.307
AT ITER 1655 NEW BEST:: SOT 71551106 SOS 63076307 HAS SOPS 29757597 HAS SOUS 3260424 HAS SOUPS 1200699 WITH SCORE 1263775.307
AT ITER 1661 NEW BEST:: SOT 71550796 SOS 63072429 HAS SOPS 29759149 HAS SOUS 3259571 HAS SOUPS 1200389 WITH SCORE 1263461.429
AT ITER 1665 NEW BEST:: SOT 71550152 SOS 63071141 HAS SOPS 29762571 HAS SOUS 3258172 HAS SOUPS 1199461 WITH SCORE 1262532.141
AT ITER 1669 NEW BEST:: SOT 71550152 SOS 63071141 HAS SOPS 29762571 HAS SOUS 3258132 HAS SOUPS 1199421 WITH SCORE 1262492.141
AT ITER 1702 NEW BEST:: SOT 71550152 SOS 63071141 HAS SOPS 29762571 HAS SOUS 3257882 HAS SOUPS 1199171 WITH SCORE 1262242.141
AT ITER 1708 NEW BEST:: SOT 71550152 SOS 63071141 HAS SOPS 29762571 HAS SOUS 3257676 HAS SOUPS 1198965 WITH SCORE 1262036.141
AT ITER 1745 NEW BEST:: SOT 71549998 SOS 63071603 HAS SOPS 29763033 HAS SOUS 3257520 HAS SOUPS 1198809 WITH SCORE 1261880.6030000001
AT ITER 1764 NEW BEST:: SOT 71549650 SOS 63069979 HAS SOPS 29761409 HAS SOUS 3257056 HAS SOUPS 1198345 WITH SCORE 1261414.979
AT ITER 1830 NEW BEST:: SOT 71547739 SOS 63080143 HAS SOPS 29758463 HAS SOUS 3256494 HAS SOUPS 1197346 WITH SCORE 1260426.143
AT ITER 1837 NEW BEST:: SOT 71547739 SOS 63080143 HAS SOPS 29758463 HAS SOUS 3256332 HAS SOUPS 1197184 WITH SCORE 1260264.143
AT ITER 1839 NEW BEST:: SOT 71544430 SOS 63108425 HAS SOPS 29769645 HAS SOUS 3254435 HAS SOUPS 1195287 WITH SCORE 1258395.425
AT ITER 1842 NEW BEST:: SOT 71543912 SOS 63107389 HAS SOPS 29771199 HAS SOUS 3253399 HAS SOUPS 1194510 WITH SCORE 1257617.389
AT ITER 1861 NEW BEST:: SOT 71543912 SOS 63107389 HAS SOPS 29771199 HAS SOUS 3253119 HAS SOUPS 1194230 WITH SCORE 1257337.389
AT ITER 1882 NEW BEST:: SOT 71541613 SOS 63137505 HAS SOPS 29783955 HAS SOUS 3252597 HAS SOUPS 1193708 WITH SCORE 1256845.505
AT ITER 1891 NEW BEST:: SOT 71541289 SOS 63138801 HAS SOPS 29783631 HAS SOUS 3252435 HAS SOUPS 1193492 WITH SCORE 1256630.801
AT ITER 1911 NEW BEST:: SOT 71540355 SOS 63145977 HAS SOPS 29782827 HAS SOUS 3251835 HAS SOUPS 1192626 WITH SCORE 1255771.977
AT ITER 1996 NEW BEST:: SOT 71539947 SOS 63145161 HAS SOPS 29784051 HAS SOUS 3251019 HAS SOUPS 1192014 WITH SCORE 1255159.161
AT ITER 1997 NEW BEST:: SOT 71539665 SOS 63144597 HAS SOPS 29789117 HAS SOUS 3250174 HAS SOUPS 1191732 WITH SCORE 1254876.597
AT ITER 2021 NEW BEST:: SOT 71537095 SOS 63160763 HAS SOPS 29793443 HAS SOUS 3248850 HAS SOUPS 1190408 WITH SCORE 1253568.763
AT ITER 2042 NEW BEST:: SOT 71536199 SOS 63157711 HAS SOPS 29790391 HAS SOUS 3247740 HAS SOUPS 1189298 WITH SCORE 1252455.711
AT ITER 2065 NEW BEST:: SOT 71535677 SOS 63156667 HAS SOPS 29791957 HAS SOUS 3246696 HAS SOUPS 1188515 WITH SCORE 1251671.667
AT ITER 2070 NEW BEST:: SOT 71535518 SOS 63156349 HAS SOPS 29796239 HAS SOUS 3246228 HAS SOUPS 1188507 WITH SCORE 1251663.349
AT ITER 2107 NEW BEST:: SOT 71535212 SOS 63153529 HAS SOPS 29793419 HAS SOUS 3245922 HAS SOUPS 1188201 WITH SCORE 1251354.529
AT ITER 2120 NEW BEST:: SOT 71534178 SOS 63157241 HAS SOPS 29792031 HAS SOUS 3245320 HAS SOUPS 1187429 WITH SCORE 1250586.241
AT ITER 2145 NEW BEST:: SOT 71531124 SOS 63175693 HAS SOPS 29797683 HAS SOUS 3243194 HAS SOUPS 1185303 WITH SCORE 1248478.693
AT ITER 2147 NEW BEST:: SOT 71531124 SOS 63175693 HAS SOPS 29797683 HAS SOUS 3242928 HAS SOUPS 1185037 WITH SCORE 1248212.693
AT ITER 2175 NEW BEST:: SOT 71531124 SOS 63175693 HAS SOPS 29797683 HAS SOUS 3242868 HAS SOUPS 1184977 WITH SCORE 1248152.693
AT ITER 2180 NEW BEST:: SOT 71529880 SOS 63217056 HAS SOPS 29796439 HAS SOUS 3241904 HAS SOUPS 1184013 WITH SCORE 1247230.056
AT ITER 2219 NEW BEST:: SOT 71529880 SOS 63217056 HAS SOPS 29796439 HAS SOUS 3241624 HAS SOUPS 1183733 WITH SCORE 1246950.056
AT ITER 2298 NEW BEST:: SOT 71529743 SOS 63216782 HAS SOPS 29798335 HAS SOUS 3241350 HAS SOUPS 1183676 WITH SCORE 1246892.782
AT ITER 2308 NEW BEST:: SOT 71529553 SOS 63216782 HAS SOPS 29798335 HAS SOUS 3241254 HAS SOUPS 1183580 WITH SCORE 1246796.782
AT ITER 2316 NEW BEST:: SOT 71529119 SOS 63213544 HAS SOPS 29799047 HAS SOUS 3240509 HAS SOUPS 1183230 WITH SCORE 1246443.544
AT ITER 2327 NEW BEST:: SOT 71528639 SOS 63212584 HAS SOPS 29800487 HAS SOUS 3239549 HAS SOUPS 1182510 WITH SCORE 1245722.584
AT ITER 2350 NEW BEST:: SOT 71528639 SOS 63212584 HAS SOPS 29800487 HAS SOUS 3239335 HAS SOUPS 1182296 WITH SCORE 1245508.584
AT ITER 2354 NEW BEST:: SOT 71528639 SOS 63212584 HAS SOPS 29800487 HAS SOUS 3239055 HAS SOUPS 1182016 WITH SCORE 1245228.584
AT ITER 2355 NEW BEST:: SOT 71528639 SOS 63208504 HAS SOPS 29800727 HAS SOUS 3238623 HAS SOUPS 1182016 WITH SCORE 1245224.504
AT ITER 2374 NEW BEST:: SOT 71525413 SOS 63225594 HAS SOPS 29804937 HAS SOUS 3236566 HAS SOUPS 1179959 WITH SCORE 1243184.594
AT ITER 2375 NEW BEST:: SOT 71525413 SOS 63225594 HAS SOPS 29804937 HAS SOUS 3236286 HAS SOUPS 1179679 WITH SCORE 1242904.594
AT ITER 2397 NEW BEST:: SOT 71525413 SOS 63225594 HAS SOPS 29804937 HAS SOUS 3236034 HAS SOUPS 1179427 WITH SCORE 1242652.594
AT ITER 2412 NEW BEST:: SOT 71525413 SOS 63225594 HAS SOPS 29804937 HAS SOUS 3235754 HAS SOUPS 1179147 WITH SCORE 1242372.594
AT ITER 2419 NEW BEST:: SOT 71521194 SOS 63251494 HAS SOPS 29813517 HAS SOUS 3232448 HAS SOUPS 1175841 WITH SCORE 1239092.494
AT ITER 2422 NEW BEST:: SOT 71521194 SOS 63251494 HAS SOPS 29813517 HAS SOUS 3232306 HAS SOUPS 1175699 WITH SCORE 1238950.494
AT ITER 2429 NEW BEST:: SOT 71520746 SOS 63246908 HAS SOPS 29815081 HAS SOUS 3231243 HAS SOUPS 1175251 WITH SCORE 1238497.908
AT ITER 2430 NEW BEST:: SOT 71520332 SOS 63246080 HAS SOPS 29816323 HAS SOUS 3230415 HAS SOUPS 1174630 WITH SCORE 1237876.08
AT ITER 2444 NEW BEST:: SOT 71518990 SOS 63255246 HAS SOPS 29813639 HAS SOUS 3230354 HAS SOUPS 1174174 WITH SCORE 1237429.246
AT ITER 2446 NEW BEST:: SOT 71517697 SOS 63250302 HAS SOPS 29812625 HAS SOUS 3229114 HAS SOUPS 1173327 WITH SCORE 1236577.302
AT ITER 2466 NEW BEST:: SOT 71517697 SOS 63250302 HAS SOPS 29812625 HAS SOUS 3228834 HAS SOUPS 1173047 WITH SCORE 1236297.302
AT ITER 2482 NEW BEST:: SOT 71512443 SOS 63271556 HAS SOPS 29818099 HAS SOUS 3226259 HAS SOUPS 1170472 WITH SCORE 1233743.556
AT ITER 2505 NEW BEST:: SOT 71512443 SOS 63271556 HAS SOPS 29818099 HAS SOUS 3226257 HAS SOUPS 1170470 WITH SCORE 1233741.556
AT ITER 2535 NEW BEST:: SOT 71511352 SOS 63274848 HAS SOPS 29816561 HAS SOUS 3225631 HAS SOUPS 1169683 WITH SCORE 1232957.848
AT ITER 2545 NEW BEST:: SOT 71510975 SOS 63274094 HAS SOPS 29820207 HAS SOUS 3224766 HAS SOUPS 1169258 WITH SCORE 1232532.094
AT ITER 2609 NEW BEST:: SOT 71510300 SOS 63278614 HAS SOPS 29820677 HAS SOUS 3224331 HAS SOUPS 1168688 WITH SCORE 1231966.614
AT ITER 2660 NEW BEST:: SOT 71510130 SOS 63278274 HAS SOPS 29822037 HAS SOUS 3223991 HAS SOUPS 1168518 WITH SCORE 1231796.274
AT ITER 2699 NEW BEST:: SOT 71509971 SOS 63277956 HAS SOPS 29824329 HAS SOUS 3223571 HAS SOUPS 1168359 WITH SCORE 1231636.956
AT ITER 2740 NEW BEST:: SOT 71508984 SOS 63273894 HAS SOPS 29823747 HAS SOUS 3223007 HAS SOUPS 1168143 WITH SCORE 1231416.894
AT ITER 2761 NEW BEST:: SOT 71505717 SOS 63292620 HAS SOPS 29827673 HAS SOUS 3220919 HAS SOUPS 1166055 WITH SCORE 1229347.62
AT ITER 2765 NEW BEST:: SOT 71505579 SOS 63291930 HAS SOPS 29826983 HAS SOUS 3220781 HAS SOUPS 1165917 WITH SCORE 1229208.93
AT ITER 2772 NEW BEST:: SOT 71502167 SOS 63310060 HAS SOPS 29832353 HAS SOUS 3218306 HAS SOUPS 1163442 WITH SCORE 1226752.06
AT ITER 2798 NEW BEST:: SOT 71502167 SOS 63310060 HAS SOPS 29832353 HAS SOUS 3218184 HAS SOUPS 1163320 WITH SCORE 1226630.06
AT ITER 2805 NEW BEST:: SOT 71502041 SOS 63309808 HAS SOPS 29832101 HAS SOUS 3217932 HAS SOUPS 1163068 WITH SCORE 1226377.808
AT ITER 2880 NEW BEST:: SOT 71501660 SOS 63306988 HAS SOPS 29832711 HAS SOUS 3217271 HAS SOUPS 1162750 WITH SCORE 1226056.988
AT ITER 2889 NEW BEST:: SOT 71501660 SOS 63306988 HAS SOPS 29833861 HAS SOUS 3217041 HAS SOUPS 1162635 WITH SCORE 1225941.988
AT ITER 2893 NEW BEST:: SOT 71501350 SOS 63305276 HAS SOPS 29832149 HAS SOUS 3216731 HAS SOUPS 1162325 WITH SCORE 1225630.276
AT ITER 2904 NEW BEST:: SOT 71499930 SOS 63309716 HAS SOPS 29828789 HAS SOUS 3216007 HAS SOUPS 1161341 WITH SCORE 1224650.716
AT ITER 2914 NEW BEST:: SOT 71498190 SOS 63316420 HAS SOPS 29827453 HAS SOUS 3215104 HAS SOUPS 1160170 WITH SCORE 1223486.42
AT ITER 2929 NEW BEST:: SOT 71498190 SOS 63316420 HAS SOPS 29827453 HAS SOUS 3214824 HAS SOUPS 1159890 WITH SCORE 1223206.42
AT ITER 2955 NEW BEST:: SOT 71498190 SOS 63316420 HAS SOPS 29827453 HAS SOUS 3214700 HAS SOUPS 1159766 WITH SCORE 1223082.42
AT ITER 2983 NEW BEST:: SOT 71498190 SOS 63316420 HAS SOPS 29827453 HAS SOUS 3214420 HAS SOUPS 1159486 WITH SCORE 1222802.42
AT ITER 2991 NEW BEST:: SOT 71497980 SOS 63316000 HAS SOPS 29827033 HAS SOUS 3214210 HAS SOUPS 1159276 WITH SCORE 1222592.0
AT ITER 3001 NEW BEST:: SOT 71497980 SOS 63316000 HAS SOPS 29827033 HAS SOUS 3213994 HAS SOUPS 1159060 WITH SCORE 1222376.0
AT ITER 3004 NEW BEST:: SOT 71497900 SOS 63315840 HAS SOPS 29825783 HAS SOUS 3213943 HAS SOUPS 1158900 WITH SCORE 1222215.84
AT ITER 3005 NEW BEST:: SOT 71496471 SOS 63325626 HAS SOPS 29822879 HAS SOUS 3213886 HAS SOUPS 1158420 WITH SCORE 1221745.626
AT ITER 3058 NEW BEST:: SOT 71496471 SOS 63325626 HAS SOPS 29822879 HAS SOUS 3213666 HAS SOUPS 1158200 WITH SCORE 1221525.626
AT ITER 3073 NEW BEST:: SOT 71493034 SOS 63354128 HAS SOPS 29832941 HAS SOUS 3211722 HAS SOUPS 1156256 WITH SCORE 1219610.128
AT ITER 3114 NEW BEST:: SOT 71491611 SOS 63361636 HAS SOPS 29832259 HAS SOUS 3211173 HAS SOUPS 1155434 WITH SCORE 1218795.636
AT ITER 3115 NEW BEST:: SOT 71491723 SOS 63352490 HAS SOPS 29832947 HAS SOUS 3211083 HAS SOUPS 1155410 WITH SCORE 1218762.49
AT ITER 3118 NEW BEST:: SOT 71491723 SOS 63352490 HAS SOPS 29832947 HAS SOUS 3210845 HAS SOUPS 1155172 WITH SCORE 1218524.49
AT ITER 3133 NEW BEST:: SOT 71491332 SOS 63358814 HAS SOPS 29833001 HAS SOUS 3210545 HAS SOUPS 1154663 WITH SCORE 1218021.814
AT ITER 3186 NEW BEST:: SOT 71491332 SOS 63358814 HAS SOPS 29833001 HAS SOUS 3210265 HAS SOUPS 1154383 WITH SCORE 1217741.814
AT ITER 3198 NEW BEST:: SOT 71491642 SOS 63344554 HAS SOPS 29824941 HAS SOUS 3210265 HAS SOUPS 1154383 WITH SCORE 1217727.554
AT ITER 3201 NEW BEST:: SOT 71489394 SOS 63361712 HAS SOPS 29825659 HAS SOUS 3209795 HAS SOUPS 1153365 WITH SCORE 1216726.712
AT ITER 3239 NEW BEST:: SOT 71489394 SOS 63361712 HAS SOPS 29825659 HAS SOUS 3209759 HAS SOUPS 1153329 WITH SCORE 1216690.712
AT ITER 3256 NEW BEST:: SOT 71489394 SOS 63361712 HAS SOPS 29825659 HAS SOUS 3209479 HAS SOUPS 1153049 WITH SCORE 1216410.712
AT ITER 3282 NEW BEST:: SOT 71489218 SOS 63361360 HAS SOPS 29825307 HAS SOUS 3209241 HAS SOUPS 1152811 WITH SCORE 1216172.36
AT ITER 3309 NEW BEST:: SOT 71488622 SOS 63360168 HAS SOPS 29827095 HAS SOUS 3208049 HAS SOUPS 1151917 WITH SCORE 1215277.168
AT ITER 3322 NEW BEST:: SOT 71486007 SOS 63380708 HAS SOPS 29833635 HAS SOUS 3206663 HAS SOUPS 1150531 WITH SCORE 1213911.708
AT ITER 3346 NEW BEST:: SOT 71486007 SOS 63380708 HAS SOPS 29833635 HAS SOUS 3206461 HAS SOUPS 1150329 WITH SCORE 1213709.708
AT ITER 3370 NEW BEST:: SOT 71486030 SOS 63380754 HAS SOPS 29837131 HAS SOUS 3205813 HAS SOUPS 1150026 WITH SCORE 1213406.754
AT ITER 3391 NEW BEST:: SOT 71486030 SOS 63380754 HAS SOPS 29837131 HAS SOUS 3205533 HAS SOUPS 1149746 WITH SCORE 1213126.754
AT ITER 3399 NEW BEST:: SOT 71486030 SOS 63380754 HAS SOPS 29837131 HAS SOUS 3205389 HAS SOUPS 1149602 WITH SCORE 1212982.754
AT ITER 3405 NEW BEST:: SOT 71486023 SOS 63380740 HAS SOPS 29837117 HAS SOUS 3205382 HAS SOUPS 1149595 WITH SCORE 1212975.74
AT ITER 3419 NEW BEST:: SOT 71485376 SOS 63376016 HAS SOPS 29836053 HAS SOUS 3204045 HAS SOUPS 1148624 WITH SCORE 1212000.016
AT ITER 3420 NEW BEST:: SOT 71485376 SOS 63376016 HAS SOPS 29836053 HAS SOUS 3203765 HAS SOUPS 1148344 WITH SCORE 1211720.016
AT ITER 3535 NEW BEST:: SOT 71482788 SOS 63273960 HAS SOPS 29851807 HAS SOUS 3202267 HAS SOUPS 1146846 WITH SCORE 1210119.96
AT ITER 3545 NEW BEST:: SOT 71482180 SOS 63271796 HAS SOPS 29849643 HAS SOUS 3202133 HAS SOUPS 1146712 WITH SCORE 1209983.796
AT ITER 3556 NEW BEST:: SOT 71482180 SOS 63271796 HAS SOPS 29849643 HAS SOUS 3201853 HAS SOUPS 1146432 WITH SCORE 1209703.796
AT ITER 3558 NEW BEST:: SOT 71482180 SOS 63271796 HAS SOPS 29849643 HAS SOUS 3201811 HAS SOUPS 1146390 WITH SCORE 1209661.796
AT ITER 3559 NEW BEST:: SOT 71482121 SOS 63271678 HAS SOPS 29851095 HAS SOUS 3201634 HAS SOUPS 1146370 WITH SCORE 1209641.678
AT ITER 3567 NEW BEST:: SOT 71482121 SOS 63271678 HAS SOPS 29851095 HAS SOUS 3201354 HAS SOUPS 1146090 WITH SCORE 1209361.678
AT ITER 3593 NEW BEST:: SOT 71482121 SOS 63271678 HAS SOPS 29851095 HAS SOUS 3201074 HAS SOUPS 1145810 WITH SCORE 1209081.678
AT ITER 3618 NEW BEST:: SOT 71482121 SOS 63271678 HAS SOPS 29851095 HAS SOUS 3200794 HAS SOUPS 1145530 WITH SCORE 1208801.678
AT ITER 3625 NEW BEST:: SOT 71481037 SOS 63279542 HAS SOPS 29851039 HAS SOUS 3200996 HAS SOUPS 1145468 WITH SCORE 1208747.542
AT ITER 3638 NEW BEST:: SOT 71480553 SOS 63279542 HAS SOPS 29851039 HAS SOUS 3200566 HAS SOUPS 1145038 WITH SCORE 1208317.542
AT ITER 3649 NEW BEST:: SOT 71480175 SOS 63275696 HAS SOPS 29851373 HAS SOUS 3199769 HAS SOUPS 1144659 WITH SCORE 1207934.696
AT ITER 3669 NEW BEST:: SOT 71479725 SOS 63281996 HAS SOPS 29854673 HAS SOUS 3199469 HAS SOUPS 1144359 WITH SCORE 1207640.996
AT ITER 3673 NEW BEST:: SOT 71478275 SOS 63287104 HAS SOPS 29854061 HAS SOUS 3198749 HAS SOUPS 1143639 WITH SCORE 1206926.104
AT ITER 3682 NEW BEST:: SOT 71478275 SOS 63287104 HAS SOPS 29854061 HAS SOUS 3198469 HAS SOUPS 1143359 WITH SCORE 1206646.104
AT ITER 3708 NEW BEST:: SOT 71478275 SOS 63287104 HAS SOPS 29854061 HAS SOUS 3198433 HAS SOUPS 1143323 WITH SCORE 1206610.104
AT ITER 3736 NEW BEST:: SOT 71477561 SOS 63285676 HAS SOPS 29852633 HAS SOUS 3197355 HAS SOUPS 1142245 WITH SCORE 1205530.676
AT ITER 3740 NEW BEST:: SOT 71477561 SOS 63285676 HAS SOPS 29852633 HAS SOUS 3197111 HAS SOUPS 1142001 WITH SCORE 1205286.676
AT ITER 3775 NEW BEST:: SOT 71476285 SOS 63291652 HAS SOPS 29849579 HAS SOUS 3196830 HAS SOUPS 1141419 WITH SCORE 1204710.652
AT ITER 3815 NEW BEST:: SOT 71472458 SOS 63318634 HAS SOPS 29860421 HAS SOUS 3194260 HAS SOUPS 1138849 WITH SCORE 1202167.634
AT ITER 3826 NEW BEST:: SOT 71472458 SOS 63318634 HAS SOPS 29860421 HAS SOUS 3194028 HAS SOUPS 1138617 WITH SCORE 1201935.634
AT ITER 3842 NEW BEST:: SOT 71472458 SOS 63318634 HAS SOPS 29860421 HAS SOUS 3193862 HAS SOUPS 1138451 WITH SCORE 1201769.634
AT ITER 3853 NEW BEST:: SOT 71471340 SOS 63323650 HAS SOPS 29857667 HAS SOUS 3193712 HAS SOUPS 1138042 WITH SCORE 1201365.65
AT ITER 3867 NEW BEST:: SOT 71470843 SOS 63325070 HAS SOPS 29856957 HAS SOUS 3193428 HAS SOUPS 1137687 WITH SCORE 1201012.07
AT ITER 3869 NEW BEST:: SOT 71470830 SOS 63325044 HAS SOPS 29856931 HAS SOUS 3193415 HAS SOUPS 1137674 WITH SCORE 1200999.044
AT ITER 3888 NEW BEST:: SOT 71470092 SOS 63330756 HAS SOPS 29855263 HAS SOUS 3192953 HAS SOUPS 1136966 WITH SCORE 1200296.756
AT ITER 3909 NEW BEST:: SOT 71466805 SOS 63359700 HAS SOPS 29866587 HAS SOUS 3190647 HAS SOUPS 1134660 WITH SCORE 1198019.7
AT ITER 3929 NEW BEST:: SOT 71465958 SOS 63362120 HAS SOPS 29865377 HAS SOUS 3190163 HAS SOUPS 1134055 WITH SCORE 1197417.12
AT ITER 3957 NEW BEST:: SOT 71465958 SOS 63362120 HAS SOPS 29865377 HAS SOUS 3189883 HAS SOUPS 1133775 WITH SCORE 1197137.12
AT ITER 3964 NEW BEST:: SOT 71465958 SOS 63362120 HAS SOPS 29865377 HAS SOUS 3189645 HAS SOUPS 1133537 WITH SCORE 1196899.12
AT ITER 3987 NEW BEST:: SOT 71465286 SOS 63373016 HAS SOPS 29871173 HAS SOUS 3189228 HAS SOUPS 1133120 WITH SCORE 1196493.016
AT ITER 4008 NEW BEST:: SOT 71465286 SOS 63373016 HAS SOPS 29871173 HAS SOUS 3189086 HAS SOUPS 1132978 WITH SCORE 1196351.016
AT ITER 4014 NEW BEST:: SOT 71465286 SOS 63373016 HAS SOPS 29871173 HAS SOUS 3188986 HAS SOUPS 1132878 WITH SCORE 1196251.016
AT ITER 4023 NEW BEST:: SOT 71465418 SOS 63373280 HAS SOPS 29875997 HAS SOUS 3188314 HAS SOUPS 1132662 WITH SCORE 1196035.28
AT ITER 4026 NEW BEST:: SOT 71465418 SOS 63373280 HAS SOPS 29875997 HAS SOUS 3188126 HAS SOUPS 1132474 WITH SCORE 1195847.28
AT ITER 4034 NEW BEST:: SOT 71465418 SOS 63372300 HAS SOPS 29878337 HAS SOUS 3187794 HAS SOUPS 1132474 WITH SCORE 1195846.3
AT ITER 4035 NEW BEST:: SOT 71465418 SOS 63372300 HAS SOPS 29878337 HAS SOUS 3187786 HAS SOUPS 1132466 WITH SCORE 1195838.3
AT ITER 4039 NEW BEST:: SOT 71465418 SOS 63372300 HAS SOPS 29878337 HAS SOUS 3187506 HAS SOUPS 1132186 WITH SCORE 1195558.3
AT ITER 4050 NEW BEST:: SOT 71465418 SOS 63372300 HAS SOPS 29878337 HAS SOUS 3187300 HAS SOUPS 1131980 WITH SCORE 1195352.3
AT ITER 4085 NEW BEST:: SOT 71465539 SOS 63351392 HAS SOPS 29879779 HAS SOUS 3187032 HAS SOUPS 1131862 WITH SCORE 1195213.392
AT ITER 4116 NEW BEST:: SOT 71465539 SOS 63351392 HAS SOPS 29879779 HAS SOUS 3186910 HAS SOUPS 1131740 WITH SCORE 1195091.392
AT ITER 4124 NEW BEST:: SOT 71465463 SOS 63351240 HAS SOPS 29879627 HAS SOUS 3186834 HAS SOUPS 1131664 WITH SCORE 1195015.24
AT ITER 4174 NEW BEST:: SOT 71465463 SOS 63351240 HAS SOPS 29879627 HAS SOUS 3186690 HAS SOUPS 1131520 WITH SCORE 1194871.24
AT ITER 4187 NEW BEST:: SOT 71464482 SOS 63355410 HAS SOPS 29877227 HAS SOUS 3185928 HAS SOUPS 1130539 WITH SCORE 1193894.41
AT ITER 4192 NEW BEST:: SOT 71463356 SOS 63359210 HAS SOPS 29875687 HAS SOUS 3185276 HAS SOUPS 1129709 WITH SCORE 1193068.21
AT ITER 4216 NEW BEST:: SOT 71463356 SOS 63359210 HAS SOPS 29875687 HAS SOUS 3185178 HAS SOUPS 1129611 WITH SCORE 1192970.21
AT ITER 4219 NEW BEST:: SOT 71463244 SOS 63358986 HAS SOPS 29876023 HAS SOUS 3184954 HAS SOUPS 1129443 WITH SCORE 1192801.986
AT ITER 4243 NEW BEST:: SOT 71461932 SOS 63356362 HAS SOPS 29873399 HAS SOUS 3183119 HAS SOUPS 1127608 WITH SCORE 1190964.362
AT ITER 4244 NEW BEST:: SOT 71460097 SOS 63350514 HAS SOPS 29871181 HAS SOUS 3182083 HAS SOUPS 1126935 WITH SCORE 1190285.514
AT ITER 4252 NEW BEST:: SOT 71460097 SOS 63350514 HAS SOPS 29871181 HAS SOUS 3181803 HAS SOUPS 1126655 WITH SCORE 1190005.514
AT ITER 4264 NEW BEST:: SOT 71460097 SOS 63350514 HAS SOPS 29871181 HAS SOUS 3181755 HAS SOUPS 1126607 WITH SCORE 1189957.514
AT ITER 4269 NEW BEST:: SOT 71460051 SOS 63350422 HAS SOPS 29871089 HAS SOUS 3181663 HAS SOUPS 1126515 WITH SCORE 1189865.422
AT ITER 4311 NEW BEST:: SOT 71460051 SOS 63350422 HAS SOPS 29871089 HAS SOUS 3181383 HAS SOUPS 1126235 WITH SCORE 1189585.422
AT ITER 4318 NEW BEST:: SOT 71459865 SOS 63350050 HAS SOPS 29870717 HAS SOUS 3181070 HAS SOUPS 1125922 WITH SCORE 1189272.05
AT ITER 4355 NEW BEST:: SOT 71457143 SOS 63377306 HAS SOPS 29879473 HAS SOUS 3179988 HAS SOUPS 1124840 WITH SCORE 1188217.306
AT ITER 4377 NEW BEST:: SOT 71456970 SOS 63375800 HAS SOPS 29879127 HAS SOUS 3179631 HAS SOUPS 1124599 WITH SCORE 1187974.8
AT ITER 4379 NEW BEST:: SOT 71456612 SOS 63373294 HAS SOPS 29876621 HAS SOUS 3179093 HAS SOUPS 1124061 WITH SCORE 1187434.294
AT ITER 4409 NEW BEST:: SOT 71455771 SOS 63366628 HAS SOPS 29876185 HAS SOUS 3177356 HAS SOUPS 1122947 WITH SCORE 1186313.628
AT ITER 4416 NEW BEST:: SOT 71455399 SOS 63370100 HAS SOPS 29875937 HAS SOUS 3177027 HAS SOUPS 1122494 WITH SCORE 1185864.1
AT ITER 4440 NEW BEST:: SOT 71455399 SOS 63370100 HAS SOPS 29875937 HAS SOUS 3176979 HAS SOUPS 1122446 WITH SCORE 1185816.1
AT ITER 4476 NEW BEST:: SOT 71454667 SOS 63368636 HAS SOPS 29874473 HAS SOUS 3176247 HAS SOUPS 1121714 WITH SCORE 1185082.636
AT ITER 4501 NEW BEST:: SOT 71454667 SOS 63368636 HAS SOPS 29874473 HAS SOUS 3176125 HAS SOUPS 1121592 WITH SCORE 1184960.636
AT ITER 4503 NEW BEST:: SOT 71454667 SOS 63368636 HAS SOPS 29874473 HAS SOUS 3175961 HAS SOUPS 1121428 WITH SCORE 1184796.636
AT ITER 4512 NEW BEST:: SOT 71454667 SOS 63367436 HAS SOPS 29873773 HAS SOUS 3175936 HAS SOUPS 1121403 WITH SCORE 1184770.436
AT ITER 4564 NEW BEST:: SOT 71454341 SOS 63365656 HAS SOPS 29871993 HAS SOUS 3175610 HAS SOUPS 1121077 WITH SCORE 1184442.656
AT ITER 4669 NEW BEST:: SOT 71454341 SOS 63365656 HAS SOPS 29871993 HAS SOUS 3175570 HAS SOUPS 1121037 WITH SCORE 1184402.656
AT ITER 4677 NEW BEST:: SOT 71452029 SOS 63254616 HAS SOPS 29879358 HAS SOUS 3175131 HAS SOUPS 1120598 WITH SCORE 1183852.616
AT ITER 4689 NEW BEST:: SOT 71451697 SOS 63249736 HAS SOPS 29878198 HAS SOUS 3174771 HAS SOUPS 1120362 WITH SCORE 1183611.736
AT ITER 4712 NEW BEST:: SOT 71450480 SOS 63243522 HAS SOPS 29871984 HAS SOUS 3173613 HAS SOUPS 1119204 WITH SCORE 1182447.522
AT ITER 4739 NEW BEST:: SOT 71450480 SOS 63243522 HAS SOPS 29871984 HAS SOUS 3173417 HAS SOUPS 1119008 WITH SCORE 1182251.522
AT ITER 4745 NEW BEST:: SOT 71448582 SOS 63253832 HAS SOPS 29868434 HAS SOUS 3172615 HAS SOUPS 1117744 WITH SCORE 1180997.832
AT ITER 4775 NEW BEST:: SOT 71448582 SOS 63253832 HAS SOPS 29868434 HAS SOUS 3172467 HAS SOUPS 1117596 WITH SCORE 1180849.832
AT ITER 4797 NEW BEST:: SOT 71448307 SOS 63253282 HAS SOPS 29867884 HAS SOUS 3172192 HAS SOUPS 1117321 WITH SCORE 1180574.282
AT ITER 4807 NEW BEST:: SOT 71446501 SOS 63247258 HAS SOPS 29865880 HAS SOUS 3170788 HAS SOUPS 1116319 WITH SCORE 1179566.258
AT ITER 4831 NEW BEST:: SOT 71446213 SOS 63243972 HAS SOPS 29869374 HAS SOUS 3169712 HAS SOUPS 1115921 WITH SCORE 1179164.972
AT ITER 4849 NEW BEST:: SOT 71445130 SOS 63247280 HAS SOPS 29867852 HAS SOUS 3169090 HAS SOUPS 1115138 WITH SCORE 1178385.28
AT ITER 4856 NEW BEST:: SOT 71444283 SOS 63249700 HAS SOPS 29866642 HAS SOUS 3168606 HAS SOUPS 1114533 WITH SCORE 1177782.7
AT ITER 4862 NEW BEST:: SOT 71444222 SOS 63249578 HAS SOPS 29866520 HAS SOUS 3168545 HAS SOUPS 1114472 WITH SCORE 1177721.578
AT ITER 4887 NEW BEST:: SOT 71444142 SOS 63249578 HAS SOPS 29866520 HAS SOUS 3168505 HAS SOUPS 1114432 WITH SCORE 1177681.578
AT ITER 4922 NEW BEST:: SOT 71443608 SOS 63248510 HAS SOPS 29865452 HAS SOUS 3167803 HAS SOUPS 1113730 WITH SCORE 1176978.51
AT ITER 4946 NEW BEST:: SOT 71443590 SOS 63248474 HAS SOPS 29865416 HAS SOUS 3167785 HAS SOUPS 1113712 WITH SCORE 1176960.474
AT ITER 4975 NEW BEST:: SOT 71439629 SOS 63276312 HAS SOPS 29878354 HAS SOUS 3165233 HAS SOUPS 1111160 WITH SCORE 1174436.312
Bounds file is: CTLFireability.xml
PROPERTY: DLCflexbar-PT-8a-CTLFireability-00 ( (EF( ( (! (! ((potential((tk(P728)>=1)))))) & (AG( ((potential((tk(P360)>=1) & (tk(P2864)>=1)))))) ))) | ( (! ( (AG( ((potential((tk(P1070)>=1) & (tk(P3420)>=1)))))) | ( ( ((potential((tk(P358)>=1) & (tk(P2023)>=1)))) | ((potential((tk(P1065)>=1) & (tk(P3559)>=1)))) ) & (! ((potential((tk(P3793)>=1) & (tk(P673)>=1))))) ) )) & ((potential((tk(P876)>=1) & (tk(P2171)>=1)))) ) )
PROPERTY: DLCflexbar-PT-8a-CTLFireability-01 ( (EG( ( ( ( ((potential((tk(P379)>=1) & (tk(P1189)>=1)))) | ((potential((tk(P512)>=1) & (tk(P2067)>=1)))) ) | ((potential((tk(P1000)>=1) & (tk(P1556)>=1)))) ) | (AX( ((potential((tk(P1001)>=1) & (tk(P1563)>=1)))))) ))) | ( (EG( ( (! ((potential((tk(P1052)>=1) & (tk(P3119)>=1))))) & (! ((potential((tk(P1062)>=1) & (tk(P3555)>=1))))) ))) & (! (AG( ( ((potential((tk(P991)>=1) & (tk(P1309)>=1)))) | ((potential((tk(P96)>=1) & (tk(P1388)>=1)))) )))) ) )
PROPERTY: DLCflexbar-PT-8a-CTLFireability-02 (AF( (EG( ( ( ((potential((tk(P1330)>=1) & (tk(P990)>=1)))) | ((potential((tk(P101)>=1) & (tk(P1670)>=1)))) ) & ( ((potential((tk(P232)>=1) & (tk(P2547)>=1)))) & ((potential((tk(P1926)>=1) & (tk(P1020)>=1)))) ) )))))
PROPERTY: DLCflexbar-PT-8a-CTLFireability-03 (AG( (! (EG( ((potential((tk(P1035)>=1) & (tk(P2591)>=1)))))))))
PROPERTY: DLCflexbar-PT-8a-CTLFireability-04 (AG( (AF( (EF( ((potential((tk(P232)>=1) & (tk(P1147)>=1))))))))))
PROPERTY: DLCflexbar-PT-8a-CTLFireability-05 ( (AU( (! ( ((potential((tk(P1019)>=1) & (tk(P2133)>=1)))) | ((potential((tk(P3111)>=1) & (tk(P1058)>=1)))) )) , ( ( ((potential((tk(P1079)>=1) & (tk(P3881)>=1)))) | ((potential((tk(P1070)>=1) & (tk(P3350)>=1)))) ) | ((potential((tk(P1080)>=1) & (tk(P3659)>=1)))) ) )) | ((potential((tk(P1451)>=1) & (tk(P998)>=1)))) )
PROPERTY: DLCflexbar-PT-8a-CTLFireability-06 (AF( ( (AF( ( ((potential((tk(P1010)>=1) & (tk(P1674)>=1)))) | ((potential((tk(P225)>=1) & (tk(P3104)>=1)))) ))) & ( (AX( ((potential((tk(P1066)>=1) & (tk(P3335)>=1)))))) & (AX( ((potential((tk(P435)>=1) & (tk(P2044)>=1)))))) ) )))
PROPERTY: DLCflexbar-PT-8a-CTLFireability-07 ( (EX( (! (! ( ((potential((tk(P1050)>=1) & (tk(P2992)>=1)))) | ((potential((tk(P345)>=1) & (tk(P3420)>=1)))) ))))) | (EG( (EF( ((potential((tk(P1059)>=1) & (tk(P3311)>=1)))))))) )
PROPERTY: DLCflexbar-PT-8a-CTLFireability-08 ( ( ( (EF( ( ((potential((tk(P848)>=1) & (tk(P2442)>=1)))) | ((potential((tk(P1061)>=1) & (tk(P3053)>=1)))) ))) | (EU( ((potential((tk(P1040)>=1) & (tk(P2496)>=1)))) , ((potential((tk(P54)>=1) & (tk(P2496)>=1)))) )) ) & ( (AX( (! ((potential((tk(P1000)>=1) & (tk(P1510)>=1))))))) | (EU( ((potential((tk(P1012)>=1) & (tk(P2085)>=1)))) , ((potential((tk(P407)>=1) & (tk(P3717)>=1)))) )) ) ) & ( ( (AG( ( ((potential((tk(P114)>=1) & (tk(P2234)>=1)))) | ((potential((tk(P1031)>=1) & (tk(P2321)>=1)))) ))) & (AF( ( ((potential((tk(P3210)>=1) & (tk(P1060)>=1)))) & ((potential((tk(P1011)>=1) & (tk(P1881)>=1)))) ))) ) | ( (EX( ( ((potential((tk(P281)>=1) & (tk(P2840)>=1)))) & ((potential((tk(P484)>=1) & (tk(P2338)>=1)))) ))) & (AF( ( ((potential((tk(P222)>=1) & (tk(P2264)>=1)))) | ((potential((tk(P982)>=1) & (tk(P1203)>=1)))) ))) ) ) )
PROPERTY: DLCflexbar-PT-8a-CTLFireability-09 (AG( ( ( ((potential((tk(P176)>=1) & (tk(P2811)>=1)))) | (! ( ((potential((tk(P589)>=1) & (tk(P2089)>=1)))) & ((potential((tk(P1034)>=1) & (tk(P2761)>=1)))) )) ) & ( ( ((potential((tk(P736)>=1) & (tk(P1291)>=1)))) & (! ((potential((tk(P267)>=1) & (tk(P1437)>=1))))) ) | (EF( ((potential((tk(P1070)>=1) & (tk(P3444)>=1)))))) ) )))
PROPERTY: DLCflexbar-PT-8a-CTLFireability-10 (! (EU( (! ( ((potential((tk(P3019)>=1) & (tk(P1048)>=1)))) & ((potential((tk(P1010)>=1) & (tk(P1756)>=1)))) )) , (AG( ((potential((tk(P134)>=1) & (tk(P2518)>=1)))))) )))
PROPERTY: DLCflexbar-PT-8a-CTLFireability-11 (EG( ( ( (AF( ((potential((tk(P1032)>=1) & (tk(P2739)>=1)))))) & ( (! ((potential((tk(P603)>=1) & (tk(P3213)>=1))))) | ( ((potential((tk(P982)>=1) & (tk(P1323)>=1)))) & ((potential((tk(P925)>=1) & (tk(P3024)>=1)))) ) ) ) | (EX( (! ((potential((tk(P1019)>=1) & (tk(P2161)>=1))))))) )))
PROPERTY: DLCflexbar-PT-8a-CTLFireability-12 (! (EU( (! (! ((potential((tk(P897)>=1)))))) , (EF( ((potential((tk(P149)>=1) & (tk(P2804)>=1)))))) )))
PROPERTY: DLCflexbar-PT-8a-CTLFireability-13 (AU( ( ( ( ((potential((tk(P1070)>=1) & (tk(P3359)>=1)))) & ((potential((tk(P854)>=1)))) ) & ((potential((tk(P428)>=1) & (tk(P1483)>=1)))) ) | (AF( ((potential((tk(P283)>=1) & (tk(P2282)>=1)))))) ) , ( ( ((potential((tk(P603)>=1) & (tk(P1252)>=1)))) | (! ((potential((tk(P1002)>=1) & (tk(P1889)>=1))))) ) & ( (! ((potential((tk(P1009)>=1) & (tk(P1919)>=1))))) & ( ((potential((tk(P705)>=1) & (tk(P1282)>=1)))) & ((potential((tk(P1079)>=1) & (tk(P3725)>=1)))) ) ) ) ))
PROPERTY: DLCflexbar-PT-8a-CTLFireability-14 (! (AF( ( ((potential((tk(P393)>=1) & (tk(P2313)>=1)))) & (AG( ((potential((tk(P225)>=1) & (tk(P2545)>=1)))))) ))))
PROPERTY: DLCflexbar-PT-8a-CTLFireability-15 (EU( (EX( (! ((potential((tk(P1054)>=1) & (tk(P3213)>=1))))))) , ( ((potential((tk(P1009)>=1) & (tk(P1891)>=1)))) & ((potential((tk(P1924)>=1) & (tk(P1020)>=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="DLCflexbar-PT-8a"
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 DLCflexbar-PT-8a, 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 r048-ebro-158902542200436"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-8a.tgz
mv DLCflexbar-PT-8a execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;