Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r184-csrt-155344538000318.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool itstools
Input is NoC3x3-PT-5B, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r184-csrt-155344538000318
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 680K
-rw-r--r-- 1 mcc users 2.9K Mar 23 12:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 23 12:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 23 12:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 23 12:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 23 10:10 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 99 Apr 5 12:35 GlobalProperties.txt
-rw-r--r-- 1 mcc users 337 Apr 5 12:35 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.2K Mar 23 12:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 8.8K Mar 23 12:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Mar 23 12:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.1K Mar 23 12:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 23 10:10 NewModel
-rw-r--r-- 1 mcc users 3.1K Mar 23 12:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 23 12:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 23 12:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 23 12:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 23 12:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 23 12:13 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 23 10:10 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 23 10:10 instance
-rw-r--r-- 1 mcc users 6 Mar 23 10:10 iscolored
-rw-r--r-- 1 mcc users 0 Mar 23 10:10 model-fix.log
-rw-r--r-- 1 mcc users 525K Mar 23 10:10 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 NoC3x3-PT-5B-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1554497425344

Working with output stream class java.io.PrintStream
Flatten gal took : 718 ms
Constant places removed 1 places and 1 transitions.
Performed 558 Post agglomeration using F-continuation condition.
Iterating post reduction 0 with 559 rules applied. Total rules applied 559 place count 1570 transition count 1614
Constant places removed 559 places and 1 transitions.
Iterating post reduction 1 with 559 rules applied. Total rules applied 1118 place count 1011 transition count 1613
Constant places removed 9 places and 0 transitions.
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 2 with 19 rules applied. Total rules applied 1137 place count 1002 transition count 1603
Symmetric choice reduction at 3 with 186 rule applications. Total rules 1323 place count 1002 transition count 1603
Constant places removed 186 places and 186 transitions.
Iterating post reduction 3 with 186 rules applied. Total rules applied 1509 place count 816 transition count 1417
Performed 34 Pre agglomeration using Quasi-Persistent + HF-interchangeable + Divergent Free condition.
Pre-agglomeration after 4 with 34 Pre rules applied. Total rules applied 1509 place count 816 transition count 1383
Constant places removed 34 places and 0 transitions.
Iterating post reduction 4 with 34 rules applied. Total rules applied 1543 place count 782 transition count 1383
Symmetric choice reduction at 5 with 48 rule applications. Total rules 1591 place count 782 transition count 1383
Constant places removed 48 places and 56 transitions.
Iterating post reduction 5 with 48 rules applied. Total rules applied 1639 place count 734 transition count 1327
Symmetric choice reduction at 6 with 56 rule applications. Total rules 1695 place count 734 transition count 1327
Constant places removed 56 places and 123 transitions.
Iterating post reduction 6 with 56 rules applied. Total rules applied 1751 place count 678 transition count 1204
Symmetric choice reduction at 7 with 25 rule applications. Total rules 1776 place count 678 transition count 1204
Constant places removed 25 places and 50 transitions.
Iterating post reduction 7 with 25 rules applied. Total rules applied 1801 place count 653 transition count 1154
Symmetric choice reduction at 8 with 7 rule applications. Total rules 1808 place count 653 transition count 1154
Constant places removed 7 places and 14 transitions.
Iterating post reduction 8 with 7 rules applied. Total rules applied 1815 place count 646 transition count 1140
Symmetric choice reduction at 9 with 4 rule applications. Total rules 1819 place count 646 transition count 1140
Constant places removed 4 places and 8 transitions.
Iterating post reduction 9 with 4 rules applied. Total rules applied 1823 place count 642 transition count 1132
Symmetric choice reduction at 10 with 4 rule applications. Total rules 1827 place count 642 transition count 1132
Constant places removed 4 places and 12 transitions.
Iterating post reduction 10 with 4 rules applied. Total rules applied 1831 place count 638 transition count 1120
Performed 87 Post agglomeration using F-continuation condition.
Constant places removed 87 places and 0 transitions.
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 11 with 89 rules applied. Total rules applied 1920 place count 551 transition count 1029
Performed 101 Post agglomeration using F-continuation condition.
Constant places removed 101 places and 0 transitions.
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 12 with 113 rules applied. Total rules applied 2033 place count 450 transition count 1115
Performed 46 Post agglomeration using F-continuation condition.
Constant places removed 46 places and 0 transitions.
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 13 with 48 rules applied. Total rules applied 2081 place count 404 transition count 1141
Applied a total of 2081 rules in 988 ms. Remains 404 /1571 variables (removed 1167) and now considering 1141/2173 (removed 1032) transitions.
Normalized transition count is 1021
// Phase 1: matrix 1021 rows 404 cols
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
Normalized transition count is 1021
// Phase 1: matrix 1021 rows 404 cols
invariant :p615 + p617 + p618 + p621 + p624 + p627 = 1
invariant :p1220 + p1222 + p1224 + p1228 + p1231 + p1233 + p1237 = 1
invariant :p372 + p376 + p380 + p387 + p391 + p394 = 1
invariant :p65 + p66 + p71 + p72 + p77 + p78 + p83 = 1
invariant :p453 + p454 + p459 + p460 + p465 + p466 + p471 + p472 + p477 = 1
invariant :p205 + p209 + p211 + p215 + p218 + p242 + p245 = 1
invariant :p1463 + p1465 + p1467 + p1471 + p1474 + p1476 + p1480 + p1483 = 1
invariant :p1514 + p1520 + p1522 + p1526 + p1529 = 1
invariant :p518 + p522 + p526 + p530 + p534 + p541 + p545 + p548 = 1
invariant :p810 + p814 + p818 + p822 + p826 + p830 + p834 + p845 + p848 + p858 + p861 = 1
invariant :p492 + p496 + p500 + p505 + p511 + p514 = 1
invariant :p1239 + p1243 + p1247 + p1254 + p1258 + p1261 = 1
invariant :p1191 + p1193 + p1194 + p1197 + p1200 = 1
invariant :p1102 + p1106 + p1110 + p1116 + p1120 + p1123 + p1147 + p1150 = 1
invariant :p552 + p556 + p560 + p565 + p571 + p574 = 1
invariant :p1031 + p1037 + p1039 + p1043 + p1046 + p1056 + p1059 = 1
invariant :p1063 + p1067 + p1071 + p1078 + p1082 + p1085 + p1089 + p1098 = 1
invariant :p1004 + p1006 + p1007 + p1010 + p1013 + p1016 = 1
invariant :p175 + p177 + p178 + p181 + p184 = 1
invariant :p1501 + p1503 + p1504 + p1507 + p1510 = 1
invariant :p1390 + p1394 + p1396 + p1400 + p1403 + p1413 + p1416 + p1424 + p1429 + p1433 + p1443 + p1446 = 1
invariant :p343 + p344 + p348 + p349 + p353 + p354 + p358 = 1
invariant :p359 + p361 + p362 + p365 + p368 = 1
invariant :p398 + p402 + p406 + p413 + p417 + p420 = 1
invariant :p306 + p308 + p310 + p314 + p317 + p319 + p323 + p326 + p337 + p341 = 1
invariant :p1358 + p1364 + p1366 + p1370 + p1373 + p1384 + p1387 = 1
invariant :p1201 + p1202 + p1206 + p1207 + p1211 + p1212 + p1216 = 1
invariant :p424 + p426 + p428 + p432 + p435 + p437 + p441 = 1
invariant :p117 + p123 + p127 = 1
invariant :p1017 + p1019 + p1020 + p1023 + p1026 = 1
invariant :p1552 + p1554 + p1556 + p1560 + p1563 + p1565 + p1569 = 1
invariant :p249 + p255 + p259 + p263 + p267 + p274 + p278 + p281 = 1
invariant :p921 + p923 + p925 + p929 + p932 + p934 + p938 + p943 + p947 + p950 + p961 + p965 + p968 = 1
invariant :p150 + p151 + p156 + p157 + p162 + p163 + p168 + p169 + p174 = 1
invariant :p578 + p580 + p582 + p586 + p589 + p591 + p595 + p600 + p604 + p607 = 1
invariant :p1491 + p1493 + p1494 + p1497 + p1500 = 1
invariant :p185 + p186 + p190 + p191 + p195 + p196 + p200 = 1
invariant :p628 + p630 + p631 + p634 + p637 + p640 = 1
invariant :p865 + p871 + p875 + p879 + p883 + p887 + p891 + p902 + p905 + p915 + p918 = 1
invariant :p284 + p290 + p294 + p298 + p302 = 1
invariant :p641 + p642 + p646 + p647 + p651 + p652 + p656 + p657 + p661 = 1
invariant :p478 + p480 + p481 + p484 + p487 = 1
invariant :p740 + p744 + p746 + p750 + p753 + p771 + p780 + p790 + p793 + p804 + p807 = 1
invariant :p1265 + p1271 + p1273 + p1277 + p1280 = 1
invariant :p1332 + p1336 + p1340 + p1345 + p1347 + p1351 + p1354 = 1
invariant :p1284 + p1286 + p1287 + p1290 + p1293 + p1296 = 1
invariant :p443 + p445 + p446 + p449 + p452 = 1
invariant :p1297 + p1299 + p1300 + p1303 + p1306 = 1
invariant :p1307 + p1308 + p1312 + p1313 + p1317 + p1318 + p1322 + p1323 + p1327 = 1
invariant :p84 + p85 + p89 + p90 + p94 = 1
invariant :p131 + p133 + p135 + p139 + p142 + p144 + p148 = 1
invariant :p1533 + p1539 + p1541 + p1545 + p1548 = 1
invariant :p688 + p692 + p696 + p702 + p706 + p709 + p714 + p723 + p733 + p736 = 1
invariant :p1154 + p1156 + p1158 + p1162 + p1165 + p1167 + p1171 + p1176 + p1180 + p1183 = 1
invariant :p662 + p663 + p667 + p668 + p672 + p673 + p677 + p678 + p682 = 1
invariant :p994 + p996 + p997 + p1000 + p1003 = 1
invariant :p98 + p104 + p106 + p110 + p113 = 1
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903171603/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/GlobalProperties.pnml.gal, -t, CGAL, -ctl, DEADLOCK], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903171603/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/GlobalProperties.pnml.gal -t CGAL -ctl DEADLOCK
No direction supplied, using forward translation only.
built 2 ordering constraints for composite.
built 696 ordering constraints for composite.
built 688 ordering constraints for composite.
built 680 ordering constraints for composite.
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/home/mcc/execution]
Compilation finished in 15774 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Link finished in 241 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, -d], workingDir=/home/mcc/execution]
sparsehash FATAL ERROR: failed to allocate 36 groups

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ GlobalProperties = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution GlobalProperties -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination GlobalProperties -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss8m -Xms40m -Xmx8192m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
Apr 05, 2019 8:50:29 PM fr.lip6.move.gal.application.Application start
INFO: Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, GlobalProperties, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -smt]
Apr 05, 2019 8:50:29 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Apr 05, 2019 8:50:29 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 377 ms
Apr 05, 2019 8:50:29 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 1571 places.
Apr 05, 2019 8:50:30 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 2173 transitions.
Apr 05, 2019 8:50:30 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Found NUPN structural information;
Apr 05, 2019 8:50:30 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.img.gal : 89 ms
Apr 05, 2019 8:50:30 PM fr.lip6.move.gal.instantiate.PropertySimplifier evalInInitialState
WARNING: Unexpected boolean logic operator in evalInInitialState fr.lip6.move.gal.impl.EXImpl
Apr 05, 2019 8:50:30 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-5B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 8:50:30 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 713 ms
Apr 05, 2019 8:50:30 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.simple.gal : 18 ms
Apr 05, 2019 8:50:31 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 2173 transitions.
Apr 05, 2019 8:50:33 PM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Apr 05, 2019 8:50:33 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 1141 transitions.
Apr 05, 2019 8:50:33 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-5B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 8:50:33 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 387 ms
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-5B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 143 ms
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t1329.t452,t1329.t447,t1327.t448.t2042.t449,t1327.t450,t1322.t459,t1322.t454,t1320.t455.t2041.t456,t1320.t457,t1325.t458,t1318.t458,
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 42 events :t1404.t657,t1404.t657,t1395.t659,t1395.t659,t1404.t657,t1404.t657,t1395.t659,t1395.t659,t1404.t657,t1395.t659,t1952.t126.t693,t1952.t126.t693,t1951.t126.t693,t1951.t126.t693,t1952.t126.t693,t1952.t126.t693,t1951.t126.t693,t1951.t126.t693,t1952.t126.t693,t1952.t126.t693,t1951.t126.t693,t1951.t126.t693,t1476.t109.t730,t1476.t109.t730,t1475.t109.t730,t1475.t109.t730,t1476.t109.t730,t1476.t109.t730,t1475.t109.t730,t1475.t109.t730,t1476.t109.t730,t1476.t109.t730,t1475.t109.t730,t1475.t109.t730,t1518.t74.t807,t1518.t74.t807,t1517.t74.t807,t1517.t74.t807,t1395.t659,t1532.t843.t897.t898,t1532.t843.t897.t898,t1532.t843.t897.t898,
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 29 events :t1941.t663.t664,t1941.t667,t1949.t671.t672,t1949.t675,t1953.t680.t1453.t133.t693,t1953.t681,t1939.t680.t1453.t133.t693,t1939.t681,t1957.t685.t1454.t130.t693,t1957.t686,t1947.t685.t1454.t130.t693,t1947.t686,t1968.t690.t1455.t127.t693,t1968.t691,t1968.t690.t1455.t127.t693,t1968.t691,t1968.t690.t1455.t127.t693,t1968.t691,t1968.t690.t1455.t127.t693,t1968.t691,t1968.t690.t1455.t127.t693,t1968.t691,t1962.t126.t693,t1962.t126.t693,t1962.t126.t693,t1962.t126.t693,t1962.t126.t693,t1955.t126.t693,t1951.t126.t693,
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t1574.t899.t900,t1574.t903,t1577.t901.t1842.t65.t916,t1577.t902,t1577.t901.t1842.t65.t916,t1577.t902,t1577.t901.t1842.t65.t916,t1577.t902,t1577.t901.t1842.t65.t916,t1577.t902,t1577.t901.t1842.t65.t916,t1577.t902,t1570.t908.t1841.t61.t916,t1570.t909,t1566.t913.t1840.t58.t916,t1566.t914,t1583.t57.t916,t1583.t57.t916,t1583.t57.t916,t1583.t57.t916,t1583.t57.t916,t1572.t57.t916,t1568.t57.t916,
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t1602.t975,t1602.t975,t1593.t977,t1593.t977,t1602.t975,t1602.t975,t1593.t977,t1593.t977,t1817.t43.t994,t1817.t43.t994,t1816.t43.t994,t1816.t43.t994,t1817.t43.t994,t1817.t43.t994,t1816.t43.t994,t1816.t43.t994,t1618.t36.t1011,t1618.t36.t1011,t1617.t36.t1011,t1617.t36.t1011,t1593.t977,t1625.t1018.t1778.t1125.t1059,t1625.t1018.t1778.t1125.t1059,
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 75 events :t946.t1887.t944.t733,t946.t1887.t944.t733,t946.t1887.t944.t733,t946.t1887.t944.t733,t950.t1886.t948.t733,t950.t1886.t948.t733,t950.t1886.t948.t733,t950.t1886.t948.t733,t954.t1885.t952.t733,t954.t1885.t952.t733,t954.t1885.t952.t733,t954.t1885.t952.t733,t958.t1884.t956.t733,t958.t1884.t956.t733,t958.t1884.t956.t733,t958.t1884.t956.t733,t1538.t875,t1538.t875,t1543.t870,t1543.t870,t1538.t875,t1543.t870,t1538.t875,t1538.t875,t1543.t870,t1543.t870,t946.t1587.t57.t916,t946.t1587.t57.t916,t946.t1587.t57.t916,t946.t1587.t57.t916,t950.t1586.t57.t916,t950.t1586.t57.t916,t950.t1586.t57.t916,t950.t1586.t57.t916,t954.t1585.t57.t916,t954.t1585.t57.t916,t954.t1585.t57.t916,t954.t1585.t57.t916,t958.t1582.t57.t916,t958.t1582.t57.t916,t958.t1582.t57.t916,t958.t1582.t57.t916,t1863.t67.t894,t1863.t67.t894,t1862.t67.t894,t1862.t67.t894,t1863.t67.t894,t1863.t67.t894,t1862.t67.t894,t1862.t67.t894,t946.t1587.t57.t916,t946.t1587.t57.t916,t950.t1586.t57.t916,t950.t1586.t57.t916,t954.t1585.t57.t916,t954.t1585.t57.t916,t958.t1582.t57.t916,t958.t1582.t57.t916,t1584.t57.t916,t1584.t57.t916,t1583.t57.t916,t1583.t57.t916,t1837.t50.t933,t1837.t50.t933,t1836.t50.t933,t1836.t50.t933,t1837.t50.t933,t1837.t50.t933,t1836.t50.t933,t1836.t50.t933,t1543.t870,t946.t1587.t57.t916,t950.t1586.t57.t916,t954.t1585.t57.t916,t958.t1582.t57.t916,
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t1814.t982.t983,t1814.t986,t1811.t984.t1607.t48.t994,t1811.t985,t1811.t984.t1607.t48.t994,t1811.t985,t1811.t984.t1607.t48.t994,t1811.t985,t1811.t984.t1607.t48.t994,t1811.t985,t1818.t991.t1608.t44.t994,t1818.t992,t1806.t43.t994,t1806.t43.t994,t1806.t43.t994,t1816.t43.t994,t1806.t43.t994,
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 20 events :t1221.t244,t1221.t244,t1226.t239,t1226.t239,t1221.t244,t1221.t244,t1226.t239,t1226.t239,t2166.t229.t257,t2166.t229.t257,t2165.t229.t257,t2165.t229.t257,t1240.t225.t270,t1240.t225.t270,t1239.t225.t270,t1239.t225.t270,t1226.t239,t1248.t279.t2005.t587.t508,t1248.t279.t2005.t587.t508,t1248.t279.t2005.t587.t508,
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 28 events :t1858.t882.t883,t1858.t886,t1868.t891.t1565.t68.t894,t1868.t892,t1854.t891.t1565.t68.t894,t1854.t892,t1868.t891.t1565.t68.t894,t1868.t892,t1854.t891.t1565.t68.t894,t1854.t892,t1868.t891.t1565.t68.t894,t1868.t892,t1854.t891.t1565.t68.t894,t1854.t892,t1868.t891.t1565.t68.t894,t1868.t892,t1854.t891.t1565.t68.t894,t1854.t892,t1868.t891.t1565.t68.t894,t1868.t892,t1854.t891.t1565.t68.t894,t1854.t892,t1862.t67.t894,t1862.t67.t894,t1862.t67.t894,t1862.t67.t894,t1862.t67.t894,t1844.t67.t894,
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2169.t251.t252,t2169.t255,t2167.t253.t1233.t231.t257,t2167.t254,t2165.t229.t257,t2163.t229.t257,
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t1137.t1624.t1136.t1621.t1014.t996,t1137.t1624.t1136.t997.t998,t1137.t1624.t1136.t1006.t1007,t1137.t1624.t1136.t1621.t1014.t996,t1137.t1624.t1136.t997.t998,t1137.t1624.t1136.t1006.t1007,t1613.t999.t1000,t1613.t1003,t1615.t1001.t1800.t41.t1011,t1615.t1002,t1609.t1008.t1799.t37.t1011,t1609.t1009,t1617.t36.t1011,t1611.t36.t1011,
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t1218.t1746.t1216.t1098.t1107,t1218.t1746.t1216.t1098.t1099,t1218.t1746.t1216.t1749.t1127.t1097,t1218.t1746.t1216.t1098.t1107,t1218.t1746.t1216.t1098.t1099,t1218.t1746.t1216.t1749.t1127.t1097,t1756.t1100.t1101,t1756.t1104,t1754.t1102.t1690.t18.t1123,t1754.t1103,t1772.t1117.t1118,t1772.t1121,t1770.t1119.t1692.t10.t1123,t1770.t1120,t1768.t8.t1123,t1766.t8.t1123,
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 32 events :t958.t1884.t956.t741.t758,t958.t1884.t956.t741.t750,t958.t1884.t956.t741.t742,t958.t1884.t956.t1888.t811.t732,t958.t1884.t956.t733,t958.t1884.t956.t741.t758,t958.t1884.t956.t741.t750,t958.t1884.t956.t741.t742,t958.t1884.t956.t1888.t811.t732,t958.t1884.t956.t733,t958.t1884.t956.t741.t758,t958.t1884.t956.t741.t750,t958.t1884.t956.t741.t742,t958.t1884.t956.t1888.t811.t732,t958.t1884.t956.t733,t1895.t734.t735,t1895.t738,t1893.t736.t1494.t107.t774,t1893.t737,t1903.t743.t744,t1903.t747,t1901.t745.t1495.t103.t774,t1901.t746,t1911.t751.t752,t1911.t755,t1927.t768.t769,t1927.t772,t1925.t770.t1498.t91.t774,t1925.t771,t1923.t89.t774,t1921.t89.t774,t1905.t89.t774,
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t1557.t856,t1557.t856,t1551.t875,t1551.t875,t1557.t856,t1557.t856,t1551.t875,t1551.t875,t1569.t57.t916,t1569.t57.t916,t1568.t57.t916,t1568.t57.t916,t1829.t50.t933,t1829.t50.t933,t1828.t50.t933,t1828.t50.t933,t1314.t941.t418.t419,t1557.t856,
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 29 events :t1485.t700.t701,t1485.t704,t1477.t708.t709,t1477.t712,t1487.t717.t1931.t116.t730,t1487.t718,t1473.t717.t1931.t116.t730,t1473.t718,t1479.t722.t1930.t113.t730,t1479.t723,t1469.t722.t1930.t113.t730,t1469.t723,t1458.t727.t1929.t110.t730,t1458.t728,t1458.t727.t1929.t110.t730,t1458.t728,t1458.t727.t1929.t110.t730,t1458.t728,t1458.t727.t1929.t110.t730,t1458.t728,t1458.t727.t1929.t110.t730,t1458.t728,t1464.t109.t730,t1464.t109.t730,t1464.t109.t730,t1464.t109.t730,t1475.t109.t730,t1471.t109.t730,t1464.t109.t730,
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 38 events :t1210.t1748.t1208.t1749.t1127.t1097,t1210.t1748.t1208.t1749.t1127.t1097,t1214.t1747.t1212.t1749.t1127.t1097,t1214.t1747.t1212.t1749.t1127.t1097,t1218.t1746.t1216.t1749.t1127.t1097,t1218.t1746.t1216.t1749.t1127.t1097,t1705.t1171,t1705.t1171,t1696.t1173,t1696.t1173,t1705.t1171,t1705.t1171,t1696.t1173,t1696.t1173,t1210.t1725.t1.t1194,t1210.t1725.t1.t1194,t1214.t1724.t1.t1194,t1214.t1724.t1.t1194,t1218.t1721.t1.t1194,t1218.t1721.t1.t1194,t1737.t5.t1181,t1737.t5.t1181,t1736.t5.t1181,t1736.t5.t1181,t1210.t1725.t1.t1194,t1210.t1725.t1.t1194,t1214.t1724.t1.t1194,t1214.t1724.t1.t1194,t1218.t1721.t1.t1194,t1218.t1721.t1.t1194,t1723.t1.t1194,t1723.t1.t1194,t1722.t1.t1194,t1722.t1.t1194,t1696.t1173,t1210.t1725.t1.t1194,t1214.t1724.t1.t1194,t1218.t1721.t1.t1194,
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t1028.t1984.t1027.t567.t576,t1028.t1984.t1027.t567.t568,t1028.t1984.t1027.t1985.t589.t566,t1028.t1984.t1027.t567.t576,t1028.t1984.t1027.t567.t568,t1028.t1984.t1027.t1985.t589.t566,t1992.t569.t570,t1992.t573,t1990.t571.t1388.t149.t583,t1990.t572,t2000.t577.t578,t2000.t581,t1998.t579.t1389.t145.t583,t1998.t580,t1996.t143.t583,t1994.t143.t583,
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 33 events :t1022.t1982.t1021.t1985.t589.t566,t1022.t1982.t1021.t1985.t589.t566,t1025.t1983.t1024.t1985.t589.t566,t1025.t1983.t1024.t1985.t589.t566,t1028.t1984.t1027.t1985.t589.t566,t1028.t1984.t1027.t1985.t589.t566,t1600.t970,t1600.t970,t1594.t975,t1594.t975,t1600.t970,t1600.t970,t1594.t975,t1594.t975,t1022.t1804.t43.t994,t1022.t1804.t43.t994,t1025.t1805.t43.t994,t1025.t1805.t43.t994,t1028.t1808.t43.t994,t1028.t1808.t43.t994,t1807.t43.t994,t1807.t43.t994,t1806.t43.t994,t1806.t43.t994,t1612.t36.t1011,t1612.t36.t1011,t1611.t36.t1011,t1611.t36.t1011,t1612.t36.t1011,t1612.t36.t1011,t1611.t36.t1011,t1611.t36.t1011,t1600.t970,
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t838.t1387.t837.t542.t551,t838.t1387.t837.t542.t543,t838.t1387.t837.t1383.t588.t541,t838.t1387.t837.t559.t560,t838.t1387.t837.t542.t551,t838.t1387.t837.t542.t543,t838.t1387.t837.t1383.t588.t541,t838.t1387.t837.t559.t560,t838.t1387.t837.t542.t551,t838.t1387.t837.t542.t543,t838.t1387.t837.t1383.t588.t541,t838.t1387.t837.t559.t560,t1375.t544.t545,t1375.t548,t1367.t552.t553,t1367.t556,t1369.t554.t2003.t156.t564,t1369.t555,t1363.t561.t2002.t152.t564,t1363.t562,t1381.t151.t564,t1371.t151.t564,t1365.t151.t564,
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t1352.t485,t1352.t485,t1346.t504,t1346.t504,t1352.t485,t1352.t485,t1346.t504,t1346.t504,t2025.t162.t539,t2025.t162.t539,t2024.t162.t539,t2024.t162.t539,t2025.t162.t539,t2025.t162.t539,t2024.t162.t539,t2024.t162.t539,t1382.t151.t564,t1382.t151.t564,t1381.t151.t564,t1381.t151.t564,t1352.t485,t1981.t602.t989.t990,t1981.t602.t989.t990,
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 22 events :t1637.t1055,t1637.t1055,t1628.t1057,t1628.t1057,t1637.t1055,t1637.t1055,t1628.t1057,t1628.t1057,t1780.t30.t1070,t1780.t30.t1070,t1779.t30.t1070,t1779.t30.t1070,t1672.t20.t1093,t1672.t20.t1093,t1671.t20.t1093,t1671.t20.t1093,t1672.t20.t1093,t1672.t20.t1093,t1671.t20.t1093,t1671.t20.t1093,t1628.t1057,t1693.t1141.t1186.t1187,
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t1781.t1062.t1656.t34.t1070,t1781.t1063,t1791.t1067.t1657.t31.t1070,t1791.t1068,t1791.t1067.t1657.t31.t1070,t1791.t1068,t1791.t1067.t1657.t31.t1070,t1791.t1068,t1791.t1067.t1657.t31.t1070,t1791.t1068,t1791.t1067.t1657.t31.t1070,t1791.t1068,t1785.t30.t1070,t1785.t30.t1070,t1785.t30.t1070,t1785.t30.t1070,t1785.t30.t1070,t1779.t30.t1070,
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t1303.t420.t421,t1303.t424,t1305.t422.t2069.t186.t426,t1305.t423,t1309.t184.t426,t1307.t184.t426,
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 63 events :t1146.t1528.t1144.t1527.t812.t776,t1146.t1528.t1144.t1527.t812.t776,t1146.t1528.t1144.t1527.t812.t776,t1146.t1528.t1144.t1527.t812.t776,t1150.t1529.t1148.t1527.t812.t776,t1150.t1529.t1148.t1527.t812.t776,t1150.t1529.t1148.t1527.t812.t776,t1150.t1529.t1148.t1527.t812.t776,t1154.t1530.t1152.t1527.t812.t776,t1154.t1530.t1152.t1527.t812.t776,t1154.t1530.t1152.t1527.t812.t776,t1154.t1530.t1152.t1527.t812.t776,t1158.t1531.t1156.t1527.t812.t776,t1158.t1531.t1156.t1527.t812.t776,t1158.t1531.t1156.t1527.t812.t776,t1158.t1531.t1156.t1527.t812.t776,t1635.t1050,t1635.t1050,t1629.t1055,t1629.t1055,t1635.t1050,t1629.t1055,t1635.t1050,t1635.t1050,t1629.t1055,t1629.t1055,t1146.t1681.t20.t1093,t1146.t1681.t20.t1093,t1150.t1682.t20.t1093,t1150.t1682.t20.t1093,t1154.t1683.t20.t1093,t1154.t1683.t20.t1093,t1158.t1686.t20.t1093,t1158.t1686.t20.t1093,t1786.t30.t1070,t1786.t30.t1070,t1785.t30.t1070,t1785.t30.t1070,t1146.t1681.t20.t1093,t1146.t1681.t20.t1093,t1150.t1682.t20.t1093,t1150.t1682.t20.t1093,t1154.t1683.t20.t1093,t1154.t1683.t20.t1093,t1158.t1686.t20.t1093,t1158.t1686.t20.t1093,t1685.t20.t1093,t1685.t20.t1093,t1684.t20.t1093,t1684.t20.t1093,t1767.t8.t1123,t1767.t8.t1123,t1766.t8.t1123,t1766.t8.t1123,t1767.t8.t1123,t1767.t8.t1123,t1766.t8.t1123,t1766.t8.t1123,t1635.t1050,t1146.t1681.t20.t1093,t1150.t1682.t20.t1093,t1154.t1683.t20.t1093,t1158.t1686.t20.t1093,
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t1257.t299,t1251.t305,t1251.t305,t2146.t203.t351,t2146.t203.t351,t2145.t203.t351,t2145.t203.t351,t2146.t203.t351,t2146.t203.t351,t2145.t203.t351,t2145.t203.t351,t2080.t188.t389,t2080.t188.t389,t2079.t188.t389,t2079.t188.t389,t1300.t410.t440.t441,t1300.t410.t440.t441,
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t2054.t433.t434,t2054.t437,t2054.t433.t434,t2054.t437,t2054.t433.t434,t2054.t437,t2054.t433.t434,t2054.t437,t2051.t435.t1315.t182.t445,t2051.t436,t2064.t442.t1316.t178.t445,t2064.t443,t2064.t442.t1316.t178.t445,t2064.t443,t2064.t442.t1316.t178.t445,t2064.t443,t2064.t442.t1316.t178.t445,t2064.t443,t2059.t177.t445,t2059.t177.t445,t2059.t177.t445,t2059.t177.t445,t2049.t177.t445,
Apr 05, 2019 8:50:34 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1270.t290,t1256.t299,t1256.t299,t1263.t297,t1263.t292,t1261.t293.t2152.t294,t1261.t295,t1256.t304,t1256.t299,t1254.t300.t2151.t301,t1254.t302,t1259.t303,t1252.t303,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t2012.t511.t512,t2012.t515,t2028.t528.t529,t2028.t532,t2026.t530.t1361.t167.t539,t2026.t531,t2032.t536.t1362.t163.t539,t2032.t537,t2010.t536.t1362.t163.t539,t2010.t537,t2030.t162.t539,t2024.t162.t539,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t1357.t484,t1343.t493,t1343.t493,t1350.t491,t1350.t486,t1348.t487.t2036.t488,t1348.t489,t1343.t498,t1343.t493,t1341.t494.t2035.t495,t1341.t496,t1336.t500,t1334.t501.t2034.t502,t1334.t503,t1346.t504,t1339.t504,t1332.t504,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 39 events :t2117.t318.t319,t2117.t322,t2128.t326.t1274.t215.t351,t2128.t327,t2114.t326.t1274.t215.t351,t2114.t327,t2128.t326.t1274.t215.t351,t2128.t327,t2114.t326.t1274.t215.t351,t2114.t327,t2128.t326.t1274.t215.t351,t2128.t327,t2114.t326.t1274.t215.t351,t2114.t327,t2128.t326.t1274.t215.t351,t2128.t327,t2114.t326.t1274.t215.t351,t2114.t327,t2128.t326.t1274.t215.t351,t2128.t327,t2114.t326.t1274.t215.t351,t2114.t327,t2141.t337.t338,t2141.t341,t2139.t339.t1276.t209.t351,t2139.t340,t2133.t339.t1276.t209.t351,t2133.t340,t2149.t345.t346,t2149.t349,t2147.t347.t1277.t205.t351,t2147.t348,t2122.t203.t351,t2122.t203.t351,t2122.t203.t351,t2122.t203.t351,t2145.t203.t351,t2143.t203.t351,t2122.t203.t351,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 28 events :t1449.t609,t1428.t625,t1428.t625,t1442.t616,t1400.t653,t1400.t653,t1414.t639,t1414.t639,t1428.t630,t1428.t625,t1426.t626.t1975.t627,t1426.t628,t1407.t646,t1407.t646,t1414.t644,t1414.t639,t1412.t640.t1973.t641,t1412.t642,t1407.t646,t1405.t647.t1972.t648,t1405.t649,t1400.t653,t1398.t654.t1971.t655,t1398.t656,t1424.t657,t1410.t657,t1403.t657,t1396.t657,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t1231.t238,t1231.t233,t1229.t234.t2172.t235,t1229.t236,t1224.t245,t1224.t240,t1222.t241.t2171.t242,t1222.t243,t1227.t244,t1220.t244,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 40 events :t1340.t504,t1340.t504,t1331.t506,t1331.t506,t1340.t504,t1340.t504,t1331.t506,t1331.t506,t1340.t504,t1331.t506,t2031.t162.t539,t2031.t162.t539,t2030.t162.t539,t2030.t162.t539,t2031.t162.t539,t2031.t162.t539,t2030.t162.t539,t2030.t162.t539,t2031.t162.t539,t2031.t162.t539,t2030.t162.t539,t2030.t162.t539,t1372.t151.t564,t1372.t151.t564,t1371.t151.t564,t1371.t151.t564,t1997.t143.t583,t1997.t143.t583,t1996.t143.t583,t1996.t143.t583,t1997.t143.t583,t1997.t143.t583,t1996.t143.t583,t1996.t143.t583,t1331.t506,t1391.t598.t1493.t810.t697,t1391.t598.t1493.t810.t697,t1391.t598.t1493.t810.t697,t1391.t598.t1493.t810.t697,t1391.t598.t1493.t810.t697,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 21 events :t1203.t1826.t1202.t928.t929,t1203.t1826.t1202.t928.t929,t1206.t1825.t1205.t928.t929,t1206.t1825.t1205.t928.t929,t1698.t1171,t1698.t1171,t1703.t1166,t1703.t1166,t1698.t1171,t1698.t1171,t1703.t1166,t1703.t1166,t1203.t1729.t1.t1194,t1203.t1729.t1.t1194,t1206.t1726.t1.t1194,t1206.t1726.t1.t1194,t1728.t1.t1194,t1728.t1.t1194,t1727.t1.t1194,t1727.t1.t1194,t1703.t1166,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 32 events :t1673.t1076.t1077,t1673.t1080,t1678.t1078.t1777.t28.t1093,t1678.t1079,t1678.t1078.t1777.t28.t1093,t1678.t1079,t1678.t1078.t1777.t28.t1093,t1678.t1079,t1678.t1078.t1777.t28.t1093,t1678.t1079,t1678.t1078.t1777.t28.t1093,t1678.t1079,t1669.t1085.t1776.t24.t1093,t1669.t1086,t1661.t1090.t1775.t21.t1093,t1661.t1091,t1661.t1090.t1775.t21.t1093,t1661.t1091,t1661.t1090.t1775.t21.t1093,t1661.t1091,t1661.t1090.t1775.t21.t1093,t1661.t1091,t1666.t20.t1093,t1666.t20.t1093,t1666.t20.t1093,t1684.t20.t1093,t1684.t20.t1093,t1684.t20.t1093,t1684.t20.t1093,t1684.t20.t1093,t1671.t20.t1093,t1666.t20.t1093,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t1708.t1165,t1708.t1160,t1706.t1161.t1745.t1162,t1706.t1163,t1701.t1172,t1701.t1167,t1699.t1168.t1744.t1169,t1699.t1170,t1704.t1171,t1697.t1171,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1741.t1178.t1710.t6.t1181,t1741.t1179,t1741.t1178.t1710.t6.t1181,t1741.t1179,t1741.t1178.t1710.t6.t1181,t1741.t1179,t1741.t1178.t1710.t6.t1181,t1741.t1179,t1736.t5.t1181,t1736.t5.t1181,t1736.t5.t1181,t1736.t5.t1181,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t406.t1247.t405.t1243.t274.t261,t406.t1247.t405.t262.t263,t406.t1247.t405.t1243.t274.t261,t406.t1247.t405.t262.t263,t406.t1247.t405.t1243.t274.t261,t406.t1247.t405.t262.t263,t1235.t264.t265,t1235.t268,t1237.t266.t2158.t227.t270,t1237.t267,t1241.t225.t270,t1239.t225.t270,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 21 events :t1713.t1188.t1189,t1713.t1192,t1713.t1188.t1189,t1713.t1192,t1713.t1188.t1189,t1713.t1192,t1717.t1190.t1732.t3.t1194,t1717.t1191,t1717.t1190.t1732.t3.t1194,t1717.t1191,t1717.t1190.t1732.t3.t1194,t1717.t1191,t1717.t1190.t1732.t3.t1194,t1717.t1191,t1727.t1.t1194,t1727.t1.t1194,t1722.t1.t1194,t1722.t1.t1194,t1722.t1.t1194,t1727.t1.t1194,t1722.t1.t1194,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 59 events :t829.t1384.t828.t559.t560,t829.t1384.t828.t559.t560,t829.t1384.t828.t559.t560,t832.t1385.t831.t559.t560,t832.t1385.t831.t559.t560,t832.t1385.t831.t559.t560,t835.t1386.t834.t559.t560,t835.t1386.t834.t559.t560,t835.t1386.t834.t559.t560,t838.t1387.t837.t559.t560,t838.t1387.t837.t559.t560,t838.t1387.t837.t559.t560,t1430.t624,t1430.t624,t1424.t657,t1424.t657,t1430.t624,t1424.t657,t1430.t624,t1430.t624,t1424.t657,t1424.t657,t829.t1959.t126.t693,t829.t1959.t126.t693,t832.t1960.t126.t693,t832.t1960.t126.t693,t835.t1961.t126.t693,t835.t1961.t126.t693,t838.t1964.t126.t693,t838.t1964.t126.t693,t1963.t126.t693,t1963.t126.t693,t1962.t126.t693,t1962.t126.t693,t1924.t89.t774,t1924.t89.t774,t1923.t89.t774,t1923.t89.t774,t1924.t89.t774,t1924.t89.t774,t1923.t89.t774,t1923.t89.t774,t1924.t89.t774,t1924.t89.t774,t1923.t89.t774,t1923.t89.t774,t1502.t74.t807,t1502.t74.t807,t1501.t74.t807,t1501.t74.t807,t1502.t74.t807,t1502.t74.t807,t1501.t74.t807,t1501.t74.t807,t1502.t74.t807,t1502.t74.t807,t1501.t74.t807,t1501.t74.t807,t1430.t624,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t1562.t855,t1541.t871,t1541.t871,t1555.t862,t1555.t857,t1553.t858.t1874.t859,t1553.t860,t1548.t864,t1546.t865.t1873.t866,t1546.t867,t1541.t876,t1541.t871,t1539.t872.t1872.t873,t1539.t874,t1551.t875,t1544.t875,t1537.t875,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 39 events :t467.t1297.t466.t354,t467.t1297.t466.t354,t470.t1296.t469.t354,t470.t1296.t469.t354,t473.t1295.t472.t354,t473.t1295.t472.t354,t1310.t184.t426,t1310.t184.t426,t1309.t184.t426,t1309.t184.t426,t467.t2062.t177.t445,t467.t2062.t177.t445,t470.t2061.t177.t445,t470.t2061.t177.t445,t473.t2058.t177.t445,t473.t2058.t177.t445,t2060.t177.t445,t2060.t177.t445,t2059.t177.t445,t2059.t177.t445,t467.t2062.t177.t445,t467.t2062.t177.t445,t470.t2061.t177.t445,t470.t2061.t177.t445,t473.t2058.t177.t445,t473.t2058.t177.t445,t2060.t177.t445,t2060.t177.t445,t2059.t177.t445,t2059.t177.t445,t1319.t458,t1319.t458,t1324.t453,t1324.t453,t1319.t458,t1319.t458,t1324.t453,t1324.t453,t1324.t453,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 47 events :t816.t2077.t815.t384.t385,t816.t2077.t815.t384.t385,t819.t2076.t818.t384.t385,t819.t2076.t818.t384.t385,t822.t2075.t821.t384.t385,t822.t2075.t821.t384.t385,t825.t2074.t824.t384.t385,t825.t2074.t824.t384.t385,t1397.t657,t1397.t657,t1402.t652,t1402.t652,t1397.t657,t1402.t652,t1397.t657,t1397.t657,t1402.t652,t1402.t652,t816.t1468.t109.t730,t816.t1468.t109.t730,t819.t1467.t109.t730,t819.t1467.t109.t730,t822.t1466.t109.t730,t822.t1466.t109.t730,t825.t1463.t109.t730,t825.t1463.t109.t730,t1465.t109.t730,t1465.t109.t730,t1464.t109.t730,t1464.t109.t730,t1922.t89.t774,t1922.t89.t774,t1921.t89.t774,t1921.t89.t774,t1922.t89.t774,t1922.t89.t774,t1921.t89.t774,t1921.t89.t774,t1508.t74.t807,t1508.t74.t807,t1507.t74.t807,t1507.t74.t807,t1508.t74.t807,t1508.t74.t807,t1507.t74.t807,t1507.t74.t807,t1402.t652,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t473.t1295.t472.t1294.t392.t353,t473.t1295.t472.t362.t363,t473.t1295.t472.t354,t473.t1295.t472.t1294.t392.t353,t473.t1295.t472.t362.t363,t473.t1295.t472.t354,t1286.t355.t356,t1286.t359,t1288.t357.t2093.t201.t370,t1288.t358,t1278.t364.t365,t1278.t368,t1280.t366.t2092.t197.t370,t1280.t367,t1284.t195.t370,t1282.t195.t370,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 19 events :t1308.t184.t426,t1308.t184.t426,t1307.t184.t426,t1307.t184.t426,t2050.t177.t445,t2050.t177.t445,t2049.t177.t445,t2049.t177.t445,t1317.t460,t1317.t460,t1325.t458,t1325.t458,t1317.t460,t1317.t460,t1325.t458,t1325.t458,t1317.t460,t2040.t477.t889.t890,t2040.t477.t889.t890,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 30 events :t1158.t1531.t1156.t777.t786,t1158.t1531.t1156.t777.t778,t1158.t1531.t1156.t794.t803,t1158.t1531.t1156.t794.t795,t1158.t1531.t1156.t1527.t812.t776,t1158.t1531.t1156.t777.t786,t1158.t1531.t1156.t777.t778,t1158.t1531.t1156.t794.t803,t1158.t1531.t1156.t794.t795,t1158.t1531.t1156.t1527.t812.t776,t1158.t1531.t1156.t777.t786,t1158.t1531.t1156.t777.t778,t1158.t1531.t1156.t794.t803,t1158.t1531.t1156.t794.t795,t1158.t1531.t1156.t1527.t812.t776,t1519.t779.t780,t1519.t783,t1511.t787.t788,t1511.t791,t1503.t796.t797,t1503.t800,t1505.t798.t1881.t79.t807,t1505.t799,t1521.t804.t1880.t75.t807,t1521.t805,t1499.t804.t1880.t75.t807,t1499.t805,t1517.t74.t807,t1507.t74.t807,t1501.t74.t807,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t1654.t1035,t1654.t1030,t1652.t1031.t1798.t1032,t1652.t1033,t1647.t1042,t1633.t1051,t1633.t1051,t1640.t1044,t1638.t1045.t1796.t1046,t1638.t1047,t1633.t1056,t1633.t1051,t1631.t1052.t1795.t1053,t1631.t1054,t1650.t1055,t1636.t1055,t1629.t1055,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t825.t2074.t824.t2078.t393.t374,t825.t2074.t824.t375.t376,t825.t2074.t824.t384.t385,t825.t2074.t824.t2078.t393.t374,t825.t2074.t824.t375.t376,t825.t2074.t824.t384.t385,t825.t2074.t824.t2078.t393.t374,t825.t2074.t824.t375.t376,t825.t2074.t824.t384.t385,t2085.t377.t378,t2085.t381,t2083.t379.t1298.t193.t389,t2083.t380,t2089.t386.t1299.t189.t389,t2089.t387,t2087.t188.t389,t2081.t188.t389,t2079.t188.t389,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 33 events :t1131.t1622.t1130.t1006.t1007,t1131.t1622.t1130.t1006.t1007,t1134.t1623.t1133.t1006.t1007,t1134.t1623.t1133.t1006.t1007,t1137.t1624.t1136.t1006.t1007,t1137.t1624.t1136.t1006.t1007,t1642.t1043,t1642.t1043,t1650.t1055,t1650.t1055,t1642.t1043,t1642.t1043,t1650.t1055,t1650.t1055,t1131.t1664.t20.t1093,t1131.t1664.t20.t1093,t1134.t1665.t20.t1093,t1134.t1665.t20.t1093,t1137.t1668.t20.t1093,t1137.t1668.t20.t1093,t1667.t20.t1093,t1667.t20.t1093,t1666.t20.t1093,t1666.t20.t1093,t1769.t8.t1123,t1769.t8.t1123,t1768.t8.t1123,t1768.t8.t1123,t1769.t8.t1123,t1769.t8.t1123,t1768.t8.t1123,t1768.t8.t1123,t1642.t1043,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t1605.t969,t1605.t964,t1603.t965.t1821.t966,t1603.t967,t1598.t976,t1598.t971,t1596.t972.t1820.t973,t1596.t974,t1601.t975,t1594.t975,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 49 events :t397.t1244.t396.t262.t263,t400.t1245.t399.t262.t263,t403.t1246.t402.t262.t263,t406.t1247.t405.t262.t263,t1265.t291,t1265.t291,t1259.t303,t1259.t303,t1265.t291,t1265.t291,t1259.t303,t1259.t303,t397.t2119.t203.t351,t397.t2119.t203.t351,t397.t2119.t203.t351,t397.t2119.t203.t351,t400.t2120.t203.t351,t400.t2120.t203.t351,t400.t2120.t203.t351,t400.t2120.t203.t351,t403.t2121.t203.t351,t403.t2121.t203.t351,t403.t2121.t203.t351,t403.t2121.t203.t351,t406.t2124.t203.t351,t406.t2124.t203.t351,t406.t2124.t203.t351,t406.t2124.t203.t351,t2123.t203.t351,t2123.t203.t351,t2122.t203.t351,t2122.t203.t351,t2123.t203.t351,t2123.t203.t351,t2122.t203.t351,t2122.t203.t351,t1283.t195.t370,t1283.t195.t370,t1282.t195.t370,t1282.t195.t370,t1283.t195.t370,t1283.t195.t370,t1282.t195.t370,t1282.t195.t370,t2088.t188.t389,t2088.t188.t389,t2087.t188.t389,t2087.t188.t389,t1265.t291,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 22 events :t1536.t877,t1536.t877,t1544.t875,t1544.t875,t1536.t877,t1536.t877,t1544.t875,t1544.t875,t1845.t67.t894,t1845.t67.t894,t1844.t67.t894,t1844.t67.t894,t1573.t57.t916,t1573.t57.t916,t1572.t57.t916,t1572.t57.t916,t1573.t57.t916,t1573.t57.t916,t1572.t57.t916,t1572.t57.t916,t1536.t877,t1824.t962.t1176.t1177,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t1206.t1825.t1205.t1827.t937.t918,t1206.t1825.t1205.t919.t920,t1206.t1825.t1205.t928.t929,t1834.t921.t922,t1834.t925,t1838.t930.t1592.t51.t933,t1838.t931,t1832.t930.t1592.t51.t933,t1832.t931,t1836.t50.t933,t1828.t50.t933,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 46 events :t1416.t638,t1416.t638,t1410.t657,t1410.t657,t1416.t638,t1410.t657,t1416.t638,t1416.t638,t1410.t657,t1410.t657,t1956.t126.t693,t1956.t126.t693,t1955.t126.t693,t1955.t126.t693,t1956.t126.t693,t1956.t126.t693,t1955.t126.t693,t1955.t126.t693,t1956.t126.t693,t1956.t126.t693,t1955.t126.t693,t1955.t126.t693,t1472.t109.t730,t1472.t109.t730,t1471.t109.t730,t1471.t109.t730,t1472.t109.t730,t1472.t109.t730,t1471.t109.t730,t1471.t109.t730,t1472.t109.t730,t1472.t109.t730,t1471.t109.t730,t1471.t109.t730,t1906.t89.t774,t1906.t89.t774,t1905.t89.t774,t1905.t89.t774,t1906.t89.t774,t1906.t89.t774,t1905.t89.t774,t1905.t89.t774,t1416.t638,t1879.t848.t1075,t1879.t848.t1075,t1879.t848.t1075,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 42 events :t1258.t298,t1258.t298,t1252.t303,t1252.t303,t1258.t298,t1258.t298,t1252.t303,t1252.t303,t2144.t203.t351,t2144.t203.t351,t2143.t203.t351,t2143.t203.t351,t2144.t203.t351,t2144.t203.t351,t2143.t203.t351,t2143.t203.t351,t2144.t203.t351,t2144.t203.t351,t2143.t203.t351,t2143.t203.t351,t2144.t203.t351,t2144.t203.t351,t2143.t203.t351,t2143.t203.t351,t1285.t195.t370,t1285.t195.t370,t1284.t195.t370,t1284.t195.t370,t1285.t195.t370,t1285.t195.t370,t1284.t195.t370,t1284.t195.t370,t2082.t188.t389,t2082.t188.t389,t2081.t188.t389,t2081.t188.t389,t1258.t298,t2073.t415.t662,t2073.t415.t662,t2073.t415.t662,t2073.t415.t662,t2073.t415.t662,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 26 events :t1338.t499,t1338.t499,t1332.t504,t1332.t504,t1338.t499,t1338.t499,t1332.t504,t1332.t504,t1366.t151.t564,t1366.t151.t564,t1365.t151.t564,t1365.t151.t564,t1366.t151.t564,t1366.t151.t564,t1365.t151.t564,t1365.t151.t564,t1995.t143.t583,t1995.t143.t583,t1994.t143.t583,t1994.t143.t583,t1995.t143.t583,t1995.t143.t583,t1994.t143.t583,t1994.t143.t583,t2161.t593.t249.t250,t1338.t499,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 22 events :t1219.t246,t1219.t246,t1227.t244,t1227.t244,t1219.t246,t1219.t246,t1227.t244,t1227.t244,t2164.t229.t257,t2164.t229.t257,t2163.t229.t257,t2163.t229.t257,t1242.t225.t270,t1242.t225.t270,t1241.t225.t270,t1241.t225.t270,t1219.t246,t2156.t283.t2094.t391.t307,t2156.t283.t2094.t391.t307,t2156.t283.t2094.t391.t307,t2156.t283.t2094.t391.t307,t2156.t283.t2094.t391.t307,
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 1454 redundant transitions.
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-5B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 850 ms
Apr 05, 2019 8:50:35 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 57 place invariants in 297 ms
Apr 05, 2019 8:50:35 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/GlobalProperties.pnml.gal : 37 ms
Apr 05, 2019 8:50:46 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 404 variables to be positive in 11914 ms
Apr 05, 2019 8:50:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 1141 transitions.
Apr 05, 2019 8:50:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of disable matrix completed :0/1141 took 1 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Apr 05, 2019 8:50:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 361 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Apr 05, 2019 8:50:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 1141 transitions.
Apr 05, 2019 8:50:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 73 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Apr 05, 2019 8:50:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 1141 transitions.
Apr 05, 2019 8:50:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3/1141) took 4318 ms. Total solver calls (SAT/UNSAT): 249(0/249)
Apr 05, 2019 8:50:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(9/1141) took 8457 ms. Total solver calls (SAT/UNSAT): 618(0/618)
Apr 05, 2019 8:50:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(12/1141) took 11547 ms. Total solver calls (SAT/UNSAT): 898(0/898)
Apr 05, 2019 8:51:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(17/1141) took 15002 ms. Total solver calls (SAT/UNSAT): 1220(0/1220)
Apr 05, 2019 8:51:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(19/1141) took 18235 ms. Total solver calls (SAT/UNSAT): 1325(0/1325)
Apr 05, 2019 8:51:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(24/1141) took 21351 ms. Total solver calls (SAT/UNSAT): 1572(8/1564)
Apr 05, 2019 8:51:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(30/1141) took 24604 ms. Total solver calls (SAT/UNSAT): 1893(33/1860)
Apr 05, 2019 8:51:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(36/1141) took 27620 ms. Total solver calls (SAT/UNSAT): 2128(56/2072)
Apr 05, 2019 8:51:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(46/1141) took 31624 ms. Total solver calls (SAT/UNSAT): 2527(81/2446)
Apr 05, 2019 8:51:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(50/1141) took 35921 ms. Total solver calls (SAT/UNSAT): 2727(105/2622)
Apr 05, 2019 8:51:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(52/1141) took 39148 ms. Total solver calls (SAT/UNSAT): 2882(113/2769)
Apr 05, 2019 8:51:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(57/1141) took 43245 ms. Total solver calls (SAT/UNSAT): 3158(140/3018)
Apr 05, 2019 8:51:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(59/1141) took 46696 ms. Total solver calls (SAT/UNSAT): 3290(140/3150)
Apr 05, 2019 8:51:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(62/1141) took 50338 ms. Total solver calls (SAT/UNSAT): 3548(161/3387)
Apr 05, 2019 8:51:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(64/1141) took 53879 ms. Total solver calls (SAT/UNSAT): 3743(177/3566)
Apr 05, 2019 8:51:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(66/1141) took 57204 ms. Total solver calls (SAT/UNSAT): 3934(193/3741)
Apr 05, 2019 8:51:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(71/1141) took 60401 ms. Total solver calls (SAT/UNSAT): 4285(207/4078)
Apr 05, 2019 8:51:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(80/1141) took 65308 ms. Total solver calls (SAT/UNSAT): 4813(252/4561)
Apr 05, 2019 8:51:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(83/1141) took 70414 ms. Total solver calls (SAT/UNSAT): 5029(273/4756)
Apr 05, 2019 8:52:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(87/1141) took 74564 ms. Total solver calls (SAT/UNSAT): 5241(284/4957)
Apr 05, 2019 8:52:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(91/1141) took 78281 ms. Total solver calls (SAT/UNSAT): 5458(296/5162)
Apr 05, 2019 8:52:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(99/1141) took 81348 ms. Total solver calls (SAT/UNSAT): 5789(326/5463)
Apr 05, 2019 8:52:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(112/1141) took 84374 ms. Total solver calls (SAT/UNSAT): 6374(364/6010)
Apr 05, 2019 8:52:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(119/1141) took 87675 ms. Total solver calls (SAT/UNSAT): 6652(386/6266)
Apr 05, 2019 8:52:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(124/1141) took 91462 ms. Total solver calls (SAT/UNSAT): 6920(419/6501)
Apr 05, 2019 8:52:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(129/1141) took 95398 ms. Total solver calls (SAT/UNSAT): 7278(442/6836)
Apr 05, 2019 8:52:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(131/1141) took 98583 ms. Total solver calls (SAT/UNSAT): 7479(462/7017)
Apr 05, 2019 8:52:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(136/1141) took 102623 ms. Total solver calls (SAT/UNSAT): 7892(488/7404)
Apr 05, 2019 8:52:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(143/1141) took 107672 ms. Total solver calls (SAT/UNSAT): 8327(525/7802)
Apr 05, 2019 8:52:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(148/1141) took 111375 ms. Total solver calls (SAT/UNSAT): 8717(555/8162)
Apr 05, 2019 8:52:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(152/1141) took 114460 ms. Total solver calls (SAT/UNSAT): 9007(566/8441)
Apr 05, 2019 8:52:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(159/1141) took 118578 ms. Total solver calls (SAT/UNSAT): 9317(588/8729)
Apr 05, 2019 8:52:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(171/1141) took 122188 ms. Total solver calls (SAT/UNSAT): 10265(678/9587)
Apr 05, 2019 8:52:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(175/1141) took 125720 ms. Total solver calls (SAT/UNSAT): 10665(706/9959)
Apr 05, 2019 8:52:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(181/1141) took 128916 ms. Total solver calls (SAT/UNSAT): 11041(734/10307)
Apr 05, 2019 8:52:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(188/1141) took 132205 ms. Total solver calls (SAT/UNSAT): 11625(783/10842)
Apr 05, 2019 8:53:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(192/1141) took 135699 ms. Total solver calls (SAT/UNSAT): 11957(797/11160)
Apr 05, 2019 8:53:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(196/1141) took 138984 ms. Total solver calls (SAT/UNSAT): 12279(807/11472)
Apr 05, 2019 8:53:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(199/1141) took 142775 ms. Total solver calls (SAT/UNSAT): 12468(823/11645)
Apr 05, 2019 8:53:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(204/1141) took 146016 ms. Total solver calls (SAT/UNSAT): 12784(849/11935)
Apr 05, 2019 8:53:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(207/1141) took 150612 ms. Total solver calls (SAT/UNSAT): 13044(883/12161)
Apr 05, 2019 8:53:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(209/1141) took 155584 ms. Total solver calls (SAT/UNSAT): 13239(887/12352)
Apr 05, 2019 8:53:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(211/1141) took 159586 ms. Total solver calls (SAT/UNSAT): 13430(895/12535)
Apr 05, 2019 8:53:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(214/1141) took 163017 ms. Total solver calls (SAT/UNSAT): 13693(908/12785)
Apr 05, 2019 8:53:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(222/1141) took 166876 ms. Total solver calls (SAT/UNSAT): 14337(938/13399)
Apr 05, 2019 8:53:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(227/1141) took 169919 ms. Total solver calls (SAT/UNSAT): 14701(972/13729)
Apr 05, 2019 8:53:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(232/1141) took 173755 ms. Total solver calls (SAT/UNSAT): 14944(1002/13942)
Apr 05, 2019 8:53:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(238/1141) took 178679 ms. Total solver calls (SAT/UNSAT): 15243(1023/14220)
Apr 05, 2019 8:53:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(242/1141) took 182244 ms. Total solver calls (SAT/UNSAT): 15446(1054/14392)
Apr 05, 2019 8:53:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(250/1141) took 186259 ms. Total solver calls (SAT/UNSAT): 15770(1086/14684)
Apr 05, 2019 8:53:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(254/1141) took 189844 ms. Total solver calls (SAT/UNSAT): 15952(1095/14857)
Apr 05, 2019 8:54:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(258/1141) took 192873 ms. Total solver calls (SAT/UNSAT): 16134(1113/15021)
Apr 05, 2019 8:54:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(263/1141) took 196309 ms. Total solver calls (SAT/UNSAT): 16343(1137/15206)
Apr 05, 2019 8:54:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(266/1141) took 199436 ms. Total solver calls (SAT/UNSAT): 16470(1154/15316)
Apr 05, 2019 8:54:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(272/1141) took 202469 ms. Total solver calls (SAT/UNSAT): 16776(1172/15604)
Apr 05, 2019 8:54:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(282/1141) took 206411 ms. Total solver calls (SAT/UNSAT): 17103(1196/15907)
Apr 05, 2019 8:54:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(289/1141) took 209673 ms. Total solver calls (SAT/UNSAT): 17512(1241/16271)
Apr 05, 2019 8:54:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(297/1141) took 213855 ms. Total solver calls (SAT/UNSAT): 17980(1285/16695)
Apr 05, 2019 8:54:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(302/1141) took 218107 ms. Total solver calls (SAT/UNSAT): 18360(1316/17044)
Apr 05, 2019 8:54:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(307/1141) took 221941 ms. Total solver calls (SAT/UNSAT): 18745(1333/17412)
Apr 05, 2019 8:54:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(314/1141) took 226290 ms. Total solver calls (SAT/UNSAT): 19294(1353/17941)
Apr 05, 2019 8:54:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(328/1141) took 229684 ms. Total solver calls (SAT/UNSAT): 19886(1409/18477)
Apr 05, 2019 8:54:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(342/1141) took 232882 ms. Total solver calls (SAT/UNSAT): 20351(1450/18901)
Apr 05, 2019 8:54:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(359/1141) took 236092 ms. Total solver calls (SAT/UNSAT): 20757(1510/19247)
Apr 05, 2019 8:54:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(368/1141) took 239207 ms. Total solver calls (SAT/UNSAT): 20930(1529/19401)
Apr 05, 2019 8:54:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(381/1141) took 243233 ms. Total solver calls (SAT/UNSAT): 21143(1558/19585)
Apr 05, 2019 8:54:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(387/1141) took 246694 ms. Total solver calls (SAT/UNSAT): 21509(1585/19924)
Apr 05, 2019 8:54:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(395/1141) took 250203 ms. Total solver calls (SAT/UNSAT): 21968(1619/20349)
Apr 05, 2019 8:55:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(407/1141) took 254145 ms. Total solver calls (SAT/UNSAT): 22131(1637/20494)
Apr 05, 2019 8:55:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(411/1141) took 257702 ms. Total solver calls (SAT/UNSAT): 22301(1645/20656)
Apr 05, 2019 8:55:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(417/1141) took 261161 ms. Total solver calls (SAT/UNSAT): 22516(1660/20856)
Apr 05, 2019 8:55:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(427/1141) took 264435 ms. Total solver calls (SAT/UNSAT): 23001(1719/21282)
Apr 05, 2019 8:55:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(431/1141) took 267762 ms. Total solver calls (SAT/UNSAT): 23191(1749/21442)
Apr 05, 2019 8:55:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(441/1141) took 272301 ms. Total solver calls (SAT/UNSAT): 23500(1786/21714)
Apr 05, 2019 8:55:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(445/1141) took 275896 ms. Total solver calls (SAT/UNSAT): 23650(1808/21842)
Apr 05, 2019 8:55:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(452/1141) took 278958 ms. Total solver calls (SAT/UNSAT): 23802(1830/21972)
Apr 05, 2019 8:55:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(456/1141) took 282284 ms. Total solver calls (SAT/UNSAT): 23952(1842/22110)
Apr 05, 2019 8:55:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(464/1141) took 285755 ms. Total solver calls (SAT/UNSAT): 24104(1881/22223)
Apr 05, 2019 8:55:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(475/1141) took 288799 ms. Total solver calls (SAT/UNSAT): 24313(1908/22405)
Apr 05, 2019 8:55:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(486/1141) took 291909 ms. Total solver calls (SAT/UNSAT): 24697(1948/22749)
Apr 05, 2019 8:55:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(493/1141) took 294933 ms. Total solver calls (SAT/UNSAT): 24834(1960/22874)
Apr 05, 2019 8:55:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(507/1141) took 298442 ms. Total solver calls (SAT/UNSAT): 25078(1988/23090)
Apr 05, 2019 8:55:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(512/1141) took 301516 ms. Total solver calls (SAT/UNSAT): 25193(2005/23188)
Apr 05, 2019 8:55:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(525/1141) took 304574 ms. Total solver calls (SAT/UNSAT): 25366(2036/23330)
Apr 05, 2019 8:55:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(537/1141) took 308538 ms. Total solver calls (SAT/UNSAT): 25828(2064/23764)
Apr 05, 2019 8:55:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(543/1141) took 312032 ms. Total solver calls (SAT/UNSAT): 26119(2101/24018)
Apr 05, 2019 8:56:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(553/1141) took 315061 ms. Total solver calls (SAT/UNSAT): 26242(2117/24125)
Apr 05, 2019 8:56:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(560/1141) took 318080 ms. Total solver calls (SAT/UNSAT): 26525(2132/24393)
Apr 05, 2019 8:56:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(564/1141) took 322057 ms. Total solver calls (SAT/UNSAT): 26787(2170/24617)
Apr 05, 2019 8:56:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(568/1141) took 325276 ms. Total solver calls (SAT/UNSAT): 27033(2208/24825)
Apr 05, 2019 8:56:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(570/1141) took 328398 ms. Total solver calls (SAT/UNSAT): 27150(2227/24923)
Apr 05, 2019 8:56:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(584/1141) took 331863 ms. Total solver calls (SAT/UNSAT): 27729(2276/25453)
Apr 05, 2019 8:56:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(590/1141) took 335099 ms. Total solver calls (SAT/UNSAT): 27996(2309/25687)
Apr 05, 2019 8:56:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(594/1141) took 338459 ms. Total solver calls (SAT/UNSAT): 28154(2331/25823)
Apr 05, 2019 8:56:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(600/1141) took 341660 ms. Total solver calls (SAT/UNSAT): 28317(2362/25955)
Apr 05, 2019 8:56:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(609/1141) took 345111 ms. Total solver calls (SAT/UNSAT): 28568(2397/26171)
Apr 05, 2019 8:56:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(625/1141) took 348164 ms. Total solver calls (SAT/UNSAT): 28856(2442/26414)
Apr 05, 2019 8:56:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(630/1141) took 351419 ms. Total solver calls (SAT/UNSAT): 29044(2470/26574)
Apr 05, 2019 8:56:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(634/1141) took 355639 ms. Total solver calls (SAT/UNSAT): 29402(2498/26904)
Apr 05, 2019 8:56:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(636/1141) took 359199 ms. Total solver calls (SAT/UNSAT): 29575(2499/27076)
Apr 05, 2019 8:56:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(640/1141) took 363251 ms. Total solver calls (SAT/UNSAT): 29877(2523/27354)
Apr 05, 2019 8:56:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(648/1141) took 366723 ms. Total solver calls (SAT/UNSAT): 30433(2587/27846)
Apr 05, 2019 8:56:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(659/1141) took 370204 ms. Total solver calls (SAT/UNSAT): 30799(2628/28171)
Apr 05, 2019 8:57:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(674/1141) took 373713 ms. Total solver calls (SAT/UNSAT): 31046(2666/28380)
Apr 05, 2019 8:57:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(686/1141) took 376719 ms. Total solver calls (SAT/UNSAT): 31936(2754/29182)
Apr 05, 2019 8:57:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(697/1141) took 379955 ms. Total solver calls (SAT/UNSAT): 32638(2795/29843)
Apr 05, 2019 8:57:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(702/1141) took 383026 ms. Total solver calls (SAT/UNSAT): 32852(2810/30042)
Apr 05, 2019 8:57:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(714/1141) took 386246 ms. Total solver calls (SAT/UNSAT): 32990(2833/30157)
Apr 05, 2019 8:57:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(722/1141) took 389580 ms. Total solver calls (SAT/UNSAT): 33118(2844/30274)
Apr 05, 2019 8:57:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(727/1141) took 392690 ms. Total solver calls (SAT/UNSAT): 33383(2866/30517)
Apr 05, 2019 8:57:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(732/1141) took 396059 ms. Total solver calls (SAT/UNSAT): 33623(2883/30740)
Apr 05, 2019 8:57:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(738/1141) took 399983 ms. Total solver calls (SAT/UNSAT): 33878(2930/30948)
Apr 05, 2019 8:57:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(746/1141) took 403247 ms. Total solver calls (SAT/UNSAT): 34162(2956/31206)
Apr 05, 2019 8:57:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(753/1141) took 406839 ms. Total solver calls (SAT/UNSAT): 34358(3015/31343)
Apr 05, 2019 8:57:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(765/1141) took 410501 ms. Total solver calls (SAT/UNSAT): 34940(3062/31878)
Apr 05, 2019 8:57:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(773/1141) took 413892 ms. Total solver calls (SAT/UNSAT): 35248(3093/32155)
Apr 05, 2019 8:57:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(787/1141) took 416960 ms. Total solver calls (SAT/UNSAT): 35549(3130/32419)
Apr 05, 2019 8:57:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(796/1141) took 420100 ms. Total solver calls (SAT/UNSAT): 35807(3149/32658)
Apr 05, 2019 8:57:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(804/1141) took 424219 ms. Total solver calls (SAT/UNSAT): 36083(3227/32856)
Apr 05, 2019 8:57:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(809/1141) took 427407 ms. Total solver calls (SAT/UNSAT): 36208(3246/32962)
Apr 05, 2019 8:57:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(820/1141) took 430500 ms. Total solver calls (SAT/UNSAT): 36459(3342/33117)
Apr 05, 2019 8:58:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(830/1141) took 433767 ms. Total solver calls (SAT/UNSAT): 36644(3394/33250)
Apr 05, 2019 8:58:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(835/1141) took 436969 ms. Total solver calls (SAT/UNSAT): 36816(3410/33406)
Apr 05, 2019 8:58:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(848/1141) took 440110 ms. Total solver calls (SAT/UNSAT): 37269(3487/33782)
Apr 05, 2019 8:58:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(859/1141) took 443473 ms. Total solver calls (SAT/UNSAT): 37382(3505/33877)
Apr 05, 2019 8:58:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(864/1141) took 446997 ms. Total solver calls (SAT/UNSAT): 37599(3519/34080)
Apr 05, 2019 8:58:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(881/1141) took 450030 ms. Total solver calls (SAT/UNSAT): 37989(3570/34419)
Apr 05, 2019 8:58:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(892/1141) took 453474 ms. Total solver calls (SAT/UNSAT): 38101(3589/34512)
Apr 05, 2019 8:58:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(912/1141) took 456490 ms. Total solver calls (SAT/UNSAT): 38463(3640/34823)
Apr 05, 2019 8:58:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(921/1141) took 459702 ms. Total solver calls (SAT/UNSAT): 38625(3679/34946)
Apr 05, 2019 8:58:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(937/1141) took 463938 ms. Total solver calls (SAT/UNSAT): 38811(3719/35092)
Apr 05, 2019 8:58:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(949/1141) took 467156 ms. Total solver calls (SAT/UNSAT): 39097(3769/35328)
Apr 05, 2019 8:58:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(953/1141) took 470355 ms. Total solver calls (SAT/UNSAT): 39235(3783/35452)
Apr 05, 2019 8:58:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(964/1141) took 473586 ms. Total solver calls (SAT/UNSAT): 39527(3815/35712)
Apr 05, 2019 8:58:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(973/1141) took 476754 ms. Total solver calls (SAT/UNSAT): 39689(3835/35854)
Apr 05, 2019 8:58:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(984/1141) took 480503 ms. Total solver calls (SAT/UNSAT): 39851(3859/35992)
Apr 05, 2019 8:58:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(991/1141) took 483504 ms. Total solver calls (SAT/UNSAT): 40256(3906/36350)
Apr 05, 2019 8:58:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1009/1141) took 486694 ms. Total solver calls (SAT/UNSAT): 40551(3949/36602)
Apr 05, 2019 8:58:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1018/1141) took 490072 ms. Total solver calls (SAT/UNSAT): 40961(4002/36959)
Apr 05, 2019 8:59:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1033/1141) took 493274 ms. Total solver calls (SAT/UNSAT): 41287(4030/37257)
Apr 05, 2019 8:59:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1037/1141) took 496519 ms. Total solver calls (SAT/UNSAT): 41485(4040/37445)
Apr 05, 2019 8:59:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1047/1141) took 500428 ms. Total solver calls (SAT/UNSAT): 41940(4065/37875)
Apr 05, 2019 8:59:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1052/1141) took 503597 ms. Total solver calls (SAT/UNSAT): 42114(4071/38043)
Apr 05, 2019 8:59:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1058/1141) took 506741 ms. Total solver calls (SAT/UNSAT): 42357(4090/38267)
Apr 05, 2019 8:59:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1062/1141) took 509929 ms. Total solver calls (SAT/UNSAT): 42499(4096/38403)
Apr 05, 2019 8:59:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1075/1141) took 513067 ms. Total solver calls (SAT/UNSAT): 42850(4129/38721)
Apr 05, 2019 8:59:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1082/1141) took 516078 ms. Total solver calls (SAT/UNSAT): 42945(4142/38803)
Apr 05, 2019 8:59:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1097/1141) took 519109 ms. Total solver calls (SAT/UNSAT): 43135(4198/38937)
Apr 05, 2019 8:59:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1116/1141) took 522129 ms. Total solver calls (SAT/UNSAT): 43378(4231/39147)
Apr 05, 2019 8:59:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1132/1141) took 525284 ms. Total solver calls (SAT/UNSAT): 43562(4271/39291)
Apr 05, 2019 8:59:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished co-enabling matrix. took 526114 ms. Total solver calls (SAT/UNSAT): 43590(4275/39315)
Apr 05, 2019 8:59:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 1141 transitions.
Apr 05, 2019 8:59:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed DNA matrix. took 276 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Apr 05, 2019 8:59:34 PM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Built C files in 540634ms conformant to PINS in folder :/home/mcc/execution
ITS-tools command line returned an error code 1

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="NoC3x3-PT-5B"
export BK_EXAMINATION="GlobalProperties"
export BK_TOOL="itstools"
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 itstools"
echo " Input is NoC3x3-PT-5B, 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 r184-csrt-155344538000318"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-5B.tgz
mv NoC3x3-PT-5B 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 ;