About the Execution of ITS-Tools for S_Eratosthenes-PT-500
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3931.310 | 693911.00 | 1392562.00 | 417.00 | FFFTFFTFTTFTTFFF | normal |
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 LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r110-blw3-149441614400348
=====================================================================
--------------------
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-LTLFireability-0
FORMULA_NAME Eratosthenes-PT-500-LTLFireability-1
FORMULA_NAME Eratosthenes-PT-500-LTLFireability-10
FORMULA_NAME Eratosthenes-PT-500-LTLFireability-11
FORMULA_NAME Eratosthenes-PT-500-LTLFireability-12
FORMULA_NAME Eratosthenes-PT-500-LTLFireability-13
FORMULA_NAME Eratosthenes-PT-500-LTLFireability-14
FORMULA_NAME Eratosthenes-PT-500-LTLFireability-15
FORMULA_NAME Eratosthenes-PT-500-LTLFireability-2
FORMULA_NAME Eratosthenes-PT-500-LTLFireability-3
FORMULA_NAME Eratosthenes-PT-500-LTLFireability-4
FORMULA_NAME Eratosthenes-PT-500-LTLFireability-5
FORMULA_NAME Eratosthenes-PT-500-LTLFireability-6
FORMULA_NAME Eratosthenes-PT-500-LTLFireability-7
FORMULA_NAME Eratosthenes-PT-500-LTLFireability-8
FORMULA_NAME Eratosthenes-PT-500-LTLFireability-9
=== Now, execution of the tool begins
BK_START 1496437821282
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/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((X(((("p224>=1")&&("p28>=1"))U(("p15>=1")&&("p30>=1")))U(("p258>=1")U("p16>=1")))))
Formula 0 simplified : !X((("p28>=1" & "p224>=1") U ("p15>=1" & "p30>=1")) U ("p258>=1" U "p16>=1"))
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 2191 rows 404 cols
406 unique states visited
406 strongly connected components in search stack
406 transitions explored
406 items max in DFS search stack
17370 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,173.866,2210456,1,0,1616,1.58151e+07,58,1500,7456,1.10823e+07,4519
an accepting run exists (use option '-e' to print it)
Formula 0 is FALSE accepting run found.
FORMULA Eratosthenes-PT-500-LTLFireability-0 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 1 : !((G(G(F(X(F(("p204>=1")&&("p408>=1"))))))))
Formula 1 simplified : !GFXF("p204>=1" & "p408>=1")
407 unique states visited
407 strongly connected components in search stack
408 transitions explored
407 items max in DFS search stack
6180 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,235.676,2445404,1,0,1616,1.83025e+07,25,1663,7411,1.15758e+07,1957
an accepting run exists (use option '-e' to print it)
Formula 1 is FALSE accepting run found.
FORMULA Eratosthenes-PT-500-LTLFireability-1 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 2 : !((((G(("p9>=1")&&("p36>=1")))U(G(("p9>=1")&&("p414>=1"))))U("p21>=1")))
Formula 2 simplified : !((G("p9>=1" & "p36>=1") U G("p9>=1" & "p414>=1")) U "p21>=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,236.244,2445404,1,0,1616,1.83025e+07,65,1663,8251,1.15758e+07,1968
no accepting run found
Formula 2 is TRUE no accepting run found.
FORMULA Eratosthenes-PT-500-LTLFireability-2 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 3 : !((F("p482>=1")))
Formula 3 simplified : !F"p482>=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,236.245,2445524,1,0,1616,1.83025e+07,74,1663,8252,1.15758e+07,1972
no accepting run found
Formula 3 is TRUE no accepting run found.
FORMULA Eratosthenes-PT-500-LTLFireability-3 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 4 : !((G("p20>=1")))
Formula 4 simplified : !G"p20>=1"
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
4427 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,280.504,2445524,1,0,2022,1.83025e+07,82,2266,8253,1.25174e+07,5218
an accepting run exists (use option '-e' to print it)
Formula 4 is FALSE accepting run found.
FORMULA Eratosthenes-PT-500-LTLFireability-4 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 5 : !((("p8>=1")&&("p152>=1")))
Formula 5 simplified : !("p8>=1" & "p152>=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,280.505,2445524,1,0,2022,1.83025e+07,90,2266,8258,1.25174e+07,5220
no accepting run found
Formula 5 is TRUE no accepting run found.
FORMULA Eratosthenes-PT-500-LTLFireability-5 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 6 : !(("p38>=1"))
Formula 6 simplified : !"p38>=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,280.505,2445524,1,0,2022,1.83025e+07,93,2266,8259,1.25174e+07,5222
no accepting run found
Formula 6 is TRUE no accepting run found.
FORMULA Eratosthenes-PT-500-LTLFireability-6 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 7 : !((G(F(("p100>=1")&&("p10>=1")))))
Formula 7 simplified : !GF("p10>=1" & "p100>=1")
407 unique states visited
407 strongly connected components in search stack
408 transitions explored
407 items max in DFS search stack
5348 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,333.991,2832188,1,0,2424,2.00787e+07,15,3228,5795,1.47463e+07,9
an accepting run exists (use option '-e' to print it)
Formula 7 is FALSE accepting run found.
FORMULA Eratosthenes-PT-500-LTLFireability-7 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 8 : !((X(((("p78>=1")&&("p6>=1"))U("p166>=1"))U(F(F(("p216>=1")&&("p27>=1")))))))
Formula 8 simplified : !X((("p6>=1" & "p78>=1") U "p166>=1") U F("p27>=1" & "p216>=1"))
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
3493 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,368.947,2832196,1,0,2424,2.00787e+07,30,3228,7413,1.47463e+07,4051
an accepting run exists (use option '-e' to print it)
Formula 8 is FALSE accepting run found.
FORMULA Eratosthenes-PT-500-LTLFireability-8 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 9 : !((X(F((X(("p441>=1")&&("p147>=1")))U("p215>=1")))))
Formula 9 simplified : !XF(X("p147>=1" & "p441>=1") U "p215>=1")
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
4295 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,411.971,2841672,1,0,4033,2.12917e+07,39,3228,7414,1.47463e+07,8089
an accepting run exists (use option '-e' to print it)
Formula 9 is FALSE accepting run found.
FORMULA Eratosthenes-PT-500-LTLFireability-9 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 10 : !((X(("p26>=1")&&("p260>=1"))))
Formula 10 simplified : !X("p26>=1" & "p260>=1")
4 unique states visited
4 strongly connected components in search stack
4 transitions explored
4 items max in DFS search stack
5426 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,466.235,3114120,1,0,4183,2.3596e+07,15,3522,7410,1.56097e+07,774
an accepting run exists (use option '-e' to print it)
Formula 10 is FALSE accepting run found.
FORMULA Eratosthenes-PT-500-LTLFireability-10 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 11 : !((F(("p356>=1")&&("p178>=1"))))
Formula 11 simplified : !F("p178>=1" & "p356>=1")
1 unique states visited
0 strongly connected components in search stack
0 transitions explored
1 items max in DFS search stack
53 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,466.768,3114120,1,0,4183,2.3596e+07,30,3522,8221,1.56097e+07,779
no accepting run found
Formula 11 is TRUE no accepting run found.
FORMULA Eratosthenes-PT-500-LTLFireability-11 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 12 : !((X(F(G(("p468>=1")&&("p117>=1"))))))
Formula 12 simplified : !XFG("p117>=1" & "p468>=1")
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
8996 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,556.726,3369524,1,0,4183,2.59158e+07,50,3522,8228,1.66575e+07,7235
an accepting run exists (use option '-e' to print it)
Formula 12 is FALSE accepting run found.
FORMULA Eratosthenes-PT-500-LTLFireability-12 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 13 : !(((F(("p84>=1")&&("p336>=1")))U(F(G(X("p494>=1"))))))
Formula 13 simplified : !(F("p84>=1" & "p336>=1") U FGX"p494>=1")
406 unique states visited
405 strongly connected components in search stack
407 transitions explored
406 items max in DFS search stack
6249 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,619.217,3395024,1,0,4183,2.59371e+07,16,3522,7407,1.66864e+07,4846
an accepting run exists (use option '-e' to print it)
Formula 13 is FALSE accepting run found.
FORMULA Eratosthenes-PT-500-LTLFireability-13 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 14 : !((("p36>=1")&&("p144>=1")))
Formula 14 simplified : !("p36>=1" & "p144>=1")
1 unique states visited
0 strongly connected components in search stack
0 transitions explored
1 items max in DFS search stack
59 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,619.807,3395024,1,0,4183,2.59371e+07,25,3522,8218,1.66864e+07,4849
no accepting run found
Formula 14 is TRUE no accepting run found.
FORMULA Eratosthenes-PT-500-LTLFireability-14 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Checking formula 15 : !(((G(X(("p96>=1")&&("p8>=1"))))U(G(G(("p376>=1")&&("p4>=1"))))))
Formula 15 simplified : !(GX("p8>=1" & "p96>=1") U G("p4>=1" & "p376>=1"))
4 unique states visited
4 strongly connected components in search stack
4 transitions explored
4 items max in DFS search stack
4449 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,664.303,3395028,1,0,4183,2.59371e+07,66,3626,8250,1.66864e+07,8092
an accepting run exists (use option '-e' to print it)
Formula 15 is FALSE accepting run found.
FORMULA Eratosthenes-PT-500-LTLFireability-15 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
Exit code :0
BK_STOP 1496438515193
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -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 LTLFireability -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 02, 2017 9:10:22 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 02, 2017 9:10:23 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 211 ms
Jun 02, 2017 9:10:23 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 499 places.
Jun 02, 2017 9:10:23 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 2191 transitions.
Jun 02, 2017 9:10:23 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:10:23 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:10:23 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: p293,p271,p491,p23,p191,p7,p137,p389,p479,p353,p233,p421,p43,p331,p409,p373,p13,p2,p107,p359,p499,p449,p3,p263,p73,p433,p113,p461,p157,p281,p17,p131,p11,p163,p173,p41,p349,p127,p197,p89,p47,p227,p79,p37,p257,p67,p101,p31,p311,p307,p467,p193,p439,p283,p367,p251,p211,p59,p229,p277,p443,p241,p431,p19,p463,p487,p109,p151,p223,p83,p29,p313,p103,p199,p383,p181,p379,p317,p139,p239,p347,p97,p179,p457,p71,p149,p269,p419,p53,p61,p5,p397,p401,p167,p337,
Jun 02, 2017 9:10:24 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 95 constant variables :p293, p271, p491, p23, p191, p7, p137, p389, p479, p353, p233, p421, p43, p331, p409, p373, p13, p2, p107, p359, p499, p449, p3, p263, p73, p433, p113, p461, p157, p281, p17, p131, p11, p163, p173, p41, p349, p127, p197, p89, p47, p227, p79, p37, p257, p67, p101, p31, p311, p307, p467, p193, p439, p283, p367, p251, p211, p59, p229, p277, p443, p241, p431, p19, p463, p487, p109, p151, p223, p83, p29, p313, p103, p199, p383, p181, p379, p317, p139, p239, p347, p97, p179, p457, p71, p149, p269, p419, p53, p61, p5, p397, p401, p167, p337
Jun 02, 2017 9:10:24 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 922 expressions due to constant valuations.
Jun 02, 2017 9:10:24 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1024 ms
Jun 02, 2017 9:10:24 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 36 ms
Jun 02, 2017 9:10:24 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 1 ms
Jun 02, 2017 9:10:25 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 0 place invariants in 206 ms
Jun 02, 2017 9:10:26 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 404 variables to be positive in 419 ms
Jun 02, 2017 9:10:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 2191 transitions.
Jun 02, 2017 9:10:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/2191 took 1784 ms. Total solver calls (SAT/UNSAT): 20(20/0)
Jun 02, 2017 9:10:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/2191 took 3737 ms. Total solver calls (SAT/UNSAT): 43(43/0)
Jun 02, 2017 9:10:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/2191 took 5703 ms. Total solver calls (SAT/UNSAT): 65(65/0)
Jun 02, 2017 9:10:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/2191 took 7568 ms. Total solver calls (SAT/UNSAT): 83(83/0)
Jun 02, 2017 9:10:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/2191 took 9363 ms. Total solver calls (SAT/UNSAT): 103(103/0)
Jun 02, 2017 9:10:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :7/2191 took 11056 ms. Total solver calls (SAT/UNSAT): 123(123/0)
Jun 02, 2017 9:10:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :9/2191 took 12099 ms. Total solver calls (SAT/UNSAT): 144(144/0)
Jun 02, 2017 9:10:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :10/2191 took 13548 ms. Total solver calls (SAT/UNSAT): 160(160/0)
Jun 02, 2017 9:10:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/2191 took 14980 ms. Total solver calls (SAT/UNSAT): 176(176/0)
Jun 02, 2017 9:10:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/2191 took 16258 ms. Total solver calls (SAT/UNSAT): 202(202/0)
Jun 02, 2017 9:10:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/2191 took 17968 ms. Total solver calls (SAT/UNSAT): 221(221/0)
Jun 02, 2017 9:10:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/2191 took 19046 ms. Total solver calls (SAT/UNSAT): 233(233/0)
Jun 02, 2017 9:10:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/2191 took 20419 ms. Total solver calls (SAT/UNSAT): 248(248/0)
Jun 02, 2017 9:10:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :25/2191 took 22133 ms. Total solver calls (SAT/UNSAT): 275(275/0)
Jun 02, 2017 9:10:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/2191 took 23405 ms. Total solver calls (SAT/UNSAT): 289(289/0)
Jun 02, 2017 9:10:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/2191 took 24480 ms. Total solver calls (SAT/UNSAT): 301(301/0)
Jun 02, 2017 9:10:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/2191 took 26423 ms. Total solver calls (SAT/UNSAT): 325(325/0)
Jun 02, 2017 9:10:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :31/2191 took 28393 ms. Total solver calls (SAT/UNSAT): 347(347/0)
Jun 02, 2017 9:10:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :33/2191 took 29793 ms. Total solver calls (SAT/UNSAT): 368(368/0)
Jun 02, 2017 9:10:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/2191 took 31313 ms. Total solver calls (SAT/UNSAT): 392(392/0)
Jun 02, 2017 9:10:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/2191 took 33106 ms. Total solver calls (SAT/UNSAT): 412(412/0)
Jun 02, 2017 9:11:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/2191 took 34643 ms. Total solver calls (SAT/UNSAT): 430(430/0)
Jun 02, 2017 9:11:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :42/2191 took 36313 ms. Total solver calls (SAT/UNSAT): 454(454/0)
Jun 02, 2017 9:11:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/2191 took 37748 ms. Total solver calls (SAT/UNSAT): 470(470/0)
Jun 02, 2017 9:11:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/2191 took 40073 ms. Total solver calls (SAT/UNSAT): 496(496/0)
Jun 02, 2017 9:11:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :46/2191 took 41509 ms. Total solver calls (SAT/UNSAT): 512(512/0)
Jun 02, 2017 9:11:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/2191 took 43604 ms. Total solver calls (SAT/UNSAT): 536(536/0)
Jun 02, 2017 9:11:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/2191 took 45262 ms. Total solver calls (SAT/UNSAT): 560(560/0)
Jun 02, 2017 9:11:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :51/2191 took 46513 ms. Total solver calls (SAT/UNSAT): 574(574/0)
Jun 02, 2017 9:11:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :54/2191 took 47934 ms. Total solver calls (SAT/UNSAT): 601(601/0)
Jun 02, 2017 9:11:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/2191 took 49545 ms. Total solver calls (SAT/UNSAT): 619(619/0)
Jun 02, 2017 9:11:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :57/2191 took 51337 ms. Total solver calls (SAT/UNSAT): 639(639/0)
Jun 02, 2017 9:11:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :61/2191 took 54133 ms. Total solver calls (SAT/UNSAT): 675(675/0)
Jun 02, 2017 9:11:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :63/2191 took 57716 ms. Total solver calls (SAT/UNSAT): 715(715/0)
Jun 02, 2017 9:11:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :67/2191 took 59413 ms. Total solver calls (SAT/UNSAT): 741(741/0)
Jun 02, 2017 9:11:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :70/2191 took 60742 ms. Total solver calls (SAT/UNSAT): 757(757/0)
Jun 02, 2017 9:11:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/2191 took 61990 ms. Total solver calls (SAT/UNSAT): 771(771/0)
Jun 02, 2017 9:11:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/2191 took 63565 ms. Total solver calls (SAT/UNSAT): 791(791/0)
Jun 02, 2017 9:11:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :78/2191 took 66583 ms. Total solver calls (SAT/UNSAT): 833(833/0)
Jun 02, 2017 9:11:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :79/2191 took 68143 ms. Total solver calls (SAT/UNSAT): 850(850/0)
Jun 02, 2017 9:11:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/2191 took 69250 ms. Total solver calls (SAT/UNSAT): 868(868/0)
Jun 02, 2017 9:11:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :85/2191 took 71406 ms. Total solver calls (SAT/UNSAT): 898(898/0)
Jun 02, 2017 9:11:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/2191 took 74363 ms. Total solver calls (SAT/UNSAT): 944(944/0)
Jun 02, 2017 9:11:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/2191 took 75436 ms. Total solver calls (SAT/UNSAT): 956(956/0)
Jun 02, 2017 9:11:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/2191 took 77937 ms. Total solver calls (SAT/UNSAT): 984(984/0)
Jun 02, 2017 9:11:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :93/2191 took 79012 ms. Total solver calls (SAT/UNSAT): 996(996/0)
Jun 02, 2017 9:11:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :94/2191 took 80619 ms. Total solver calls (SAT/UNSAT): 1014(1014/0)
Jun 02, 2017 9:11:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :97/2191 took 82504 ms. Total solver calls (SAT/UNSAT): 1048(1048/0)
Jun 02, 2017 9:11:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/2191 took 84022 ms. Total solver calls (SAT/UNSAT): 1065(1065/0)
Jun 02, 2017 9:11:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :99/2191 took 85634 ms. Total solver calls (SAT/UNSAT): 1083(1083/0)
Jun 02, 2017 9:11:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/2191 took 86976 ms. Total solver calls (SAT/UNSAT): 1098(1098/0)
Jun 02, 2017 9:11:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/2191 took 88764 ms. Total solver calls (SAT/UNSAT): 1118(1118/0)
Jun 02, 2017 9:11:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :102/2191 took 90016 ms. Total solver calls (SAT/UNSAT): 1132(1132/0)
Jun 02, 2017 9:11:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :103/2191 took 92159 ms. Total solver calls (SAT/UNSAT): 1156(1156/0)
Jun 02, 2017 9:11:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :105/2191 took 93325 ms. Total solver calls (SAT/UNSAT): 1169(1169/0)
Jun 02, 2017 9:12:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :106/2191 took 94848 ms. Total solver calls (SAT/UNSAT): 1186(1186/0)
Jun 02, 2017 9:12:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/2191 took 95933 ms. Total solver calls (SAT/UNSAT): 1204(1204/0)
Jun 02, 2017 9:12:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/2191 took 97016 ms. Total solver calls (SAT/UNSAT): 1222(1222/0)
Jun 02, 2017 9:12:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :114/2191 took 98448 ms. Total solver calls (SAT/UNSAT): 1238(1238/0)
Jun 02, 2017 9:12:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/2191 took 99526 ms. Total solver calls (SAT/UNSAT): 1250(1250/0)
Jun 02, 2017 9:12:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :117/2191 took 100613 ms. Total solver calls (SAT/UNSAT): 1268(1268/0)
Jun 02, 2017 9:12:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :118/2191 took 102400 ms. Total solver calls (SAT/UNSAT): 1288(1288/0)
Jun 02, 2017 9:12:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/2191 took 103838 ms. Total solver calls (SAT/UNSAT): 1304(1304/0)
Jun 02, 2017 9:12:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/2191 took 104914 ms. Total solver calls (SAT/UNSAT): 1316(1316/0)
Jun 02, 2017 9:12:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/2191 took 106246 ms. Total solver calls (SAT/UNSAT): 1332(1332/0)
Jun 02, 2017 9:12:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/2191 took 108417 ms. Total solver calls (SAT/UNSAT): 1368(1368/0)
Jun 02, 2017 9:12:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :126/2191 took 109494 ms. Total solver calls (SAT/UNSAT): 1380(1380/0)
Jun 02, 2017 9:12:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/2191 took 110747 ms. Total solver calls (SAT/UNSAT): 1394(1394/0)
Jun 02, 2017 9:12:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :129/2191 took 112985 ms. Total solver calls (SAT/UNSAT): 1419(1419/0)
Jun 02, 2017 9:12:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/2191 took 114331 ms. Total solver calls (SAT/UNSAT): 1433(1433/0)
Jun 02, 2017 9:12:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/2191 took 116060 ms. Total solver calls (SAT/UNSAT): 1455(1455/0)
Jun 02, 2017 9:12:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :133/2191 took 117851 ms. Total solver calls (SAT/UNSAT): 1475(1475/0)
Jun 02, 2017 9:12:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/2191 took 119377 ms. Total solver calls (SAT/UNSAT): 1492(1492/0)
Jun 02, 2017 9:12:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/2191 took 120814 ms. Total solver calls (SAT/UNSAT): 1508(1508/0)
Jun 02, 2017 9:12:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/2191 took 121998 ms. Total solver calls (SAT/UNSAT): 1540(1540/0)
Jun 02, 2017 9:12:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :141/2191 took 124059 ms. Total solver calls (SAT/UNSAT): 1570(1570/0)
Jun 02, 2017 9:12:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :145/2191 took 125104 ms. Total solver calls (SAT/UNSAT): 1591(1591/0)
Jun 02, 2017 9:12:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/2191 took 127471 ms. Total solver calls (SAT/UNSAT): 1621(1621/0)
Jun 02, 2017 9:12:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/2191 took 129357 ms. Total solver calls (SAT/UNSAT): 1655(1655/0)
Jun 02, 2017 9:12:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/2191 took 131508 ms. Total solver calls (SAT/UNSAT): 1679(1679/0)
Jun 02, 2017 9:12:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/2191 took 132945 ms. Total solver calls (SAT/UNSAT): 1695(1695/0)
Jun 02, 2017 9:12:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :154/2191 took 134202 ms. Total solver calls (SAT/UNSAT): 1709(1709/0)
Jun 02, 2017 9:12:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :157/2191 took 135778 ms. Total solver calls (SAT/UNSAT): 1729(1729/0)
Jun 02, 2017 9:12:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/2191 took 136886 ms. Total solver calls (SAT/UNSAT): 1741(1741/0)
Jun 02, 2017 9:12:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/2191 took 138088 ms. Total solver calls (SAT/UNSAT): 1773(1773/0)
Jun 02, 2017 9:12:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :163/2191 took 139169 ms. Total solver calls (SAT/UNSAT): 1785(1785/0)
Jun 02, 2017 9:12:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/2191 took 140602 ms. Total solver calls (SAT/UNSAT): 1801(1801/0)
Jun 02, 2017 9:12:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :165/2191 took 141853 ms. Total solver calls (SAT/UNSAT): 1815(1815/0)
Jun 02, 2017 9:12:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/2191 took 143823 ms. Total solver calls (SAT/UNSAT): 1837(1837/0)
Jun 02, 2017 9:12:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/2191 took 144986 ms. Total solver calls (SAT/UNSAT): 1857(1857/0)
Jun 02, 2017 9:12:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/2191 took 147761 ms. Total solver calls (SAT/UNSAT): 1888(1888/0)
Jun 02, 2017 9:12:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :175/2191 took 149458 ms. Total solver calls (SAT/UNSAT): 1907(1907/0)
Jun 02, 2017 9:12:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/2191 took 152318 ms. Total solver calls (SAT/UNSAT): 1939(1939/0)
Jun 02, 2017 9:13:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :178/2191 took 154331 ms. Total solver calls (SAT/UNSAT): 1965(1965/0)
Jun 02, 2017 9:13:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/2191 took 155369 ms. Total solver calls (SAT/UNSAT): 1993(1993/0)
Jun 02, 2017 9:13:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :184/2191 took 158677 ms. Total solver calls (SAT/UNSAT): 2030(2030/0)
Jun 02, 2017 9:13:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/2191 took 161722 ms. Total solver calls (SAT/UNSAT): 2064(2064/0)
Jun 02, 2017 9:13:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :188/2191 took 163047 ms. Total solver calls (SAT/UNSAT): 2087(2087/0)
Jun 02, 2017 9:13:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :190/2191 took 164993 ms. Total solver calls (SAT/UNSAT): 2117(2117/0)
Jun 02, 2017 9:13:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :193/2191 took 166027 ms. Total solver calls (SAT/UNSAT): 2145(2145/0)
Jun 02, 2017 9:13:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/2191 took 167522 ms. Total solver calls (SAT/UNSAT): 2170(2170/0)
Jun 02, 2017 9:13:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/2191 took 169675 ms. Total solver calls (SAT/UNSAT): 2200(2200/0)
Jun 02, 2017 9:13:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :198/2191 took 170924 ms. Total solver calls (SAT/UNSAT): 2214(2214/0)
Jun 02, 2017 9:13:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/2191 took 172350 ms. Total solver calls (SAT/UNSAT): 2230(2230/0)
Jun 02, 2017 9:13:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :203/2191 took 173988 ms. Total solver calls (SAT/UNSAT): 2253(2253/0)
Jun 02, 2017 9:13:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :205/2191 took 175716 ms. Total solver calls (SAT/UNSAT): 2277(2277/0)
Jun 02, 2017 9:13:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :207/2191 took 177327 ms. Total solver calls (SAT/UNSAT): 2295(2295/0)
Jun 02, 2017 9:13:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :208/2191 took 179654 ms. Total solver calls (SAT/UNSAT): 2321(2321/0)
Jun 02, 2017 9:13:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/2191 took 180813 ms. Total solver calls (SAT/UNSAT): 2334(2334/0)
Jun 02, 2017 9:13:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :212/2191 took 184920 ms. Total solver calls (SAT/UNSAT): 2387(2387/0)
Jun 02, 2017 9:13:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/2191 took 186318 ms. Total solver calls (SAT/UNSAT): 2405(2405/0)
Jun 02, 2017 9:13:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :218/2191 took 187370 ms. Total solver calls (SAT/UNSAT): 2425(2425/0)
Jun 02, 2017 9:13:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/2191 took 188976 ms. Total solver calls (SAT/UNSAT): 2443(2443/0)
Jun 02, 2017 9:13:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/2191 took 190049 ms. Total solver calls (SAT/UNSAT): 2455(2455/0)
Jun 02, 2017 9:13:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/2191 took 191566 ms. Total solver calls (SAT/UNSAT): 2472(2472/0)
Jun 02, 2017 9:13:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/2191 took 194087 ms. Total solver calls (SAT/UNSAT): 2512(2512/0)
Jun 02, 2017 9:13:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/2191 took 195490 ms. Total solver calls (SAT/UNSAT): 2550(2550/0)
Jun 02, 2017 9:13:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :230/2191 took 197700 ms. Total solver calls (SAT/UNSAT): 2576(2576/0)
Jun 02, 2017 9:13:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :232/2191 took 199054 ms. Total solver calls (SAT/UNSAT): 2597(2597/0)
Jun 02, 2017 9:13:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/2191 took 200822 ms. Total solver calls (SAT/UNSAT): 2618(2618/0)
Jun 02, 2017 9:13:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :237/2191 took 201861 ms. Total solver calls (SAT/UNSAT): 2632(2632/0)
Jun 02, 2017 9:13:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :238/2191 took 203289 ms. Total solver calls (SAT/UNSAT): 2648(2648/0)
Jun 02, 2017 9:13:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :239/2191 took 204628 ms. Total solver calls (SAT/UNSAT): 2663(2663/0)
Jun 02, 2017 9:13:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/2191 took 206057 ms. Total solver calls (SAT/UNSAT): 2679(2679/0)
Jun 02, 2017 9:13:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :242/2191 took 207093 ms. Total solver calls (SAT/UNSAT): 2707(2707/0)
Jun 02, 2017 9:13:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/2191 took 208880 ms. Total solver calls (SAT/UNSAT): 2727(2727/0)
Jun 02, 2017 9:13:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :245/2191 took 211274 ms. Total solver calls (SAT/UNSAT): 2755(2755/0)
Jun 02, 2017 9:13:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/2191 took 213418 ms. Total solver calls (SAT/UNSAT): 2779(2779/0)
Jun 02, 2017 9:14:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :247/2191 took 214490 ms. Total solver calls (SAT/UNSAT): 2791(2791/0)
Jun 02, 2017 9:14:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/2191 took 216988 ms. Total solver calls (SAT/UNSAT): 2819(2819/0)
Jun 02, 2017 9:14:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :249/2191 took 219306 ms. Total solver calls (SAT/UNSAT): 2845(2845/0)
Jun 02, 2017 9:14:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :250/2191 took 220734 ms. Total solver calls (SAT/UNSAT): 2861(2861/0)
Jun 02, 2017 9:14:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/2191 took 221895 ms. Total solver calls (SAT/UNSAT): 2874(2874/0)
Jun 02, 2017 9:14:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :253/2191 took 223146 ms. Total solver calls (SAT/UNSAT): 2888(2888/0)
Jun 02, 2017 9:14:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :254/2191 took 224934 ms. Total solver calls (SAT/UNSAT): 2908(2908/0)
Jun 02, 2017 9:14:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :255/2191 took 226628 ms. Total solver calls (SAT/UNSAT): 2927(2927/0)
Jun 02, 2017 9:14:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :257/2191 took 228958 ms. Total solver calls (SAT/UNSAT): 2953(2953/0)
Jun 02, 2017 9:14:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :259/2191 took 230288 ms. Total solver calls (SAT/UNSAT): 2989(2989/0)
Jun 02, 2017 9:14:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :261/2191 took 231721 ms. Total solver calls (SAT/UNSAT): 3005(3005/0)
Jun 02, 2017 9:14:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :264/2191 took 232722 ms. Total solver calls (SAT/UNSAT): 3023(3023/0)
Jun 02, 2017 9:14:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :265/2191 took 233794 ms. Total solver calls (SAT/UNSAT): 3035(3035/0)
Jun 02, 2017 9:14:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :270/2191 took 235407 ms. Total solver calls (SAT/UNSAT): 3060(3060/0)
Jun 02, 2017 9:14:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :271/2191 took 236487 ms. Total solver calls (SAT/UNSAT): 3072(3072/0)
Jun 02, 2017 9:14:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/2191 took 238601 ms. Total solver calls (SAT/UNSAT): 3098(3098/0)
Jun 02, 2017 9:14:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :278/2191 took 241477 ms. Total solver calls (SAT/UNSAT): 3142(3142/0)
Jun 02, 2017 9:14:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :279/2191 took 242904 ms. Total solver calls (SAT/UNSAT): 3158(3158/0)
Jun 02, 2017 9:14:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :280/2191 took 243977 ms. Total solver calls (SAT/UNSAT): 3170(3170/0)
Jun 02, 2017 9:14:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/2191 took 246029 ms. Total solver calls (SAT/UNSAT): 3193(3193/0)
Jun 02, 2017 9:14:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/2191 took 247992 ms. Total solver calls (SAT/UNSAT): 3215(3215/0)
Jun 02, 2017 9:14:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :286/2191 took 250088 ms. Total solver calls (SAT/UNSAT): 3242(3242/0)
Jun 02, 2017 9:14:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :290/2191 took 252319 ms. Total solver calls (SAT/UNSAT): 3274(3274/0)
Jun 02, 2017 9:14:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/2191 took 254005 ms. Total solver calls (SAT/UNSAT): 3294(3294/0)
Jun 02, 2017 9:14:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :294/2191 took 255230 ms. Total solver calls (SAT/UNSAT): 3310(3310/0)
Jun 02, 2017 9:14:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/2191 took 258186 ms. Total solver calls (SAT/UNSAT): 3343(3343/0)
Jun 02, 2017 9:14:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :297/2191 took 259259 ms. Total solver calls (SAT/UNSAT): 3355(3355/0)
Jun 02, 2017 9:14:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :300/2191 took 261072 ms. Total solver calls (SAT/UNSAT): 3387(3387/0)
Jun 02, 2017 9:14:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :302/2191 took 262424 ms. Total solver calls (SAT/UNSAT): 3408(3408/0)
Jun 02, 2017 9:14:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :303/2191 took 263854 ms. Total solver calls (SAT/UNSAT): 3424(3424/0)
Jun 02, 2017 9:14:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :305/2191 took 264895 ms. Total solver calls (SAT/UNSAT): 3438(3438/0)
Jun 02, 2017 9:14:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :309/2191 took 266386 ms. Total solver calls (SAT/UNSAT): 3457(3457/0)
Jun 02, 2017 9:14:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :313/2191 took 268187 ms. Total solver calls (SAT/UNSAT): 3483(3483/0)
Jun 02, 2017 9:14:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/2191 took 269230 ms. Total solver calls (SAT/UNSAT): 3497(3497/0)
Jun 02, 2017 9:14:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/2191 took 270732 ms. Total solver calls (SAT/UNSAT): 3522(3522/0)
Jun 02, 2017 9:14:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/2191 took 272743 ms. Total solver calls (SAT/UNSAT): 3548(3548/0)
Jun 02, 2017 9:15:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :326/2191 took 274802 ms. Total solver calls (SAT/UNSAT): 3571(3571/0)
Jun 02, 2017 9:15:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/2191 took 276682 ms. Total solver calls (SAT/UNSAT): 3592(3592/0)
Jun 02, 2017 9:15:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :330/2191 took 278082 ms. Total solver calls (SAT/UNSAT): 3617(3617/0)
Jun 02, 2017 9:15:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/2191 took 279722 ms. Total solver calls (SAT/UNSAT): 3635(3635/0)
Jun 02, 2017 9:15:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :335/2191 took 280764 ms. Total solver calls (SAT/UNSAT): 3649(3649/0)
Jun 02, 2017 9:15:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/2191 took 282116 ms. Total solver calls (SAT/UNSAT): 3670(3670/0)
Jun 02, 2017 9:15:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :341/2191 took 283127 ms. Total solver calls (SAT/UNSAT): 3686(3686/0)
Jun 02, 2017 9:15:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :343/2191 took 284271 ms. Total solver calls (SAT/UNSAT): 3700(3700/0)
Jun 02, 2017 9:15:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/2191 took 286643 ms. Total solver calls (SAT/UNSAT): 3729(3729/0)
Jun 02, 2017 9:15:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/2191 took 289502 ms. Total solver calls (SAT/UNSAT): 3761(3761/0)
Jun 02, 2017 9:15:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/2191 took 290724 ms. Total solver calls (SAT/UNSAT): 3775(3775/0)
Jun 02, 2017 9:15:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/2191 took 292202 ms. Total solver calls (SAT/UNSAT): 3792(3792/0)
Jun 02, 2017 9:15:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/2191 took 293807 ms. Total solver calls (SAT/UNSAT): 3810(3810/0)
Jun 02, 2017 9:15:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/2191 took 295327 ms. Total solver calls (SAT/UNSAT): 3827(3827/0)
Jun 02, 2017 9:15:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/2191 took 296508 ms. Total solver calls (SAT/UNSAT): 3859(3859/0)
Jun 02, 2017 9:15:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/2191 took 297999 ms. Total solver calls (SAT/UNSAT): 3876(3876/0)
Jun 02, 2017 9:15:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/2191 took 299563 ms. Total solver calls (SAT/UNSAT): 3894(3894/0)
Jun 02, 2017 9:15:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/2191 took 300592 ms. Total solver calls (SAT/UNSAT): 3907(3907/0)
Jun 02, 2017 9:15:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/2191 took 301878 ms. Total solver calls (SAT/UNSAT): 3931(3931/0)
Jun 02, 2017 9:15:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :366/2191 took 304661 ms. Total solver calls (SAT/UNSAT): 3963(3963/0)
Jun 02, 2017 9:15:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/2191 took 306668 ms. Total solver calls (SAT/UNSAT): 3997(3997/0)
Jun 02, 2017 9:15:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/2191 took 307885 ms. Total solver calls (SAT/UNSAT): 4011(4011/0)
Jun 02, 2017 9:15:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/2191 took 309190 ms. Total solver calls (SAT/UNSAT): 4026(4026/0)
Jun 02, 2017 9:15:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/2191 took 310407 ms. Total solver calls (SAT/UNSAT): 4040(4040/0)
Jun 02, 2017 9:15:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :373/2191 took 311450 ms. Total solver calls (SAT/UNSAT): 4052(4052/0)
Jun 02, 2017 9:15:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/2191 took 312670 ms. Total solver calls (SAT/UNSAT): 4066(4066/0)
Jun 02, 2017 9:15:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/2191 took 313887 ms. Total solver calls (SAT/UNSAT): 4080(4080/0)
Jun 02, 2017 9:15:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/2191 took 316046 ms. Total solver calls (SAT/UNSAT): 4106(4106/0)
Jun 02, 2017 9:15:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/2191 took 317700 ms. Total solver calls (SAT/UNSAT): 4125(4125/0)
Jun 02, 2017 9:15:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/2191 took 318744 ms. Total solver calls (SAT/UNSAT): 4137(4137/0)
Jun 02, 2017 9:15:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/2191 took 320872 ms. Total solver calls (SAT/UNSAT): 4173(4173/0)
Jun 02, 2017 9:15:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/2191 took 322056 ms. Total solver calls (SAT/UNSAT): 4197(4197/0)
Jun 02, 2017 9:15:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/2191 took 323099 ms. Total solver calls (SAT/UNSAT): 4209(4209/0)
Jun 02, 2017 9:15:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/2191 took 324220 ms. Total solver calls (SAT/UNSAT): 4223(4223/0)
Jun 02, 2017 9:15:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/2191 took 325436 ms. Total solver calls (SAT/UNSAT): 4237(4237/0)
Jun 02, 2017 9:15:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/2191 took 326501 ms. Total solver calls (SAT/UNSAT): 4255(4255/0)
Jun 02, 2017 9:15:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/2191 took 327714 ms. Total solver calls (SAT/UNSAT): 4269(4269/0)
Jun 02, 2017 9:15:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/2191 took 329126 ms. Total solver calls (SAT/UNSAT): 4291(4291/0)
Jun 02, 2017 9:15:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/2191 took 330517 ms. Total solver calls (SAT/UNSAT): 4307(4307/0)
Jun 02, 2017 9:15:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/2191 took 331559 ms. Total solver calls (SAT/UNSAT): 4319(4319/0)
Jun 02, 2017 9:16:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/2191 took 334320 ms. Total solver calls (SAT/UNSAT): 4353(4353/0)
Jun 02, 2017 9:16:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/2191 took 336487 ms. Total solver calls (SAT/UNSAT): 4378(4378/0)
Jun 02, 2017 9:16:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/2191 took 337614 ms. Total solver calls (SAT/UNSAT): 4391(4391/0)
Jun 02, 2017 9:16:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/2191 took 338829 ms. Total solver calls (SAT/UNSAT): 4405(4405/0)
Jun 02, 2017 9:16:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/2191 took 339874 ms. Total solver calls (SAT/UNSAT): 4417(4417/0)
Jun 02, 2017 9:16:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/2191 took 341960 ms. Total solver calls (SAT/UNSAT): 4441(4441/0)
Jun 02, 2017 9:16:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/2191 took 343423 ms. Total solver calls (SAT/UNSAT): 4459(4459/0)
Jun 02, 2017 9:16:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/2191 took 344850 ms. Total solver calls (SAT/UNSAT): 4480(4480/0)
Jun 02, 2017 9:16:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/2191 took 346239 ms. Total solver calls (SAT/UNSAT): 4496(4496/0)
Jun 02, 2017 9:16:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :426/2191 took 348507 ms. Total solver calls (SAT/UNSAT): 4529(4529/0)
Jun 02, 2017 9:16:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/2191 took 349697 ms. Total solver calls (SAT/UNSAT): 4545(4545/0)
Jun 02, 2017 9:16:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :430/2191 took 350916 ms. Total solver calls (SAT/UNSAT): 4567(4567/0)
Jun 02, 2017 9:16:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/2191 took 352317 ms. Total solver calls (SAT/UNSAT): 4583(4583/0)
Jun 02, 2017 9:16:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/2191 took 353719 ms. Total solver calls (SAT/UNSAT): 4599(4599/0)
Jun 02, 2017 9:16:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/2191 took 355109 ms. Total solver calls (SAT/UNSAT): 4615(4615/0)
Jun 02, 2017 9:16:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/2191 took 356245 ms. Total solver calls (SAT/UNSAT): 4635(4635/0)
Jun 02, 2017 9:16:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/2191 took 357461 ms. Total solver calls (SAT/UNSAT): 4649(4649/0)
Jun 02, 2017 9:16:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/2191 took 359510 ms. Total solver calls (SAT/UNSAT): 4676(4676/0)
Jun 02, 2017 9:16:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/2191 took 361159 ms. Total solver calls (SAT/UNSAT): 4695(4695/0)
Jun 02, 2017 9:16:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/2191 took 362471 ms. Total solver calls (SAT/UNSAT): 4717(4717/0)
Jun 02, 2017 9:16:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/2191 took 364211 ms. Total solver calls (SAT/UNSAT): 4737(4737/0)
Jun 02, 2017 9:16:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/2191 took 366992 ms. Total solver calls (SAT/UNSAT): 4769(4769/0)
Jun 02, 2017 9:16:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :451/2191 took 369074 ms. Total solver calls (SAT/UNSAT): 4793(4793/0)
Jun 02, 2017 9:16:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/2191 took 371680 ms. Total solver calls (SAT/UNSAT): 4823(4823/0)
Jun 02, 2017 9:16:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :454/2191 took 373938 ms. Total solver calls (SAT/UNSAT): 4849(4849/0)
Jun 02, 2017 9:16:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/2191 took 375152 ms. Total solver calls (SAT/UNSAT): 4863(4863/0)
Jun 02, 2017 9:16:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/2191 took 376478 ms. Total solver calls (SAT/UNSAT): 4884(4884/0)
Jun 02, 2017 9:16:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/2191 took 377520 ms. Total solver calls (SAT/UNSAT): 4896(4896/0)
Jun 02, 2017 9:16:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/2191 took 378778 ms. Total solver calls (SAT/UNSAT): 4922(4922/0)
Jun 02, 2017 9:16:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/2191 took 380593 ms. Total solver calls (SAT/UNSAT): 4944(4944/0)
Jun 02, 2017 9:16:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/2191 took 381811 ms. Total solver calls (SAT/UNSAT): 4958(4958/0)
Jun 02, 2017 9:16:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/2191 took 382855 ms. Total solver calls (SAT/UNSAT): 4970(4970/0)
Jun 02, 2017 9:16:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :466/2191 took 385111 ms. Total solver calls (SAT/UNSAT): 4996(4996/0)
Jun 02, 2017 9:16:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/2191 took 386798 ms. Total solver calls (SAT/UNSAT): 5020(5020/0)
Jun 02, 2017 9:16:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/2191 took 388362 ms. Total solver calls (SAT/UNSAT): 5038(5038/0)
Jun 02, 2017 9:16:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/2191 took 389405 ms. Total solver calls (SAT/UNSAT): 5050(5050/0)
Jun 02, 2017 9:16:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :475/2191 took 390446 ms. Total solver calls (SAT/UNSAT): 5070(5070/0)
Jun 02, 2017 9:16:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :478/2191 took 391958 ms. Total solver calls (SAT/UNSAT): 5092(5092/0)
Jun 02, 2017 9:16:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/2191 took 393730 ms. Total solver calls (SAT/UNSAT): 5117(5117/0)
Jun 02, 2017 9:17:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/2191 took 395122 ms. Total solver calls (SAT/UNSAT): 5133(5133/0)
Jun 02, 2017 9:17:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/2191 took 396337 ms. Total solver calls (SAT/UNSAT): 5147(5147/0)
Jun 02, 2017 9:17:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/2191 took 397518 ms. Total solver calls (SAT/UNSAT): 5179(5179/0)
Jun 02, 2017 9:17:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :487/2191 took 398997 ms. Total solver calls (SAT/UNSAT): 5196(5196/0)
Jun 02, 2017 9:17:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/2191 took 400040 ms. Total solver calls (SAT/UNSAT): 5208(5208/0)
Jun 02, 2017 9:17:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :490/2191 took 402107 ms. Total solver calls (SAT/UNSAT): 5241(5241/0)
Jun 02, 2017 9:17:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/2191 took 403285 ms. Total solver calls (SAT/UNSAT): 5258(5258/0)
Jun 02, 2017 9:17:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/2191 took 406284 ms. Total solver calls (SAT/UNSAT): 5296(5296/0)
Jun 02, 2017 9:17:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/2191 took 407421 ms. Total solver calls (SAT/UNSAT): 5316(5316/0)
Jun 02, 2017 9:17:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/2191 took 408461 ms. Total solver calls (SAT/UNSAT): 5332(5332/0)
Jun 02, 2017 9:17:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :502/2191 took 410372 ms. Total solver calls (SAT/UNSAT): 5354(5354/0)
Jun 02, 2017 9:17:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :505/2191 took 411660 ms. Total solver calls (SAT/UNSAT): 5378(5378/0)
Jun 02, 2017 9:17:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/2191 took 412990 ms. Total solver calls (SAT/UNSAT): 5414(5414/0)
Jun 02, 2017 9:17:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/2191 took 414384 ms. Total solver calls (SAT/UNSAT): 5430(5430/0)
Jun 02, 2017 9:17:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/2191 took 416817 ms. Total solver calls (SAT/UNSAT): 5458(5458/0)
Jun 02, 2017 9:17:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/2191 took 418208 ms. Total solver calls (SAT/UNSAT): 5474(5474/0)
Jun 02, 2017 9:17:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :514/2191 took 419251 ms. Total solver calls (SAT/UNSAT): 5486(5486/0)
Jun 02, 2017 9:17:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/2191 took 420469 ms. Total solver calls (SAT/UNSAT): 5500(5500/0)
Jun 02, 2017 9:17:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/2191 took 422430 ms. Total solver calls (SAT/UNSAT): 5526(5526/0)
Jun 02, 2017 9:17:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/2191 took 424168 ms. Total solver calls (SAT/UNSAT): 5546(5546/0)
Jun 02, 2017 9:17:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/2191 took 425502 ms. Total solver calls (SAT/UNSAT): 5582(5582/0)
Jun 02, 2017 9:17:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/2191 took 427820 ms. Total solver calls (SAT/UNSAT): 5619(5619/0)
Jun 02, 2017 9:17:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/2191 took 429559 ms. Total solver calls (SAT/UNSAT): 5639(5639/0)
Jun 02, 2017 9:17:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/2191 took 430871 ms. Total solver calls (SAT/UNSAT): 5661(5661/0)
Jun 02, 2017 9:17:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/2191 took 433149 ms. Total solver calls (SAT/UNSAT): 5687(5687/0)
Jun 02, 2017 9:17:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/2191 took 435241 ms. Total solver calls (SAT/UNSAT): 5711(5711/0)
Jun 02, 2017 9:17:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/2191 took 437426 ms. Total solver calls (SAT/UNSAT): 5736(5736/0)
Jun 02, 2017 9:17:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/2191 took 438719 ms. Total solver calls (SAT/UNSAT): 5752(5752/0)
Jun 02, 2017 9:17:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/2191 took 440383 ms. Total solver calls (SAT/UNSAT): 5778(5778/0)
Jun 02, 2017 9:17:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/2191 took 441416 ms. Total solver calls (SAT/UNSAT): 5791(5791/0)
Jun 02, 2017 9:17:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/2191 took 442466 ms. Total solver calls (SAT/UNSAT): 5803(5803/0)
Jun 02, 2017 9:17:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/2191 took 443496 ms. Total solver calls (SAT/UNSAT): 5816(5816/0)
Jun 02, 2017 9:17:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/2191 took 446048 ms. Total solver calls (SAT/UNSAT): 5859(5859/0)
Jun 02, 2017 9:17:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/2191 took 447537 ms. Total solver calls (SAT/UNSAT): 5883(5883/0)
Jun 02, 2017 9:17:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/2191 took 449480 ms. Total solver calls (SAT/UNSAT): 5911(5911/0)
Jun 02, 2017 9:17:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/2191 took 450524 ms. Total solver calls (SAT/UNSAT): 5923(5923/0)
Jun 02, 2017 9:17:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/2191 took 452069 ms. Total solver calls (SAT/UNSAT): 5943(5943/0)
Jun 02, 2017 9:18:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/2191 took 454555 ms. Total solver calls (SAT/UNSAT): 5977(5977/0)
Jun 02, 2017 9:18:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/2191 took 457517 ms. Total solver calls (SAT/UNSAT): 6011(6011/0)
Jun 02, 2017 9:18:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/2191 took 460141 ms. Total solver calls (SAT/UNSAT): 6041(6041/0)
Jun 02, 2017 9:18:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/2191 took 461362 ms. Total solver calls (SAT/UNSAT): 6055(6055/0)
Jun 02, 2017 9:18:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/2191 took 463261 ms. Total solver calls (SAT/UNSAT): 6079(6079/0)
Jun 02, 2017 9:18:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/2191 took 465477 ms. Total solver calls (SAT/UNSAT): 6117(6117/0)
Jun 02, 2017 9:18:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/2191 took 466971 ms. Total solver calls (SAT/UNSAT): 6141(6141/0)
Jun 02, 2017 9:18:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/2191 took 468562 ms. Total solver calls (SAT/UNSAT): 6173(6173/0)
Jun 02, 2017 9:18:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/2191 took 471007 ms. Total solver calls (SAT/UNSAT): 6201(6201/0)
Jun 02, 2017 9:18:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/2191 took 472140 ms. Total solver calls (SAT/UNSAT): 6218(6218/0)
Jun 02, 2017 9:18:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/2191 took 473605 ms. Total solver calls (SAT/UNSAT): 6236(6236/0)
Jun 02, 2017 9:18:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/2191 took 475043 ms. Total solver calls (SAT/UNSAT): 6256(6256/0)
Jun 02, 2017 9:18:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :593/2191 took 476258 ms. Total solver calls (SAT/UNSAT): 6278(6278/0)
Jun 02, 2017 9:18:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :596/2191 took 478562 ms. Total solver calls (SAT/UNSAT): 6308(6308/0)
Jun 02, 2017 9:18:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :599/2191 took 480256 ms. Total solver calls (SAT/UNSAT): 6339(6339/0)
Jun 02, 2017 9:18:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :600/2191 took 481299 ms. Total solver calls (SAT/UNSAT): 6351(6351/0)
Jun 02, 2017 9:18:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :601/2191 took 482341 ms. Total solver calls (SAT/UNSAT): 6363(6363/0)
Jun 02, 2017 9:18:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :602/2191 took 483728 ms. Total solver calls (SAT/UNSAT): 6379(6379/0)
Jun 02, 2017 9:18:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :603/2191 took 485293 ms. Total solver calls (SAT/UNSAT): 6397(6397/0)
Jun 02, 2017 9:18:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :604/2191 took 486512 ms. Total solver calls (SAT/UNSAT): 6411(6411/0)
Jun 02, 2017 9:18:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :608/2191 took 489143 ms. Total solver calls (SAT/UNSAT): 6447(6447/0)
Jun 02, 2017 9:18:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :610/2191 took 491489 ms. Total solver calls (SAT/UNSAT): 6474(6474/0)
Jun 02, 2017 9:18:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :613/2191 took 493648 ms. Total solver calls (SAT/UNSAT): 6500(6500/0)
Jun 02, 2017 9:18:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :614/2191 took 495212 ms. Total solver calls (SAT/UNSAT): 6518(6518/0)
Jun 02, 2017 9:18:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :616/2191 took 497730 ms. Total solver calls (SAT/UNSAT): 6547(6547/0)
Jun 02, 2017 9:18:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :617/2191 took 499118 ms. Total solver calls (SAT/UNSAT): 6563(6563/0)
Jun 02, 2017 9:18:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :619/2191 took 501280 ms. Total solver calls (SAT/UNSAT): 6589(6589/0)
Jun 02, 2017 9:18:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :621/2191 took 503066 ms. Total solver calls (SAT/UNSAT): 6613(6613/0)
Jun 02, 2017 9:18:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :623/2191 took 505578 ms. Total solver calls (SAT/UNSAT): 6650(6650/0)
Jun 02, 2017 9:18:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :626/2191 took 507737 ms. Total solver calls (SAT/UNSAT): 6676(6676/0)
Jun 02, 2017 9:18:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :627/2191 took 508780 ms. Total solver calls (SAT/UNSAT): 6688(6688/0)
Jun 02, 2017 9:18:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :628/2191 took 511037 ms. Total solver calls (SAT/UNSAT): 6714(6714/0)
Jun 02, 2017 9:18:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :629/2191 took 512249 ms. Total solver calls (SAT/UNSAT): 6728(6728/0)
Jun 02, 2017 9:18:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :630/2191 took 513292 ms. Total solver calls (SAT/UNSAT): 6740(6740/0)
Jun 02, 2017 9:19:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :631/2191 took 515991 ms. Total solver calls (SAT/UNSAT): 6771(6771/0)
Jun 02, 2017 9:19:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :632/2191 took 517207 ms. Total solver calls (SAT/UNSAT): 6785(6785/0)
Jun 02, 2017 9:19:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :636/2191 took 521324 ms. Total solver calls (SAT/UNSAT): 6837(6837/0)
Jun 02, 2017 9:19:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :637/2191 took 522712 ms. Total solver calls (SAT/UNSAT): 6853(6853/0)
Jun 02, 2017 9:19:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :639/2191 took 524450 ms. Total solver calls (SAT/UNSAT): 6873(6873/0)
Jun 02, 2017 9:19:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :641/2191 took 526780 ms. Total solver calls (SAT/UNSAT): 6901(6901/0)
Jun 02, 2017 9:19:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :642/2191 took 527993 ms. Total solver calls (SAT/UNSAT): 6915(6915/0)
Jun 02, 2017 9:19:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :644/2191 took 529023 ms. Total solver calls (SAT/UNSAT): 6928(6928/0)
Jun 02, 2017 9:19:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :646/2191 took 530585 ms. Total solver calls (SAT/UNSAT): 6946(6946/0)
Jun 02, 2017 9:19:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :648/2191 took 531908 ms. Total solver calls (SAT/UNSAT): 6967(6967/0)
Jun 02, 2017 9:19:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :650/2191 took 533666 ms. Total solver calls (SAT/UNSAT): 6993(6993/0)
Jun 02, 2017 9:19:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :652/2191 took 535229 ms. Total solver calls (SAT/UNSAT): 7011(7011/0)
Jun 02, 2017 9:19:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :654/2191 took 537141 ms. Total solver calls (SAT/UNSAT): 7033(7033/0)
Jun 02, 2017 9:19:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :659/2191 took 538392 ms. Total solver calls (SAT/UNSAT): 7056(7056/0)
Jun 02, 2017 9:19:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :661/2191 took 539857 ms. Total solver calls (SAT/UNSAT): 7074(7074/0)
Jun 02, 2017 9:19:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :662/2191 took 541073 ms. Total solver calls (SAT/UNSAT): 7088(7088/0)
Jun 02, 2017 9:19:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :663/2191 took 542116 ms. Total solver calls (SAT/UNSAT): 7100(7100/0)
Jun 02, 2017 9:19:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :665/2191 took 544116 ms. Total solver calls (SAT/UNSAT): 7123(7123/0)
Jun 02, 2017 9:19:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :667/2191 took 546029 ms. Total solver calls (SAT/UNSAT): 7145(7145/0)
Jun 02, 2017 9:19:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :668/2191 took 547768 ms. Total solver calls (SAT/UNSAT): 7165(7165/0)
Jun 02, 2017 9:19:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :672/2191 took 548833 ms. Total solver calls (SAT/UNSAT): 7183(7183/0)
Jun 02, 2017 9:19:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :676/2191 took 550778 ms. Total solver calls (SAT/UNSAT): 7210(7210/0)
Jun 02, 2017 9:19:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :679/2191 took 551917 ms. Total solver calls (SAT/UNSAT): 7230(7230/0)
Jun 02, 2017 9:19:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :682/2191 took 553976 ms. Total solver calls (SAT/UNSAT): 7256(7256/0)
Jun 02, 2017 9:19:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :684/2191 took 555336 ms. Total solver calls (SAT/UNSAT): 7274(7274/0)
Jun 02, 2017 9:19:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :689/2191 took 556949 ms. Total solver calls (SAT/UNSAT): 7296(7296/0)
Jun 02, 2017 9:19:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :691/2191 took 558079 ms. Total solver calls (SAT/UNSAT): 7309(7309/0)
Jun 02, 2017 9:19:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :693/2191 took 559184 ms. Total solver calls (SAT/UNSAT): 7324(7324/0)
Jun 02, 2017 9:19:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :696/2191 took 561477 ms. Total solver calls (SAT/UNSAT): 7355(7355/0)
Jun 02, 2017 9:19:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :698/2191 took 563780 ms. Total solver calls (SAT/UNSAT): 7385(7385/0)
Jun 02, 2017 9:19:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :701/2191 took 565147 ms. Total solver calls (SAT/UNSAT): 7403(7403/0)
Jun 02, 2017 9:19:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :703/2191 took 566437 ms. Total solver calls (SAT/UNSAT): 7419(7419/0)
Jun 02, 2017 9:19:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :707/2191 took 567850 ms. Total solver calls (SAT/UNSAT): 7441(7441/0)
Jun 02, 2017 9:19:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :709/2191 took 568977 ms. Total solver calls (SAT/UNSAT): 7454(7454/0)
Jun 02, 2017 9:19:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :711/2191 took 570092 ms. Total solver calls (SAT/UNSAT): 7468(7468/0)
Jun 02, 2017 9:19:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :713/2191 took 572784 ms. Total solver calls (SAT/UNSAT): 7499(7499/0)
Jun 02, 2017 9:20:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :714/2191 took 573999 ms. Total solver calls (SAT/UNSAT): 7513(7513/0)
Jun 02, 2017 9:20:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :715/2191 took 575392 ms. Total solver calls (SAT/UNSAT): 7529(7529/0)
Jun 02, 2017 9:20:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :717/2191 took 577304 ms. Total solver calls (SAT/UNSAT): 7551(7551/0)
Jun 02, 2017 9:20:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :719/2191 took 578695 ms. Total solver calls (SAT/UNSAT): 7567(7567/0)
Jun 02, 2017 9:20:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :720/2191 took 580262 ms. Total solver calls (SAT/UNSAT): 7585(7585/0)
Jun 02, 2017 9:20:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :721/2191 took 581826 ms. Total solver calls (SAT/UNSAT): 7603(7603/0)
Jun 02, 2017 9:20:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :723/2191 took 584131 ms. Total solver calls (SAT/UNSAT): 7633(7633/0)
Jun 02, 2017 9:20:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :724/2191 took 586129 ms. Total solver calls (SAT/UNSAT): 7656(7656/0)
Jun 02, 2017 9:20:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :725/2191 took 588215 ms. Total solver calls (SAT/UNSAT): 7680(7680/0)
Jun 02, 2017 9:20:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :726/2191 took 590208 ms. Total solver calls (SAT/UNSAT): 7703(7703/0)
Jun 02, 2017 9:20:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :728/2191 took 591832 ms. Total solver calls (SAT/UNSAT): 7747(7747/0)
Jun 02, 2017 9:20:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :730/2191 took 592864 ms. Total solver calls (SAT/UNSAT): 7775(7775/0)
Jun 02, 2017 9:20:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :733/2191 took 593926 ms. Total solver calls (SAT/UNSAT): 7793(7793/0)
Jun 02, 2017 9:20:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :734/2191 took 594973 ms. Total solver calls (SAT/UNSAT): 7805(7805/0)
Jun 02, 2017 9:20:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :735/2191 took 596362 ms. Total solver calls (SAT/UNSAT): 7821(7821/0)
Jun 02, 2017 9:20:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :738/2191 took 598488 ms. Total solver calls (SAT/UNSAT): 7857(7857/0)
Jun 02, 2017 9:20:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :740/2191 took 599879 ms. Total solver calls (SAT/UNSAT): 7873(7873/0)
Jun 02, 2017 9:20:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :743/2191 took 602024 ms. Total solver calls (SAT/UNSAT): 7900(7900/0)
Jun 02, 2017 9:20:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :745/2191 took 604536 ms. Total solver calls (SAT/UNSAT): 7929(7929/0)
Jun 02, 2017 9:20:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :749/2191 took 606769 ms. Total solver calls (SAT/UNSAT): 7957(7957/0)
Jun 02, 2017 9:20:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :754/2191 took 608688 ms. Total solver calls (SAT/UNSAT): 7994(7994/0)
Jun 02, 2017 9:20:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :756/2191 took 610500 ms. Total solver calls (SAT/UNSAT): 8016(8016/0)
Jun 02, 2017 9:20:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :757/2191 took 611715 ms. Total solver calls (SAT/UNSAT): 8030(8030/0)
Jun 02, 2017 9:20:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :759/2191 took 613452 ms. Total solver calls (SAT/UNSAT): 8050(8050/0)
Jun 02, 2017 9:20:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :760/2191 took 616232 ms. Total solver calls (SAT/UNSAT): 8082(8082/0)
Jun 02, 2017 9:20:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :761/2191 took 617968 ms. Total solver calls (SAT/UNSAT): 8102(8102/0)
Jun 02, 2017 9:20:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :764/2191 took 619318 ms. Total solver calls (SAT/UNSAT): 8121(8121/0)
Jun 02, 2017 9:20:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :766/2191 took 620755 ms. Total solver calls (SAT/UNSAT): 8141(8141/0)
Jun 02, 2017 9:20:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :767/2191 took 621966 ms. Total solver calls (SAT/UNSAT): 8155(8155/0)
Jun 02, 2017 9:20:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :769/2191 took 623614 ms. Total solver calls (SAT/UNSAT): 8174(8174/0)
Jun 02, 2017 9:20:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :771/2191 took 625412 ms. Total solver calls (SAT/UNSAT): 8197(8197/0)
Jun 02, 2017 9:20:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :772/2191 took 626977 ms. Total solver calls (SAT/UNSAT): 8215(8215/0)
Jun 02, 2017 9:20:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :776/2191 took 628076 ms. Total solver calls (SAT/UNSAT): 8238(8238/0)
Jun 02, 2017 9:20:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :778/2191 took 630309 ms. Total solver calls (SAT/UNSAT): 8266(8266/0)
Jun 02, 2017 9:20:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :781/2191 took 631997 ms. Total solver calls (SAT/UNSAT): 8286(8286/0)
Jun 02, 2017 9:21:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :783/2191 took 634484 ms. Total solver calls (SAT/UNSAT): 8318(8318/0)
Jun 02, 2017 9:21:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :785/2191 took 635663 ms. Total solver calls (SAT/UNSAT): 8335(8335/0)
Jun 02, 2017 9:21:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :786/2191 took 636710 ms. Total solver calls (SAT/UNSAT): 8347(8347/0)
Jun 02, 2017 9:21:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :788/2191 took 637775 ms. Total solver calls (SAT/UNSAT): 8365(8365/0)
Jun 02, 2017 9:21:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :790/2191 took 638839 ms. Total solver calls (SAT/UNSAT): 8383(8383/0)
Jun 02, 2017 9:21:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :794/2191 took 639865 ms. Total solver calls (SAT/UNSAT): 8404(8404/0)
Jun 02, 2017 9:21:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :796/2191 took 641510 ms. Total solver calls (SAT/UNSAT): 8427(8427/0)
Jun 02, 2017 9:21:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :799/2191 took 642899 ms. Total solver calls (SAT/UNSAT): 8447(8447/0)
Jun 02, 2017 9:21:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :800/2191 took 644289 ms. Total solver calls (SAT/UNSAT): 8463(8463/0)
Jun 02, 2017 9:21:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :804/2191 took 646681 ms. Total solver calls (SAT/UNSAT): 8494(8494/0)
Jun 02, 2017 9:21:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :805/2191 took 647897 ms. Total solver calls (SAT/UNSAT): 8508(8508/0)
Jun 02, 2017 9:21:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :806/2191 took 649116 ms. Total solver calls (SAT/UNSAT): 8522(8522/0)
Jun 02, 2017 9:21:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :807/2191 took 650507 ms. Total solver calls (SAT/UNSAT): 8538(8538/0)
Jun 02, 2017 9:21:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :808/2191 took 651725 ms. Total solver calls (SAT/UNSAT): 8552(8552/0)
Jun 02, 2017 9:21:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :810/2191 took 654063 ms. Total solver calls (SAT/UNSAT): 8580(8580/0)
Jun 02, 2017 9:21:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :811/2191 took 655890 ms. Total solver calls (SAT/UNSAT): 8601(8601/0)
Jun 02, 2017 9:21:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :814/2191 took 657176 ms. Total solver calls (SAT/UNSAT): 8625(8625/0)
Jun 02, 2017 9:21:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :816/2191 took 658502 ms. Total solver calls (SAT/UNSAT): 8646(8646/0)
Jun 02, 2017 9:21:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :819/2191 took 659986 ms. Total solver calls (SAT/UNSAT): 8670(8670/0)
Jun 02, 2017 9:21:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :821/2191 took 662070 ms. Total solver calls (SAT/UNSAT): 8694(8694/0)
Jun 02, 2017 9:21:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :823/2191 took 663102 ms. Total solver calls (SAT/UNSAT): 8722(8722/0)
Jun 02, 2017 9:21:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :825/2191 took 664136 ms. Total solver calls (SAT/UNSAT): 8750(8750/0)
Jun 02, 2017 9:21:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :829/2191 took 665730 ms. Total solver calls (SAT/UNSAT): 8773(8773/0)
Jun 02, 2017 9:21:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :832/2191 took 667589 ms. Total solver calls (SAT/UNSAT): 8799(8799/0)
Jun 02, 2017 9:21:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :836/2191 took 668950 ms. Total solver calls (SAT/UNSAT): 8825(8825/0)
Jun 02, 2017 9:21:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :838/2191 took 670338 ms. Total solver calls (SAT/UNSAT): 8841(8841/0)
Jun 02, 2017 9:21:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :840/2191 took 672851 ms. Total solver calls (SAT/UNSAT): 8870(8870/0)
Jun 02, 2017 9:21:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :843/2191 took 674089 ms. Total solver calls (SAT/UNSAT): 8890(8890/0)
Jun 02, 2017 9:21:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :844/2191 took 676522 ms. Total solver calls (SAT/UNSAT): 8918(8918/0)
Jun 02, 2017 9:21:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :846/2191 took 678257 ms. Total solver calls (SAT/UNSAT): 8938(8938/0)
Jun 02, 2017 9:21:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :847/2191 took 679297 ms. Total solver calls (SAT/UNSAT): 8950(8950/0)
Jun 02, 2017 9:21:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :850/2191 took 680555 ms. Total solver calls (SAT/UNSAT): 8976(8976/0)
Jun 02, 2017 9:21:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :854/2191 took 682410 ms. Total solver calls (SAT/UNSAT): 9010(9010/0)
Jun 02, 2017 9:21:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :855/2191 took 683626 ms. Total solver calls (SAT/UNSAT): 9024(9024/0)
Jun 02, 2017 9:21:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :857/2191 took 685266 ms. Total solver calls (SAT/UNSAT): 9044(9044/0)
Jun 02, 2017 9:21:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :858/2191 took 686308 ms. Total solver calls (SAT/UNSAT): 9056(9056/0)
Jun 02, 2017 9:21:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :860/2191 took 687632 ms. Total solver calls (SAT/UNSAT): 9077(9077/0)
Jun 02, 2017 9:21:54 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/LTLFireability.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLFireability.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="LTLFireability"
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 LTLFireability"
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-149441614400348"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
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 ;