About the Execution of smart for ViralEpidemic-PT-S16D2C4A03
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15766.930 | 3286817.00 | 3287030.00 | 0.00 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2020-input.r224-oct2-159033539000588.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ViralEpidemic-PT-S16D2C4A03, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033539000588
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 101M
-rw-r--r-- 1 mcc users 4.5K May 14 05:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 05:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 13 23:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 23:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.1K May 13 16:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 16:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.8K May 13 12:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 12:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 13 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 13 16:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 11 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 101M May 12 20:42 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 ViralEpidemic-PT-S16D2C4A03-CTLFireability-00
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-CTLFireability-01
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-CTLFireability-02
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-CTLFireability-03
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-CTLFireability-04
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-CTLFireability-05
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-CTLFireability-06
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-CTLFireability-07
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-CTLFireability-08
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-CTLFireability-09
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-CTLFireability-10
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-CTLFireability-11
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-CTLFireability-12
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-CTLFireability-13
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-CTLFireability-14
FORMULA_NAME ViralEpidemic-PT-S16D2C4A03-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1590477120623
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S16D2C4A03
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: 78643 places, 144177 transitions, 353889 arcs.
AT ITER 0 NEW BEST:: SOT 2142882475 SOS 1305641689 HAS SOPS 1305641689 HAS SOUS 484610570 HAS SOUPS 484610570 WITH SCORE 4.85916211689E8
AT ITER 4 NEW BEST:: SOT 2142828365 SOS 1305181745 HAS SOPS 1305181745 HAS SOUS 484610561 HAS SOUPS 484610561 WITH SCORE 4.85915742745E8
AT ITER 6 NEW BEST:: SOT 2142760661 SOS 1304606247 HAS SOPS 1304606247 HAS SOUS 484610547 HAS SOUPS 484610547 WITH SCORE 4.85915153247E8
AT ITER 11 NEW BEST:: SOT 2142703269 SOS 1304118414 HAS SOPS 1304118414 HAS SOUS 484610546 HAS SOUPS 484610546 WITH SCORE 4.85914664414E8
AT ITER 21 NEW BEST:: SOT 2142588563 SOS 1303143410 HAS SOPS 1303143410 HAS SOUS 484610543 HAS SOUPS 484610543 WITH SCORE 4.8591368641E8
AT ITER 41 NEW BEST:: SOT 2142489439 SOS 1302300853 HAS SOPS 1302300853 HAS SOUS 484610540 HAS SOUPS 484610540 WITH SCORE 4.85912840853E8
AT ITER 73 NEW BEST:: SOT 2142479783 SOS 1302218763 HAS SOPS 1302218763 HAS SOUS 484610526 HAS SOUPS 484610526 WITH SCORE 4.85912744763E8
AT ITER 83 NEW BEST:: SOT 2142443805 SOS 1301912949 HAS SOPS 1301912949 HAS SOUS 484610525 HAS SOUPS 484610525 WITH SCORE 4.85912437949E8
AT ITER 89 NEW BEST:: SOT 2142431383 SOS 1301807348 HAS SOPS 1301807348 HAS SOUS 484610511 HAS SOUPS 484610511 WITH SCORE 4.85912318348E8
AT ITER 90 NEW BEST:: SOT 2142378641 SOS 1301359028 HAS SOPS 1301359028 HAS SOUS 484610498 HAS SOUPS 484610498 WITH SCORE 4.85911857028E8
AT ITER 108 NEW BEST:: SOT 2142355885 SOS 1301165587 HAS SOPS 1301165587 HAS SOUS 484610481 HAS SOUPS 484610481 WITH SCORE 4.85911646587E8
AT ITER 121 NEW BEST:: SOT 2142242655 SOS 1300203131 HAS SOPS 1300203131 HAS SOUS 484610480 HAS SOUPS 484610480 WITH SCORE 4.85910683131E8
AT ITER 123 NEW BEST:: SOT 2142202533 SOS 1299862093 HAS SOPS 1299862093 HAS SOUS 484610479 HAS SOUPS 484610479 WITH SCORE 4.85910341093E8
AT ITER 133 NEW BEST:: SOT 2142126409 SOS 1299215037 HAS SOPS 1299215037 HAS SOUS 484610477 HAS SOUPS 484610477 WITH SCORE 4.85909692037E8
AT ITER 146 NEW BEST:: SOT 2142044653 SOS 1298520096 HAS SOPS 1298520096 HAS SOUS 484610460 HAS SOUPS 484610460 WITH SCORE 4.85908980096E8
AT ITER 151 NEW BEST:: SOT 2142037929 SOS 1298462936 HAS SOPS 1298462936 HAS SOUS 484610454 HAS SOUPS 484610454 WITH SCORE 4.85908916936E8
AT ITER 166 NEW BEST:: SOT 2141922015 SOS 1297477657 HAS SOPS 1297477657 HAS SOUS 484610444 HAS SOUPS 484610444 WITH SCORE 4.85907921657E8
AT ITER 167 NEW BEST:: SOT 2141858581 SOS 1296938453 HAS SOPS 1296938453 HAS SOUS 484610427 HAS SOUPS 484610427 WITH SCORE 4.85907365453E8
AT ITER 169 NEW BEST:: SOT 2141775945 SOS 1296236033 HAS SOPS 1296236033 HAS SOUS 484610413 HAS SOUPS 484610413 WITH SCORE 4.85906649033E8
AT ITER 176 NEW BEST:: SOT 2141752965 SOS 1296040697 HAS SOPS 1296040697 HAS SOUS 484610407 HAS SOUPS 484610407 WITH SCORE 4.85906447697E8
AT ITER 179 NEW BEST:: SOT 2141675045 SOS 1295378372 HAS SOPS 1295378372 HAS SOUS 484610402 HAS SOUPS 484610402 WITH SCORE 4.85905780372E8
AT ITER 199 NEW BEST:: SOT 2141663577 SOS 1295280881 HAS SOPS 1295280881 HAS SOUS 484610389 HAS SOUPS 484610389 WITH SCORE 4.85905669881E8
AT ITER 252 NEW BEST:: SOT 2141549831 SOS 1294314027 HAS SOPS 1294314027 HAS SOUS 484610376 HAS SOUPS 484610376 WITH SCORE 4.85904690027E8
AT ITER 268 NEW BEST:: SOT 2141366455 SOS 1293143491 HAS SOPS 1293143491 HAS SOUS 484576498 HAS SOUPS 484576498 WITH SCORE 4.85869641491E8
AT ITER 272 NEW BEST:: SOT 2141345885 SOS 1292968646 HAS SOPS 1292968646 HAS SOUS 484576498 HAS SOUPS 484576498 WITH SCORE 4.85869466646E8
AT ITER 315 NEW BEST:: SOT 2141293919 SOS 1292526925 HAS SOPS 1292526925 HAS SOUS 484576488 HAS SOUPS 484576488 WITH SCORE 4.85869014925E8
AT ITER 324 NEW BEST:: SOT 2141245583 SOS 1292116057 HAS SOPS 1292116057 HAS SOUS 484576476 HAS SOUPS 484576476 WITH SCORE 4.85868592057E8
AT ITER 327 NEW BEST:: SOT 2141228525 SOS 1291971058 HAS SOPS 1291971058 HAS SOUS 484576470 HAS SOUPS 484576470 WITH SCORE 4.85868441058E8
AT ITER 353 NEW BEST:: SOT 2141138695 SOS 1291207493 HAS SOPS 1291207493 HAS SOUS 484576460 HAS SOUPS 484576460 WITH SCORE 4.85867667493E8
AT ITER 366 NEW BEST:: SOT 2141045833 SOS 1290418157 HAS SOPS 1290418157 HAS SOUS 484576451 HAS SOUPS 484576451 WITH SCORE 4.85866869157E8
AT ITER 384 NEW BEST:: SOT 2140979245 SOS 1289852148 HAS SOPS 1289852148 HAS SOUS 484576440 HAS SOUPS 484576440 WITH SCORE 4.85866292148E8
AT ITER 390 NEW BEST:: SOT 2140965807 SOS 1289737918 HAS SOPS 1289737918 HAS SOUS 484576433 HAS SOUPS 484576433 WITH SCORE 4.85866170918E8
AT ITER 446 NEW BEST:: SOT 2140899443 SOS 1289173810 HAS SOPS 1289173810 HAS SOUS 484576419 HAS SOUPS 484576419 WITH SCORE 4.8586559281E8
AT ITER 450 NEW BEST:: SOT 2140894037 SOS 1289127848 HAS SOPS 1289127848 HAS SOUS 484576408 HAS SOUPS 484576408 WITH SCORE 4.85865535848E8
AT ITER 563 NEW BEST:: SOT 2140824309 SOS 1288535146 HAS SOPS 1288535146 HAS SOUS 484576394 HAS SOUPS 484576394 WITH SCORE 4.85864929146E8
AT ITER 567 NEW BEST:: SOT 2140705579 SOS 1287525941 HAS SOPS 1287525941 HAS SOUS 484576394 HAS SOUPS 484576394 WITH SCORE 4.85863919941E8
AT ITER 602 NEW BEST:: SOT 2140682965 SOS 1287333722 HAS SOPS 1287333722 HAS SOUS 484576394 HAS SOUPS 484576394 WITH SCORE 4.85863727722E8
AT ITER 656 NEW BEST:: SOT 2140647303 SOS 1287030583 HAS SOPS 1287030583 HAS SOUS 484576382 HAS SOUPS 484576382 WITH SCORE 4.85863412583E8
AT ITER 705 NEW BEST:: SOT 2140588253 SOS 1286528654 HAS SOPS 1286528654 HAS SOUS 484576378 HAS SOUPS 484576378 WITH SCORE 4.85862906654E8
AT ITER 710 NEW BEST:: SOT 2140507881 SOS 1285845492 HAS SOPS 1285845492 HAS SOUS 484576378 HAS SOUPS 484576378 WITH SCORE 4.85862223492E8
AT ITER 743 NEW BEST:: SOT 2140502473 SOS 1285799517 HAS SOPS 1285799517 HAS SOUS 484576371 HAS SOUPS 484576371 WITH SCORE 4.85862170517E8
AT ITER 747 NEW BEST:: SOT 2140491161 SOS 1285703364 HAS SOPS 1285703364 HAS SOUS 484576370 HAS SOUPS 484576370 WITH SCORE 4.85862073364E8
AT ITER 768 NEW BEST:: SOT 2140442183 SOS 1285287044 HAS SOPS 1285287044 HAS SOUS 484576363 HAS SOUPS 484576363 WITH SCORE 4.85861650044E8
AT ITER 776 NEW BEST:: SOT 2140407565 SOS 1284992780 HAS SOPS 1284992780 HAS SOUS 484576352 HAS SOUPS 484576352 WITH SCORE 4.8586134478E8
AT ITER 783 NEW BEST:: SOT 2140319085 SOS 1284240697 HAS SOPS 1284240697 HAS SOUS 484576349 HAS SOUPS 484576349 WITH SCORE 4.85860589697E8
AT ITER 815 NEW BEST:: SOT 2140275721 SOS 1283872096 HAS SOPS 1283872096 HAS SOUS 484576342 HAS SOUPS 484576342 WITH SCORE 4.85860214096E8
AT ITER 823 NEW BEST:: SOT 2140262973 SOS 1283763736 HAS SOPS 1283763736 HAS SOUS 484576340 HAS SOUPS 484576340 WITH SCORE 4.85860103736E8
AT ITER 825 NEW BEST:: SOT 2140221547 SOS 1283411615 HAS SOPS 1283411615 HAS SOUS 484576340 HAS SOUPS 484576340 WITH SCORE 4.85859751615E8
AT ITER 827 NEW BEST:: SOT 2140139031 SOS 1282710221 HAS SOPS 1282710221 HAS SOUS 484576332 HAS SOUPS 484576332 WITH SCORE 4.85859042221E8
AT ITER 834 NEW BEST:: SOT 2140102483 SOS 1282399554 HAS SOPS 1282399554 HAS SOUS 484576323 HAS SOUPS 484576323 WITH SCORE 4.85858722554E8
AT ITER 841 NEW BEST:: SOT 2140049229 SOS 1281946887 HAS SOPS 1281946887 HAS SOUS 484576315 HAS SOUPS 484576315 WITH SCORE 4.85858261887E8
AT ITER 846 NEW BEST:: SOT 2140004985 SOS 1281570805 HAS SOPS 1281570805 HAS SOUS 484576307 HAS SOUPS 484576307 WITH SCORE 4.85857877805E8
AT ITER 849 NEW BEST:: SOT 2139911699 SOS 1280777861 HAS SOPS 1280777861 HAS SOUS 484576294 HAS SOUPS 484576294 WITH SCORE 4.85857071861E8
AT ITER 854 NEW BEST:: SOT 2139867299 SOS 1280400451 HAS SOPS 1280400451 HAS SOUS 484576284 HAS SOUPS 484576284 WITH SCORE 4.85856684451E8
AT ITER 856 NEW BEST:: SOT 2139737029 SOS 1279293149 HAS SOPS 1279293149 HAS SOUS 484576277 HAS SOUPS 484576277 WITH SCORE 4.85855570149E8
AT ITER 863 NEW BEST:: SOT 2139677923 SOS 1278790737 HAS SOPS 1278790737 HAS SOUS 484576266 HAS SOUPS 484576266 WITH SCORE 4.85855056737E8
AT ITER 865 NEW BEST:: SOT 2139567559 SOS 1277852643 HAS SOPS 1277852643 HAS SOUS 484576266 HAS SOUPS 484576266 WITH SCORE 4.85854118643E8
AT ITER 884 NEW BEST:: SOT 2139459847 SOS 1276937076 HAS SOPS 1276937076 HAS SOUS 484576249 HAS SOUPS 484576249 WITH SCORE 4.85853186076E8
AT ITER 897 NEW BEST:: SOT 2139427413 SOS 1276661383 HAS SOPS 1276661383 HAS SOUS 484576245 HAS SOUPS 484576245 WITH SCORE 4.85852906383E8
AT ITER 910 NEW BEST:: SOT 2139419705 SOS 1276595852 HAS SOPS 1276595852 HAS SOUS 484576232 HAS SOUPS 484576232 WITH SCORE 4.85852827852E8
AT ITER 950 NEW BEST:: SOT 2139322857 SOS 1275772636 HAS SOPS 1275772636 HAS SOUS 484576224 HAS SOUPS 484576224 WITH SCORE 4.85851996636E8
AT ITER 972 NEW BEST:: SOT 2139288167 SOS 1275477762 HAS SOPS 1275477762 HAS SOUS 484576215 HAS SOUPS 484576215 WITH SCORE 4.85851692762E8
AT ITER 998 NEW BEST:: SOT 2139258753 SOS 1275227734 HAS SOPS 1275227734 HAS SOUS 484576206 HAS SOUPS 484576206 WITH SCORE 4.85851433734E8
AT ITER 1025 NEW BEST:: SOT 2139258753 SOS 1275227729 HAS SOPS 1275227729 HAS SOUS 484576201 HAS SOUPS 484576201 WITH SCORE 4.85851428729E8
AT ITER 1039 NEW BEST:: SOT 2139178405 SOS 1274544764 HAS SOPS 1274544764 HAS SOUS 484576194 HAS SOUPS 484576194 WITH SCORE 4.85850738764E8
AT ITER 1043 NEW BEST:: SOT 2139109703 SOS 1273960796 HAS SOPS 1273960796 HAS SOUS 484576193 HAS SOUPS 484576193 WITH SCORE 4.85850153796E8
AT ITER 1094 NEW BEST:: SOT 2139058314 SOS 1273475856 HAS SOPS 1273475856 HAS SOUS 484558067 HAS SOUPS 484558067 WITH SCORE 4.85831542856E8
AT ITER 1099 NEW BEST:: SOT 2138990606 SOS 1272900328 HAS SOPS 1272900328 HAS SOUS 484558057 HAS SOUPS 484558057 WITH SCORE 4.85830957328E8
AT ITER 1116 NEW BEST:: SOT 2138920642 SOS 1272305632 HAS SOPS 1272305632 HAS SOUS 484558055 HAS SOUPS 484558055 WITH SCORE 4.85830360632E8
AT ITER 1118 NEW BEST:: SOT 2138896196 SOS 1272097840 HAS SOPS 1272097840 HAS SOUS 484558054 HAS SOUPS 484558054 WITH SCORE 4.8583015184E8
AT ITER 1147 NEW BEST:: SOT 2138845016 SOS 1271662804 HAS SOPS 1271662804 HAS SOUS 484558048 HAS SOUPS 484558048 WITH SCORE 4.85829710804E8
AT ITER 1153 NEW BEST:: SOT 2138790346 SOS 1271198100 HAS SOPS 1271198100 HAS SOUS 484558039 HAS SOUPS 484558039 WITH SCORE 4.858292371E8
AT ITER 1163 NEW BEST:: SOT 2138782736 SOS 1271133401 HAS SOPS 1271133401 HAS SOUS 484558025 HAS SOUPS 484558025 WITH SCORE 4.85829158401E8
AT ITER 1173 NEW BEST:: SOT 2138705452 SOS 1270476487 HAS SOPS 1270476487 HAS SOUS 484558025 HAS SOUPS 484558025 WITH SCORE 4.85828501487E8
AT ITER 1203 NEW BEST:: SOT 2138682176 SOS 1270278637 HAS SOPS 1270278637 HAS SOUS 484558021 HAS SOUPS 484558021 WITH SCORE 4.85828299637E8
AT ITER 1215 NEW BEST:: SOT 2138680600 SOS 1270265241 HAS SOPS 1270265241 HAS SOUS 484558021 HAS SOUPS 484558021 WITH SCORE 4.85828286241E8
AT ITER 1219 NEW BEST:: SOT 2138663346 SOS 1270118580 HAS SOPS 1270118580 HAS SOUS 484558019 HAS SOUPS 484558019 WITH SCORE 4.8582813758E8
AT ITER 1240 NEW BEST:: SOT 2138663346 SOS 1270118566 HAS SOPS 1270118566 HAS SOUS 484558005 HAS SOUPS 484558005 WITH SCORE 4.85828123566E8
AT ITER 1241 NEW BEST:: SOT 2138631946 SOS 1269851658 HAS SOPS 1269851658 HAS SOUS 484557997 HAS SOUPS 484557997 WITH SCORE 4.85827848658E8
AT ITER 1255 NEW BEST:: SOT 2138613042 SOS 1269690972 HAS SOPS 1269690972 HAS SOUS 484557995 HAS SOUPS 484557995 WITH SCORE 4.85827685972E8
AT ITER 1281 NEW BEST:: SOT 2138501630 SOS 1268743965 HAS SOPS 1268743965 HAS SOUS 484557990 HAS SOUPS 484557990 WITH SCORE 4.85826733965E8
AT ITER 1293 NEW BEST:: SOT 2138482776 SOS 1268583704 HAS SOPS 1268583704 HAS SOUS 484557988 HAS SOUPS 484557988 WITH SCORE 4.85826571704E8
AT ITER 1328 NEW BEST:: SOT 2138404854 SOS 1267921364 HAS SOPS 1267921364 HAS SOUS 484557985 HAS SOUPS 484557985 WITH SCORE 4.85825906364E8
AT ITER 1343 NEW BEST:: SOT 2138332250 SOS 1267304221 HAS SOPS 1267304221 HAS SOUS 484557976 HAS SOUPS 484557976 WITH SCORE 4.85825280221E8
AT ITER 1365 NEW BEST:: SOT 2138317040 SOS 1267174929 HAS SOPS 1267174929 HAS SOUS 484557969 HAS SOUPS 484557969 WITH SCORE 4.85825143929E8
AT ITER 1374 NEW BEST:: SOT 2138271394 SOS 1266786932 HAS SOPS 1266786932 HAS SOUS 484557963 HAS SOUPS 484557963 WITH SCORE 4.85824749932E8
AT ITER 1409 NEW BEST:: SOT 2138236010 SOS 1266486168 HAS SOPS 1266486168 HAS SOUS 484557963 HAS SOUPS 484557963 WITH SCORE 4.85824449168E8
AT ITER 1449 NEW BEST:: SOT 2138159010 SOS 1265831657 HAS SOPS 1265831657 HAS SOUS 484557952 HAS SOUPS 484557952 WITH SCORE 4.85823783657E8
AT ITER 1460 NEW BEST:: SOT 2138141942 SOS 1265686578 HAS SOPS 1265686578 HAS SOUS 484557951 HAS SOUPS 484557951 WITH SCORE 4.85823637578E8
AT ITER 1463 NEW BEST:: SOT 2138138070 SOS 1265653652 HAS SOPS 1265653652 HAS SOUS 484557937 HAS SOUPS 484557937 WITH SCORE 4.85823590652E8
AT ITER 1473 NEW BEST:: SOT 2138107426 SOS 1265393166 HAS SOPS 1265393166 HAS SOUS 484557925 HAS SOUPS 484557925 WITH SCORE 4.85823318166E8
AT ITER 1480 NEW BEST:: SOT 2138075318 SOS 1265120241 HAS SOPS 1265120241 HAS SOUS 484557918 HAS SOUPS 484557918 WITH SCORE 4.85823038241E8
AT ITER 1490 NEW BEST:: SOT 2138032152 SOS 1264753317 HAS SOPS 1264753317 HAS SOUS 484557905 HAS SOUPS 484557905 WITH SCORE 4.85822658317E8
AT ITER 1494 NEW BEST:: SOT 2138010426 SOS 1264568631 HAS SOPS 1264568631 HAS SOUS 484557888 HAS SOUPS 484557888 WITH SCORE 4.85822456631E8
AT ITER 1512 NEW BEST:: SOT 2137983069 SOS 1264318297 HAS SOPS 1264318297 HAS SOUS 484547371 HAS SOUPS 484547371 WITH SCORE 4.85811689297E8
AT ITER 1518 NEW BEST:: SOT 2137950445 SOS 1264040984 HAS SOPS 1264040984 HAS SOUS 484547362 HAS SOUPS 484547362 WITH SCORE 4.85811402984E8
AT ITER 1550 NEW BEST:: SOT 2137945471 SOS 1263998694 HAS SOPS 1263998694 HAS SOUS 484547351 HAS SOUPS 484547351 WITH SCORE 4.85811349694E8
AT ITER 1558 NEW BEST:: SOT 2137866353 SOS 1263326189 HAS SOPS 1263326189 HAS SOUS 484547349 HAS SOUPS 484547349 WITH SCORE 4.85810675189E8
AT ITER 1565 NEW BEST:: SOT 2137859397 SOS 1263267049 HAS SOPS 1263267049 HAS SOUS 484547335 HAS SOUPS 484547335 WITH SCORE 4.85810602049E8
AT ITER 1609 NEW BEST:: SOT 2137829001 SOS 1263008680 HAS SOPS 1263008680 HAS SOUS 484547332 HAS SOUPS 484547332 WITH SCORE 4.8581034068E8
AT ITER 1621 NEW BEST:: SOT 2137817447 SOS 1262910468 HAS SOPS 1262910468 HAS SOUS 484547329 HAS SOUPS 484547329 WITH SCORE 4.85810239468E8
AT ITER 1632 NEW BEST:: SOT 2137807703 SOS 1262827632 HAS SOPS 1262827632 HAS SOUS 484547317 HAS SOUPS 484547317 WITH SCORE 4.85810144632E8
AT ITER 1633 NEW BEST:: SOT 2137744819 SOS 1262293113 HAS SOPS 1262293113 HAS SOUS 484547312 HAS SOUPS 484547312 WITH SCORE 4.85809605113E8
AT ITER 1646 NEW BEST:: SOT 2137722283 SOS 1262101554 HAS SOPS 1262101554 HAS SOUS 484547309 HAS SOUPS 484547309 WITH SCORE 4.85809410554E8
AT ITER 1669 NEW BEST:: SOT 2137629581 SOS 1261313585 HAS SOPS 1261313585 HAS SOUS 484547307 HAS SOUPS 484547307 WITH SCORE 4.85808620585E8
AT ITER 1681 NEW BEST:: SOT 2137521801 SOS 1260397442 HAS SOPS 1260397442 HAS SOUS 484547294 HAS SOUPS 484547294 WITH SCORE 4.85807691442E8
AT ITER 1682 NEW BEST:: SOT 2137455397 SOS 1259833007 HAS SOPS 1259833007 HAS SOUS 484547293 HAS SOUPS 484547293 WITH SCORE 4.85807126007E8
AT ITER 1690 NEW BEST:: SOT 2137434403 SOS 1259654549 HAS SOPS 1259654549 HAS SOUS 484547284 HAS SOUPS 484547284 WITH SCORE 4.85806938549E8
AT ITER 1699 NEW BEST:: SOT 2137356029 SOS 1258988365 HAS SOPS 1258988365 HAS SOUS 484547279 HAS SOUPS 484547279 WITH SCORE 4.85806267365E8
AT ITER 1720 NEW BEST:: SOT 2137350299 SOS 1258939655 HAS SOPS 1258939655 HAS SOUS 484547274 HAS SOUPS 484547274 WITH SCORE 4.85806213655E8
AT ITER 1751 NEW BEST:: SOT 2137324379 SOS 1258719325 HAS SOPS 1258719325 HAS SOUS 484547264 HAS SOUPS 484547264 WITH SCORE 4.85805983325E8
AT ITER 1784 NEW BEST:: SOT 2137276397 SOS 1258311467 HAS SOPS 1258311467 HAS SOUS 484547253 HAS SOUPS 484547253 WITH SCORE 4.85805564467E8
AT ITER 1786 NEW BEST:: SOT 2137266293 SOS 1258225583 HAS SOPS 1258225583 HAS SOUS 484547253 HAS SOUPS 484547253 WITH SCORE 4.85805478583E8
AT ITER 1789 NEW BEST:: SOT 2137178813 SOS 1257417406 HAS SOPS 1257417406 HAS SOUS 484509911 HAS SOUPS 484509911 WITH SCORE 4.85767328406E8
AT ITER 1794 NEW BEST:: SOT 2137164579 SOS 1257296403 HAS SOPS 1257296403 HAS SOUS 484509897 HAS SOUPS 484509897 WITH SCORE 4.85767193403E8
AT ITER 1810 NEW BEST:: SOT 2137124417 SOS 1256955026 HAS SOPS 1256955026 HAS SOUS 484509897 HAS SOUPS 484509897 WITH SCORE 4.85766852026E8
AT ITER 1854 NEW BEST:: SOT 2137117871 SOS 1256899379 HAS SOPS 1256899379 HAS SOUS 484509891 HAS SOUPS 484509891 WITH SCORE 4.85766790379E8
AT ITER 1926 NEW BEST:: SOT 2137040231 SOS 1256239436 HAS SOPS 1256239436 HAS SOUS 484509888 HAS SOUPS 484509888 WITH SCORE 4.85766127436E8
AT ITER 1929 NEW BEST:: SOT 2136992271 SOS 1255831775 HAS SOPS 1255831775 HAS SOUS 484509887 HAS SOUPS 484509887 WITH SCORE 4.85765718775E8
AT ITER 1940 NEW BEST:: SOT 2136877219 SOS 1254853833 HAS SOPS 1254853833 HAS SOUS 484509887 HAS SOUPS 484509887 WITH SCORE 4.85764740833E8
AT ITER 1945 NEW BEST:: SOT 2136876167 SOS 1254844891 HAS SOPS 1254844891 HAS SOUS 484509887 HAS SOUPS 484509887 WITH SCORE 4.85764731891E8
AT ITER 1948 NEW BEST:: SOT 2136857621 SOS 1254687239 HAS SOPS 1254687239 HAS SOUS 484509876 HAS SOUPS 484509876 WITH SCORE 4.85764563239E8
AT ITER 2004 NEW BEST:: SOT 2136843189 SOS 1254564558 HAS SOPS 1254564558 HAS SOUS 484509867 HAS SOUPS 484509867 WITH SCORE 4.85764431558E8
AT ITER 2025 NEW BEST:: SOT 2136789339 SOS 1254106826 HAS SOPS 1254106826 HAS SOUS 484509860 HAS SOUPS 484509860 WITH SCORE 4.85763966826E8
AT ITER 2080 NEW BEST:: SOT 2136779485 SOS 1254023060 HAS SOPS 1254023060 HAS SOUS 484509853 HAS SOUPS 484509853 WITH SCORE 4.8576387606E8
AT ITER 2146 NEW BEST:: SOT 2136713249 SOS 1253460047 HAS SOPS 1253460047 HAS SOUS 484509846 HAS SOUPS 484509846 WITH SCORE 4.85763306047E8
AT ITER 2162 NEW BEST:: SOT 2136612161 SOS 1252600793 HAS SOPS 1252600793 HAS SOUS 484509840 HAS SOUPS 484509840 WITH SCORE 4.85762440793E8
AT ITER 2191 NEW BEST:: SOT 2136450914 SOS 1251483076 HAS SOPS 1251483076 HAS SOUS 484484283 HAS SOUPS 484484283 WITH SCORE 4.85735766076E8
AT ITER 2215 NEW BEST:: SOT 2136437020 SOS 1251364965 HAS SOPS 1251364965 HAS SOUS 484484271 HAS SOUPS 484484271 WITH SCORE 4.85735635965E8
AT ITER 2237 NEW BEST:: SOT 2136378894 SOS 1250870889 HAS SOPS 1250870889 HAS SOUS 484484266 HAS SOUPS 484484266 WITH SCORE 4.85735136889E8
AT ITER 2273 NEW BEST:: SOT 2136355698 SOS 1250673708 HAS SOPS 1250673708 HAS SOUS 484484249 HAS SOUPS 484484249 WITH SCORE 4.85734922708E8
AT ITER 2291 NEW BEST:: SOT 2136330594 SOS 1250460321 HAS SOPS 1250460321 HAS SOUS 484484246 HAS SOUPS 484484246 WITH SCORE 4.85734706321E8
AT ITER 2300 NEW BEST:: SOT 2136272420 SOS 1249965827 HAS SOPS 1249965827 HAS SOUS 484484229 HAS SOUPS 484484229 WITH SCORE 4.85734194827E8
AT ITER 2308 NEW BEST:: SOT 2136193436 SOS 1249184693 HAS SOPS 1249184693 HAS SOUS 484456281 HAS SOUPS 484456281 WITH SCORE 4.85705465693E8
AT ITER 2336 NEW BEST:: SOT 2136186426 SOS 1249125105 HAS SOPS 1249125105 HAS SOUS 484456278 HAS SOUPS 484456278 WITH SCORE 4.85705403105E8
AT ITER 2348 NEW BEST:: SOT 2135990321 SOS 1247941461 HAS SOPS 1247941461 HAS SOUS 484393711 HAS SOUPS 484393711 WITH SCORE 4.85641652461E8
AT ITER 2357 NEW BEST:: SOT 2135969249 SOS 1247762345 HAS SOPS 1247762345 HAS SOUS 484393707 HAS SOUPS 484393707 WITH SCORE 4.85641469345E8
AT ITER 2412 NEW BEST:: SOT 2135933013 SOS 1247454326 HAS SOPS 1247454326 HAS SOUS 484393694 HAS SOUPS 484393694 WITH SCORE 4.85641148326E8
AT ITER 2417 NEW BEST:: SOT 2135887549 SOS 1247067879 HAS SOPS 1247067879 HAS SOUS 484393691 HAS SOUPS 484393691 WITH SCORE 4.85640758879E8
AT ITER 2422 NEW BEST:: SOT 2135873941 SOS 1246952200 HAS SOPS 1246952200 HAS SOUS 484393680 HAS SOUPS 484393680 WITH SCORE 4.856406322E8
AT ITER 2429 NEW BEST:: SOT 2135859251 SOS 1246827324 HAS SOPS 1246827324 HAS SOUS 484393669 HAS SOUPS 484393669 WITH SCORE 4.85640496324E8
AT ITER 2435 NEW BEST:: SOT 2135804807 SOS 1246364536 HAS SOPS 1246364536 HAS SOUS 484393655 HAS SOUPS 484393655 WITH SCORE 4.85640019536E8
AT ITER 2453 NEW BEST:: SOT 2135744359 SOS 1245850715 HAS SOPS 1245850715 HAS SOUS 484393642 HAS SOUPS 484393642 WITH SCORE 4.85639492715E8
AT ITER 2457 NEW BEST:: SOT 2135711173 SOS 1245568630 HAS SOPS 1245568630 HAS SOUS 484393638 HAS SOUPS 484393638 WITH SCORE 4.8563920663E8
AT ITER 2463 NEW BEST:: SOT 2135703451 SOS 1245502978 HAS SOPS 1245502978 HAS SOUS 484393621 HAS SOUPS 484393621 WITH SCORE 4.85639123978E8
AT ITER 2512 NEW BEST:: SOT 2135647039 SOS 1245023462 HAS SOPS 1245023462 HAS SOUS 484393607 HAS SOUPS 484393607 WITH SCORE 4.85638630462E8
AT ITER 2524 NEW BEST:: SOT 2135594059 SOS 1244573122 HAS SOPS 1244573122 HAS SOUS 484393597 HAS SOUPS 484393597 WITH SCORE 4.85638170122E8
AT ITER 2528 NEW BEST:: SOT 2135470879 SOS 1243526079 HAS SOPS 1243526079 HAS SOUS 484393584 HAS SOUPS 484393584 WITH SCORE 4.85637110079E8
AT ITER 2575 NEW BEST:: SOT 2135457045 SOS 1243408476 HAS SOPS 1243408476 HAS SOUS 484393570 HAS SOUPS 484393570 WITH SCORE 4.85636978476E8
AT ITER 2584 NEW BEST:: SOT 2135398527 SOS 1242911063 HAS SOPS 1242911063 HAS SOUS 484393560 HAS SOUPS 484393560 WITH SCORE 4.85636471063E8
AT ITER 2625 NEW BEST:: SOT 2135366449 SOS 1242638400 HAS SOPS 1242638400 HAS SOUS 484393560 HAS SOUPS 484393560 WITH SCORE 4.856361984E8
AT ITER 2661 NEW BEST:: SOT 2135251955 SOS 1241665188 HAS SOPS 1241665188 HAS SOUS 484393547 HAS SOUPS 484393547 WITH SCORE 4.85635212188E8
AT ITER 2662 NEW BEST:: SOT 2135234451 SOS 1241516403 HAS SOPS 1241516403 HAS SOUS 484393546 HAS SOUPS 484393546 WITH SCORE 4.85635062403E8
AT ITER 2673 NEW BEST:: SOT 2135214893 SOS 1241350147 HAS SOPS 1241350147 HAS SOUS 484393533 HAS SOUPS 484393533 WITH SCORE 4.85634883147E8
AT ITER 2683 NEW BEST:: SOT 2135180147 SOS 1241054791 HAS SOPS 1241054791 HAS SOUS 484393516 HAS SOUPS 484393516 WITH SCORE 4.85634570791E8
AT ITER 2711 NEW BEST:: SOT 2135142227 SOS 1240732460 HAS SOPS 1240732460 HAS SOUS 484393505 HAS SOUPS 484393505 WITH SCORE 4.8563423746E8
AT ITER 2712 NEW BEST:: SOT 2135020883 SOS 1239701036 HAS SOPS 1239701036 HAS SOUS 484393505 HAS SOUPS 484393505 WITH SCORE 4.85633206036E8
AT ITER 2736 NEW BEST:: SOT 2135000821 SOS 1239530499 HAS SOPS 1239530499 HAS SOUS 484393495 HAS SOUPS 484393495 WITH SCORE 4.85633025499E8
AT ITER 2741 NEW BEST:: SOT 2134935503 SOS 1238975294 HAS SOPS 1238975294 HAS SOUS 484393493 HAS SOUPS 484393493 WITH SCORE 4.85632468294E8
AT ITER 2745 NEW BEST:: SOT 2134886853 SOS 1238561758 HAS SOPS 1238561758 HAS SOUS 484393482 HAS SOUPS 484393482 WITH SCORE 4.85632043758E8
AT ITER 2747 NEW BEST:: SOT 2134864167 SOS 1238368913 HAS SOPS 1238368913 HAS SOUS 484393468 HAS SOUPS 484393468 WITH SCORE 4.85631836913E8
AT ITER 2753 NEW BEST:: SOT 2134757571 SOS 1237462842 HAS SOPS 1237462842 HAS SOUS 484393463 HAS SOUPS 484393463 WITH SCORE 4.85630925842E8
AT ITER 2754 NEW BEST:: SOT 2134732393 SOS 1237248829 HAS SOPS 1237248829 HAS SOUS 484393463 HAS SOUPS 484393463 WITH SCORE 4.85630711829E8
AT ITER 2756 NEW BEST:: SOT 2134679235 SOS 1236796973 HAS SOPS 1236796973 HAS SOUS 484393450 HAS SOUPS 484393450 WITH SCORE 4.85630246973E8
AT ITER 2788 NEW BEST:: SOT 2134671195 SOS 1236728625 HAS SOPS 1236728625 HAS SOUS 484393442 HAS SOUPS 484393442 WITH SCORE 4.85630170625E8
AT ITER 2792 NEW BEST:: SOT 2134648303 SOS 1236534032 HAS SOPS 1236534032 HAS SOUS 484393431 HAS SOUPS 484393431 WITH SCORE 4.85629965032E8
AT ITER 2798 NEW BEST:: SOT 2134583403 SOS 1235982370 HAS SOPS 1235982370 HAS SOUS 484393419 HAS SOUPS 484393419 WITH SCORE 4.8562940137E8
AT ITER 2801 NEW BEST:: SOT 2134516947 SOS 1235417486 HAS SOPS 1235417486 HAS SOUS 484393411 HAS SOUPS 484393411 WITH SCORE 4.85628828486E8
AT ITER 2850 NEW BEST:: SOT 2134433971 SOS 1234712189 HAS SOPS 1234712189 HAS SOUS 484393410 HAS SOUPS 484393410 WITH SCORE 4.85628122189E8
AT ITER 2855 NEW BEST:: SOT 2134396751 SOS 1234395805 HAS SOPS 1234395805 HAS SOUS 484393396 HAS SOUPS 484393396 WITH SCORE 4.85627791805E8
AT ITER 2857 NEW BEST:: SOT 2134361162 SOS 1234182265 HAS SOPS 1234182265 HAS SOUS 484381527 HAS SOUPS 484381527 WITH SCORE 4.85615709265E8
AT ITER 2884 NEW BEST:: SOT 2134304442 SOS 1233700140 HAS SOPS 1233700140 HAS SOUS 484381522 HAS SOUPS 484381522 WITH SCORE 4.8561522214E8
AT ITER 2929 NEW BEST:: SOT 2134297172 SOS 1233638331 HAS SOPS 1233638331 HAS SOUS 484381508 HAS SOUPS 484381508 WITH SCORE 4.85615146331E8
AT ITER 2955 NEW BEST:: SOT 2134238248 SOS 1233137475 HAS SOPS 1233137475 HAS SOUS 484381506 HAS SOUPS 484381506 WITH SCORE 4.85614643475E8
AT ITER 2975 NEW BEST:: SOT 2134180130 SOS 1232643461 HAS SOPS 1232643461 HAS SOUS 484381495 HAS SOUPS 484381495 WITH SCORE 4.85614138461E8
AT ITER 2987 NEW BEST:: SOT 2134124018 SOS 1232166507 HAS SOPS 1232166507 HAS SOUS 484381493 HAS SOUPS 484381493 WITH SCORE 4.85613659507E8
AT ITER 3005 NEW BEST:: SOT 2134035328 SOS 1231412629 HAS SOPS 1231412629 HAS SOUS 484381480 HAS SOUPS 484381480 WITH SCORE 4.85612892629E8
AT ITER 3056 NEW BEST:: SOT 2133982418 SOS 1230962887 HAS SOPS 1230962887 HAS SOUS 484381473 HAS SOUPS 484381473 WITH SCORE 4.85612435887E8
AT ITER 3075 NEW BEST:: SOT 2133961638 SOS 1230786249 HAS SOPS 1230786249 HAS SOUS 484381465 HAS SOUPS 484381465 WITH SCORE 4.85612251249E8
AT ITER 3079 NEW BEST:: SOT 2133914546 SOS 1230385958 HAS SOPS 1230385958 HAS SOUS 484381456 HAS SOUPS 484381456 WITH SCORE 4.85611841958E8
AT ITER 3097 NEW BEST:: SOT 2133878194 SOS 1230058790 HAS SOPS 1230058790 HAS SOUS 484363280 HAS SOUPS 484363280 WITH SCORE 4.8559333879E8
AT ITER 3122 NEW BEST:: SOT 2133850300 SOS 1229821688 HAS SOPS 1229821688 HAS SOUS 484363277 HAS SOUPS 484363277 WITH SCORE 4.85593098688E8
AT ITER 3142 NEW BEST:: SOT 2133842458 SOS 1229755016 HAS SOPS 1229755016 HAS SOUS 484363260 HAS SOUPS 484363260 WITH SCORE 4.85593015016E8
AT ITER 3151 NEW BEST:: SOT 2133767072 SOS 1229114227 HAS SOPS 1229114227 HAS SOUS 484363252 HAS SOUPS 484363252 WITH SCORE 4.85592366227E8
AT ITER 3159 NEW BEST:: SOT 2133767072 SOS 1229114222 HAS SOPS 1229114222 HAS SOUS 484363247 HAS SOUPS 484363247 WITH SCORE 4.85592361222E8
AT ITER 3160 NEW BEST:: SOT 2133720008 SOS 1228714173 HAS SOPS 1228714173 HAS SOUS 484363242 HAS SOUPS 484363242 WITH SCORE 4.85591956173E8
AT ITER 3189 NEW BEST:: SOT 2133689094 SOS 1228451395 HAS SOPS 1228451395 HAS SOUS 484363233 HAS SOUPS 484363233 WITH SCORE 4.85591684395E8
AT ITER 3191 NEW BEST:: SOT 2133633287 SOS 1227937349 HAS SOPS 1227937349 HAS SOUS 484338914 HAS SOUPS 484338914 WITH SCORE 4.85566851349E8
AT ITER 3195 NEW BEST:: SOT 2133573525 SOS 1227429361 HAS SOPS 1227429361 HAS SOUS 484338903 HAS SOUPS 484338903 WITH SCORE 4.85566332361E8
AT ITER 3208 NEW BEST:: SOT 2133459879 SOS 1226463366 HAS SOPS 1226463366 HAS SOUS 484338899 HAS SOUPS 484338899 WITH SCORE 4.85565362366E8
AT ITER 3227 NEW BEST:: SOT 2133429239 SOS 1226202914 HAS SOPS 1226202914 HAS SOUS 484338887 HAS SOUPS 484338887 WITH SCORE 4.85565089914E8
AT ITER 3249 NEW BEST:: SOT 2133366591 SOS 1225670398 HAS SOPS 1225670398 HAS SOUS 484338879 HAS SOUPS 484338879 WITH SCORE 4.85564549398E8
AT ITER 3255 NEW BEST:: SOT 2133318161 SOS 1225258734 HAS SOPS 1225258734 HAS SOUS 484338870 HAS SOUPS 484338870 WITH SCORE 4.85564128734E8
AT ITER 3258 NEW BEST:: SOT 2133294691 SOS 1225048389 HAS SOPS 1225048389 HAS SOUS 484328020 HAS SOUPS 484328020 WITH SCORE 4.85553068389E8
AT ITER 3268 NEW BEST:: SOT 2133289779 SOS 1225006637 HAS SOPS 1225006637 HAS SOUS 484328020 HAS SOUPS 484328020 WITH SCORE 4.85553026637E8
AT ITER 3332 NEW BEST:: SOT 2133255839 SOS 1224718143 HAS SOPS 1224718143 HAS SOUS 484328016 HAS SOUPS 484328016 WITH SCORE 4.85552734143E8
AT ITER 3339 NEW BEST:: SOT 2133227491 SOS 1224477180 HAS SOPS 1224477180 HAS SOUS 484328011 HAS SOUPS 484328011 WITH SCORE 4.8555248818E8
AT ITER 3350 NEW BEST:: SOT 2133218467 SOS 1224400473 HAS SOPS 1224400473 HAS SOUS 484328008 HAS SOUPS 484328008 WITH SCORE 4.85552408473E8
AT ITER 3355 NEW BEST:: SOT 2133171747 SOS 1224003349 HAS SOPS 1224003349 HAS SOUS 484328004 HAS SOUPS 484328004 WITH SCORE 4.85552007349E8
AT ITER 3361 NEW BEST:: SOT 2133052577 SOS 1222990396 HAS SOPS 1222990396 HAS SOUS 484327996 HAS SOUPS 484327996 WITH SCORE 4.85550986396E8
AT ITER 3389 NEW BEST:: SOT 2133028569 SOS 1222786313 HAS SOPS 1222786313 HAS SOUS 484327979 HAS SOUPS 484327979 WITH SCORE 4.85550765313E8
AT ITER 3394 NEW BEST:: SOT 2132990393 SOS 1222461817 HAS SOPS 1222461817 HAS SOUS 484327979 HAS SOUPS 484327979 WITH SCORE 4.85550440817E8
AT ITER 3416 NEW BEST:: SOT 2132976809 SOS 1222346349 HAS SOPS 1222346349 HAS SOUS 484327975 HAS SOUPS 484327975 WITH SCORE 4.85550321349E8
AT ITER 3438 NEW BEST:: SOT 2132951368 SOS 1222112324 HAS SOPS 1222112324 HAS SOUS 484319146 HAS SOUPS 484319146 WITH SCORE 4.85541258324E8
AT ITER 3471 NEW BEST:: SOT 2132826358 SOS 1221049729 HAS SOPS 1221049729 HAS SOUS 484319136 HAS SOUPS 484319136 WITH SCORE 4.85540185729E8
AT ITER 3490 NEW BEST:: SOT 2132771660 SOS 1220584781 HAS SOPS 1220584781 HAS SOUS 484319119 HAS SOUPS 484319119 WITH SCORE 4.85539703781E8
AT ITER 3498 NEW BEST:: SOT 2132700068 SOS 1219976240 HAS SOPS 1219976240 HAS SOUS 484319110 HAS SOUPS 484319110 WITH SCORE 4.8553908624E8
AT ITER 3512 NEW BEST:: SOT 2132609980 SOS 1219210486 HAS SOPS 1219210486 HAS SOUS 484319104 HAS SOUPS 484319104 WITH SCORE 4.85538314486E8
AT ITER 3543 NEW BEST:: SOT 2132529430 SOS 1218525810 HAS SOPS 1218525810 HAS SOUS 484319103 HAS SOUPS 484319103 WITH SCORE 4.8553762881E8
AT ITER 3548 NEW BEST:: SOT 2132404300 SOS 1217462194 HAS SOPS 1217462194 HAS SOUS 484319092 HAS SOUPS 484319092 WITH SCORE 4.85536554194E8
AT ITER 3573 NEW BEST:: SOT 2132318704 SOS 1216672283 HAS SOPS 1216672283 HAS SOUS 484283732 HAS SOUPS 484283732 WITH SCORE 4.85500404283E8
AT ITER 3599 NEW BEST:: SOT 2132294834 SOS 1216469375 HAS SOPS 1216469375 HAS SOUS 484283719 HAS SOUPS 484283719 WITH SCORE 4.85500188375E8
AT ITER 3623 NEW BEST:: SOT 2132244812 SOS 1216044179 HAS SOPS 1216044179 HAS SOUS 484283710 HAS SOUPS 484283710 WITH SCORE 4.85499754179E8
AT ITER 3629 NEW BEST:: SOT 2132155058 SOS 1215281257 HAS SOPS 1215281257 HAS SOUS 484283697 HAS SOUPS 484283697 WITH SCORE 4.85498978257E8
AT ITER 3666 NEW BEST:: SOT 2132135060 SOS 1215087746 HAS SOPS 1215087746 HAS SOUS 484279474 HAS SOUPS 484279474 WITH SCORE 4.85494561746E8
AT ITER 3693 NEW BEST:: SOT 2132086572 SOS 1214675585 HAS SOPS 1214675585 HAS SOUS 484279461 HAS SOUPS 484279461 WITH SCORE 4.85494136585E8
AT ITER 3712 NEW BEST:: SOT 2132060168 SOS 1214437949 HAS SOPS 1214437949 HAS SOUS 484266259 HAS SOUPS 484266259 WITH SCORE 4.85480696949E8
AT ITER 3741 NEW BEST:: SOT 2131993772 SOS 1213873571 HAS SOPS 1213873571 HAS SOUS 484266247 HAS SOUPS 484266247 WITH SCORE 4.85480120571E8
AT ITER 3798 NEW BEST:: SOT 2131951268 SOS 1213512285 HAS SOPS 1213512285 HAS SOUS 484266245 HAS SOUPS 484266245 WITH SCORE 4.85479757285E8
AT ITER 3832 NEW BEST:: SOT 2131865422 SOS 1212782583 HAS SOPS 1212782583 HAS SOUS 484266234 HAS SOUPS 484266234 WITH SCORE 4.85479016583E8
AT ITER 3844 NEW BEST:: SOT 2131769172 SOS 1211964454 HAS SOPS 1211964454 HAS SOUS 484266230 HAS SOUPS 484266230 WITH SCORE 4.85478194454E8
AT ITER 3851 NEW BEST:: SOT 2131760628 SOS 1211891820 HAS SOPS 1211891820 HAS SOUS 484266220 HAS SOUPS 484266220 WITH SCORE 4.8547811182E8
AT ITER 3859 NEW BEST:: SOT 2131705452 SOS 1211422812 HAS SOPS 1211422812 HAS SOUS 484266208 HAS SOUPS 484266208 WITH SCORE 4.85477630812E8
AT ITER 3869 NEW BEST:: SOT 2131686304 SOS 1211250626 HAS SOPS 1211250626 HAS SOUS 484256780 HAS SOUPS 484256780 WITH SCORE 4.85468030626E8
AT ITER 3940 NEW BEST:: SOT 2131636140 SOS 1210824222 HAS SOPS 1210824222 HAS SOUS 484256770 HAS SOUPS 484256770 WITH SCORE 4.85467594222E8
AT ITER 3951 NEW BEST:: SOT 2131617702 SOS 1210667497 HAS SOPS 1210667497 HAS SOUS 484256768 HAS SOUPS 484256768 WITH SCORE 4.85467435497E8
AT ITER 3959 NEW BEST:: SOT 2131604926 SOS 1210558899 HAS SOPS 1210558899 HAS SOUS 484256766 HAS SOUPS 484256766 WITH SCORE 4.85467324899E8
AT ITER 3981 NEW BEST:: SOT 2131581266 SOS 1210357783 HAS SOPS 1210357783 HAS SOUS 484256760 HAS SOUPS 484256760 WITH SCORE 4.85467117783E8
AT ITER 3998 NEW BEST:: SOT 2131530838 SOS 1209929140 HAS SOPS 1209929140 HAS SOUS 484256755 HAS SOUPS 484256755 WITH SCORE 4.8546668414E8
AT ITER 4040 NEW BEST:: SOT 2131527970 SOS 1209904751 HAS SOPS 1209904751 HAS SOUS 484256744 HAS SOUPS 484256744 WITH SCORE 4.85466648751E8
AT ITER 4041 NEW BEST:: SOT 2131402164 SOS 1208835388 HAS SOPS 1208835388 HAS SOUS 484256732 HAS SOUPS 484256732 WITH SCORE 4.85465567388E8
AT ITER 4052 NEW BEST:: SOT 2131361702 SOS 1208491457 HAS SOPS 1208491457 HAS SOUS 484256728 HAS SOUPS 484256728 WITH SCORE 4.85465219457E8
AT ITER 4071 NEW BEST:: SOT 2131306866 SOS 1207997933 HAS SOPS 1207997933 HAS SOUS 484229310 HAS SOUPS 484229310 WITH SCORE 4.85437307933E8
AT ITER 4073 NEW BEST:: SOT 2131224330 SOS 1207296372 HAS SOPS 1207296372 HAS SOUS 484229305 HAS SOUPS 484229305 WITH SCORE 4.85436601372E8
AT ITER 4084 NEW BEST:: SOT 2131111156 SOS 1206334383 HAS SOPS 1206334383 HAS SOUS 484229295 HAS SOUPS 484229295 WITH SCORE 4.85435629383E8
AT ITER 4114 NEW BEST:: SOT 2131027856 SOS 1205626319 HAS SOPS 1205626319 HAS SOUS 484229281 HAS SOUPS 484229281 WITH SCORE 4.85434907319E8
AT ITER 4116 NEW BEST:: SOT 2130971870 SOS 1205150437 HAS SOPS 1205150437 HAS SOUS 484229280 HAS SOUPS 484229280 WITH SCORE 4.85434430437E8
AT ITER 4314 NEW BEST:: SOT 2130906746 SOS 1204596878 HAS SOPS 1204596878 HAS SOUS 484229275 HAS SOUPS 484229275 WITH SCORE 4.85433871878E8
AT ITER 4339 NEW BEST:: SOT 2130878712 SOS 1204358589 HAS SOPS 1204358589 HAS SOUS 484229275 HAS SOUPS 484229275 WITH SCORE 4.85433633589E8
AT ITER 4356 NEW BEST:: SOT 2130843672 SOS 1204060748 HAS SOPS 1204060748 HAS SOUS 484229274 HAS SOUPS 484229274 WITH SCORE 4.85433334748E8
AT ITER 4361 NEW BEST:: SOT 2130829298 SOS 1203938559 HAS SOPS 1203938559 HAS SOUS 484229264 HAS SOUPS 484229264 WITH SCORE 4.85433202559E8
AT ITER 4372 NEW BEST:: SOT 2130774768 SOS 1203475040 HAS SOPS 1203475040 HAS SOUS 484229250 HAS SOUPS 484229250 WITH SCORE 4.8543272504E8
AT ITER 4393 NEW BEST:: SOT 2130757694 SOS 1203329897 HAS SOPS 1203329897 HAS SOUS 484229236 HAS SOUPS 484229236 WITH SCORE 4.85432565897E8
AT ITER 4423 NEW BEST:: SOT 2130727476 SOS 1203073040 HAS SOPS 1203073040 HAS SOUS 484229232 HAS SOUPS 484229232 WITH SCORE 4.8543230504E8
AT ITER 4433 NEW BEST:: SOT 2130654100 SOS 1202449343 HAS SOPS 1202449343 HAS SOUS 484229231 HAS SOUPS 484229231 WITH SCORE 4.85431680343E8
AT ITER 4440 NEW BEST:: SOT 2130556004 SOS 1201615527 HAS SOPS 1201615527 HAS SOUS 484229231 HAS SOUPS 484229231 WITH SCORE 4.85430846527E8
AT ITER 4469 NEW BEST:: SOT 2130469026 SOS 1200876212 HAS SOPS 1200876212 HAS SOUS 484229229 HAS SOUPS 484229229 WITH SCORE 4.85430105212E8
AT ITER 4474 NEW BEST:: SOT 2130441736 SOS 1200644236 HAS SOPS 1200644236 HAS SOUS 484229218 HAS SOUPS 484229218 WITH SCORE 4.85429862236E8
AT ITER 4491 NEW BEST:: SOT 2130388574 SOS 1200166385 HAS SOPS 1200166385 HAS SOUS 484203244 HAS SOUPS 484203244 WITH SCORE 4.85403410385E8
AT ITER 4499 NEW BEST:: SOT 2130385186 SOS 1200137572 HAS SOPS 1200137572 HAS SOUS 484203227 HAS SOUPS 484203227 WITH SCORE 4.85403364572E8
AT ITER 4530 NEW BEST:: SOT 2130368750 SOS 1199997862 HAS SOPS 1199997862 HAS SOUS 484203223 HAS SOUPS 484203223 WITH SCORE 4.85403220862E8
AT ITER 4566 NEW BEST:: SOT 2130329696 SOS 1199665898 HAS SOPS 1199665898 HAS SOUS 484203218 HAS SOUPS 484203218 WITH SCORE 4.85402883898E8
AT ITER 4591 NEW BEST:: SOT 2130252994 SOS 1199013916 HAS SOPS 1199013916 HAS SOUS 484203201 HAS SOUPS 484203201 WITH SCORE 4.85402214916E8
AT ITER 4610 NEW BEST:: SOT 2130227480 SOS 1198797033 HAS SOPS 1198797033 HAS SOUS 484203187 HAS SOUPS 484203187 WITH SCORE 4.85401984033E8
AT ITER 4611 NEW BEST:: SOT 2130216762 SOS 1198705928 HAS SOPS 1198705928 HAS SOUS 484203185 HAS SOUPS 484203185 WITH SCORE 4.85401890928E8
AT ITER 4637 NEW BEST:: SOT 2130190902 SOS 1198486107 HAS SOPS 1198486107 HAS SOUS 484203174 HAS SOUPS 484203174 WITH SCORE 4.85401660107E8
AT ITER 4647 NEW BEST:: SOT 2130127602 SOS 1197948046 HAS SOPS 1197948046 HAS SOUS 484203163 HAS SOUPS 484203163 WITH SCORE 4.85401111046E8
AT ITER 4654 NEW BEST:: SOT 2130127602 SOS 1197948042 HAS SOPS 1197948042 HAS SOUS 484203159 HAS SOUPS 484203159 WITH SCORE 4.85401107042E8
AT ITER 4692 NEW BEST:: SOT 2130117784 SOS 1197864135 HAS SOPS 1197864135 HAS SOUS 484203215 HAS SOUPS 484203215 WITH SCORE 4.85401079135E8
AT ITER 4694 NEW BEST:: SOT 2130066162 SOS 1197425345 HAS SOPS 1197425345 HAS SOUS 484203212 HAS SOUPS 484203212 WITH SCORE 4.85400637345E8
AT ITER 4712 NEW BEST:: SOT 2129951942 SOS 1196454463 HAS SOPS 1196454463 HAS SOUS 484203200 HAS SOUPS 484203200 WITH SCORE 4.85399654463E8
AT ITER 4714 NEW BEST:: SOT 2129832516 SOS 1195439337 HAS SOPS 1195439337 HAS SOUS 484203195 HAS SOUPS 484203195 WITH SCORE 4.85398634337E8
AT ITER 4717 NEW BEST:: SOT 2129808126 SOS 1195232014 HAS SOPS 1195232014 HAS SOUS 484203187 HAS SOUPS 484203187 WITH SCORE 4.85398419014E8
AT ITER 4718 NEW BEST:: SOT 2129693626 SOS 1194258758 HAS SOPS 1194258758 HAS SOUS 484203181 HAS SOUPS 484203181 WITH SCORE 4.85397439758E8
AT ITER 4723 NEW BEST:: SOT 2129646244 SOS 1193855996 HAS SOPS 1193855996 HAS SOUS 484203164 HAS SOUPS 484203164 WITH SCORE 4.85397019996E8
AT ITER 4730 NEW BEST:: SOT 2129628250 SOS 1193703046 HAS SOPS 1193703046 HAS SOUS 484203163 HAS SOUPS 484203163 WITH SCORE 4.85396866046E8
AT ITER 4746 NEW BEST:: SOT 2129574670 SOS 1193247611 HAS SOPS 1193247611 HAS SOUS 484203158 HAS SOUPS 484203158 WITH SCORE 4.85396405611E8
AT ITER 4779 NEW BEST:: SOT 2129514094 SOS 1192732702 HAS SOPS 1192732702 HAS SOUS 484203145 HAS SOUPS 484203145 WITH SCORE 4.85395877702E8
AT ITER 4780 NEW BEST:: SOT 2129459806 SOS 1192271249 HAS SOPS 1192271249 HAS SOUS 484203140 HAS SOUPS 484203140 WITH SCORE 4.85395411249E8
AT ITER 4801 NEW BEST:: SOT 2129417506 SOS 1191911697 HAS SOPS 1191911697 HAS SOUS 484203138 HAS SOUPS 484203138 WITH SCORE 4.85395049697E8
AT ITER 4833 NEW BEST:: SOT 2129293048 SOS 1190853801 HAS SOPS 1190853801 HAS SOUS 484203135 HAS SOUPS 484203135 WITH SCORE 4.85393988801E8
AT ITER 4846 NEW BEST:: SOT 2129251250 SOS 1190498508 HAS SOPS 1190498508 HAS SOUS 484203125 HAS SOUPS 484203125 WITH SCORE 4.85393623508E8
AT ITER 4875 NEW BEST:: SOT 2129247338 SOS 1190465247 HAS SOPS 1190465247 HAS SOUS 484203116 HAS SOUPS 484203116 WITH SCORE 4.85393581247E8
AT ITER 4894 NEW BEST:: SOT 2129161352 SOS 1189734354 HAS SOPS 1189734354 HAS SOUS 484203104 HAS SOUPS 484203104 WITH SCORE 4.85392838354E8
AT ITER 4900 NEW BEST:: SOT 2129118556 SOS 1189370580 HAS SOPS 1189370580 HAS SOUS 484203096 HAS SOUPS 484203096 WITH SCORE 4.8539246658E8
AT ITER 4910 NEW BEST:: SOT 2128921818 SOS 1188186826 HAS SOPS 1188186826 HAS SOUS 484138877 HAS SOUPS 484138877 WITH SCORE 4.85327063826E8
AT ITER 4930 NEW BEST:: SOT 2128832870 SOS 1187430761 HAS SOPS 1187430761 HAS SOUS 484138870 HAS SOUPS 484138870 WITH SCORE 4.85326300761E8
AT ITER 4938 NEW BEST:: SOT 2128783310 SOS 1187009500 HAS SOPS 1187009500 HAS SOUS 484138869 HAS SOUPS 484138869 WITH SCORE 4.853258785E8
AT ITER 4954 NEW BEST:: SOT 2128761832 SOS 1186816198 HAS SOPS 1186816198 HAS SOUS 484128130 HAS SOUPS 484128130 WITH SCORE 4.85314946198E8
AT ITER 4960 NEW BEST:: SOT 2128704486 SOS 1186328750 HAS SOPS 1186328750 HAS SOUS 484128123 HAS SOUPS 484128123 WITH SCORE 4.8531445175E8
AT ITER 4980 NEW BEST:: SOT 2128582752 SOS 1185293998 HAS SOPS 1185293998 HAS SOUS 484128110 HAS SOUPS 484128110 WITH SCORE 4.85313403998E8
Bounds file is: CTLFireability.xml
PROPERTY: ViralEpidemic-PT-S16D2C4A03-CTLFireability-00 (AU( (! ((potential((tk(P11861)>=1) & (tk(P11890)>=1))))) , (EU( ((potential((tk(P58773)>=1) & (tk(P58838)>=1)))) , ((potential((tk(P6652)>=1) & (tk(P6702)>=1)))) )) ))
PROPERTY: ViralEpidemic-PT-S16D2C4A03-CTLFireability-01 (AF( (! (EF( ( ((potential((tk(P24234)>=1) & (tk(P24222)>=1)))) | ((potential((tk(P76899)>=1) & (tk(P76926)>=1)))) ))))))
PROPERTY: ViralEpidemic-PT-S16D2C4A03-CTLFireability-02 (EX( (AF( ( ( ((potential((tk(P14611)>=1) & (tk(P14551)>=1)))) & ((potential((tk(P48091)>=1) & (tk(P48036)>=1)))) ) | ((potential((tk(P15130)>=1) & (tk(P15166)>=1)))) )))))
PROPERTY: ViralEpidemic-PT-S16D2C4A03-CTLFireability-03 (! (! ( (AF( (! ((potential((tk(P47384)>=1) & (tk(P47340)>=1))))))) & ( (EF( ((potential((tk(P70463)>=1) & (tk(P70393)>=1)))))) & (EF( ((potential((tk(P24506)>=1) & (tk(P24539)>=1)))))) ) )))
PROPERTY: ViralEpidemic-PT-S16D2C4A03-CTLFireability-04 (AG( ( ( ((potential((tk(P436)>=1) & (tk(P521)>=1)))) | (EF( ((potential((tk(P31419)>=1) & (tk(P31437)>=1)))))) ) | ( ((potential((tk(P41195)>=1)))) | ( ((potential((tk(P35081)>=1) & (tk(P35072)>=1)))) & (! ((potential((tk(P21654)>=1) & (tk(P21664)>=1))))) ) ) )))
PROPERTY: ViralEpidemic-PT-S16D2C4A03-CTLFireability-05 (EG( (! ((potential((tk(P8028)>=1) & (tk(P8023)>=1)))))))
PROPERTY: ViralEpidemic-PT-S16D2C4A03-CTLFireability-06 (! ( ( ((potential((tk(P15880)>=1) & (tk(P15920)>=1)))) | ( (AF( ((potential((tk(P38143)>=1) & (tk(P38202)>=1)))))) | ( ((potential((tk(P72760)>=1) & (tk(P72779)>=1)))) & ( ((potential((tk(P61313)>=1)))) | ((potential((tk(P2266)>=1) & (tk(P2317)>=1)))) ) ) ) ) | ( ( ((potential((tk(P41792)>=1) & (tk(P41733)>=1)))) & ((potential((tk(P44112)>=1) & (tk(P44138)>=1)))) ) & (! (EX( ((potential((tk(P52033)>=1) & (tk(P52044)>=1))))))) ) ))
PROPERTY: ViralEpidemic-PT-S16D2C4A03-CTLFireability-07 (EF( ((potential((tk(P71067)>=1) & (tk(P71106)>=1))))))
PROPERTY: ViralEpidemic-PT-S16D2C4A03-CTLFireability-08 (AG( ( ( (EX( ((potential((tk(P68707)>=1) & (tk(P68684)>=1)))))) & ((potential((tk(P73158)>=1) & (tk(P73178)>=1)))) ) | (AF( ( ((potential((tk(P3984)>=1) & (tk(P4029)>=1)))) | ((potential((tk(P8388)>=1) & (tk(P8450)>=1)))) ))) )))
PROPERTY: ViralEpidemic-PT-S16D2C4A03-CTLFireability-09 (! (! (AF( ( ( ((potential((tk(P12020)>=1) & (tk(P12031)>=1)))) | ((potential((tk(P77065)>=1) & (tk(P77101)>=1)))) ) & ((potential((tk(P1521)>=1) & (tk(P1478)>=1)))) )))))
PROPERTY: ViralEpidemic-PT-S16D2C4A03-CTLFireability-10 (! (EF( ( ((potential((tk(P14827)>=1) & (tk(P14843)>=1)))) | ((potential((tk(P66729)>=1) & (tk(P66698)>=1)))) ))))
PROPERTY: ViralEpidemic-PT-S16D2C4A03-CTLFireability-11 (EF( (EF( ( ( ((potential((tk(P3021)>=1) & (tk(P3105)>=1)))) & ((potential((tk(P63992)>=1) & (tk(P64019)>=1)))) ) | ( ((potential((tk(P39189)>=1) & (tk(P39250)>=1)))) & ((potential((tk(P2336)>=1) & (tk(P2367)>=1)))) ) )))))
PROPERTY: ViralEpidemic-PT-S16D2C4A03-CTLFireability-12 (! (! (AF( (AX( ((potential((tk(P75618)>=1) & (tk(P75613)>=1))))))))))
PROPERTY: ViralEpidemic-PT-S16D2C4A03-CTLFireability-13 (EU( (! (AF( ((potential((tk(P21264)>=1) & (tk(P21311)>=1))))))) , (AU( ((potential((tk(P38718)>=1) & (tk(P38657)>=1)))) , ((potential((tk(P64847)>=1) & (tk(P64886)>=1)))) )) ))
PROPERTY: ViralEpidemic-PT-S16D2C4A03-CTLFireability-14 ( (EF( ((potential((tk(P43939)>=1) & (tk(P43883)>=1)))))) | ((potential((tk(P3984)>=1) & (tk(P4034)>=1)))) )
PROPERTY: ViralEpidemic-PT-S16D2C4A03-CTLFireability-15 (! (! (EG( (EF( ((potential((tk(P61942)>=1) & (tk(P61476)>=1))))))))))
BK_STOP 1590480407440
--------------------
content from stderr:
/home/mcc/BenchKit/bin/smart.sh: line 117: 472 Segmentation fault ${SMART} ${INPUT_SM}
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="ViralEpidemic-PT-S16D2C4A03"
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 ViralEpidemic-PT-S16D2C4A03, 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 r224-oct2-159033539000588"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ViralEpidemic-PT-S16D2C4A03.tgz
mv ViralEpidemic-PT-S16D2C4A03 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 ;