Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is S_Eratosthenes-PT-500, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r110-blw3-149441614400347
=====================================================================

--------------------
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 Eratosthenes-PT-500-LTLCardinality-0
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-1
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-10
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-11
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-12
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-13
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-14
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-15
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-2
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-3
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-4
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-5
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-6
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-7
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-8
FORMULA_NAME Eratosthenes-PT-500-LTLCardinality-9

=== Now, execution of the tool begins

BK_START 1496437792995


Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ltl command run as :

/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLCardinality.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLCardinality.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((false))
Formula 0 simplified : 1
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 2191 rows 404 cols
2 unique states visited
2 strongly connected components in search stack
2 transitions explored
2 items max in DFS search stack
2191 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,22.1041,634240,1,0,410,5.28944e+06,17,810,10702,2.45186e+06,1227
an accepting run exists (use option '-e' to print it)
Formula 0 is FALSE accepting run found.
FORMULA Eratosthenes-PT-500-LTLCardinality-0 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 1 : !((F((G("p414>=3"))U(F("p226>=2")))))
Formula 1 simplified : !F(G"p414>=3" U F"p226>=2")
2 unique states visited
2 strongly connected components in search stack
2 transitions explored
2 items max in DFS search stack
3137 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,53.487,1436548,1,0,1215,1.0619e+07,26,1619,10704,7.08992e+06,4063
an accepting run exists (use option '-e' to print it)
Formula 1 is FALSE accepting run found.
FORMULA Eratosthenes-PT-500-LTLCardinality-1 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 2 : !((X(F(X(X("p398<=p39"))))))
Formula 2 simplified : !XFXX"p398<=p39"
4 unique states visited
0 strongly connected components in search stack
3 transitions explored
4 items max in DFS search stack
11125 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,164.729,2201932,1,0,1803,1.68663e+07,14,1761,6603,1.06134e+07,3661
no accepting run found
Formula 2 is TRUE no accepting run found.
FORMULA Eratosthenes-PT-500-LTLCardinality-2 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 3 : !(("p392>=1"))
Formula 3 simplified : !"p392>=1"
1 unique states visited
0 strongly connected components in search stack
0 transitions explored
1 items max in DFS search stack
56 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,165.289,2201932,1,0,1804,1.68663e+07,18,1761,7410,1.06134e+07,3664
no accepting run found
Formula 3 is TRUE no accepting run found.
FORMULA Eratosthenes-PT-500-LTLCardinality-3 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 4 : !((true))
Formula 4 simplified : 0
1 unique states visited
0 strongly connected components in search stack
0 transitions explored
1 items max in DFS search stack
0 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,165.289,2201932,1,0,1804,1.68663e+07,18,1761,7410,1.06134e+07,3664
no accepting run found
Formula 4 is TRUE no accepting run found.
FORMULA Eratosthenes-PT-500-LTLCardinality-4 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 5 : !((G(X("p134<=p121"))))
Formula 5 simplified : !GX"p134<=p121"
4 unique states visited
4 strongly connected components in search stack
4 transitions explored
4 items max in DFS search stack
8580 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,251.091,2447836,1,0,1944,1.90781e+07,19,1761,7411,1.1745e+07,3015
an accepting run exists (use option '-e' to print it)
Formula 5 is FALSE accepting run found.
FORMULA Eratosthenes-PT-500-LTLCardinality-5 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 6 : !(((X("p22>=2"))U("p381>=2")))
Formula 6 simplified : !(X"p22>=2" U "p381>=2")
4 unique states visited
4 strongly connected components in search stack
4 transitions explored
4 items max in DFS search stack
300 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,254.091,2447924,1,0,1944,1.90781e+07,29,2328,8223,1.1745e+07,4240
an accepting run exists (use option '-e' to print it)
Formula 6 is FALSE accepting run found.
FORMULA Eratosthenes-PT-500-LTLCardinality-6 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 7 : !(((F(F("p189>=1")))U(X(X("p315<=p141")))))
Formula 7 simplified : !(F"p189>=1" U XX"p315<=p141")
412 unique states visited
406 strongly connected components in search stack
412 transitions explored
406 items max in DFS search stack
12841 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,382.502,2694808,1,0,2569,2.03238e+07,19,2496,6606,1.33972e+07,6027
an accepting run exists (use option '-e' to print it)
Formula 7 is FALSE accepting run found.
FORMULA Eratosthenes-PT-500-LTLCardinality-7 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 8 : !((F(X(("p342<=p460")U("p114>=3")))))
Formula 8 simplified : !FX("p342<=p460" U "p114>=3")
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
9659 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,479.09,2962232,1,0,2677,2.17467e+07,14,2496,6599,1.50891e+07,3771
an accepting run exists (use option '-e' to print it)
Formula 8 is FALSE accepting run found.
FORMULA Eratosthenes-PT-500-LTLCardinality-8 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 9 : !((G(X((true)U("p341>=2")))))
Formula 9 simplified : !GX(1 U "p341>=2")
407 unique states visited
407 strongly connected components in search stack
408 transitions explored
407 items max in DFS search stack
1021 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,489.304,2962244,1,0,2677,2.17467e+07,29,2496,8215,1.50891e+07,4997
an accepting run exists (use option '-e' to print it)
Formula 9 is FALSE accepting run found.
FORMULA Eratosthenes-PT-500-LTLCardinality-9 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 10 : !((G(X(("p403>=1")U("p48<=1")))))
Formula 10 simplified : !GX("p403>=1" U "p48<=1")
809 unique states visited
0 strongly connected components in search stack
810 transitions explored
406 items max in DFS search stack
10 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,489.406,2962244,1,0,2677,2.17467e+07,39,2496,8221,1.50891e+07,6613
no accepting run found
Formula 10 is TRUE no accepting run found.
FORMULA Eratosthenes-PT-500-LTLCardinality-10 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 11 : !(("p390>=1"))
Formula 11 simplified : !"p390>=1"
1 unique states visited
0 strongly connected components in search stack
0 transitions explored
1 items max in DFS search stack
0 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,489.407,2962324,1,0,2677,2.17467e+07,42,2496,8222,1.50891e+07,6615
no accepting run found
Formula 11 is TRUE no accepting run found.
FORMULA Eratosthenes-PT-500-LTLCardinality-11 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 12 : !(("p90>=3"))
Formula 12 simplified : !"p90>=3"
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
2 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,489.416,2962324,1,0,2677,2.17467e+07,47,2496,8224,1.50891e+07,6625
an accepting run exists (use option '-e' to print it)
Formula 12 is FALSE accepting run found.
FORMULA Eratosthenes-PT-500-LTLCardinality-12 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 13 : !((X(G("p100>=1"))))
Formula 13 simplified : !XG"p100>=1"
4 unique states visited
4 strongly connected components in search stack
4 transitions explored
4 items max in DFS search stack
10976 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,599.172,2944788,1,0,2677,2.22733e+07,19,2496,7407,1.75106e+07,2232
an accepting run exists (use option '-e' to print it)
Formula 13 is FALSE accepting run found.
FORMULA Eratosthenes-PT-500-LTLCardinality-13 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 14 : !((G((G("p310>=1"))U(F("p187>=3")))))
Formula 14 simplified : !G(G"p310>=1" U F"p187>=3")
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
1590 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,615.083,2944940,1,0,2677,2.22733e+07,29,2496,8215,1.75106e+07,4268
an accepting run exists (use option '-e' to print it)
Formula 14 is FALSE accepting run found.
FORMULA Eratosthenes-PT-500-LTLCardinality-14 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 15 : !(("p403<=p148"))
Formula 15 simplified : !"p403<=p148"
1 unique states visited
0 strongly connected components in search stack
0 transitions explored
1 items max in DFS search stack
0 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,615.083,2944940,1,0,2677,2.22733e+07,32,2496,8218,1.75106e+07,4270
no accepting run found
Formula 15 is TRUE no accepting run found.
FORMULA Eratosthenes-PT-500-LTLCardinality-15 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Exit code :0

