MCC'2019 - Execution of r049-oct2-155234405300588

About the Execution of LoLA for DLCshifumi-PT-6b

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
14675.790	3570576.00	7239571.00	82.50	[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/mcc2019-input.r049-oct2-155234405300588.qcow2',
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is DLCshifumi-PT-6b, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-155234405300588
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 17M
-rw-r--r-- 1 mcc users 3.5K Feb 10 20:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 10 20:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 6 15:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 6 15:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.
-rw-r--r-- 1 mcc users 103 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 341 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 23:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.3K Feb 4 23:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:34
-rw-r--r-- 1 mcc users 12K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Feb 3 06:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 3 06:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jan 30 22:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Jan 30 22:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 17M Mar 10 17:31 model.pnml

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

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

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 DLCshifumi-PT-6b-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552467404221

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ DLCshifumi-PT-6b @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 0
rslt: Output for GlobalProperties @ DLCshifumi-PT-6b
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 110854/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 44243
lola: finding significant places
lola: 44243 places, 66611 transitions, 41828 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompresse
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given
lola: findpath: starting randomized, memory-less exploration
lola: findpath: searching for paths with maximal depth 1000000
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: 1 tries, 276327 fired transitions, 0 secs
lola: 5 generators;919540172 candidates remain ( 0%),
lola: 1 tries, 567582 fired transitions, 5 secs
lola: 13 generators;825134378 candidates remain ( 0%),
lola: 1 tries, 859011 fired transitions, 10 secs
lola: 21 generators;750529399 candidates remain ( 0%),
lola: 2 tries, 1148333 fired transitions, 15 secs
lola: 29 generators;673133089 candidates remain ( 0%),
lola: 2 tries, 1439963 fired transitions, 20 secs
lola: 37 generators;606895383 candidates remain ( 0%),
lola: 2 tries, 1731544 fired transitions, 25 secs
lola: 45 generators;552332468 candidates remain ( 0%),
lola: 3 tries, 2019913 fired transitions, 30 secs
lola: 54 generators;487672068 candidates remain ( 0%),
lola: 3 tries, 2311464 fired transitions, 35 secs
lola: 63 generators;425604903 candidates remain ( 0%),
lola: 3 tries, 2603199 fired transitions, 40 secs
lola: 74 generators;366297714 candidates remain ( 0%),
lola: 3 tries, 2894920 fired transitions, 45 secs
lola: 85 generators;318364764 candidates remain ( 0%),
lola: 4 tries, 3183131 fired transitions, 50 secs
lola: 98 generators;255413903 candidates remain ( 0%),
lola: 4 tries, 3474147 fired transitions, 55 secs
lola: 112 generators;198014952 candidates remain ( 0%),
lola: 130 generators;121157962 candidates remain ( 0%),
lola: 4 tries, 3766431 fired transitions, 60 secs
lola: 152 generators;51262877 candidates remain ( 0%),
lola: 5 tries, 4055051 fired transitions, 65 secs
lola: 182 generators; 7313401 candidates remain ( 0%),
lola: 5 tries, 4346299 fired transitions, 70 secs
lola: computed 189 generators (189 in search tree, 0 by composition
lola: representing 7.84638E+56 symmetries
lola: 0 dead branches visited in search tree
lola: 5 tries, 4628271 fired transitions, 75 secs ||
lola: 5 tries, 4919892 fired transitions, 80 secs ||
lola: 6 tries, 5208403 fired transitions, 85 secs ||
lola: 6 tries, 5499663 fired transitions, 90 secs ||
lola: 6 tries, 5790715 fired transitions, 95 secs ||
lola: 7 tries, 6078649 fired transitions, 100 secs ||
lola: 7 tries, 6370840 fired transitions, 105 secs ||
lola: 7 tries, 6662752 fired transitions, 110 secs ||
lola: 7 tries, 6954570 fired transitions, 115 secs ||
lola: 8 tries, 7242576 fired transitions, 120 secs ||
lola: 8 tries, 7533355 fired transitions, 125 secs ||
lola: 8 tries, 7824848 fired transitions, 130 secs ||
lola: 9 tries, 8113467 fired transitions, 135 secs ||
lola: 9 tries, 8405300 fired transitions, 140 secs ||
lola: 9 tries, 8697027 fired transitions, 145 secs ||
lola: 9 tries, 8988802 fired transitions, 150 secs ||
lola: 10 tries, 9276719 fired transitions, 155 secs ||
lola: 10 tries, 9568099 fired transitions, 160 secs ||
lola: 10 tries, 9860108 fired transitions, 165 secs ||
lola: 11 tries, 10148909 fired transitions, 170 secs ||
lola: 11 tries, 10440584 fired transitions, 175 secs ||
lola: 11 tries, 10732268 fired transitions, 180 secs ||
lola: 12 tries, 11020766 fired transitions, 185 secs ||
lola: 12 tries, 11312315 fired transitions, 190 secs ||
lola: 12 tries, 11603710 fired transitions, 195 secs ||
lola: 12 tries, 11895501 fired transitions, 200 secs ||
lola: 13 tries, 12183907 fired transitions, 205 secs ||
lola: 13 tries, 12475666 fired transitions, 210 secs ||
lola: 13 tries, 12767473 fired transitions, 215 secs ||
lola: 14 tries, 13055586 fired transitions, 220 secs ||
lola: 14 tries, 13347343 fired transitions, 225 secs ||
lola: 14 tries, 13637645 fired transitions, 230 secs ||
lola: 14 tries, 13929523 fired transitions, 235 secs ||
lola: 15 tries, 14217834 fired transitions, 240 secs ||
lola: 15 tries, 14509452 fired transitions, 245 secs ||
lola: 15 tries, 14801083 fired transitions, 250 secs ||
lola: 16 tries, 15089811 fired transitions, 255 secs ||
lola: 16 tries, 15381555 fired transitions, 260 secs ||
lola: 16 tries, 15672869 fired transitions, 265 secs ||
lola: 16 tries, 15964675 fired transitions, 270 secs ||
lola: 17 tries, 16252850 fired transitions, 275 secs ||
lola: 17 tries, 16544484 fired transitions, 280 secs ||
lola: 17 tries, 16836176 fired transitions, 285 secs ||
lola: 18 tries, 17124467 fired transitions, 290 secs ||
lola: 18 tries, 17416096 fired transitions, 295 secs ||
lola: 18 tries, 17707107 fired transitions, 300 secs ||
lola: 18 tries, 17998467 fired transitions, 305 secs ||
lola: 19 tries, 18287064 fired transitions, 310 secs ||
lola: 19 tries, 18578849 fired transitions, 315 secs ||
lola: 19 tries, 18870150 fired transitions, 320 secs ||
lola: 20 tries, 19158804 fired transitions, 325 secs ||
lola: 20 tries, 19450176 fired transitions, 330 secs ||
lola: 20 tries, 19741275 fired transitions, 335 secs ||
lola: 21 tries, 20029639 fired transitions, 340 secs ||
lola: 21 tries, 20321171 fired transitions, 345 secs ||
lola: 21 tries, 20612719 fired transitions, 350 secs ||
lola: 21 tries, 20904504 fired transitions, 355 secs ||
lola: 22 tries, 21192995 fired transitions, 360 secs ||
lola: 22 tries, 21483528 fired transitions, 365 secs ||
lola: 22 tries, 21775049 fired transitions, 370 secs ||
lola: 23 tries, 22063667 fired transitions, 375 secs ||
lola: 23 tries, 22355194 fired transitions, 380 secs ||
lola: 23 tries, 22646733 fired transitions, 385 secs ||
lola: 23 tries, 22938322 fired transitions, 390 secs ||
lola: 24 tries, 23226298 fired transitions, 395 secs ||
lola: 24 tries, 23517691 fired transitions, 400 secs ||
lola: 24 tries, 23808712 fired transitions, 405 secs ||
lola: 25 tries, 24097418 fired transitions, 410 secs ||
lola: 25 tries, 24389021 fired transitions, 415 secs ||
lola: 25 tries, 24680131 fired transitions, 420 secs ||
lola: 25 tries, 24972020 fired transitions, 425 secs ||
lola: 26 tries, 25260662 fired transitions, 430 secs ||
lola: 26 tries, 25552238 fired transitions, 435 secs ||
lola: 26 tries, 25843875 fired transitions, 440 secs ||
lola: 27 tries, 26132666 fired transitions, 445 secs ||
lola: 27 tries, 26424355 fired transitions, 450 secs ||
lola: 27 tries, 26716077 fired transitions, 455 secs ||
lola: 28 tries, 27007025 fired transitions, 460 secs ||
lola: 28 tries, 27296524 fired transitions, 465 secs ||
lola: 28 tries, 27587920 fired transitions, 470 secs ||
lola: 28 tries, 27879568 fired transitions, 475 secs ||
lola: 29 tries, 28168328 fired transitions, 480 secs ||
lola: 29 tries, 28459744 fired transitions, 485 secs ||
lola: 29 tries, 28750649 fired transitions, 490 secs ||
lola: 30 tries, 29039475 fired transitions, 495 secs ||
lola: 30 tries, 29331260 fired transitions, 500 secs ||
lola: 30 tries, 29622603 fired transitions, 505 secs ||
lola: 30 tries, 29913940 fired transitions, 510 secs ||
lola: 31 tries, 30202871 fired transitions, 515 secs ||
lola: 31 tries, 30494229 fired transitions, 520 secs ||
lola: 31 tries, 30786032 fired transitions, 525 secs ||
lola: 32 tries, 31074392 fired transitions, 530 secs ||
lola: 32 tries, 31366157 fired transitions, 535 secs ||
lola: 32 tries, 31657661 fired transitions, 540 secs ||
lola: 32 tries, 31949435 fired transitions, 545 secs ||
lola: 33 tries, 32238213 fired transitions, 550 secs ||
lola: 33 tries, 32530049 fired transitions, 555 secs ||
lola: 33 tries, 32821507 fired transitions, 560 secs ||
lola: 34 tries, 33109651 fired transitions, 565 secs ||
lola: 34 tries, 33400884 fired transitions, 570 secs ||
lola: 34 tries, 33692331 fired transitions, 575 secs ||
lola: 34 tries, 33983545 fired transitions, 580 secs ||
lola: 35 tries, 34271746 fired transitions, 585 secs ||
lola: 35 tries, 34563179 fired transitions, 590 secs ||
lola: 35 tries, 34855003 fired transitions, 595 secs ||
lola: 36 tries, 35144035 fired transitions, 600 secs ||
lola: 36 tries, 35435894 fired transitions, 605 secs ||
lola: 36 tries, 35727730 fired transitions, 610 secs ||
lola: 37 tries, 36016583 fired transitions, 615 secs ||
lola: 37 tries, 36307747 fired transitions, 620 secs ||
lola: 37 tries, 36599467 fired transitions, 625 secs ||
lola: 37 tries, 36891237 fired transitions, 630 secs ||
lola: 38 tries, 37180523 fired transitions, 635 secs ||
lola: 38 tries, 37472272 fired transitions, 640 secs ||
lola: 38 tries, 37763891 fired transitions, 645 secs ||
lola: 39 tries, 38052963 fired transitions, 650 secs ||
lola: 39 tries, 38344820 fired transitions, 655 secs ||
lola: 39 tries, 38636242 fired transitions, 660 secs ||
lola: 39 tries, 38927883 fired transitions, 665 secs ||
lola: 40 tries, 39216275 fired transitions, 670 secs ||
lola: 40 tries, 39507785 fired transitions, 675 secs ||
lola: 40 tries, 39799303 fired transitions, 680 secs ||
lola: 41 tries, 40088223 fired transitions, 685 secs ||
lola: 41 tries, 40380173 fired transitions, 690 secs ||
lola: 41 tries, 40671813 fired transitions, 695 secs ||
lola: 41 tries, 40963363 fired transitions, 700 secs ||
lola: 42 tries, 41252247 fired transitions, 705 secs ||
lola: 42 tries, 41544011 fired transitions, 710 secs ||
lola: 42 tries, 41835763 fired transitions, 715 secs ||
lola: 43 tries, 42124655 fired transitions, 720 secs ||
lola: 43 tries, 42415659 fired transitions, 725 secs ||
lola: 43 tries, 42707780 fired transitions, 730 secs ||
lola: 43 tries, 42999774 fired transitions, 735 secs ||
lola: 44 tries, 43288583 fired transitions, 740 secs ||
lola: 44 tries, 43580342 fired transitions, 745 secs ||
lola: 44 tries, 43872115 fired transitions, 750 secs ||
lola: 45 tries, 44161033 fired transitions, 755 secs ||
lola: 45 tries, 44452837 fired transitions, 760 secs ||
lola: 45 tries, 44744698 fired transitions, 765 secs ||
lola: 46 tries, 45033891 fired transitions, 770 secs ||
lola: 46 tries, 45323279 fired transitions, 775 secs ||
lola: 46 tries, 45614713 fired transitions, 780 secs ||
lola: 46 tries, 45906773 fired transitions, 785 secs ||
lola: 47 tries, 46195657 fired transitions, 790 secs ||
lola: 47 tries, 46487411 fired transitions, 795 secs ||
lola: 47 tries, 46776963 fired transitions, 800 secs ||
lola: 48 tries, 47064563 fired transitions, 805 secs ||
lola: 48 tries, 47355537 fired transitions, 810 secs ||
lola: 48 tries, 47647261 fired transitions, 815 secs ||
lola: 48 tries, 47938219 fired transitions, 820 secs ||
lola: 49 tries, 48227000 fired transitions, 825 secs ||
lola: 49 tries, 48518328 fired transitions, 830 secs ||
lola: 49 tries, 48809881 fired transitions, 835 secs ||
lola: 50 tries, 49098347 fired transitions, 840 secs ||
lola: 50 tries, 49389392 fired transitions, 845 secs ||
lola: 50 tries, 49681100 fired transitions, 850 secs ||
lola: 50 tries, 49972805 fired transitions, 855 secs ||
lola: 51 tries, 50261651 fired transitions, 860 secs ||
lola: 51 tries, 50553043 fired transitions, 865 secs ||
lola: 51 tries, 50844796 fired transitions, 870 secs ||
lola: 52 tries, 51133584 fired transitions, 875 secs ||
lola: 52 tries, 51425106 fired transitions, 880 secs ||
lola: 52 tries, 51716216 fired transitions, 885 secs ||
lola: 53 tries, 52007154 fired transitions, 890 secs ||
lola: 53 tries, 52296683 fired transitions, 895 secs ||
lola: 53 tries, 52588169 fired transitions, 900 secs ||
lola: 53 tries, 52878453 fired transitions, 905 secs ||
lola: 54 tries, 53167299 fired transitions, 910 secs ||
lola: 54 tries, 53458967 fired transitions, 915 secs ||
lola: 54 tries, 53750543 fired transitions, 920 secs ||
lola: 55 tries, 54038788 fired transitions, 925 secs ||
lola: 55 tries, 54330606 fired transitions, 930 secs ||
lola: 55 tries, 54622212 fired transitions, 935 secs ||
lola: 55 tries, 54913663 fired transitions, 940 secs ||
lola: 56 tries, 55202416 fired transitions, 945 secs ||
lola: 56 tries, 55494155 fired transitions, 950 secs ||
lola: 56 tries, 55785947 fired transitions, 955 secs ||
lola: 57 tries, 56074763 fired transitions, 960 secs ||
lola: 57 tries, 56365982 fired transitions, 965 secs ||
lola: 57 tries, 56657163 fired transitions, 970 secs ||
lola: 57 tries, 56948359 fired transitions, 975 secs ||
lola: 58 tries, 57236026 fired transitions, 980 secs ||
lola: 58 tries, 57522795 fired transitions, 985 secs ||
lola: 58 tries, 57812201 fired transitions, 990 secs ||
lola: 59 tries, 58098695 fired transitions, 995 secs ||
lola: 59 tries, 58389661 fired transitions, 1000 secs ||
lola: 59 tries, 58680657 fired transitions, 1005 secs ||
lola: 59 tries, 58971266 fired transitions, 1010 secs ||
lola: 60 tries, 59259938 fired transitions, 1015 secs ||
lola: 60 tries, 59552033 fired transitions, 1020 secs ||
lola: 60 tries, 59843538 fired transitions, 1025 secs ||
lola: 61 tries, 60131971 fired transitions, 1030 secs ||
lola: 61 tries, 60423806 fired transitions, 1035 secs ||
lola: 61 tries, 60715575 fired transitions, 1040 secs ||
lola: 62 tries, 61006884 fired transitions, 1045 secs ||
lola: 62 tries, 61296492 fired transitions, 1050 secs ||
lola: 62 tries, 61587675 fired transitions, 1055 secs ||
lola: 62 tries, 61879501 fired transitions, 1060 secs ||
lola: 63 tries, 62167761 fired transitions, 1065 secs ||
lola: 63 tries, 62459492 fired transitions, 1070 secs ||
lola: 63 tries, 62750483 fired transitions, 1075 secs ||
lola: 64 tries, 63038941 fired transitions, 1080 secs ||
lola: 64 tries, 63330705 fired transitions, 1085 secs ||
lola: 64 tries, 63622406 fired transitions, 1090 secs ||
lola: 64 tries, 63914202 fired transitions, 1095 secs ||
lola: 65 tries, 64202834 fired transitions, 1100 secs ||
lola: 65 tries, 64494499 fired transitions, 1105 secs ||
lola: 65 tries, 64786234 fired transitions, 1110 secs ||
lola: 66 tries, 65074551 fired transitions, 1115 secs ||
lola: 66 tries, 65366619 fired transitions, 1120 secs ||
lola: 66 tries, 65658119 fired transitions, 1125 secs ||
lola: 66 tries, 65949776 fired transitions, 1130 secs ||
lola: 67 tries, 66237865 fired transitions, 1135 secs ||
lola: 67 tries, 66529860 fired transitions, 1140 secs ||
lola: 67 tries, 66821955 fired transitions, 1145 secs ||
lola: 68 tries, 67111039 fired transitions, 1150 secs ||
lola: 68 tries, 67402646 fired transitions, 1155 secs ||
lola: 68 tries, 67694111 fired transitions, 1160 secs ||
lola: 68 tries, 67986059 fired transitions, 1165 secs ||
lola: 69 tries, 68274827 fired transitions, 1170 secs ||
lola: 69 tries, 68566243 fired transitions, 1175 secs ||
lola: 69 tries, 68857839 fired transitions, 1180 secs ||
lola: 70 tries, 69144566 fired transitions, 1185 secs ||
lola: 70 tries, 69436712 fired transitions, 1190 secs ||
lola: 70 tries, 69727978 fired transitions, 1195 secs ||
lola: 71 tries, 70018496 fired transitions, 1200 secs ||
lola: 71 tries, 70310329 fired transitions, 1205 secs ||
lola: 71 tries, 70604342 fired transitions, 1210 secs ||
lola: 71 tries, 70900457 fired transitions, 1215 secs ||
lola: 72 tries, 71189435 fired transitions, 1220 secs ||
lola: 72 tries, 71484145 fired transitions, 1225 secs ||
lola: 72 tries, 71779883 fired transitions, 1230 secs ||
lola: 73 tries, 72067201 fired transitions, 1235 secs ||
lola: 73 tries, 72366300 fired transitions, 1240 secs ||
lola: 73 tries, 72665168 fired transitions, 1245 secs ||
lola: 73 tries, 72952230 fired transitions, 1250 secs ||
lola: 74 tries, 73238260 fired transitions, 1255 secs ||
lola: 74 tries, 73527328 fired transitions, 1260 secs ||
lola: 74 tries, 73814907 fired transitions, 1265 secs ||
lola: 75 tries, 74096721 fired transitions, 1270 secs ||
lola: 75 tries, 74391062 fired transitions, 1275 secs ||
lola: 75 tries, 74684003 fired transitions, 1280 secs ||
lola: 75 tries, 74974784 fired transitions, 1285 secs ||
lola: 76 tries, 75261424 fired transitions, 1290 secs ||
lola: 76 tries, 75519859 fired transitions, 1295 secs ||
lola: 76 tries, 75694093 fired transitions, 1300 secs ||
lola: 76 tries, 75915916 fired transitions, 1305 secs ||
lola: 77 tries, 76060211 fired transitions, 1310 secs ||
lola: 77 tries, 76208787 fired transitions, 1315 secs ||
lola: 77 tries, 76357536 fired transitions, 1320 secs ||
lola: 77 tries, 76521557 fired transitions, 1325 secs ||
lola: 77 tries, 76814389 fired transitions, 1330 secs ||
lola: 78 tries, 77106837 fired transitions, 1335 secs ||
lola: 78 tries, 77405103 fired transitions, 1340 secs ||
lola: 78 tries, 77702147 fired transitions, 1345 secs ||
lola: 78 tries, 77995374 fired transitions, 1350 secs ||
lola: 79 tries, 78283827 fired transitions, 1355 secs ||
lola: 79 tries, 78579301 fired transitions, 1360 secs ||
lola: 79 tries, 78872511 fired transitions, 1365 secs ||
lola: 80 tries, 79162411 fired transitions, 1370 secs ||
lola: 80 tries, 79457545 fired transitions, 1375 secs ||
lola: 80 tries, 79751106 fired transitions, 1380 secs ||
lola: 81 tries, 80036244 fired transitions, 1385 secs ||
lola: 81 tries, 80190758 fired transitions, 1390 secs ||
lola: 81 tries, 80338050 fired transitions, 1395 secs ||
lola: 81 tries, 80513026 fired transitions, 1400 secs ||
lola: 81 tries, 80659559 fired transitions, 1405 secs ||
lola: 81 tries, 80830622 fired transitions, 1410 secs ||
lola: 82 tries, 81123364 fired transitions, 1415 secs ||
lola: 82 tries, 81413224 fired transitions, 1420 secs ||
lola: 82 tries, 81708675 fired transitions, 1425 secs ||
lola: 83 tries, 82002274 fired transitions, 1430 secs ||
lola: 83 tries, 82291539 fired transitions, 1435 secs ||
lola: 83 tries, 82587116 fired transitions, 1440 secs ||
lola: 83 tries, 82881476 fired transitions, 1445 secs ||
lola: 84 tries, 83169427 fired transitions, 1450 secs ||
lola: 84 tries, 83461035 fired transitions, 1455 secs ||
lola: 84 tries, 83752955 fired transitions, 1460 secs ||
lola: 85 tries, 84041449 fired transitions, 1465 secs ||
lola: 85 tries, 84332970 fired transitions, 1470 secs ||
lola: 85 tries, 84624043 fired transitions, 1475 secs ||
lola: 85 tries, 84915724 fired transitions, 1480 secs ||
lola: 86 tries, 85204099 fired transitions, 1485 secs ||
lola: 86 tries, 85495891 fired transitions, 1490 secs ||
lola: 86 tries, 85787127 fired transitions, 1495 secs ||
lola: 87 tries, 86075514 fired transitions, 1500 secs ||
lola: 87 tries, 86367260 fired transitions, 1505 secs ||
lola: 87 tries, 86659003 fired transitions, 1510 secs ||
lola: 87 tries, 86950267 fired transitions, 1515 secs ||
lola: 88 tries, 87238493 fired transitions, 1520 secs ||
lola: 88 tries, 87530237 fired transitions, 1525 secs ||
lola: 88 tries, 87822011 fired transitions, 1530 secs ||
lola: 89 tries, 88110327 fired transitions, 1535 secs ||
lola: 89 tries, 88402262 fired transitions, 1540 secs ||
lola: 89 tries, 88694186 fired transitions, 1545 secs ||
lola: 89 tries, 88985917 fired transitions, 1550 secs ||
lola: 90 tries, 89274739 fired transitions, 1555 secs ||
lola: 90 tries, 89566559 fired transitions, 1560 secs ||
lola: 90 tries, 89857682 fired transitions, 1565 secs ||
lola: 91 tries, 90145982 fired transitions, 1570 secs ||
lola: 91 tries, 90437776 fired transitions, 1575 secs ||
lola: 91 tries, 90728445 fired transitions, 1580 secs ||
lola: 92 tries, 91016278 fired transitions, 1585 secs ||
lola: 92 tries, 91307872 fired transitions, 1590 secs ||
lola: 92 tries, 91599171 fired transitions, 1595 secs ||
lola: 92 tries, 91890902 fired transitions, 1600 secs ||
lola: 93 tries, 92179605 fired transitions, 1605 secs ||
lola: 93 tries, 92471315 fired transitions, 1610 secs ||
lola: 93 tries, 92762902 fired transitions, 1615 secs ||
lola: 94 tries, 93051555 fired transitions, 1620 secs ||
lola: 94 tries, 93342611 fired transitions, 1625 secs ||
lola: 94 tries, 93633521 fired transitions, 1630 secs ||
lola: 94 tries, 93924256 fired transitions, 1635 secs ||
lola: 95 tries, 94213134 fired transitions, 1640 secs ||
lola: 95 tries, 94504496 fired transitions, 1645 secs ||
lola: 95 tries, 94795786 fired transitions, 1650 secs ||
lola: 96 tries, 95084493 fired transitions, 1655 secs ||
lola: 96 tries, 95375697 fired transitions, 1660 secs ||
lola: 96 tries, 95667502 fired transitions, 1665 secs ||
lola: 96 tries, 95959200 fired transitions, 1670 secs ||
lola: 97 tries, 96247235 fired transitions, 1675 secs ||
lola: 97 tries, 96537635 fired transitions, 1680 secs ||
lola: 97 tries, 96829287 fired transitions, 1685 secs ||
lola: 98 tries, 97117662 fired transitions, 1690 secs ||
lola: 98 tries, 97409126 fired transitions, 1695 secs ||
lola: 98 tries, 97700754 fired transitions, 1700 secs ||
lola: 98 tries, 97992379 fired transitions, 1705 secs ||
lola: 99 tries, 98279524 fired transitions, 1710 secs ||
lola: 99 tries, 98571123 fired transitions, 1715 secs ||
lola: 99 tries, 98862200 fired transitions, 1720 secs ||
lola: 100 tries, 99150153 fired transitions, 1725 secs ||
lola: 100 tries, 99441635 fired transitions, 1730 secs ||
lola: 100 tries, 99732651 fired transitions, 1735 secs ||
lola: 101 tries, 100020694 fired transitions, 1740 secs ||
lola: 101 tries, 100312402 fired transitions, 1745 secs ||
lola: 101 tries, 100604155 fired transitions, 1750 secs ||
lola: 101 tries, 100895704 fired transitions, 1755 secs ||
lola: 102 tries, 101183298 fired transitions, 1760 secs ||
lola: 102 tries, 101475002 fired transitions, 1765 secs ||
lola: 102 tries, 101766604 fired transitions, 1770 secs ||
lola: 103 tries, 102055186 fired transitions, 1775 secs ||
lola: 103 tries, 102346966 fired transitions, 1780 secs ||
lola: 103 tries, 102638843 fired transitions, 1785 secs ||
lola: 103 tries, 102930343 fired transitions, 1790 secs ||
lola: 104 tries, 103219045 fired transitions, 1795 secs ||
lola: 104 tries, 103510860 fired transitions, 1800 secs ||
lola: 104 tries, 103802468 fired transitions, 1805 secs ||
lola: 105 tries, 104091277 fired transitions, 1810 secs ||
lola: 105 tries, 104383771 fired transitions, 1815 secs ||
lola: 105 tries, 104675364 fired transitions, 1820 secs ||
lola: 105 tries, 104967065 fired transitions, 1825 secs ||
lola: 106 tries, 105255923 fired transitions, 1830 secs ||
lola: 106 tries, 105547200 fired transitions, 1835 secs ||
lola: 106 tries, 105838744 fired transitions, 1840 secs ||
lola: 107 tries, 106127045 fired transitions, 1845 secs ||
lola: 107 tries, 106418783 fired transitions, 1850 secs ||
lola: 107 tries, 106710038 fired transitions, 1855 secs ||
lola: 108 tries, 107001438 fired transitions, 1860 secs ||
lola: 108 tries, 107290201 fired transitions, 1865 secs ||
lola: 108 tries, 107581843 fired transitions, 1870 secs ||
lola: 108 tries, 107873467 fired transitions, 1875 secs ||
lola: 109 tries, 108161651 fired transitions, 1880 secs ||
lola: 109 tries, 108454238 fired transitions, 1885 secs ||
lola: 109 tries, 108744679 fired transitions, 1890 secs ||
lola: 110 tries, 109038203 fired transitions, 1895 secs ||
lola: 110 tries, 109332965 fired transitions, 1900 secs ||
lola: 110 tries, 109623209 fired transitions, 1905 secs ||
lola: 110 tries, 109920506 fired transitions, 1910 secs ||
lola: 111 tries, 110214218 fired transitions, 1915 secs ||
lola: 111 tries, 110507488 fired transitions, 1920 secs ||
lola: 111 tries, 110802579 fired transitions, 1925 secs ||
lola: 112 tries, 111089888 fired transitions, 1930 secs ||
lola: 112 tries, 111381356 fired transitions, 1935 secs ||
lola: 112 tries, 111673348 fired transitions, 1940 secs ||
lola: 112 tries, 111965211 fired transitions, 1945 secs ||
lola: 113 tries, 112253734 fired transitions, 1950 secs ||
lola: 113 tries, 112545395 fired transitions, 1955 secs ||
lola: 113 tries, 112836747 fired transitions, 1960 secs ||
lola: 114 tries, 113125534 fired transitions, 1965 secs ||
lola: 114 tries, 113417213 fired transitions, 1970 secs ||
lola: 114 tries, 113709364 fired transitions, 1975 secs ||
lola: 115 tries, 114001080 fired transitions, 1980 secs ||
lola: 115 tries, 114290353 fired transitions, 1985 secs ||
lola: 115 tries, 114582003 fired transitions, 1990 secs ||
lola: 115 tries, 114873505 fired transitions, 1995 secs ||
lola: 116 tries, 115158369 fired transitions, 2000 secs ||
lola: 116 tries, 115449709 fired transitions, 2005 secs ||
lola: 116 tries, 115741654 fired transitions, 2010 secs ||
lola: 117 tries, 116030619 fired transitions, 2015 secs ||
lola: 117 tries, 116322532 fired transitions, 2020 secs ||
lola: 117 tries, 116614656 fired transitions, 2025 secs ||
lola: 117 tries, 116906700 fired transitions, 2030 secs ||
lola: 118 tries, 117195675 fired transitions, 2035 secs ||
lola: 118 tries, 117487526 fired transitions, 2040 secs ||
lola: 118 tries, 117779204 fired transitions, 2045 secs ||
lola: 119 tries, 118066963 fired transitions, 2050 secs ||
lola: 119 tries, 118358739 fired transitions, 2055 secs ||
lola: 119 tries, 118650449 fired transitions, 2060 secs ||
lola: 119 tries, 118942196 fired transitions, 2065 secs ||
lola: 120 tries, 119231007 fired transitions, 2070 secs ||
lola: 120 tries, 119522836 fired transitions, 2075 secs ||
lola: 120 tries, 119814292 fired transitions, 2080 secs ||
lola: 121 tries, 120103192 fired transitions, 2085 secs ||
lola: 121 tries, 120395122 fired transitions, 2090 secs ||
lola: 121 tries, 120686959 fired transitions, 2095 secs ||
lola: 121 tries, 120978887 fired transitions, 2100 secs ||
lola: 122 tries, 121267739 fired transitions, 2105 secs ||
lola: 122 tries, 121559547 fired transitions, 2110 secs ||
lola: 122 tries, 121851126 fired transitions, 2115 secs ||
lola: 123 tries, 122139765 fired transitions, 2120 secs ||
lola: 123 tries, 122431665 fired transitions, 2125 secs ||
lola: 123 tries, 122723663 fired transitions, 2130 secs ||
lola: 124 tries, 123012045 fired transitions, 2135 secs ||
lola: 124 tries, 123303308 fired transitions, 2140 secs ||
lola: 124 tries, 123595006 fired transitions, 2145 secs ||
lola: 124 tries, 123886708 fired transitions, 2150 secs ||
lola: 125 tries, 124175385 fired transitions, 2155 secs ||
lola: 125 tries, 124467042 fired transitions, 2160 secs ||
lola: 125 tries, 124758647 fired transitions, 2165 secs ||
lola: 126 tries, 125046298 fired transitions, 2170 secs ||
lola: 126 tries, 125337795 fired transitions, 2175 secs ||
lola: 126 tries, 125629532 fired transitions, 2180 secs ||
lola: 126 tries, 125921259 fired transitions, 2185 secs ||
lola: 127 tries, 126209935 fired transitions, 2190 secs ||
lola: 127 tries, 126501660 fired transitions, 2195 secs ||
lola: 127 tries, 126793394 fired transitions, 2200 secs ||
lola: 128 tries, 127082144 fired transitions, 2205 secs ||
lola: 128 tries, 127373096 fired transitions, 2210 secs ||
lola: 128 tries, 127665220 fired transitions, 2215 secs ||
lola: 128 tries, 127957282 fired transitions, 2220 secs ||
lola: 129 tries, 128246432 fired transitions, 2225 secs ||
lola: 129 tries, 128538619 fired transitions, 2230 secs ||
lola: 129 tries, 128830007 fired transitions, 2235 secs ||
lola: 130 tries, 129118812 fired transitions, 2240 secs ||
lola: 130 tries, 129410523 fired transitions, 2245 secs ||
lola: 130 tries, 129702216 fired transitions, 2250 secs ||
lola: 130 tries, 129993750 fired transitions, 2255 secs ||
lola: 131 tries, 130282479 fired transitions, 2260 secs ||
lola: 131 tries, 130573858 fired transitions, 2265 secs ||
lola: 131 tries, 130865504 fired transitions, 2270 secs ||
lola: 132 tries, 131154280 fired transitions, 2275 secs ||
lola: 132 tries, 131445974 fired transitions, 2280 secs ||
lola: 132 tries, 131737528 fired transitions, 2285 secs ||
lola: 133 tries, 132026025 fired transitions, 2290 secs ||
lola: 133 tries, 132317743 fired transitions, 2295 secs ||
lola: 133 tries, 132609428 fired transitions, 2300 secs ||
lola: 133 tries, 132901174 fired transitions, 2305 secs ||
lola: 134 tries, 133189958 fired transitions, 2310 secs ||
lola: 134 tries, 133481783 fired transitions, 2315 secs ||
lola: 134 tries, 133773300 fired transitions, 2320 secs ||
lola: 135 tries, 134062006 fired transitions, 2325 secs ||
lola: 135 tries, 134353570 fired transitions, 2330 secs ||
lola: 135 tries, 134645296 fired transitions, 2335 secs ||
lola: 135 tries, 134937390 fired transitions, 2340 secs ||
lola: 136 tries, 135226523 fired transitions, 2345 secs ||
lola: 136 tries, 135518612 fired transitions, 2350 secs ||
lola: 136 tries, 135810762 fired transitions, 2355 secs ||
lola: 137 tries, 136098867 fired transitions, 2360 secs ||
lola: 137 tries, 136390267 fired transitions, 2365 secs ||
lola: 137 tries, 136681390 fired transitions, 2370 secs ||
lola: 137 tries, 136973291 fired transitions, 2375 secs ||
lola: 138 tries, 137262020 fired transitions, 2380 secs ||
lola: 138 tries, 137554713 fired transitions, 2385 secs ||
lola: 138 tries, 137846459 fired transitions, 2390 secs ||
lola: 139 tries, 138135269 fired transitions, 2395 secs ||
lola: 139 tries, 138426739 fired transitions, 2400 secs ||
lola: 139 tries, 138718340 fired transitions, 2405 secs ||
lola: 140 tries, 139008663 fired transitions, 2410 secs ||
lola: 140 tries, 139298774 fired transitions, 2415 secs ||
lola: 140 tries, 139590532 fired transitions, 2420 secs ||
lola: 140 tries, 139882019 fired transitions, 2425 secs ||
lola: 141 tries, 140170059 fired transitions, 2430 secs ||
lola: 141 tries, 140461245 fired transitions, 2435 secs ||
lola: 141 tries, 140752098 fired transitions, 2440 secs ||
lola: 142 tries, 141040949 fired transitions, 2445 secs ||
lola: 142 tries, 141332260 fired transitions, 2450 secs ||
lola: 142 tries, 141624083 fired transitions, 2455 secs ||
lola: 142 tries, 141915852 fired transitions, 2460 secs ||
lola: 143 tries, 142204697 fired transitions, 2465 secs ||
lola: 143 tries, 142496507 fired transitions, 2470 secs ||
lola: 143 tries, 142788317 fired transitions, 2475 secs ||
lola: 144 tries, 143077187 fired transitions, 2480 secs ||
lola: 144 tries, 143369000 fired transitions, 2485 secs ||
lola: 144 tries, 143660331 fired transitions, 2490 secs ||
lola: 144 tries, 143951966 fired transitions, 2495 secs ||
lola: 145 tries, 144240205 fired transitions, 2500 secs ||
lola: 145 tries, 144532123 fired transitions, 2505 secs ||
lola: 145 tries, 144823957 fired transitions, 2510 secs ||
lola: 146 tries, 145112753 fired transitions, 2515 secs ||
lola: 146 tries, 145404590 fired transitions, 2520 secs ||
lola: 146 tries, 145696442 fired transitions, 2525 secs ||
lola: 146 tries, 145986949 fired transitions, 2530 secs ||
lola: 147 tries, 146275719 fired transitions, 2535 secs ||
lola: 147 tries, 146566779 fired transitions, 2540 secs ||
lola: 147 tries, 146858458 fired transitions, 2545 secs ||
lola: 148 tries, 147147347 fired transitions, 2550 secs ||
lola: 148 tries, 147438381 fired transitions, 2555 secs ||
lola: 148 tries, 147729531 fired transitions, 2560 secs ||
lola: 149 tries, 148018283 fired transitions, 2565 secs ||
lola: 149 tries, 148309983 fired transitions, 2570 secs ||
lola: 149 tries, 148601256 fired transitions, 2575 secs ||
lola: 149 tries, 148892725 fired transitions, 2580 secs ||
lola: 150 tries, 149181400 fired transitions, 2585 secs ||
lola: 150 tries, 149473129 fired transitions, 2590 secs ||
lola: 150 tries, 149764655 fired transitions, 2595 secs ||
lola: 151 tries, 150053341 fired transitions, 2600 secs ||
lola: 151 tries, 150345006 fired transitions, 2605 secs ||
lola: 151 tries, 150636138 fired transitions, 2610 secs ||
lola: 151 tries, 150927099 fired transitions, 2615 secs ||
lola: 152 tries, 151215247 fired transitions, 2620 secs ||
lola: 152 tries, 151506208 fired transitions, 2625 secs ||
lola: 152 tries, 151797779 fired transitions, 2630 secs ||
lola: 153 tries, 152086398 fired transitions, 2635 secs ||
lola: 153 tries, 152378186 fired transitions, 2640 secs ||
lola: 153 tries, 152668582 fired transitions, 2645 secs ||
lola: 153 tries, 152960117 fired transitions, 2650 secs ||
lola: 154 tries, 153249072 fired transitions, 2655 secs ||
lola: 154 tries, 153540958 fired transitions, 2660 secs ||
lola: 154 tries, 153832687 fired transitions, 2665 secs ||
lola: 155 tries, 154117128 fired transitions, 2670 secs ||
lola: 155 tries, 154409176 fired transitions, 2675 secs ||
lola: 155 tries, 154701393 fired transitions, 2680 secs ||
lola: 155 tries, 154993541 fired transitions, 2685 secs ||
lola: 156 tries, 155282407 fired transitions, 2690 secs ||
lola: 156 tries, 155574209 fired transitions, 2695 secs ||
lola: 156 tries, 155866014 fired transitions, 2700 secs ||
lola: 157 tries, 156154760 fired transitions, 2705 secs ||
lola: 157 tries, 156446552 fired transitions, 2710 secs ||
lola: 157 tries, 156738371 fired transitions, 2715 secs ||
lola: 158 tries, 157027188 fired transitions, 2720 secs ||
lola: 158 tries, 157319019 fired transitions, 2725 secs ||
lola: 158 tries, 157610819 fired transitions, 2730 secs ||
lola: 158 tries, 157902643 fired transitions, 2735 secs ||
lola: 159 tries, 158191476 fired transitions, 2740 secs ||
lola: 159 tries, 158483302 fired transitions, 2745 secs ||
lola: 159 tries, 158775147 fired transitions, 2750 secs ||
lola: 160 tries, 159063649 fired transitions, 2755 secs ||
lola: 160 tries, 159354269 fired transitions, 2760 secs ||
lola: 160 tries, 159645596 fired transitions, 2765 secs ||
lola: 160 tries, 159937116 fired transitions, 2770 secs ||
lola: 161 tries, 160213376 fired transitions, 2775 secs ||
lola: 161 tries, 160504073 fired transitions, 2780 secs ||
lola: 161 tries, 160796068 fired transitions, 2785 secs ||
lola: 162 tries, 161082212 fired transitions, 2790 secs ||
lola: 162 tries, 161371406 fired transitions, 2795 secs ||
lola: 162 tries, 161662739 fired transitions, 2800 secs ||
lola: 162 tries, 161952211 fired transitions, 2805 secs ||
lola: 163 tries, 162239803 fired transitions, 2810 secs ||
lola: 163 tries, 162530707 fired transitions, 2815 secs ||
lola: 163 tries, 162822132 fired transitions, 2820 secs ||
lola: 164 tries, 163110201 fired transitions, 2825 secs ||
lola: 164 tries, 163399745 fired transitions, 2830 secs ||
lola: 164 tries, 163690264 fired transitions, 2835 secs ||
lola: 164 tries, 163981658 fired transitions, 2840 secs ||
lola: 165 tries, 164268425 fired transitions, 2845 secs ||
lola: 165 tries, 164560953 fired transitions, 2850 secs ||
lola: 165 tries, 164857262 fired transitions, 2855 secs ||
lola: 166 tries, 165151381 fired transitions, 2860 secs ||
lola: 166 tries, 165448482 fired transitions, 2865 secs ||
lola: 166 tries, 165745075 fired transitions, 2870 secs ||
lola: 167 tries, 166039373 fired transitions, 2875 secs ||
lola: 167 tries, 166336038 fired transitions, 2880 secs ||
lola: 167 tries, 166633162 fired transitions, 2885 secs ||
lola: 167 tries, 166928879 fired transitions, 2890 secs ||
lola: 168 tries, 167222488 fired transitions, 2895 secs ||
lola: 168 tries, 167519366 fired transitions, 2900 secs ||
lola: 168 tries, 167816292 fired transitions, 2905 secs ||
lola: 169 tries, 168110107 fired transitions, 2910 secs ||
lola: 169 tries, 168407046 fired transitions, 2915 secs ||
lola: 169 tries, 168704347 fired transitions, 2920 secs ||
lola: 170 tries, 169001546 fired transitions, 2925 secs ||
lola: 170 tries, 169295890 fired transitions, 2930 secs ||
lola: 170 tries, 169593468 fired transitions, 2935 secs ||
lola: 170 tries, 169890809 fired transitions, 2940 secs ||
lola: 171 tries, 170185024 fired transitions, 2945 secs ||
lola: 171 tries, 170478861 fired transitions, 2950 secs ||
lola: 171 tries, 170775599 fired transitions, 2955 secs ||
lola: 172 tries, 171049648 fired transitions, 2960 secs ||
lola: 172 tries, 171332143 fired transitions, 2965 secs ||
lola: 172 tries, 171607244 fired transitions, 2970 secs ||
lola: 172 tries, 171884037 fired transitions, 2975 secs ||
lola: 173 tries, 172159294 fired transitions, 2980 secs ||
lola: 173 tries, 172448891 fired transitions, 2985 secs ||
lola: 173 tries, 172730107 fired transitions, 2990 secs ||
lola: 174 tries, 173015803 fired transitions, 2995 secs ||
lola: 174 tries, 173304927 fired transitions, 3000 secs ||
lola: 174 tries, 173590320 fired transitions, 3005 secs ||
lola: 174 tries, 173873856 fired transitions, 3010 secs ||
lola: 175 tries, 174151148 fired transitions, 3015 secs ||
lola: 175 tries, 174429623 fired transitions, 3020 secs ||
lola: 175 tries, 174648017 fired transitions, 3025 secs ||
lola: 175 tries, 174925531 fired transitions, 3030 secs ||
lola: 176 tries, 175204137 fired transitions, 3035 secs ||
lola: 176 tries, 175493832 fired transitions, 3040 secs ||
lola: 176 tries, 175791651 fired transitions, 3045 secs ||
lola: 177 tries, 176086002 fired transitions, 3050 secs ||
lola: 177 tries, 176383146 fired transitions, 3055 secs ||
lola: 177 tries, 176680219 fired transitions, 3060 secs ||
lola: 177 tries, 176977267 fired transitions, 3065 secs ||
lola: 178 tries, 177271006 fired transitions, 3070 secs ||
lola: 178 tries, 177568361 fired transitions, 3075 secs ||
lola: 178 tries, 177865108 fired transitions, 3080 secs ||
lola: 179 tries, 178158804 fired transitions, 3085 secs ||
lola: 179 tries, 178455344 fired transitions, 3090 secs ||
lola: 179 tries, 178752819 fired transitions, 3095 secs ||
lola: 180 tries, 179046797 fired transitions, 3100 secs ||
lola: 180 tries, 179342480 fired transitions, 3105 secs ||
lola: 180 tries, 179639020 fired transitions, 3110 secs ||
lola: 180 tries, 179935587 fired transitions, 3115 secs ||
lola: 181 tries, 180229412 fired transitions, 3120 secs ||
lola: 181 tries, 180525595 fired transitions, 3125 secs ||
lola: 181 tries, 180821511 fired transitions, 3130 secs ||
lola: 182 tries, 181110332 fired transitions, 3135 secs ||
lola: 182 tries, 181402067 fired transitions, 3140 secs ||
lola: 182 tries, 181693770 fired transitions, 3145 secs ||
lola: 182 tries, 181984120 fired transitions, 3150 secs ||
lola: 183 tries, 182272974 fired transitions, 3155 secs ||
lola: 183 tries, 182564822 fired transitions, 3160 secs ||
lola: 183 tries, 182856722 fired transitions, 3165 secs ||
lola: 184 tries, 183144972 fired transitions, 3170 secs ||
lola: 184 tries, 183436755 fired transitions, 3175 secs ||
lola: 184 tries, 183728532 fired transitions, 3180 secs ||
lola: 185 tries, 184016552 fired transitions, 3185 secs ||
lola: 185 tries, 184308330 fired transitions, 3190 secs ||
lola: 185 tries, 184599516 fired transitions, 3195 secs ||
lola: 185 tries, 184891300 fired transitions, 3200 secs ||
lola: 186 tries, 185179843 fired transitions, 3205 secs ||
lola: 186 tries, 185471575 fired transitions, 3210 secs ||
lola: 186 tries, 185763302 fired transitions, 3215 secs ||
lola: 187 tries, 186052417 fired transitions, 3220 secs ||
lola: 187 tries, 186346170 fired transitions, 3225 secs ||
lola: 187 tries, 186640403 fired transitions, 3230 secs ||
lola: 187 tries, 186929139 fired transitions, 3235 secs ||
lola: 188 tries, 187216019 fired transitions, 3240 secs ||
lola: 188 tries, 187513521 fired transitions, 3245 secs ||
lola: 188 tries, 187810341 fired transitions, 3250 secs ||
lola: 189 tries, 188104929 fired transitions, 3255 secs ||
lola: 189 tries, 188402063 fired transitions, 3260 secs ||
lola: 189 tries, 188699232 fired transitions, 3265 secs ||
lola: 189 tries, 188996475 fired transitions, 3270 secs ||
lola: 190 tries, 189290779 fired transitions, 3275 secs ||
lola: 190 tries, 189588176 fired transitions, 3280 secs ||
lola: 190 tries, 189884773 fired transitions, 3285 secs ||
lola: 191 tries, 190179400 fired transitions, 3290 secs ||
lola: 191 tries, 190473697 fired transitions, 3295 secs ||
lola: 191 tries, 190770294 fired transitions, 3300 secs ||
lola: 192 tries, 191059051 fired transitions, 3305 secs ||
lola: 192 tries, 191352044 fired transitions, 3310 secs ||
lola: 192 tries, 191649108 fired transitions, 3315 secs ||
lola: 192 tries, 191946503 fired transitions, 3320 secs ||
lola: 193 tries, 192240775 fired transitions, 3325 secs ||
lola: 193 tries, 192538358 fired transitions, 3330 secs ||
lola: 193 tries, 192835885 fired transitions, 3335 secs ||
lola: 194 tries, 193130323 fired transitions, 3340 secs ||
lola: 194 tries, 193426709 fired transitions, 3345 secs ||
lola: 194 tries, 193722290 fired transitions, 3350 secs ||
lola: 195 tries, 194014872 fired transitions, 3355 secs ||
lola: 195 tries, 194310744 fired transitions, 3360 secs ||
lola: 195 tries, 194606470 fired transitions, 3365 secs ||
lola: 195 tries, 194898317 fired transitions, 3370 secs ||
lola: 196 tries, 195187219 fired transitions, 3375 secs ||
lola: 196 tries, 195479109 fired transitions, 3380 secs ||
lola: 196 tries, 195770987 fired transitions, 3385 secs ||
lola: 197 tries, 196059868 fired transitions, 3390 secs ||
lola: 197 tries, 196356858 fired transitions, 3395 secs ||
lola: 197 tries, 196654622 fired transitions, 3400 secs ||
lola: 197 tries, 196947052 fired transitions, 3405 secs ||
lola: 198 tries, 197235848 fired transitions, 3410 secs ||
lola: 198 tries, 197527583 fired transitions, 3415 secs ||
lola: 198 tries, 197819435 fired transitions, 3420 secs ||
lola: 199 tries, 198108092 fired transitions, 3425 secs ||
lola: 199 tries, 198399676 fired transitions, 3430 secs ||
lola: 199 tries, 198691415 fired transitions, 3435 secs ||
lola: time limit reached - aborting
Segmentation fault
rslt: finished

BK_STOP 1552470974797

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

grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 139 (ignored)
grep: GenericPropertiesVerdict.xml: No such file or directory
fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 xml LTLFireability.txt template) (--findpath=par) d) set method with insertion algorithm (--stubborn=tarjan) method with insertion algorithm (--stubborn=tarjan) (--symmtimelimit) (--findpath) (--depthlimit) 0 secs 5 secs 10 secs 15 secs 20 secs 25 secs 30 secs 35 secs 40 secs 45 secs 50 secs 55 secs 60 secs 65 secs 70 secs ) 1 markings, 1 edges, 0 markings/sec, 75 secs 1 markings, 1 edges, 0 markings/sec, 80 secs 1 markings, 1 edges, 0 markings/sec, 85 secs 1 markings, 1 edges, 0 markings/sec, 90 secs 1 markings, 1 edges, 0 markings/sec, 95 secs 1 markings, 1 edges, 0 markings/sec, 100 secs 1 markings, 1 edges, 0 markings/sec, 105 secs 1 markings, 1 edges, 0 markings/sec, 110 secs 1 markings, 1 edges, 0 markings/sec, 115 secs 1 markings, 1 edges, 0 markings/sec, 120 secs 1 markings, 1 edges, 0 markings/sec, 125 secs 1 markings, 1 edges, 0 markings/sec, 130 secs 1 markings, 1 edges, 0 markings/sec, 135 secs 1 markings, 1 edges, 0 markings/sec, 140 secs 1 markings, 1 edges, 0 markings/sec, 145 secs 1 markings, 1 edges, 0 markings/sec, 150 secs 1 markings, 1 edges, 0 markings/sec, 155 secs 1 markings, 1 edges, 0 markings/sec, 160 secs 1 markings, 1 edges, 0 markings/sec, 165 secs 1 markings, 1 edges, 0 markings/sec, 170 secs 1 markings, 1 edges, 0 markings/sec, 175 secs 1 markings, 1 edges, 0 markings/sec, 180 secs 1 markings, 1 edges, 0 markings/sec, 185 secs 1 markings, 1 edges, 0 markings/sec, 190 secs 1 markings, 1 edges, 0 markings/sec, 195 secs 1 markings, 1 edges, 0 markings/sec, 200 secs 1 markings, 1 edges, 0 markings/sec, 205 secs 1 markings, 1 edges, 0 markings/sec, 210 secs 1 markings, 1 edges, 0 markings/sec, 215 secs 1 markings, 1 edges, 0 markings/sec, 220 secs 1 markings, 1 edges, 0 markings/sec, 225 secs 1 markings, 1 edges, 0 markings/sec, 230 secs 1 markings, 1 edges, 0 markings/sec, 235 secs 1 markings, 1 edges, 0 markings/sec, 240 secs 1 markings, 1 edges, 0 markings/sec, 245 secs 1 markings, 1 edges, 0 markings/sec, 250 secs 1 markings, 1 edges, 0 markings/sec, 255 secs 1 markings, 1 edges, 0 markings/sec, 260 secs 1 markings, 1 edges, 0 markings/sec, 265 secs 1 markings, 1 edges, 0 markings/sec, 270 secs 1 markings, 1 edges, 0 markings/sec, 275 secs 1 markings, 1 edges, 0 markings/sec, 280 secs 1 markings, 1 edges, 0 markings/sec, 285 secs 1 markings, 1 edges, 0 markings/sec, 290 secs 1 markings, 1 edges, 0 markings/sec, 295 secs 1 markings, 1 edges, 0 markings/sec, 300 secs 1 markings, 1 edges, 0 markings/sec, 305 secs 1 markings, 1 edges, 0 markings/sec, 310 secs 1 markings, 1 edges, 0 markings/sec, 315 secs 1 markings, 1 edges, 0 markings/sec, 320 secs 1 markings, 1 edges, 0 markings/sec, 325 secs 1 markings, 1 edges, 0 markings/sec, 330 secs 1 markings, 1 edges, 0 markings/sec, 335 secs 1 markings, 1 edges, 0 markings/sec, 340 secs 1 markings, 1 edges, 0 markings/sec, 345 secs 1 markings, 1 edges, 0 markings/sec, 350 secs 1 markings, 1 edges, 0 markings/sec, 355 secs 1 markings, 1 edges, 0 markings/sec, 360 secs 1 markings, 1 edges, 0 markings/sec, 365 secs 1 markings, 1 edges, 0 markings/sec, 370 secs 1 markings, 1 edges, 0 markings/sec, 375 secs 1 markings, 1 edges, 0 markings/sec, 380 secs 1 markings, 1 edges, 0 markings/sec, 385 secs 1 markings, 1 edges, 0 markings/sec, 390 secs 1 markings, 1 edges, 0 markings/sec, 395 secs 1 markings, 1 edges, 0 markings/sec, 400 secs 1 markings, 1 edges, 0 markings/sec, 405 secs 1 markings, 1 edges, 0 markings/sec, 410 secs 1 markings, 1 edges, 0 markings/sec, 415 secs 1 markings, 1 edges, 0 markings/sec, 420 secs 1 markings, 1 edges, 0 markings/sec, 425 secs 1 markings, 1 edges, 0 markings/sec, 430 secs 1 markings, 1 edges, 0 markings/sec, 435 secs 1 markings, 1 edges, 0 markings/sec, 440 secs 1 markings, 1 edges, 0 markings/sec, 445 secs 1 markings, 1 edges, 0 markings/sec, 450 secs 1 markings, 1 edges, 0 markings/sec, 455 secs 1 markings, 1 edges, 0 markings/sec, 460 secs 1 markings, 1 edges, 0 markings/sec, 465 secs 1 markings, 1 edges, 0 markings/sec, 470 secs 1 markings, 1 edges, 0 markings/sec, 475 secs 1 markings, 1 edges, 0 markings/sec, 480 secs 1 markings, 1 edges, 0 markings/sec, 485 secs 1 markings, 1 edges, 0 markings/sec, 490 secs 1 markings, 1 edges, 0 markings/sec, 495 secs 1 markings, 1 edges, 0 markings/sec, 500 secs 1 markings, 1 edges, 0 markings/sec, 505 secs 1 markings, 1 edges, 0 markings/sec, 510 secs 1 markings, 1 edges, 0 markings/sec, 515 secs 1 markings, 1 edges, 0 markings/sec, 520 secs 1 markings, 1 edges, 0 markings/sec, 525 secs 1 markings, 1 edges, 0 markings/sec, 530 secs 1 markings, 1 edges, 0 markings/sec, 535 secs 1 markings, 1 edges, 0 markings/sec, 540 secs 1 markings, 1 edges, 0 markings/sec, 545 secs 1 markings, 1 edges, 0 markings/sec, 550 secs 1 markings, 1 edges, 0 markings/sec, 555 secs 1 markings, 1 edges, 0 markings/sec, 560 secs 1 markings, 1 edges, 0 markings/sec, 565 secs 1 markings, 1 edges, 0 markings/sec, 570 secs 1 markings, 1 edges, 0 markings/sec, 575 secs 1 markings, 1 edges, 0 markings/sec, 580 secs 1 markings, 1 edges, 0 markings/sec, 585 secs 1 markings, 1 edges, 0 markings/sec, 590 secs 1 markings, 1 edges, 0 markings/sec, 595 secs 1 markings, 1 edges, 0 markings/sec, 600 secs 1 markings, 1 edges, 0 markings/sec, 605 secs 1 markings, 1 edges, 0 markings/sec, 610 secs 1 markings, 1 edges, 0 markings/sec, 615 secs 1 markings, 1 edges, 0 markings/sec, 620 secs 1 markings, 1 edges, 0 markings/sec, 625 secs 1 markings, 1 edges, 0 markings/sec, 630 secs 1 markings, 1 edges, 0 markings/sec, 635 secs 1 markings, 1 edges, 0 markings/sec, 640 secs 1 markings, 1 edges, 0 markings/sec, 645 secs 1 markings, 1 edges, 0 markings/sec, 650 secs 1 markings, 1 edges, 0 markings/sec, 655 secs 1 markings, 1 edges, 0 markings/sec, 660 secs 1 markings, 1 edges, 0 markings/sec, 665 secs 1 markings, 1 edges, 0 markings/sec, 670 secs 1 markings, 1 edges, 0 markings/sec, 675 secs 1 markings, 1 edges, 0 markings/sec, 680 secs 1 markings, 1 edges, 0 markings/sec, 685 secs 1 markings, 1 edges, 0 markings/sec, 690 secs 1 markings, 1 edges, 0 markings/sec, 695 secs 1 markings, 1 edges, 0 markings/sec, 700 secs 1 markings, 1 edges, 0 markings/sec, 705 secs 1 markings, 1 edges, 0 markings/sec, 710 secs 1 markings, 1 edges, 0 markings/sec, 715 secs 1 markings, 1 edges, 0 markings/sec, 720 secs 1 markings, 1 edges, 0 markings/sec, 725 secs 1 markings, 1 edges, 0 markings/sec, 730 secs 1 markings, 1 edges, 0 markings/sec, 735 secs 1 markings, 1 edges, 0 markings/sec, 740 secs 1 markings, 1 edges, 0 markings/sec, 745 secs 1 markings, 1 edges, 0 markings/sec, 750 secs 1 markings, 1 edges, 0 markings/sec, 755 secs 1 markings, 1 edges, 0 markings/sec, 760 secs 1 markings, 1 edges, 0 markings/sec, 765 secs 1 markings, 1 edges, 0 markings/sec, 770 secs 1 markings, 1 edges, 0 markings/sec, 775 secs 1 markings, 1 edges, 0 markings/sec, 780 secs 1 markings, 1 edges, 0 markings/sec, 785 secs 1 markings, 1 edges, 0 markings/sec, 790 secs 1 markings, 1 edges, 0 markings/sec, 795 secs 1 markings, 1 edges, 0 markings/sec, 800 secs 1 markings, 1 edges, 0 markings/sec, 805 secs 1 markings, 1 edges, 0 markings/sec, 810 secs 1 markings, 1 edges, 0 markings/sec, 815 secs 1 markings, 1 edges, 0 markings/sec, 820 secs 1 markings, 1 edges, 0 markings/sec, 825 secs 1 markings, 1 edges, 0 markings/sec, 830 secs 1 markings, 1 edges, 0 markings/sec, 835 secs 1 markings, 1 edges, 0 markings/sec, 840 secs 1 markings, 1 edges, 0 markings/sec, 845 secs 1 markings, 1 edges, 0 markings/sec, 850 secs 1 markings, 1 edges, 0 markings/sec, 855 secs 1 markings, 1 edges, 0 markings/sec, 860 secs 1 markings, 1 edges, 0 markings/sec, 865 secs 1 markings, 1 edges, 0 markings/sec, 870 secs 1 markings, 1 edges, 0 markings/sec, 875 secs 1 markings, 1 edges, 0 markings/sec, 880 secs 1 markings, 1 edges, 0 markings/sec, 885 secs 1 markings, 1 edges, 0 markings/sec, 890 secs 1 markings, 1 edges, 0 markings/sec, 895 secs 1 markings, 1 edges, 0 markings/sec, 900 secs 1 markings, 1 edges, 0 markings/sec, 905 secs 1 markings, 1 edges, 0 markings/sec, 910 secs 1 markings, 1 edges, 0 markings/sec, 915 secs 1 markings, 1 edges, 0 markings/sec, 920 secs 1 markings, 1 edges, 0 markings/sec, 925 secs 1 markings, 1 edges, 0 markings/sec, 930 secs 1 markings, 1 edges, 0 markings/sec, 935 secs 1 markings, 1 edges, 0 markings/sec, 940 secs 1 markings, 1 edges, 0 markings/sec, 945 secs 1 markings, 1 edges, 0 markings/sec, 950 secs 1 markings, 1 edges, 0 markings/sec, 955 secs 1 markings, 1 edges, 0 markings/sec, 960 secs 1 markings, 1 edges, 0 markings/sec, 965 secs 1 markings, 1 edges, 0 markings/sec, 970 secs 1 markings, 1 edges, 0 markings/sec, 975 secs 1 markings, 1 edges, 0 markings/sec, 980 secs 1 markings, 1 edges, 0 markings/sec, 985 secs 1 markings, 1 edges, 0 markings/sec, 990 secs 1 markings, 1 edges, 0 markings/sec, 995 secs 1 markings, 1 edges, 0 markings/sec, 1000 secs 1 markings, 1 edges, 0 markings/sec, 1005 secs 1 markings, 1 edges, 0 markings/sec, 1010 secs 1 markings, 1 edges, 0 markings/sec, 1015 secs 1 markings, 1 edges, 0 markings/sec, 1020 secs 1 markings, 1 edges, 0 markings/sec, 1025 secs 1 markings, 1 edges, 0 markings/sec, 1030 secs 1 markings, 1 edges, 0 markings/sec, 1035 secs 1 markings, 1 edges, 0 markings/sec, 1040 secs 1 markings, 1 edges, 0 markings/sec, 1045 secs 1 markings, 1 edges, 0 markings/sec, 1050 secs 1 markings, 1 edges, 0 markings/sec, 1055 secs 1 markings, 1 edges, 0 markings/sec, 1060 secs 1 markings, 1 edges, 0 markings/sec, 1065 secs 1 markings, 1 edges, 0 markings/sec, 1070 secs 1 markings, 1 edges, 0 markings/sec, 1075 secs 1 markings, 1 edges, 0 markings/sec, 1080 secs 1 markings, 1 edges, 0 markings/sec, 1085 secs 1 markings, 1 edges, 0 markings/sec, 1090 secs 1 markings, 1 edges, 0 markings/sec, 1095 secs 1 markings, 1 edges, 0 markings/sec, 1100 secs 1 markings, 1 edges, 0 markings/sec, 1105 secs 1 markings, 1 edges, 0 markings/sec, 1110 secs 1 markings, 1 edges, 0 markings/sec, 1115 secs 1 markings, 1 edges, 0 markings/sec, 1120 secs 1 markings, 1 edges, 0 markings/sec, 1125 secs 1 markings, 1 edges, 0 markings/sec, 1130 secs 1 markings, 1 edges, 0 markings/sec, 1135 secs 1 markings, 1 edges, 0 markings/sec, 1140 secs 1 markings, 1 edges, 0 markings/sec, 1145 secs 1 markings, 1 edges, 0 markings/sec, 1150 secs 1 markings, 1 edges, 0 markings/sec, 1155 secs 1 markings, 1 edges, 0 markings/sec, 1160 secs 1 markings, 1 edges, 0 markings/sec, 1165 secs 1 markings, 1 edges, 0 markings/sec, 1170 secs 1 markings, 1 edges, 0 markings/sec, 1175 secs 1 markings, 1 edges, 0 markings/sec, 1180 secs 1 markings, 1 edges, 0 markings/sec, 1185 secs 1 markings, 1 edges, 0 markings/sec, 1190 secs 1 markings, 1 edges, 0 markings/sec, 1195 secs 1 markings, 1 edges, 0 markings/sec, 1200 secs 1 markings, 1 edges, 0 markings/sec, 1205 secs 1 markings, 1 edges, 0 markings/sec, 1210 secs 1 markings, 1 edges, 0 markings/sec, 1215 secs 1 markings, 1 edges, 0 markings/sec, 1220 secs 1 markings, 1 edges, 0 markings/sec, 1225 secs 1 markings, 1 edges, 0 markings/sec, 1230 secs 1 markings, 1 edges, 0 markings/sec, 1235 secs 1 markings, 1 edges, 0 markings/sec, 1240 secs 1 markings, 1 edges, 0 markings/sec, 1245 secs 1 markings, 1 edges, 0 markings/sec, 1250 secs 1 markings, 1 edges, 0 markings/sec, 1255 secs 1 markings, 1 edges, 0 markings/sec, 1260 secs 1 markings, 1 edges, 0 markings/sec, 1265 secs 1 markings, 1 edges, 0 markings/sec, 1270 secs 1 markings, 1 edges, 0 markings/sec, 1275 secs 1 markings, 1 edges, 0 markings/sec, 1280 secs 1 markings, 1 edges, 0 markings/sec, 1285 secs 1 markings, 1 edges, 0 markings/sec, 1290 secs 1 markings, 1 edges, 0 markings/sec, 1295 secs 1 markings, 1 edges, 0 markings/sec, 1300 secs 1 markings, 1 edges, 0 markings/sec, 1305 secs 1 markings, 1 edges, 0 markings/sec, 1310 secs 1 markings, 1 edges, 0 markings/sec, 1315 secs 1 markings, 1 edges, 0 markings/sec, 1320 secs 1 markings, 1 edges, 0 markings/sec, 1325 secs 1 markings, 1 edges, 0 markings/sec, 1330 secs 1 markings, 1 edges, 0 markings/sec, 1335 secs 1 markings, 1 edges, 0 markings/sec, 1340 secs 1 markings, 1 edges, 0 markings/sec, 1345 secs 1 markings, 1 edges, 0 markings/sec, 1350 secs 1 markings, 1 edges, 0 markings/sec, 1355 secs 1 markings, 1 edges, 0 markings/sec, 1360 secs 1 markings, 1 edges, 0 markings/sec, 1365 secs 1 markings, 1 edges, 0 markings/sec, 1370 secs 1 markings, 1 edges, 0 markings/sec, 1375 secs 1 markings, 1 edges, 0 markings/sec, 1380 secs 1 markings, 1 edges, 0 markings/sec, 1385 secs 1 markings, 1 edges, 0 markings/sec, 1390 secs 1 markings, 1 edges, 0 markings/sec, 1395 secs 1 markings, 1 edges, 0 markings/sec, 1400 secs 1 markings, 1 edges, 0 markings/sec, 1405 secs 1 markings, 1 edges, 0 markings/sec, 1410 secs 1 markings, 1 edges, 0 markings/sec, 1415 secs 1 markings, 1 edges, 0 markings/sec, 1420 secs 1 markings, 1 edges, 0 markings/sec, 1425 secs 1 markings, 1 edges, 0 markings/sec, 1430 secs 1 markings, 1 edges, 0 markings/sec, 1435 secs 1 markings, 1 edges, 0 markings/sec, 1440 secs 1 markings, 1 edges, 0 markings/sec, 1445 secs 1 markings, 1 edges, 0 markings/sec, 1450 secs 1 markings, 1 edges, 0 markings/sec, 1455 secs 1 markings, 1 edges, 0 markings/sec, 1460 secs 1 markings, 1 edges, 0 markings/sec, 1465 secs 1 markings, 1 edges, 0 markings/sec, 1470 secs 1 markings, 1 edges, 0 markings/sec, 1475 secs 1 markings, 1 edges, 0 markings/sec, 1480 secs 1 markings, 1 edges, 0 markings/sec, 1485 secs 1 markings, 1 edges, 0 markings/sec, 1490 secs 1 markings, 1 edges, 0 markings/sec, 1495 secs 1 markings, 1 edges, 0 markings/sec, 1500 secs 1 markings, 1 edges, 0 markings/sec, 1505 secs 1 markings, 1 edges, 0 markings/sec, 1510 secs 1 markings, 1 edges, 0 markings/sec, 1515 secs 1 markings, 1 edges, 0 markings/sec, 1520 secs 1 markings, 1 edges, 0 markings/sec, 1525 secs 1 markings, 1 edges, 0 markings/sec, 1530 secs 1 markings, 1 edges, 0 markings/sec, 1535 secs 1 markings, 1 edges, 0 markings/sec, 1540 secs 1 markings, 1 edges, 0 markings/sec, 1545 secs 1 markings, 1 edges, 0 markings/sec, 1550 secs 1 markings, 1 edges, 0 markings/sec, 1555 secs 1 markings, 1 edges, 0 markings/sec, 1560 secs 1 markings, 1 edges, 0 markings/sec, 1565 secs 1 markings, 1 edges, 0 markings/sec, 1570 secs 1 markings, 1 edges, 0 markings/sec, 1575 secs 1 markings, 1 edges, 0 markings/sec, 1580 secs 1 markings, 1 edges, 0 markings/sec, 1585 secs 1 markings, 1 edges, 0 markings/sec, 1590 secs 1 markings, 1 edges, 0 markings/sec, 1595 secs 1 markings, 1 edges, 0 markings/sec, 1600 secs 1 markings, 1 edges, 0 markings/sec, 1605 secs 1 markings, 1 edges, 0 markings/sec, 1610 secs 1 markings, 1 edges, 0 markings/sec, 1615 secs 1 markings, 1 edges, 0 markings/sec, 1620 secs 1 markings, 1 edges, 0 markings/sec, 1625 secs 1 markings, 1 edges, 0 markings/sec, 1630 secs 1 markings, 1 edges, 0 markings/sec, 1635 secs 1 markings, 1 edges, 0 markings/sec, 1640 secs 1 markings, 1 edges, 0 markings/sec, 1645 secs 1 markings, 1 edges, 0 markings/sec, 1650 secs 1 markings, 1 edges, 0 markings/sec, 1655 secs 1 markings, 1 edges, 0 markings/sec, 1660 secs 1 markings, 1 edges, 0 markings/sec, 1665 secs 1 markings, 1 edges, 0 markings/sec, 1670 secs 1 markings, 1 edges, 0 markings/sec, 1675 secs 1 markings, 1 edges, 0 markings/sec, 1680 secs 1 markings, 1 edges, 0 markings/sec, 1685 secs 1 markings, 1 edges, 0 markings/sec, 1690 secs 1 markings, 1 edges, 0 markings/sec, 1695 secs 1 markings, 1 edges, 0 markings/sec, 1700 secs 1 markings, 1 edges, 0 markings/sec, 1705 secs 1 markings, 1 edges, 0 markings/sec, 1710 secs 1 markings, 1 edges, 0 markings/sec, 1715 secs 1 markings, 1 edges, 0 markings/sec, 1720 secs 1 markings, 1 edges, 0 markings/sec, 1725 secs 1 markings, 1 edges, 0 markings/sec, 1730 secs 1 markings, 1 edges, 0 markings/sec, 1735 secs 1 markings, 1 edges, 0 markings/sec, 1740 secs 1 markings, 1 edges, 0 markings/sec, 1745 secs 1 markings, 1 edges, 0 markings/sec, 1750 secs 1 markings, 1 edges, 0 markings/sec, 1755 secs 1 markings, 1 edges, 0 markings/sec, 1760 secs 1 markings, 1 edges, 0 markings/sec, 1765 secs 1 markings, 1 edges, 0 markings/sec, 1770 secs 1 markings, 1 edges, 0 markings/sec, 1775 secs 1 markings, 1 edges, 0 markings/sec, 1780 secs 1 markings, 1 edges, 0 markings/sec, 1785 secs 1 markings, 1 edges, 0 markings/sec, 1790 secs 1 markings, 1 edges, 0 markings/sec, 1795 secs 1 markings, 1 edges, 0 markings/sec, 1800 secs 1 markings, 1 edges, 0 markings/sec, 1805 secs 1 markings, 1 edges, 0 markings/sec, 1810 secs 1 markings, 1 edges, 0 markings/sec, 1815 secs 1 markings, 1 edges, 0 markings/sec, 1820 secs 1 markings, 1 edges, 0 markings/sec, 1825 secs 1 markings, 1 edges, 0 markings/sec, 1830 secs 1 markings, 1 edges, 0 markings/sec, 1835 secs 1 markings, 1 edges, 0 markings/sec, 1840 secs 1 markings, 1 edges, 0 markings/sec, 1845 secs 1 markings, 1 edges, 0 markings/sec, 1850 secs 1 markings, 1 edges, 0 markings/sec, 1855 secs 1 markings, 1 edges, 0 markings/sec, 1860 secs 1 markings, 1 edges, 0 markings/sec, 1865 secs 1 markings, 1 edges, 0 markings/sec, 1870 secs 1 markings, 1 edges, 0 markings/sec, 1875 secs 1 markings, 1 edges, 0 markings/sec, 1880 secs 1 markings, 1 edges, 0 markings/sec, 1885 secs 1 markings, 1 edges, 0 markings/sec, 1890 secs 1 markings, 1 edges, 0 markings/sec, 1895 secs 1 markings, 1 edges, 0 markings/sec, 1900 secs 1 markings, 1 edges, 0 markings/sec, 1905 secs 1 markings, 1 edges, 0 markings/sec, 1910 secs 1 markings, 1 edges, 0 markings/sec, 1915 secs 1 markings, 1 edges, 0 markings/sec, 1920 secs 1 markings, 1 edges, 0 markings/sec, 1925 secs 1 markings, 1 edges, 0 markings/sec, 1930 secs 1 markings, 1 edges, 0 markings/sec, 1935 secs 1 markings, 1 edges, 0 markings/sec, 1940 secs 1 markings, 1 edges, 0 markings/sec, 1945 secs 1 markings, 1 edges, 0 markings/sec, 1950 secs 1 markings, 1 edges, 0 markings/sec, 1955 secs 1 markings, 1 edges, 0 markings/sec, 1960 secs 1 markings, 1 edges, 0 markings/sec, 1965 secs 1 markings, 1 edges, 0 markings/sec, 1970 secs 1 markings, 1 edges, 0 markings/sec, 1975 secs 1 markings, 1 edges, 0 markings/sec, 1980 secs 1 markings, 1 edges, 0 markings/sec, 1985 secs 1 markings, 1 edges, 0 markings/sec, 1990 secs 1 markings, 1 edges, 0 markings/sec, 1995 secs 1 markings, 1 edges, 0 markings/sec, 2000 secs 1 markings, 1 edges, 0 markings/sec, 2005 secs 1 markings, 1 edges, 0 markings/sec, 2010 secs 1 markings, 1 edges, 0 markings/sec, 2015 secs 1 markings, 1 edges, 0 markings/sec, 2020 secs 1 markings, 1 edges, 0 markings/sec, 2025 secs 1 markings, 1 edges, 0 markings/sec, 2030 secs 1 markings, 1 edges, 0 markings/sec, 2035 secs 1 markings, 1 edges, 0 markings/sec, 2040 secs 1 markings, 1 edges, 0 markings/sec, 2045 secs 1 markings, 1 edges, 0 markings/sec, 2050 secs 1 markings, 1 edges, 0 markings/sec, 2055 secs 1 markings, 1 edges, 0 markings/sec, 2060 secs 1 markings, 1 edges, 0 markings/sec, 2065 secs 1 markings, 1 edges, 0 markings/sec, 2070 secs 1 markings, 1 edges, 0 markings/sec, 2075 secs 1 markings, 1 edges, 0 markings/sec, 2080 secs 1 markings, 1 edges, 0 markings/sec, 2085 secs 1 markings, 1 edges, 0 markings/sec, 2090 secs 1 markings, 1 edges, 0 markings/sec, 2095 secs 1 markings, 1 edges, 0 markings/sec, 2100 secs 1 markings, 1 edges, 0 markings/sec, 2105 secs 1 markings, 1 edges, 0 markings/sec, 2110 secs 1 markings, 1 edges, 0 markings/sec, 2115 secs 1 markings, 1 edges, 0 markings/sec, 2120 secs 1 markings, 1 edges, 0 markings/sec, 2125 secs 1 markings, 1 edges, 0 markings/sec, 2130 secs 1 markings, 1 edges, 0 markings/sec, 2135 secs 1 markings, 1 edges, 0 markings/sec, 2140 secs 1 markings, 1 edges, 0 markings/sec, 2145 secs 1 markings, 1 edges, 0 markings/sec, 2150 secs 1 markings, 1 edges, 0 markings/sec, 2155 secs 1 markings, 1 edges, 0 markings/sec, 2160 secs 1 markings, 1 edges, 0 markings/sec, 2165 secs 1 markings, 1 edges, 0 markings/sec, 2170 secs 1 markings, 1 edges, 0 markings/sec, 2175 secs 1 markings, 1 edges, 0 markings/sec, 2180 secs 1 markings, 1 edges, 0 markings/sec, 2185 secs 1 markings, 1 edges, 0 markings/sec, 2190 secs 1 markings, 1 edges, 0 markings/sec, 2195 secs 1 markings, 1 edges, 0 markings/sec, 2200 secs 1 markings, 1 edges, 0 markings/sec, 2205 secs 1 markings, 1 edges, 0 markings/sec, 2210 secs 1 markings, 1 edges, 0 markings/sec, 2215 secs 1 markings, 1 edges, 0 markings/sec, 2220 secs 1 markings, 1 edges, 0 markings/sec, 2225 secs 1 markings, 1 edges, 0 markings/sec, 2230 secs 1 markings, 1 edges, 0 markings/sec, 2235 secs 1 markings, 1 edges, 0 markings/sec, 2240 secs 1 markings, 1 edges, 0 markings/sec, 2245 secs 1 markings, 1 edges, 0 markings/sec, 2250 secs 1 markings, 1 edges, 0 markings/sec, 2255 secs 1 markings, 1 edges, 0 markings/sec, 2260 secs 1 markings, 1 edges, 0 markings/sec, 2265 secs 1 markings, 1 edges, 0 markings/sec, 2270 secs 1 markings, 1 edges, 0 markings/sec, 2275 secs 1 markings, 1 edges, 0 markings/sec, 2280 secs 1 markings, 1 edges, 0 markings/sec, 2285 secs 1 markings, 1 edges, 0 markings/sec, 2290 secs 1 markings, 1 edges, 0 markings/sec, 2295 secs 1 markings, 1 edges, 0 markings/sec, 2300 secs 1 markings, 1 edges, 0 markings/sec, 2305 secs 1 markings, 1 edges, 0 markings/sec, 2310 secs 1 markings, 1 edges, 0 markings/sec, 2315 secs 1 markings, 1 edges, 0 markings/sec, 2320 secs 1 markings, 1 edges, 0 markings/sec, 2325 secs 1 markings, 1 edges, 0 markings/sec, 2330 secs 1 markings, 1 edges, 0 markings/sec, 2335 secs 1 markings, 1 edges, 0 markings/sec, 2340 secs 1 markings, 1 edges, 0 markings/sec, 2345 secs 1 markings, 1 edges, 0 markings/sec, 2350 secs 1 markings, 1 edges, 0 markings/sec, 2355 secs 1 markings, 1 edges, 0 markings/sec, 2360 secs 1 markings, 1 edges, 0 markings/sec, 2365 secs 1 markings, 1 edges, 0 markings/sec, 2370 secs 1 markings, 1 edges, 0 markings/sec, 2375 secs 1 markings, 1 edges, 0 markings/sec, 2380 secs 1 markings, 1 edges, 0 markings/sec, 2385 secs 1 markings, 1 edges, 0 markings/sec, 2390 secs 1 markings, 1 edges, 0 markings/sec, 2395 secs 1 markings, 1 edges, 0 markings/sec, 2400 secs 1 markings, 1 edges, 0 markings/sec, 2405 secs 1 markings, 1 edges, 0 markings/sec, 2410 secs 1 markings, 1 edges, 0 markings/sec, 2415 secs 1 markings, 1 edges, 0 markings/sec, 2420 secs 1 markings, 1 edges, 0 markings/sec, 2425 secs 1 markings, 1 edges, 0 markings/sec, 2430 secs 1 markings, 1 edges, 0 markings/sec, 2435 secs 1 markings, 1 edges, 0 markings/sec, 2440 secs 1 markings, 1 edges, 0 markings/sec, 2445 secs 1 markings, 1 edges, 0 markings/sec, 2450 secs 1 markings, 1 edges, 0 markings/sec, 2455 secs 1 markings, 1 edges, 0 markings/sec, 2460 secs 1 markings, 1 edges, 0 markings/sec, 2465 secs 1 markings, 1 edges, 0 markings/sec, 2470 secs 1 markings, 1 edges, 0 markings/sec, 2475 secs 1 markings, 1 edges, 0 markings/sec, 2480 secs 1 markings, 1 edges, 0 markings/sec, 2485 secs 1 markings, 1 edges, 0 markings/sec, 2490 secs 1 markings, 1 edges, 0 markings/sec, 2495 secs 1 markings, 1 edges, 0 markings/sec, 2500 secs 1 markings, 1 edges, 0 markings/sec, 2505 secs 1 markings, 1 edges, 0 markings/sec, 2510 secs 1 markings, 1 edges, 0 markings/sec, 2515 secs 1 markings, 1 edges, 0 markings/sec, 2520 secs 1 markings, 1 edges, 0 markings/sec, 2525 secs 1 markings, 1 edges, 0 markings/sec, 2530 secs 1 markings, 1 edges, 0 markings/sec, 2535 secs 1 markings, 1 edges, 0 markings/sec, 2540 secs 1 markings, 1 edges, 0 markings/sec, 2545 secs 1 markings, 1 edges, 0 markings/sec, 2550 secs 1 markings, 1 edges, 0 markings/sec, 2555 secs 1 markings, 1 edges, 0 markings/sec, 2560 secs 1 markings, 1 edges, 0 markings/sec, 2565 secs 1 markings, 1 edges, 0 markings/sec, 2570 secs 1 markings, 1 edges, 0 markings/sec, 2575 secs 1 markings, 1 edges, 0 markings/sec, 2580 secs 1 markings, 1 edges, 0 markings/sec, 2585 secs 1 markings, 1 edges, 0 markings/sec, 2590 secs 1 markings, 1 edges, 0 markings/sec, 2595 secs 1 markings, 1 edges, 0 markings/sec, 2600 secs 1 markings, 1 edges, 0 markings/sec, 2605 secs 1 markings, 1 edges, 0 markings/sec, 2610 secs 1 markings, 1 edges, 0 markings/sec, 2615 secs 1 markings, 1 edges, 0 markings/sec, 2620 secs 1 markings, 1 edges, 0 markings/sec, 2625 secs 1 markings, 1 edges, 0 markings/sec, 2630 secs 1 markings, 1 edges, 0 markings/sec, 2635 secs 1 markings, 1 edges, 0 markings/sec, 2640 secs 1 markings, 1 edges, 0 markings/sec, 2645 secs 1 markings, 1 edges, 0 markings/sec, 2650 secs 1 markings, 1 edges, 0 markings/sec, 2655 secs 1 markings, 1 edges, 0 markings/sec, 2660 secs 1 markings, 1 edges, 0 markings/sec, 2665 secs 1 markings, 1 edges, 0 markings/sec, 2670 secs 1 markings, 1 edges, 0 markings/sec, 2675 secs 1 markings, 1 edges, 0 markings/sec, 2680 secs 1 markings, 1 edges, 0 markings/sec, 2685 secs 1 markings, 1 edges, 0 markings/sec, 2690 secs 1 markings, 1 edges, 0 markings/sec, 2695 secs 1 markings, 1 edges, 0 markings/sec, 2700 secs 1 markings, 1 edges, 0 markings/sec, 2705 secs 1 markings, 1 edges, 0 markings/sec, 2710 secs 1 markings, 1 edges, 0 markings/sec, 2715 secs 1 markings, 1 edges, 0 markings/sec, 2720 secs 1 markings, 1 edges, 0 markings/sec, 2725 secs 1 markings, 1 edges, 0 markings/sec, 2730 secs 1 markings, 1 edges, 0 markings/sec, 2735 secs 1 markings, 1 edges, 0 markings/sec, 2740 secs 1 markings, 1 edges, 0 markings/sec, 2745 secs 1 markings, 1 edges, 0 markings/sec, 2750 secs 1 markings, 1 edges, 0 markings/sec, 2755 secs 1 markings, 1 edges, 0 markings/sec, 2760 secs 1 markings, 1 edges, 0 markings/sec, 2765 secs 1 markings, 1 edges, 0 markings/sec, 2770 secs 1 markings, 1 edges, 0 markings/sec, 2775 secs 1 markings, 1 edges, 0 markings/sec, 2780 secs 1 markings, 1 edges, 0 markings/sec, 2785 secs 1 markings, 1 edges, 0 markings/sec, 2790 secs 1 markings, 1 edges, 0 markings/sec, 2795 secs 1 markings, 1 edges, 0 markings/sec, 2800 secs 1 markings, 1 edges, 0 markings/sec, 2805 secs 1 markings, 1 edges, 0 markings/sec, 2810 secs 1 markings, 1 edges, 0 markings/sec, 2815 secs 1 markings, 1 edges, 0 markings/sec, 2820 secs 1 markings, 1 edges, 0 markings/sec, 2825 secs 1 markings, 1 edges, 0 markings/sec, 2830 secs 1 markings, 1 edges, 0 markings/sec, 2835 secs 1 markings, 1 edges, 0 markings/sec, 2840 secs 1 markings, 1 edges, 0 markings/sec, 2845 secs 1 markings, 1 edges, 0 markings/sec, 2850 secs 1 markings, 1 edges, 0 markings/sec, 2855 secs 1 markings, 1 edges, 0 markings/sec, 2860 secs 1 markings, 1 edges, 0 markings/sec, 2865 secs 1 markings, 1 edges, 0 markings/sec, 2870 secs 1 markings, 1 edges, 0 markings/sec, 2875 secs 1 markings, 1 edges, 0 markings/sec, 2880 secs 1 markings, 1 edges, 0 markings/sec, 2885 secs 1 markings, 1 edges, 0 markings/sec, 2890 secs 1 markings, 1 edges, 0 markings/sec, 2895 secs 1 markings, 1 edges, 0 markings/sec, 2900 secs 1 markings, 1 edges, 0 markings/sec, 2905 secs 1 markings, 1 edges, 0 markings/sec, 2910 secs 1 markings, 1 edges, 0 markings/sec, 2915 secs 1 markings, 1 edges, 0 markings/sec, 2920 secs 1 markings, 1 edges, 0 markings/sec, 2925 secs 1 markings, 1 edges, 0 markings/sec, 2930 secs 1 markings, 1 edges, 0 markings/sec, 2935 secs 1 markings, 1 edges, 0 markings/sec, 2940 secs 1 markings, 1 edges, 0 markings/sec, 2945 secs 1 markings, 1 edges, 0 markings/sec, 2950 secs 1 markings, 1 edges, 0 markings/sec, 2955 secs 1 markings, 1 edges, 0 markings/sec, 2960 secs 1 markings, 1 edges, 0 markings/sec, 2965 secs 1 markings, 1 edges, 0 markings/sec, 2970 secs 1 markings, 1 edges, 0 markings/sec, 2975 secs 1 markings, 1 edges, 0 markings/sec, 2980 secs 1 markings, 1 edges, 0 markings/sec, 2985 secs 1 markings, 1 edges, 0 markings/sec, 2990 secs 1 markings, 1 edges, 0 markings/sec, 2995 secs 1 markings, 1 edges, 0 markings/sec, 3000 secs 1 markings, 1 edges, 0 markings/sec, 3005 secs 1 markings, 1 edges, 0 markings/sec, 3010 secs 1 markings, 1 edges, 0 markings/sec, 3015 secs 1 markings, 1 edges, 0 markings/sec, 3020 secs 1 markings, 1 edges, 0 markings/sec, 3025 secs 1 markings, 1 edges, 0 markings/sec, 3030 secs 1 markings, 1 edges, 0 markings/sec, 3035 secs 1 markings, 1 edges, 0 markings/sec, 3040 secs 1 markings, 1 edges, 0 markings/sec, 3045 secs 1 markings, 1 edges, 0 markings/sec, 3050 secs 1 markings, 1 edges, 0 markings/sec, 3055 secs 1 markings, 1 edges, 0 markings/sec, 3060 secs 1 markings, 1 edges, 0 markings/sec, 3065 secs 1 markings, 1 edges, 0 markings/sec, 3070 secs 1 markings, 1 edges, 0 markings/sec, 3075 secs 1 markings, 1 edges, 0 markings/sec, 3080 secs 1 markings, 1 edges, 0 markings/sec, 3085 secs 1 markings, 1 edges, 0 markings/sec, 3090 secs 1 markings, 1 edges, 0 markings/sec, 3095 secs 1 markings, 1 edges, 0 markings/sec, 3100 secs 1 markings, 1 edges, 0 markings/sec, 3105 secs 1 markings, 1 edges, 0 markings/sec, 3110 secs 1 markings, 1 edges, 0 markings/sec, 3115 secs 1 markings, 1 edges, 0 markings/sec, 3120 secs 1 markings, 1 edges, 0 markings/sec, 3125 secs 1 markings, 1 edges, 0 markings/sec, 3130 secs 1 markings, 1 edges, 0 markings/sec, 3135 secs 1 markings, 1 edges, 0 markings/sec, 3140 secs 1 markings, 1 edges, 0 markings/sec, 3145 secs 1 markings, 1 edges, 0 markings/sec, 3150 secs 1 markings, 1 edges, 0 markings/sec, 3155 secs 1 markings, 1 edges, 0 markings/sec, 3160 secs 1 markings, 1 edges, 0 markings/sec, 3165 secs 1 markings, 1 edges, 0 markings/sec, 3170 secs 1 markings, 1 edges, 0 markings/sec, 3175 secs 1 markings, 1 edges, 0 markings/sec, 3180 secs 1 markings, 1 edges, 0 markings/sec, 3185 secs 1 markings, 1 edges, 0 markings/sec, 3190 secs 1 markings, 1 edges, 0 markings/sec, 3195 secs 1 markings, 1 edges, 0 markings/sec, 3200 secs 1 markings, 1 edges, 0 markings/sec, 3205 secs 1 markings, 1 edges, 0 markings/sec, 3210 secs 1 markings, 1 edges, 0 markings/sec, 3215 secs 1 markings, 1 edges, 0 markings/sec, 3220 secs 1 markings, 1 edges, 0 markings/sec, 3225 secs 1 markings, 1 edges, 0 markings/sec, 3230 secs 1 markings, 1 edges, 0 markings/sec, 3235 secs 1 markings, 1 edges, 0 markings/sec, 3240 secs 1 markings, 1 edges, 0 markings/sec, 3245 secs 1 markings, 1 edges, 0 markings/sec, 3250 secs 1 markings, 1 edges, 0 markings/sec, 3255 secs 1 markings, 1 edges, 0 markings/sec, 3260 secs 1 markings, 1 edges, 0 markings/sec, 3265 secs 1 markings, 1 edges, 0 markings/sec, 3270 secs 1 markings, 1 edges, 0 markings/sec, 3275 secs 1 markings, 1 edges, 0 markings/sec, 3280 secs 1 markings, 1 edges, 0 markings/sec, 3285 secs 1 markings, 1 edges, 0 markings/sec, 3290 secs 1 markings, 1 edges, 0 markings/sec, 3295 secs 1 markings, 1 edges, 0 markings/sec, 3300 secs 1 markings, 1 edges, 0 markings/sec, 3305 secs 1 markings, 1 edges, 0 markings/sec, 3310 secs 1 markings, 1 edges, 0 markings/sec, 3315 secs 1 markings, 1 edges, 0 markings/sec, 3320 secs 1 markings, 1 edges, 0 markings/sec, 3325 secs 1 markings, 1 edges, 0 markings/sec, 3330 secs 1 markings, 1 edges, 0 markings/sec, 3335 secs 1 markings, 1 edges, 0 markings/sec, 3340 secs 1 markings, 1 edges, 0 markings/sec, 3345 secs 1 markings, 1 edges, 0 markings/sec, 3350 secs 1 markings, 1 edges, 0 markings/sec, 3355 secs 1 markings, 1 edges, 0 markings/sec, 3360 secs 1 markings, 1 edges, 0 markings/sec, 3365 secs 1 markings, 1 edges, 0 markings/sec, 3370 secs 1 markings, 1 edges, 0 markings/sec, 3375 secs 1 markings, 1 edges, 0 markings/sec, 3380 secs 1 markings, 1 edges, 0 markings/sec, 3385 secs 1 markings, 1 edges, 0 markings/sec, 3390 secs 1 markings, 1 edges, 0 markings/sec, 3395 secs 1 markings, 1 edges, 0 markings/sec, 3400 secs 1 markings, 1 edges, 0 markings/sec, 3405 secs 1 markings, 1 edges, 0 markings/sec, 3410 secs 1 markings, 1 edges, 0 markings/sec, 3415 secs 1 markings, 1 edges, 0 markings/sec, 3420 secs 1 markings, 1 edges, 0 markings/sec, 3425 secs 1 markings, 1 edges, 0 markings/sec, 3430 secs 1 markings, 1 edges, 0 markings/sec, 3435 secs

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="DLCshifumi-PT-6b"
export BK_EXAMINATION="GlobalProperties"
export BK_TOOL="lola"
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-3954"
echo " Executing tool lola"
echo " Input is DLCshifumi-PT-6b, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r049-oct2-155234405300588"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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