fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r120-blw7-149441652200431
Last Updated
June 27, 2017

About the Execution of ITS-Tools for S_PermAdmissibility-PT-10

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15943.540 3600000.00 4557472.00 523.60 [undef] Time out reached

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_PermAdmissibility-PT-10, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r120-blw7-149441652200431
=====================================================================


--------------------
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 PermAdmissibility-COL-10-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1496480814406


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

/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/ReachabilityDeadlock.pnml.gal -t CGAL -ctl DEADLOCK
No direction supplied, using forward translation only.
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 592 rows 168 cols
invariant : -1'aux8_7 + 1'c12 + -1'aux8_3 + -1'aux8_6 + -1'aux8_2 + 2'c11 + 2'c110 + 2'c9= 0
invariant : 2'c20 + 2'out7_1 + 2'out7_0 + 2'out7_3 + 2'out7_2 + 2'out7_5 + 2'out7_4 + 2'out7_7 + 2'out7_6 + 2'c19 + 1'aux13_2 + 1'aux13_1 + 1'aux13_0 + 1'aux13_7 + 1'c18 + 1'aux13_3 + 1'aux13_4 + 1'aux13_5 + 1'aux13_6 + 1'aux6_0 + 1'c12 + 1'aux6_5 + 1'aux6_1 + 1'aux6_4 + 2'c13 + 1'in3_5 + 1'in3_4 + 1'c6= 20
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + 1'out3_0 + 1'out3_1 + 1'out3_6 + 1'out3_7 + 1'out3_2 + 1'out3_3 + 1'out3_4 + 1'out3_5= 0
invariant : -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out8_1 + 1'out8_0 + 1'out8_3 + 1'out8_2 + 1'out8_6 + 1'out8_7 + 1'out8_4 + 1'out8_5= 0
invariant : 1'aux14_0 + 1'aux14_1 + 1'aux14_2 + 1'aux14_3 + 1'aux14_4 + 1'aux14_6 + 1'aux14_5 + -1'c20 + 1'aux14_7 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + 2'c14= 0
invariant : -2'c20 + -2'out7_1 + -2'out7_0 + -2'out7_3 + -2'out7_2 + -2'out7_5 + -2'out7_4 + -2'out7_7 + -2'out7_6 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -1'aux6_0 + -1'c12 + -1'aux6_5 + -1'aux6_1 + -1'aux6_4 + -2'c13 + -2'in3_5 + -2'in3_4 + 2'c5= -20
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + 1'out4_0 + 1'out4_1 + 1'out4_7 + 1'out4_6 + 1'out4_3 + 1'out4_2 + 1'out4_5 + 1'out4_4= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_4 + 1'aux16_5 + -1'c20 + -1'out7_3 + -1'out7_2 + -1'out7_7 + -1'out7_6 + 1'out5_1 + -1'c19 + 1'out5_0 + 1'out5_5 + 1'out5_4 + 1'aux15_1 + 1'aux15_0 + 1'aux15_5 + 1'aux15_4 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -1'out3_6 + -1'out3_7 + -1'out3_2 + -1'out3_3 + 1'out1_0 + 1'out1_5 + 1'out1_1 + 1'out1_4 + -1'c12 + 1'aux12_5 + 1'aux12_4 + 1'aux12_1 + 1'aux12_0 + -2'c13 + -1'c11 + 1'aux10_0 + 1'aux10_1 + 1'aux10_4 + 1'aux10_5= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_2 + 1'aux16_3 + 1'aux16_4 + 1'aux16_5 + 1'aux16_6 + 1'aux16_7 + -1'c20 + -2'c19 + -1'aux15_2 + -1'aux15_1 + -1'aux15_0 + -1'aux15_6 + -1'aux15_5 + -1'aux15_4 + -1'aux15_3 + -1'aux15_7 + -1'c18 + 2'c16= 0
invariant : -1'aux14_0 + -1'aux14_1 + -1'aux14_2 + -1'aux14_3 + -1'aux14_4 + -1'aux14_6 + -1'aux14_5 + 1'c20 + -1'aux14_7 + 2'c19 + 1'aux15_2 + 1'aux15_1 + 1'aux15_0 + 1'aux15_6 + 1'aux15_5 + 1'aux15_4 + 1'aux15_3 + 1'aux15_7 + 1'c18 + 2'c15= 0
invariant : 1'aux8_7 + -1'c12 + 1'aux8_3 + 1'aux8_6 + 1'aux8_2 + -2'c11 + -1'aux7_7 + -1'aux7_6 + -1'c110 + -1'aux7_3 + -1'aux7_2 + 2'c8= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out5_1 + 1'out5_2 + 1'out5_0 + 1'out5_5 + 1'out5_6 + 1'out5_3 + 1'out5_4 + 1'out5_7= 0
invariant : -1'aux16_0 + -1'aux16_1 + 1'aux16_2 + 1'aux16_3 + -1'aux16_4 + -1'aux16_5 + 1'aux16_6 + 1'aux16_7 + 1'c20 + 2'out7_3 + 2'out7_2 + 2'out7_7 + 2'out7_6 + -2'out5_1 + -2'out5_0 + -2'out5_5 + -2'out5_4 + 1'aux15_2 + -1'aux15_1 + -1'aux15_0 + 1'aux15_6 + -1'aux15_5 + -1'aux15_4 + 1'aux15_3 + 1'aux15_7 + 1'c18 + 2'out3_6 + 2'out3_7 + 2'out3_2 + 2'out3_3 + -2'out1_0 + -2'out1_5 + -2'out1_1 + -2'out1_4 + -2'c12 + -2'aux12_5 + -2'aux12_4 + -2'aux12_1 + -2'aux12_0 + -2'c11 + 2'aux10_2 + 2'aux10_3 + 2'aux10_6 + 2'aux10_7= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_2 + 1'aux16_3 + 1'aux16_4 + 1'aux16_5 + 1'aux16_6 + 1'aux16_7 + -1'c20 + -2'c19 + 1'aux15_2 + 1'aux15_1 + 1'aux15_0 + 1'aux15_6 + 1'aux15_5 + 1'aux15_4 + 1'aux15_3 + -2'aux13_2 + -2'aux13_1 + -2'aux13_0 + 1'aux15_7 + -2'aux13_7 + -1'c18 + -2'aux13_3 + -2'aux13_4 + -2'aux13_5 + -2'aux13_6 + 2'aux12_6 + 2'aux12_5 + 2'aux12_4 + 2'aux12_3 + 2'aux12_2 + 2'aux12_1 + 2'aux12_0 + -4'c13 + 2'aux12_7= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out6_1 + 1'out6_2 + 1'out6_0 + 1'out6_6 + 1'out6_5 + 1'out6_4 + 1'out6_3 + 1'out6_7= 0
invariant : -1'in3_5 + -1'in3_4 + 1'in1_1 + 1'in1_0= 0
invariant : -1'aux16_0 + -1'aux16_1 + -1'aux16_2 + -1'aux16_3 + -1'aux16_4 + -1'aux16_5 + -1'aux16_6 + -1'aux16_7 + 1'c20 + 2'c19 + 2'c18 + 2'c17= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + -1'c18 + 1'out2_0 + 1'out2_7 + 1'out2_5 + 1'out2_6 + 1'out2_3 + 1'out2_4 + 1'out2_1 + 1'out2_2= 0
invariant : = 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + -1'c18 + 1'out1_0 + 1'out1_6 + 1'out1_5 + 1'out1_7 + 1'out1_2 + 1'out1_1 + 1'out1_4 + 1'out1_3= 0
invariant : 1'aux14_0 + 1'aux14_1 + 1'aux14_2 + 1'aux14_3 + 1'aux14_4 + 1'aux14_6 + 1'aux14_5 + -1'c20 + 1'aux14_7 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -4'c12 + -4'c13 + 2'aux11_5 + 2'aux11_4 + 2'aux11_3 + 2'aux11_2 + 2'aux11_1 + 2'aux11_0 + 2'aux11_7 + 2'aux11_6= 0
Exit code :137

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityDeadlock = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution ReachabilityDeadlock -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 ReachabilityDeadlock -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 03, 2017 9:06:55 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 03, 2017 9:06:55 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 106 ms
Jun 03, 2017 9:06:55 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 168 places.
Jun 03, 2017 9:06:55 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 592 transitions.
Jun 03, 2017 9:06:55 AM fr.lip6.move.gal.logic.togal.ToGalTransformer toGal
WARNING: Unknown predicate type in boolean expression fr.lip6.move.gal.logic.impl.DeadlockImpl
Jun 03, 2017 9:06:56 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property PermAdmissibility-COL-10-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
Jun 03, 2017 9:06:56 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 166 ms
Jun 03, 2017 9:06:56 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityDeadlock.pnml.gal : 27 ms
Jun 03, 2017 9:06:56 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 21 place invariants in 143 ms
Jun 03, 2017 9:07:05 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 168 variables to be positive in 8606 ms
Jun 03, 2017 9:07:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 592 transitions.
Jun 03, 2017 9:07:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/592 took 461 ms. Total solver calls (SAT/UNSAT): 136(79/57)
Jun 03, 2017 9:07:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/592 took 1828 ms. Total solver calls (SAT/UNSAT): 544(316/228)
Jun 03, 2017 9:07:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :6/592 took 3203 ms. Total solver calls (SAT/UNSAT): 952(553/399)
Jun 03, 2017 9:07:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :9/592 took 4592 ms. Total solver calls (SAT/UNSAT): 1360(790/570)
Jun 03, 2017 9:07:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/592 took 5968 ms. Total solver calls (SAT/UNSAT): 1768(1027/741)
Jun 03, 2017 9:07:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/592 took 7354 ms. Total solver calls (SAT/UNSAT): 2176(1264/912)
Jun 03, 2017 9:07:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/592 took 8740 ms. Total solver calls (SAT/UNSAT): 2584(1501/1083)
Jun 03, 2017 9:07:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :21/592 took 10110 ms. Total solver calls (SAT/UNSAT): 2992(1738/1254)
Jun 03, 2017 9:07:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/592 took 11485 ms. Total solver calls (SAT/UNSAT): 3400(1975/1425)
Jun 03, 2017 9:07:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/592 took 12843 ms. Total solver calls (SAT/UNSAT): 3808(2212/1596)
Jun 03, 2017 9:07:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/592 took 14219 ms. Total solver calls (SAT/UNSAT): 4216(2449/1767)
Jun 03, 2017 9:07:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :33/592 took 15586 ms. Total solver calls (SAT/UNSAT): 4624(2686/1938)
Jun 03, 2017 9:07:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/592 took 16961 ms. Total solver calls (SAT/UNSAT): 5032(2923/2109)
Jun 03, 2017 9:07:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/592 took 18381 ms. Total solver calls (SAT/UNSAT): 5440(3160/2280)
Jun 03, 2017 9:07:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :42/592 took 19763 ms. Total solver calls (SAT/UNSAT): 5848(3397/2451)
Jun 03, 2017 9:07:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/592 took 21173 ms. Total solver calls (SAT/UNSAT): 6256(3634/2622)
Jun 03, 2017 9:07:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/592 took 22563 ms. Total solver calls (SAT/UNSAT): 6664(3871/2793)
Jun 03, 2017 9:07:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :51/592 took 23930 ms. Total solver calls (SAT/UNSAT): 7072(4108/2964)
Jun 03, 2017 9:07:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :54/592 took 25306 ms. Total solver calls (SAT/UNSAT): 7480(4345/3135)
Jun 03, 2017 9:07:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 26400 ms. Total solver calls (SAT/UNSAT): 7752(4503/3249)
Jun 03, 2017 9:07:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 27730 ms. Total solver calls (SAT/UNSAT): 8175(4740/3435)
Jun 03, 2017 9:07:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 28957 ms. Total solver calls (SAT/UNSAT): 8628(4977/3651)
Jun 03, 2017 9:07:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 30176 ms. Total solver calls (SAT/UNSAT): 9081(5214/3867)
Jun 03, 2017 9:07:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 31402 ms. Total solver calls (SAT/UNSAT): 9534(5451/4083)
Jun 03, 2017 9:07:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 32705 ms. Total solver calls (SAT/UNSAT): 9987(5688/4299)
Jun 03, 2017 9:07:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 33963 ms. Total solver calls (SAT/UNSAT): 10440(5925/4515)
Jun 03, 2017 9:07:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 35219 ms. Total solver calls (SAT/UNSAT): 10893(6162/4731)
Jun 03, 2017 9:07:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 36498 ms. Total solver calls (SAT/UNSAT): 11346(6399/4947)
Jun 03, 2017 9:07:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :82/592 took 37717 ms. Total solver calls (SAT/UNSAT): 11648(6557/5091)
Jun 03, 2017 9:07:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/592 took 38975 ms. Total solver calls (SAT/UNSAT): 11950(6715/5235)
Jun 03, 2017 9:07:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 40189 ms. Total solver calls (SAT/UNSAT): 12252(6873/5379)
Jun 03, 2017 9:07:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/592 took 41441 ms. Total solver calls (SAT/UNSAT): 12554(7031/5523)
Jun 03, 2017 9:07:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/592 took 42607 ms. Total solver calls (SAT/UNSAT): 12856(7189/5667)
Jun 03, 2017 9:07:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :93/592 took 43870 ms. Total solver calls (SAT/UNSAT): 13309(7426/5883)
Jun 03, 2017 9:07:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/592 took 45138 ms. Total solver calls (SAT/UNSAT): 13762(7663/6099)
Jun 03, 2017 9:07:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :99/592 took 46375 ms. Total solver calls (SAT/UNSAT): 14215(7900/6315)
Jun 03, 2017 9:07:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :102/592 took 47672 ms. Total solver calls (SAT/UNSAT): 14653(8137/6516)
Jun 03, 2017 9:07:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :105/592 took 49059 ms. Total solver calls (SAT/UNSAT): 15061(8374/6687)
Jun 03, 2017 9:07:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/592 took 50342 ms. Total solver calls (SAT/UNSAT): 15499(8611/6888)
Jun 03, 2017 9:07:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :111/592 took 51587 ms. Total solver calls (SAT/UNSAT): 15952(8848/7104)
Jun 03, 2017 9:07:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :114/592 took 52824 ms. Total solver calls (SAT/UNSAT): 16405(9085/7320)
Jun 03, 2017 9:07:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :117/592 took 54075 ms. Total solver calls (SAT/UNSAT): 16858(9322/7536)
Jun 03, 2017 9:08:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/592 took 55326 ms. Total solver calls (SAT/UNSAT): 17311(9559/7752)
Jun 03, 2017 9:08:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :123/592 took 56586 ms. Total solver calls (SAT/UNSAT): 17749(9796/7953)
Jun 03, 2017 9:08:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :126/592 took 57879 ms. Total solver calls (SAT/UNSAT): 18157(10033/8124)
Jun 03, 2017 9:08:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :129/592 took 59164 ms. Total solver calls (SAT/UNSAT): 18565(10270/8295)
Jun 03, 2017 9:08:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/592 took 60448 ms. Total solver calls (SAT/UNSAT): 18973(10507/8466)
Jun 03, 2017 9:08:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/592 took 61788 ms. Total solver calls (SAT/UNSAT): 19381(10744/8637)
Jun 03, 2017 9:08:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 62995 ms. Total solver calls (SAT/UNSAT): 19653(10902/8751)
Jun 03, 2017 9:08:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/592 took 64278 ms. Total solver calls (SAT/UNSAT): 20061(11139/8922)
Jun 03, 2017 9:08:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 65568 ms. Total solver calls (SAT/UNSAT): 20469(11376/9093)
Jun 03, 2017 9:08:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 66852 ms. Total solver calls (SAT/UNSAT): 20877(11613/9264)
Jun 03, 2017 9:08:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/592 took 68137 ms. Total solver calls (SAT/UNSAT): 21285(11850/9435)
Jun 03, 2017 9:08:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 69416 ms. Total solver calls (SAT/UNSAT): 21693(12087/9606)
Jun 03, 2017 9:08:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 70685 ms. Total solver calls (SAT/UNSAT): 22116(12324/9792)
Jun 03, 2017 9:08:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 71932 ms. Total solver calls (SAT/UNSAT): 22569(12561/10008)
Jun 03, 2017 9:08:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/592 took 73222 ms. Total solver calls (SAT/UNSAT): 22977(12798/10179)
Jun 03, 2017 9:08:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 74484 ms. Total solver calls (SAT/UNSAT): 23400(13035/10365)
Jun 03, 2017 9:08:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 75766 ms. Total solver calls (SAT/UNSAT): 23808(13272/10536)
Jun 03, 2017 9:08:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 77321 ms. Total solver calls (SAT/UNSAT): 24216(13509/10707)
Jun 03, 2017 9:08:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/592 took 78621 ms. Total solver calls (SAT/UNSAT): 24488(13667/10821)
Jun 03, 2017 9:08:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/592 took 79831 ms. Total solver calls (SAT/UNSAT): 24760(13825/10935)
Jun 03, 2017 9:08:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :177/592 took 81103 ms. Total solver calls (SAT/UNSAT): 25168(14062/11106)
Jun 03, 2017 9:08:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/592 took 82382 ms. Total solver calls (SAT/UNSAT): 25576(14299/11277)
Jun 03, 2017 9:08:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/592 took 83735 ms. Total solver calls (SAT/UNSAT): 25984(14536/11448)
Jun 03, 2017 9:08:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/592 took 85023 ms. Total solver calls (SAT/UNSAT): 26392(14773/11619)
Jun 03, 2017 9:08:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :190/592 took 86285 ms. Total solver calls (SAT/UNSAT): 26804(15089/11715)
Jun 03, 2017 9:08:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/592 took 87568 ms. Total solver calls (SAT/UNSAT): 27216(15405/11811)
Jun 03, 2017 9:08:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :198/592 took 88855 ms. Total solver calls (SAT/UNSAT): 27628(15721/11907)
Jun 03, 2017 9:08:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :202/592 took 90161 ms. Total solver calls (SAT/UNSAT): 28040(16037/12003)
Jun 03, 2017 9:08:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :206/592 took 91449 ms. Total solver calls (SAT/UNSAT): 28452(16353/12099)
Jun 03, 2017 9:08:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/592 took 92726 ms. Total solver calls (SAT/UNSAT): 28864(16669/12195)
Jun 03, 2017 9:08:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/592 took 94005 ms. Total solver calls (SAT/UNSAT): 29276(16985/12291)
Jun 03, 2017 9:08:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :218/592 took 95293 ms. Total solver calls (SAT/UNSAT): 29688(17301/12387)
Jun 03, 2017 9:08:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/592 took 96686 ms. Total solver calls (SAT/UNSAT): 30133(17617/12516)
Jun 03, 2017 9:08:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/592 took 97965 ms. Total solver calls (SAT/UNSAT): 30541(17854/12687)
Jun 03, 2017 9:08:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/592 took 99036 ms. Total solver calls (SAT/UNSAT): 30883(18091/12792)
Jun 03, 2017 9:08:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :232/592 took 100328 ms. Total solver calls (SAT/UNSAT): 31295(18407/12888)
Jun 03, 2017 9:08:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 101643 ms. Total solver calls (SAT/UNSAT): 31707(18723/12984)
Jun 03, 2017 9:08:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/592 took 102948 ms. Total solver calls (SAT/UNSAT): 32119(19039/13080)
Jun 03, 2017 9:08:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :244/592 took 104239 ms. Total solver calls (SAT/UNSAT): 32531(19355/13176)
Jun 03, 2017 9:08:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/592 took 105548 ms. Total solver calls (SAT/UNSAT): 32943(19671/13272)
Jun 03, 2017 9:08:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :255/592 took 106602 ms. Total solver calls (SAT/UNSAT): 33304(19944/13360)
Jun 03, 2017 9:08:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/592 took 107787 ms. Total solver calls (SAT/UNSAT): 33708(20252/13456)
Jun 03, 2017 9:08:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/592 took 108823 ms. Total solver calls (SAT/UNSAT): 34038(20510/13528)
Jun 03, 2017 9:08:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :289/592 took 109922 ms. Total solver calls (SAT/UNSAT): 34442(20750/13692)
Jun 03, 2017 9:08:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :299/592 took 110930 ms. Total solver calls (SAT/UNSAT): 34830(20980/13850)
Jun 03, 2017 9:08:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :310/592 took 112015 ms. Total solver calls (SAT/UNSAT): 35221(21233/13988)
Jun 03, 2017 9:08:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/592 took 113197 ms. Total solver calls (SAT/UNSAT): 35691(21483/14208)
Jun 03, 2017 9:08:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/592 took 114470 ms. Total solver calls (SAT/UNSAT): 36210(21720/14490)
Jun 03, 2017 9:09:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/592 took 115755 ms. Total solver calls (SAT/UNSAT): 36729(21957/14772)
Jun 03, 2017 9:09:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/592 took 117131 ms. Total solver calls (SAT/UNSAT): 37255(22230/15025)
Jun 03, 2017 9:09:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/592 took 118207 ms. Total solver calls (SAT/UNSAT): 37644(22447/15197)
Jun 03, 2017 9:09:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :346/592 took 119297 ms. Total solver calls (SAT/UNSAT): 38039(22677/15362)
Jun 03, 2017 9:09:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/592 took 120560 ms. Total solver calls (SAT/UNSAT): 38558(22914/15644)
Jun 03, 2017 9:09:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/592 took 121849 ms. Total solver calls (SAT/UNSAT): 39077(23151/15926)
Jun 03, 2017 9:09:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/592 took 123192 ms. Total solver calls (SAT/UNSAT): 39596(23388/16208)
Jun 03, 2017 9:09:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :358/592 took 124513 ms. Total solver calls (SAT/UNSAT): 40115(23625/16490)
Jun 03, 2017 9:09:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :361/592 took 125867 ms. Total solver calls (SAT/UNSAT): 40634(23862/16772)
Jun 03, 2017 9:09:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/592 took 127176 ms. Total solver calls (SAT/UNSAT): 41153(24099/17054)
Jun 03, 2017 9:09:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/592 took 128441 ms. Total solver calls (SAT/UNSAT): 41672(24336/17336)
Jun 03, 2017 9:09:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/592 took 129700 ms. Total solver calls (SAT/UNSAT): 42191(24573/17618)
Jun 03, 2017 9:09:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :373/592 took 130980 ms. Total solver calls (SAT/UNSAT): 42710(24810/17900)
Jun 03, 2017 9:09:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/592 took 132241 ms. Total solver calls (SAT/UNSAT): 43229(25047/18182)
Jun 03, 2017 9:09:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/592 took 133531 ms. Total solver calls (SAT/UNSAT): 43748(25284/18464)
Jun 03, 2017 9:09:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/592 took 134601 ms. Total solver calls (SAT/UNSAT): 44064(25442/18622)
Jun 03, 2017 9:09:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/592 took 135949 ms. Total solver calls (SAT/UNSAT): 44568(25679/18889)
Jun 03, 2017 9:09:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/592 took 137376 ms. Total solver calls (SAT/UNSAT): 45072(25916/19156)
Jun 03, 2017 9:09:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/592 took 138450 ms. Total solver calls (SAT/UNSAT): 45388(26074/19314)
Jun 03, 2017 9:09:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/592 took 139503 ms. Total solver calls (SAT/UNSAT): 45704(26232/19472)
Jun 03, 2017 9:09:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/592 took 140563 ms. Total solver calls (SAT/UNSAT): 46020(26390/19630)
Jun 03, 2017 9:09:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/592 took 141977 ms. Total solver calls (SAT/UNSAT): 46524(26627/19897)
Jun 03, 2017 9:09:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/592 took 143120 ms. Total solver calls (SAT/UNSAT): 46870(26785/20085)
Jun 03, 2017 9:09:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/592 took 144295 ms. Total solver calls (SAT/UNSAT): 47216(26943/20273)
Jun 03, 2017 9:09:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/592 took 145485 ms. Total solver calls (SAT/UNSAT): 47562(27101/20461)
Jun 03, 2017 9:09:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/592 took 146768 ms. Total solver calls (SAT/UNSAT): 48081(27338/20743)
Jun 03, 2017 9:09:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/592 took 148062 ms. Total solver calls (SAT/UNSAT): 48600(27575/21025)
Jun 03, 2017 9:09:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/592 took 149492 ms. Total solver calls (SAT/UNSAT): 49104(27812/21292)
Jun 03, 2017 9:09:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/592 took 150581 ms. Total solver calls (SAT/UNSAT): 49420(27970/21450)
Jun 03, 2017 9:09:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/592 took 151662 ms. Total solver calls (SAT/UNSAT): 49736(28128/21608)
Jun 03, 2017 9:09:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/592 took 152709 ms. Total solver calls (SAT/UNSAT): 50052(28286/21766)
Jun 03, 2017 9:09:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 153781 ms. Total solver calls (SAT/UNSAT): 50368(28444/21924)
Jun 03, 2017 9:09:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/592 took 154819 ms. Total solver calls (SAT/UNSAT): 50684(28602/22082)
Jun 03, 2017 9:09:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/592 took 155879 ms. Total solver calls (SAT/UNSAT): 51000(28760/22240)
Jun 03, 2017 9:09:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/592 took 156928 ms. Total solver calls (SAT/UNSAT): 51316(28918/22398)
Jun 03, 2017 9:09:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/592 took 157985 ms. Total solver calls (SAT/UNSAT): 51632(29076/22556)
Jun 03, 2017 9:09:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 159089 ms. Total solver calls (SAT/UNSAT): 51948(29234/22714)
Jun 03, 2017 9:09:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 160173 ms. Total solver calls (SAT/UNSAT): 52264(29392/22872)
Jun 03, 2017 9:09:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/592 took 161234 ms. Total solver calls (SAT/UNSAT): 52580(29550/23030)
Jun 03, 2017 9:09:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/592 took 162296 ms. Total solver calls (SAT/UNSAT): 52896(29708/23188)
Jun 03, 2017 9:09:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 163375 ms. Total solver calls (SAT/UNSAT): 53212(29866/23346)
Jun 03, 2017 9:09:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/592 took 164448 ms. Total solver calls (SAT/UNSAT): 53528(30024/23504)
Jun 03, 2017 9:09:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/592 took 165534 ms. Total solver calls (SAT/UNSAT): 53844(30182/23662)
Jun 03, 2017 9:09:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 166669 ms. Total solver calls (SAT/UNSAT): 54160(30340/23820)
Jun 03, 2017 9:09:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/592 took 167737 ms. Total solver calls (SAT/UNSAT): 54476(30498/23978)
Jun 03, 2017 9:09:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/592 took 168797 ms. Total solver calls (SAT/UNSAT): 54792(30656/24136)
Jun 03, 2017 9:09:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/592 took 170086 ms. Total solver calls (SAT/UNSAT): 55311(30893/24418)
Jun 03, 2017 9:09:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/592 took 171384 ms. Total solver calls (SAT/UNSAT): 55830(31130/24700)
Jun 03, 2017 9:09:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/592 took 172675 ms. Total solver calls (SAT/UNSAT): 56349(31367/24982)
Jun 03, 2017 9:09:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/592 took 174054 ms. Total solver calls (SAT/UNSAT): 56853(31604/25249)
Jun 03, 2017 9:10:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 175093 ms. Total solver calls (SAT/UNSAT): 57169(31762/25407)
Jun 03, 2017 9:10:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/592 took 176151 ms. Total solver calls (SAT/UNSAT): 57485(31920/25565)
Jun 03, 2017 9:10:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/592 took 177219 ms. Total solver calls (SAT/UNSAT): 57801(32078/25723)
Jun 03, 2017 9:10:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 178293 ms. Total solver calls (SAT/UNSAT): 58117(32236/25881)
Jun 03, 2017 9:10:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/592 took 179347 ms. Total solver calls (SAT/UNSAT): 58433(32394/26039)
Jun 03, 2017 9:10:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/592 took 180410 ms. Total solver calls (SAT/UNSAT): 58749(32552/26197)
Jun 03, 2017 9:10:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 181460 ms. Total solver calls (SAT/UNSAT): 59065(32710/26355)
Jun 03, 2017 9:10:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/592 took 182860 ms. Total solver calls (SAT/UNSAT): 59569(32947/26622)
Jun 03, 2017 9:10:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/592 took 184154 ms. Total solver calls (SAT/UNSAT): 60088(33184/26904)
Jun 03, 2017 9:10:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/592 took 185461 ms. Total solver calls (SAT/UNSAT): 60607(33421/27186)
Jun 03, 2017 9:10:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/592 took 186739 ms. Total solver calls (SAT/UNSAT): 61126(33658/27468)
Jun 03, 2017 9:10:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/592 took 188015 ms. Total solver calls (SAT/UNSAT): 61645(33895/27750)
Jun 03, 2017 9:10:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/592 took 189288 ms. Total solver calls (SAT/UNSAT): 62164(34132/28032)
Jun 03, 2017 9:10:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/592 took 190587 ms. Total solver calls (SAT/UNSAT): 62683(34369/28314)
Jun 03, 2017 9:10:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/592 took 191871 ms. Total solver calls (SAT/UNSAT): 63202(34606/28596)
Jun 03, 2017 9:10:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/592 took 193148 ms. Total solver calls (SAT/UNSAT): 63721(34843/28878)
Jun 03, 2017 9:10:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/592 took 194439 ms. Total solver calls (SAT/UNSAT): 64240(35080/29160)
Jun 03, 2017 9:10:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/592 took 195727 ms. Total solver calls (SAT/UNSAT): 64759(35317/29442)
Jun 03, 2017 9:10:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/592 took 197022 ms. Total solver calls (SAT/UNSAT): 65278(35554/29724)
Jun 03, 2017 9:10:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/592 took 198314 ms. Total solver calls (SAT/UNSAT): 65797(35791/30006)
Jun 03, 2017 9:10:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/592 took 199584 ms. Total solver calls (SAT/UNSAT): 66316(36028/30288)
Jun 03, 2017 9:10:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/592 took 200876 ms. Total solver calls (SAT/UNSAT): 66835(36265/30570)
Jun 03, 2017 9:10:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/592 took 202170 ms. Total solver calls (SAT/UNSAT): 67354(36502/30852)
Jun 03, 2017 9:10:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/592 took 203688 ms. Total solver calls (SAT/UNSAT): 67843(36739/31104)
Jun 03, 2017 9:10:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/592 took 204760 ms. Total solver calls (SAT/UNSAT): 68159(36897/31262)
Jun 03, 2017 9:10:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/592 took 205821 ms. Total solver calls (SAT/UNSAT): 68475(37055/31420)
Jun 03, 2017 9:10:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/592 took 206887 ms. Total solver calls (SAT/UNSAT): 68791(37213/31578)
Jun 03, 2017 9:10:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/592 took 207952 ms. Total solver calls (SAT/UNSAT): 69107(37371/31736)
Jun 03, 2017 9:10:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/592 took 209310 ms. Total solver calls (SAT/UNSAT): 69611(37608/32003)
Jun 03, 2017 9:10:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/592 took 210644 ms. Total solver calls (SAT/UNSAT): 70130(37845/32285)
Jun 03, 2017 9:10:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/592 took 212249 ms. Total solver calls (SAT/UNSAT): 70446(38003/32443)
Jun 03, 2017 9:10:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/592 took 213861 ms. Total solver calls (SAT/UNSAT): 70762(38161/32601)
Jun 03, 2017 9:10:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/592 took 215009 ms. Total solver calls (SAT/UNSAT): 71078(38319/32759)
Jun 03, 2017 9:10:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/592 took 216103 ms. Total solver calls (SAT/UNSAT): 71394(38477/32917)
Jun 03, 2017 9:10:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 217159 ms. Total solver calls (SAT/UNSAT): 71710(38635/33075)
Jun 03, 2017 9:10:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/592 took 218278 ms. Total solver calls (SAT/UNSAT): 72026(38793/33233)
Jun 03, 2017 9:10:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/592 took 219358 ms. Total solver calls (SAT/UNSAT): 72342(38951/33391)
Jun 03, 2017 9:10:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/592 took 220416 ms. Total solver calls (SAT/UNSAT): 72658(39109/33549)
Jun 03, 2017 9:10:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/592 took 221499 ms. Total solver calls (SAT/UNSAT): 72974(39267/33707)
Jun 03, 2017 9:10:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/592 took 222560 ms. Total solver calls (SAT/UNSAT): 73290(39425/33865)
Jun 03, 2017 9:10:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/592 took 223661 ms. Total solver calls (SAT/UNSAT): 73606(39583/34023)
Jun 03, 2017 9:10:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/592 took 224715 ms. Total solver calls (SAT/UNSAT): 73922(39741/34181)
Jun 03, 2017 9:10:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/592 took 225780 ms. Total solver calls (SAT/UNSAT): 74238(39899/34339)
Jun 03, 2017 9:10:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/592 took 226827 ms. Total solver calls (SAT/UNSAT): 74554(40057/34497)
Jun 03, 2017 9:10:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/592 took 227898 ms. Total solver calls (SAT/UNSAT): 74870(40215/34655)
Jun 03, 2017 9:10:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/592 took 228971 ms. Total solver calls (SAT/UNSAT): 75186(40373/34813)
Jun 03, 2017 9:10:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/592 took 230014 ms. Total solver calls (SAT/UNSAT): 75502(40531/34971)
Jun 03, 2017 9:10:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/592 took 231081 ms. Total solver calls (SAT/UNSAT): 75818(40689/35129)
Jun 03, 2017 9:10:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/592 took 232153 ms. Total solver calls (SAT/UNSAT): 76134(40847/35287)
Jun 03, 2017 9:10:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/592 took 233241 ms. Total solver calls (SAT/UNSAT): 76450(41005/35445)
Jun 03, 2017 9:10:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/592 took 234322 ms. Total solver calls (SAT/UNSAT): 76766(41163/35603)
Jun 03, 2017 9:11:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/592 took 235408 ms. Total solver calls (SAT/UNSAT): 77082(41321/35761)
Jun 03, 2017 9:11:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/592 took 236489 ms. Total solver calls (SAT/UNSAT): 77398(41479/35919)
Jun 03, 2017 9:11:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/592 took 237560 ms. Total solver calls (SAT/UNSAT): 77714(41637/36077)
Jun 03, 2017 9:11:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/592 took 238633 ms. Total solver calls (SAT/UNSAT): 78030(41795/36235)
Jun 03, 2017 9:11:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/592 took 239683 ms. Total solver calls (SAT/UNSAT): 78346(41953/36393)
Jun 03, 2017 9:11:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 240231 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 03, 2017 9:11:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 592 transitions.
Jun 03, 2017 9:11:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1137 ms. Total solver calls (SAT/UNSAT): 408(216/192)
Jun 03, 2017 9:11:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 2272 ms. Total solver calls (SAT/UNSAT): 816(432/384)
Jun 03, 2017 9:11:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 3433 ms. Total solver calls (SAT/UNSAT): 1224(648/576)
Jun 03, 2017 9:11:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 4573 ms. Total solver calls (SAT/UNSAT): 1632(864/768)
Jun 03, 2017 9:11:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/592 took 5743 ms. Total solver calls (SAT/UNSAT): 2040(1080/960)
Jun 03, 2017 9:11:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 6878 ms. Total solver calls (SAT/UNSAT): 2448(1296/1152)
Jun 03, 2017 9:11:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/592 took 8020 ms. Total solver calls (SAT/UNSAT): 2856(1512/1344)
Jun 03, 2017 9:11:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/592 took 9151 ms. Total solver calls (SAT/UNSAT): 3264(1728/1536)
Jun 03, 2017 9:11:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/592 took 10276 ms. Total solver calls (SAT/UNSAT): 3672(1944/1728)
Jun 03, 2017 9:11:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/592 took 11436 ms. Total solver calls (SAT/UNSAT): 4080(2160/1920)
Jun 03, 2017 9:11:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/592 took 12606 ms. Total solver calls (SAT/UNSAT): 4488(2376/2112)
Jun 03, 2017 9:11:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/592 took 13700 ms. Total solver calls (SAT/UNSAT): 4896(2592/2304)
Jun 03, 2017 9:11:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/592 took 14812 ms. Total solver calls (SAT/UNSAT): 5304(2808/2496)
Jun 03, 2017 9:11:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/592 took 15948 ms. Total solver calls (SAT/UNSAT): 5712(3024/2688)
Jun 03, 2017 9:11:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/592 took 17092 ms. Total solver calls (SAT/UNSAT): 6120(3240/2880)
Jun 03, 2017 9:11:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 18233 ms. Total solver calls (SAT/UNSAT): 6528(3456/3072)
Jun 03, 2017 9:11:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 19397 ms. Total solver calls (SAT/UNSAT): 6936(3672/3264)
Jun 03, 2017 9:11:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 20501 ms. Total solver calls (SAT/UNSAT): 7344(3888/3456)
Jun 03, 2017 9:11:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 21625 ms. Total solver calls (SAT/UNSAT): 7752(4104/3648)
Jun 03, 2017 9:11:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 22726 ms. Total solver calls (SAT/UNSAT): 8175(4320/3855)
Jun 03, 2017 9:11:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 23796 ms. Total solver calls (SAT/UNSAT): 8628(4536/4092)
Jun 03, 2017 9:11:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 24868 ms. Total solver calls (SAT/UNSAT): 9081(4752/4329)
Jun 03, 2017 9:11:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 25982 ms. Total solver calls (SAT/UNSAT): 9534(4968/4566)
Jun 03, 2017 9:11:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 27093 ms. Total solver calls (SAT/UNSAT): 9987(5184/4803)
Jun 03, 2017 9:11:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 28270 ms. Total solver calls (SAT/UNSAT): 10440(5400/5040)
Jun 03, 2017 9:11:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 29449 ms. Total solver calls (SAT/UNSAT): 10893(5616/5277)
Jun 03, 2017 9:11:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 30606 ms. Total solver calls (SAT/UNSAT): 11346(5832/5514)
Jun 03, 2017 9:11:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 31789 ms. Total solver calls (SAT/UNSAT): 11799(6048/5751)
Jun 03, 2017 9:11:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 32921 ms. Total solver calls (SAT/UNSAT): 12252(6264/5988)
Jun 03, 2017 9:11:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 33992 ms. Total solver calls (SAT/UNSAT): 12705(6480/6225)
Jun 03, 2017 9:11:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 35057 ms. Total solver calls (SAT/UNSAT): 13158(6696/6462)
Jun 03, 2017 9:11:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 36112 ms. Total solver calls (SAT/UNSAT): 13611(6912/6699)
Jun 03, 2017 9:11:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 37210 ms. Total solver calls (SAT/UNSAT): 14064(7128/6936)
Jun 03, 2017 9:11:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 38325 ms. Total solver calls (SAT/UNSAT): 14502(7344/7158)
Jun 03, 2017 9:11:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 39425 ms. Total solver calls (SAT/UNSAT): 14925(7560/7365)
Jun 03, 2017 9:11:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 40564 ms. Total solver calls (SAT/UNSAT): 15348(7776/7572)
Jun 03, 2017 9:11:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 41725 ms. Total solver calls (SAT/UNSAT): 15801(7992/7809)
Jun 03, 2017 9:11:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 42862 ms. Total solver calls (SAT/UNSAT): 16254(8208/8046)
Jun 03, 2017 9:11:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/592 took 44000 ms. Total solver calls (SAT/UNSAT): 16707(8424/8283)
Jun 03, 2017 9:11:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/592 took 45121 ms. Total solver calls (SAT/UNSAT): 17160(8640/8520)
Jun 03, 2017 9:11:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/592 took 46166 ms. Total solver calls (SAT/UNSAT): 17613(8856/8757)
Jun 03, 2017 9:11:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/592 took 47236 ms. Total solver calls (SAT/UNSAT): 18021(9072/8949)
Jun 03, 2017 9:11:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/592 took 48325 ms. Total solver calls (SAT/UNSAT): 18429(9288/9141)
Jun 03, 2017 9:11:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/592 took 49413 ms. Total solver calls (SAT/UNSAT): 18837(9504/9333)
Jun 03, 2017 9:11:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/592 took 50492 ms. Total solver calls (SAT/UNSAT): 19245(9720/9525)
Jun 03, 2017 9:11:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 51577 ms. Total solver calls (SAT/UNSAT): 19653(9936/9717)
Jun 03, 2017 9:11:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/592 took 52660 ms. Total solver calls (SAT/UNSAT): 20061(10152/9909)
Jun 03, 2017 9:11:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 53750 ms. Total solver calls (SAT/UNSAT): 20469(10368/10101)
Jun 03, 2017 9:12:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 54840 ms. Total solver calls (SAT/UNSAT): 20877(10584/10293)
Jun 03, 2017 9:12:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/592 took 55917 ms. Total solver calls (SAT/UNSAT): 21285(10800/10485)
Jun 03, 2017 9:12:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 56992 ms. Total solver calls (SAT/UNSAT): 21693(11016/10677)
Jun 03, 2017 9:12:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 58101 ms. Total solver calls (SAT/UNSAT): 22116(11232/10884)
Jun 03, 2017 9:12:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 59257 ms. Total solver calls (SAT/UNSAT): 22569(11448/11121)
Jun 03, 2017 9:12:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/592 took 60352 ms. Total solver calls (SAT/UNSAT): 22977(11664/11313)
Jun 03, 2017 9:12:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 61457 ms. Total solver calls (SAT/UNSAT): 23400(11880/11520)
Jun 03, 2017 9:12:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 62531 ms. Total solver calls (SAT/UNSAT): 23808(12096/11712)
Jun 03, 2017 9:12:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 63613 ms. Total solver calls (SAT/UNSAT): 24216(12312/11904)
Jun 03, 2017 9:12:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/592 took 64693 ms. Total solver calls (SAT/UNSAT): 24624(12528/12096)
Jun 03, 2017 9:12:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 65785 ms. Total solver calls (SAT/UNSAT): 25032(12744/12288)
Jun 03, 2017 9:12:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/592 took 66856 ms. Total solver calls (SAT/UNSAT): 25440(12960/12480)
Jun 03, 2017 9:12:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/592 took 67948 ms. Total solver calls (SAT/UNSAT): 25848(13176/12672)
Jun 03, 2017 9:12:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/592 took 69056 ms. Total solver calls (SAT/UNSAT): 26256(13392/12864)
Jun 03, 2017 9:12:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/592 took 70109 ms. Total solver calls (SAT/UNSAT): 26701(13536/13165)
Jun 03, 2017 9:12:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/592 took 71253 ms. Total solver calls (SAT/UNSAT): 27216(13656/13560)
Jun 03, 2017 9:12:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/592 took 72377 ms. Total solver calls (SAT/UNSAT): 27731(13776/13955)
Jun 03, 2017 9:12:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/592 took 73506 ms. Total solver calls (SAT/UNSAT): 28246(13896/14350)
Jun 03, 2017 9:12:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/592 took 74629 ms. Total solver calls (SAT/UNSAT): 28761(14016/14745)
Jun 03, 2017 9:12:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/592 took 75749 ms. Total solver calls (SAT/UNSAT): 29276(14136/15140)
Jun 03, 2017 9:12:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/592 took 76864 ms. Total solver calls (SAT/UNSAT): 29791(14256/15535)
Jun 03, 2017 9:12:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/592 took 78038 ms. Total solver calls (SAT/UNSAT): 30269(14448/15821)
Jun 03, 2017 9:12:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/592 took 79126 ms. Total solver calls (SAT/UNSAT): 30677(14664/16013)
Jun 03, 2017 9:12:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 80246 ms. Total solver calls (SAT/UNSAT): 31192(14784/16408)
Jun 03, 2017 9:12:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 81380 ms. Total solver calls (SAT/UNSAT): 31707(14904/16803)
Jun 03, 2017 9:12:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/592 took 82501 ms. Total solver calls (SAT/UNSAT): 32222(15024/17198)
Jun 03, 2017 9:12:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 83626 ms. Total solver calls (SAT/UNSAT): 32737(15144/17593)
Jun 03, 2017 9:12:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/592 took 84647 ms. Total solver calls (SAT/UNSAT): 33211(15256/17955)
Jun 03, 2017 9:12:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/592 took 85650 ms. Total solver calls (SAT/UNSAT): 33708(15400/18308)
Jun 03, 2017 9:12:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/592 took 86680 ms. Total solver calls (SAT/UNSAT): 34184(15516/18668)
Jun 03, 2017 9:12:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :294/592 took 87680 ms. Total solver calls (SAT/UNSAT): 34650(15736/18914)
Jun 03, 2017 9:12:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :306/592 took 88714 ms. Total solver calls (SAT/UNSAT): 35082(15976/19106)
Jun 03, 2017 9:12:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/592 took 90152 ms. Total solver calls (SAT/UNSAT): 35691(16264/19427)
Jun 03, 2017 9:12:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/592 took 91452 ms. Total solver calls (SAT/UNSAT): 36210(16546/19664)
Jun 03, 2017 9:12:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/592 took 92739 ms. Total solver calls (SAT/UNSAT): 36729(16828/19901)
Jun 03, 2017 9:12:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/592 took 94047 ms. Total solver calls (SAT/UNSAT): 37255(17116/20139)
Jun 03, 2017 9:12:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/592 took 95123 ms. Total solver calls (SAT/UNSAT): 37680(17350/20330)
Jun 03, 2017 9:12:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/592 took 96388 ms. Total solver calls (SAT/UNSAT): 38212(17624/20588)
Jun 03, 2017 9:12:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/592 took 97687 ms. Total solver calls (SAT/UNSAT): 38731(17906/20825)
Jun 03, 2017 9:12:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/592 took 98993 ms. Total solver calls (SAT/UNSAT): 39250(18188/21062)
Jun 03, 2017 9:12:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/592 took 100288 ms. Total solver calls (SAT/UNSAT): 39769(18470/21299)
Jun 03, 2017 9:12:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/592 took 101543 ms. Total solver calls (SAT/UNSAT): 40288(18752/21536)
Jun 03, 2017 9:12:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/592 took 102840 ms. Total solver calls (SAT/UNSAT): 40807(19034/21773)
Jun 03, 2017 9:12:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/592 took 104126 ms. Total solver calls (SAT/UNSAT): 41326(19316/22010)
Jun 03, 2017 9:12:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/592 took 105415 ms. Total solver calls (SAT/UNSAT): 41845(19598/22247)
Jun 03, 2017 9:12:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/592 took 106715 ms. Total solver calls (SAT/UNSAT): 42364(19880/22484)
Jun 03, 2017 9:12:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/592 took 108014 ms. Total solver calls (SAT/UNSAT): 42883(20162/22721)
Jun 03, 2017 9:12:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/592 took 109313 ms. Total solver calls (SAT/UNSAT): 43402(20444/22958)
Jun 03, 2017 9:12:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/592 took 110624 ms. Total solver calls (SAT/UNSAT): 43906(20726/23180)
Jun 03, 2017 9:12:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/592 took 111906 ms. Total solver calls (SAT/UNSAT): 44395(21008/23387)
Jun 03, 2017 9:12:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/592 took 113212 ms. Total solver calls (SAT/UNSAT): 44914(21290/23624)
Jun 03, 2017 9:13:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/592 took 114498 ms. Total solver calls (SAT/UNSAT): 45388(21572/23816)
Jun 03, 2017 9:13:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/592 took 115764 ms. Total solver calls (SAT/UNSAT): 45862(21854/24008)
Jun 03, 2017 9:13:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/592 took 117044 ms. Total solver calls (SAT/UNSAT): 46351(22136/24215)
Jun 03, 2017 9:13:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/592 took 118344 ms. Total solver calls (SAT/UNSAT): 46870(22418/24452)
Jun 03, 2017 9:13:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/592 took 119629 ms. Total solver calls (SAT/UNSAT): 47389(22700/24689)
Jun 03, 2017 9:13:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/592 took 120934 ms. Total solver calls (SAT/UNSAT): 47908(22982/24926)
Jun 03, 2017 9:13:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/592 took 122235 ms. Total solver calls (SAT/UNSAT): 48427(23264/25163)
Jun 03, 2017 9:13:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/592 took 123533 ms. Total solver calls (SAT/UNSAT): 48946(23546/25400)
Jun 03, 2017 9:13:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/592 took 124817 ms. Total solver calls (SAT/UNSAT): 49420(23828/25592)
Jun 03, 2017 9:13:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/592 took 126102 ms. Total solver calls (SAT/UNSAT): 49894(24110/25784)
Jun 03, 2017 9:13:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 127384 ms. Total solver calls (SAT/UNSAT): 50368(24392/25976)
Jun 03, 2017 9:13:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/592 took 128673 ms. Total solver calls (SAT/UNSAT): 50842(24674/26168)
Jun 03, 2017 9:13:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/592 took 129938 ms. Total solver calls (SAT/UNSAT): 51316(24956/26360)
Jun 03, 2017 9:13:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/592 took 131240 ms. Total solver calls (SAT/UNSAT): 51790(25238/26552)
Jun 03, 2017 9:13:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 132540 ms. Total solver calls (SAT/UNSAT): 52264(25520/26744)
Jun 03, 2017 9:13:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/592 took 133830 ms. Total solver calls (SAT/UNSAT): 52738(25802/26936)
Jun 03, 2017 9:13:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 135132 ms. Total solver calls (SAT/UNSAT): 53212(26084/27128)
Jun 03, 2017 9:13:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/592 took 136409 ms. Total solver calls (SAT/UNSAT): 53686(26366/27320)
Jun 03, 2017 9:13:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 137695 ms. Total solver calls (SAT/UNSAT): 54160(26648/27512)
Jun 03, 2017 9:13:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/592 took 138988 ms. Total solver calls (SAT/UNSAT): 54634(26930/27704)
Jun 03, 2017 9:13:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/592 took 140293 ms. Total solver calls (SAT/UNSAT): 55138(27212/27926)
Jun 03, 2017 9:13:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/592 took 141615 ms. Total solver calls (SAT/UNSAT): 55657(27494/28163)
Jun 03, 2017 9:13:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/592 took 142951 ms. Total solver calls (SAT/UNSAT): 56176(27776/28400)
Jun 03, 2017 9:13:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/592 took 144275 ms. Total solver calls (SAT/UNSAT): 56695(28058/28637)
Jun 03, 2017 9:13:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 145546 ms. Total solver calls (SAT/UNSAT): 57169(28340/28829)
Jun 03, 2017 9:13:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/592 took 146858 ms. Total solver calls (SAT/UNSAT): 57643(28622/29021)
Jun 03, 2017 9:13:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 148154 ms. Total solver calls (SAT/UNSAT): 58117(28904/29213)
Jun 03, 2017 9:13:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/592 took 149416 ms. Total solver calls (SAT/UNSAT): 58591(29186/29405)
Jun 03, 2017 9:13:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 150706 ms. Total solver calls (SAT/UNSAT): 59065(29468/29597)
Jun 03, 2017 9:13:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/592 took 152009 ms. Total solver calls (SAT/UNSAT): 59569(29750/29819)
Jun 03, 2017 9:13:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/592 took 153315 ms. Total solver calls (SAT/UNSAT): 60088(30032/30056)
Jun 03, 2017 9:13:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/592 took 154632 ms. Total solver calls (SAT/UNSAT): 60607(30314/30293)
Jun 03, 2017 9:13:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/592 took 155950 ms. Total solver calls (SAT/UNSAT): 61126(30596/30530)
Jun 03, 2017 9:13:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/592 took 157256 ms. Total solver calls (SAT/UNSAT): 61645(30878/30767)
Jun 03, 2017 9:13:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/592 took 158556 ms. Total solver calls (SAT/UNSAT): 62164(31160/31004)
Jun 03, 2017 9:13:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/592 took 159856 ms. Total solver calls (SAT/UNSAT): 62683(31442/31241)
Jun 03, 2017 9:13:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/592 took 161145 ms. Total solver calls (SAT/UNSAT): 63202(31724/31478)
Jun 03, 2017 9:13:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/592 took 162441 ms. Total solver calls (SAT/UNSAT): 63721(32006/31715)
Jun 03, 2017 9:13:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/592 took 163743 ms. Total solver calls (SAT/UNSAT): 64240(32288/31952)
Jun 03, 2017 9:13:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/592 took 165051 ms. Total solver calls (SAT/UNSAT): 64759(32570/32189)
Jun 03, 2017 9:13:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/592 took 166339 ms. Total solver calls (SAT/UNSAT): 65278(32852/32426)
Jun 03, 2017 9:13:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/592 took 167633 ms. Total solver calls (SAT/UNSAT): 65797(33134/32663)
Jun 03, 2017 9:13:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/592 took 168929 ms. Total solver calls (SAT/UNSAT): 66316(33416/32900)
Jun 03, 2017 9:13:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/592 took 170241 ms. Total solver calls (SAT/UNSAT): 66835(33698/33137)
Jun 03, 2017 9:13:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/592 took 171543 ms. Total solver calls (SAT/UNSAT): 67354(33980/33374)
Jun 03, 2017 9:13:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/592 took 172854 ms. Total solver calls (SAT/UNSAT): 67843(34262/33581)
Jun 03, 2017 9:13:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/592 took 174161 ms. Total solver calls (SAT/UNSAT): 68317(34544/33773)
Jun 03, 2017 9:14:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/592 took 175510 ms. Total solver calls (SAT/UNSAT): 68791(34826/33965)
Jun 03, 2017 9:14:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/592 took 176805 ms. Total solver calls (SAT/UNSAT): 69265(35108/34157)
Jun 03, 2017 9:14:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/592 took 178071 ms. Total solver calls (SAT/UNSAT): 69784(35390/34394)
Jun 03, 2017 9:14:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/592 took 179331 ms. Total solver calls (SAT/UNSAT): 70288(35672/34616)
Jun 03, 2017 9:14:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/592 took 180646 ms. Total solver calls (SAT/UNSAT): 70762(35954/34808)
Jun 03, 2017 9:14:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/592 took 181983 ms. Total solver calls (SAT/UNSAT): 71236(36236/35000)
Jun 03, 2017 9:14:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 183291 ms. Total solver calls (SAT/UNSAT): 71710(36518/35192)
Jun 03, 2017 9:14:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/592 took 184596 ms. Total solver calls (SAT/UNSAT): 72184(36800/35384)
Jun 03, 2017 9:14:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/592 took 185934 ms. Total solver calls (SAT/UNSAT): 72658(37082/35576)
Jun 03, 2017 9:14:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/592 took 187253 ms. Total solver calls (SAT/UNSAT): 73132(37364/35768)
Jun 03, 2017 9:14:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/592 took 188585 ms. Total solver calls (SAT/UNSAT): 73606(37646/35960)
Jun 03, 2017 9:14:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/592 took 189923 ms. Total solver calls (SAT/UNSAT): 74080(37928/36152)
Jun 03, 2017 9:14:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/592 took 191253 ms. Total solver calls (SAT/UNSAT): 74554(38210/36344)
Jun 03, 2017 9:14:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/592 took 192582 ms. Total solver calls (SAT/UNSAT): 75028(38492/36536)
Jun 03, 2017 9:14:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/592 took 193902 ms. Total solver calls (SAT/UNSAT): 75502(38774/36728)
Jun 03, 2017 9:14:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/592 took 195232 ms. Total solver calls (SAT/UNSAT): 75976(39056/36920)
Jun 03, 2017 9:14:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/592 took 196514 ms. Total solver calls (SAT/UNSAT): 76450(39338/37112)
Jun 03, 2017 9:14:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/592 took 197820 ms. Total solver calls (SAT/UNSAT): 76924(39620/37304)
Jun 03, 2017 9:14:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/592 took 199136 ms. Total solver calls (SAT/UNSAT): 77398(39902/37496)
Jun 03, 2017 9:14:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/592 took 200423 ms. Total solver calls (SAT/UNSAT): 77872(40184/37688)
Jun 03, 2017 9:14:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/592 took 201738 ms. Total solver calls (SAT/UNSAT): 78346(40466/37880)
Jun 03, 2017 9:14:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 202158 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 03, 2017 9:14:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 592 transitions.
Jun 03, 2017 9:14:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/592) took 1017 ms. Total solver calls (SAT/UNSAT): 592(592/0)
Jun 03, 2017 9:14:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/592) took 3007 ms. Total solver calls (SAT/UNSAT): 1773(1773/0)
Jun 03, 2017 9:14:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(3/592) took 4015 ms. Total solver calls (SAT/UNSAT): 2362(2362/0)
Jun 03, 2017 9:14:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(5/592) took 5987 ms. Total solver calls (SAT/UNSAT): 3537(3537/0)
Jun 03, 2017 9:14:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(7/592) took 7997 ms. Total solver calls (SAT/UNSAT): 4708(4708/0)
Jun 03, 2017 9:14:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(8/592) took 9008 ms. Total solver calls (SAT/UNSAT): 5292(5292/0)
Jun 03, 2017 9:14:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(9/592) took 10025 ms. Total solver calls (SAT/UNSAT): 5875(5875/0)
Jun 03, 2017 9:14:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(11/592) took 12023 ms. Total solver calls (SAT/UNSAT): 7038(7038/0)
Jun 03, 2017 9:14:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(13/592) took 14001 ms. Total solver calls (SAT/UNSAT): 8197(8197/0)
Jun 03, 2017 9:14:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(15/592) took 15950 ms. Total solver calls (SAT/UNSAT): 9352(9352/0)
Jun 03, 2017 9:14:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(17/592) took 17921 ms. Total solver calls (SAT/UNSAT): 10503(10503/0)
Jun 03, 2017 9:14:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(19/592) took 19874 ms. Total solver calls (SAT/UNSAT): 11650(11650/0)
Jun 03, 2017 9:14:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(21/592) took 21849 ms. Total solver calls (SAT/UNSAT): 12793(12793/0)
Jun 03, 2017 9:14:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(23/592) took 23788 ms. Total solver calls (SAT/UNSAT): 13932(13932/0)
Jun 03, 2017 9:14:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(25/592) took 25700 ms. Total solver calls (SAT/UNSAT): 15067(15067/0)
Jun 03, 2017 9:14:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(27/592) took 27621 ms. Total solver calls (SAT/UNSAT): 16198(16198/0)
Jun 03, 2017 9:14:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(29/592) took 29535 ms. Total solver calls (SAT/UNSAT): 17325(17325/0)
Jun 03, 2017 9:14:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(31/592) took 31450 ms. Total solver calls (SAT/UNSAT): 18448(18448/0)
Jun 03, 2017 9:15:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(33/592) took 33322 ms. Total solver calls (SAT/UNSAT): 19567(19567/0)
Jun 03, 2017 9:15:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(35/592) took 35197 ms. Total solver calls (SAT/UNSAT): 20682(20682/0)
Jun 03, 2017 9:15:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(37/592) took 37037 ms. Total solver calls (SAT/UNSAT): 21793(21793/0)
Jun 03, 2017 9:15:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(39/592) took 38877 ms. Total solver calls (SAT/UNSAT): 22900(22900/0)
Jun 03, 2017 9:15:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(41/592) took 40723 ms. Total solver calls (SAT/UNSAT): 24003(24003/0)
Jun 03, 2017 9:15:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(43/592) took 42578 ms. Total solver calls (SAT/UNSAT): 25102(25102/0)
Jun 03, 2017 9:15:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(45/592) took 44437 ms. Total solver calls (SAT/UNSAT): 26197(26197/0)
Jun 03, 2017 9:15:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(47/592) took 46282 ms. Total solver calls (SAT/UNSAT): 27288(27288/0)
Jun 03, 2017 9:15:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(49/592) took 48110 ms. Total solver calls (SAT/UNSAT): 28375(28375/0)
Jun 03, 2017 9:15:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(51/592) took 49937 ms. Total solver calls (SAT/UNSAT): 29458(29458/0)
Jun 03, 2017 9:15:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(53/592) took 51713 ms. Total solver calls (SAT/UNSAT): 30537(30537/0)
Jun 03, 2017 9:15:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(55/592) took 53529 ms. Total solver calls (SAT/UNSAT): 31612(31612/0)
Jun 03, 2017 9:15:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(57/592) took 55320 ms. Total solver calls (SAT/UNSAT): 32683(32683/0)
Jun 03, 2017 9:15:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(59/592) took 57129 ms. Total solver calls (SAT/UNSAT): 33750(33750/0)
Jun 03, 2017 9:15:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(61/592) took 58822 ms. Total solver calls (SAT/UNSAT): 34813(34813/0)
Jun 03, 2017 9:15:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(63/592) took 60624 ms. Total solver calls (SAT/UNSAT): 35872(35872/0)
Jun 03, 2017 9:15:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(65/592) took 62317 ms. Total solver calls (SAT/UNSAT): 36927(36927/0)
Jun 03, 2017 9:15:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(67/592) took 64095 ms. Total solver calls (SAT/UNSAT): 37978(37978/0)
Jun 03, 2017 9:15:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(69/592) took 65763 ms. Total solver calls (SAT/UNSAT): 39025(39025/0)
Jun 03, 2017 9:15:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(71/592) took 67526 ms. Total solver calls (SAT/UNSAT): 40068(40068/0)
Jun 03, 2017 9:15:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(73/592) took 69300 ms. Total solver calls (SAT/UNSAT): 41107(41107/0)
Jun 03, 2017 9:15:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(75/592) took 71033 ms. Total solver calls (SAT/UNSAT): 42142(42142/0)
Jun 03, 2017 9:15:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(77/592) took 72730 ms. Total solver calls (SAT/UNSAT): 43173(43173/0)
Jun 03, 2017 9:15:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(79/592) took 74499 ms. Total solver calls (SAT/UNSAT): 44200(44200/0)
Jun 03, 2017 9:15:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(81/592) took 76230 ms. Total solver calls (SAT/UNSAT): 45223(45223/0)
Jun 03, 2017 9:15:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(83/592) took 78012 ms. Total solver calls (SAT/UNSAT): 46242(46242/0)
Jun 03, 2017 9:15:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(85/592) took 79759 ms. Total solver calls (SAT/UNSAT): 47257(47257/0)
Jun 03, 2017 9:15:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(87/592) took 81439 ms. Total solver calls (SAT/UNSAT): 48268(48268/0)
Jun 03, 2017 9:15:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(89/592) took 83163 ms. Total solver calls (SAT/UNSAT): 49275(49275/0)
Jun 03, 2017 9:15:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(91/592) took 84771 ms. Total solver calls (SAT/UNSAT): 50278(50278/0)
Jun 03, 2017 9:15:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(93/592) took 86475 ms. Total solver calls (SAT/UNSAT): 51277(51277/0)
Jun 03, 2017 9:15:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(95/592) took 88064 ms. Total solver calls (SAT/UNSAT): 52272(52272/0)
Jun 03, 2017 9:15:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(97/592) took 89762 ms. Total solver calls (SAT/UNSAT): 53263(53263/0)
Jun 03, 2017 9:15:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(99/592) took 91333 ms. Total solver calls (SAT/UNSAT): 54250(54250/0)
Jun 03, 2017 9:16:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(101/592) took 92956 ms. Total solver calls (SAT/UNSAT): 55233(55233/0)
Jun 03, 2017 9:16:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(103/592) took 94528 ms. Total solver calls (SAT/UNSAT): 56212(56212/0)
Jun 03, 2017 9:16:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(105/592) took 96139 ms. Total solver calls (SAT/UNSAT): 57187(57187/0)
Jun 03, 2017 9:16:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(107/592) took 97746 ms. Total solver calls (SAT/UNSAT): 58158(58158/0)
Jun 03, 2017 9:16:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(109/592) took 99387 ms. Total solver calls (SAT/UNSAT): 59125(59125/0)
Jun 03, 2017 9:16:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(111/592) took 100989 ms. Total solver calls (SAT/UNSAT): 60088(60088/0)
Jun 03, 2017 9:16:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(113/592) took 102624 ms. Total solver calls (SAT/UNSAT): 61047(61047/0)
Jun 03, 2017 9:16:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(115/592) took 104217 ms. Total solver calls (SAT/UNSAT): 62002(62002/0)
Jun 03, 2017 9:16:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(117/592) took 105823 ms. Total solver calls (SAT/UNSAT): 62953(62953/0)
Jun 03, 2017 9:16:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(119/592) took 107438 ms. Total solver calls (SAT/UNSAT): 63900(63900/0)
Jun 03, 2017 9:16:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(121/592) took 108939 ms. Total solver calls (SAT/UNSAT): 64843(64843/0)
Jun 03, 2017 9:16:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(123/592) took 110571 ms. Total solver calls (SAT/UNSAT): 65782(65782/0)
Jun 03, 2017 9:16:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(125/592) took 112223 ms. Total solver calls (SAT/UNSAT): 66717(66717/0)
Jun 03, 2017 9:16:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(127/592) took 113850 ms. Total solver calls (SAT/UNSAT): 67648(67648/0)
Jun 03, 2017 9:16:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(129/592) took 115472 ms. Total solver calls (SAT/UNSAT): 68575(68575/0)
Jun 03, 2017 9:16:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(131/592) took 117104 ms. Total solver calls (SAT/UNSAT): 69498(69498/0)
Jun 03, 2017 9:16:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(133/592) took 118726 ms. Total solver calls (SAT/UNSAT): 70417(70417/0)
Jun 03, 2017 9:16:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(135/592) took 120319 ms. Total solver calls (SAT/UNSAT): 71332(71332/0)
Jun 03, 2017 9:16:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(137/592) took 121905 ms. Total solver calls (SAT/UNSAT): 72243(72243/0)
Jun 03, 2017 9:16:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(139/592) took 123499 ms. Total solver calls (SAT/UNSAT): 73150(73150/0)
Jun 03, 2017 9:16:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(141/592) took 125101 ms. Total solver calls (SAT/UNSAT): 74053(74053/0)
Jun 03, 2017 9:16:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(143/592) took 126684 ms. Total solver calls (SAT/UNSAT): 74952(74952/0)
Jun 03, 2017 9:16:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(145/592) took 128281 ms. Total solver calls (SAT/UNSAT): 75847(75847/0)
Jun 03, 2017 9:16:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(147/592) took 129848 ms. Total solver calls (SAT/UNSAT): 76738(76738/0)
Jun 03, 2017 9:16:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(149/592) took 131419 ms. Total solver calls (SAT/UNSAT): 77625(77625/0)
Jun 03, 2017 9:16:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(151/592) took 132992 ms. Total solver calls (SAT/UNSAT): 78508(78508/0)
Jun 03, 2017 9:16:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(153/592) took 134529 ms. Total solver calls (SAT/UNSAT): 79387(79387/0)
Jun 03, 2017 9:16:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(155/592) took 136029 ms. Total solver calls (SAT/UNSAT): 80262(80262/0)
Jun 03, 2017 9:16:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(157/592) took 137514 ms. Total solver calls (SAT/UNSAT): 81133(81133/0)
Jun 03, 2017 9:16:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(159/592) took 139009 ms. Total solver calls (SAT/UNSAT): 82000(82000/0)
Jun 03, 2017 9:16:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(161/592) took 140533 ms. Total solver calls (SAT/UNSAT): 82863(82863/0)
Jun 03, 2017 9:16:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(163/592) took 142019 ms. Total solver calls (SAT/UNSAT): 83722(83722/0)
Jun 03, 2017 9:16:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(165/592) took 143515 ms. Total solver calls (SAT/UNSAT): 84577(84577/0)
Jun 03, 2017 9:16:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(167/592) took 145001 ms. Total solver calls (SAT/UNSAT): 85428(85428/0)
Jun 03, 2017 9:16:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(169/592) took 146488 ms. Total solver calls (SAT/UNSAT): 86275(86275/0)
Jun 03, 2017 9:16:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(171/592) took 147961 ms. Total solver calls (SAT/UNSAT): 87118(87118/0)
Jun 03, 2017 9:16:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(173/592) took 149431 ms. Total solver calls (SAT/UNSAT): 87957(87957/0)
Jun 03, 2017 9:16:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(175/592) took 150907 ms. Total solver calls (SAT/UNSAT): 88792(88792/0)
Jun 03, 2017 9:17:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(177/592) took 152360 ms. Total solver calls (SAT/UNSAT): 89623(89623/0)
Jun 03, 2017 9:17:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(179/592) took 153809 ms. Total solver calls (SAT/UNSAT): 90450(90450/0)
Jun 03, 2017 9:17:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(181/592) took 155264 ms. Total solver calls (SAT/UNSAT): 91273(91273/0)
Jun 03, 2017 9:17:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(183/592) took 156701 ms. Total solver calls (SAT/UNSAT): 92092(92092/0)
Jun 03, 2017 9:17:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(185/592) took 158124 ms. Total solver calls (SAT/UNSAT): 92907(92907/0)
Jun 03, 2017 9:17:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(187/592) took 159490 ms. Total solver calls (SAT/UNSAT): 93718(93718/0)
Jun 03, 2017 9:17:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(189/592) took 160809 ms. Total solver calls (SAT/UNSAT): 94525(94525/0)
Jun 03, 2017 9:17:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(191/592) took 162134 ms. Total solver calls (SAT/UNSAT): 95328(95328/0)
Jun 03, 2017 9:17:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(193/592) took 163433 ms. Total solver calls (SAT/UNSAT): 96127(96127/0)
Jun 03, 2017 9:17:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(195/592) took 164733 ms. Total solver calls (SAT/UNSAT): 96922(96922/0)
Jun 03, 2017 9:17:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(197/592) took 166029 ms. Total solver calls (SAT/UNSAT): 97713(97713/0)
Jun 03, 2017 9:17:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(199/592) took 167290 ms. Total solver calls (SAT/UNSAT): 98500(98500/0)
Jun 03, 2017 9:17:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(201/592) took 168565 ms. Total solver calls (SAT/UNSAT): 99283(99283/0)
Jun 03, 2017 9:17:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(203/592) took 169887 ms. Total solver calls (SAT/UNSAT): 100062(100062/0)
Jun 03, 2017 9:17:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(205/592) took 171265 ms. Total solver calls (SAT/UNSAT): 100837(100837/0)
Jun 03, 2017 9:17:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(207/592) took 172528 ms. Total solver calls (SAT/UNSAT): 101608(101608/0)
Jun 03, 2017 9:17:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(209/592) took 173789 ms. Total solver calls (SAT/UNSAT): 102375(102375/0)
Jun 03, 2017 9:17:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(211/592) took 175029 ms. Total solver calls (SAT/UNSAT): 103138(103138/0)
Jun 03, 2017 9:17:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(213/592) took 176458 ms. Total solver calls (SAT/UNSAT): 103897(103897/0)
Jun 03, 2017 9:17:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(215/592) took 177715 ms. Total solver calls (SAT/UNSAT): 104652(104652/0)
Jun 03, 2017 9:17:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(217/592) took 178955 ms. Total solver calls (SAT/UNSAT): 105403(105403/0)
Jun 03, 2017 9:17:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(219/592) took 180187 ms. Total solver calls (SAT/UNSAT): 106150(106150/0)
Jun 03, 2017 9:17:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(221/592) took 181415 ms. Total solver calls (SAT/UNSAT): 106893(106893/0)
Jun 03, 2017 9:17:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(223/592) took 182712 ms. Total solver calls (SAT/UNSAT): 107632(107632/0)
Jun 03, 2017 9:17:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(225/592) took 183992 ms. Total solver calls (SAT/UNSAT): 108367(108367/0)
Jun 03, 2017 9:17:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(227/592) took 185228 ms. Total solver calls (SAT/UNSAT): 109098(109098/0)
Jun 03, 2017 9:17:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(229/592) took 186423 ms. Total solver calls (SAT/UNSAT): 109825(109825/0)
Jun 03, 2017 9:17:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(231/592) took 187788 ms. Total solver calls (SAT/UNSAT): 110548(110548/0)
Jun 03, 2017 9:17:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(233/592) took 188961 ms. Total solver calls (SAT/UNSAT): 111267(111267/0)
Jun 03, 2017 9:17:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(235/592) took 190136 ms. Total solver calls (SAT/UNSAT): 111982(111982/0)
Jun 03, 2017 9:17:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(237/592) took 191296 ms. Total solver calls (SAT/UNSAT): 112693(112693/0)
Jun 03, 2017 9:17:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(239/592) took 192464 ms. Total solver calls (SAT/UNSAT): 113400(113400/0)
Jun 03, 2017 9:17:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(241/592) took 193615 ms. Total solver calls (SAT/UNSAT): 114103(114103/0)
Jun 03, 2017 9:17:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(243/592) took 194752 ms. Total solver calls (SAT/UNSAT): 114802(114802/0)
Jun 03, 2017 9:17:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(245/592) took 195883 ms. Total solver calls (SAT/UNSAT): 115497(115497/0)
Jun 03, 2017 9:17:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(247/592) took 197022 ms. Total solver calls (SAT/UNSAT): 116188(116188/0)
Jun 03, 2017 9:17:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(249/592) took 198214 ms. Total solver calls (SAT/UNSAT): 116875(116875/0)
Jun 03, 2017 9:17:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(251/592) took 199244 ms. Total solver calls (SAT/UNSAT): 117558(117558/0)
Jun 03, 2017 9:17:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(254/592) took 200664 ms. Total solver calls (SAT/UNSAT): 118575(118575/0)
Jun 03, 2017 9:17:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(257/592) took 202092 ms. Total solver calls (SAT/UNSAT): 119583(119583/0)
Jun 03, 2017 9:17:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(260/592) took 203500 ms. Total solver calls (SAT/UNSAT): 120582(120582/0)
Jun 03, 2017 9:17:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(263/592) took 204885 ms. Total solver calls (SAT/UNSAT): 121572(121572/0)
Jun 03, 2017 9:17:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(266/592) took 206304 ms. Total solver calls (SAT/UNSAT): 122553(122553/0)
Jun 03, 2017 9:17:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(268/592) took 207315 ms. Total solver calls (SAT/UNSAT): 123202(123202/0)
Jun 03, 2017 9:17:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(271/592) took 208817 ms. Total solver calls (SAT/UNSAT): 124168(124168/0)
Jun 03, 2017 9:17:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(274/592) took 210284 ms. Total solver calls (SAT/UNSAT): 125125(125125/0)
Jun 03, 2017 9:17:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(276/592) took 211301 ms. Total solver calls (SAT/UNSAT): 125758(125758/0)
Jun 03, 2017 9:18:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(279/592) took 212795 ms. Total solver calls (SAT/UNSAT): 126700(126700/0)
Jun 03, 2017 9:18:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(281/592) took 213839 ms. Total solver calls (SAT/UNSAT): 127323(127323/0)
Jun 03, 2017 9:18:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(284/592) took 215315 ms. Total solver calls (SAT/UNSAT): 128250(128250/0)
Jun 03, 2017 9:18:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(287/592) took 216763 ms. Total solver calls (SAT/UNSAT): 129168(129168/0)
Jun 03, 2017 9:18:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(290/592) took 218199 ms. Total solver calls (SAT/UNSAT): 130077(130077/0)
Jun 03, 2017 9:18:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(293/592) took 219625 ms. Total solver calls (SAT/UNSAT): 130977(130977/0)
Jun 03, 2017 9:18:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(296/592) took 220958 ms. Total solver calls (SAT/UNSAT): 131868(131868/0)
Jun 03, 2017 9:18:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(299/592) took 222269 ms. Total solver calls (SAT/UNSAT): 132750(132750/0)
Jun 03, 2017 9:18:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(302/592) took 223539 ms. Total solver calls (SAT/UNSAT): 133623(133623/0)
Jun 03, 2017 9:18:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(305/592) took 224805 ms. Total solver calls (SAT/UNSAT): 134487(134487/0)
Jun 03, 2017 9:18:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(308/592) took 226060 ms. Total solver calls (SAT/UNSAT): 135342(135342/0)
Jun 03, 2017 9:18:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(311/592) took 227278 ms. Total solver calls (SAT/UNSAT): 136188(136188/0)
Jun 03, 2017 9:18:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(314/592) took 228466 ms. Total solver calls (SAT/UNSAT): 137025(137025/0)
Jun 03, 2017 9:18:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(317/592) took 229800 ms. Total solver calls (SAT/UNSAT): 137853(137853/0)
Jun 03, 2017 9:18:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(320/592) took 231136 ms. Total solver calls (SAT/UNSAT): 138672(138672/0)
Jun 03, 2017 9:18:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(323/592) took 232495 ms. Total solver calls (SAT/UNSAT): 139482(139482/0)
Jun 03, 2017 9:18:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(326/592) took 233893 ms. Total solver calls (SAT/UNSAT): 140283(140283/0)
Jun 03, 2017 9:18:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(329/592) took 235238 ms. Total solver calls (SAT/UNSAT): 141075(141075/0)
Jun 03, 2017 9:18:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(332/592) took 236594 ms. Total solver calls (SAT/UNSAT): 141858(141858/0)
Jun 03, 2017 9:18:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(335/592) took 237941 ms. Total solver calls (SAT/UNSAT): 142632(142632/0)
Jun 03, 2017 9:18:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(338/592) took 239256 ms. Total solver calls (SAT/UNSAT): 143397(143397/0)
Jun 03, 2017 9:18:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(341/592) took 240432 ms. Total solver calls (SAT/UNSAT): 144153(144153/0)
Jun 03, 2017 9:18:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(344/592) took 241620 ms. Total solver calls (SAT/UNSAT): 144900(144900/0)
Jun 03, 2017 9:18:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(347/592) took 242878 ms. Total solver calls (SAT/UNSAT): 145638(145638/0)
Jun 03, 2017 9:18:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(350/592) took 244047 ms. Total solver calls (SAT/UNSAT): 146367(146367/0)
Jun 03, 2017 9:18:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(353/592) took 245271 ms. Total solver calls (SAT/UNSAT): 147087(147087/0)
Jun 03, 2017 9:18:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(356/592) took 246433 ms. Total solver calls (SAT/UNSAT): 147798(147798/0)
Jun 03, 2017 9:18:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(359/592) took 247587 ms. Total solver calls (SAT/UNSAT): 148500(148500/0)
Jun 03, 2017 9:18:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(362/592) took 248736 ms. Total solver calls (SAT/UNSAT): 149193(149193/0)
Jun 03, 2017 9:18:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(365/592) took 249847 ms. Total solver calls (SAT/UNSAT): 149877(149877/0)
Jun 03, 2017 9:18:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(368/592) took 250955 ms. Total solver calls (SAT/UNSAT): 150552(150552/0)
Jun 03, 2017 9:18:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(371/592) took 252032 ms. Total solver calls (SAT/UNSAT): 151218(151218/0)
Jun 03, 2017 9:18:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(374/592) took 253108 ms. Total solver calls (SAT/UNSAT): 151875(151875/0)
Jun 03, 2017 9:18:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(377/592) took 254150 ms. Total solver calls (SAT/UNSAT): 152523(152523/0)
Jun 03, 2017 9:18:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(380/592) took 255220 ms. Total solver calls (SAT/UNSAT): 153162(153162/0)
Jun 03, 2017 9:18:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(383/592) took 256296 ms. Total solver calls (SAT/UNSAT): 153792(153792/0)
Jun 03, 2017 9:18:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(386/592) took 257314 ms. Total solver calls (SAT/UNSAT): 154413(154413/0)
Jun 03, 2017 9:18:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(389/592) took 258450 ms. Total solver calls (SAT/UNSAT): 155025(155025/0)
Jun 03, 2017 9:18:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(392/592) took 259540 ms. Total solver calls (SAT/UNSAT): 155628(155628/0)
Jun 03, 2017 9:18:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(395/592) took 260628 ms. Total solver calls (SAT/UNSAT): 156222(156222/0)
Jun 03, 2017 9:18:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(399/592) took 261917 ms. Total solver calls (SAT/UNSAT): 157000(157000/0)
Jun 03, 2017 9:18:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(403/592) took 263228 ms. Total solver calls (SAT/UNSAT): 157762(157762/0)
Jun 03, 2017 9:18:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(407/592) took 264520 ms. Total solver calls (SAT/UNSAT): 158508(158508/0)
Jun 03, 2017 9:18:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(411/592) took 265849 ms. Total solver calls (SAT/UNSAT): 159238(159238/0)
Jun 03, 2017 9:18:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(415/592) took 267144 ms. Total solver calls (SAT/UNSAT): 159952(159952/0)
Jun 03, 2017 9:18:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(419/592) took 268412 ms. Total solver calls (SAT/UNSAT): 160650(160650/0)
Jun 03, 2017 9:18:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(423/592) took 269647 ms. Total solver calls (SAT/UNSAT): 161332(161332/0)
Jun 03, 2017 9:18:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(427/592) took 270829 ms. Total solver calls (SAT/UNSAT): 161998(161998/0)
Jun 03, 2017 9:18:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(431/592) took 272007 ms. Total solver calls (SAT/UNSAT): 162648(162648/0)
Jun 03, 2017 9:19:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(435/592) took 273138 ms. Total solver calls (SAT/UNSAT): 163282(163282/0)
Jun 03, 2017 9:19:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(439/592) took 274250 ms. Total solver calls (SAT/UNSAT): 163900(163900/0)
Jun 03, 2017 9:19:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(443/592) took 275331 ms. Total solver calls (SAT/UNSAT): 164502(164502/0)
Jun 03, 2017 9:19:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(447/592) took 276388 ms. Total solver calls (SAT/UNSAT): 165088(165088/0)
Jun 03, 2017 9:19:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(452/592) took 277569 ms. Total solver calls (SAT/UNSAT): 165798(165798/0)
Jun 03, 2017 9:19:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(457/592) took 278694 ms. Total solver calls (SAT/UNSAT): 166483(166483/0)
Jun 03, 2017 9:19:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(462/592) took 279841 ms. Total solver calls (SAT/UNSAT): 167143(167143/0)
Jun 03, 2017 9:19:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(467/592) took 280972 ms. Total solver calls (SAT/UNSAT): 167778(167778/0)
Jun 03, 2017 9:19:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(472/592) took 282049 ms. Total solver calls (SAT/UNSAT): 168388(168388/0)
Jun 03, 2017 9:19:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(478/592) took 283233 ms. Total solver calls (SAT/UNSAT): 169087(169087/0)
Jun 03, 2017 9:19:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(484/592) took 284326 ms. Total solver calls (SAT/UNSAT): 169750(169750/0)
Jun 03, 2017 9:19:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(490/592) took 285366 ms. Total solver calls (SAT/UNSAT): 170377(170377/0)
Jun 03, 2017 9:19:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(497/592) took 286505 ms. Total solver calls (SAT/UNSAT): 171063(171063/0)
Jun 03, 2017 9:19:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(504/592) took 287571 ms. Total solver calls (SAT/UNSAT): 171700(171700/0)
Jun 03, 2017 9:19:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(512/592) took 288675 ms. Total solver calls (SAT/UNSAT): 172368(172368/0)
Jun 03, 2017 9:19:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(520/592) took 289701 ms. Total solver calls (SAT/UNSAT): 172972(172972/0)
Jun 03, 2017 9:19:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(529/592) took 290815 ms. Total solver calls (SAT/UNSAT): 173575(173575/0)
Jun 03, 2017 9:19:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(539/592) took 291854 ms. Total solver calls (SAT/UNSAT): 174150(174150/0)
Jun 03, 2017 9:19:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(550/592) took 292855 ms. Total solver calls (SAT/UNSAT): 174667(174667/0)
Jun 03, 2017 9:19:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(565/592) took 293873 ms. Total solver calls (SAT/UNSAT): 175177(175177/0)
Jun 03, 2017 9:19:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 294604 ms. Total solver calls (SAT/UNSAT): 175528(175528/0)
Jun 03, 2017 9:19:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 592 transitions.

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_PermAdmissibility-PT-10"
export BK_EXAMINATION="ReachabilityDeadlock"
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_PermAdmissibility-PT-10.tgz
mv S_PermAdmissibility-PT-10 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_PermAdmissibility-PT-10, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r120-blw7-149441652200431"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "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 "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.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 '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;