BK_STOP 1496438430555

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLCardinality -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLCardinality -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 02, 2017 9:09:54 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 02, 2017 9:09:54 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 205 ms
Jun 02, 2017 9:09:54 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 499 places.
Jun 02, 2017 9:09:54 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 2191 transitions.
Jun 02, 2017 9:09:55 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 95 fixed domain variables (out of 499 variables) in GAL type Eratosthenes_PT_500
Jun 02, 2017 9:09:55 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 95 constant array cells/variables (out of 499 variables) in type Eratosthenes_PT_500
Jun 02, 2017 9:09:55 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: p23,p293,p191,p7,p137,p461,p233,p463,p443,p43,p13,p2,p107,p397,p487,p3,p479,p73,p467,p113,p157,p439,p17,p359,p131,p331,p347,p11,p163,p173,p41,p311,p313,p383,p127,p197,p367,p307,p373,p89,p401,p47,p257,p227,p79,p37,p67,p101,p31,p431,p193,p379,p211,p59,p229,p389,p317,p419,p283,p277,p241,p19,p109,p433,p151,p223,p83,p29,p103,p199,p181,p271,p281,p491,p139,p263,p239,p499,p251,p349,p421,p97,p179,p71,p149,p409,p53,p61,p353,p457,p5,p449,p269,p337,p167,
Jun 02, 2017 9:09:56 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 95 constant variables :p23, p293, p191, p7, p137, p461, p233, p463, p443, p43, p13, p2, p107, p397, p487, p3, p479, p73, p467, p113, p157, p439, p17, p359, p131, p331, p347, p11, p163, p173, p41, p311, p313, p383, p127, p197, p367, p307, p373, p89, p401, p47, p257, p227, p79, p37, p67, p101, p31, p431, p193, p379, p211, p59, p229, p389, p317, p419, p283, p277, p241, p19, p109, p433, p151, p223, p83, p29, p103, p199, p181, p271, p281, p491, p139, p263, p239, p499, p251, p349, p421, p97, p179, p71, p149, p409, p53, p61, p353, p457, p5, p449, p269, p337, p167
Jun 02, 2017 9:09:56 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 920 expressions due to constant valuations.
Jun 02, 2017 9:09:56 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1087 ms
Jun 02, 2017 9:09:56 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 59 ms
Jun 02, 2017 9:09:56 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 1 ms
Jun 02, 2017 9:09:57 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 0 place invariants in 175 ms
Jun 02, 2017 9:09:57 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 404 variables to be positive in 412 ms
Jun 02, 2017 9:09:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 2191 transitions.
Jun 02, 2017 9:09:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/2191 took 1797 ms. Total solver calls (SAT/UNSAT): 20(20/0)
Jun 02, 2017 9:10:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/2191 took 3753 ms. Total solver calls (SAT/UNSAT): 43(43/0)
Jun 02, 2017 9:10:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/2191 took 5728 ms. Total solver calls (SAT/UNSAT): 65(65/0)
Jun 02, 2017 9:10:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/2191 took 7338 ms. Total solver calls (SAT/UNSAT): 83(83/0)
Jun 02, 2017 9:10:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/2191 took 9139 ms. Total solver calls (SAT/UNSAT): 103(103/0)
Jun 02, 2017 9:10:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :7/2191 took 10829 ms. Total solver calls (SAT/UNSAT): 123(123/0)
Jun 02, 2017 9:10:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :9/2191 took 11868 ms. Total solver calls (SAT/UNSAT): 144(144/0)
Jun 02, 2017 9:10:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :10/2191 took 13297 ms. Total solver calls (SAT/UNSAT): 160(160/0)
Jun 02, 2017 9:10:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/2191 took 14726 ms. Total solver calls (SAT/UNSAT): 176(176/0)
Jun 02, 2017 9:10:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/2191 took 16006 ms. Total solver calls (SAT/UNSAT): 202(202/0)
Jun 02, 2017 9:10:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/2191 took 17702 ms. Total solver calls (SAT/UNSAT): 221(221/0)
Jun 02, 2017 9:10:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/2191 took 18790 ms. Total solver calls (SAT/UNSAT): 233(233/0)
Jun 02, 2017 9:10:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/2191 took 20134 ms. Total solver calls (SAT/UNSAT): 248(248/0)
Jun 02, 2017 9:10:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :25/2191 took 21819 ms. Total solver calls (SAT/UNSAT): 275(275/0)
Jun 02, 2017 9:10:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/2191 took 23073 ms. Total solver calls (SAT/UNSAT): 289(289/0)
Jun 02, 2017 9:10:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/2191 took 24147 ms. Total solver calls (SAT/UNSAT): 301(301/0)
Jun 02, 2017 9:10:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/2191 took 26088 ms. Total solver calls (SAT/UNSAT): 325(325/0)
Jun 02, 2017 9:10:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :31/2191 took 28056 ms. Total solver calls (SAT/UNSAT): 347(347/0)
Jun 02, 2017 9:10:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :33/2191 took 29440 ms. Total solver calls (SAT/UNSAT): 368(368/0)
Jun 02, 2017 9:10:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/2191 took 30992 ms. Total solver calls (SAT/UNSAT): 392(392/0)
Jun 02, 2017 9:10:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/2191 took 32789 ms. Total solver calls (SAT/UNSAT): 412(412/0)
Jun 02, 2017 9:10:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/2191 took 34299 ms. Total solver calls (SAT/UNSAT): 430(430/0)
Jun 02, 2017 9:10:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :42/2191 took 35924 ms. Total solver calls (SAT/UNSAT): 454(454/0)
Jun 02, 2017 9:10:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/2191 took 37377 ms. Total solver calls (SAT/UNSAT): 470(470/0)
Jun 02, 2017 9:10:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/2191 took 39705 ms. Total solver calls (SAT/UNSAT): 496(496/0)
Jun 02, 2017 9:10:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :46/2191 took 41157 ms. Total solver calls (SAT/UNSAT): 512(512/0)
Jun 02, 2017 9:10:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/2191 took 43197 ms. Total solver calls (SAT/UNSAT): 536(536/0)
Jun 02, 2017 9:10:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/2191 took 44820 ms. Total solver calls (SAT/UNSAT): 560(560/0)
Jun 02, 2017 9:10:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :51/2191 took 46078 ms. Total solver calls (SAT/UNSAT): 574(574/0)
Jun 02, 2017 9:10:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :54/2191 took 47499 ms. Total solver calls (SAT/UNSAT): 601(601/0)
Jun 02, 2017 9:10:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/2191 took 49112 ms. Total solver calls (SAT/UNSAT): 619(619/0)
Jun 02, 2017 9:10:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :57/2191 took 50902 ms. Total solver calls (SAT/UNSAT): 639(639/0)
Jun 02, 2017 9:10:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :61/2191 took 53707 ms. Total solver calls (SAT/UNSAT): 675(675/0)
Jun 02, 2017 9:10:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :63/2191 took 57290 ms. Total solver calls (SAT/UNSAT): 715(715/0)
Jun 02, 2017 9:10:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :67/2191 took 58987 ms. Total solver calls (SAT/UNSAT): 741(741/0)
Jun 02, 2017 9:10:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :70/2191 took 60321 ms. Total solver calls (SAT/UNSAT): 757(757/0)
Jun 02, 2017 9:10:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/2191 took 61574 ms. Total solver calls (SAT/UNSAT): 771(771/0)
Jun 02, 2017 9:11:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/2191 took 63159 ms. Total solver calls (SAT/UNSAT): 791(791/0)
Jun 02, 2017 9:11:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :78/2191 took 66249 ms. Total solver calls (SAT/UNSAT): 833(833/0)
Jun 02, 2017 9:11:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :79/2191 took 67768 ms. Total solver calls (SAT/UNSAT): 850(850/0)
Jun 02, 2017 9:11:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/2191 took 68853 ms. Total solver calls (SAT/UNSAT): 868(868/0)
Jun 02, 2017 9:11:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :85/2191 took 71015 ms. Total solver calls (SAT/UNSAT): 898(898/0)
Jun 02, 2017 9:11:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/2191 took 73972 ms. Total solver calls (SAT/UNSAT): 944(944/0)
Jun 02, 2017 9:11:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/2191 took 75063 ms. Total solver calls (SAT/UNSAT): 956(956/0)
Jun 02, 2017 9:11:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/2191 took 77565 ms. Total solver calls (SAT/UNSAT): 984(984/0)
Jun 02, 2017 9:11:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :93/2191 took 78644 ms. Total solver calls (SAT/UNSAT): 996(996/0)
Jun 02, 2017 9:11:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :94/2191 took 80255 ms. Total solver calls (SAT/UNSAT): 1014(1014/0)
Jun 02, 2017 9:11:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :97/2191 took 82144 ms. Total solver calls (SAT/UNSAT): 1048(1048/0)
Jun 02, 2017 9:11:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/2191 took 83663 ms. Total solver calls (SAT/UNSAT): 1065(1065/0)
Jun 02, 2017 9:11:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :99/2191 took 85293 ms. Total solver calls (SAT/UNSAT): 1083(1083/0)
Jun 02, 2017 9:11:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/2191 took 86641 ms. Total solver calls (SAT/UNSAT): 1098(1098/0)
Jun 02, 2017 9:11:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/2191 took 88433 ms. Total solver calls (SAT/UNSAT): 1118(1118/0)
Jun 02, 2017 9:11:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :102/2191 took 89682 ms. Total solver calls (SAT/UNSAT): 1132(1132/0)
Jun 02, 2017 9:11:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :103/2191 took 91827 ms. Total solver calls (SAT/UNSAT): 1156(1156/0)
Jun 02, 2017 9:11:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :105/2191 took 92992 ms. Total solver calls (SAT/UNSAT): 1169(1169/0)
Jun 02, 2017 9:11:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :106/2191 took 94518 ms. Total solver calls (SAT/UNSAT): 1186(1186/0)
Jun 02, 2017 9:11:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/2191 took 95603 ms. Total solver calls (SAT/UNSAT): 1204(1204/0)
Jun 02, 2017 9:11:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/2191 took 96686 ms. Total solver calls (SAT/UNSAT): 1222(1222/0)
Jun 02, 2017 9:11:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :114/2191 took 98116 ms. Total solver calls (SAT/UNSAT): 1238(1238/0)
Jun 02, 2017 9:11:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/2191 took 99189 ms. Total solver calls (SAT/UNSAT): 1250(1250/0)
Jun 02, 2017 9:11:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :117/2191 took 100273 ms. Total solver calls (SAT/UNSAT): 1268(1268/0)
Jun 02, 2017 9:11:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :118/2191 took 102062 ms. Total solver calls (SAT/UNSAT): 1288(1288/0)
Jun 02, 2017 9:11:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/2191 took 103494 ms. Total solver calls (SAT/UNSAT): 1304(1304/0)
Jun 02, 2017 9:11:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/2191 took 104567 ms. Total solver calls (SAT/UNSAT): 1316(1316/0)
Jun 02, 2017 9:11:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/2191 took 105888 ms. Total solver calls (SAT/UNSAT): 1332(1332/0)
Jun 02, 2017 9:11:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/2191 took 108058 ms. Total solver calls (SAT/UNSAT): 1368(1368/0)
Jun 02, 2017 9:11:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :126/2191 took 109130 ms. Total solver calls (SAT/UNSAT): 1380(1380/0)
Jun 02, 2017 9:11:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/2191 took 110380 ms. Total solver calls (SAT/UNSAT): 1394(1394/0)
Jun 02, 2017 9:11:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :129/2191 took 112612 ms. Total solver calls (SAT/UNSAT): 1419(1419/0)
Jun 02, 2017 9:11:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/2191 took 113865 ms. Total solver calls (SAT/UNSAT): 1433(1433/0)
Jun 02, 2017 9:11:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/2191 took 115516 ms. Total solver calls (SAT/UNSAT): 1455(1455/0)
Jun 02, 2017 9:11:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :133/2191 took 117302 ms. Total solver calls (SAT/UNSAT): 1475(1475/0)
Jun 02, 2017 9:11:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/2191 took 118826 ms. Total solver calls (SAT/UNSAT): 1492(1492/0)
Jun 02, 2017 9:11:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/2191 took 120255 ms. Total solver calls (SAT/UNSAT): 1508(1508/0)
Jun 02, 2017 9:11:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/2191 took 121440 ms. Total solver calls (SAT/UNSAT): 1540(1540/0)
Jun 02, 2017 9:12:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :141/2191 took 123489 ms. Total solver calls (SAT/UNSAT): 1570(1570/0)
Jun 02, 2017 9:12:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :145/2191 took 124528 ms. Total solver calls (SAT/UNSAT): 1591(1591/0)
Jun 02, 2017 9:12:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/2191 took 126892 ms. Total solver calls (SAT/UNSAT): 1621(1621/0)
Jun 02, 2017 9:12:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/2191 took 128779 ms. Total solver calls (SAT/UNSAT): 1655(1655/0)
Jun 02, 2017 9:12:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/2191 took 130916 ms. Total solver calls (SAT/UNSAT): 1679(1679/0)
Jun 02, 2017 9:12:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/2191 took 132347 ms. Total solver calls (SAT/UNSAT): 1695(1695/0)
Jun 02, 2017 9:12:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :154/2191 took 133598 ms. Total solver calls (SAT/UNSAT): 1709(1709/0)
Jun 02, 2017 9:12:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :157/2191 took 135175 ms. Total solver calls (SAT/UNSAT): 1729(1729/0)
Jun 02, 2017 9:12:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/2191 took 136246 ms. Total solver calls (SAT/UNSAT): 1741(1741/0)
Jun 02, 2017 9:12:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/2191 took 137429 ms. Total solver calls (SAT/UNSAT): 1773(1773/0)
Jun 02, 2017 9:12:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :163/2191 took 138500 ms. Total solver calls (SAT/UNSAT): 1785(1785/0)
Jun 02, 2017 9:12:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/2191 took 139926 ms. Total solver calls (SAT/UNSAT): 1801(1801/0)
Jun 02, 2017 9:12:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :165/2191 took 141177 ms. Total solver calls (SAT/UNSAT): 1815(1815/0)
Jun 02, 2017 9:12:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/2191 took 143148 ms. Total solver calls (SAT/UNSAT): 1837(1837/0)
Jun 02, 2017 9:12:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/2191 took 144310 ms. Total solver calls (SAT/UNSAT): 1857(1857/0)
Jun 02, 2017 9:12:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/2191 took 147102 ms. Total solver calls (SAT/UNSAT): 1888(1888/0)
Jun 02, 2017 9:12:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :175/2191 took 148798 ms. Total solver calls (SAT/UNSAT): 1907(1907/0)
Jun 02, 2017 9:12:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/2191 took 151658 ms. Total solver calls (SAT/UNSAT): 1939(1939/0)
Jun 02, 2017 9:12:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :178/2191 took 153669 ms. Total solver calls (SAT/UNSAT): 1965(1965/0)
Jun 02, 2017 9:12:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/2191 took 154701 ms. Total solver calls (SAT/UNSAT): 1993(1993/0)
Jun 02, 2017 9:12:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :184/2191 took 158003 ms. Total solver calls (SAT/UNSAT): 2030(2030/0)
Jun 02, 2017 9:12:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/2191 took 161038 ms. Total solver calls (SAT/UNSAT): 2064(2064/0)
Jun 02, 2017 9:12:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :188/2191 took 162358 ms. Total solver calls (SAT/UNSAT): 2087(2087/0)
Jun 02, 2017 9:12:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :190/2191 took 164308 ms. Total solver calls (SAT/UNSAT): 2117(2117/0)
Jun 02, 2017 9:12:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :193/2191 took 165402 ms. Total solver calls (SAT/UNSAT): 2145(2145/0)
Jun 02, 2017 9:12:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/2191 took 166904 ms. Total solver calls (SAT/UNSAT): 2170(2170/0)
Jun 02, 2017 9:12:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/2191 took 169085 ms. Total solver calls (SAT/UNSAT): 2200(2200/0)
Jun 02, 2017 9:12:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :198/2191 took 170332 ms. Total solver calls (SAT/UNSAT): 2214(2214/0)
Jun 02, 2017 9:12:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/2191 took 171756 ms. Total solver calls (SAT/UNSAT): 2230(2230/0)
Jun 02, 2017 9:12:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :203/2191 took 173392 ms. Total solver calls (SAT/UNSAT): 2253(2253/0)
Jun 02, 2017 9:12:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :205/2191 took 175113 ms. Total solver calls (SAT/UNSAT): 2277(2277/0)
Jun 02, 2017 9:12:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :207/2191 took 176716 ms. Total solver calls (SAT/UNSAT): 2295(2295/0)
Jun 02, 2017 9:12:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :208/2191 took 179032 ms. Total solver calls (SAT/UNSAT): 2321(2321/0)
Jun 02, 2017 9:12:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/2191 took 180187 ms. Total solver calls (SAT/UNSAT): 2334(2334/0)
Jun 02, 2017 9:13:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :212/2191 took 184295 ms. Total solver calls (SAT/UNSAT): 2387(2387/0)
Jun 02, 2017 9:13:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/2191 took 185693 ms. Total solver calls (SAT/UNSAT): 2405(2405/0)
Jun 02, 2017 9:13:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :218/2191 took 186742 ms. Total solver calls (SAT/UNSAT): 2425(2425/0)
Jun 02, 2017 9:13:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/2191 took 188346 ms. Total solver calls (SAT/UNSAT): 2443(2443/0)
Jun 02, 2017 9:13:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/2191 took 189419 ms. Total solver calls (SAT/UNSAT): 2455(2455/0)
Jun 02, 2017 9:13:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/2191 took 190935 ms. Total solver calls (SAT/UNSAT): 2472(2472/0)
Jun 02, 2017 9:13:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/2191 took 193449 ms. Total solver calls (SAT/UNSAT): 2512(2512/0)
Jun 02, 2017 9:13:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/2191 took 194846 ms. Total solver calls (SAT/UNSAT): 2550(2550/0)
Jun 02, 2017 9:13:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :230/2191 took 197055 ms. Total solver calls (SAT/UNSAT): 2576(2576/0)
Jun 02, 2017 9:13:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :232/2191 took 198403 ms. Total solver calls (SAT/UNSAT): 2597(2597/0)
Jun 02, 2017 9:13:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/2191 took 200167 ms. Total solver calls (SAT/UNSAT): 2618(2618/0)
Jun 02, 2017 9:13:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :237/2191 took 201205 ms. Total solver calls (SAT/UNSAT): 2632(2632/0)
Jun 02, 2017 9:13:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :238/2191 took 202629 ms. Total solver calls (SAT/UNSAT): 2648(2648/0)
Jun 02, 2017 9:13:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :239/2191 took 203967 ms. Total solver calls (SAT/UNSAT): 2663(2663/0)
Jun 02, 2017 9:13:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/2191 took 205392 ms. Total solver calls (SAT/UNSAT): 2679(2679/0)
Jun 02, 2017 9:13:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :242/2191 took 206424 ms. Total solver calls (SAT/UNSAT): 2707(2707/0)
Jun 02, 2017 9:13:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/2191 took 208207 ms. Total solver calls (SAT/UNSAT): 2727(2727/0)
Jun 02, 2017 9:13:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :245/2191 took 210597 ms. Total solver calls (SAT/UNSAT): 2755(2755/0)
Jun 02, 2017 9:13:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/2191 took 212737 ms. Total solver calls (SAT/UNSAT): 2779(2779/0)
Jun 02, 2017 9:13:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :247/2191 took 213806 ms. Total solver calls (SAT/UNSAT): 2791(2791/0)
Jun 02, 2017 9:13:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/2191 took 216295 ms. Total solver calls (SAT/UNSAT): 2819(2819/0)
Jun 02, 2017 9:13:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :249/2191 took 218607 ms. Total solver calls (SAT/UNSAT): 2845(2845/0)
Jun 02, 2017 9:13:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :250/2191 took 220030 ms. Total solver calls (SAT/UNSAT): 2861(2861/0)
Jun 02, 2017 9:13:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/2191 took 221188 ms. Total solver calls (SAT/UNSAT): 2874(2874/0)
Jun 02, 2017 9:13:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :253/2191 took 222435 ms. Total solver calls (SAT/UNSAT): 2888(2888/0)
Jun 02, 2017 9:13:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :254/2191 took 224217 ms. Total solver calls (SAT/UNSAT): 2908(2908/0)
Jun 02, 2017 9:13:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :255/2191 took 225907 ms. Total solver calls (SAT/UNSAT): 2927(2927/0)
Jun 02, 2017 9:13:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :257/2191 took 228228 ms. Total solver calls (SAT/UNSAT): 2953(2953/0)
Jun 02, 2017 9:13:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :259/2191 took 229550 ms. Total solver calls (SAT/UNSAT): 2989(2989/0)
Jun 02, 2017 9:13:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :261/2191 took 230980 ms. Total solver calls (SAT/UNSAT): 3005(3005/0)
Jun 02, 2017 9:13:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :265/2191 took 233033 ms. Total solver calls (SAT/UNSAT): 3035(3035/0)
Jun 02, 2017 9:13:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :270/2191 took 234639 ms. Total solver calls (SAT/UNSAT): 3060(3060/0)
Jun 02, 2017 9:13:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :271/2191 took 235712 ms. Total solver calls (SAT/UNSAT): 3072(3072/0)
Jun 02, 2017 9:13:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/2191 took 237822 ms. Total solver calls (SAT/UNSAT): 3098(3098/0)
Jun 02, 2017 9:13:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :278/2191 took 240703 ms. Total solver calls (SAT/UNSAT): 3142(3142/0)
Jun 02, 2017 9:14:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :279/2191 took 242131 ms. Total solver calls (SAT/UNSAT): 3158(3158/0)
Jun 02, 2017 9:14:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :280/2191 took 243205 ms. Total solver calls (SAT/UNSAT): 3170(3170/0)
Jun 02, 2017 9:14:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/2191 took 245259 ms. Total solver calls (SAT/UNSAT): 3193(3193/0)
Jun 02, 2017 9:14:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/2191 took 247229 ms. Total solver calls (SAT/UNSAT): 3215(3215/0)
Jun 02, 2017 9:14:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :286/2191 took 249326 ms. Total solver calls (SAT/UNSAT): 3242(3242/0)
Jun 02, 2017 9:14:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :290/2191 took 251558 ms. Total solver calls (SAT/UNSAT): 3274(3274/0)
Jun 02, 2017 9:14:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/2191 took 253242 ms. Total solver calls (SAT/UNSAT): 3294(3294/0)
Jun 02, 2017 9:14:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :294/2191 took 254464 ms. Total solver calls (SAT/UNSAT): 3310(3310/0)
Jun 02, 2017 9:14:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/2191 took 257415 ms. Total solver calls (SAT/UNSAT): 3343(3343/0)
Jun 02, 2017 9:14:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :297/2191 took 258489 ms. Total solver calls (SAT/UNSAT): 3355(3355/0)
Jun 02, 2017 9:14:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :300/2191 took 260296 ms. Total solver calls (SAT/UNSAT): 3387(3387/0)
Jun 02, 2017 9:14:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :302/2191 took 261644 ms. Total solver calls (SAT/UNSAT): 3408(3408/0)
Jun 02, 2017 9:14:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :303/2191 took 263072 ms. Total solver calls (SAT/UNSAT): 3424(3424/0)
Jun 02, 2017 9:14:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :305/2191 took 264113 ms. Total solver calls (SAT/UNSAT): 3438(3438/0)
Jun 02, 2017 9:14:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :309/2191 took 265602 ms. Total solver calls (SAT/UNSAT): 3457(3457/0)
Jun 02, 2017 9:14:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :313/2191 took 267400 ms. Total solver calls (SAT/UNSAT): 3483(3483/0)
Jun 02, 2017 9:14:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/2191 took 268441 ms. Total solver calls (SAT/UNSAT): 3497(3497/0)
Jun 02, 2017 9:14:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/2191 took 269944 ms. Total solver calls (SAT/UNSAT): 3522(3522/0)
Jun 02, 2017 9:14:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/2191 took 271954 ms. Total solver calls (SAT/UNSAT): 3548(3548/0)
Jun 02, 2017 9:14:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :326/2191 took 274011 ms. Total solver calls (SAT/UNSAT): 3571(3571/0)
Jun 02, 2017 9:14:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/2191 took 275887 ms. Total solver calls (SAT/UNSAT): 3592(3592/0)
Jun 02, 2017 9:14:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :330/2191 took 277279 ms. Total solver calls (SAT/UNSAT): 3617(3617/0)
Jun 02, 2017 9:14:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/2191 took 278886 ms. Total solver calls (SAT/UNSAT): 3635(3635/0)
Jun 02, 2017 9:14:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :335/2191 took 279928 ms. Total solver calls (SAT/UNSAT): 3649(3649/0)
Jun 02, 2017 9:14:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/2191 took 281279 ms. Total solver calls (SAT/UNSAT): 3670(3670/0)
Jun 02, 2017 9:14:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :341/2191 took 282287 ms. Total solver calls (SAT/UNSAT): 3686(3686/0)
Jun 02, 2017 9:14:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :343/2191 took 283433 ms. Total solver calls (SAT/UNSAT): 3700(3700/0)
Jun 02, 2017 9:14:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/2191 took 285806 ms. Total solver calls (SAT/UNSAT): 3729(3729/0)
Jun 02, 2017 9:14:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/2191 took 288664 ms. Total solver calls (SAT/UNSAT): 3761(3761/0)
Jun 02, 2017 9:14:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/2191 took 289879 ms. Total solver calls (SAT/UNSAT): 3775(3775/0)
Jun 02, 2017 9:14:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/2191 took 291352 ms. Total solver calls (SAT/UNSAT): 3792(3792/0)
Jun 02, 2017 9:14:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/2191 took 292934 ms. Total solver calls (SAT/UNSAT): 3810(3810/0)
Jun 02, 2017 9:14:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/2191 took 294456 ms. Total solver calls (SAT/UNSAT): 3827(3827/0)
Jun 02, 2017 9:14:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/2191 took 295633 ms. Total solver calls (SAT/UNSAT): 3859(3859/0)
Jun 02, 2017 9:14:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/2191 took 297123 ms. Total solver calls (SAT/UNSAT): 3876(3876/0)
Jun 02, 2017 9:14:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/2191 took 298684 ms. Total solver calls (SAT/UNSAT): 3894(3894/0)
Jun 02, 2017 9:14:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/2191 took 299712 ms. Total solver calls (SAT/UNSAT): 3907(3907/0)
Jun 02, 2017 9:14:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/2191 took 300995 ms. Total solver calls (SAT/UNSAT): 3931(3931/0)
Jun 02, 2017 9:15:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :366/2191 took 303772 ms. Total solver calls (SAT/UNSAT): 3963(3963/0)
Jun 02, 2017 9:15:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/2191 took 305772 ms. Total solver calls (SAT/UNSAT): 3997(3997/0)
Jun 02, 2017 9:15:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/2191 took 306987 ms. Total solver calls (SAT/UNSAT): 4011(4011/0)
Jun 02, 2017 9:15:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/2191 took 308289 ms. Total solver calls (SAT/UNSAT): 4026(4026/0)
Jun 02, 2017 9:15:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/2191 took 309506 ms. Total solver calls (SAT/UNSAT): 4040(4040/0)
Jun 02, 2017 9:15:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :373/2191 took 310550 ms. Total solver calls (SAT/UNSAT): 4052(4052/0)
Jun 02, 2017 9:15:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/2191 took 311768 ms. Total solver calls (SAT/UNSAT): 4066(4066/0)
Jun 02, 2017 9:15:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/2191 took 312984 ms. Total solver calls (SAT/UNSAT): 4080(4080/0)
Jun 02, 2017 9:15:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/2191 took 315141 ms. Total solver calls (SAT/UNSAT): 4106(4106/0)
Jun 02, 2017 9:15:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/2191 took 316791 ms. Total solver calls (SAT/UNSAT): 4125(4125/0)
Jun 02, 2017 9:15:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/2191 took 317830 ms. Total solver calls (SAT/UNSAT): 4137(4137/0)
Jun 02, 2017 9:15:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/2191 took 319954 ms. Total solver calls (SAT/UNSAT): 4173(4173/0)
Jun 02, 2017 9:15:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/2191 took 321137 ms. Total solver calls (SAT/UNSAT): 4197(4197/0)
Jun 02, 2017 9:15:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/2191 took 322178 ms. Total solver calls (SAT/UNSAT): 4209(4209/0)
Jun 02, 2017 9:15:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/2191 took 323294 ms. Total solver calls (SAT/UNSAT): 4223(4223/0)
Jun 02, 2017 9:15:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/2191 took 324507 ms. Total solver calls (SAT/UNSAT): 4237(4237/0)
Jun 02, 2017 9:15:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/2191 took 325570 ms. Total solver calls (SAT/UNSAT): 4255(4255/0)
Jun 02, 2017 9:15:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/2191 took 326782 ms. Total solver calls (SAT/UNSAT): 4269(4269/0)
Jun 02, 2017 9:15:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/2191 took 328190 ms. Total solver calls (SAT/UNSAT): 4291(4291/0)
Jun 02, 2017 9:15:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/2191 took 329577 ms. Total solver calls (SAT/UNSAT): 4307(4307/0)
Jun 02, 2017 9:15:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/2191 took 330619 ms. Total solver calls (SAT/UNSAT): 4319(4319/0)
Jun 02, 2017 9:15:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/2191 took 333369 ms. Total solver calls (SAT/UNSAT): 4353(4353/0)
Jun 02, 2017 9:15:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/2191 took 335530 ms. Total solver calls (SAT/UNSAT): 4378(4378/0)
Jun 02, 2017 9:15:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/2191 took 336657 ms. Total solver calls (SAT/UNSAT): 4391(4391/0)
Jun 02, 2017 9:15:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/2191 took 337873 ms. Total solver calls (SAT/UNSAT): 4405(4405/0)
Jun 02, 2017 9:15:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/2191 took 338916 ms. Total solver calls (SAT/UNSAT): 4417(4417/0)
Jun 02, 2017 9:15:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/2191 took 340998 ms. Total solver calls (SAT/UNSAT): 4441(4441/0)
Jun 02, 2017 9:15:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/2191 took 342459 ms. Total solver calls (SAT/UNSAT): 4459(4459/0)
Jun 02, 2017 9:15:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/2191 took 343883 ms. Total solver calls (SAT/UNSAT): 4480(4480/0)
Jun 02, 2017 9:15:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/2191 took 345272 ms. Total solver calls (SAT/UNSAT): 4496(4496/0)
Jun 02, 2017 9:15:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :426/2191 took 347538 ms. Total solver calls (SAT/UNSAT): 4529(4529/0)
Jun 02, 2017 9:15:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/2191 took 348726 ms. Total solver calls (SAT/UNSAT): 4545(4545/0)
Jun 02, 2017 9:15:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :430/2191 took 349944 ms. Total solver calls (SAT/UNSAT): 4567(4567/0)
Jun 02, 2017 9:15:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/2191 took 351344 ms. Total solver calls (SAT/UNSAT): 4583(4583/0)
Jun 02, 2017 9:15:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/2191 took 352742 ms. Total solver calls (SAT/UNSAT): 4599(4599/0)
Jun 02, 2017 9:15:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/2191 took 354132 ms. Total solver calls (SAT/UNSAT): 4615(4615/0)
Jun 02, 2017 9:15:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/2191 took 355270 ms. Total solver calls (SAT/UNSAT): 4635(4635/0)
Jun 02, 2017 9:15:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/2191 took 356485 ms. Total solver calls (SAT/UNSAT): 4649(4649/0)
Jun 02, 2017 9:15:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/2191 took 358528 ms. Total solver calls (SAT/UNSAT): 4676(4676/0)
Jun 02, 2017 9:15:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/2191 took 360177 ms. Total solver calls (SAT/UNSAT): 4695(4695/0)
Jun 02, 2017 9:15:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/2191 took 361490 ms. Total solver calls (SAT/UNSAT): 4717(4717/0)
Jun 02, 2017 9:16:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/2191 took 363228 ms. Total solver calls (SAT/UNSAT): 4737(4737/0)
Jun 02, 2017 9:16:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/2191 took 366002 ms. Total solver calls (SAT/UNSAT): 4769(4769/0)
Jun 02, 2017 9:16:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :451/2191 took 368082 ms. Total solver calls (SAT/UNSAT): 4793(4793/0)
Jun 02, 2017 9:16:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/2191 took 370684 ms. Total solver calls (SAT/UNSAT): 4823(4823/0)
Jun 02, 2017 9:16:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :454/2191 took 372939 ms. Total solver calls (SAT/UNSAT): 4849(4849/0)
Jun 02, 2017 9:16:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/2191 took 374150 ms. Total solver calls (SAT/UNSAT): 4863(4863/0)
Jun 02, 2017 9:16:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/2191 took 375474 ms. Total solver calls (SAT/UNSAT): 4884(4884/0)
Jun 02, 2017 9:16:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/2191 took 376514 ms. Total solver calls (SAT/UNSAT): 4896(4896/0)
Jun 02, 2017 9:16:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/2191 took 377769 ms. Total solver calls (SAT/UNSAT): 4922(4922/0)
Jun 02, 2017 9:16:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/2191 took 379576 ms. Total solver calls (SAT/UNSAT): 4944(4944/0)
Jun 02, 2017 9:16:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/2191 took 380791 ms. Total solver calls (SAT/UNSAT): 4958(4958/0)
Jun 02, 2017 9:16:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/2191 took 381834 ms. Total solver calls (SAT/UNSAT): 4970(4970/0)
Jun 02, 2017 9:16:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :466/2191 took 384084 ms. Total solver calls (SAT/UNSAT): 4996(4996/0)
Jun 02, 2017 9:16:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/2191 took 385767 ms. Total solver calls (SAT/UNSAT): 5020(5020/0)
Jun 02, 2017 9:16:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/2191 took 387329 ms. Total solver calls (SAT/UNSAT): 5038(5038/0)
Jun 02, 2017 9:16:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/2191 took 388368 ms. Total solver calls (SAT/UNSAT): 5050(5050/0)
Jun 02, 2017 9:16:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :475/2191 took 389407 ms. Total solver calls (SAT/UNSAT): 5070(5070/0)
Jun 02, 2017 9:16:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :478/2191 took 390917 ms. Total solver calls (SAT/UNSAT): 5092(5092/0)
Jun 02, 2017 9:16:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/2191 took 392685 ms. Total solver calls (SAT/UNSAT): 5117(5117/0)
Jun 02, 2017 9:16:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/2191 took 394076 ms. Total solver calls (SAT/UNSAT): 5133(5133/0)
Jun 02, 2017 9:16:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/2191 took 395289 ms. Total solver calls (SAT/UNSAT): 5147(5147/0)
Jun 02, 2017 9:16:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/2191 took 396467 ms. Total solver calls (SAT/UNSAT): 5179(5179/0)
Jun 02, 2017 9:16:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :487/2191 took 397946 ms. Total solver calls (SAT/UNSAT): 5196(5196/0)
Jun 02, 2017 9:16:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/2191 took 398989 ms. Total solver calls (SAT/UNSAT): 5208(5208/0)
Jun 02, 2017 9:16:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :490/2191 took 401054 ms. Total solver calls (SAT/UNSAT): 5241(5241/0)
Jun 02, 2017 9:16:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/2191 took 402228 ms. Total solver calls (SAT/UNSAT): 5258(5258/0)
Jun 02, 2017 9:16:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/2191 took 405221 ms. Total solver calls (SAT/UNSAT): 5296(5296/0)
Jun 02, 2017 9:16:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/2191 took 406356 ms. Total solver calls (SAT/UNSAT): 5316(5316/0)
Jun 02, 2017 9:16:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/2191 took 407393 ms. Total solver calls (SAT/UNSAT): 5332(5332/0)
Jun 02, 2017 9:16:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :502/2191 took 409298 ms. Total solver calls (SAT/UNSAT): 5354(5354/0)
Jun 02, 2017 9:16:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :505/2191 took 410581 ms. Total solver calls (SAT/UNSAT): 5378(5378/0)
Jun 02, 2017 9:16:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/2191 took 411906 ms. Total solver calls (SAT/UNSAT): 5414(5414/0)
Jun 02, 2017 9:16:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/2191 took 413296 ms. Total solver calls (SAT/UNSAT): 5430(5430/0)
Jun 02, 2017 9:16:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/2191 took 415724 ms. Total solver calls (SAT/UNSAT): 5458(5458/0)
Jun 02, 2017 9:16:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/2191 took 417113 ms. Total solver calls (SAT/UNSAT): 5474(5474/0)
Jun 02, 2017 9:16:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :514/2191 took 418154 ms. Total solver calls (SAT/UNSAT): 5486(5486/0)
Jun 02, 2017 9:16:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/2191 took 419368 ms. Total solver calls (SAT/UNSAT): 5500(5500/0)
Jun 02, 2017 9:16:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/2191 took 421326 ms. Total solver calls (SAT/UNSAT): 5526(5526/0)
Jun 02, 2017 9:17:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/2191 took 423060 ms. Total solver calls (SAT/UNSAT): 5546(5546/0)
Jun 02, 2017 9:17:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/2191 took 424387 ms. Total solver calls (SAT/UNSAT): 5582(5582/0)
Jun 02, 2017 9:17:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/2191 took 426697 ms. Total solver calls (SAT/UNSAT): 5619(5619/0)
Jun 02, 2017 9:17:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/2191 took 428429 ms. Total solver calls (SAT/UNSAT): 5639(5639/0)
Jun 02, 2017 9:17:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/2191 took 429737 ms. Total solver calls (SAT/UNSAT): 5661(5661/0)
Jun 02, 2017 9:17:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/2191 took 431990 ms. Total solver calls (SAT/UNSAT): 5687(5687/0)
Jun 02, 2017 9:17:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/2191 took 434075 ms. Total solver calls (SAT/UNSAT): 5711(5711/0)
Jun 02, 2017 9:17:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/2191 took 436245 ms. Total solver calls (SAT/UNSAT): 5736(5736/0)
Jun 02, 2017 9:17:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/2191 took 437533 ms. Total solver calls (SAT/UNSAT): 5752(5752/0)
Jun 02, 2017 9:17:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/2191 took 439191 ms. Total solver calls (SAT/UNSAT): 5778(5778/0)
Jun 02, 2017 9:17:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/2191 took 440219 ms. Total solver calls (SAT/UNSAT): 5791(5791/0)
Jun 02, 2017 9:17:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/2191 took 441262 ms. Total solver calls (SAT/UNSAT): 5803(5803/0)
Jun 02, 2017 9:17:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/2191 took 442288 ms. Total solver calls (SAT/UNSAT): 5816(5816/0)
Jun 02, 2017 9:17:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/2191 took 444826 ms. Total solver calls (SAT/UNSAT): 5859(5859/0)
Jun 02, 2017 9:17:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/2191 took 446308 ms. Total solver calls (SAT/UNSAT): 5883(5883/0)
Jun 02, 2017 9:17:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/2191 took 448236 ms. Total solver calls (SAT/UNSAT): 5911(5911/0)
Jun 02, 2017 9:17:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/2191 took 449277 ms. Total solver calls (SAT/UNSAT): 5923(5923/0)
Jun 02, 2017 9:17:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/2191 took 450811 ms. Total solver calls (SAT/UNSAT): 5943(5943/0)
Jun 02, 2017 9:17:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/2191 took 453259 ms. Total solver calls (SAT/UNSAT): 5977(5977/0)
Jun 02, 2017 9:17:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/2191 took 456202 ms. Total solver calls (SAT/UNSAT): 6011(6011/0)
Jun 02, 2017 9:17:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/2191 took 458810 ms. Total solver calls (SAT/UNSAT): 6041(6041/0)
Jun 02, 2017 9:17:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/2191 took 460026 ms. Total solver calls (SAT/UNSAT): 6055(6055/0)
Jun 02, 2017 9:17:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/2191 took 461910 ms. Total solver calls (SAT/UNSAT): 6079(6079/0)
Jun 02, 2017 9:17:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/2191 took 464113 ms. Total solver calls (SAT/UNSAT): 6117(6117/0)
Jun 02, 2017 9:17:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/2191 took 465599 ms. Total solver calls (SAT/UNSAT): 6141(6141/0)
Jun 02, 2017 9:17:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/2191 took 467177 ms. Total solver calls (SAT/UNSAT): 6173(6173/0)
Jun 02, 2017 9:17:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/2191 took 469607 ms. Total solver calls (SAT/UNSAT): 6201(6201/0)
Jun 02, 2017 9:17:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/2191 took 470733 ms. Total solver calls (SAT/UNSAT): 6218(6218/0)
Jun 02, 2017 9:17:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/2191 took 472198 ms. Total solver calls (SAT/UNSAT): 6236(6236/0)
Jun 02, 2017 9:17:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/2191 took 473632 ms. Total solver calls (SAT/UNSAT): 6256(6256/0)
Jun 02, 2017 9:17:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :593/2191 took 474841 ms. Total solver calls (SAT/UNSAT): 6278(6278/0)
Jun 02, 2017 9:17:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :596/2191 took 477144 ms. Total solver calls (SAT/UNSAT): 6308(6308/0)
Jun 02, 2017 9:17:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :599/2191 took 478837 ms. Total solver calls (SAT/UNSAT): 6339(6339/0)
Jun 02, 2017 9:17:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :600/2191 took 479880 ms. Total solver calls (SAT/UNSAT): 6351(6351/0)
Jun 02, 2017 9:17:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :601/2191 took 480922 ms. Total solver calls (SAT/UNSAT): 6363(6363/0)
Jun 02, 2017 9:18:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :602/2191 took 482313 ms. Total solver calls (SAT/UNSAT): 6379(6379/0)
Jun 02, 2017 9:18:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :603/2191 took 483880 ms. Total solver calls (SAT/UNSAT): 6397(6397/0)
Jun 02, 2017 9:18:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :604/2191 took 485100 ms. Total solver calls (SAT/UNSAT): 6411(6411/0)
Jun 02, 2017 9:18:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :608/2191 took 487728 ms. Total solver calls (SAT/UNSAT): 6447(6447/0)
Jun 02, 2017 9:18:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :610/2191 took 490073 ms. Total solver calls (SAT/UNSAT): 6474(6474/0)
Jun 02, 2017 9:18:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :613/2191 took 492234 ms. Total solver calls (SAT/UNSAT): 6500(6500/0)
Jun 02, 2017 9:18:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :614/2191 took 493797 ms. Total solver calls (SAT/UNSAT): 6518(6518/0)
Jun 02, 2017 9:18:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :616/2191 took 496317 ms. Total solver calls (SAT/UNSAT): 6547(6547/0)
Jun 02, 2017 9:18:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :617/2191 took 497705 ms. Total solver calls (SAT/UNSAT): 6563(6563/0)
Jun 02, 2017 9:18:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :619/2191 took 499868 ms. Total solver calls (SAT/UNSAT): 6589(6589/0)
Jun 02, 2017 9:18:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :621/2191 took 501655 ms. Total solver calls (SAT/UNSAT): 6613(6613/0)
Jun 02, 2017 9:18:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :623/2191 took 504168 ms. Total solver calls (SAT/UNSAT): 6650(6650/0)
Jun 02, 2017 9:18:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :626/2191 took 506327 ms. Total solver calls (SAT/UNSAT): 6676(6676/0)
Jun 02, 2017 9:18:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :627/2191 took 507369 ms. Total solver calls (SAT/UNSAT): 6688(6688/0)
Jun 02, 2017 9:18:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :628/2191 took 509625 ms. Total solver calls (SAT/UNSAT): 6714(6714/0)
Jun 02, 2017 9:18:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :629/2191 took 510837 ms. Total solver calls (SAT/UNSAT): 6728(6728/0)
Jun 02, 2017 9:18:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :630/2191 took 511879 ms. Total solver calls (SAT/UNSAT): 6740(6740/0)
Jun 02, 2017 9:18:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :631/2191 took 514577 ms. Total solver calls (SAT/UNSAT): 6771(6771/0)
Jun 02, 2017 9:18:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :632/2191 took 515792 ms. Total solver calls (SAT/UNSAT): 6785(6785/0)
Jun 02, 2017 9:18:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :636/2191 took 519908 ms. Total solver calls (SAT/UNSAT): 6837(6837/0)
Jun 02, 2017 9:18:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :637/2191 took 521295 ms. Total solver calls (SAT/UNSAT): 6853(6853/0)
Jun 02, 2017 9:18:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :639/2191 took 523031 ms. Total solver calls (SAT/UNSAT): 6873(6873/0)
Jun 02, 2017 9:18:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :641/2191 took 525361 ms. Total solver calls (SAT/UNSAT): 6901(6901/0)
Jun 02, 2017 9:18:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :642/2191 took 526575 ms. Total solver calls (SAT/UNSAT): 6915(6915/0)
Jun 02, 2017 9:18:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :644/2191 took 527604 ms. Total solver calls (SAT/UNSAT): 6928(6928/0)
Jun 02, 2017 9:18:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :646/2191 took 529166 ms. Total solver calls (SAT/UNSAT): 6946(6946/0)
Jun 02, 2017 9:18:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :648/2191 took 530488 ms. Total solver calls (SAT/UNSAT): 6967(6967/0)
Jun 02, 2017 9:18:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :650/2191 took 532246 ms. Total solver calls (SAT/UNSAT): 6993(6993/0)
Jun 02, 2017 9:18:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :652/2191 took 533806 ms. Total solver calls (SAT/UNSAT): 7011(7011/0)
Jun 02, 2017 9:18:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :654/2191 took 535710 ms. Total solver calls (SAT/UNSAT): 7033(7033/0)
Jun 02, 2017 9:18:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :659/2191 took 536958 ms. Total solver calls (SAT/UNSAT): 7056(7056/0)
Jun 02, 2017 9:18:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :661/2191 took 538420 ms. Total solver calls (SAT/UNSAT): 7074(7074/0)
Jun 02, 2017 9:18:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :662/2191 took 539631 ms. Total solver calls (SAT/UNSAT): 7088(7088/0)
Jun 02, 2017 9:18:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :663/2191 took 540673 ms. Total solver calls (SAT/UNSAT): 7100(7100/0)
Jun 02, 2017 9:19:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :665/2191 took 542667 ms. Total solver calls (SAT/UNSAT): 7123(7123/0)
Jun 02, 2017 9:19:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :667/2191 took 544577 ms. Total solver calls (SAT/UNSAT): 7145(7145/0)
Jun 02, 2017 9:19:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :668/2191 took 546312 ms. Total solver calls (SAT/UNSAT): 7165(7165/0)
Jun 02, 2017 9:19:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :672/2191 took 547377 ms. Total solver calls (SAT/UNSAT): 7183(7183/0)
Jun 02, 2017 9:19:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :676/2191 took 549321 ms. Total solver calls (SAT/UNSAT): 7210(7210/0)
Jun 02, 2017 9:19:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :679/2191 took 550459 ms. Total solver calls (SAT/UNSAT): 7230(7230/0)
Jun 02, 2017 9:19:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :682/2191 took 552518 ms. Total solver calls (SAT/UNSAT): 7256(7256/0)
Jun 02, 2017 9:19:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :684/2191 took 553879 ms. Total solver calls (SAT/UNSAT): 7274(7274/0)
Jun 02, 2017 9:19:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :689/2191 took 555491 ms. Total solver calls (SAT/UNSAT): 7296(7296/0)
Jun 02, 2017 9:19:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :691/2191 took 556618 ms. Total solver calls (SAT/UNSAT): 7309(7309/0)
Jun 02, 2017 9:19:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :693/2191 took 557720 ms. Total solver calls (SAT/UNSAT): 7324(7324/0)
Jun 02, 2017 9:19:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :696/2191 took 560011 ms. Total solver calls (SAT/UNSAT): 7355(7355/0)
Jun 02, 2017 9:19:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :698/2191 took 562312 ms. Total solver calls (SAT/UNSAT): 7385(7385/0)
Jun 02, 2017 9:19:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :701/2191 took 563678 ms. Total solver calls (SAT/UNSAT): 7403(7403/0)
Jun 02, 2017 9:19:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :703/2191 took 564969 ms. Total solver calls (SAT/UNSAT): 7419(7419/0)
Jun 02, 2017 9:19:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :707/2191 took 566383 ms. Total solver calls (SAT/UNSAT): 7441(7441/0)
Jun 02, 2017 9:19:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :709/2191 took 567511 ms. Total solver calls (SAT/UNSAT): 7454(7454/0)
Jun 02, 2017 9:19:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :711/2191 took 568627 ms. Total solver calls (SAT/UNSAT): 7468(7468/0)
Jun 02, 2017 9:19:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :713/2191 took 571319 ms. Total solver calls (SAT/UNSAT): 7499(7499/0)
Jun 02, 2017 9:19:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :714/2191 took 572533 ms. Total solver calls (SAT/UNSAT): 7513(7513/0)
Jun 02, 2017 9:19:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :715/2191 took 573924 ms. Total solver calls (SAT/UNSAT): 7529(7529/0)
Jun 02, 2017 9:19:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :717/2191 took 575834 ms. Total solver calls (SAT/UNSAT): 7551(7551/0)
Jun 02, 2017 9:19:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :719/2191 took 577225 ms. Total solver calls (SAT/UNSAT): 7567(7567/0)
Jun 02, 2017 9:19:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :720/2191 took 578789 ms. Total solver calls (SAT/UNSAT): 7585(7585/0)
Jun 02, 2017 9:19:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :721/2191 took 580351 ms. Total solver calls (SAT/UNSAT): 7603(7603/0)
Jun 02, 2017 9:19:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :723/2191 took 582658 ms. Total solver calls (SAT/UNSAT): 7633(7633/0)
Jun 02, 2017 9:19:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :724/2191 took 584657 ms. Total solver calls (SAT/UNSAT): 7656(7656/0)
Jun 02, 2017 9:19:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :725/2191 took 586745 ms. Total solver calls (SAT/UNSAT): 7680(7680/0)
Jun 02, 2017 9:19:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :726/2191 took 588739 ms. Total solver calls (SAT/UNSAT): 7703(7703/0)
Jun 02, 2017 9:19:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :728/2191 took 590362 ms. Total solver calls (SAT/UNSAT): 7747(7747/0)
Jun 02, 2017 9:19:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :730/2191 took 591394 ms. Total solver calls (SAT/UNSAT): 7775(7775/0)
Jun 02, 2017 9:19:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :733/2191 took 592457 ms. Total solver calls (SAT/UNSAT): 7793(7793/0)
Jun 02, 2017 9:19:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :734/2191 took 593502 ms. Total solver calls (SAT/UNSAT): 7805(7805/0)
Jun 02, 2017 9:19:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :735/2191 took 594888 ms. Total solver calls (SAT/UNSAT): 7821(7821/0)
Jun 02, 2017 9:19:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :738/2191 took 597016 ms. Total solver calls (SAT/UNSAT): 7857(7857/0)
Jun 02, 2017 9:19:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :740/2191 took 598408 ms. Total solver calls (SAT/UNSAT): 7873(7873/0)
Jun 02, 2017 9:19:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :743/2191 took 600551 ms. Total solver calls (SAT/UNSAT): 7900(7900/0)
Jun 02, 2017 9:20:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :745/2191 took 603065 ms. Total solver calls (SAT/UNSAT): 7929(7929/0)
Jun 02, 2017 9:20:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :749/2191 took 605301 ms. Total solver calls (SAT/UNSAT): 7957(7957/0)
Jun 02, 2017 9:20:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :754/2191 took 607218 ms. Total solver calls (SAT/UNSAT): 7994(7994/0)
Jun 02, 2017 9:20:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :756/2191 took 609031 ms. Total solver calls (SAT/UNSAT): 8016(8016/0)
Jun 02, 2017 9:20:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :757/2191 took 610242 ms. Total solver calls (SAT/UNSAT): 8030(8030/0)
Jun 02, 2017 9:20:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :759/2191 took 611974 ms. Total solver calls (SAT/UNSAT): 8050(8050/0)
Jun 02, 2017 9:20:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :760/2191 took 614748 ms. Total solver calls (SAT/UNSAT): 8082(8082/0)
Jun 02, 2017 9:20:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :761/2191 took 616480 ms. Total solver calls (SAT/UNSAT): 8102(8102/0)
Jun 02, 2017 9:20:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :764/2191 took 617828 ms. Total solver calls (SAT/UNSAT): 8121(8121/0)
Jun 02, 2017 9:20:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :766/2191 took 619259 ms. Total solver calls (SAT/UNSAT): 8141(8141/0)
Jun 02, 2017 9:20:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :767/2191 took 620466 ms. Total solver calls (SAT/UNSAT): 8155(8155/0)
Jun 02, 2017 9:20:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :769/2191 took 622114 ms. Total solver calls (SAT/UNSAT): 8174(8174/0)
Jun 02, 2017 9:20:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :771/2191 took 623914 ms. Total solver calls (SAT/UNSAT): 8197(8197/0)
Jun 02, 2017 9:20:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :772/2191 took 625475 ms. Total solver calls (SAT/UNSAT): 8215(8215/0)
Jun 02, 2017 9:20:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :776/2191 took 626571 ms. Total solver calls (SAT/UNSAT): 8238(8238/0)
Jun 02, 2017 9:20:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :778/2191 took 628797 ms. Total solver calls (SAT/UNSAT): 8266(8266/0)
Jun 02, 2017 9:20:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :781/2191 took 630476 ms. Total solver calls (SAT/UNSAT): 8286(8286/0)
Jun 02, 2017 9:20:30 PM fr.lip6.move.gal.itstools.Runner runTool
INFO: Standard error output from running tool CommandLine [args=[/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLCardinality.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLCardinality.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Computing Next relation with stutter on 1 deadlock states
Computing Next relation with stutter on 1 deadlock states
Computing Next relation with stutter on 1 deadlock states
Computing Next relation with stutter on 1 deadlock states
Computing Next relation with stutter on 1 deadlock states
Computing Next relation with stutter on 1 deadlock states
Computing Next relation with stutter on 1 deadlock states
Computing Next relation with stutter on 1 deadlock states
Computing Next relation with stutter on 1 deadlock states
Computing Next relation with stutter on 1 deadlock states
Computing Next relation with stutter on 1 deadlock states
Computing Next relation with stutter on 1 deadlock states
Computing Next relation with stutter on 1 deadlock states
Computing Next relation with stutter on 1 deadlock states
Computing Next relation with stutter on 1 deadlock states
Computing Next relation with stutter on 1 deadlock states

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="S_Eratosthenes-PT-500"
export BK_EXAMINATION="LTLCardinality"
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

tar xzf /home/mcc/BenchKit/INPUTS/S_Eratosthenes-PT-500.tgz
mv S_Eratosthenes-PT-500 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is S_Eratosthenes-PT-500, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r110-blw3-149441614400347"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 '' LTLCardinality.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 ;