About the Execution of ITS-Tools for PermAdmissibility-PT-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15929.150 | 3600000.00 | 4631283.00 | 676.50 | [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 PermAdmissibility-PT-20, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-blw7-149440486700440
=====================================================================
--------------------
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-20-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1496330148321
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= 40
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= -40
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 01, 2017 3:15:49 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 3:15:49 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 122 ms
Jun 01, 2017 3:15:49 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 168 places.
Jun 01, 2017 3:15:50 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 592 transitions.
Jun 01, 2017 3:15:50 PM fr.lip6.move.gal.logic.togal.ToGalTransformer toGal
WARNING: Unknown predicate type in boolean expression fr.lip6.move.gal.logic.impl.DeadlockImpl
Jun 01, 2017 3:15:50 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property PermAdmissibility-COL-20-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
Jun 01, 2017 3:15:50 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 244 ms
Jun 01, 2017 3:15:50 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityDeadlock.pnml.gal : 32 ms
Jun 01, 2017 3:15:51 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 21 place invariants in 157 ms
Jun 01, 2017 3:15:59 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 168 variables to be positive in 8572 ms
Jun 01, 2017 3:15:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 592 transitions.
Jun 01, 2017 3:16:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/592 took 470 ms. Total solver calls (SAT/UNSAT): 136(79/57)
Jun 01, 2017 3:16:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/592 took 1885 ms. Total solver calls (SAT/UNSAT): 544(316/228)
Jun 01, 2017 3:16:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :6/592 took 3294 ms. Total solver calls (SAT/UNSAT): 952(553/399)
Jun 01, 2017 3:16:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :9/592 took 4705 ms. Total solver calls (SAT/UNSAT): 1360(790/570)
Jun 01, 2017 3:16:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/592 took 6127 ms. Total solver calls (SAT/UNSAT): 1768(1027/741)
Jun 01, 2017 3:16:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/592 took 7529 ms. Total solver calls (SAT/UNSAT): 2176(1264/912)
Jun 01, 2017 3:16:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/592 took 8898 ms. Total solver calls (SAT/UNSAT): 2584(1501/1083)
Jun 01, 2017 3:16:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :21/592 took 10322 ms. Total solver calls (SAT/UNSAT): 2992(1738/1254)
Jun 01, 2017 3:16:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/592 took 11751 ms. Total solver calls (SAT/UNSAT): 3400(1975/1425)
Jun 01, 2017 3:16:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/592 took 13169 ms. Total solver calls (SAT/UNSAT): 3808(2212/1596)
Jun 01, 2017 3:16:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/592 took 14564 ms. Total solver calls (SAT/UNSAT): 4216(2449/1767)
Jun 01, 2017 3:16:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :33/592 took 16036 ms. Total solver calls (SAT/UNSAT): 4624(2686/1938)
Jun 01, 2017 3:16:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/592 took 17456 ms. Total solver calls (SAT/UNSAT): 5032(2923/2109)
Jun 01, 2017 3:16:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/592 took 18927 ms. Total solver calls (SAT/UNSAT): 5440(3160/2280)
Jun 01, 2017 3:16:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :42/592 took 20363 ms. Total solver calls (SAT/UNSAT): 5848(3397/2451)
Jun 01, 2017 3:16:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/592 took 21372 ms. Total solver calls (SAT/UNSAT): 6120(3555/2565)
Jun 01, 2017 3:16:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 22845 ms. Total solver calls (SAT/UNSAT): 6528(3792/2736)
Jun 01, 2017 3:16:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 24257 ms. Total solver calls (SAT/UNSAT): 6936(4029/2907)
Jun 01, 2017 3:16:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 25647 ms. Total solver calls (SAT/UNSAT): 7344(4266/3078)
Jun 01, 2017 3:16:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 27028 ms. Total solver calls (SAT/UNSAT): 7752(4503/3249)
Jun 01, 2017 3:16:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 28377 ms. Total solver calls (SAT/UNSAT): 8175(4740/3435)
Jun 01, 2017 3:16:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 29634 ms. Total solver calls (SAT/UNSAT): 8628(4977/3651)
Jun 01, 2017 3:16:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 30885 ms. Total solver calls (SAT/UNSAT): 9081(5214/3867)
Jun 01, 2017 3:16:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 32143 ms. Total solver calls (SAT/UNSAT): 9534(5451/4083)
Jun 01, 2017 3:16:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 33435 ms. Total solver calls (SAT/UNSAT): 9987(5688/4299)
Jun 01, 2017 3:16:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 34845 ms. Total solver calls (SAT/UNSAT): 10440(5925/4515)
Jun 01, 2017 3:16:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 36124 ms. Total solver calls (SAT/UNSAT): 10893(6162/4731)
Jun 01, 2017 3:16:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 37449 ms. Total solver calls (SAT/UNSAT): 11346(6399/4947)
Jun 01, 2017 3:16:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 38815 ms. Total solver calls (SAT/UNSAT): 11799(6636/5163)
Jun 01, 2017 3:16:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 40071 ms. Total solver calls (SAT/UNSAT): 12252(6873/5379)
Jun 01, 2017 3:16:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 41363 ms. Total solver calls (SAT/UNSAT): 12705(7110/5595)
Jun 01, 2017 3:16:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 42621 ms. Total solver calls (SAT/UNSAT): 13158(7347/5811)
Jun 01, 2017 3:16:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 43875 ms. Total solver calls (SAT/UNSAT): 13611(7584/6027)
Jun 01, 2017 3:16:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 45221 ms. Total solver calls (SAT/UNSAT): 14064(7821/6243)
Jun 01, 2017 3:16:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 46531 ms. Total solver calls (SAT/UNSAT): 14502(8058/6444)
Jun 01, 2017 3:16:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 47860 ms. Total solver calls (SAT/UNSAT): 14925(8295/6630)
Jun 01, 2017 3:16:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 49185 ms. Total solver calls (SAT/UNSAT): 15348(8532/6816)
Jun 01, 2017 3:16:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 50430 ms. Total solver calls (SAT/UNSAT): 15801(8769/7032)
Jun 01, 2017 3:16:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 51694 ms. Total solver calls (SAT/UNSAT): 16254(9006/7248)
Jun 01, 2017 3:16:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/592 took 52925 ms. Total solver calls (SAT/UNSAT): 16707(9243/7464)
Jun 01, 2017 3:16:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/592 took 54209 ms. Total solver calls (SAT/UNSAT): 17160(9480/7680)
Jun 01, 2017 3:16:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/592 took 55500 ms. Total solver calls (SAT/UNSAT): 17613(9717/7896)
Jun 01, 2017 3:16:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/592 took 56796 ms. Total solver calls (SAT/UNSAT): 18021(9954/8067)
Jun 01, 2017 3:16:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/592 took 58077 ms. Total solver calls (SAT/UNSAT): 18429(10191/8238)
Jun 01, 2017 3:16:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/592 took 59376 ms. Total solver calls (SAT/UNSAT): 18837(10428/8409)
Jun 01, 2017 3:17:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/592 took 60667 ms. Total solver calls (SAT/UNSAT): 19245(10665/8580)
Jun 01, 2017 3:17:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 61941 ms. Total solver calls (SAT/UNSAT): 19653(10902/8751)
Jun 01, 2017 3:17:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/592 took 63235 ms. Total solver calls (SAT/UNSAT): 20061(11139/8922)
Jun 01, 2017 3:17:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 64511 ms. Total solver calls (SAT/UNSAT): 20469(11376/9093)
Jun 01, 2017 3:17:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 65783 ms. Total solver calls (SAT/UNSAT): 20877(11613/9264)
Jun 01, 2017 3:17:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/592 took 67062 ms. Total solver calls (SAT/UNSAT): 21285(11850/9435)
Jun 01, 2017 3:17:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 68337 ms. Total solver calls (SAT/UNSAT): 21693(12087/9606)
Jun 01, 2017 3:17:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 69613 ms. Total solver calls (SAT/UNSAT): 22116(12324/9792)
Jun 01, 2017 3:17:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 70875 ms. Total solver calls (SAT/UNSAT): 22569(12561/10008)
Jun 01, 2017 3:17:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/592 took 72157 ms. Total solver calls (SAT/UNSAT): 22977(12798/10179)
Jun 01, 2017 3:17:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 73417 ms. Total solver calls (SAT/UNSAT): 23400(13035/10365)
Jun 01, 2017 3:17:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 74698 ms. Total solver calls (SAT/UNSAT): 23808(13272/10536)
Jun 01, 2017 3:17:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 75981 ms. Total solver calls (SAT/UNSAT): 24216(13509/10707)
Jun 01, 2017 3:17:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/592 took 77263 ms. Total solver calls (SAT/UNSAT): 24624(13746/10878)
Jun 01, 2017 3:17:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 78533 ms. Total solver calls (SAT/UNSAT): 25032(13983/11049)
Jun 01, 2017 3:17:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/592 took 79809 ms. Total solver calls (SAT/UNSAT): 25440(14220/11220)
Jun 01, 2017 3:17:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/592 took 81091 ms. Total solver calls (SAT/UNSAT): 25848(14457/11391)
Jun 01, 2017 3:17:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/592 took 82364 ms. Total solver calls (SAT/UNSAT): 26256(14694/11562)
Jun 01, 2017 3:17:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :188/592 took 83490 ms. Total solver calls (SAT/UNSAT): 26598(14931/11667)
Jun 01, 2017 3:17:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :191/592 took 84566 ms. Total solver calls (SAT/UNSAT): 26907(15168/11739)
Jun 01, 2017 3:17:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/592 took 85588 ms. Total solver calls (SAT/UNSAT): 27216(15405/11811)
Jun 01, 2017 3:17:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/592 took 86606 ms. Total solver calls (SAT/UNSAT): 27525(15642/11883)
Jun 01, 2017 3:17:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/592 took 87617 ms. Total solver calls (SAT/UNSAT): 27834(15879/11955)
Jun 01, 2017 3:17:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :203/592 took 88629 ms. Total solver calls (SAT/UNSAT): 28143(16116/12027)
Jun 01, 2017 3:17:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :206/592 took 89645 ms. Total solver calls (SAT/UNSAT): 28452(16353/12099)
Jun 01, 2017 3:17:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/592 took 90666 ms. Total solver calls (SAT/UNSAT): 28761(16590/12171)
Jun 01, 2017 3:17:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :212/592 took 91685 ms. Total solver calls (SAT/UNSAT): 29070(16827/12243)
Jun 01, 2017 3:17:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :215/592 took 92705 ms. Total solver calls (SAT/UNSAT): 29379(17064/12315)
Jun 01, 2017 3:17:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :218/592 took 93737 ms. Total solver calls (SAT/UNSAT): 29688(17301/12387)
Jun 01, 2017 3:17:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/592 took 94762 ms. Total solver calls (SAT/UNSAT): 29997(17538/12459)
Jun 01, 2017 3:17:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :224/592 took 96075 ms. Total solver calls (SAT/UNSAT): 30405(17775/12630)
Jun 01, 2017 3:17:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :227/592 took 97381 ms. Total solver calls (SAT/UNSAT): 30780(18012/12768)
Jun 01, 2017 3:17:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :230/592 took 98441 ms. Total solver calls (SAT/UNSAT): 31089(18249/12840)
Jun 01, 2017 3:17:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :233/592 took 99457 ms. Total solver calls (SAT/UNSAT): 31398(18486/12912)
Jun 01, 2017 3:17:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 100490 ms. Total solver calls (SAT/UNSAT): 31707(18723/12984)
Jun 01, 2017 3:17:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :239/592 took 101509 ms. Total solver calls (SAT/UNSAT): 32016(18960/13056)
Jun 01, 2017 3:17:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :242/592 took 102516 ms. Total solver calls (SAT/UNSAT): 32325(19197/13128)
Jun 01, 2017 3:17:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :245/592 took 103527 ms. Total solver calls (SAT/UNSAT): 32634(19434/13200)
Jun 01, 2017 3:17:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/592 took 104544 ms. Total solver calls (SAT/UNSAT): 32943(19671/13272)
Jun 01, 2017 3:17:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :254/592 took 105569 ms. Total solver calls (SAT/UNSAT): 33273(19921/13352)
Jun 01, 2017 3:17:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/592 took 106879 ms. Total solver calls (SAT/UNSAT): 33708(20252/13456)
Jun 01, 2017 3:17:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/592 took 107971 ms. Total solver calls (SAT/UNSAT): 34038(20510/13528)
Jun 01, 2017 3:17:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :288/592 took 108981 ms. Total solver calls (SAT/UNSAT): 34399(20727/13672)
Jun 01, 2017 3:17:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :298/592 took 110016 ms. Total solver calls (SAT/UNSAT): 34794(20957/13837)
Jun 01, 2017 3:17:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/592 took 111019 ms. Total solver calls (SAT/UNSAT): 35154(21187/13967)
Jun 01, 2017 3:17:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/592 took 112451 ms. Total solver calls (SAT/UNSAT): 35691(21483/14208)
Jun 01, 2017 3:17:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/592 took 113742 ms. Total solver calls (SAT/UNSAT): 36210(21720/14490)
Jun 01, 2017 3:17:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/592 took 115021 ms. Total solver calls (SAT/UNSAT): 36729(21957/14772)
Jun 01, 2017 3:17:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :328/592 took 116023 ms. Total solver calls (SAT/UNSAT): 37082(22151/14931)
Jun 01, 2017 3:17:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/592 took 117120 ms. Total solver calls (SAT/UNSAT): 37500(22355/15145)
Jun 01, 2017 3:17:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :341/592 took 118188 ms. Total solver calls (SAT/UNSAT): 37845(22562/15283)
Jun 01, 2017 3:17:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/592 took 119215 ms. Total solver calls (SAT/UNSAT): 38212(22756/15456)
Jun 01, 2017 3:18:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/592 took 120515 ms. Total solver calls (SAT/UNSAT): 38731(22993/15738)
Jun 01, 2017 3:18:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/592 took 121802 ms. Total solver calls (SAT/UNSAT): 39250(23230/16020)
Jun 01, 2017 3:18:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/592 took 123117 ms. Total solver calls (SAT/UNSAT): 39769(23467/16302)
Jun 01, 2017 3:18:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/592 took 124405 ms. Total solver calls (SAT/UNSAT): 40288(23704/16584)
Jun 01, 2017 3:18:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/592 took 125697 ms. Total solver calls (SAT/UNSAT): 40807(23941/16866)
Jun 01, 2017 3:18:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/592 took 126993 ms. Total solver calls (SAT/UNSAT): 41326(24178/17148)
Jun 01, 2017 3:18:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/592 took 128273 ms. Total solver calls (SAT/UNSAT): 41845(24415/17430)
Jun 01, 2017 3:18:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/592 took 129552 ms. Total solver calls (SAT/UNSAT): 42364(24652/17712)
Jun 01, 2017 3:18:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/592 took 130837 ms. Total solver calls (SAT/UNSAT): 42883(24889/17994)
Jun 01, 2017 3:18:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/592 took 132101 ms. Total solver calls (SAT/UNSAT): 43402(25126/18276)
Jun 01, 2017 3:18:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/592 took 133498 ms. Total solver calls (SAT/UNSAT): 43906(25363/18543)
Jun 01, 2017 3:18:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :382/592 took 134563 ms. Total solver calls (SAT/UNSAT): 44222(25521/18701)
Jun 01, 2017 3:18:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :385/592 took 135838 ms. Total solver calls (SAT/UNSAT): 44741(25758/18983)
Jun 01, 2017 3:18:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/592 took 137332 ms. Total solver calls (SAT/UNSAT): 45230(25995/19235)
Jun 01, 2017 3:18:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/592 took 138393 ms. Total solver calls (SAT/UNSAT): 45546(26153/19393)
Jun 01, 2017 3:18:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/592 took 139464 ms. Total solver calls (SAT/UNSAT): 45862(26311/19551)
Jun 01, 2017 3:18:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/592 took 140587 ms. Total solver calls (SAT/UNSAT): 46178(26469/19709)
Jun 01, 2017 3:18:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :397/592 took 141989 ms. Total solver calls (SAT/UNSAT): 46697(26706/19991)
Jun 01, 2017 3:18:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/592 took 143360 ms. Total solver calls (SAT/UNSAT): 47216(26943/20273)
Jun 01, 2017 3:18:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/592 took 144729 ms. Total solver calls (SAT/UNSAT): 47735(27180/20555)
Jun 01, 2017 3:18:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :406/592 took 146100 ms. Total solver calls (SAT/UNSAT): 48254(27417/20837)
Jun 01, 2017 3:18:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/592 took 147442 ms. Total solver calls (SAT/UNSAT): 48773(27654/21119)
Jun 01, 2017 3:18:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/592 took 148478 ms. Total solver calls (SAT/UNSAT): 49104(27812/21292)
Jun 01, 2017 3:18:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/592 took 149617 ms. Total solver calls (SAT/UNSAT): 49420(27970/21450)
Jun 01, 2017 3:18:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/592 took 150743 ms. Total solver calls (SAT/UNSAT): 49736(28128/21608)
Jun 01, 2017 3:18:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/592 took 151893 ms. Total solver calls (SAT/UNSAT): 50052(28286/21766)
Jun 01, 2017 3:18:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 153044 ms. Total solver calls (SAT/UNSAT): 50368(28444/21924)
Jun 01, 2017 3:18:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/592 took 154159 ms. Total solver calls (SAT/UNSAT): 50684(28602/22082)
Jun 01, 2017 3:18:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/592 took 155339 ms. Total solver calls (SAT/UNSAT): 51000(28760/22240)
Jun 01, 2017 3:18:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/592 took 156426 ms. Total solver calls (SAT/UNSAT): 51316(28918/22398)
Jun 01, 2017 3:18:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/592 took 157492 ms. Total solver calls (SAT/UNSAT): 51632(29076/22556)
Jun 01, 2017 3:18:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 158588 ms. Total solver calls (SAT/UNSAT): 51948(29234/22714)
Jun 01, 2017 3:18:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 159651 ms. Total solver calls (SAT/UNSAT): 52264(29392/22872)
Jun 01, 2017 3:18:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/592 took 160789 ms. Total solver calls (SAT/UNSAT): 52580(29550/23030)
Jun 01, 2017 3:18:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/592 took 161951 ms. Total solver calls (SAT/UNSAT): 52896(29708/23188)
Jun 01, 2017 3:18:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 163072 ms. Total solver calls (SAT/UNSAT): 53212(29866/23346)
Jun 01, 2017 3:18:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/592 took 164142 ms. Total solver calls (SAT/UNSAT): 53528(30024/23504)
Jun 01, 2017 3:18:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/592 took 165227 ms. Total solver calls (SAT/UNSAT): 53844(30182/23662)
Jun 01, 2017 3:18:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 166281 ms. Total solver calls (SAT/UNSAT): 54160(30340/23820)
Jun 01, 2017 3:18:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/592 took 167404 ms. Total solver calls (SAT/UNSAT): 54476(30498/23978)
Jun 01, 2017 3:18:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/592 took 168502 ms. Total solver calls (SAT/UNSAT): 54792(30656/24136)
Jun 01, 2017 3:18:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/592 took 169812 ms. Total solver calls (SAT/UNSAT): 55311(30893/24418)
Jun 01, 2017 3:18:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/592 took 171129 ms. Total solver calls (SAT/UNSAT): 55830(31130/24700)
Jun 01, 2017 3:18:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/592 took 172429 ms. Total solver calls (SAT/UNSAT): 56349(31367/24982)
Jun 01, 2017 3:18:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/592 took 173844 ms. Total solver calls (SAT/UNSAT): 56853(31604/25249)
Jun 01, 2017 3:18:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 174893 ms. Total solver calls (SAT/UNSAT): 57169(31762/25407)
Jun 01, 2017 3:18:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/592 took 175946 ms. Total solver calls (SAT/UNSAT): 57485(31920/25565)
Jun 01, 2017 3:18:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/592 took 177012 ms. Total solver calls (SAT/UNSAT): 57801(32078/25723)
Jun 01, 2017 3:18:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 178075 ms. Total solver calls (SAT/UNSAT): 58117(32236/25881)
Jun 01, 2017 3:18:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/592 took 179133 ms. Total solver calls (SAT/UNSAT): 58433(32394/26039)
Jun 01, 2017 3:18:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/592 took 180200 ms. Total solver calls (SAT/UNSAT): 58749(32552/26197)
Jun 01, 2017 3:19:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 181269 ms. Total solver calls (SAT/UNSAT): 59065(32710/26355)
Jun 01, 2017 3:19:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/592 took 182692 ms. Total solver calls (SAT/UNSAT): 59569(32947/26622)
Jun 01, 2017 3:19:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/592 took 184021 ms. Total solver calls (SAT/UNSAT): 60088(33184/26904)
Jun 01, 2017 3:19:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/592 took 185324 ms. Total solver calls (SAT/UNSAT): 60607(33421/27186)
Jun 01, 2017 3:19:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/592 took 186636 ms. Total solver calls (SAT/UNSAT): 61126(33658/27468)
Jun 01, 2017 3:19:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/592 took 187934 ms. Total solver calls (SAT/UNSAT): 61645(33895/27750)
Jun 01, 2017 3:19:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/592 took 189236 ms. Total solver calls (SAT/UNSAT): 62164(34132/28032)
Jun 01, 2017 3:19:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/592 took 190544 ms. Total solver calls (SAT/UNSAT): 62683(34369/28314)
Jun 01, 2017 3:19:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/592 took 191845 ms. Total solver calls (SAT/UNSAT): 63202(34606/28596)
Jun 01, 2017 3:19:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/592 took 193158 ms. Total solver calls (SAT/UNSAT): 63721(34843/28878)
Jun 01, 2017 3:19:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/592 took 194487 ms. Total solver calls (SAT/UNSAT): 64240(35080/29160)
Jun 01, 2017 3:19:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/592 took 195803 ms. Total solver calls (SAT/UNSAT): 64759(35317/29442)
Jun 01, 2017 3:19:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/592 took 197100 ms. Total solver calls (SAT/UNSAT): 65278(35554/29724)
Jun 01, 2017 3:19:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/592 took 198417 ms. Total solver calls (SAT/UNSAT): 65797(35791/30006)
Jun 01, 2017 3:19:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/592 took 199728 ms. Total solver calls (SAT/UNSAT): 66316(36028/30288)
Jun 01, 2017 3:19:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/592 took 201046 ms. Total solver calls (SAT/UNSAT): 66835(36265/30570)
Jun 01, 2017 3:19:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/592 took 202385 ms. Total solver calls (SAT/UNSAT): 67354(36502/30852)
Jun 01, 2017 3:19:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/592 took 203940 ms. Total solver calls (SAT/UNSAT): 67843(36739/31104)
Jun 01, 2017 3:19:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/592 took 205048 ms. Total solver calls (SAT/UNSAT): 68159(36897/31262)
Jun 01, 2017 3:19:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/592 took 206127 ms. Total solver calls (SAT/UNSAT): 68475(37055/31420)
Jun 01, 2017 3:19:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/592 took 207221 ms. Total solver calls (SAT/UNSAT): 68791(37213/31578)
Jun 01, 2017 3:19:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/592 took 208305 ms. Total solver calls (SAT/UNSAT): 69107(37371/31736)
Jun 01, 2017 3:19:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/592 took 209691 ms. Total solver calls (SAT/UNSAT): 69611(37608/32003)
Jun 01, 2017 3:19:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/592 took 210983 ms. Total solver calls (SAT/UNSAT): 70130(37845/32285)
Jun 01, 2017 3:19:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/592 took 212052 ms. Total solver calls (SAT/UNSAT): 70446(38003/32443)
Jun 01, 2017 3:19:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/592 took 213119 ms. Total solver calls (SAT/UNSAT): 70762(38161/32601)
Jun 01, 2017 3:19:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/592 took 214189 ms. Total solver calls (SAT/UNSAT): 71078(38319/32759)
Jun 01, 2017 3:19:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/592 took 215306 ms. Total solver calls (SAT/UNSAT): 71394(38477/32917)
Jun 01, 2017 3:19:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 216380 ms. Total solver calls (SAT/UNSAT): 71710(38635/33075)
Jun 01, 2017 3:19:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/592 took 217458 ms. Total solver calls (SAT/UNSAT): 72026(38793/33233)
Jun 01, 2017 3:19:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/592 took 218517 ms. Total solver calls (SAT/UNSAT): 72342(38951/33391)
Jun 01, 2017 3:19:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/592 took 219601 ms. Total solver calls (SAT/UNSAT): 72658(39109/33549)
Jun 01, 2017 3:19:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/592 took 220694 ms. Total solver calls (SAT/UNSAT): 72974(39267/33707)
Jun 01, 2017 3:19:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/592 took 221767 ms. Total solver calls (SAT/UNSAT): 73290(39425/33865)
Jun 01, 2017 3:19:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/592 took 222863 ms. Total solver calls (SAT/UNSAT): 73606(39583/34023)
Jun 01, 2017 3:19:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/592 took 223932 ms. Total solver calls (SAT/UNSAT): 73922(39741/34181)
Jun 01, 2017 3:19:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/592 took 224995 ms. Total solver calls (SAT/UNSAT): 74238(39899/34339)
Jun 01, 2017 3:19:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/592 took 226060 ms. Total solver calls (SAT/UNSAT): 74554(40057/34497)
Jun 01, 2017 3:19:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/592 took 227139 ms. Total solver calls (SAT/UNSAT): 74870(40215/34655)
Jun 01, 2017 3:19:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/592 took 228214 ms. Total solver calls (SAT/UNSAT): 75186(40373/34813)
Jun 01, 2017 3:19:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/592 took 229351 ms. Total solver calls (SAT/UNSAT): 75502(40531/34971)
Jun 01, 2017 3:19:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/592 took 230454 ms. Total solver calls (SAT/UNSAT): 75818(40689/35129)
Jun 01, 2017 3:19:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/592 took 231563 ms. Total solver calls (SAT/UNSAT): 76134(40847/35287)
Jun 01, 2017 3:19:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/592 took 232662 ms. Total solver calls (SAT/UNSAT): 76450(41005/35445)
Jun 01, 2017 3:19:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/592 took 233802 ms. Total solver calls (SAT/UNSAT): 76766(41163/35603)
Jun 01, 2017 3:19:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/592 took 234877 ms. Total solver calls (SAT/UNSAT): 77082(41321/35761)
Jun 01, 2017 3:19:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/592 took 236030 ms. Total solver calls (SAT/UNSAT): 77398(41479/35919)
Jun 01, 2017 3:19:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/592 took 237197 ms. Total solver calls (SAT/UNSAT): 77714(41637/36077)
Jun 01, 2017 3:19:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/592 took 238334 ms. Total solver calls (SAT/UNSAT): 78030(41795/36235)
Jun 01, 2017 3:19:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/592 took 239491 ms. Total solver calls (SAT/UNSAT): 78346(41953/36393)
Jun 01, 2017 3:19:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 240086 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 01, 2017 3:19:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 592 transitions.
Jun 01, 2017 3:20:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1232 ms. Total solver calls (SAT/UNSAT): 408(216/192)
Jun 01, 2017 3:20:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 2468 ms. Total solver calls (SAT/UNSAT): 816(432/384)
Jun 01, 2017 3:20:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 3690 ms. Total solver calls (SAT/UNSAT): 1224(648/576)
Jun 01, 2017 3:20:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 5137 ms. Total solver calls (SAT/UNSAT): 1632(864/768)
Jun 01, 2017 3:20:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :13/592 took 6289 ms. Total solver calls (SAT/UNSAT): 1904(1008/896)
Jun 01, 2017 3:20:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :16/592 took 7646 ms. Total solver calls (SAT/UNSAT): 2312(1224/1088)
Jun 01, 2017 3:20:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :19/592 took 8851 ms. Total solver calls (SAT/UNSAT): 2720(1440/1280)
Jun 01, 2017 3:20:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :22/592 took 10087 ms. Total solver calls (SAT/UNSAT): 3128(1656/1472)
Jun 01, 2017 3:20:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :25/592 took 11255 ms. Total solver calls (SAT/UNSAT): 3536(1872/1664)
Jun 01, 2017 3:20:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/592 took 12458 ms. Total solver calls (SAT/UNSAT): 3944(2088/1856)
Jun 01, 2017 3:20:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :31/592 took 13630 ms. Total solver calls (SAT/UNSAT): 4352(2304/2048)
Jun 01, 2017 3:20:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :34/592 took 14811 ms. Total solver calls (SAT/UNSAT): 4760(2520/2240)
Jun 01, 2017 3:20:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :37/592 took 16015 ms. Total solver calls (SAT/UNSAT): 5168(2736/2432)
Jun 01, 2017 3:20:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/592 took 17236 ms. Total solver calls (SAT/UNSAT): 5576(2952/2624)
Jun 01, 2017 3:20:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/592 took 18456 ms. Total solver calls (SAT/UNSAT): 5984(3168/2816)
Jun 01, 2017 3:20:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :46/592 took 19642 ms. Total solver calls (SAT/UNSAT): 6392(3384/3008)
Jun 01, 2017 3:20:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :49/592 took 20807 ms. Total solver calls (SAT/UNSAT): 6800(3600/3200)
Jun 01, 2017 3:20:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/592 took 21982 ms. Total solver calls (SAT/UNSAT): 7208(3816/3392)
Jun 01, 2017 3:20:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/592 took 23175 ms. Total solver calls (SAT/UNSAT): 7616(4032/3584)
Jun 01, 2017 3:20:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :58/592 took 24374 ms. Total solver calls (SAT/UNSAT): 8024(4248/3776)
Jun 01, 2017 3:20:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :61/592 took 25516 ms. Total solver calls (SAT/UNSAT): 8477(4464/4013)
Jun 01, 2017 3:20:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/592 took 26672 ms. Total solver calls (SAT/UNSAT): 8930(4680/4250)
Jun 01, 2017 3:20:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :67/592 took 27851 ms. Total solver calls (SAT/UNSAT): 9383(4896/4487)
Jun 01, 2017 3:20:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :70/592 took 29003 ms. Total solver calls (SAT/UNSAT): 9836(5112/4724)
Jun 01, 2017 3:20:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :73/592 took 30244 ms. Total solver calls (SAT/UNSAT): 10289(5328/4961)
Jun 01, 2017 3:20:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/592 took 31511 ms. Total solver calls (SAT/UNSAT): 10742(5544/5198)
Jun 01, 2017 3:20:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :79/592 took 32703 ms. Total solver calls (SAT/UNSAT): 11195(5760/5435)
Jun 01, 2017 3:20:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :82/592 took 33890 ms. Total solver calls (SAT/UNSAT): 11648(5976/5672)
Jun 01, 2017 3:20:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :85/592 took 35061 ms. Total solver calls (SAT/UNSAT): 12101(6192/5909)
Jun 01, 2017 3:20:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/592 took 36190 ms. Total solver calls (SAT/UNSAT): 12554(6408/6146)
Jun 01, 2017 3:20:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :91/592 took 37339 ms. Total solver calls (SAT/UNSAT): 13007(6624/6383)
Jun 01, 2017 3:20:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :94/592 took 38508 ms. Total solver calls (SAT/UNSAT): 13460(6840/6620)
Jun 01, 2017 3:20:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :97/592 took 39670 ms. Total solver calls (SAT/UNSAT): 13913(7056/6857)
Jun 01, 2017 3:20:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/592 took 40831 ms. Total solver calls (SAT/UNSAT): 14366(7272/7094)
Jun 01, 2017 3:20:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :103/592 took 42026 ms. Total solver calls (SAT/UNSAT): 14789(7488/7301)
Jun 01, 2017 3:20:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :106/592 took 43247 ms. Total solver calls (SAT/UNSAT): 15197(7704/7493)
Jun 01, 2017 3:20:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :109/592 took 44519 ms. Total solver calls (SAT/UNSAT): 15650(7920/7730)
Jun 01, 2017 3:20:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/592 took 45744 ms. Total solver calls (SAT/UNSAT): 16103(8136/7967)
Jun 01, 2017 3:20:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/592 took 47010 ms. Total solver calls (SAT/UNSAT): 16556(8352/8204)
Jun 01, 2017 3:20:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :118/592 took 48244 ms. Total solver calls (SAT/UNSAT): 17009(8568/8441)
Jun 01, 2017 3:20:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :121/592 took 49396 ms. Total solver calls (SAT/UNSAT): 17462(8784/8678)
Jun 01, 2017 3:20:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/592 took 50568 ms. Total solver calls (SAT/UNSAT): 17885(9000/8885)
Jun 01, 2017 3:20:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/592 took 51738 ms. Total solver calls (SAT/UNSAT): 18293(9216/9077)
Jun 01, 2017 3:20:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/592 took 52886 ms. Total solver calls (SAT/UNSAT): 18701(9432/9269)
Jun 01, 2017 3:20:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :133/592 took 54279 ms. Total solver calls (SAT/UNSAT): 19109(9648/9461)
Jun 01, 2017 3:20:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/592 took 55364 ms. Total solver calls (SAT/UNSAT): 19381(9792/9589)
Jun 01, 2017 3:20:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 56438 ms. Total solver calls (SAT/UNSAT): 19653(9936/9717)
Jun 01, 2017 3:20:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :139/592 took 57492 ms. Total solver calls (SAT/UNSAT): 19925(10080/9845)
Jun 01, 2017 3:20:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :141/592 took 58577 ms. Total solver calls (SAT/UNSAT): 20197(10224/9973)
Jun 01, 2017 3:20:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 59651 ms. Total solver calls (SAT/UNSAT): 20469(10368/10101)
Jun 01, 2017 3:21:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 61073 ms. Total solver calls (SAT/UNSAT): 20877(10584/10293)
Jun 01, 2017 3:21:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/592 took 62160 ms. Total solver calls (SAT/UNSAT): 21149(10728/10421)
Jun 01, 2017 3:21:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/592 took 63227 ms. Total solver calls (SAT/UNSAT): 21421(10872/10549)
Jun 01, 2017 3:21:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 64312 ms. Total solver calls (SAT/UNSAT): 21693(11016/10677)
Jun 01, 2017 3:21:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :154/592 took 65380 ms. Total solver calls (SAT/UNSAT): 21965(11160/10805)
Jun 01, 2017 3:21:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/592 took 66515 ms. Total solver calls (SAT/UNSAT): 22267(11304/10963)
Jun 01, 2017 3:21:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 67674 ms. Total solver calls (SAT/UNSAT): 22569(11448/11121)
Jun 01, 2017 3:21:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :160/592 took 68755 ms. Total solver calls (SAT/UNSAT): 22841(11592/11249)
Jun 01, 2017 3:21:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/592 took 69855 ms. Total solver calls (SAT/UNSAT): 23128(11736/11392)
Jun 01, 2017 3:21:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 70936 ms. Total solver calls (SAT/UNSAT): 23400(11880/11520)
Jun 01, 2017 3:21:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :166/592 took 72008 ms. Total solver calls (SAT/UNSAT): 23672(12024/11648)
Jun 01, 2017 3:21:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/592 took 73075 ms. Total solver calls (SAT/UNSAT): 23944(12168/11776)
Jun 01, 2017 3:21:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 74141 ms. Total solver calls (SAT/UNSAT): 24216(12312/11904)
Jun 01, 2017 3:21:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/592 took 75208 ms. Total solver calls (SAT/UNSAT): 24488(12456/12032)
Jun 01, 2017 3:21:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :175/592 took 76396 ms. Total solver calls (SAT/UNSAT): 24896(12672/12224)
Jun 01, 2017 3:21:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :178/592 took 77590 ms. Total solver calls (SAT/UNSAT): 25304(12888/12416)
Jun 01, 2017 3:21:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :181/592 took 78754 ms. Total solver calls (SAT/UNSAT): 25712(13104/12608)
Jun 01, 2017 3:21:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :184/592 took 79934 ms. Total solver calls (SAT/UNSAT): 26120(13320/12800)
Jun 01, 2017 3:21:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :187/592 took 80971 ms. Total solver calls (SAT/UNSAT): 26495(13488/13007)
Jun 01, 2017 3:21:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/592 took 82203 ms. Total solver calls (SAT/UNSAT): 27010(13608/13402)
Jun 01, 2017 3:21:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/592 took 83432 ms. Total solver calls (SAT/UNSAT): 27525(13728/13797)
Jun 01, 2017 3:21:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :202/592 took 84646 ms. Total solver calls (SAT/UNSAT): 28040(13848/14192)
Jun 01, 2017 3:21:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :207/592 took 85798 ms. Total solver calls (SAT/UNSAT): 28555(13968/14587)
Jun 01, 2017 3:21:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :212/592 took 87044 ms. Total solver calls (SAT/UNSAT): 29070(14088/14982)
Jun 01, 2017 3:21:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :217/592 took 88192 ms. Total solver calls (SAT/UNSAT): 29585(14208/15377)
Jun 01, 2017 3:21:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/592 took 89514 ms. Total solver calls (SAT/UNSAT): 30133(14376/15757)
Jun 01, 2017 3:21:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/592 took 90678 ms. Total solver calls (SAT/UNSAT): 30541(14592/15949)
Jun 01, 2017 3:21:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :229/592 took 91798 ms. Total solver calls (SAT/UNSAT): 30986(14736/16250)
Jun 01, 2017 3:21:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/592 took 92982 ms. Total solver calls (SAT/UNSAT): 31501(14856/16645)
Jun 01, 2017 3:21:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :239/592 took 94157 ms. Total solver calls (SAT/UNSAT): 32016(14976/17040)
Jun 01, 2017 3:21:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :244/592 took 95358 ms. Total solver calls (SAT/UNSAT): 32531(15096/17435)
Jun 01, 2017 3:21:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :249/592 took 96551 ms. Total solver calls (SAT/UNSAT): 33046(15216/17830)
Jun 01, 2017 3:21:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :267/592 took 97570 ms. Total solver calls (SAT/UNSAT): 33541(15352/18189)
Jun 01, 2017 3:21:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/592 took 98688 ms. Total solver calls (SAT/UNSAT): 34038(15472/18566)
Jun 01, 2017 3:21:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :290/592 took 99717 ms. Total solver calls (SAT/UNSAT): 34485(15656/18829)
Jun 01, 2017 3:21:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :302/592 took 100811 ms. Total solver calls (SAT/UNSAT): 34938(15896/19042)
Jun 01, 2017 3:21:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/592 took 102152 ms. Total solver calls (SAT/UNSAT): 35518(16170/19348)
Jun 01, 2017 3:21:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/592 took 103537 ms. Total solver calls (SAT/UNSAT): 36037(16452/19585)
Jun 01, 2017 3:21:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/592 took 104872 ms. Total solver calls (SAT/UNSAT): 36556(16734/19822)
Jun 01, 2017 3:21:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/592 took 106163 ms. Total solver calls (SAT/UNSAT): 37046(17002/20044)
Jun 01, 2017 3:21:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :330/592 took 107197 ms. Total solver calls (SAT/UNSAT): 37428(17210/20218)
Jun 01, 2017 3:21:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :341/592 took 108274 ms. Total solver calls (SAT/UNSAT): 37845(17430/20415)
Jun 01, 2017 3:21:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/592 took 109644 ms. Total solver calls (SAT/UNSAT): 38385(17718/20667)
Jun 01, 2017 3:21:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/592 took 111043 ms. Total solver calls (SAT/UNSAT): 38904(18000/20904)
Jun 01, 2017 3:21:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/592 took 112441 ms. Total solver calls (SAT/UNSAT): 39423(18282/21141)
Jun 01, 2017 3:21:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/592 took 113801 ms. Total solver calls (SAT/UNSAT): 39942(18564/21378)
Jun 01, 2017 3:21:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/592 took 114803 ms. Total solver calls (SAT/UNSAT): 40288(18752/21536)
Jun 01, 2017 3:21:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/592 took 116183 ms. Total solver calls (SAT/UNSAT): 40807(19034/21773)
Jun 01, 2017 3:21:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/592 took 117534 ms. Total solver calls (SAT/UNSAT): 41326(19316/22010)
Jun 01, 2017 3:21:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/592 took 118889 ms. Total solver calls (SAT/UNSAT): 41845(19598/22247)
Jun 01, 2017 3:21:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/592 took 120241 ms. Total solver calls (SAT/UNSAT): 42364(19880/22484)
Jun 01, 2017 3:22:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/592 took 121568 ms. Total solver calls (SAT/UNSAT): 42883(20162/22721)
Jun 01, 2017 3:22:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/592 took 122902 ms. Total solver calls (SAT/UNSAT): 43402(20444/22958)
Jun 01, 2017 3:22:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/592 took 124258 ms. Total solver calls (SAT/UNSAT): 43906(20726/23180)
Jun 01, 2017 3:22:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/592 took 125570 ms. Total solver calls (SAT/UNSAT): 44395(21008/23387)
Jun 01, 2017 3:22:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/592 took 126952 ms. Total solver calls (SAT/UNSAT): 44914(21290/23624)
Jun 01, 2017 3:22:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/592 took 128271 ms. Total solver calls (SAT/UNSAT): 45388(21572/23816)
Jun 01, 2017 3:22:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/592 took 129566 ms. Total solver calls (SAT/UNSAT): 45862(21854/24008)
Jun 01, 2017 3:22:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/592 took 130888 ms. Total solver calls (SAT/UNSAT): 46351(22136/24215)
Jun 01, 2017 3:22:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/592 took 132221 ms. Total solver calls (SAT/UNSAT): 46870(22418/24452)
Jun 01, 2017 3:22:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/592 took 133565 ms. Total solver calls (SAT/UNSAT): 47389(22700/24689)
Jun 01, 2017 3:22:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/592 took 134907 ms. Total solver calls (SAT/UNSAT): 47908(22982/24926)
Jun 01, 2017 3:22:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :406/592 took 135985 ms. Total solver calls (SAT/UNSAT): 48254(23170/25084)
Jun 01, 2017 3:22:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/592 took 137327 ms. Total solver calls (SAT/UNSAT): 48773(23452/25321)
Jun 01, 2017 3:22:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/592 took 138659 ms. Total solver calls (SAT/UNSAT): 49262(23734/25528)
Jun 01, 2017 3:22:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/592 took 140016 ms. Total solver calls (SAT/UNSAT): 49736(24016/25720)
Jun 01, 2017 3:22:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :418/592 took 141340 ms. Total solver calls (SAT/UNSAT): 50210(24298/25912)
Jun 01, 2017 3:22:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/592 took 142677 ms. Total solver calls (SAT/UNSAT): 50684(24580/26104)
Jun 01, 2017 3:22:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/592 took 144002 ms. Total solver calls (SAT/UNSAT): 51158(24862/26296)
Jun 01, 2017 3:22:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/592 took 145320 ms. Total solver calls (SAT/UNSAT): 51632(25144/26488)
Jun 01, 2017 3:22:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :430/592 took 146685 ms. Total solver calls (SAT/UNSAT): 52106(25426/26680)
Jun 01, 2017 3:22:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/592 took 148054 ms. Total solver calls (SAT/UNSAT): 52580(25708/26872)
Jun 01, 2017 3:22:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/592 took 149391 ms. Total solver calls (SAT/UNSAT): 53054(25990/27064)
Jun 01, 2017 3:22:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/592 took 150713 ms. Total solver calls (SAT/UNSAT): 53528(26272/27256)
Jun 01, 2017 3:22:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/592 took 152053 ms. Total solver calls (SAT/UNSAT): 54002(26554/27448)
Jun 01, 2017 3:22:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/592 took 153404 ms. Total solver calls (SAT/UNSAT): 54476(26836/27640)
Jun 01, 2017 3:22:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/592 took 154736 ms. Total solver calls (SAT/UNSAT): 54965(27118/27847)
Jun 01, 2017 3:22:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :451/592 took 156182 ms. Total solver calls (SAT/UNSAT): 55484(27400/28084)
Jun 01, 2017 3:22:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :454/592 took 157609 ms. Total solver calls (SAT/UNSAT): 56003(27682/28321)
Jun 01, 2017 3:22:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/592 took 159006 ms. Total solver calls (SAT/UNSAT): 56522(27964/28558)
Jun 01, 2017 3:22:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/592 took 160158 ms. Total solver calls (SAT/UNSAT): 56853(28152/28701)
Jun 01, 2017 3:22:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 161179 ms. Total solver calls (SAT/UNSAT): 57169(28340/28829)
Jun 01, 2017 3:22:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/592 took 162463 ms. Total solver calls (SAT/UNSAT): 57485(28528/28957)
Jun 01, 2017 3:22:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/592 took 163665 ms. Total solver calls (SAT/UNSAT): 57801(28716/29085)
Jun 01, 2017 3:22:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 164909 ms. Total solver calls (SAT/UNSAT): 58117(28904/29213)
Jun 01, 2017 3:22:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/592 took 166112 ms. Total solver calls (SAT/UNSAT): 58433(29092/29341)
Jun 01, 2017 3:22:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/592 took 167367 ms. Total solver calls (SAT/UNSAT): 58749(29280/29469)
Jun 01, 2017 3:22:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 168609 ms. Total solver calls (SAT/UNSAT): 59065(29468/29597)
Jun 01, 2017 3:22:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :475/592 took 169780 ms. Total solver calls (SAT/UNSAT): 59396(29656/29740)
Jun 01, 2017 3:22:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/592 took 171055 ms. Total solver calls (SAT/UNSAT): 59742(29844/29898)
Jun 01, 2017 3:22:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/592 took 172325 ms. Total solver calls (SAT/UNSAT): 60088(30032/30056)
Jun 01, 2017 3:22:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/592 took 173598 ms. Total solver calls (SAT/UNSAT): 60434(30220/30214)
Jun 01, 2017 3:22:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/592 took 174877 ms. Total solver calls (SAT/UNSAT): 60780(30408/30372)
Jun 01, 2017 3:22:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/592 took 176202 ms. Total solver calls (SAT/UNSAT): 61126(30596/30530)
Jun 01, 2017 3:22:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :487/592 took 177496 ms. Total solver calls (SAT/UNSAT): 61472(30784/30688)
Jun 01, 2017 3:22:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/592 took 178807 ms. Total solver calls (SAT/UNSAT): 61818(30972/30846)
Jun 01, 2017 3:22:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/592 took 180092 ms. Total solver calls (SAT/UNSAT): 62164(31160/31004)
Jun 01, 2017 3:23:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :493/592 took 181132 ms. Total solver calls (SAT/UNSAT): 62510(31348/31162)
Jun 01, 2017 3:23:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/592 took 182527 ms. Total solver calls (SAT/UNSAT): 63029(31630/31399)
Jun 01, 2017 3:23:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/592 took 183911 ms. Total solver calls (SAT/UNSAT): 63548(31912/31636)
Jun 01, 2017 3:23:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :502/592 took 185312 ms. Total solver calls (SAT/UNSAT): 64067(32194/31873)
Jun 01, 2017 3:23:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :505/592 took 186654 ms. Total solver calls (SAT/UNSAT): 64586(32476/32110)
Jun 01, 2017 3:23:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/592 took 188042 ms. Total solver calls (SAT/UNSAT): 65105(32758/32347)
Jun 01, 2017 3:23:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/592 took 189436 ms. Total solver calls (SAT/UNSAT): 65624(33040/32584)
Jun 01, 2017 3:23:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/592 took 190442 ms. Total solver calls (SAT/UNSAT): 65970(33228/32742)
Jun 01, 2017 3:23:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/592 took 191576 ms. Total solver calls (SAT/UNSAT): 66316(33416/32900)
Jun 01, 2017 3:23:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/592 took 192951 ms. Total solver calls (SAT/UNSAT): 66835(33698/33137)
Jun 01, 2017 3:23:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/592 took 194328 ms. Total solver calls (SAT/UNSAT): 67354(33980/33374)
Jun 01, 2017 3:23:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/592 took 195700 ms. Total solver calls (SAT/UNSAT): 67843(34262/33581)
Jun 01, 2017 3:23:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/592 took 197069 ms. Total solver calls (SAT/UNSAT): 68317(34544/33773)
Jun 01, 2017 3:23:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/592 took 198506 ms. Total solver calls (SAT/UNSAT): 68791(34826/33965)
Jun 01, 2017 3:23:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/592 took 199938 ms. Total solver calls (SAT/UNSAT): 69265(35108/34157)
Jun 01, 2017 3:23:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/592 took 201326 ms. Total solver calls (SAT/UNSAT): 69784(35390/34394)
Jun 01, 2017 3:23:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/592 took 202710 ms. Total solver calls (SAT/UNSAT): 70288(35672/34616)
Jun 01, 2017 3:23:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/592 took 204144 ms. Total solver calls (SAT/UNSAT): 70762(35954/34808)
Jun 01, 2017 3:23:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/592 took 205577 ms. Total solver calls (SAT/UNSAT): 71236(36236/35000)
Jun 01, 2017 3:23:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 206978 ms. Total solver calls (SAT/UNSAT): 71710(36518/35192)
Jun 01, 2017 3:23:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/592 took 208401 ms. Total solver calls (SAT/UNSAT): 72184(36800/35384)
Jun 01, 2017 3:23:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/592 took 209807 ms. Total solver calls (SAT/UNSAT): 72658(37082/35576)
Jun 01, 2017 3:23:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/592 took 211160 ms. Total solver calls (SAT/UNSAT): 73132(37364/35768)
Jun 01, 2017 3:23:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/592 took 212550 ms. Total solver calls (SAT/UNSAT): 73606(37646/35960)
Jun 01, 2017 3:23:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/592 took 213943 ms. Total solver calls (SAT/UNSAT): 74080(37928/36152)
Jun 01, 2017 3:23:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/592 took 215350 ms. Total solver calls (SAT/UNSAT): 74554(38210/36344)
Jun 01, 2017 3:23:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/592 took 216713 ms. Total solver calls (SAT/UNSAT): 75028(38492/36536)
Jun 01, 2017 3:23:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/592 took 218078 ms. Total solver calls (SAT/UNSAT): 75502(38774/36728)
Jun 01, 2017 3:23:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/592 took 219527 ms. Total solver calls (SAT/UNSAT): 75976(39056/36920)
Jun 01, 2017 3:23:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/592 took 220907 ms. Total solver calls (SAT/UNSAT): 76450(39338/37112)
Jun 01, 2017 3:23:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/592 took 222270 ms. Total solver calls (SAT/UNSAT): 76924(39620/37304)
Jun 01, 2017 3:23:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/592 took 223623 ms. Total solver calls (SAT/UNSAT): 77398(39902/37496)
Jun 01, 2017 3:23:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/592 took 225023 ms. Total solver calls (SAT/UNSAT): 77872(40184/37688)
Jun 01, 2017 3:23:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/592 took 226473 ms. Total solver calls (SAT/UNSAT): 78346(40466/37880)
Jun 01, 2017 3:23:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 226937 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 01, 2017 3:23:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 592 transitions.
Jun 01, 2017 3:23:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/592) took 1023 ms. Total solver calls (SAT/UNSAT): 592(592/0)
Jun 01, 2017 3:23:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1/592) took 2044 ms. Total solver calls (SAT/UNSAT): 1183(1183/0)
Jun 01, 2017 3:23:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/592) took 3059 ms. Total solver calls (SAT/UNSAT): 1773(1773/0)
Jun 01, 2017 3:23:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(3/592) took 4093 ms. Total solver calls (SAT/UNSAT): 2362(2362/0)
Jun 01, 2017 3:23:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(5/592) took 6189 ms. Total solver calls (SAT/UNSAT): 3537(3537/0)
Jun 01, 2017 3:23:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(6/592) took 7202 ms. Total solver calls (SAT/UNSAT): 4123(4123/0)
Jun 01, 2017 3:23:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(7/592) took 8238 ms. Total solver calls (SAT/UNSAT): 4708(4708/0)
Jun 01, 2017 3:23:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(8/592) took 9270 ms. Total solver calls (SAT/UNSAT): 5292(5292/0)
Jun 01, 2017 3:23:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(9/592) took 10639 ms. Total solver calls (SAT/UNSAT): 5875(5875/0)
Jun 01, 2017 3:23:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(10/592) took 12063 ms. Total solver calls (SAT/UNSAT): 6457(6457/0)
Jun 01, 2017 3:24:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(11/592) took 13495 ms. Total solver calls (SAT/UNSAT): 7038(7038/0)
Jun 01, 2017 3:24:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(12/592) took 14926 ms. Total solver calls (SAT/UNSAT): 7618(7618/0)
Jun 01, 2017 3:24:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(13/592) took 16331 ms. Total solver calls (SAT/UNSAT): 8197(8197/0)
Jun 01, 2017 3:24:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(14/592) took 17735 ms. Total solver calls (SAT/UNSAT): 8775(8775/0)
Jun 01, 2017 3:24:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(15/592) took 19160 ms. Total solver calls (SAT/UNSAT): 9352(9352/0)
Jun 01, 2017 3:24:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(16/592) took 20576 ms. Total solver calls (SAT/UNSAT): 9928(9928/0)
Jun 01, 2017 3:24:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(17/592) took 21997 ms. Total solver calls (SAT/UNSAT): 10503(10503/0)
Jun 01, 2017 3:24:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(18/592) took 23119 ms. Total solver calls (SAT/UNSAT): 11077(11077/0)
Jun 01, 2017 3:24:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(19/592) took 24135 ms. Total solver calls (SAT/UNSAT): 11650(11650/0)
Jun 01, 2017 3:24:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(20/592) took 25526 ms. Total solver calls (SAT/UNSAT): 12222(12222/0)
Jun 01, 2017 3:24:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(21/592) took 26627 ms. Total solver calls (SAT/UNSAT): 12793(12793/0)
Jun 01, 2017 3:24:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(22/592) took 27681 ms. Total solver calls (SAT/UNSAT): 13363(13363/0)
Jun 01, 2017 3:24:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(23/592) took 28693 ms. Total solver calls (SAT/UNSAT): 13932(13932/0)
Jun 01, 2017 3:24:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(24/592) took 29697 ms. Total solver calls (SAT/UNSAT): 14500(14500/0)
Jun 01, 2017 3:24:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(26/592) took 31652 ms. Total solver calls (SAT/UNSAT): 15633(15633/0)
Jun 01, 2017 3:24:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(28/592) took 33533 ms. Total solver calls (SAT/UNSAT): 16762(16762/0)
Jun 01, 2017 3:24:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(30/592) took 35458 ms. Total solver calls (SAT/UNSAT): 17887(17887/0)
Jun 01, 2017 3:24:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(32/592) took 37370 ms. Total solver calls (SAT/UNSAT): 19008(19008/0)
Jun 01, 2017 3:24:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(34/592) took 39286 ms. Total solver calls (SAT/UNSAT): 20125(20125/0)
Jun 01, 2017 3:24:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(36/592) took 41172 ms. Total solver calls (SAT/UNSAT): 21238(21238/0)
Jun 01, 2017 3:24:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(38/592) took 43036 ms. Total solver calls (SAT/UNSAT): 22347(22347/0)
Jun 01, 2017 3:24:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(40/592) took 44920 ms. Total solver calls (SAT/UNSAT): 23452(23452/0)
Jun 01, 2017 3:24:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(42/592) took 46796 ms. Total solver calls (SAT/UNSAT): 24553(24553/0)
Jun 01, 2017 3:24:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(44/592) took 48688 ms. Total solver calls (SAT/UNSAT): 25650(25650/0)
Jun 01, 2017 3:24:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(46/592) took 50578 ms. Total solver calls (SAT/UNSAT): 26743(26743/0)
Jun 01, 2017 3:24:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(48/592) took 52475 ms. Total solver calls (SAT/UNSAT): 27832(27832/0)
Jun 01, 2017 3:24:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(50/592) took 54354 ms. Total solver calls (SAT/UNSAT): 28917(28917/0)
Jun 01, 2017 3:24:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(52/592) took 56181 ms. Total solver calls (SAT/UNSAT): 29998(29998/0)
Jun 01, 2017 3:24:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(54/592) took 58012 ms. Total solver calls (SAT/UNSAT): 31075(31075/0)
Jun 01, 2017 3:24:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(56/592) took 59830 ms. Total solver calls (SAT/UNSAT): 32148(32148/0)
Jun 01, 2017 3:24:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(58/592) took 61615 ms. Total solver calls (SAT/UNSAT): 33217(33217/0)
Jun 01, 2017 3:24:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(60/592) took 63417 ms. Total solver calls (SAT/UNSAT): 34282(34282/0)
Jun 01, 2017 3:24:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(62/592) took 65210 ms. Total solver calls (SAT/UNSAT): 35343(35343/0)
Jun 01, 2017 3:24:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(64/592) took 66966 ms. Total solver calls (SAT/UNSAT): 36400(36400/0)
Jun 01, 2017 3:24:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(66/592) took 68729 ms. Total solver calls (SAT/UNSAT): 37453(37453/0)
Jun 01, 2017 3:24:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(67/592) took 69793 ms. Total solver calls (SAT/UNSAT): 37978(37978/0)
Jun 01, 2017 3:24:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(68/592) took 70813 ms. Total solver calls (SAT/UNSAT): 38502(38502/0)
Jun 01, 2017 3:24:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(70/592) took 72526 ms. Total solver calls (SAT/UNSAT): 39547(39547/0)
Jun 01, 2017 3:25:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(71/592) took 73738 ms. Total solver calls (SAT/UNSAT): 40068(40068/0)
Jun 01, 2017 3:25:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(72/592) took 75009 ms. Total solver calls (SAT/UNSAT): 40588(40588/0)
Jun 01, 2017 3:25:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(73/592) took 76275 ms. Total solver calls (SAT/UNSAT): 41107(41107/0)
Jun 01, 2017 3:25:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(74/592) took 77519 ms. Total solver calls (SAT/UNSAT): 41625(41625/0)
Jun 01, 2017 3:25:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(75/592) took 78793 ms. Total solver calls (SAT/UNSAT): 42142(42142/0)
Jun 01, 2017 3:25:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(76/592) took 79899 ms. Total solver calls (SAT/UNSAT): 42658(42658/0)
Jun 01, 2017 3:25:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(78/592) took 81699 ms. Total solver calls (SAT/UNSAT): 43687(43687/0)
Jun 01, 2017 3:25:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(80/592) took 83545 ms. Total solver calls (SAT/UNSAT): 44712(44712/0)
Jun 01, 2017 3:25:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(82/592) took 85445 ms. Total solver calls (SAT/UNSAT): 45733(45733/0)
Jun 01, 2017 3:25:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(84/592) took 87386 ms. Total solver calls (SAT/UNSAT): 46750(46750/0)
Jun 01, 2017 3:25:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(86/592) took 89267 ms. Total solver calls (SAT/UNSAT): 47763(47763/0)
Jun 01, 2017 3:25:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(88/592) took 91006 ms. Total solver calls (SAT/UNSAT): 48772(48772/0)
Jun 01, 2017 3:25:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(90/592) took 92678 ms. Total solver calls (SAT/UNSAT): 49777(49777/0)
Jun 01, 2017 3:25:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(92/592) took 94338 ms. Total solver calls (SAT/UNSAT): 50778(50778/0)
Jun 01, 2017 3:25:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(94/592) took 95987 ms. Total solver calls (SAT/UNSAT): 51775(51775/0)
Jun 01, 2017 3:25:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(96/592) took 97650 ms. Total solver calls (SAT/UNSAT): 52768(52768/0)
Jun 01, 2017 3:25:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(98/592) took 99284 ms. Total solver calls (SAT/UNSAT): 53757(53757/0)
Jun 01, 2017 3:25:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(100/592) took 100923 ms. Total solver calls (SAT/UNSAT): 54742(54742/0)
Jun 01, 2017 3:25:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(102/592) took 102522 ms. Total solver calls (SAT/UNSAT): 55723(55723/0)
Jun 01, 2017 3:25:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(104/592) took 104124 ms. Total solver calls (SAT/UNSAT): 56700(56700/0)
Jun 01, 2017 3:25:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(106/592) took 105748 ms. Total solver calls (SAT/UNSAT): 57673(57673/0)
Jun 01, 2017 3:25:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(108/592) took 107391 ms. Total solver calls (SAT/UNSAT): 58642(58642/0)
Jun 01, 2017 3:25:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(110/592) took 109092 ms. Total solver calls (SAT/UNSAT): 59607(59607/0)
Jun 01, 2017 3:25:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(112/592) took 110723 ms. Total solver calls (SAT/UNSAT): 60568(60568/0)
Jun 01, 2017 3:25:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(114/592) took 112368 ms. Total solver calls (SAT/UNSAT): 61525(61525/0)
Jun 01, 2017 3:25:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(116/592) took 113983 ms. Total solver calls (SAT/UNSAT): 62478(62478/0)
Jun 01, 2017 3:25:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(118/592) took 115582 ms. Total solver calls (SAT/UNSAT): 63427(63427/0)
Jun 01, 2017 3:25:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(120/592) took 117176 ms. Total solver calls (SAT/UNSAT): 64372(64372/0)
Jun 01, 2017 3:25:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(122/592) took 118742 ms. Total solver calls (SAT/UNSAT): 65313(65313/0)
Jun 01, 2017 3:25:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(124/592) took 120424 ms. Total solver calls (SAT/UNSAT): 66250(66250/0)
Jun 01, 2017 3:25:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(126/592) took 122106 ms. Total solver calls (SAT/UNSAT): 67183(67183/0)
Jun 01, 2017 3:25:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(128/592) took 123757 ms. Total solver calls (SAT/UNSAT): 68112(68112/0)
Jun 01, 2017 3:25:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(130/592) took 125432 ms. Total solver calls (SAT/UNSAT): 69037(69037/0)
Jun 01, 2017 3:25:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(132/592) took 127076 ms. Total solver calls (SAT/UNSAT): 69958(69958/0)
Jun 01, 2017 3:25:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(134/592) took 128740 ms. Total solver calls (SAT/UNSAT): 70875(70875/0)
Jun 01, 2017 3:25:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(136/592) took 130385 ms. Total solver calls (SAT/UNSAT): 71788(71788/0)
Jun 01, 2017 3:25:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(138/592) took 132043 ms. Total solver calls (SAT/UNSAT): 72697(72697/0)
Jun 01, 2017 3:26:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(140/592) took 133649 ms. Total solver calls (SAT/UNSAT): 73602(73602/0)
Jun 01, 2017 3:26:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(142/592) took 135285 ms. Total solver calls (SAT/UNSAT): 74503(74503/0)
Jun 01, 2017 3:26:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(144/592) took 136905 ms. Total solver calls (SAT/UNSAT): 75400(75400/0)
Jun 01, 2017 3:26:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(146/592) took 138584 ms. Total solver calls (SAT/UNSAT): 76293(76293/0)
Jun 01, 2017 3:26:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(148/592) took 140178 ms. Total solver calls (SAT/UNSAT): 77182(77182/0)
Jun 01, 2017 3:26:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(150/592) took 141755 ms. Total solver calls (SAT/UNSAT): 78067(78067/0)
Jun 01, 2017 3:26:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(152/592) took 143334 ms. Total solver calls (SAT/UNSAT): 78948(78948/0)
Jun 01, 2017 3:26:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(154/592) took 145072 ms. Total solver calls (SAT/UNSAT): 79825(79825/0)
Jun 01, 2017 3:26:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(156/592) took 146684 ms. Total solver calls (SAT/UNSAT): 80698(80698/0)
Jun 01, 2017 3:26:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(158/592) took 148300 ms. Total solver calls (SAT/UNSAT): 81567(81567/0)
Jun 01, 2017 3:26:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(160/592) took 150161 ms. Total solver calls (SAT/UNSAT): 82432(82432/0)
Jun 01, 2017 3:26:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(162/592) took 151651 ms. Total solver calls (SAT/UNSAT): 83293(83293/0)
Jun 01, 2017 3:26:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(164/592) took 153163 ms. Total solver calls (SAT/UNSAT): 84150(84150/0)
Jun 01, 2017 3:26:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(166/592) took 154742 ms. Total solver calls (SAT/UNSAT): 85003(85003/0)
Jun 01, 2017 3:26:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(168/592) took 156292 ms. Total solver calls (SAT/UNSAT): 85852(85852/0)
Jun 01, 2017 3:26:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(170/592) took 157768 ms. Total solver calls (SAT/UNSAT): 86697(86697/0)
Jun 01, 2017 3:26:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(172/592) took 159258 ms. Total solver calls (SAT/UNSAT): 87538(87538/0)
Jun 01, 2017 3:26:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(174/592) took 160725 ms. Total solver calls (SAT/UNSAT): 88375(88375/0)
Jun 01, 2017 3:26:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(176/592) took 162203 ms. Total solver calls (SAT/UNSAT): 89208(89208/0)
Jun 01, 2017 3:26:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(178/592) took 163668 ms. Total solver calls (SAT/UNSAT): 90037(90037/0)
Jun 01, 2017 3:26:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(180/592) took 165135 ms. Total solver calls (SAT/UNSAT): 90862(90862/0)
Jun 01, 2017 3:26:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(182/592) took 166550 ms. Total solver calls (SAT/UNSAT): 91683(91683/0)
Jun 01, 2017 3:26:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(184/592) took 167969 ms. Total solver calls (SAT/UNSAT): 92500(92500/0)
Jun 01, 2017 3:26:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(186/592) took 169366 ms. Total solver calls (SAT/UNSAT): 93313(93313/0)
Jun 01, 2017 3:26:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(188/592) took 170708 ms. Total solver calls (SAT/UNSAT): 94122(94122/0)
Jun 01, 2017 3:26:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(190/592) took 172032 ms. Total solver calls (SAT/UNSAT): 94927(94927/0)
Jun 01, 2017 3:26:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(192/592) took 173374 ms. Total solver calls (SAT/UNSAT): 95728(95728/0)
Jun 01, 2017 3:26:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(194/592) took 174786 ms. Total solver calls (SAT/UNSAT): 96525(96525/0)
Jun 01, 2017 3:26:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(196/592) took 176110 ms. Total solver calls (SAT/UNSAT): 97318(97318/0)
Jun 01, 2017 3:26:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(198/592) took 177461 ms. Total solver calls (SAT/UNSAT): 98107(98107/0)
Jun 01, 2017 3:26:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(200/592) took 178847 ms. Total solver calls (SAT/UNSAT): 98892(98892/0)
Jun 01, 2017 3:26:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(202/592) took 180178 ms. Total solver calls (SAT/UNSAT): 99673(99673/0)
Jun 01, 2017 3:26:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(204/592) took 181477 ms. Total solver calls (SAT/UNSAT): 100450(100450/0)
Jun 01, 2017 3:26:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(206/592) took 182785 ms. Total solver calls (SAT/UNSAT): 101223(101223/0)
Jun 01, 2017 3:26:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(208/592) took 184108 ms. Total solver calls (SAT/UNSAT): 101992(101992/0)
Jun 01, 2017 3:26:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(210/592) took 185538 ms. Total solver calls (SAT/UNSAT): 102757(102757/0)
Jun 01, 2017 3:26:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(212/592) took 186850 ms. Total solver calls (SAT/UNSAT): 103518(103518/0)
Jun 01, 2017 3:26:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(214/592) took 188244 ms. Total solver calls (SAT/UNSAT): 104275(104275/0)
Jun 01, 2017 3:26:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(216/592) took 189598 ms. Total solver calls (SAT/UNSAT): 105028(105028/0)
Jun 01, 2017 3:26:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(218/592) took 190804 ms. Total solver calls (SAT/UNSAT): 105777(105777/0)
Jun 01, 2017 3:26:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(220/592) took 191981 ms. Total solver calls (SAT/UNSAT): 106522(106522/0)
Jun 01, 2017 3:27:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(222/592) took 193270 ms. Total solver calls (SAT/UNSAT): 107263(107263/0)
Jun 01, 2017 3:27:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(224/592) took 194623 ms. Total solver calls (SAT/UNSAT): 108000(108000/0)
Jun 01, 2017 3:27:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(226/592) took 195908 ms. Total solver calls (SAT/UNSAT): 108733(108733/0)
Jun 01, 2017 3:27:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(228/592) took 197127 ms. Total solver calls (SAT/UNSAT): 109462(109462/0)
Jun 01, 2017 3:27:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(230/592) took 198472 ms. Total solver calls (SAT/UNSAT): 110187(110187/0)
Jun 01, 2017 3:27:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(232/592) took 199721 ms. Total solver calls (SAT/UNSAT): 110908(110908/0)
Jun 01, 2017 3:27:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(234/592) took 200946 ms. Total solver calls (SAT/UNSAT): 111625(111625/0)
Jun 01, 2017 3:27:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(236/592) took 202115 ms. Total solver calls (SAT/UNSAT): 112338(112338/0)
Jun 01, 2017 3:27:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(238/592) took 203341 ms. Total solver calls (SAT/UNSAT): 113047(113047/0)
Jun 01, 2017 3:27:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(240/592) took 204463 ms. Total solver calls (SAT/UNSAT): 113752(113752/0)
Jun 01, 2017 3:27:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(242/592) took 205591 ms. Total solver calls (SAT/UNSAT): 114453(114453/0)
Jun 01, 2017 3:27:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(244/592) took 206712 ms. Total solver calls (SAT/UNSAT): 115150(115150/0)
Jun 01, 2017 3:27:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(246/592) took 207817 ms. Total solver calls (SAT/UNSAT): 115843(115843/0)
Jun 01, 2017 3:27:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(248/592) took 208972 ms. Total solver calls (SAT/UNSAT): 116532(116532/0)
Jun 01, 2017 3:27:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(250/592) took 210051 ms. Total solver calls (SAT/UNSAT): 117217(117217/0)
Jun 01, 2017 3:27:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(253/592) took 211456 ms. Total solver calls (SAT/UNSAT): 118237(118237/0)
Jun 01, 2017 3:27:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(256/592) took 212851 ms. Total solver calls (SAT/UNSAT): 119248(119248/0)
Jun 01, 2017 3:27:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(259/592) took 214260 ms. Total solver calls (SAT/UNSAT): 120250(120250/0)
Jun 01, 2017 3:27:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(262/592) took 215663 ms. Total solver calls (SAT/UNSAT): 121243(121243/0)
Jun 01, 2017 3:27:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(265/592) took 217148 ms. Total solver calls (SAT/UNSAT): 122227(122227/0)
Jun 01, 2017 3:27:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(268/592) took 218636 ms. Total solver calls (SAT/UNSAT): 123202(123202/0)
Jun 01, 2017 3:27:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(271/592) took 220114 ms. Total solver calls (SAT/UNSAT): 124168(124168/0)
Jun 01, 2017 3:27:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(274/592) took 221570 ms. Total solver calls (SAT/UNSAT): 125125(125125/0)
Jun 01, 2017 3:27:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(276/592) took 222576 ms. Total solver calls (SAT/UNSAT): 125758(125758/0)
Jun 01, 2017 3:27:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(279/592) took 224075 ms. Total solver calls (SAT/UNSAT): 126700(126700/0)
Jun 01, 2017 3:27:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(281/592) took 225087 ms. Total solver calls (SAT/UNSAT): 127323(127323/0)
Jun 01, 2017 3:27:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(284/592) took 226509 ms. Total solver calls (SAT/UNSAT): 128250(128250/0)
Jun 01, 2017 3:27:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(287/592) took 227948 ms. Total solver calls (SAT/UNSAT): 129168(129168/0)
Jun 01, 2017 3:27:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(290/592) took 229375 ms. Total solver calls (SAT/UNSAT): 130077(130077/0)
Jun 01, 2017 3:27:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(293/592) took 230763 ms. Total solver calls (SAT/UNSAT): 130977(130977/0)
Jun 01, 2017 3:27:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(296/592) took 232043 ms. Total solver calls (SAT/UNSAT): 131868(131868/0)
Jun 01, 2017 3:27:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(299/592) took 233458 ms. Total solver calls (SAT/UNSAT): 132750(132750/0)
Jun 01, 2017 3:27:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(302/592) took 234685 ms. Total solver calls (SAT/UNSAT): 133623(133623/0)
Jun 01, 2017 3:27:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(305/592) took 236117 ms. Total solver calls (SAT/UNSAT): 134487(134487/0)
Jun 01, 2017 3:27:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(308/592) took 237355 ms. Total solver calls (SAT/UNSAT): 135342(135342/0)
Jun 01, 2017 3:27:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(311/592) took 238678 ms. Total solver calls (SAT/UNSAT): 136188(136188/0)
Jun 01, 2017 3:27:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(314/592) took 239894 ms. Total solver calls (SAT/UNSAT): 137025(137025/0)
Jun 01, 2017 3:27:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(317/592) took 241207 ms. Total solver calls (SAT/UNSAT): 137853(137853/0)
Jun 01, 2017 3:27:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(320/592) took 242552 ms. Total solver calls (SAT/UNSAT): 138672(138672/0)
Jun 01, 2017 3:27:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(323/592) took 243877 ms. Total solver calls (SAT/UNSAT): 139482(139482/0)
Jun 01, 2017 3:27:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(325/592) took 244921 ms. Total solver calls (SAT/UNSAT): 140017(140017/0)
Jun 01, 2017 3:27:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(328/592) took 246262 ms. Total solver calls (SAT/UNSAT): 140812(140812/0)
Jun 01, 2017 3:27:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(331/592) took 247560 ms. Total solver calls (SAT/UNSAT): 141598(141598/0)
Jun 01, 2017 3:27:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(334/592) took 248908 ms. Total solver calls (SAT/UNSAT): 142375(142375/0)
Jun 01, 2017 3:27:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(337/592) took 250251 ms. Total solver calls (SAT/UNSAT): 143143(143143/0)
Jun 01, 2017 3:27:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(340/592) took 251475 ms. Total solver calls (SAT/UNSAT): 143902(143902/0)
Jun 01, 2017 3:27:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(343/592) took 252652 ms. Total solver calls (SAT/UNSAT): 144652(144652/0)
Jun 01, 2017 3:28:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(346/592) took 253913 ms. Total solver calls (SAT/UNSAT): 145393(145393/0)
Jun 01, 2017 3:28:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(349/592) took 255161 ms. Total solver calls (SAT/UNSAT): 146125(146125/0)
Jun 01, 2017 3:28:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(352/592) took 256367 ms. Total solver calls (SAT/UNSAT): 146848(146848/0)
Jun 01, 2017 3:28:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(355/592) took 257567 ms. Total solver calls (SAT/UNSAT): 147562(147562/0)
Jun 01, 2017 3:28:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(358/592) took 258747 ms. Total solver calls (SAT/UNSAT): 148267(148267/0)
Jun 01, 2017 3:28:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(361/592) took 259916 ms. Total solver calls (SAT/UNSAT): 148963(148963/0)
Jun 01, 2017 3:28:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(364/592) took 261078 ms. Total solver calls (SAT/UNSAT): 149650(149650/0)
Jun 01, 2017 3:28:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(367/592) took 262233 ms. Total solver calls (SAT/UNSAT): 150328(150328/0)
Jun 01, 2017 3:28:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(370/592) took 263357 ms. Total solver calls (SAT/UNSAT): 150997(150997/0)
Jun 01, 2017 3:28:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(373/592) took 264468 ms. Total solver calls (SAT/UNSAT): 151657(151657/0)
Jun 01, 2017 3:28:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(376/592) took 265575 ms. Total solver calls (SAT/UNSAT): 152308(152308/0)
Jun 01, 2017 3:28:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(379/592) took 266647 ms. Total solver calls (SAT/UNSAT): 152950(152950/0)
Jun 01, 2017 3:28:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(382/592) took 267833 ms. Total solver calls (SAT/UNSAT): 153583(153583/0)
Jun 01, 2017 3:28:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(385/592) took 268895 ms. Total solver calls (SAT/UNSAT): 154207(154207/0)
Jun 01, 2017 3:28:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(388/592) took 270002 ms. Total solver calls (SAT/UNSAT): 154822(154822/0)
Jun 01, 2017 3:28:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(391/592) took 271116 ms. Total solver calls (SAT/UNSAT): 155428(155428/0)
Jun 01, 2017 3:28:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(394/592) took 272246 ms. Total solver calls (SAT/UNSAT): 156025(156025/0)
Jun 01, 2017 3:28:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(397/592) took 273440 ms. Total solver calls (SAT/UNSAT): 156613(156613/0)
Jun 01, 2017 3:28:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(400/592) took 274449 ms. Total solver calls (SAT/UNSAT): 157192(157192/0)
Jun 01, 2017 3:28:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(403/592) took 275558 ms. Total solver calls (SAT/UNSAT): 157762(157762/0)
Jun 01, 2017 3:28:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(407/592) took 276841 ms. Total solver calls (SAT/UNSAT): 158508(158508/0)
Jun 01, 2017 3:28:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(410/592) took 277881 ms. Total solver calls (SAT/UNSAT): 159057(159057/0)
Jun 01, 2017 3:28:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(413/592) took 278888 ms. Total solver calls (SAT/UNSAT): 159597(159597/0)
Jun 01, 2017 3:28:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(417/592) took 280155 ms. Total solver calls (SAT/UNSAT): 160303(160303/0)
Jun 01, 2017 3:28:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(421/592) took 281398 ms. Total solver calls (SAT/UNSAT): 160993(160993/0)
Jun 01, 2017 3:28:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(425/592) took 282606 ms. Total solver calls (SAT/UNSAT): 161667(161667/0)
Jun 01, 2017 3:28:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(429/592) took 283782 ms. Total solver calls (SAT/UNSAT): 162325(162325/0)
Jun 01, 2017 3:28:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(433/592) took 284930 ms. Total solver calls (SAT/UNSAT): 162967(162967/0)
Jun 01, 2017 3:28:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(437/592) took 286104 ms. Total solver calls (SAT/UNSAT): 163593(163593/0)
Jun 01, 2017 3:28:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(441/592) took 287196 ms. Total solver calls (SAT/UNSAT): 164203(164203/0)
Jun 01, 2017 3:28:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(445/592) took 288251 ms. Total solver calls (SAT/UNSAT): 164797(164797/0)
Jun 01, 2017 3:28:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(450/592) took 289464 ms. Total solver calls (SAT/UNSAT): 165517(165517/0)
Jun 01, 2017 3:28:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(455/592) took 290668 ms. Total solver calls (SAT/UNSAT): 166212(166212/0)
Jun 01, 2017 3:28:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(460/592) took 291794 ms. Total solver calls (SAT/UNSAT): 166882(166882/0)
Jun 01, 2017 3:28:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(464/592) took 292831 ms. Total solver calls (SAT/UNSAT): 167400(167400/0)
Jun 01, 2017 3:28:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(468/592) took 293835 ms. Total solver calls (SAT/UNSAT): 167902(167902/0)
Jun 01, 2017 3:28:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(473/592) took 294907 ms. Total solver calls (SAT/UNSAT): 168507(168507/0)
Jun 01, 2017 3:28:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(479/592) took 296016 ms. Total solver calls (SAT/UNSAT): 169200(169200/0)
Jun 01, 2017 3:28:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(485/592) took 297089 ms. Total solver calls (SAT/UNSAT): 169857(169857/0)
Jun 01, 2017 3:28:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(491/592) took 298095 ms. Total solver calls (SAT/UNSAT): 170478(170478/0)
Jun 01, 2017 3:28:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(498/592) took 299211 ms. Total solver calls (SAT/UNSAT): 171157(171157/0)
Jun 01, 2017 3:28:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(505/592) took 300246 ms. Total solver calls (SAT/UNSAT): 171787(171787/0)
Jun 01, 2017 3:28:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(512/592) took 301298 ms. Total solver calls (SAT/UNSAT): 172368(172368/0)
Jun 01, 2017 3:28:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(520/592) took 302356 ms. Total solver calls (SAT/UNSAT): 172972(172972/0)
Jun 01, 2017 3:28:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(528/592) took 303377 ms. Total solver calls (SAT/UNSAT): 173512(173512/0)
Jun 01, 2017 3:28:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(538/592) took 304433 ms. Total solver calls (SAT/UNSAT): 174097(174097/0)
Jun 01, 2017 3:28:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(549/592) took 305469 ms. Total solver calls (SAT/UNSAT): 174625(174625/0)
Jun 01, 2017 3:28:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(564/592) took 306518 ms. Total solver calls (SAT/UNSAT): 175150(175150/0)
Jun 01, 2017 3:28:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 307437 ms. Total solver calls (SAT/UNSAT): 175528(175528/0)
Jun 01, 2017 3:28:54 PM 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="PermAdmissibility-PT-20"
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/PermAdmissibility-PT-20.tgz
mv PermAdmissibility-PT-20 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 PermAdmissibility-PT-20, 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 r040-blw7-149440486700440"
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 '
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 ;