Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is S_PermAdmissibility-PT-05, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r120-blw7-149441652200422
=====================================================================

--------------------
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-05-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1496477900696


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= 10
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= -10
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + 1'out4_0 + 1'out4_1 + 1'out4_7 + 1'out4_6 + 1'out4_3 + 1'out4_2 + 1'out4_5 + 1'out4_4= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_4 + 1'aux16_5 + -1'c20 + -1'out7_3 + -1'out7_2 + -1'out7_7 + -1'out7_6 + 1'out5_1 + -1'c19 + 1'out5_0 + 1'out5_5 + 1'out5_4 + 1'aux15_1 + 1'aux15_0 + 1'aux15_5 + 1'aux15_4 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -1'out3_6 + -1'out3_7 + -1'out3_2 + -1'out3_3 + 1'out1_0 + 1'out1_5 + 1'out1_1 + 1'out1_4 + -1'c12 + 1'aux12_5 + 1'aux12_4 + 1'aux12_1 + 1'aux12_0 + -2'c13 + -1'c11 + 1'aux10_0 + 1'aux10_1 + 1'aux10_4 + 1'aux10_5= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_2 + 1'aux16_3 + 1'aux16_4 + 1'aux16_5 + 1'aux16_6 + 1'aux16_7 + -1'c20 + -2'c19 + -1'aux15_2 + -1'aux15_1 + -1'aux15_0 + -1'aux15_6 + -1'aux15_5 + -1'aux15_4 + -1'aux15_3 + -1'aux15_7 + -1'c18 + 2'c16= 0
invariant : -1'aux14_0 + -1'aux14_1 + -1'aux14_2 + -1'aux14_3 + -1'aux14_4 + -1'aux14_6 + -1'aux14_5 + 1'c20 + -1'aux14_7 + 2'c19 + 1'aux15_2 + 1'aux15_1 + 1'aux15_0 + 1'aux15_6 + 1'aux15_5 + 1'aux15_4 + 1'aux15_3 + 1'aux15_7 + 1'c18 + 2'c15= 0
invariant : 1'aux8_7 + -1'c12 + 1'aux8_3 + 1'aux8_6 + 1'aux8_2 + -2'c11 + -1'aux7_7 + -1'aux7_6 + -1'c110 + -1'aux7_3 + -1'aux7_2 + 2'c8= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out5_1 + 1'out5_2 + 1'out5_0 + 1'out5_5 + 1'out5_6 + 1'out5_3 + 1'out5_4 + 1'out5_7= 0
invariant : -1'aux16_0 + -1'aux16_1 + 1'aux16_2 + 1'aux16_3 + -1'aux16_4 + -1'aux16_5 + 1'aux16_6 + 1'aux16_7 + 1'c20 + 2'out7_3 + 2'out7_2 + 2'out7_7 + 2'out7_6 + -2'out5_1 + -2'out5_0 + -2'out5_5 + -2'out5_4 + 1'aux15_2 + -1'aux15_1 + -1'aux15_0 + 1'aux15_6 + -1'aux15_5 + -1'aux15_4 + 1'aux15_3 + 1'aux15_7 + 1'c18 + 2'out3_6 + 2'out3_7 + 2'out3_2 + 2'out3_3 + -2'out1_0 + -2'out1_5 + -2'out1_1 + -2'out1_4 + -2'c12 + -2'aux12_5 + -2'aux12_4 + -2'aux12_1 + -2'aux12_0 + -2'c11 + 2'aux10_2 + 2'aux10_3 + 2'aux10_6 + 2'aux10_7= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_2 + 1'aux16_3 + 1'aux16_4 + 1'aux16_5 + 1'aux16_6 + 1'aux16_7 + -1'c20 + -2'c19 + 1'aux15_2 + 1'aux15_1 + 1'aux15_0 + 1'aux15_6 + 1'aux15_5 + 1'aux15_4 + 1'aux15_3 + -2'aux13_2 + -2'aux13_1 + -2'aux13_0 + 1'aux15_7 + -2'aux13_7 + -1'c18 + -2'aux13_3 + -2'aux13_4 + -2'aux13_5 + -2'aux13_6 + 2'aux12_6 + 2'aux12_5 + 2'aux12_4 + 2'aux12_3 + 2'aux12_2 + 2'aux12_1 + 2'aux12_0 + -4'c13 + 2'aux12_7= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out6_1 + 1'out6_2 + 1'out6_0 + 1'out6_6 + 1'out6_5 + 1'out6_4 + 1'out6_3 + 1'out6_7= 0
invariant : -1'in3_5 + -1'in3_4 + 1'in1_1 + 1'in1_0= 0
invariant : -1'aux16_0 + -1'aux16_1 + -1'aux16_2 + -1'aux16_3 + -1'aux16_4 + -1'aux16_5 + -1'aux16_6 + -1'aux16_7 + 1'c20 + 2'c19 + 2'c18 + 2'c17= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + -1'c18 + 1'out2_0 + 1'out2_7 + 1'out2_5 + 1'out2_6 + 1'out2_3 + 1'out2_4 + 1'out2_1 + 1'out2_2= 0
invariant : = 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + -1'c18 + 1'out1_0 + 1'out1_6 + 1'out1_5 + 1'out1_7 + 1'out1_2 + 1'out1_1 + 1'out1_4 + 1'out1_3= 0
invariant : 1'aux14_0 + 1'aux14_1 + 1'aux14_2 + 1'aux14_3 + 1'aux14_4 + 1'aux14_6 + 1'aux14_5 + -1'c20 + 1'aux14_7 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -4'c12 + -4'c13 + 2'aux11_5 + 2'aux11_4 + 2'aux11_3 + 2'aux11_2 + 2'aux11_1 + 2'aux11_0 + 2'aux11_7 + 2'aux11_6= 0
Exit code :137

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityDeadlock = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution ReachabilityDeadlock -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination ReachabilityDeadlock -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 03, 2017 8:18:21 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 03, 2017 8:18:22 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 106 ms
Jun 03, 2017 8:18:22 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 168 places.
Jun 03, 2017 8:18:22 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 592 transitions.
Jun 03, 2017 8:18:22 AM fr.lip6.move.gal.logic.togal.ToGalTransformer toGal
WARNING: Unknown predicate type in boolean expression fr.lip6.move.gal.logic.impl.DeadlockImpl
Jun 03, 2017 8:18:22 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property PermAdmissibility-COL-05-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
Jun 03, 2017 8:18:22 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 157 ms
Jun 03, 2017 8:18:22 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityDeadlock.pnml.gal : 37 ms
Jun 03, 2017 8:18:23 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 21 place invariants in 125 ms
Jun 03, 2017 8:18:31 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 168 variables to be positive in 8568 ms
Jun 03, 2017 8:18:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 592 transitions.
Jun 03, 2017 8:18:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/592 took 423 ms. Total solver calls (SAT/UNSAT): 136(79/57)
Jun 03, 2017 8:18:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/592 took 1712 ms. Total solver calls (SAT/UNSAT): 544(316/228)
Jun 03, 2017 8:18:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :6/592 took 3095 ms. Total solver calls (SAT/UNSAT): 952(553/399)
Jun 03, 2017 8:18:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :9/592 took 4420 ms. Total solver calls (SAT/UNSAT): 1360(790/570)
Jun 03, 2017 8:18:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/592 took 5769 ms. Total solver calls (SAT/UNSAT): 1768(1027/741)
Jun 03, 2017 8:18:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/592 took 7097 ms. Total solver calls (SAT/UNSAT): 2176(1264/912)
Jun 03, 2017 8:18:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/592 took 8458 ms. Total solver calls (SAT/UNSAT): 2584(1501/1083)
Jun 03, 2017 8:18:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :21/592 took 9816 ms. Total solver calls (SAT/UNSAT): 2992(1738/1254)
Jun 03, 2017 8:18:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/592 took 11193 ms. Total solver calls (SAT/UNSAT): 3400(1975/1425)
Jun 03, 2017 8:18:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/592 took 12545 ms. Total solver calls (SAT/UNSAT): 3808(2212/1596)
Jun 03, 2017 8:18:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/592 took 13877 ms. Total solver calls (SAT/UNSAT): 4216(2449/1767)
Jun 03, 2017 8:18:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :33/592 took 15249 ms. Total solver calls (SAT/UNSAT): 4624(2686/1938)
Jun 03, 2017 8:18:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/592 took 16587 ms. Total solver calls (SAT/UNSAT): 5032(2923/2109)
Jun 03, 2017 8:18:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/592 took 17939 ms. Total solver calls (SAT/UNSAT): 5440(3160/2280)
Jun 03, 2017 8:18:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :42/592 took 19274 ms. Total solver calls (SAT/UNSAT): 5848(3397/2451)
Jun 03, 2017 8:18:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/592 took 20611 ms. Total solver calls (SAT/UNSAT): 6256(3634/2622)
Jun 03, 2017 8:18:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 21612 ms. Total solver calls (SAT/UNSAT): 6528(3792/2736)
Jun 03, 2017 8:18:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 23013 ms. Total solver calls (SAT/UNSAT): 6936(4029/2907)
Jun 03, 2017 8:18:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 24494 ms. Total solver calls (SAT/UNSAT): 7344(4266/3078)
Jun 03, 2017 8:18:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 25819 ms. Total solver calls (SAT/UNSAT): 7752(4503/3249)
Jun 03, 2017 8:18:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 27078 ms. Total solver calls (SAT/UNSAT): 8175(4740/3435)
Jun 03, 2017 8:18:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 28279 ms. Total solver calls (SAT/UNSAT): 8628(4977/3651)
Jun 03, 2017 8:19:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 29471 ms. Total solver calls (SAT/UNSAT): 9081(5214/3867)
Jun 03, 2017 8:19:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 30685 ms. Total solver calls (SAT/UNSAT): 9534(5451/4083)
Jun 03, 2017 8:19:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 31908 ms. Total solver calls (SAT/UNSAT): 9987(5688/4299)
Jun 03, 2017 8:19:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 33127 ms. Total solver calls (SAT/UNSAT): 10440(5925/4515)
Jun 03, 2017 8:19:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 34339 ms. Total solver calls (SAT/UNSAT): 10893(6162/4731)
Jun 03, 2017 8:19:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 35553 ms. Total solver calls (SAT/UNSAT): 11346(6399/4947)
Jun 03, 2017 8:19:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 36746 ms. Total solver calls (SAT/UNSAT): 11799(6636/5163)
Jun 03, 2017 8:19:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 37947 ms. Total solver calls (SAT/UNSAT): 12252(6873/5379)
Jun 03, 2017 8:19:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 39165 ms. Total solver calls (SAT/UNSAT): 12705(7110/5595)
Jun 03, 2017 8:19:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 40346 ms. Total solver calls (SAT/UNSAT): 13158(7347/5811)
Jun 03, 2017 8:19:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 41577 ms. Total solver calls (SAT/UNSAT): 13611(7584/6027)
Jun 03, 2017 8:19:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 42786 ms. Total solver calls (SAT/UNSAT): 14064(7821/6243)
Jun 03, 2017 8:19:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 44076 ms. Total solver calls (SAT/UNSAT): 14502(8058/6444)
Jun 03, 2017 8:19:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 45350 ms. Total solver calls (SAT/UNSAT): 14925(8295/6630)
Jun 03, 2017 8:19:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 46591 ms. Total solver calls (SAT/UNSAT): 15348(8532/6816)
Jun 03, 2017 8:19:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 47791 ms. Total solver calls (SAT/UNSAT): 15801(8769/7032)
Jun 03, 2017 8:19:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 49328 ms. Total solver calls (SAT/UNSAT): 16254(9006/7248)
Jun 03, 2017 8:19:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/592 took 50480 ms. Total solver calls (SAT/UNSAT): 16556(9164/7392)
Jun 03, 2017 8:19:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :117/592 took 51676 ms. Total solver calls (SAT/UNSAT): 16858(9322/7536)
Jun 03, 2017 8:19:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/592 took 52857 ms. Total solver calls (SAT/UNSAT): 17160(9480/7680)
Jun 03, 2017 8:19:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :121/592 took 54020 ms. Total solver calls (SAT/UNSAT): 17462(9638/7824)
Jun 03, 2017 8:19:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :123/592 took 55212 ms. Total solver calls (SAT/UNSAT): 17749(9796/7953)
Jun 03, 2017 8:19:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/592 took 56412 ms. Total solver calls (SAT/UNSAT): 18021(9954/8067)
Jun 03, 2017 8:19:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/592 took 57436 ms. Total solver calls (SAT/UNSAT): 18293(10112/8181)
Jun 03, 2017 8:19:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/592 took 58617 ms. Total solver calls (SAT/UNSAT): 18701(10349/8352)
Jun 03, 2017 8:19:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :133/592 took 59864 ms. Total solver calls (SAT/UNSAT): 19109(10586/8523)
Jun 03, 2017 8:19:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/592 took 61105 ms. Total solver calls (SAT/UNSAT): 19517(10823/8694)
Jun 03, 2017 8:19:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :139/592 took 62346 ms. Total solver calls (SAT/UNSAT): 19925(11060/8865)
Jun 03, 2017 8:19:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :142/592 took 63577 ms. Total solver calls (SAT/UNSAT): 20333(11297/9036)
Jun 03, 2017 8:19:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :145/592 took 64817 ms. Total solver calls (SAT/UNSAT): 20741(11534/9207)
Jun 03, 2017 8:19:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/592 took 66049 ms. Total solver calls (SAT/UNSAT): 21149(11771/9378)
Jun 03, 2017 8:19:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :151/592 took 67244 ms. Total solver calls (SAT/UNSAT): 21557(12008/9549)
Jun 03, 2017 8:19:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :154/592 took 68747 ms. Total solver calls (SAT/UNSAT): 21965(12245/9720)
Jun 03, 2017 8:19:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/592 took 69935 ms. Total solver calls (SAT/UNSAT): 22267(12403/9864)
Jun 03, 2017 8:19:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :159/592 took 71197 ms. Total solver calls (SAT/UNSAT): 22705(12640/10065)
Jun 03, 2017 8:19:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/592 took 72402 ms. Total solver calls (SAT/UNSAT): 23128(12877/10251)
Jun 03, 2017 8:19:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :165/592 took 73642 ms. Total solver calls (SAT/UNSAT): 23536(13114/10422)
Jun 03, 2017 8:19:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/592 took 74873 ms. Total solver calls (SAT/UNSAT): 23944(13351/10593)
Jun 03, 2017 8:19:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 75909 ms. Total solver calls (SAT/UNSAT): 24216(13509/10707)
Jun 03, 2017 8:19:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/592 took 77087 ms. Total solver calls (SAT/UNSAT): 24488(13667/10821)
Jun 03, 2017 8:19:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/592 took 78286 ms. Total solver calls (SAT/UNSAT): 24760(13825/10935)
Jun 03, 2017 8:19:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 79484 ms. Total solver calls (SAT/UNSAT): 25032(13983/11049)
Jun 03, 2017 8:19:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :178/592 took 80667 ms. Total solver calls (SAT/UNSAT): 25304(14141/11163)
Jun 03, 2017 8:19:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :181/592 took 82059 ms. Total solver calls (SAT/UNSAT): 25712(14378/11334)
Jun 03, 2017 8:19:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :184/592 took 83476 ms. Total solver calls (SAT/UNSAT): 26120(14615/11505)
Jun 03, 2017 8:19:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/592 took 84661 ms. Total solver calls (SAT/UNSAT): 26392(14773/11619)
Jun 03, 2017 8:19:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/592 took 86017 ms. Total solver calls (SAT/UNSAT): 26701(15010/11691)
Jun 03, 2017 8:19:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/592 took 87370 ms. Total solver calls (SAT/UNSAT): 27010(15247/11763)
Jun 03, 2017 8:20:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/592 took 88661 ms. Total solver calls (SAT/UNSAT): 27422(15563/11859)
Jun 03, 2017 8:20:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/592 took 89880 ms. Total solver calls (SAT/UNSAT): 27834(15879/11955)
Jun 03, 2017 8:20:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/592 took 91162 ms. Total solver calls (SAT/UNSAT): 28246(16195/12051)
Jun 03, 2017 8:20:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :208/592 took 92439 ms. Total solver calls (SAT/UNSAT): 28658(16511/12147)
Jun 03, 2017 8:20:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :212/592 took 93707 ms. Total solver calls (SAT/UNSAT): 29070(16827/12243)
Jun 03, 2017 8:20:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/592 took 94987 ms. Total solver calls (SAT/UNSAT): 29482(17143/12339)
Jun 03, 2017 8:20:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/592 took 96295 ms. Total solver calls (SAT/UNSAT): 29894(17459/12435)
Jun 03, 2017 8:20:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/592 took 97412 ms. Total solver calls (SAT/UNSAT): 30269(17696/12573)
Jun 03, 2017 8:20:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/592 took 98682 ms. Total solver calls (SAT/UNSAT): 30677(17933/12744)
Jun 03, 2017 8:20:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :229/592 took 99692 ms. Total solver calls (SAT/UNSAT): 30986(18170/12816)
Jun 03, 2017 8:20:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :233/592 took 100984 ms. Total solver calls (SAT/UNSAT): 31398(18486/12912)
Jun 03, 2017 8:20:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :237/592 took 102216 ms. Total solver calls (SAT/UNSAT): 31810(18802/13008)
Jun 03, 2017 8:20:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/592 took 103459 ms. Total solver calls (SAT/UNSAT): 32222(19118/13104)
Jun 03, 2017 8:20:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :245/592 took 104690 ms. Total solver calls (SAT/UNSAT): 32634(19434/13200)
Jun 03, 2017 8:20:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :249/592 took 105943 ms. Total solver calls (SAT/UNSAT): 33046(19750/13296)
Jun 03, 2017 8:20:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :258/592 took 106954 ms. Total solver calls (SAT/UNSAT): 33397(20013/13384)
Jun 03, 2017 8:20:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :279/592 took 108252 ms. Total solver calls (SAT/UNSAT): 33832(20352/13480)
Jun 03, 2017 8:20:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/592 took 109317 ms. Total solver calls (SAT/UNSAT): 34184(20612/13572)
Jun 03, 2017 8:20:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :293/592 took 110379 ms. Total solver calls (SAT/UNSAT): 34614(20842/13772)
Jun 03, 2017 8:20:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/592 took 111451 ms. Total solver calls (SAT/UNSAT): 35010(21095/13915)
Jun 03, 2017 8:20:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/592 took 112761 ms. Total solver calls (SAT/UNSAT): 35518(21404/14114)
Jun 03, 2017 8:20:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/592 took 113996 ms. Total solver calls (SAT/UNSAT): 36037(21641/14396)
Jun 03, 2017 8:20:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/592 took 115250 ms. Total solver calls (SAT/UNSAT): 36556(21878/14678)
Jun 03, 2017 8:20:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/592 took 116455 ms. Total solver calls (SAT/UNSAT): 37046(22128/14918)
Jun 03, 2017 8:20:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/592 took 117555 ms. Total solver calls (SAT/UNSAT): 37500(22355/15145)
Jun 03, 2017 8:20:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :342/592 took 118571 ms. Total solver calls (SAT/UNSAT): 37888(22585/15303)
Jun 03, 2017 8:20:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/592 took 119769 ms. Total solver calls (SAT/UNSAT): 38385(22835/15550)
Jun 03, 2017 8:20:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/592 took 120980 ms. Total solver calls (SAT/UNSAT): 38904(23072/15832)
Jun 03, 2017 8:20:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/592 took 122237 ms. Total solver calls (SAT/UNSAT): 39423(23309/16114)
Jun 03, 2017 8:20:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/592 took 123477 ms. Total solver calls (SAT/UNSAT): 39942(23546/16396)
Jun 03, 2017 8:20:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/592 took 124731 ms. Total solver calls (SAT/UNSAT): 40461(23783/16678)
Jun 03, 2017 8:20:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/592 took 125970 ms. Total solver calls (SAT/UNSAT): 40980(24020/16960)
Jun 03, 2017 8:20:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :366/592 took 127199 ms. Total solver calls (SAT/UNSAT): 41499(24257/17242)
Jun 03, 2017 8:20:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/592 took 128399 ms. Total solver calls (SAT/UNSAT): 42018(24494/17524)
Jun 03, 2017 8:20:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/592 took 129650 ms. Total solver calls (SAT/UNSAT): 42537(24731/17806)
Jun 03, 2017 8:20:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/592 took 130926 ms. Total solver calls (SAT/UNSAT): 43056(24968/18088)
Jun 03, 2017 8:20:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/592 took 132156 ms. Total solver calls (SAT/UNSAT): 43575(25205/18370)
Jun 03, 2017 8:20:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/592 took 133617 ms. Total solver calls (SAT/UNSAT): 44064(25442/18622)
Jun 03, 2017 8:20:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/592 took 134899 ms. Total solver calls (SAT/UNSAT): 44568(25679/18889)
Jun 03, 2017 8:20:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/592 took 136219 ms. Total solver calls (SAT/UNSAT): 45072(25916/19156)
Jun 03, 2017 8:20:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/592 took 137229 ms. Total solver calls (SAT/UNSAT): 45388(26074/19314)
Jun 03, 2017 8:20:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/592 took 138697 ms. Total solver calls (SAT/UNSAT): 45862(26311/19551)
Jun 03, 2017 8:20:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/592 took 140081 ms. Total solver calls (SAT/UNSAT): 46351(26548/19803)
Jun 03, 2017 8:20:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/592 took 141263 ms. Total solver calls (SAT/UNSAT): 46870(26785/20085)
Jun 03, 2017 8:20:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/592 took 142476 ms. Total solver calls (SAT/UNSAT): 47389(27022/20367)
Jun 03, 2017 8:20:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/592 took 143658 ms. Total solver calls (SAT/UNSAT): 47908(27259/20649)
Jun 03, 2017 8:20:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/592 took 144852 ms. Total solver calls (SAT/UNSAT): 48427(27496/20931)
Jun 03, 2017 8:20:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/592 took 146091 ms. Total solver calls (SAT/UNSAT): 48946(27733/21213)
Jun 03, 2017 8:20:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/592 took 147580 ms. Total solver calls (SAT/UNSAT): 49420(27970/21450)
Jun 03, 2017 8:21:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/592 took 148650 ms. Total solver calls (SAT/UNSAT): 49736(28128/21608)
Jun 03, 2017 8:21:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/592 took 149653 ms. Total solver calls (SAT/UNSAT): 50052(28286/21766)
Jun 03, 2017 8:21:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 150835 ms. Total solver calls (SAT/UNSAT): 50368(28444/21924)
Jun 03, 2017 8:21:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/592 took 152326 ms. Total solver calls (SAT/UNSAT): 50842(28681/22161)
Jun 03, 2017 8:21:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/592 took 153338 ms. Total solver calls (SAT/UNSAT): 51158(28839/22319)
Jun 03, 2017 8:21:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/592 took 154819 ms. Total solver calls (SAT/UNSAT): 51632(29076/22556)
Jun 03, 2017 8:21:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 155840 ms. Total solver calls (SAT/UNSAT): 51948(29234/22714)
Jun 03, 2017 8:21:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 156846 ms. Total solver calls (SAT/UNSAT): 52264(29392/22872)
Jun 03, 2017 8:21:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/592 took 157885 ms. Total solver calls (SAT/UNSAT): 52580(29550/23030)
Jun 03, 2017 8:21:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/592 took 159383 ms. Total solver calls (SAT/UNSAT): 53054(29787/23267)
Jun 03, 2017 8:21:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/592 took 160411 ms. Total solver calls (SAT/UNSAT): 53370(29945/23425)
Jun 03, 2017 8:21:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/592 took 161422 ms. Total solver calls (SAT/UNSAT): 53686(30103/23583)
Jun 03, 2017 8:21:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/592 took 162565 ms. Total solver calls (SAT/UNSAT): 54002(30261/23741)
Jun 03, 2017 8:21:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/592 took 163609 ms. Total solver calls (SAT/UNSAT): 54318(30419/23899)
Jun 03, 2017 8:21:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/592 took 164690 ms. Total solver calls (SAT/UNSAT): 54634(30577/24057)
Jun 03, 2017 8:21:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/592 took 165698 ms. Total solver calls (SAT/UNSAT): 54965(30735/24230)
Jun 03, 2017 8:21:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :451/592 took 166944 ms. Total solver calls (SAT/UNSAT): 55484(30972/24512)
Jun 03, 2017 8:21:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :454/592 took 168181 ms. Total solver calls (SAT/UNSAT): 56003(31209/24794)
Jun 03, 2017 8:21:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/592 took 169404 ms. Total solver calls (SAT/UNSAT): 56522(31446/25076)
Jun 03, 2017 8:21:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/592 took 170792 ms. Total solver calls (SAT/UNSAT): 57011(31683/25328)
Jun 03, 2017 8:21:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/592 took 172316 ms. Total solver calls (SAT/UNSAT): 57485(31920/25565)
Jun 03, 2017 8:21:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/592 took 173321 ms. Total solver calls (SAT/UNSAT): 57801(32078/25723)
Jun 03, 2017 8:21:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 174328 ms. Total solver calls (SAT/UNSAT): 58117(32236/25881)
Jun 03, 2017 8:21:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/592 took 175824 ms. Total solver calls (SAT/UNSAT): 58591(32473/26118)
Jun 03, 2017 8:21:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 177374 ms. Total solver calls (SAT/UNSAT): 59065(32710/26355)
Jun 03, 2017 8:21:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/592 took 178773 ms. Total solver calls (SAT/UNSAT): 59569(32947/26622)
Jun 03, 2017 8:21:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/592 took 180004 ms. Total solver calls (SAT/UNSAT): 60088(33184/26904)
Jun 03, 2017 8:21:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/592 took 181226 ms. Total solver calls (SAT/UNSAT): 60607(33421/27186)
Jun 03, 2017 8:21:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/592 took 182466 ms. Total solver calls (SAT/UNSAT): 61126(33658/27468)
Jun 03, 2017 8:21:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/592 took 183706 ms. Total solver calls (SAT/UNSAT): 61645(33895/27750)
Jun 03, 2017 8:21:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/592 took 184921 ms. Total solver calls (SAT/UNSAT): 62164(34132/28032)
Jun 03, 2017 8:21:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/592 took 186193 ms. Total solver calls (SAT/UNSAT): 62683(34369/28314)
Jun 03, 2017 8:21:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/592 took 187357 ms. Total solver calls (SAT/UNSAT): 63029(34527/28502)
Jun 03, 2017 8:21:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/592 took 188755 ms. Total solver calls (SAT/UNSAT): 63548(34764/28784)
Jun 03, 2017 8:21:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :502/592 took 190029 ms. Total solver calls (SAT/UNSAT): 64067(35001/29066)
Jun 03, 2017 8:21:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :505/592 took 191244 ms. Total solver calls (SAT/UNSAT): 64586(35238/29348)
Jun 03, 2017 8:21:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/592 took 192466 ms. Total solver calls (SAT/UNSAT): 65105(35475/29630)
Jun 03, 2017 8:21:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/592 took 193743 ms. Total solver calls (SAT/UNSAT): 65624(35712/29912)
Jun 03, 2017 8:21:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :514/592 took 194984 ms. Total solver calls (SAT/UNSAT): 66143(35949/30194)
Jun 03, 2017 8:21:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :517/592 took 196220 ms. Total solver calls (SAT/UNSAT): 66662(36186/30476)
Jun 03, 2017 8:21:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/592 took 197477 ms. Total solver calls (SAT/UNSAT): 67181(36423/30758)
Jun 03, 2017 8:21:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/592 took 198843 ms. Total solver calls (SAT/UNSAT): 67685(36660/31025)
Jun 03, 2017 8:21:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/592 took 199868 ms. Total solver calls (SAT/UNSAT): 68001(36818/31183)
Jun 03, 2017 8:21:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/592 took 200902 ms. Total solver calls (SAT/UNSAT): 68317(36976/31341)
Jun 03, 2017 8:21:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/592 took 201923 ms. Total solver calls (SAT/UNSAT): 68633(37134/31499)
Jun 03, 2017 8:21:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/592 took 203004 ms. Total solver calls (SAT/UNSAT): 68949(37292/31657)
Jun 03, 2017 8:21:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/592 took 204014 ms. Total solver calls (SAT/UNSAT): 69265(37450/31815)
Jun 03, 2017 8:21:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/592 took 205258 ms. Total solver calls (SAT/UNSAT): 69784(37687/32097)
Jun 03, 2017 8:21:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/592 took 206577 ms. Total solver calls (SAT/UNSAT): 70288(37924/32364)
Jun 03, 2017 8:21:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/592 took 207591 ms. Total solver calls (SAT/UNSAT): 70604(38082/32522)
Jun 03, 2017 8:22:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/592 took 208663 ms. Total solver calls (SAT/UNSAT): 70920(38240/32680)
Jun 03, 2017 8:22:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/592 took 210225 ms. Total solver calls (SAT/UNSAT): 71394(38477/32917)
Jun 03, 2017 8:22:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 211236 ms. Total solver calls (SAT/UNSAT): 71710(38635/33075)
Jun 03, 2017 8:22:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/592 took 212270 ms. Total solver calls (SAT/UNSAT): 72026(38793/33233)
Jun 03, 2017 8:22:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/592 took 213753 ms. Total solver calls (SAT/UNSAT): 72500(39030/33470)
Jun 03, 2017 8:22:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/592 took 214786 ms. Total solver calls (SAT/UNSAT): 72816(39188/33628)
Jun 03, 2017 8:22:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/592 took 215837 ms. Total solver calls (SAT/UNSAT): 73132(39346/33786)
Jun 03, 2017 8:22:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/592 took 217368 ms. Total solver calls (SAT/UNSAT): 73606(39583/34023)
Jun 03, 2017 8:22:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/592 took 218414 ms. Total solver calls (SAT/UNSAT): 73922(39741/34181)
Jun 03, 2017 8:22:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/592 took 219426 ms. Total solver calls (SAT/UNSAT): 74238(39899/34339)
Jun 03, 2017 8:22:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/592 took 220455 ms. Total solver calls (SAT/UNSAT): 74554(40057/34497)
Jun 03, 2017 8:22:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/592 took 221472 ms. Total solver calls (SAT/UNSAT): 74870(40215/34655)
Jun 03, 2017 8:22:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/592 took 222481 ms. Total solver calls (SAT/UNSAT): 75186(40373/34813)
Jun 03, 2017 8:22:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/592 took 223511 ms. Total solver calls (SAT/UNSAT): 75502(40531/34971)
Jun 03, 2017 8:22:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/592 took 224546 ms. Total solver calls (SAT/UNSAT): 75818(40689/35129)
Jun 03, 2017 8:22:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/592 took 225572 ms. Total solver calls (SAT/UNSAT): 76134(40847/35287)
Jun 03, 2017 8:22:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/592 took 226579 ms. Total solver calls (SAT/UNSAT): 76450(41005/35445)
Jun 03, 2017 8:22:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/592 took 227619 ms. Total solver calls (SAT/UNSAT): 76766(41163/35603)
Jun 03, 2017 8:22:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/592 took 228657 ms. Total solver calls (SAT/UNSAT): 77082(41321/35761)
Jun 03, 2017 8:22:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/592 took 229707 ms. Total solver calls (SAT/UNSAT): 77398(41479/35919)
Jun 03, 2017 8:22:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/592 took 230868 ms. Total solver calls (SAT/UNSAT): 77714(41637/36077)
Jun 03, 2017 8:22:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/592 took 231971 ms. Total solver calls (SAT/UNSAT): 78030(41795/36235)
Jun 03, 2017 8:22:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/592 took 232987 ms. Total solver calls (SAT/UNSAT): 78346(41953/36393)
Jun 03, 2017 8:22:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 233507 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 03, 2017 8:22:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 592 transitions.
Jun 03, 2017 8:22:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1130 ms. Total solver calls (SAT/UNSAT): 408(216/192)
Jun 03, 2017 8:22:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 2215 ms. Total solver calls (SAT/UNSAT): 816(432/384)
Jun 03, 2017 8:22:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 3308 ms. Total solver calls (SAT/UNSAT): 1224(648/576)
Jun 03, 2017 8:22:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 4396 ms. Total solver calls (SAT/UNSAT): 1632(864/768)
Jun 03, 2017 8:22:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/592 took 5512 ms. Total solver calls (SAT/UNSAT): 2040(1080/960)
Jun 03, 2017 8:22:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 6616 ms. Total solver calls (SAT/UNSAT): 2448(1296/1152)
Jun 03, 2017 8:22:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/592 took 7689 ms. Total solver calls (SAT/UNSAT): 2856(1512/1344)
Jun 03, 2017 8:22:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/592 took 8797 ms. Total solver calls (SAT/UNSAT): 3264(1728/1536)
Jun 03, 2017 8:22:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/592 took 9880 ms. Total solver calls (SAT/UNSAT): 3672(1944/1728)
Jun 03, 2017 8:22:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/592 took 10962 ms. Total solver calls (SAT/UNSAT): 4080(2160/1920)
Jun 03, 2017 8:22:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/592 took 12079 ms. Total solver calls (SAT/UNSAT): 4488(2376/2112)
Jun 03, 2017 8:22:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/592 took 13155 ms. Total solver calls (SAT/UNSAT): 4896(2592/2304)
Jun 03, 2017 8:22:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/592 took 14228 ms. Total solver calls (SAT/UNSAT): 5304(2808/2496)
Jun 03, 2017 8:22:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/592 took 15273 ms. Total solver calls (SAT/UNSAT): 5712(3024/2688)
Jun 03, 2017 8:22:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/592 took 16338 ms. Total solver calls (SAT/UNSAT): 6120(3240/2880)
Jun 03, 2017 8:22:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 17442 ms. Total solver calls (SAT/UNSAT): 6528(3456/3072)
Jun 03, 2017 8:22:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 18572 ms. Total solver calls (SAT/UNSAT): 6936(3672/3264)
Jun 03, 2017 8:22:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 19633 ms. Total solver calls (SAT/UNSAT): 7344(3888/3456)
Jun 03, 2017 8:22:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 20776 ms. Total solver calls (SAT/UNSAT): 7752(4104/3648)
Jun 03, 2017 8:22:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 21847 ms. Total solver calls (SAT/UNSAT): 8175(4320/3855)
Jun 03, 2017 8:22:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 22904 ms. Total solver calls (SAT/UNSAT): 8628(4536/4092)
Jun 03, 2017 8:22:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 23942 ms. Total solver calls (SAT/UNSAT): 9081(4752/4329)
Jun 03, 2017 8:22:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 25036 ms. Total solver calls (SAT/UNSAT): 9534(4968/4566)
Jun 03, 2017 8:22:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 26152 ms. Total solver calls (SAT/UNSAT): 9987(5184/4803)
Jun 03, 2017 8:22:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 27275 ms. Total solver calls (SAT/UNSAT): 10440(5400/5040)
Jun 03, 2017 8:22:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 28415 ms. Total solver calls (SAT/UNSAT): 10893(5616/5277)
Jun 03, 2017 8:22:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 29568 ms. Total solver calls (SAT/UNSAT): 11346(5832/5514)
Jun 03, 2017 8:22:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 30706 ms. Total solver calls (SAT/UNSAT): 11799(6048/5751)
Jun 03, 2017 8:22:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 31844 ms. Total solver calls (SAT/UNSAT): 12252(6264/5988)
Jun 03, 2017 8:22:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 32886 ms. Total solver calls (SAT/UNSAT): 12705(6480/6225)
Jun 03, 2017 8:22:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 33919 ms. Total solver calls (SAT/UNSAT): 13158(6696/6462)
Jun 03, 2017 8:23:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 35011 ms. Total solver calls (SAT/UNSAT): 13611(6912/6699)
Jun 03, 2017 8:23:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 36048 ms. Total solver calls (SAT/UNSAT): 14064(7128/6936)
Jun 03, 2017 8:23:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 37116 ms. Total solver calls (SAT/UNSAT): 14502(7344/7158)
Jun 03, 2017 8:23:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 38160 ms. Total solver calls (SAT/UNSAT): 14925(7560/7365)
Jun 03, 2017 8:23:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 39246 ms. Total solver calls (SAT/UNSAT): 15348(7776/7572)
Jun 03, 2017 8:23:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 40365 ms. Total solver calls (SAT/UNSAT): 15801(7992/7809)
Jun 03, 2017 8:23:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 41504 ms. Total solver calls (SAT/UNSAT): 16254(8208/8046)
Jun 03, 2017 8:23:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/592 took 42603 ms. Total solver calls (SAT/UNSAT): 16707(8424/8283)
Jun 03, 2017 8:23:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/592 took 43729 ms. Total solver calls (SAT/UNSAT): 17160(8640/8520)
Jun 03, 2017 8:23:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/592 took 44824 ms. Total solver calls (SAT/UNSAT): 17613(8856/8757)
Jun 03, 2017 8:23:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/592 took 45874 ms. Total solver calls (SAT/UNSAT): 18021(9072/8949)
Jun 03, 2017 8:23:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/592 took 46939 ms. Total solver calls (SAT/UNSAT): 18429(9288/9141)
Jun 03, 2017 8:23:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/592 took 47979 ms. Total solver calls (SAT/UNSAT): 18837(9504/9333)
Jun 03, 2017 8:23:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/592 took 49027 ms. Total solver calls (SAT/UNSAT): 19245(9720/9525)
Jun 03, 2017 8:23:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 50080 ms. Total solver calls (SAT/UNSAT): 19653(9936/9717)
Jun 03, 2017 8:23:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/592 took 51149 ms. Total solver calls (SAT/UNSAT): 20061(10152/9909)
Jun 03, 2017 8:23:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 52212 ms. Total solver calls (SAT/UNSAT): 20469(10368/10101)
Jun 03, 2017 8:23:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 53265 ms. Total solver calls (SAT/UNSAT): 20877(10584/10293)
Jun 03, 2017 8:23:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/592 took 54322 ms. Total solver calls (SAT/UNSAT): 21285(10800/10485)
Jun 03, 2017 8:23:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 55325 ms. Total solver calls (SAT/UNSAT): 21693(11016/10677)
Jun 03, 2017 8:23:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 56380 ms. Total solver calls (SAT/UNSAT): 22116(11232/10884)
Jun 03, 2017 8:23:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 57492 ms. Total solver calls (SAT/UNSAT): 22569(11448/11121)
Jun 03, 2017 8:23:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/592 took 58563 ms. Total solver calls (SAT/UNSAT): 22977(11664/11313)
Jun 03, 2017 8:23:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 59668 ms. Total solver calls (SAT/UNSAT): 23400(11880/11520)
Jun 03, 2017 8:23:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 60752 ms. Total solver calls (SAT/UNSAT): 23808(12096/11712)
Jun 03, 2017 8:23:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 61825 ms. Total solver calls (SAT/UNSAT): 24216(12312/11904)
Jun 03, 2017 8:23:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/592 took 62910 ms. Total solver calls (SAT/UNSAT): 24624(12528/12096)
Jun 03, 2017 8:23:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 63970 ms. Total solver calls (SAT/UNSAT): 25032(12744/12288)
Jun 03, 2017 8:23:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/592 took 65009 ms. Total solver calls (SAT/UNSAT): 25440(12960/12480)
Jun 03, 2017 8:23:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/592 took 66079 ms. Total solver calls (SAT/UNSAT): 25848(13176/12672)
Jun 03, 2017 8:23:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/592 took 67143 ms. Total solver calls (SAT/UNSAT): 26256(13392/12864)
Jun 03, 2017 8:23:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :190/592 took 68384 ms. Total solver calls (SAT/UNSAT): 26804(13560/13244)
Jun 03, 2017 8:23:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/592 took 69491 ms. Total solver calls (SAT/UNSAT): 27319(13680/13639)
Jun 03, 2017 8:23:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/592 took 70590 ms. Total solver calls (SAT/UNSAT): 27834(13800/14034)
Jun 03, 2017 8:23:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :205/592 took 71667 ms. Total solver calls (SAT/UNSAT): 28349(13920/14429)
Jun 03, 2017 8:23:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/592 took 72745 ms. Total solver calls (SAT/UNSAT): 28864(14040/14824)
Jun 03, 2017 8:23:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :215/592 took 73816 ms. Total solver calls (SAT/UNSAT): 29379(14160/15219)
Jun 03, 2017 8:23:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/592 took 74908 ms. Total solver calls (SAT/UNSAT): 29894(14280/15614)
Jun 03, 2017 8:23:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/592 took 76195 ms. Total solver calls (SAT/UNSAT): 30269(14448/15821)
Jun 03, 2017 8:23:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/592 took 77427 ms. Total solver calls (SAT/UNSAT): 30677(14664/16013)
Jun 03, 2017 8:23:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 78509 ms. Total solver calls (SAT/UNSAT): 31192(14784/16408)
Jun 03, 2017 8:23:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 79612 ms. Total solver calls (SAT/UNSAT): 31707(14904/16803)
Jun 03, 2017 8:23:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/592 took 80705 ms. Total solver calls (SAT/UNSAT): 32222(15024/17198)
Jun 03, 2017 8:23:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 81784 ms. Total solver calls (SAT/UNSAT): 32737(15144/17593)
Jun 03, 2017 8:23:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :253/592 took 82832 ms. Total solver calls (SAT/UNSAT): 33242(15264/17978)
Jun 03, 2017 8:23:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :279/592 took 83988 ms. Total solver calls (SAT/UNSAT): 33832(15424/18408)
Jun 03, 2017 8:23:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :287/592 took 85067 ms. Total solver calls (SAT/UNSAT): 34356(15596/18760)
Jun 03, 2017 8:23:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :299/592 took 86114 ms. Total solver calls (SAT/UNSAT): 34830(15836/18994)
Jun 03, 2017 8:23:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :313/592 took 87161 ms. Total solver calls (SAT/UNSAT): 35314(16068/19246)
Jun 03, 2017 8:23:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :317/592 took 88497 ms. Total solver calls (SAT/UNSAT): 35864(16358/19506)
Jun 03, 2017 8:23:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :320/592 took 89806 ms. Total solver calls (SAT/UNSAT): 36383(16640/19743)
Jun 03, 2017 8:23:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/592 took 90807 ms. Total solver calls (SAT/UNSAT): 36801(16868/19933)
Jun 03, 2017 8:23:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/592 took 91913 ms. Total solver calls (SAT/UNSAT): 37255(17116/20139)
Jun 03, 2017 8:23:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/592 took 92941 ms. Total solver calls (SAT/UNSAT): 37680(17350/20330)
Jun 03, 2017 8:23:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/592 took 94132 ms. Total solver calls (SAT/UNSAT): 38212(17624/20588)
Jun 03, 2017 8:24:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/592 took 95530 ms. Total solver calls (SAT/UNSAT): 38731(17906/20825)
Jun 03, 2017 8:24:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/592 took 96807 ms. Total solver calls (SAT/UNSAT): 39250(18188/21062)
Jun 03, 2017 8:24:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/592 took 98068 ms. Total solver calls (SAT/UNSAT): 39769(18470/21299)
Jun 03, 2017 8:24:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/592 took 99325 ms. Total solver calls (SAT/UNSAT): 40288(18752/21536)
Jun 03, 2017 8:24:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/592 took 100610 ms. Total solver calls (SAT/UNSAT): 40807(19034/21773)
Jun 03, 2017 8:24:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/592 took 101868 ms. Total solver calls (SAT/UNSAT): 41326(19316/22010)
Jun 03, 2017 8:24:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/592 took 103153 ms. Total solver calls (SAT/UNSAT): 41845(19598/22247)
Jun 03, 2017 8:24:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/592 took 104416 ms. Total solver calls (SAT/UNSAT): 42364(19880/22484)
Jun 03, 2017 8:24:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/592 took 105673 ms. Total solver calls (SAT/UNSAT): 42883(20162/22721)
Jun 03, 2017 8:24:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/592 took 106935 ms. Total solver calls (SAT/UNSAT): 43402(20444/22958)
Jun 03, 2017 8:24:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/592 took 108198 ms. Total solver calls (SAT/UNSAT): 43906(20726/23180)
Jun 03, 2017 8:24:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/592 took 109424 ms. Total solver calls (SAT/UNSAT): 44395(21008/23387)
Jun 03, 2017 8:24:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/592 took 110723 ms. Total solver calls (SAT/UNSAT): 44914(21290/23624)
Jun 03, 2017 8:24:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/592 took 111962 ms. Total solver calls (SAT/UNSAT): 45388(21572/23816)
Jun 03, 2017 8:24:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/592 took 113172 ms. Total solver calls (SAT/UNSAT): 45862(21854/24008)
Jun 03, 2017 8:24:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/592 took 114418 ms. Total solver calls (SAT/UNSAT): 46351(22136/24215)
Jun 03, 2017 8:24:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/592 took 115698 ms. Total solver calls (SAT/UNSAT): 46870(22418/24452)
Jun 03, 2017 8:24:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/592 took 116972 ms. Total solver calls (SAT/UNSAT): 47389(22700/24689)
Jun 03, 2017 8:24:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/592 took 118250 ms. Total solver calls (SAT/UNSAT): 47908(22982/24926)
Jun 03, 2017 8:24:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/592 took 119524 ms. Total solver calls (SAT/UNSAT): 48427(23264/25163)
Jun 03, 2017 8:24:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/592 took 120795 ms. Total solver calls (SAT/UNSAT): 48946(23546/25400)
Jun 03, 2017 8:24:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/592 took 122030 ms. Total solver calls (SAT/UNSAT): 49420(23828/25592)
Jun 03, 2017 8:24:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/592 took 123276 ms. Total solver calls (SAT/UNSAT): 49894(24110/25784)
Jun 03, 2017 8:24:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 124527 ms. Total solver calls (SAT/UNSAT): 50368(24392/25976)
Jun 03, 2017 8:24:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/592 took 125760 ms. Total solver calls (SAT/UNSAT): 50842(24674/26168)
Jun 03, 2017 8:24:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/592 took 126983 ms. Total solver calls (SAT/UNSAT): 51316(24956/26360)
Jun 03, 2017 8:24:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/592 took 128282 ms. Total solver calls (SAT/UNSAT): 51790(25238/26552)
Jun 03, 2017 8:24:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 129502 ms. Total solver calls (SAT/UNSAT): 52264(25520/26744)
Jun 03, 2017 8:24:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/592 took 130738 ms. Total solver calls (SAT/UNSAT): 52738(25802/26936)
Jun 03, 2017 8:24:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 131971 ms. Total solver calls (SAT/UNSAT): 53212(26084/27128)
Jun 03, 2017 8:24:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/592 took 133278 ms. Total solver calls (SAT/UNSAT): 53686(26366/27320)
Jun 03, 2017 8:24:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 134529 ms. Total solver calls (SAT/UNSAT): 54160(26648/27512)
Jun 03, 2017 8:24:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/592 took 135947 ms. Total solver calls (SAT/UNSAT): 54634(26930/27704)
Jun 03, 2017 8:24:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/592 took 137166 ms. Total solver calls (SAT/UNSAT): 55138(27212/27926)
Jun 03, 2017 8:24:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/592 took 138388 ms. Total solver calls (SAT/UNSAT): 55657(27494/28163)
Jun 03, 2017 8:24:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/592 took 139616 ms. Total solver calls (SAT/UNSAT): 56176(27776/28400)
Jun 03, 2017 8:24:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/592 took 140877 ms. Total solver calls (SAT/UNSAT): 56695(28058/28637)
Jun 03, 2017 8:24:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/592 took 142007 ms. Total solver calls (SAT/UNSAT): 57011(28246/28765)
Jun 03, 2017 8:24:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/592 took 143411 ms. Total solver calls (SAT/UNSAT): 57485(28528/28957)
Jun 03, 2017 8:24:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :466/592 took 144621 ms. Total solver calls (SAT/UNSAT): 57959(28810/29149)
Jun 03, 2017 8:24:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/592 took 145810 ms. Total solver calls (SAT/UNSAT): 58433(29092/29341)
Jun 03, 2017 8:24:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/592 took 147032 ms. Total solver calls (SAT/UNSAT): 58907(29374/29533)
Jun 03, 2017 8:24:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :475/592 took 148251 ms. Total solver calls (SAT/UNSAT): 59396(29656/29740)
Jun 03, 2017 8:24:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :478/592 took 149577 ms. Total solver calls (SAT/UNSAT): 59915(29938/29977)
Jun 03, 2017 8:24:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/592 took 150842 ms. Total solver calls (SAT/UNSAT): 60434(30220/30214)
Jun 03, 2017 8:24:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/592 took 152091 ms. Total solver calls (SAT/UNSAT): 60953(30502/30451)
Jun 03, 2017 8:24:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :487/592 took 153503 ms. Total solver calls (SAT/UNSAT): 61472(30784/30688)
Jun 03, 2017 8:24:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/592 took 154539 ms. Total solver calls (SAT/UNSAT): 61818(30972/30846)
Jun 03, 2017 8:25:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/592 took 155875 ms. Total solver calls (SAT/UNSAT): 62337(31254/31083)
Jun 03, 2017 8:25:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/592 took 157144 ms. Total solver calls (SAT/UNSAT): 62856(31536/31320)
Jun 03, 2017 8:25:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/592 took 158401 ms. Total solver calls (SAT/UNSAT): 63375(31818/31557)
Jun 03, 2017 8:25:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/592 took 159661 ms. Total solver calls (SAT/UNSAT): 63894(32100/31794)
Jun 03, 2017 8:25:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/592 took 160930 ms. Total solver calls (SAT/UNSAT): 64413(32382/32031)
Jun 03, 2017 8:25:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/592 took 162179 ms. Total solver calls (SAT/UNSAT): 64932(32664/32268)
Jun 03, 2017 8:25:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/592 took 163424 ms. Total solver calls (SAT/UNSAT): 65451(32946/32505)
Jun 03, 2017 8:25:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/592 took 164655 ms. Total solver calls (SAT/UNSAT): 65970(33228/32742)
Jun 03, 2017 8:25:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/592 took 165898 ms. Total solver calls (SAT/UNSAT): 66489(33510/32979)
Jun 03, 2017 8:25:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/592 took 167223 ms. Total solver calls (SAT/UNSAT): 67008(33792/33216)
Jun 03, 2017 8:25:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/592 took 168482 ms. Total solver calls (SAT/UNSAT): 67527(34074/33453)
Jun 03, 2017 8:25:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/592 took 169763 ms. Total solver calls (SAT/UNSAT): 68001(34356/33645)
Jun 03, 2017 8:25:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/592 took 171000 ms. Total solver calls (SAT/UNSAT): 68475(34638/33837)
Jun 03, 2017 8:25:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/592 took 172268 ms. Total solver calls (SAT/UNSAT): 68949(34920/34029)
Jun 03, 2017 8:25:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/592 took 173539 ms. Total solver calls (SAT/UNSAT): 69438(35202/34236)
Jun 03, 2017 8:25:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :537/592 took 174743 ms. Total solver calls (SAT/UNSAT): 69957(35484/34473)
Jun 03, 2017 8:25:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/592 took 175987 ms. Total solver calls (SAT/UNSAT): 70446(35766/34680)
Jun 03, 2017 8:25:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/592 took 177224 ms. Total solver calls (SAT/UNSAT): 70920(36048/34872)
Jun 03, 2017 8:25:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/592 took 178473 ms. Total solver calls (SAT/UNSAT): 71394(36330/35064)
Jun 03, 2017 8:25:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/592 took 179732 ms. Total solver calls (SAT/UNSAT): 71868(36612/35256)
Jun 03, 2017 8:25:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/592 took 181075 ms. Total solver calls (SAT/UNSAT): 72342(36894/35448)
Jun 03, 2017 8:25:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/592 took 182359 ms. Total solver calls (SAT/UNSAT): 72816(37176/35640)
Jun 03, 2017 8:25:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/592 took 183617 ms. Total solver calls (SAT/UNSAT): 73290(37458/35832)
Jun 03, 2017 8:25:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/592 took 184884 ms. Total solver calls (SAT/UNSAT): 73764(37740/36024)
Jun 03, 2017 8:25:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/592 took 186246 ms. Total solver calls (SAT/UNSAT): 74238(38022/36216)
Jun 03, 2017 8:25:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/592 took 187509 ms. Total solver calls (SAT/UNSAT): 74712(38304/36408)
Jun 03, 2017 8:25:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/592 took 188760 ms. Total solver calls (SAT/UNSAT): 75186(38586/36600)
Jun 03, 2017 8:25:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/592 took 190004 ms. Total solver calls (SAT/UNSAT): 75660(38868/36792)
Jun 03, 2017 8:25:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/592 took 191256 ms. Total solver calls (SAT/UNSAT): 76134(39150/36984)
Jun 03, 2017 8:25:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/592 took 192503 ms. Total solver calls (SAT/UNSAT): 76608(39432/37176)
Jun 03, 2017 8:25:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/592 took 193743 ms. Total solver calls (SAT/UNSAT): 77082(39714/37368)
Jun 03, 2017 8:25:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/592 took 194993 ms. Total solver calls (SAT/UNSAT): 77556(39996/37560)
Jun 03, 2017 8:25:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/592 took 196247 ms. Total solver calls (SAT/UNSAT): 78030(40278/37752)
Jun 03, 2017 8:25:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/592 took 197496 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 03, 2017 8:25:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 197497 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 03, 2017 8:25:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 592 transitions.
Jun 03, 2017 8:25:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/592) took 937 ms. Total solver calls (SAT/UNSAT): 592(592/0)
Jun 03, 2017 8:25:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/592) took 2800 ms. Total solver calls (SAT/UNSAT): 1773(1773/0)
Jun 03, 2017 8:25:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(4/592) took 4674 ms. Total solver calls (SAT/UNSAT): 2950(2950/0)
Jun 03, 2017 8:25:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(5/592) took 5694 ms. Total solver calls (SAT/UNSAT): 3537(3537/0)
Jun 03, 2017 8:25:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(7/592) took 7572 ms. Total solver calls (SAT/UNSAT): 4708(4708/0)
Jun 03, 2017 8:25:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(9/592) took 9427 ms. Total solver calls (SAT/UNSAT): 5875(5875/0)
Jun 03, 2017 8:25:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(10/592) took 10439 ms. Total solver calls (SAT/UNSAT): 6457(6457/0)
Jun 03, 2017 8:25:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(12/592) took 12278 ms. Total solver calls (SAT/UNSAT): 7618(7618/0)
Jun 03, 2017 8:25:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(14/592) took 14059 ms. Total solver calls (SAT/UNSAT): 8775(8775/0)
Jun 03, 2017 8:25:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(16/592) took 15858 ms. Total solver calls (SAT/UNSAT): 9928(9928/0)
Jun 03, 2017 8:25:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(17/592) took 16863 ms. Total solver calls (SAT/UNSAT): 10503(10503/0)
Jun 03, 2017 8:26:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(19/592) took 18766 ms. Total solver calls (SAT/UNSAT): 11650(11650/0)
Jun 03, 2017 8:26:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(21/592) took 20575 ms. Total solver calls (SAT/UNSAT): 12793(12793/0)
Jun 03, 2017 8:26:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(22/592) took 21619 ms. Total solver calls (SAT/UNSAT): 13363(13363/0)
Jun 03, 2017 8:26:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(23/592) took 22730 ms. Total solver calls (SAT/UNSAT): 13932(13932/0)
Jun 03, 2017 8:26:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(25/592) took 24501 ms. Total solver calls (SAT/UNSAT): 15067(15067/0)
Jun 03, 2017 8:26:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(27/592) took 26267 ms. Total solver calls (SAT/UNSAT): 16198(16198/0)
Jun 03, 2017 8:26:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(29/592) took 27997 ms. Total solver calls (SAT/UNSAT): 17325(17325/0)
Jun 03, 2017 8:26:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(31/592) took 29754 ms. Total solver calls (SAT/UNSAT): 18448(18448/0)
Jun 03, 2017 8:26:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(33/592) took 31489 ms. Total solver calls (SAT/UNSAT): 19567(19567/0)
Jun 03, 2017 8:26:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(35/592) took 33204 ms. Total solver calls (SAT/UNSAT): 20682(20682/0)
Jun 03, 2017 8:26:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(37/592) took 35051 ms. Total solver calls (SAT/UNSAT): 21793(21793/0)
Jun 03, 2017 8:26:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(39/592) took 36856 ms. Total solver calls (SAT/UNSAT): 22900(22900/0)
Jun 03, 2017 8:26:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(41/592) took 38576 ms. Total solver calls (SAT/UNSAT): 24003(24003/0)
Jun 03, 2017 8:26:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(43/592) took 40358 ms. Total solver calls (SAT/UNSAT): 25102(25102/0)
Jun 03, 2017 8:26:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(45/592) took 42060 ms. Total solver calls (SAT/UNSAT): 26197(26197/0)
Jun 03, 2017 8:26:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(47/592) took 43846 ms. Total solver calls (SAT/UNSAT): 27288(27288/0)
Jun 03, 2017 8:26:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(49/592) took 45510 ms. Total solver calls (SAT/UNSAT): 28375(28375/0)
Jun 03, 2017 8:26:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(51/592) took 47170 ms. Total solver calls (SAT/UNSAT): 29458(29458/0)
Jun 03, 2017 8:26:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(53/592) took 48928 ms. Total solver calls (SAT/UNSAT): 30537(30537/0)
Jun 03, 2017 8:26:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(55/592) took 50584 ms. Total solver calls (SAT/UNSAT): 31612(31612/0)
Jun 03, 2017 8:26:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(57/592) took 52220 ms. Total solver calls (SAT/UNSAT): 32683(32683/0)
Jun 03, 2017 8:26:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(59/592) took 53879 ms. Total solver calls (SAT/UNSAT): 33750(33750/0)
Jun 03, 2017 8:26:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(61/592) took 55496 ms. Total solver calls (SAT/UNSAT): 34813(34813/0)
Jun 03, 2017 8:26:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(63/592) took 57131 ms. Total solver calls (SAT/UNSAT): 35872(35872/0)
Jun 03, 2017 8:26:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(65/592) took 58714 ms. Total solver calls (SAT/UNSAT): 36927(36927/0)
Jun 03, 2017 8:26:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(67/592) took 60357 ms. Total solver calls (SAT/UNSAT): 37978(37978/0)
Jun 03, 2017 8:26:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(69/592) took 61927 ms. Total solver calls (SAT/UNSAT): 39025(39025/0)
Jun 03, 2017 8:26:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(71/592) took 63577 ms. Total solver calls (SAT/UNSAT): 40068(40068/0)
Jun 03, 2017 8:26:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(73/592) took 65257 ms. Total solver calls (SAT/UNSAT): 41107(41107/0)
Jun 03, 2017 8:26:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(75/592) took 66869 ms. Total solver calls (SAT/UNSAT): 42142(42142/0)
Jun 03, 2017 8:26:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(77/592) took 68469 ms. Total solver calls (SAT/UNSAT): 43173(43173/0)
Jun 03, 2017 8:26:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(79/592) took 70077 ms. Total solver calls (SAT/UNSAT): 44200(44200/0)
Jun 03, 2017 8:26:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(81/592) took 71681 ms. Total solver calls (SAT/UNSAT): 45223(45223/0)
Jun 03, 2017 8:26:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(83/592) took 73271 ms. Total solver calls (SAT/UNSAT): 46242(46242/0)
Jun 03, 2017 8:26:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(85/592) took 74867 ms. Total solver calls (SAT/UNSAT): 47257(47257/0)
Jun 03, 2017 8:26:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(87/592) took 76429 ms. Total solver calls (SAT/UNSAT): 48268(48268/0)
Jun 03, 2017 8:27:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(89/592) took 78037 ms. Total solver calls (SAT/UNSAT): 49275(49275/0)
Jun 03, 2017 8:27:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(91/592) took 79542 ms. Total solver calls (SAT/UNSAT): 50278(50278/0)
Jun 03, 2017 8:27:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(93/592) took 81121 ms. Total solver calls (SAT/UNSAT): 51277(51277/0)
Jun 03, 2017 8:27:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(95/592) took 82621 ms. Total solver calls (SAT/UNSAT): 52272(52272/0)
Jun 03, 2017 8:27:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(97/592) took 84191 ms. Total solver calls (SAT/UNSAT): 53263(53263/0)
Jun 03, 2017 8:27:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(99/592) took 85678 ms. Total solver calls (SAT/UNSAT): 54250(54250/0)
Jun 03, 2017 8:27:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(101/592) took 87204 ms. Total solver calls (SAT/UNSAT): 55233(55233/0)
Jun 03, 2017 8:27:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(103/592) took 88681 ms. Total solver calls (SAT/UNSAT): 56212(56212/0)
Jun 03, 2017 8:27:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(105/592) took 90185 ms. Total solver calls (SAT/UNSAT): 57187(57187/0)
Jun 03, 2017 8:27:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(107/592) took 91665 ms. Total solver calls (SAT/UNSAT): 58158(58158/0)
Jun 03, 2017 8:27:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(109/592) took 93168 ms. Total solver calls (SAT/UNSAT): 59125(59125/0)
Jun 03, 2017 8:27:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(111/592) took 94685 ms. Total solver calls (SAT/UNSAT): 60088(60088/0)
Jun 03, 2017 8:27:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(113/592) took 96217 ms. Total solver calls (SAT/UNSAT): 61047(61047/0)
Jun 03, 2017 8:27:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(115/592) took 97700 ms. Total solver calls (SAT/UNSAT): 62002(62002/0)
Jun 03, 2017 8:27:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(117/592) took 99204 ms. Total solver calls (SAT/UNSAT): 62953(62953/0)
Jun 03, 2017 8:27:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(119/592) took 100678 ms. Total solver calls (SAT/UNSAT): 63900(63900/0)
Jun 03, 2017 8:27:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(121/592) took 102090 ms. Total solver calls (SAT/UNSAT): 64843(64843/0)
Jun 03, 2017 8:27:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(123/592) took 103590 ms. Total solver calls (SAT/UNSAT): 65782(65782/0)
Jun 03, 2017 8:27:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(125/592) took 105123 ms. Total solver calls (SAT/UNSAT): 66717(66717/0)
Jun 03, 2017 8:27:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(127/592) took 106618 ms. Total solver calls (SAT/UNSAT): 67648(67648/0)
Jun 03, 2017 8:27:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(129/592) took 108133 ms. Total solver calls (SAT/UNSAT): 68575(68575/0)
Jun 03, 2017 8:27:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(131/592) took 109649 ms. Total solver calls (SAT/UNSAT): 69498(69498/0)
Jun 03, 2017 8:27:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(133/592) took 111156 ms. Total solver calls (SAT/UNSAT): 70417(70417/0)
Jun 03, 2017 8:27:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(135/592) took 112646 ms. Total solver calls (SAT/UNSAT): 71332(71332/0)
Jun 03, 2017 8:27:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(137/592) took 114116 ms. Total solver calls (SAT/UNSAT): 72243(72243/0)
Jun 03, 2017 8:27:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(139/592) took 115599 ms. Total solver calls (SAT/UNSAT): 73150(73150/0)
Jun 03, 2017 8:27:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(141/592) took 117067 ms. Total solver calls (SAT/UNSAT): 74053(74053/0)
Jun 03, 2017 8:27:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(143/592) took 118523 ms. Total solver calls (SAT/UNSAT): 74952(74952/0)
Jun 03, 2017 8:27:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(145/592) took 119962 ms. Total solver calls (SAT/UNSAT): 75847(75847/0)
Jun 03, 2017 8:27:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(147/592) took 121401 ms. Total solver calls (SAT/UNSAT): 76738(76738/0)
Jun 03, 2017 8:27:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(149/592) took 122827 ms. Total solver calls (SAT/UNSAT): 77625(77625/0)
Jun 03, 2017 8:27:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(151/592) took 124251 ms. Total solver calls (SAT/UNSAT): 78508(78508/0)
Jun 03, 2017 8:27:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(153/592) took 125680 ms. Total solver calls (SAT/UNSAT): 79387(79387/0)
Jun 03, 2017 8:27:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(155/592) took 127077 ms. Total solver calls (SAT/UNSAT): 80262(80262/0)
Jun 03, 2017 8:27:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(157/592) took 128470 ms. Total solver calls (SAT/UNSAT): 81133(81133/0)
Jun 03, 2017 8:27:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(159/592) took 129843 ms. Total solver calls (SAT/UNSAT): 82000(82000/0)
Jun 03, 2017 8:27:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(161/592) took 131240 ms. Total solver calls (SAT/UNSAT): 82863(82863/0)
Jun 03, 2017 8:27:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(163/592) took 132623 ms. Total solver calls (SAT/UNSAT): 83722(83722/0)
Jun 03, 2017 8:27:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(165/592) took 134005 ms. Total solver calls (SAT/UNSAT): 84577(84577/0)
Jun 03, 2017 8:27:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(167/592) took 135385 ms. Total solver calls (SAT/UNSAT): 85428(85428/0)
Jun 03, 2017 8:27:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(169/592) took 136750 ms. Total solver calls (SAT/UNSAT): 86275(86275/0)
Jun 03, 2017 8:28:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(171/592) took 138112 ms. Total solver calls (SAT/UNSAT): 87118(87118/0)
Jun 03, 2017 8:28:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(173/592) took 139480 ms. Total solver calls (SAT/UNSAT): 87957(87957/0)
Jun 03, 2017 8:28:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(175/592) took 140800 ms. Total solver calls (SAT/UNSAT): 88792(88792/0)
Jun 03, 2017 8:28:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(177/592) took 142141 ms. Total solver calls (SAT/UNSAT): 89623(89623/0)
Jun 03, 2017 8:28:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(179/592) took 143480 ms. Total solver calls (SAT/UNSAT): 90450(90450/0)
Jun 03, 2017 8:28:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(181/592) took 144817 ms. Total solver calls (SAT/UNSAT): 91273(91273/0)
Jun 03, 2017 8:28:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(183/592) took 146142 ms. Total solver calls (SAT/UNSAT): 92092(92092/0)
Jun 03, 2017 8:28:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(185/592) took 147451 ms. Total solver calls (SAT/UNSAT): 92907(92907/0)
Jun 03, 2017 8:28:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(187/592) took 148724 ms. Total solver calls (SAT/UNSAT): 93718(93718/0)
Jun 03, 2017 8:28:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(189/592) took 149966 ms. Total solver calls (SAT/UNSAT): 94525(94525/0)
Jun 03, 2017 8:28:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(191/592) took 151209 ms. Total solver calls (SAT/UNSAT): 95328(95328/0)
Jun 03, 2017 8:28:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(193/592) took 152417 ms. Total solver calls (SAT/UNSAT): 96127(96127/0)
Jun 03, 2017 8:28:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(195/592) took 153633 ms. Total solver calls (SAT/UNSAT): 96922(96922/0)
Jun 03, 2017 8:28:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(197/592) took 154834 ms. Total solver calls (SAT/UNSAT): 97713(97713/0)
Jun 03, 2017 8:28:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(199/592) took 156122 ms. Total solver calls (SAT/UNSAT): 98500(98500/0)
Jun 03, 2017 8:28:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(201/592) took 157288 ms. Total solver calls (SAT/UNSAT): 99283(99283/0)
Jun 03, 2017 8:28:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(203/592) took 158546 ms. Total solver calls (SAT/UNSAT): 100062(100062/0)
Jun 03, 2017 8:28:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(205/592) took 159753 ms. Total solver calls (SAT/UNSAT): 100837(100837/0)
Jun 03, 2017 8:28:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(207/592) took 161108 ms. Total solver calls (SAT/UNSAT): 101608(101608/0)
Jun 03, 2017 8:28:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(209/592) took 162300 ms. Total solver calls (SAT/UNSAT): 102375(102375/0)
Jun 03, 2017 8:28:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(211/592) took 163472 ms. Total solver calls (SAT/UNSAT): 103138(103138/0)
Jun 03, 2017 8:28:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(213/592) took 164655 ms. Total solver calls (SAT/UNSAT): 103897(103897/0)
Jun 03, 2017 8:28:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(215/592) took 165802 ms. Total solver calls (SAT/UNSAT): 104652(104652/0)
Jun 03, 2017 8:28:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(217/592) took 166936 ms. Total solver calls (SAT/UNSAT): 105403(105403/0)
Jun 03, 2017 8:28:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(219/592) took 168077 ms. Total solver calls (SAT/UNSAT): 106150(106150/0)
Jun 03, 2017 8:28:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(221/592) took 169186 ms. Total solver calls (SAT/UNSAT): 106893(106893/0)
Jun 03, 2017 8:28:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(223/592) took 170362 ms. Total solver calls (SAT/UNSAT): 107632(107632/0)
Jun 03, 2017 8:28:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(225/592) took 171547 ms. Total solver calls (SAT/UNSAT): 108367(108367/0)
Jun 03, 2017 8:28:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(227/592) took 172682 ms. Total solver calls (SAT/UNSAT): 109098(109098/0)
Jun 03, 2017 8:28:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(229/592) took 173780 ms. Total solver calls (SAT/UNSAT): 109825(109825/0)
Jun 03, 2017 8:28:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(231/592) took 174860 ms. Total solver calls (SAT/UNSAT): 110548(110548/0)
Jun 03, 2017 8:28:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(233/592) took 176067 ms. Total solver calls (SAT/UNSAT): 111267(111267/0)
Jun 03, 2017 8:28:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(235/592) took 177149 ms. Total solver calls (SAT/UNSAT): 111982(111982/0)
Jun 03, 2017 8:28:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(237/592) took 178259 ms. Total solver calls (SAT/UNSAT): 112693(112693/0)
Jun 03, 2017 8:28:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(239/592) took 179343 ms. Total solver calls (SAT/UNSAT): 113400(113400/0)
Jun 03, 2017 8:28:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(241/592) took 180423 ms. Total solver calls (SAT/UNSAT): 114103(114103/0)
Jun 03, 2017 8:28:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(243/592) took 181471 ms. Total solver calls (SAT/UNSAT): 114802(114802/0)
Jun 03, 2017 8:28:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(245/592) took 182543 ms. Total solver calls (SAT/UNSAT): 115497(115497/0)
Jun 03, 2017 8:28:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(247/592) took 183584 ms. Total solver calls (SAT/UNSAT): 116188(116188/0)
Jun 03, 2017 8:28:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(249/592) took 184662 ms. Total solver calls (SAT/UNSAT): 116875(116875/0)
Jun 03, 2017 8:28:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(251/592) took 185832 ms. Total solver calls (SAT/UNSAT): 117558(117558/0)
Jun 03, 2017 8:28:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(254/592) took 187235 ms. Total solver calls (SAT/UNSAT): 118575(118575/0)
Jun 03, 2017 8:28:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(257/592) took 188617 ms. Total solver calls (SAT/UNSAT): 119583(119583/0)
Jun 03, 2017 8:28:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(260/592) took 190001 ms. Total solver calls (SAT/UNSAT): 120582(120582/0)
Jun 03, 2017 8:28:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(263/592) took 191368 ms. Total solver calls (SAT/UNSAT): 121572(121572/0)
Jun 03, 2017 8:28:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(266/592) took 192800 ms. Total solver calls (SAT/UNSAT): 122553(122553/0)
Jun 03, 2017 8:28:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(269/592) took 194215 ms. Total solver calls (SAT/UNSAT): 123525(123525/0)
Jun 03, 2017 8:28:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(272/592) took 195593 ms. Total solver calls (SAT/UNSAT): 124488(124488/0)
Jun 03, 2017 8:28:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(275/592) took 196975 ms. Total solver calls (SAT/UNSAT): 125442(125442/0)
Jun 03, 2017 8:29:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(278/592) took 198326 ms. Total solver calls (SAT/UNSAT): 126387(126387/0)
Jun 03, 2017 8:29:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(281/592) took 199741 ms. Total solver calls (SAT/UNSAT): 127323(127323/0)
Jun 03, 2017 8:29:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(284/592) took 201172 ms. Total solver calls (SAT/UNSAT): 128250(128250/0)
Jun 03, 2017 8:29:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(287/592) took 202626 ms. Total solver calls (SAT/UNSAT): 129168(129168/0)
Jun 03, 2017 8:29:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(290/592) took 203967 ms. Total solver calls (SAT/UNSAT): 130077(130077/0)
Jun 03, 2017 8:29:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(293/592) took 205330 ms. Total solver calls (SAT/UNSAT): 130977(130977/0)
Jun 03, 2017 8:29:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(296/592) took 206592 ms. Total solver calls (SAT/UNSAT): 131868(131868/0)
Jun 03, 2017 8:29:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(299/592) took 207831 ms. Total solver calls (SAT/UNSAT): 132750(132750/0)
Jun 03, 2017 8:29:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(302/592) took 209051 ms. Total solver calls (SAT/UNSAT): 133623(133623/0)
Jun 03, 2017 8:29:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(305/592) took 210418 ms. Total solver calls (SAT/UNSAT): 134487(134487/0)
Jun 03, 2017 8:29:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(308/592) took 211691 ms. Total solver calls (SAT/UNSAT): 135342(135342/0)
Jun 03, 2017 8:29:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(311/592) took 212835 ms. Total solver calls (SAT/UNSAT): 136188(136188/0)
Jun 03, 2017 8:29:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(314/592) took 213973 ms. Total solver calls (SAT/UNSAT): 137025(137025/0)
Jun 03, 2017 8:29:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(317/592) took 215244 ms. Total solver calls (SAT/UNSAT): 137853(137853/0)
Jun 03, 2017 8:29:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(320/592) took 216496 ms. Total solver calls (SAT/UNSAT): 138672(138672/0)
Jun 03, 2017 8:29:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(323/592) took 217741 ms. Total solver calls (SAT/UNSAT): 139482(139482/0)
Jun 03, 2017 8:29:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(326/592) took 219011 ms. Total solver calls (SAT/UNSAT): 140283(140283/0)
Jun 03, 2017 8:29:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(329/592) took 220241 ms. Total solver calls (SAT/UNSAT): 141075(141075/0)
Jun 03, 2017 8:29:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(332/592) took 221477 ms. Total solver calls (SAT/UNSAT): 141858(141858/0)
Jun 03, 2017 8:29:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(335/592) took 222684 ms. Total solver calls (SAT/UNSAT): 142632(142632/0)
Jun 03, 2017 8:29:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(338/592) took 223895 ms. Total solver calls (SAT/UNSAT): 143397(143397/0)
Jun 03, 2017 8:29:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(341/592) took 224970 ms. Total solver calls (SAT/UNSAT): 144153(144153/0)
Jun 03, 2017 8:29:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(344/592) took 226060 ms. Total solver calls (SAT/UNSAT): 144900(144900/0)
Jun 03, 2017 8:29:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(347/592) took 227192 ms. Total solver calls (SAT/UNSAT): 145638(145638/0)
Jun 03, 2017 8:29:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(350/592) took 228337 ms. Total solver calls (SAT/UNSAT): 146367(146367/0)
Jun 03, 2017 8:29:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(353/592) took 229436 ms. Total solver calls (SAT/UNSAT): 147087(147087/0)
Jun 03, 2017 8:29:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(356/592) took 230530 ms. Total solver calls (SAT/UNSAT): 147798(147798/0)
Jun 03, 2017 8:29:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(359/592) took 231608 ms. Total solver calls (SAT/UNSAT): 148500(148500/0)
Jun 03, 2017 8:29:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(362/592) took 232678 ms. Total solver calls (SAT/UNSAT): 149193(149193/0)
Jun 03, 2017 8:29:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(365/592) took 233835 ms. Total solver calls (SAT/UNSAT): 149877(149877/0)
Jun 03, 2017 8:29:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(368/592) took 234891 ms. Total solver calls (SAT/UNSAT): 150552(150552/0)
Jun 03, 2017 8:29:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(371/592) took 236076 ms. Total solver calls (SAT/UNSAT): 151218(151218/0)
Jun 03, 2017 8:29:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(374/592) took 237155 ms. Total solver calls (SAT/UNSAT): 151875(151875/0)
Jun 03, 2017 8:29:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(377/592) took 238339 ms. Total solver calls (SAT/UNSAT): 152523(152523/0)
Jun 03, 2017 8:29:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(380/592) took 239498 ms. Total solver calls (SAT/UNSAT): 153162(153162/0)
Jun 03, 2017 8:29:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(383/592) took 240541 ms. Total solver calls (SAT/UNSAT): 153792(153792/0)
Jun 03, 2017 8:29:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(387/592) took 241865 ms. Total solver calls (SAT/UNSAT): 154618(154618/0)
Jun 03, 2017 8:29:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(390/592) took 243166 ms. Total solver calls (SAT/UNSAT): 155227(155227/0)
Jun 03, 2017 8:29:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(393/592) took 244211 ms. Total solver calls (SAT/UNSAT): 155827(155827/0)
Jun 03, 2017 8:29:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(397/592) took 245452 ms. Total solver calls (SAT/UNSAT): 156613(156613/0)
Jun 03, 2017 8:29:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(401/592) took 246657 ms. Total solver calls (SAT/UNSAT): 157383(157383/0)
Jun 03, 2017 8:29:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(405/592) took 247920 ms. Total solver calls (SAT/UNSAT): 158137(158137/0)
Jun 03, 2017 8:29:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(409/592) took 249075 ms. Total solver calls (SAT/UNSAT): 158875(158875/0)
Jun 03, 2017 8:29:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(412/592) took 250137 ms. Total solver calls (SAT/UNSAT): 159418(159418/0)
Jun 03, 2017 8:29:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(416/592) took 251366 ms. Total solver calls (SAT/UNSAT): 160128(160128/0)
Jun 03, 2017 8:29:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(420/592) took 252680 ms. Total solver calls (SAT/UNSAT): 160822(160822/0)
Jun 03, 2017 8:29:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(424/592) took 253985 ms. Total solver calls (SAT/UNSAT): 161500(161500/0)
Jun 03, 2017 8:29:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(428/592) took 255158 ms. Total solver calls (SAT/UNSAT): 162162(162162/0)
Jun 03, 2017 8:29:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(432/592) took 256279 ms. Total solver calls (SAT/UNSAT): 162808(162808/0)
Jun 03, 2017 8:30:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(436/592) took 257336 ms. Total solver calls (SAT/UNSAT): 163438(163438/0)
Jun 03, 2017 8:30:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(440/592) took 258365 ms. Total solver calls (SAT/UNSAT): 164052(164052/0)
Jun 03, 2017 8:30:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(445/592) took 259594 ms. Total solver calls (SAT/UNSAT): 164797(164797/0)
Jun 03, 2017 8:30:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(450/592) took 260735 ms. Total solver calls (SAT/UNSAT): 165517(165517/0)
Jun 03, 2017 8:30:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(455/592) took 261804 ms. Total solver calls (SAT/UNSAT): 166212(166212/0)
Jun 03, 2017 8:30:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(460/592) took 262844 ms. Total solver calls (SAT/UNSAT): 166882(166882/0)
Jun 03, 2017 8:30:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(465/592) took 263889 ms. Total solver calls (SAT/UNSAT): 167527(167527/0)
Jun 03, 2017 8:30:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(470/592) took 264898 ms. Total solver calls (SAT/UNSAT): 168147(168147/0)
Jun 03, 2017 8:30:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(476/592) took 266010 ms. Total solver calls (SAT/UNSAT): 168858(168858/0)
Jun 03, 2017 8:30:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(482/592) took 267033 ms. Total solver calls (SAT/UNSAT): 169533(169533/0)
Jun 03, 2017 8:30:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(489/592) took 268143 ms. Total solver calls (SAT/UNSAT): 170275(170275/0)
Jun 03, 2017 8:30:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(496/592) took 269202 ms. Total solver calls (SAT/UNSAT): 170968(170968/0)
Jun 03, 2017 8:30:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(504/592) took 270318 ms. Total solver calls (SAT/UNSAT): 171700(171700/0)
Jun 03, 2017 8:30:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(512/592) took 271357 ms. Total solver calls (SAT/UNSAT): 172368(172368/0)
Jun 03, 2017 8:30:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(521/592) took 272387 ms. Total solver calls (SAT/UNSAT): 173043(173043/0)
Jun 03, 2017 8:30:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(530/592) took 273446 ms. Total solver calls (SAT/UNSAT): 173637(173637/0)
Jun 03, 2017 8:30:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(541/592) took 274483 ms. Total solver calls (SAT/UNSAT): 174253(174253/0)
Jun 03, 2017 8:30:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(554/592) took 275527 ms. Total solver calls (SAT/UNSAT): 174825(174825/0)
Jun 03, 2017 8:30:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(574/592) took 276556 ms. Total solver calls (SAT/UNSAT): 175375(175375/0)
Jun 03, 2017 8:30:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 276867 ms. Total solver calls (SAT/UNSAT): 175528(175528/0)
Jun 03, 2017 8:30:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 592 transitions.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_PermAdmissibility-PT-05"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/S_PermAdmissibility-PT-05.tgz
mv S_PermAdmissibility-PT-05 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is S_PermAdmissibility-PT-05, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r120-blw7-149441652200422"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;