About the Execution of ITS-Tools for PermAdmissibility-PT-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15927.760 | 3600000.00 | 4587001.00 | 630.50 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is PermAdmissibility-PT-10, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-blw7-149440486700431
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME PermAdmissibility-COL-10-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1496326880427
Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ctl command run as :
/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/ReachabilityDeadlock.pnml.gal -t CGAL -ctl DEADLOCK
No direction supplied, using forward translation only.
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 592 rows 168 cols
invariant : -1'aux8_7 + 1'c12 + -1'aux8_3 + -1'aux8_6 + -1'aux8_2 + 2'c11 + 2'c110 + 2'c9= 0
invariant : 2'c20 + 2'out7_1 + 2'out7_0 + 2'out7_3 + 2'out7_2 + 2'out7_5 + 2'out7_4 + 2'out7_7 + 2'out7_6 + 2'c19 + 1'aux13_2 + 1'aux13_1 + 1'aux13_0 + 1'aux13_7 + 1'c18 + 1'aux13_3 + 1'aux13_4 + 1'aux13_5 + 1'aux13_6 + 1'aux6_0 + 1'c12 + 1'aux6_5 + 1'aux6_1 + 1'aux6_4 + 2'c13 + 1'in3_5 + 1'in3_4 + 1'c6= 20
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + 1'out3_0 + 1'out3_1 + 1'out3_6 + 1'out3_7 + 1'out3_2 + 1'out3_3 + 1'out3_4 + 1'out3_5= 0
invariant : -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out8_1 + 1'out8_0 + 1'out8_3 + 1'out8_2 + 1'out8_6 + 1'out8_7 + 1'out8_4 + 1'out8_5= 0
invariant : 1'aux14_0 + 1'aux14_1 + 1'aux14_2 + 1'aux14_3 + 1'aux14_4 + 1'aux14_6 + 1'aux14_5 + -1'c20 + 1'aux14_7 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + 2'c14= 0
invariant : -2'c20 + -2'out7_1 + -2'out7_0 + -2'out7_3 + -2'out7_2 + -2'out7_5 + -2'out7_4 + -2'out7_7 + -2'out7_6 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -1'aux6_0 + -1'c12 + -1'aux6_5 + -1'aux6_1 + -1'aux6_4 + -2'c13 + -2'in3_5 + -2'in3_4 + 2'c5= -20
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + 1'out4_0 + 1'out4_1 + 1'out4_7 + 1'out4_6 + 1'out4_3 + 1'out4_2 + 1'out4_5 + 1'out4_4= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_4 + 1'aux16_5 + -1'c20 + -1'out7_3 + -1'out7_2 + -1'out7_7 + -1'out7_6 + 1'out5_1 + -1'c19 + 1'out5_0 + 1'out5_5 + 1'out5_4 + 1'aux15_1 + 1'aux15_0 + 1'aux15_5 + 1'aux15_4 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -1'out3_6 + -1'out3_7 + -1'out3_2 + -1'out3_3 + 1'out1_0 + 1'out1_5 + 1'out1_1 + 1'out1_4 + -1'c12 + 1'aux12_5 + 1'aux12_4 + 1'aux12_1 + 1'aux12_0 + -2'c13 + -1'c11 + 1'aux10_0 + 1'aux10_1 + 1'aux10_4 + 1'aux10_5= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_2 + 1'aux16_3 + 1'aux16_4 + 1'aux16_5 + 1'aux16_6 + 1'aux16_7 + -1'c20 + -2'c19 + -1'aux15_2 + -1'aux15_1 + -1'aux15_0 + -1'aux15_6 + -1'aux15_5 + -1'aux15_4 + -1'aux15_3 + -1'aux15_7 + -1'c18 + 2'c16= 0
invariant : -1'aux14_0 + -1'aux14_1 + -1'aux14_2 + -1'aux14_3 + -1'aux14_4 + -1'aux14_6 + -1'aux14_5 + 1'c20 + -1'aux14_7 + 2'c19 + 1'aux15_2 + 1'aux15_1 + 1'aux15_0 + 1'aux15_6 + 1'aux15_5 + 1'aux15_4 + 1'aux15_3 + 1'aux15_7 + 1'c18 + 2'c15= 0
invariant : 1'aux8_7 + -1'c12 + 1'aux8_3 + 1'aux8_6 + 1'aux8_2 + -2'c11 + -1'aux7_7 + -1'aux7_6 + -1'c110 + -1'aux7_3 + -1'aux7_2 + 2'c8= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out5_1 + 1'out5_2 + 1'out5_0 + 1'out5_5 + 1'out5_6 + 1'out5_3 + 1'out5_4 + 1'out5_7= 0
invariant : -1'aux16_0 + -1'aux16_1 + 1'aux16_2 + 1'aux16_3 + -1'aux16_4 + -1'aux16_5 + 1'aux16_6 + 1'aux16_7 + 1'c20 + 2'out7_3 + 2'out7_2 + 2'out7_7 + 2'out7_6 + -2'out5_1 + -2'out5_0 + -2'out5_5 + -2'out5_4 + 1'aux15_2 + -1'aux15_1 + -1'aux15_0 + 1'aux15_6 + -1'aux15_5 + -1'aux15_4 + 1'aux15_3 + 1'aux15_7 + 1'c18 + 2'out3_6 + 2'out3_7 + 2'out3_2 + 2'out3_3 + -2'out1_0 + -2'out1_5 + -2'out1_1 + -2'out1_4 + -2'c12 + -2'aux12_5 + -2'aux12_4 + -2'aux12_1 + -2'aux12_0 + -2'c11 + 2'aux10_2 + 2'aux10_3 + 2'aux10_6 + 2'aux10_7= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_2 + 1'aux16_3 + 1'aux16_4 + 1'aux16_5 + 1'aux16_6 + 1'aux16_7 + -1'c20 + -2'c19 + 1'aux15_2 + 1'aux15_1 + 1'aux15_0 + 1'aux15_6 + 1'aux15_5 + 1'aux15_4 + 1'aux15_3 + -2'aux13_2 + -2'aux13_1 + -2'aux13_0 + 1'aux15_7 + -2'aux13_7 + -1'c18 + -2'aux13_3 + -2'aux13_4 + -2'aux13_5 + -2'aux13_6 + 2'aux12_6 + 2'aux12_5 + 2'aux12_4 + 2'aux12_3 + 2'aux12_2 + 2'aux12_1 + 2'aux12_0 + -4'c13 + 2'aux12_7= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out6_1 + 1'out6_2 + 1'out6_0 + 1'out6_6 + 1'out6_5 + 1'out6_4 + 1'out6_3 + 1'out6_7= 0
invariant : -1'in3_5 + -1'in3_4 + 1'in1_1 + 1'in1_0= 0
invariant : -1'aux16_0 + -1'aux16_1 + -1'aux16_2 + -1'aux16_3 + -1'aux16_4 + -1'aux16_5 + -1'aux16_6 + -1'aux16_7 + 1'c20 + 2'c19 + 2'c18 + 2'c17= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + -1'c18 + 1'out2_0 + 1'out2_7 + 1'out2_5 + 1'out2_6 + 1'out2_3 + 1'out2_4 + 1'out2_1 + 1'out2_2= 0
invariant : = 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + -1'c18 + 1'out1_0 + 1'out1_6 + 1'out1_5 + 1'out1_7 + 1'out1_2 + 1'out1_1 + 1'out1_4 + 1'out1_3= 0
invariant : 1'aux14_0 + 1'aux14_1 + 1'aux14_2 + 1'aux14_3 + 1'aux14_4 + 1'aux14_6 + 1'aux14_5 + -1'c20 + 1'aux14_7 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -4'c12 + -4'c13 + 2'aux11_5 + 2'aux11_4 + 2'aux11_3 + 2'aux11_2 + 2'aux11_1 + 2'aux11_0 + 2'aux11_7 + 2'aux11_6= 0
Exit code :137
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityDeadlock = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution ReachabilityDeadlock -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination ReachabilityDeadlock -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 01, 2017 2:21:21 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 2:21:21 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 117 ms
Jun 01, 2017 2:21:21 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 168 places.
Jun 01, 2017 2:21:22 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 592 transitions.
Jun 01, 2017 2:21:22 PM fr.lip6.move.gal.logic.togal.ToGalTransformer toGal
WARNING: Unknown predicate type in boolean expression fr.lip6.move.gal.logic.impl.DeadlockImpl
Jun 01, 2017 2:21:22 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property PermAdmissibility-COL-10-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
Jun 01, 2017 2:21:22 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 272 ms
Jun 01, 2017 2:21:22 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityDeadlock.pnml.gal : 35 ms
Jun 01, 2017 2:21:23 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 21 place invariants in 164 ms
Jun 01, 2017 2:21:32 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 168 variables to be positive in 9632 ms
Jun 01, 2017 2:21:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 592 transitions.
Jun 01, 2017 2:21:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/592 took 590 ms. Total solver calls (SAT/UNSAT): 136(79/57)
Jun 01, 2017 2:21:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/592 took 2048 ms. Total solver calls (SAT/UNSAT): 544(316/228)
Jun 01, 2017 2:21:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 3060 ms. Total solver calls (SAT/UNSAT): 816(474/342)
Jun 01, 2017 2:21:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :7/592 took 4060 ms. Total solver calls (SAT/UNSAT): 1088(632/456)
Jun 01, 2017 2:21:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :9/592 took 5073 ms. Total solver calls (SAT/UNSAT): 1360(790/570)
Jun 01, 2017 2:21:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/592 took 6542 ms. Total solver calls (SAT/UNSAT): 1768(1027/741)
Jun 01, 2017 2:21:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/592 took 8000 ms. Total solver calls (SAT/UNSAT): 2176(1264/912)
Jun 01, 2017 2:21:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :18/592 took 9473 ms. Total solver calls (SAT/UNSAT): 2584(1501/1083)
Jun 01, 2017 2:21:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/592 took 10814 ms. Total solver calls (SAT/UNSAT): 2856(1659/1197)
Jun 01, 2017 2:21:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :22/592 took 12252 ms. Total solver calls (SAT/UNSAT): 3128(1817/1311)
Jun 01, 2017 2:21:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/592 took 13707 ms. Total solver calls (SAT/UNSAT): 3400(1975/1425)
Jun 01, 2017 2:21:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/592 took 15114 ms. Total solver calls (SAT/UNSAT): 3672(2133/1539)
Jun 01, 2017 2:21:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/592 took 16521 ms. Total solver calls (SAT/UNSAT): 3944(2291/1653)
Jun 01, 2017 2:21:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/592 took 17900 ms. Total solver calls (SAT/UNSAT): 4216(2449/1767)
Jun 01, 2017 2:21:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/592 took 19108 ms. Total solver calls (SAT/UNSAT): 4488(2607/1881)
Jun 01, 2017 2:21:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/592 took 20489 ms. Total solver calls (SAT/UNSAT): 4896(2844/2052)
Jun 01, 2017 2:21:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/592 took 21903 ms. Total solver calls (SAT/UNSAT): 5304(3081/2223)
Jun 01, 2017 2:21:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/592 took 23337 ms. Total solver calls (SAT/UNSAT): 5712(3318/2394)
Jun 01, 2017 2:21:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/592 took 24728 ms. Total solver calls (SAT/UNSAT): 6120(3555/2565)
Jun 01, 2017 2:21:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 26145 ms. Total solver calls (SAT/UNSAT): 6528(3792/2736)
Jun 01, 2017 2:22:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 27532 ms. Total solver calls (SAT/UNSAT): 6936(4029/2907)
Jun 01, 2017 2:22:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 28940 ms. Total solver calls (SAT/UNSAT): 7344(4266/3078)
Jun 01, 2017 2:22:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/592 took 29944 ms. Total solver calls (SAT/UNSAT): 7616(4424/3192)
Jun 01, 2017 2:22:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :58/592 took 31345 ms. Total solver calls (SAT/UNSAT): 8024(4661/3363)
Jun 01, 2017 2:22:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :61/592 took 32608 ms. Total solver calls (SAT/UNSAT): 8477(4898/3579)
Jun 01, 2017 2:22:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/592 took 33889 ms. Total solver calls (SAT/UNSAT): 8930(5135/3795)
Jun 01, 2017 2:22:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :67/592 took 35160 ms. Total solver calls (SAT/UNSAT): 9383(5372/4011)
Jun 01, 2017 2:22:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :70/592 took 36445 ms. Total solver calls (SAT/UNSAT): 9836(5609/4227)
Jun 01, 2017 2:22:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :73/592 took 37977 ms. Total solver calls (SAT/UNSAT): 10289(5846/4443)
Jun 01, 2017 2:22:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :75/592 took 39189 ms. Total solver calls (SAT/UNSAT): 10591(6004/4587)
Jun 01, 2017 2:22:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 40398 ms. Total solver calls (SAT/UNSAT): 10893(6162/4731)
Jun 01, 2017 2:22:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :79/592 took 41595 ms. Total solver calls (SAT/UNSAT): 11195(6320/4875)
Jun 01, 2017 2:22:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :82/592 took 42943 ms. Total solver calls (SAT/UNSAT): 11648(6557/5091)
Jun 01, 2017 2:22:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :85/592 took 44257 ms. Total solver calls (SAT/UNSAT): 12101(6794/5307)
Jun 01, 2017 2:22:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/592 took 45557 ms. Total solver calls (SAT/UNSAT): 12554(7031/5523)
Jun 01, 2017 2:22:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :91/592 took 46819 ms. Total solver calls (SAT/UNSAT): 13007(7268/5739)
Jun 01, 2017 2:22:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :94/592 took 48081 ms. Total solver calls (SAT/UNSAT): 13460(7505/5955)
Jun 01, 2017 2:22:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :97/592 took 49361 ms. Total solver calls (SAT/UNSAT): 13913(7742/6171)
Jun 01, 2017 2:22:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/592 took 50620 ms. Total solver calls (SAT/UNSAT): 14366(7979/6387)
Jun 01, 2017 2:22:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :103/592 took 51975 ms. Total solver calls (SAT/UNSAT): 14789(8216/6573)
Jun 01, 2017 2:22:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :106/592 took 53351 ms. Total solver calls (SAT/UNSAT): 15197(8453/6744)
Jun 01, 2017 2:22:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :109/592 took 54631 ms. Total solver calls (SAT/UNSAT): 15650(8690/6960)
Jun 01, 2017 2:22:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/592 took 55859 ms. Total solver calls (SAT/UNSAT): 16103(8927/7176)
Jun 01, 2017 2:22:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/592 took 57117 ms. Total solver calls (SAT/UNSAT): 16556(9164/7392)
Jun 01, 2017 2:22:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :118/592 took 58373 ms. Total solver calls (SAT/UNSAT): 17009(9401/7608)
Jun 01, 2017 2:22:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :121/592 took 59601 ms. Total solver calls (SAT/UNSAT): 17462(9638/7824)
Jun 01, 2017 2:22:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/592 took 60886 ms. Total solver calls (SAT/UNSAT): 17885(9875/8010)
Jun 01, 2017 2:22:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/592 took 62187 ms. Total solver calls (SAT/UNSAT): 18293(10112/8181)
Jun 01, 2017 2:22:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/592 took 63579 ms. Total solver calls (SAT/UNSAT): 18701(10349/8352)
Jun 01, 2017 2:22:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :133/592 took 64851 ms. Total solver calls (SAT/UNSAT): 19109(10586/8523)
Jun 01, 2017 2:22:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/592 took 66135 ms. Total solver calls (SAT/UNSAT): 19517(10823/8694)
Jun 01, 2017 2:22:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :139/592 took 67407 ms. Total solver calls (SAT/UNSAT): 19925(11060/8865)
Jun 01, 2017 2:22:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :142/592 took 68690 ms. Total solver calls (SAT/UNSAT): 20333(11297/9036)
Jun 01, 2017 2:22:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :145/592 took 70150 ms. Total solver calls (SAT/UNSAT): 20741(11534/9207)
Jun 01, 2017 2:22:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/592 took 71203 ms. Total solver calls (SAT/UNSAT): 21013(11692/9321)
Jun 01, 2017 2:22:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/592 took 72375 ms. Total solver calls (SAT/UNSAT): 21285(11850/9435)
Jun 01, 2017 2:22:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 73652 ms. Total solver calls (SAT/UNSAT): 21693(12087/9606)
Jun 01, 2017 2:22:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 74987 ms. Total solver calls (SAT/UNSAT): 22116(12324/9792)
Jun 01, 2017 2:22:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 76568 ms. Total solver calls (SAT/UNSAT): 22569(12561/10008)
Jun 01, 2017 2:22:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :160/592 took 77812 ms. Total solver calls (SAT/UNSAT): 22841(12719/10122)
Jun 01, 2017 2:22:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :163/592 took 79127 ms. Total solver calls (SAT/UNSAT): 23264(12956/10308)
Jun 01, 2017 2:22:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :165/592 took 80412 ms. Total solver calls (SAT/UNSAT): 23536(13114/10422)
Jun 01, 2017 2:22:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 81707 ms. Total solver calls (SAT/UNSAT): 23808(13272/10536)
Jun 01, 2017 2:22:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :169/592 took 83004 ms. Total solver calls (SAT/UNSAT): 24080(13430/10650)
Jun 01, 2017 2:22:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/592 took 84107 ms. Total solver calls (SAT/UNSAT): 24352(13588/10764)
Jun 01, 2017 2:22:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/592 took 85417 ms. Total solver calls (SAT/UNSAT): 24760(13825/10935)
Jun 01, 2017 2:22:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :177/592 took 86719 ms. Total solver calls (SAT/UNSAT): 25168(14062/11106)
Jun 01, 2017 2:23:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/592 took 88020 ms. Total solver calls (SAT/UNSAT): 25576(14299/11277)
Jun 01, 2017 2:23:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/592 took 89337 ms. Total solver calls (SAT/UNSAT): 25984(14536/11448)
Jun 01, 2017 2:23:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/592 took 90635 ms. Total solver calls (SAT/UNSAT): 26392(14773/11619)
Jun 01, 2017 2:23:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :190/592 took 91976 ms. Total solver calls (SAT/UNSAT): 26804(15089/11715)
Jun 01, 2017 2:23:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :193/592 took 92977 ms. Total solver calls (SAT/UNSAT): 27113(15326/11787)
Jun 01, 2017 2:23:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/592 took 94329 ms. Total solver calls (SAT/UNSAT): 27525(15642/11883)
Jun 01, 2017 2:23:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :201/592 took 95659 ms. Total solver calls (SAT/UNSAT): 27937(15958/11979)
Jun 01, 2017 2:23:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :205/592 took 96983 ms. Total solver calls (SAT/UNSAT): 28349(16274/12075)
Jun 01, 2017 2:23:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :208/592 took 97987 ms. Total solver calls (SAT/UNSAT): 28658(16511/12147)
Jun 01, 2017 2:23:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :211/592 took 98990 ms. Total solver calls (SAT/UNSAT): 28967(16748/12219)
Jun 01, 2017 2:23:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :215/592 took 100302 ms. Total solver calls (SAT/UNSAT): 29379(17064/12315)
Jun 01, 2017 2:23:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :218/592 took 101314 ms. Total solver calls (SAT/UNSAT): 29688(17301/12387)
Jun 01, 2017 2:23:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/592 took 102316 ms. Total solver calls (SAT/UNSAT): 29997(17538/12459)
Jun 01, 2017 2:23:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :224/592 took 103601 ms. Total solver calls (SAT/UNSAT): 30405(17775/12630)
Jun 01, 2017 2:23:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :227/592 took 104831 ms. Total solver calls (SAT/UNSAT): 30780(18012/12768)
Jun 01, 2017 2:23:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :230/592 took 105834 ms. Total solver calls (SAT/UNSAT): 31089(18249/12840)
Jun 01, 2017 2:23:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :233/592 took 106851 ms. Total solver calls (SAT/UNSAT): 31398(18486/12912)
Jun 01, 2017 2:23:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 107865 ms. Total solver calls (SAT/UNSAT): 31707(18723/12984)
Jun 01, 2017 2:23:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :239/592 took 108865 ms. Total solver calls (SAT/UNSAT): 32016(18960/13056)
Jun 01, 2017 2:23:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :242/592 took 109882 ms. Total solver calls (SAT/UNSAT): 32325(19197/13128)
Jun 01, 2017 2:23:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 111214 ms. Total solver calls (SAT/UNSAT): 32737(19513/13224)
Jun 01, 2017 2:23:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :249/592 took 112221 ms. Total solver calls (SAT/UNSAT): 33046(19750/13296)
Jun 01, 2017 2:23:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :258/592 took 113234 ms. Total solver calls (SAT/UNSAT): 33397(20013/13384)
Jun 01, 2017 2:23:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :278/592 took 114249 ms. Total solver calls (SAT/UNSAT): 33729(20273/13456)
Jun 01, 2017 2:23:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :282/592 took 115564 ms. Total solver calls (SAT/UNSAT): 34141(20589/13552)
Jun 01, 2017 2:23:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/592 took 116650 ms. Total solver calls (SAT/UNSAT): 34571(20819/13752)
Jun 01, 2017 2:23:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :302/592 took 117663 ms. Total solver calls (SAT/UNSAT): 34938(21049/13889)
Jun 01, 2017 2:23:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :313/592 took 118711 ms. Total solver calls (SAT/UNSAT): 35314(21302/14012)
Jun 01, 2017 2:23:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :317/592 took 120093 ms. Total solver calls (SAT/UNSAT): 35864(21562/14302)
Jun 01, 2017 2:23:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :320/592 took 121375 ms. Total solver calls (SAT/UNSAT): 36383(21799/14584)
Jun 01, 2017 2:23:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/592 took 122449 ms. Total solver calls (SAT/UNSAT): 36801(22003/14798)
Jun 01, 2017 2:23:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/592 took 123645 ms. Total solver calls (SAT/UNSAT): 37255(22230/15025)
Jun 01, 2017 2:23:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/592 took 124733 ms. Total solver calls (SAT/UNSAT): 37644(22447/15197)
Jun 01, 2017 2:23:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :346/592 took 125838 ms. Total solver calls (SAT/UNSAT): 38039(22677/15362)
Jun 01, 2017 2:23:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/592 took 127135 ms. Total solver calls (SAT/UNSAT): 38558(22914/15644)
Jun 01, 2017 2:23:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/592 took 128425 ms. Total solver calls (SAT/UNSAT): 39077(23151/15926)
Jun 01, 2017 2:23:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/592 took 129724 ms. Total solver calls (SAT/UNSAT): 39596(23388/16208)
Jun 01, 2017 2:23:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :358/592 took 130997 ms. Total solver calls (SAT/UNSAT): 40115(23625/16490)
Jun 01, 2017 2:23:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :361/592 took 132289 ms. Total solver calls (SAT/UNSAT): 40634(23862/16772)
Jun 01, 2017 2:23:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/592 took 133577 ms. Total solver calls (SAT/UNSAT): 41153(24099/17054)
Jun 01, 2017 2:23:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/592 took 134854 ms. Total solver calls (SAT/UNSAT): 41672(24336/17336)
Jun 01, 2017 2:23:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/592 took 136137 ms. Total solver calls (SAT/UNSAT): 42191(24573/17618)
Jun 01, 2017 2:23:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :373/592 took 137401 ms. Total solver calls (SAT/UNSAT): 42710(24810/17900)
Jun 01, 2017 2:23:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/592 took 138665 ms. Total solver calls (SAT/UNSAT): 43229(25047/18182)
Jun 01, 2017 2:23:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/592 took 139926 ms. Total solver calls (SAT/UNSAT): 43748(25284/18464)
Jun 01, 2017 2:23:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/592 took 140995 ms. Total solver calls (SAT/UNSAT): 44064(25442/18622)
Jun 01, 2017 2:23:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/592 took 142363 ms. Total solver calls (SAT/UNSAT): 44568(25679/18889)
Jun 01, 2017 2:23:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/592 took 143776 ms. Total solver calls (SAT/UNSAT): 45072(25916/19156)
Jun 01, 2017 2:23:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/592 took 144842 ms. Total solver calls (SAT/UNSAT): 45388(26074/19314)
Jun 01, 2017 2:23:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/592 took 145918 ms. Total solver calls (SAT/UNSAT): 45704(26232/19472)
Jun 01, 2017 2:23:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/592 took 146991 ms. Total solver calls (SAT/UNSAT): 46020(26390/19630)
Jun 01, 2017 2:24:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/592 took 148361 ms. Total solver calls (SAT/UNSAT): 46524(26627/19897)
Jun 01, 2017 2:24:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/592 took 149645 ms. Total solver calls (SAT/UNSAT): 47043(26864/20179)
Jun 01, 2017 2:24:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/592 took 150925 ms. Total solver calls (SAT/UNSAT): 47562(27101/20461)
Jun 01, 2017 2:24:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/592 took 152205 ms. Total solver calls (SAT/UNSAT): 48081(27338/20743)
Jun 01, 2017 2:24:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/592 took 153473 ms. Total solver calls (SAT/UNSAT): 48600(27575/21025)
Jun 01, 2017 2:24:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/592 took 154846 ms. Total solver calls (SAT/UNSAT): 49104(27812/21292)
Jun 01, 2017 2:24:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/592 took 155909 ms. Total solver calls (SAT/UNSAT): 49420(27970/21450)
Jun 01, 2017 2:24:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/592 took 156958 ms. Total solver calls (SAT/UNSAT): 49736(28128/21608)
Jun 01, 2017 2:24:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/592 took 158009 ms. Total solver calls (SAT/UNSAT): 50052(28286/21766)
Jun 01, 2017 2:24:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 159072 ms. Total solver calls (SAT/UNSAT): 50368(28444/21924)
Jun 01, 2017 2:24:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/592 took 160115 ms. Total solver calls (SAT/UNSAT): 50684(28602/22082)
Jun 01, 2017 2:24:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/592 took 161172 ms. Total solver calls (SAT/UNSAT): 51000(28760/22240)
Jun 01, 2017 2:24:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/592 took 162225 ms. Total solver calls (SAT/UNSAT): 51316(28918/22398)
Jun 01, 2017 2:24:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/592 took 163282 ms. Total solver calls (SAT/UNSAT): 51632(29076/22556)
Jun 01, 2017 2:24:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 164366 ms. Total solver calls (SAT/UNSAT): 51948(29234/22714)
Jun 01, 2017 2:24:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 165430 ms. Total solver calls (SAT/UNSAT): 52264(29392/22872)
Jun 01, 2017 2:24:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/592 took 166499 ms. Total solver calls (SAT/UNSAT): 52580(29550/23030)
Jun 01, 2017 2:24:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/592 took 167561 ms. Total solver calls (SAT/UNSAT): 52896(29708/23188)
Jun 01, 2017 2:24:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 168636 ms. Total solver calls (SAT/UNSAT): 53212(29866/23346)
Jun 01, 2017 2:24:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/592 took 169700 ms. Total solver calls (SAT/UNSAT): 53528(30024/23504)
Jun 01, 2017 2:24:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/592 took 170776 ms. Total solver calls (SAT/UNSAT): 53844(30182/23662)
Jun 01, 2017 2:24:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 171809 ms. Total solver calls (SAT/UNSAT): 54160(30340/23820)
Jun 01, 2017 2:24:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/592 took 172867 ms. Total solver calls (SAT/UNSAT): 54476(30498/23978)
Jun 01, 2017 2:24:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/592 took 173926 ms. Total solver calls (SAT/UNSAT): 54792(30656/24136)
Jun 01, 2017 2:24:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/592 took 175239 ms. Total solver calls (SAT/UNSAT): 55311(30893/24418)
Jun 01, 2017 2:24:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/592 took 176556 ms. Total solver calls (SAT/UNSAT): 55830(31130/24700)
Jun 01, 2017 2:24:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/592 took 177870 ms. Total solver calls (SAT/UNSAT): 56349(31367/24982)
Jun 01, 2017 2:24:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/592 took 179274 ms. Total solver calls (SAT/UNSAT): 56853(31604/25249)
Jun 01, 2017 2:24:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 180319 ms. Total solver calls (SAT/UNSAT): 57169(31762/25407)
Jun 01, 2017 2:24:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/592 took 181376 ms. Total solver calls (SAT/UNSAT): 57485(31920/25565)
Jun 01, 2017 2:24:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/592 took 182436 ms. Total solver calls (SAT/UNSAT): 57801(32078/25723)
Jun 01, 2017 2:24:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 183505 ms. Total solver calls (SAT/UNSAT): 58117(32236/25881)
Jun 01, 2017 2:24:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/592 took 184564 ms. Total solver calls (SAT/UNSAT): 58433(32394/26039)
Jun 01, 2017 2:24:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/592 took 185621 ms. Total solver calls (SAT/UNSAT): 58749(32552/26197)
Jun 01, 2017 2:24:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 186683 ms. Total solver calls (SAT/UNSAT): 59065(32710/26355)
Jun 01, 2017 2:24:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/592 took 188097 ms. Total solver calls (SAT/UNSAT): 59569(32947/26622)
Jun 01, 2017 2:24:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/592 took 189421 ms. Total solver calls (SAT/UNSAT): 60088(33184/26904)
Jun 01, 2017 2:24:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/592 took 190730 ms. Total solver calls (SAT/UNSAT): 60607(33421/27186)
Jun 01, 2017 2:24:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/592 took 192044 ms. Total solver calls (SAT/UNSAT): 61126(33658/27468)
Jun 01, 2017 2:24:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/592 took 193366 ms. Total solver calls (SAT/UNSAT): 61645(33895/27750)
Jun 01, 2017 2:24:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/592 took 194676 ms. Total solver calls (SAT/UNSAT): 62164(34132/28032)
Jun 01, 2017 2:24:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/592 took 195984 ms. Total solver calls (SAT/UNSAT): 62683(34369/28314)
Jun 01, 2017 2:24:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/592 took 197294 ms. Total solver calls (SAT/UNSAT): 63202(34606/28596)
Jun 01, 2017 2:24:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/592 took 198606 ms. Total solver calls (SAT/UNSAT): 63721(34843/28878)
Jun 01, 2017 2:24:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/592 took 199926 ms. Total solver calls (SAT/UNSAT): 64240(35080/29160)
Jun 01, 2017 2:24:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/592 took 201211 ms. Total solver calls (SAT/UNSAT): 64759(35317/29442)
Jun 01, 2017 2:24:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/592 took 202493 ms. Total solver calls (SAT/UNSAT): 65278(35554/29724)
Jun 01, 2017 2:24:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/592 took 203789 ms. Total solver calls (SAT/UNSAT): 65797(35791/30006)
Jun 01, 2017 2:24:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/592 took 205098 ms. Total solver calls (SAT/UNSAT): 66316(36028/30288)
Jun 01, 2017 2:24:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/592 took 206402 ms. Total solver calls (SAT/UNSAT): 66835(36265/30570)
Jun 01, 2017 2:25:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/592 took 207701 ms. Total solver calls (SAT/UNSAT): 67354(36502/30852)
Jun 01, 2017 2:25:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/592 took 209216 ms. Total solver calls (SAT/UNSAT): 67843(36739/31104)
Jun 01, 2017 2:25:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/592 took 210285 ms. Total solver calls (SAT/UNSAT): 68159(36897/31262)
Jun 01, 2017 2:25:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/592 took 211352 ms. Total solver calls (SAT/UNSAT): 68475(37055/31420)
Jun 01, 2017 2:25:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/592 took 212423 ms. Total solver calls (SAT/UNSAT): 68791(37213/31578)
Jun 01, 2017 2:25:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/592 took 213487 ms. Total solver calls (SAT/UNSAT): 69107(37371/31736)
Jun 01, 2017 2:25:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/592 took 214839 ms. Total solver calls (SAT/UNSAT): 69611(37608/32003)
Jun 01, 2017 2:25:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/592 took 216095 ms. Total solver calls (SAT/UNSAT): 70130(37845/32285)
Jun 01, 2017 2:25:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/592 took 217156 ms. Total solver calls (SAT/UNSAT): 70446(38003/32443)
Jun 01, 2017 2:25:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/592 took 218214 ms. Total solver calls (SAT/UNSAT): 70762(38161/32601)
Jun 01, 2017 2:25:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/592 took 219279 ms. Total solver calls (SAT/UNSAT): 71078(38319/32759)
Jun 01, 2017 2:25:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/592 took 220382 ms. Total solver calls (SAT/UNSAT): 71394(38477/32917)
Jun 01, 2017 2:25:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 221452 ms. Total solver calls (SAT/UNSAT): 71710(38635/33075)
Jun 01, 2017 2:25:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/592 took 222527 ms. Total solver calls (SAT/UNSAT): 72026(38793/33233)
Jun 01, 2017 2:25:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/592 took 223573 ms. Total solver calls (SAT/UNSAT): 72342(38951/33391)
Jun 01, 2017 2:25:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/592 took 224629 ms. Total solver calls (SAT/UNSAT): 72658(39109/33549)
Jun 01, 2017 2:25:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/592 took 225715 ms. Total solver calls (SAT/UNSAT): 72974(39267/33707)
Jun 01, 2017 2:25:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/592 took 226765 ms. Total solver calls (SAT/UNSAT): 73290(39425/33865)
Jun 01, 2017 2:25:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/592 took 227854 ms. Total solver calls (SAT/UNSAT): 73606(39583/34023)
Jun 01, 2017 2:25:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/592 took 228912 ms. Total solver calls (SAT/UNSAT): 73922(39741/34181)
Jun 01, 2017 2:25:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/592 took 229966 ms. Total solver calls (SAT/UNSAT): 74238(39899/34339)
Jun 01, 2017 2:25:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/592 took 231032 ms. Total solver calls (SAT/UNSAT): 74554(40057/34497)
Jun 01, 2017 2:25:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/592 took 232103 ms. Total solver calls (SAT/UNSAT): 74870(40215/34655)
Jun 01, 2017 2:25:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/592 took 233167 ms. Total solver calls (SAT/UNSAT): 75186(40373/34813)
Jun 01, 2017 2:25:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/592 took 234243 ms. Total solver calls (SAT/UNSAT): 75502(40531/34971)
Jun 01, 2017 2:25:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/592 took 235319 ms. Total solver calls (SAT/UNSAT): 75818(40689/35129)
Jun 01, 2017 2:25:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/592 took 236386 ms. Total solver calls (SAT/UNSAT): 76134(40847/35287)
Jun 01, 2017 2:25:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/592 took 237467 ms. Total solver calls (SAT/UNSAT): 76450(41005/35445)
Jun 01, 2017 2:25:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/592 took 238552 ms. Total solver calls (SAT/UNSAT): 76766(41163/35603)
Jun 01, 2017 2:25:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/592 took 239628 ms. Total solver calls (SAT/UNSAT): 77082(41321/35761)
Jun 01, 2017 2:25:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/592 took 240702 ms. Total solver calls (SAT/UNSAT): 77398(41479/35919)
Jun 01, 2017 2:25:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/592 took 241771 ms. Total solver calls (SAT/UNSAT): 77714(41637/36077)
Jun 01, 2017 2:25:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/592 took 242822 ms. Total solver calls (SAT/UNSAT): 78030(41795/36235)
Jun 01, 2017 2:25:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/592 took 243893 ms. Total solver calls (SAT/UNSAT): 78346(41953/36393)
Jun 01, 2017 2:25:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 244447 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 01, 2017 2:25:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 592 transitions.
Jun 01, 2017 2:25:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1154 ms. Total solver calls (SAT/UNSAT): 408(216/192)
Jun 01, 2017 2:25:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 2306 ms. Total solver calls (SAT/UNSAT): 816(432/384)
Jun 01, 2017 2:25:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 3463 ms. Total solver calls (SAT/UNSAT): 1224(648/576)
Jun 01, 2017 2:25:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 4638 ms. Total solver calls (SAT/UNSAT): 1632(864/768)
Jun 01, 2017 2:25:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/592 took 5813 ms. Total solver calls (SAT/UNSAT): 2040(1080/960)
Jun 01, 2017 2:25:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 6959 ms. Total solver calls (SAT/UNSAT): 2448(1296/1152)
Jun 01, 2017 2:25:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/592 took 8110 ms. Total solver calls (SAT/UNSAT): 2856(1512/1344)
Jun 01, 2017 2:25:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/592 took 9246 ms. Total solver calls (SAT/UNSAT): 3264(1728/1536)
Jun 01, 2017 2:25:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/592 took 10391 ms. Total solver calls (SAT/UNSAT): 3672(1944/1728)
Jun 01, 2017 2:25:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/592 took 11526 ms. Total solver calls (SAT/UNSAT): 4080(2160/1920)
Jun 01, 2017 2:25:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/592 took 12662 ms. Total solver calls (SAT/UNSAT): 4488(2376/2112)
Jun 01, 2017 2:25:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/592 took 13832 ms. Total solver calls (SAT/UNSAT): 4896(2592/2304)
Jun 01, 2017 2:25:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/592 took 14974 ms. Total solver calls (SAT/UNSAT): 5304(2808/2496)
Jun 01, 2017 2:25:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/592 took 16133 ms. Total solver calls (SAT/UNSAT): 5712(3024/2688)
Jun 01, 2017 2:25:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/592 took 17291 ms. Total solver calls (SAT/UNSAT): 6120(3240/2880)
Jun 01, 2017 2:25:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 18469 ms. Total solver calls (SAT/UNSAT): 6528(3456/3072)
Jun 01, 2017 2:25:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 19646 ms. Total solver calls (SAT/UNSAT): 6936(3672/3264)
Jun 01, 2017 2:25:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 20770 ms. Total solver calls (SAT/UNSAT): 7344(3888/3456)
Jun 01, 2017 2:25:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 21928 ms. Total solver calls (SAT/UNSAT): 7752(4104/3648)
Jun 01, 2017 2:26:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 23059 ms. Total solver calls (SAT/UNSAT): 8175(4320/3855)
Jun 01, 2017 2:26:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 24158 ms. Total solver calls (SAT/UNSAT): 8628(4536/4092)
Jun 01, 2017 2:26:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 25238 ms. Total solver calls (SAT/UNSAT): 9081(4752/4329)
Jun 01, 2017 2:26:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 26371 ms. Total solver calls (SAT/UNSAT): 9534(4968/4566)
Jun 01, 2017 2:26:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 27535 ms. Total solver calls (SAT/UNSAT): 9987(5184/4803)
Jun 01, 2017 2:26:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 28715 ms. Total solver calls (SAT/UNSAT): 10440(5400/5040)
Jun 01, 2017 2:26:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 29873 ms. Total solver calls (SAT/UNSAT): 10893(5616/5277)
Jun 01, 2017 2:26:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 31038 ms. Total solver calls (SAT/UNSAT): 11346(5832/5514)
Jun 01, 2017 2:26:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 32202 ms. Total solver calls (SAT/UNSAT): 11799(6048/5751)
Jun 01, 2017 2:26:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 33327 ms. Total solver calls (SAT/UNSAT): 12252(6264/5988)
Jun 01, 2017 2:26:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 34403 ms. Total solver calls (SAT/UNSAT): 12705(6480/6225)
Jun 01, 2017 2:26:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 35462 ms. Total solver calls (SAT/UNSAT): 13158(6696/6462)
Jun 01, 2017 2:26:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 36526 ms. Total solver calls (SAT/UNSAT): 13611(6912/6699)
Jun 01, 2017 2:26:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 37611 ms. Total solver calls (SAT/UNSAT): 14064(7128/6936)
Jun 01, 2017 2:26:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 38737 ms. Total solver calls (SAT/UNSAT): 14502(7344/7158)
Jun 01, 2017 2:26:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 40007 ms. Total solver calls (SAT/UNSAT): 14925(7560/7365)
Jun 01, 2017 2:26:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 41156 ms. Total solver calls (SAT/UNSAT): 15348(7776/7572)
Jun 01, 2017 2:26:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 42323 ms. Total solver calls (SAT/UNSAT): 15801(7992/7809)
Jun 01, 2017 2:26:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 43500 ms. Total solver calls (SAT/UNSAT): 16254(8208/8046)
Jun 01, 2017 2:26:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/592 took 44678 ms. Total solver calls (SAT/UNSAT): 16707(8424/8283)
Jun 01, 2017 2:26:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/592 took 45822 ms. Total solver calls (SAT/UNSAT): 17160(8640/8520)
Jun 01, 2017 2:26:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/592 took 46906 ms. Total solver calls (SAT/UNSAT): 17613(8856/8757)
Jun 01, 2017 2:26:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/592 took 48012 ms. Total solver calls (SAT/UNSAT): 18021(9072/8949)
Jun 01, 2017 2:26:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/592 took 49118 ms. Total solver calls (SAT/UNSAT): 18429(9288/9141)
Jun 01, 2017 2:26:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/592 took 50222 ms. Total solver calls (SAT/UNSAT): 18837(9504/9333)
Jun 01, 2017 2:26:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/592 took 51327 ms. Total solver calls (SAT/UNSAT): 19245(9720/9525)
Jun 01, 2017 2:26:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 52428 ms. Total solver calls (SAT/UNSAT): 19653(9936/9717)
Jun 01, 2017 2:26:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/592 took 53528 ms. Total solver calls (SAT/UNSAT): 20061(10152/9909)
Jun 01, 2017 2:26:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 54631 ms. Total solver calls (SAT/UNSAT): 20469(10368/10101)
Jun 01, 2017 2:26:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 55734 ms. Total solver calls (SAT/UNSAT): 20877(10584/10293)
Jun 01, 2017 2:26:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :149/592 took 56842 ms. Total solver calls (SAT/UNSAT): 21285(10800/10485)
Jun 01, 2017 2:26:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 57953 ms. Total solver calls (SAT/UNSAT): 21693(11016/10677)
Jun 01, 2017 2:26:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/592 took 59078 ms. Total solver calls (SAT/UNSAT): 22116(11232/10884)
Jun 01, 2017 2:26:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 60258 ms. Total solver calls (SAT/UNSAT): 22569(11448/11121)
Jun 01, 2017 2:26:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/592 took 61370 ms. Total solver calls (SAT/UNSAT): 22977(11664/11313)
Jun 01, 2017 2:26:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 62484 ms. Total solver calls (SAT/UNSAT): 23400(11880/11520)
Jun 01, 2017 2:26:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/592 took 63583 ms. Total solver calls (SAT/UNSAT): 23808(12096/11712)
Jun 01, 2017 2:26:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 64683 ms. Total solver calls (SAT/UNSAT): 24216(12312/11904)
Jun 01, 2017 2:26:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/592 took 65795 ms. Total solver calls (SAT/UNSAT): 24624(12528/12096)
Jun 01, 2017 2:26:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 66914 ms. Total solver calls (SAT/UNSAT): 25032(12744/12288)
Jun 01, 2017 2:26:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/592 took 68030 ms. Total solver calls (SAT/UNSAT): 25440(12960/12480)
Jun 01, 2017 2:26:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/592 took 69142 ms. Total solver calls (SAT/UNSAT): 25848(13176/12672)
Jun 01, 2017 2:26:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/592 took 70230 ms. Total solver calls (SAT/UNSAT): 26256(13392/12864)
Jun 01, 2017 2:26:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/592 took 71277 ms. Total solver calls (SAT/UNSAT): 26701(13536/13165)
Jun 01, 2017 2:26:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/592 took 72410 ms. Total solver calls (SAT/UNSAT): 27216(13656/13560)
Jun 01, 2017 2:26:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/592 took 73550 ms. Total solver calls (SAT/UNSAT): 27731(13776/13955)
Jun 01, 2017 2:26:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/592 took 74699 ms. Total solver calls (SAT/UNSAT): 28246(13896/14350)
Jun 01, 2017 2:26:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/592 took 75838 ms. Total solver calls (SAT/UNSAT): 28761(14016/14745)
Jun 01, 2017 2:26:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/592 took 76962 ms. Total solver calls (SAT/UNSAT): 29276(14136/15140)
Jun 01, 2017 2:26:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/592 took 78094 ms. Total solver calls (SAT/UNSAT): 29791(14256/15535)
Jun 01, 2017 2:26:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/592 took 79290 ms. Total solver calls (SAT/UNSAT): 30269(14448/15821)
Jun 01, 2017 2:26:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/592 took 80398 ms. Total solver calls (SAT/UNSAT): 30677(14664/16013)
Jun 01, 2017 2:26:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 81513 ms. Total solver calls (SAT/UNSAT): 31192(14784/16408)
Jun 01, 2017 2:26:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 82646 ms. Total solver calls (SAT/UNSAT): 31707(14904/16803)
Jun 01, 2017 2:27:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/592 took 83775 ms. Total solver calls (SAT/UNSAT): 32222(15024/17198)
Jun 01, 2017 2:27:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 84919 ms. Total solver calls (SAT/UNSAT): 32737(15144/17593)
Jun 01, 2017 2:27:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/592 took 85950 ms. Total solver calls (SAT/UNSAT): 33211(15256/17955)
Jun 01, 2017 2:27:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :276/592 took 86956 ms. Total solver calls (SAT/UNSAT): 33715(15400/18315)
Jun 01, 2017 2:27:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/592 took 87957 ms. Total solver calls (SAT/UNSAT): 34184(15516/18668)
Jun 01, 2017 2:27:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :294/592 took 88960 ms. Total solver calls (SAT/UNSAT): 34650(15736/18914)
Jun 01, 2017 2:27:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :306/592 took 89997 ms. Total solver calls (SAT/UNSAT): 35082(15976/19106)
Jun 01, 2017 2:27:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/592 took 91420 ms. Total solver calls (SAT/UNSAT): 35691(16264/19427)
Jun 01, 2017 2:27:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/592 took 92743 ms. Total solver calls (SAT/UNSAT): 36210(16546/19664)
Jun 01, 2017 2:27:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/592 took 94056 ms. Total solver calls (SAT/UNSAT): 36729(16828/19901)
Jun 01, 2017 2:27:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/592 took 95398 ms. Total solver calls (SAT/UNSAT): 37255(17116/20139)
Jun 01, 2017 2:27:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/592 took 96399 ms. Total solver calls (SAT/UNSAT): 37644(17330/20314)
Jun 01, 2017 2:27:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/592 took 97753 ms. Total solver calls (SAT/UNSAT): 38212(17624/20588)
Jun 01, 2017 2:27:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/592 took 99062 ms. Total solver calls (SAT/UNSAT): 38731(17906/20825)
Jun 01, 2017 2:27:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/592 took 100388 ms. Total solver calls (SAT/UNSAT): 39250(18188/21062)
Jun 01, 2017 2:27:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/592 took 101683 ms. Total solver calls (SAT/UNSAT): 39769(18470/21299)
Jun 01, 2017 2:27:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/592 took 102979 ms. Total solver calls (SAT/UNSAT): 40288(18752/21536)
Jun 01, 2017 2:27:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/592 took 104300 ms. Total solver calls (SAT/UNSAT): 40807(19034/21773)
Jun 01, 2017 2:27:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/592 took 105591 ms. Total solver calls (SAT/UNSAT): 41326(19316/22010)
Jun 01, 2017 2:27:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/592 took 106897 ms. Total solver calls (SAT/UNSAT): 41845(19598/22247)
Jun 01, 2017 2:27:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/592 took 108205 ms. Total solver calls (SAT/UNSAT): 42364(19880/22484)
Jun 01, 2017 2:27:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/592 took 109510 ms. Total solver calls (SAT/UNSAT): 42883(20162/22721)
Jun 01, 2017 2:27:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/592 took 110821 ms. Total solver calls (SAT/UNSAT): 43402(20444/22958)
Jun 01, 2017 2:27:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/592 took 112124 ms. Total solver calls (SAT/UNSAT): 43906(20726/23180)
Jun 01, 2017 2:27:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/592 took 113406 ms. Total solver calls (SAT/UNSAT): 44395(21008/23387)
Jun 01, 2017 2:27:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/592 took 114732 ms. Total solver calls (SAT/UNSAT): 44914(21290/23624)
Jun 01, 2017 2:27:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/592 took 116044 ms. Total solver calls (SAT/UNSAT): 45388(21572/23816)
Jun 01, 2017 2:27:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/592 took 117321 ms. Total solver calls (SAT/UNSAT): 45862(21854/24008)
Jun 01, 2017 2:27:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/592 took 118608 ms. Total solver calls (SAT/UNSAT): 46351(22136/24215)
Jun 01, 2017 2:27:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/592 took 119906 ms. Total solver calls (SAT/UNSAT): 46870(22418/24452)
Jun 01, 2017 2:27:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/592 took 121204 ms. Total solver calls (SAT/UNSAT): 47389(22700/24689)
Jun 01, 2017 2:27:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/592 took 122522 ms. Total solver calls (SAT/UNSAT): 47908(22982/24926)
Jun 01, 2017 2:27:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/592 took 123839 ms. Total solver calls (SAT/UNSAT): 48427(23264/25163)
Jun 01, 2017 2:27:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/592 took 125151 ms. Total solver calls (SAT/UNSAT): 48946(23546/25400)
Jun 01, 2017 2:27:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/592 took 126442 ms. Total solver calls (SAT/UNSAT): 49420(23828/25592)
Jun 01, 2017 2:27:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/592 took 127747 ms. Total solver calls (SAT/UNSAT): 49894(24110/25784)
Jun 01, 2017 2:27:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 129050 ms. Total solver calls (SAT/UNSAT): 50368(24392/25976)
Jun 01, 2017 2:27:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/592 took 130352 ms. Total solver calls (SAT/UNSAT): 50842(24674/26168)
Jun 01, 2017 2:27:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/592 took 131635 ms. Total solver calls (SAT/UNSAT): 51316(24956/26360)
Jun 01, 2017 2:27:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/592 took 132933 ms. Total solver calls (SAT/UNSAT): 51790(25238/26552)
Jun 01, 2017 2:27:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 134243 ms. Total solver calls (SAT/UNSAT): 52264(25520/26744)
Jun 01, 2017 2:27:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/592 took 135533 ms. Total solver calls (SAT/UNSAT): 52738(25802/26936)
Jun 01, 2017 2:27:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 136828 ms. Total solver calls (SAT/UNSAT): 53212(26084/27128)
Jun 01, 2017 2:27:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/592 took 138105 ms. Total solver calls (SAT/UNSAT): 53686(26366/27320)
Jun 01, 2017 2:27:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 139381 ms. Total solver calls (SAT/UNSAT): 54160(26648/27512)
Jun 01, 2017 2:27:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/592 took 140664 ms. Total solver calls (SAT/UNSAT): 54634(26930/27704)
Jun 01, 2017 2:27:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/592 took 141970 ms. Total solver calls (SAT/UNSAT): 55138(27212/27926)
Jun 01, 2017 2:28:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/592 took 143296 ms. Total solver calls (SAT/UNSAT): 55657(27494/28163)
Jun 01, 2017 2:28:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/592 took 144644 ms. Total solver calls (SAT/UNSAT): 56176(27776/28400)
Jun 01, 2017 2:28:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/592 took 145973 ms. Total solver calls (SAT/UNSAT): 56695(28058/28637)
Jun 01, 2017 2:28:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 147249 ms. Total solver calls (SAT/UNSAT): 57169(28340/28829)
Jun 01, 2017 2:28:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/592 took 148556 ms. Total solver calls (SAT/UNSAT): 57643(28622/29021)
Jun 01, 2017 2:28:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 149839 ms. Total solver calls (SAT/UNSAT): 58117(28904/29213)
Jun 01, 2017 2:28:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/592 took 151105 ms. Total solver calls (SAT/UNSAT): 58591(29186/29405)
Jun 01, 2017 2:28:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 152395 ms. Total solver calls (SAT/UNSAT): 59065(29468/29597)
Jun 01, 2017 2:28:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/592 took 153700 ms. Total solver calls (SAT/UNSAT): 59569(29750/29819)
Jun 01, 2017 2:28:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/592 took 155000 ms. Total solver calls (SAT/UNSAT): 60088(30032/30056)
Jun 01, 2017 2:28:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/592 took 156312 ms. Total solver calls (SAT/UNSAT): 60607(30314/30293)
Jun 01, 2017 2:28:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/592 took 157641 ms. Total solver calls (SAT/UNSAT): 61126(30596/30530)
Jun 01, 2017 2:28:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/592 took 158947 ms. Total solver calls (SAT/UNSAT): 61645(30878/30767)
Jun 01, 2017 2:28:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/592 took 160241 ms. Total solver calls (SAT/UNSAT): 62164(31160/31004)
Jun 01, 2017 2:28:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/592 took 161537 ms. Total solver calls (SAT/UNSAT): 62683(31442/31241)
Jun 01, 2017 2:28:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/592 took 162859 ms. Total solver calls (SAT/UNSAT): 63202(31724/31478)
Jun 01, 2017 2:28:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/592 took 164167 ms. Total solver calls (SAT/UNSAT): 63721(32006/31715)
Jun 01, 2017 2:28:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/592 took 165473 ms. Total solver calls (SAT/UNSAT): 64240(32288/31952)
Jun 01, 2017 2:28:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/592 took 166766 ms. Total solver calls (SAT/UNSAT): 64759(32570/32189)
Jun 01, 2017 2:28:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/592 took 168066 ms. Total solver calls (SAT/UNSAT): 65278(32852/32426)
Jun 01, 2017 2:28:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/592 took 169374 ms. Total solver calls (SAT/UNSAT): 65797(33134/32663)
Jun 01, 2017 2:28:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/592 took 170687 ms. Total solver calls (SAT/UNSAT): 66316(33416/32900)
Jun 01, 2017 2:28:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/592 took 172010 ms. Total solver calls (SAT/UNSAT): 66835(33698/33137)
Jun 01, 2017 2:28:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/592 took 173330 ms. Total solver calls (SAT/UNSAT): 67354(33980/33374)
Jun 01, 2017 2:28:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/592 took 174656 ms. Total solver calls (SAT/UNSAT): 67843(34262/33581)
Jun 01, 2017 2:28:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/592 took 175976 ms. Total solver calls (SAT/UNSAT): 68317(34544/33773)
Jun 01, 2017 2:28:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/592 took 177339 ms. Total solver calls (SAT/UNSAT): 68791(34826/33965)
Jun 01, 2017 2:28:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/592 took 178689 ms. Total solver calls (SAT/UNSAT): 69265(35108/34157)
Jun 01, 2017 2:28:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/592 took 179979 ms. Total solver calls (SAT/UNSAT): 69784(35390/34394)
Jun 01, 2017 2:28:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/592 took 181266 ms. Total solver calls (SAT/UNSAT): 70288(35672/34616)
Jun 01, 2017 2:28:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/592 took 182609 ms. Total solver calls (SAT/UNSAT): 70762(35954/34808)
Jun 01, 2017 2:28:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/592 took 183952 ms. Total solver calls (SAT/UNSAT): 71236(36236/35000)
Jun 01, 2017 2:28:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 185262 ms. Total solver calls (SAT/UNSAT): 71710(36518/35192)
Jun 01, 2017 2:28:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/592 took 186569 ms. Total solver calls (SAT/UNSAT): 72184(36800/35384)
Jun 01, 2017 2:28:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/592 took 187905 ms. Total solver calls (SAT/UNSAT): 72658(37082/35576)
Jun 01, 2017 2:28:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/592 took 189224 ms. Total solver calls (SAT/UNSAT): 73132(37364/35768)
Jun 01, 2017 2:28:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/592 took 190557 ms. Total solver calls (SAT/UNSAT): 73606(37646/35960)
Jun 01, 2017 2:28:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/592 took 191898 ms. Total solver calls (SAT/UNSAT): 74080(37928/36152)
Jun 01, 2017 2:28:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/592 took 193213 ms. Total solver calls (SAT/UNSAT): 74554(38210/36344)
Jun 01, 2017 2:28:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/592 took 194523 ms. Total solver calls (SAT/UNSAT): 75028(38492/36536)
Jun 01, 2017 2:28:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/592 took 195855 ms. Total solver calls (SAT/UNSAT): 75502(38774/36728)
Jun 01, 2017 2:28:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/592 took 197186 ms. Total solver calls (SAT/UNSAT): 75976(39056/36920)
Jun 01, 2017 2:28:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/592 took 198493 ms. Total solver calls (SAT/UNSAT): 76450(39338/37112)
Jun 01, 2017 2:28:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/592 took 199806 ms. Total solver calls (SAT/UNSAT): 76924(39620/37304)
Jun 01, 2017 2:28:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/592 took 201135 ms. Total solver calls (SAT/UNSAT): 77398(39902/37496)
Jun 01, 2017 2:28:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/592 took 202420 ms. Total solver calls (SAT/UNSAT): 77872(40184/37688)
Jun 01, 2017 2:29:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/592 took 203739 ms. Total solver calls (SAT/UNSAT): 78346(40466/37880)
Jun 01, 2017 2:29:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 204163 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 01, 2017 2:29:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 592 transitions.
Jun 01, 2017 2:29:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/592) took 1020 ms. Total solver calls (SAT/UNSAT): 592(592/0)
Jun 01, 2017 2:29:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1/592) took 2034 ms. Total solver calls (SAT/UNSAT): 1183(1183/0)
Jun 01, 2017 2:29:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/592) took 3038 ms. Total solver calls (SAT/UNSAT): 1773(1773/0)
Jun 01, 2017 2:29:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(3/592) took 4055 ms. Total solver calls (SAT/UNSAT): 2362(2362/0)
Jun 01, 2017 2:29:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(4/592) took 5075 ms. Total solver calls (SAT/UNSAT): 2950(2950/0)
Jun 01, 2017 2:29:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(6/592) took 7072 ms. Total solver calls (SAT/UNSAT): 4123(4123/0)
Jun 01, 2017 2:29:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(7/592) took 8080 ms. Total solver calls (SAT/UNSAT): 4708(4708/0)
Jun 01, 2017 2:29:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(8/592) took 9101 ms. Total solver calls (SAT/UNSAT): 5292(5292/0)
Jun 01, 2017 2:29:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(9/592) took 10177 ms. Total solver calls (SAT/UNSAT): 5875(5875/0)
Jun 01, 2017 2:29:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(11/592) took 12153 ms. Total solver calls (SAT/UNSAT): 7038(7038/0)
Jun 01, 2017 2:29:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(13/592) took 14111 ms. Total solver calls (SAT/UNSAT): 8197(8197/0)
Jun 01, 2017 2:29:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(15/592) took 16071 ms. Total solver calls (SAT/UNSAT): 9352(9352/0)
Jun 01, 2017 2:29:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(16/592) took 17071 ms. Total solver calls (SAT/UNSAT): 9928(9928/0)
Jun 01, 2017 2:29:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(18/592) took 19060 ms. Total solver calls (SAT/UNSAT): 11077(11077/0)
Jun 01, 2017 2:29:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(19/592) took 20197 ms. Total solver calls (SAT/UNSAT): 11650(11650/0)
Jun 01, 2017 2:29:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(21/592) took 22156 ms. Total solver calls (SAT/UNSAT): 12793(12793/0)
Jun 01, 2017 2:29:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(23/592) took 24095 ms. Total solver calls (SAT/UNSAT): 13932(13932/0)
Jun 01, 2017 2:29:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(25/592) took 26023 ms. Total solver calls (SAT/UNSAT): 15067(15067/0)
Jun 01, 2017 2:29:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(27/592) took 27940 ms. Total solver calls (SAT/UNSAT): 16198(16198/0)
Jun 01, 2017 2:29:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(29/592) took 29860 ms. Total solver calls (SAT/UNSAT): 17325(17325/0)
Jun 01, 2017 2:29:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(31/592) took 31765 ms. Total solver calls (SAT/UNSAT): 18448(18448/0)
Jun 01, 2017 2:29:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(33/592) took 33649 ms. Total solver calls (SAT/UNSAT): 19567(19567/0)
Jun 01, 2017 2:29:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(35/592) took 35549 ms. Total solver calls (SAT/UNSAT): 20682(20682/0)
Jun 01, 2017 2:29:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(37/592) took 37439 ms. Total solver calls (SAT/UNSAT): 21793(21793/0)
Jun 01, 2017 2:29:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(39/592) took 39306 ms. Total solver calls (SAT/UNSAT): 22900(22900/0)
Jun 01, 2017 2:29:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(41/592) took 41167 ms. Total solver calls (SAT/UNSAT): 24003(24003/0)
Jun 01, 2017 2:29:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(43/592) took 43053 ms. Total solver calls (SAT/UNSAT): 25102(25102/0)
Jun 01, 2017 2:29:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(45/592) took 44938 ms. Total solver calls (SAT/UNSAT): 26197(26197/0)
Jun 01, 2017 2:29:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(47/592) took 46836 ms. Total solver calls (SAT/UNSAT): 27288(27288/0)
Jun 01, 2017 2:29:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(49/592) took 48668 ms. Total solver calls (SAT/UNSAT): 28375(28375/0)
Jun 01, 2017 2:29:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(51/592) took 50507 ms. Total solver calls (SAT/UNSAT): 29458(29458/0)
Jun 01, 2017 2:29:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(53/592) took 52312 ms. Total solver calls (SAT/UNSAT): 30537(30537/0)
Jun 01, 2017 2:29:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(55/592) took 54137 ms. Total solver calls (SAT/UNSAT): 31612(31612/0)
Jun 01, 2017 2:29:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(57/592) took 55956 ms. Total solver calls (SAT/UNSAT): 32683(32683/0)
Jun 01, 2017 2:29:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(59/592) took 57784 ms. Total solver calls (SAT/UNSAT): 33750(33750/0)
Jun 01, 2017 2:30:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(61/592) took 59519 ms. Total solver calls (SAT/UNSAT): 34813(34813/0)
Jun 01, 2017 2:30:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(63/592) took 61337 ms. Total solver calls (SAT/UNSAT): 35872(35872/0)
Jun 01, 2017 2:30:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(65/592) took 63034 ms. Total solver calls (SAT/UNSAT): 36927(36927/0)
Jun 01, 2017 2:30:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(67/592) took 64818 ms. Total solver calls (SAT/UNSAT): 37978(37978/0)
Jun 01, 2017 2:30:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(69/592) took 66499 ms. Total solver calls (SAT/UNSAT): 39025(39025/0)
Jun 01, 2017 2:30:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(71/592) took 68308 ms. Total solver calls (SAT/UNSAT): 40068(40068/0)
Jun 01, 2017 2:30:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(73/592) took 70164 ms. Total solver calls (SAT/UNSAT): 41107(41107/0)
Jun 01, 2017 2:30:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(75/592) took 71966 ms. Total solver calls (SAT/UNSAT): 42142(42142/0)
Jun 01, 2017 2:30:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(77/592) took 73716 ms. Total solver calls (SAT/UNSAT): 43173(43173/0)
Jun 01, 2017 2:30:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(79/592) took 75502 ms. Total solver calls (SAT/UNSAT): 44200(44200/0)
Jun 01, 2017 2:30:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(81/592) took 77239 ms. Total solver calls (SAT/UNSAT): 45223(45223/0)
Jun 01, 2017 2:30:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(83/592) took 79018 ms. Total solver calls (SAT/UNSAT): 46242(46242/0)
Jun 01, 2017 2:30:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(85/592) took 80768 ms. Total solver calls (SAT/UNSAT): 47257(47257/0)
Jun 01, 2017 2:30:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(87/592) took 82439 ms. Total solver calls (SAT/UNSAT): 48268(48268/0)
Jun 01, 2017 2:30:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(89/592) took 84149 ms. Total solver calls (SAT/UNSAT): 49275(49275/0)
Jun 01, 2017 2:30:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(91/592) took 85749 ms. Total solver calls (SAT/UNSAT): 50278(50278/0)
Jun 01, 2017 2:30:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(93/592) took 87473 ms. Total solver calls (SAT/UNSAT): 51277(51277/0)
Jun 01, 2017 2:30:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(95/592) took 89076 ms. Total solver calls (SAT/UNSAT): 52272(52272/0)
Jun 01, 2017 2:30:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(97/592) took 90782 ms. Total solver calls (SAT/UNSAT): 53263(53263/0)
Jun 01, 2017 2:30:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(99/592) took 92372 ms. Total solver calls (SAT/UNSAT): 54250(54250/0)
Jun 01, 2017 2:30:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(101/592) took 94036 ms. Total solver calls (SAT/UNSAT): 55233(55233/0)
Jun 01, 2017 2:30:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(103/592) took 95628 ms. Total solver calls (SAT/UNSAT): 56212(56212/0)
Jun 01, 2017 2:30:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(105/592) took 97263 ms. Total solver calls (SAT/UNSAT): 57187(57187/0)
Jun 01, 2017 2:30:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(107/592) took 98848 ms. Total solver calls (SAT/UNSAT): 58158(58158/0)
Jun 01, 2017 2:30:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(109/592) took 100425 ms. Total solver calls (SAT/UNSAT): 59125(59125/0)
Jun 01, 2017 2:30:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(111/592) took 102056 ms. Total solver calls (SAT/UNSAT): 60088(60088/0)
Jun 01, 2017 2:30:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(113/592) took 103699 ms. Total solver calls (SAT/UNSAT): 61047(61047/0)
Jun 01, 2017 2:30:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(115/592) took 105319 ms. Total solver calls (SAT/UNSAT): 62002(62002/0)
Jun 01, 2017 2:30:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(117/592) took 106964 ms. Total solver calls (SAT/UNSAT): 62953(62953/0)
Jun 01, 2017 2:30:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(119/592) took 108617 ms. Total solver calls (SAT/UNSAT): 63900(63900/0)
Jun 01, 2017 2:30:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(121/592) took 110139 ms. Total solver calls (SAT/UNSAT): 64843(64843/0)
Jun 01, 2017 2:30:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(123/592) took 111815 ms. Total solver calls (SAT/UNSAT): 65782(65782/0)
Jun 01, 2017 2:30:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(125/592) took 113510 ms. Total solver calls (SAT/UNSAT): 66717(66717/0)
Jun 01, 2017 2:30:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(127/592) took 115195 ms. Total solver calls (SAT/UNSAT): 67648(67648/0)
Jun 01, 2017 2:30:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(129/592) took 116866 ms. Total solver calls (SAT/UNSAT): 68575(68575/0)
Jun 01, 2017 2:31:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(131/592) took 118538 ms. Total solver calls (SAT/UNSAT): 69498(69498/0)
Jun 01, 2017 2:31:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(133/592) took 120190 ms. Total solver calls (SAT/UNSAT): 70417(70417/0)
Jun 01, 2017 2:31:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(135/592) took 121845 ms. Total solver calls (SAT/UNSAT): 71332(71332/0)
Jun 01, 2017 2:31:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(137/592) took 123497 ms. Total solver calls (SAT/UNSAT): 72243(72243/0)
Jun 01, 2017 2:31:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(139/592) took 125142 ms. Total solver calls (SAT/UNSAT): 73150(73150/0)
Jun 01, 2017 2:31:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(141/592) took 126788 ms. Total solver calls (SAT/UNSAT): 74053(74053/0)
Jun 01, 2017 2:31:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(143/592) took 128410 ms. Total solver calls (SAT/UNSAT): 74952(74952/0)
Jun 01, 2017 2:31:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(145/592) took 130038 ms. Total solver calls (SAT/UNSAT): 75847(75847/0)
Jun 01, 2017 2:31:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(147/592) took 131652 ms. Total solver calls (SAT/UNSAT): 76738(76738/0)
Jun 01, 2017 2:31:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(149/592) took 133248 ms. Total solver calls (SAT/UNSAT): 77625(77625/0)
Jun 01, 2017 2:31:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(151/592) took 134839 ms. Total solver calls (SAT/UNSAT): 78508(78508/0)
Jun 01, 2017 2:31:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(153/592) took 136448 ms. Total solver calls (SAT/UNSAT): 79387(79387/0)
Jun 01, 2017 2:31:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(155/592) took 137996 ms. Total solver calls (SAT/UNSAT): 80262(80262/0)
Jun 01, 2017 2:31:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(157/592) took 139520 ms. Total solver calls (SAT/UNSAT): 81133(81133/0)
Jun 01, 2017 2:31:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(159/592) took 141037 ms. Total solver calls (SAT/UNSAT): 82000(82000/0)
Jun 01, 2017 2:31:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(161/592) took 142608 ms. Total solver calls (SAT/UNSAT): 82863(82863/0)
Jun 01, 2017 2:31:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(163/592) took 144114 ms. Total solver calls (SAT/UNSAT): 83722(83722/0)
Jun 01, 2017 2:31:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(165/592) took 145652 ms. Total solver calls (SAT/UNSAT): 84577(84577/0)
Jun 01, 2017 2:31:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(167/592) took 147236 ms. Total solver calls (SAT/UNSAT): 85428(85428/0)
Jun 01, 2017 2:31:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(169/592) took 148762 ms. Total solver calls (SAT/UNSAT): 86275(86275/0)
Jun 01, 2017 2:31:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(171/592) took 150400 ms. Total solver calls (SAT/UNSAT): 87118(87118/0)
Jun 01, 2017 2:31:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(173/592) took 152246 ms. Total solver calls (SAT/UNSAT): 87957(87957/0)
Jun 01, 2017 2:31:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(174/592) took 153311 ms. Total solver calls (SAT/UNSAT): 88375(88375/0)
Jun 01, 2017 2:31:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(175/592) took 154371 ms. Total solver calls (SAT/UNSAT): 88792(88792/0)
Jun 01, 2017 2:31:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(177/592) took 155889 ms. Total solver calls (SAT/UNSAT): 89623(89623/0)
Jun 01, 2017 2:31:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(179/592) took 157369 ms. Total solver calls (SAT/UNSAT): 90450(90450/0)
Jun 01, 2017 2:31:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(181/592) took 158848 ms. Total solver calls (SAT/UNSAT): 91273(91273/0)
Jun 01, 2017 2:31:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(183/592) took 160342 ms. Total solver calls (SAT/UNSAT): 92092(92092/0)
Jun 01, 2017 2:31:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(185/592) took 161824 ms. Total solver calls (SAT/UNSAT): 92907(92907/0)
Jun 01, 2017 2:31:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(187/592) took 163260 ms. Total solver calls (SAT/UNSAT): 93718(93718/0)
Jun 01, 2017 2:31:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(189/592) took 164629 ms. Total solver calls (SAT/UNSAT): 94525(94525/0)
Jun 01, 2017 2:31:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(191/592) took 166002 ms. Total solver calls (SAT/UNSAT): 95328(95328/0)
Jun 01, 2017 2:31:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(193/592) took 167337 ms. Total solver calls (SAT/UNSAT): 96127(96127/0)
Jun 01, 2017 2:31:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(195/592) took 168676 ms. Total solver calls (SAT/UNSAT): 96922(96922/0)
Jun 01, 2017 2:31:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(197/592) took 170004 ms. Total solver calls (SAT/UNSAT): 97713(97713/0)
Jun 01, 2017 2:31:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(199/592) took 171325 ms. Total solver calls (SAT/UNSAT): 98500(98500/0)
Jun 01, 2017 2:31:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(201/592) took 172656 ms. Total solver calls (SAT/UNSAT): 99283(99283/0)
Jun 01, 2017 2:31:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(203/592) took 173974 ms. Total solver calls (SAT/UNSAT): 100062(100062/0)
Jun 01, 2017 2:31:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(205/592) took 175283 ms. Total solver calls (SAT/UNSAT): 100837(100837/0)
Jun 01, 2017 2:31:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(207/592) took 176586 ms. Total solver calls (SAT/UNSAT): 101608(101608/0)
Jun 01, 2017 2:31:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(209/592) took 177891 ms. Total solver calls (SAT/UNSAT): 102375(102375/0)
Jun 01, 2017 2:32:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(211/592) took 179176 ms. Total solver calls (SAT/UNSAT): 103138(103138/0)
Jun 01, 2017 2:32:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(213/592) took 180436 ms. Total solver calls (SAT/UNSAT): 103897(103897/0)
Jun 01, 2017 2:32:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(215/592) took 181713 ms. Total solver calls (SAT/UNSAT): 104652(104652/0)
Jun 01, 2017 2:32:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(217/592) took 182971 ms. Total solver calls (SAT/UNSAT): 105403(105403/0)
Jun 01, 2017 2:32:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(219/592) took 184236 ms. Total solver calls (SAT/UNSAT): 106150(106150/0)
Jun 01, 2017 2:32:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(221/592) took 185496 ms. Total solver calls (SAT/UNSAT): 106893(106893/0)
Jun 01, 2017 2:32:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(223/592) took 186822 ms. Total solver calls (SAT/UNSAT): 107632(107632/0)
Jun 01, 2017 2:32:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(225/592) took 188128 ms. Total solver calls (SAT/UNSAT): 108367(108367/0)
Jun 01, 2017 2:32:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(227/592) took 189404 ms. Total solver calls (SAT/UNSAT): 109098(109098/0)
Jun 01, 2017 2:32:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(229/592) took 190627 ms. Total solver calls (SAT/UNSAT): 109825(109825/0)
Jun 01, 2017 2:32:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(231/592) took 191852 ms. Total solver calls (SAT/UNSAT): 110548(110548/0)
Jun 01, 2017 2:32:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(233/592) took 193055 ms. Total solver calls (SAT/UNSAT): 111267(111267/0)
Jun 01, 2017 2:32:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(235/592) took 194265 ms. Total solver calls (SAT/UNSAT): 111982(111982/0)
Jun 01, 2017 2:32:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(237/592) took 195475 ms. Total solver calls (SAT/UNSAT): 112693(112693/0)
Jun 01, 2017 2:32:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(239/592) took 196674 ms. Total solver calls (SAT/UNSAT): 113400(113400/0)
Jun 01, 2017 2:32:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(241/592) took 197865 ms. Total solver calls (SAT/UNSAT): 114103(114103/0)
Jun 01, 2017 2:32:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(243/592) took 199025 ms. Total solver calls (SAT/UNSAT): 114802(114802/0)
Jun 01, 2017 2:32:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(245/592) took 200179 ms. Total solver calls (SAT/UNSAT): 115497(115497/0)
Jun 01, 2017 2:32:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(247/592) took 201342 ms. Total solver calls (SAT/UNSAT): 116188(116188/0)
Jun 01, 2017 2:32:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(249/592) took 202495 ms. Total solver calls (SAT/UNSAT): 116875(116875/0)
Jun 01, 2017 2:32:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(251/592) took 203565 ms. Total solver calls (SAT/UNSAT): 117558(117558/0)
Jun 01, 2017 2:32:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(254/592) took 205032 ms. Total solver calls (SAT/UNSAT): 118575(118575/0)
Jun 01, 2017 2:32:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(257/592) took 206480 ms. Total solver calls (SAT/UNSAT): 119583(119583/0)
Jun 01, 2017 2:32:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(260/592) took 207947 ms. Total solver calls (SAT/UNSAT): 120582(120582/0)
Jun 01, 2017 2:32:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(263/592) took 209409 ms. Total solver calls (SAT/UNSAT): 121572(121572/0)
Jun 01, 2017 2:32:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(265/592) took 210414 ms. Total solver calls (SAT/UNSAT): 122227(122227/0)
Jun 01, 2017 2:32:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(267/592) took 211476 ms. Total solver calls (SAT/UNSAT): 122878(122878/0)
Jun 01, 2017 2:32:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(269/592) took 212505 ms. Total solver calls (SAT/UNSAT): 123525(123525/0)
Jun 01, 2017 2:32:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(271/592) took 213510 ms. Total solver calls (SAT/UNSAT): 124168(124168/0)
Jun 01, 2017 2:32:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(274/592) took 215002 ms. Total solver calls (SAT/UNSAT): 125125(125125/0)
Jun 01, 2017 2:32:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(276/592) took 216012 ms. Total solver calls (SAT/UNSAT): 125758(125758/0)
Jun 01, 2017 2:32:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(279/592) took 217527 ms. Total solver calls (SAT/UNSAT): 126700(126700/0)
Jun 01, 2017 2:32:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(281/592) took 218576 ms. Total solver calls (SAT/UNSAT): 127323(127323/0)
Jun 01, 2017 2:32:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(283/592) took 219599 ms. Total solver calls (SAT/UNSAT): 127942(127942/0)
Jun 01, 2017 2:32:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(286/592) took 221067 ms. Total solver calls (SAT/UNSAT): 128863(128863/0)
Jun 01, 2017 2:32:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(289/592) took 222524 ms. Total solver calls (SAT/UNSAT): 129775(129775/0)
Jun 01, 2017 2:32:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(292/592) took 223958 ms. Total solver calls (SAT/UNSAT): 130678(130678/0)
Jun 01, 2017 2:32:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(295/592) took 225319 ms. Total solver calls (SAT/UNSAT): 131572(131572/0)
Jun 01, 2017 2:32:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(298/592) took 226628 ms. Total solver calls (SAT/UNSAT): 132457(132457/0)
Jun 01, 2017 2:32:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(301/592) took 227924 ms. Total solver calls (SAT/UNSAT): 133333(133333/0)
Jun 01, 2017 2:32:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(304/592) took 229198 ms. Total solver calls (SAT/UNSAT): 134200(134200/0)
Jun 01, 2017 2:32:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(307/592) took 230472 ms. Total solver calls (SAT/UNSAT): 135058(135058/0)
Jun 01, 2017 2:32:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(310/592) took 231694 ms. Total solver calls (SAT/UNSAT): 135907(135907/0)
Jun 01, 2017 2:32:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(313/592) took 232910 ms. Total solver calls (SAT/UNSAT): 136747(136747/0)
Jun 01, 2017 2:32:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(316/592) took 234229 ms. Total solver calls (SAT/UNSAT): 137578(137578/0)
Jun 01, 2017 2:32:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(319/592) took 235605 ms. Total solver calls (SAT/UNSAT): 138400(138400/0)
Jun 01, 2017 2:32:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(322/592) took 236953 ms. Total solver calls (SAT/UNSAT): 139213(139213/0)
Jun 01, 2017 2:32:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(325/592) took 238370 ms. Total solver calls (SAT/UNSAT): 140017(140017/0)
Jun 01, 2017 2:33:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(328/592) took 239760 ms. Total solver calls (SAT/UNSAT): 140812(140812/0)
Jun 01, 2017 2:33:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(331/592) took 241074 ms. Total solver calls (SAT/UNSAT): 141598(141598/0)
Jun 01, 2017 2:33:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(334/592) took 242453 ms. Total solver calls (SAT/UNSAT): 142375(142375/0)
Jun 01, 2017 2:33:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(337/592) took 243809 ms. Total solver calls (SAT/UNSAT): 143143(143143/0)
Jun 01, 2017 2:33:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(340/592) took 245060 ms. Total solver calls (SAT/UNSAT): 143902(143902/0)
Jun 01, 2017 2:33:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(343/592) took 246257 ms. Total solver calls (SAT/UNSAT): 144652(144652/0)
Jun 01, 2017 2:33:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(346/592) took 247532 ms. Total solver calls (SAT/UNSAT): 145393(145393/0)
Jun 01, 2017 2:33:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(349/592) took 248739 ms. Total solver calls (SAT/UNSAT): 146125(146125/0)
Jun 01, 2017 2:33:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(352/592) took 249937 ms. Total solver calls (SAT/UNSAT): 146848(146848/0)
Jun 01, 2017 2:33:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(355/592) took 251122 ms. Total solver calls (SAT/UNSAT): 147562(147562/0)
Jun 01, 2017 2:33:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(358/592) took 252350 ms. Total solver calls (SAT/UNSAT): 148267(148267/0)
Jun 01, 2017 2:33:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(361/592) took 253516 ms. Total solver calls (SAT/UNSAT): 148963(148963/0)
Jun 01, 2017 2:33:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(364/592) took 254664 ms. Total solver calls (SAT/UNSAT): 149650(149650/0)
Jun 01, 2017 2:33:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(367/592) took 255821 ms. Total solver calls (SAT/UNSAT): 150328(150328/0)
Jun 01, 2017 2:33:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(370/592) took 256945 ms. Total solver calls (SAT/UNSAT): 150997(150997/0)
Jun 01, 2017 2:33:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(373/592) took 258056 ms. Total solver calls (SAT/UNSAT): 151657(151657/0)
Jun 01, 2017 2:33:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(376/592) took 259156 ms. Total solver calls (SAT/UNSAT): 152308(152308/0)
Jun 01, 2017 2:33:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(379/592) took 260233 ms. Total solver calls (SAT/UNSAT): 152950(152950/0)
Jun 01, 2017 2:33:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(382/592) took 261416 ms. Total solver calls (SAT/UNSAT): 153583(153583/0)
Jun 01, 2017 2:33:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(385/592) took 262482 ms. Total solver calls (SAT/UNSAT): 154207(154207/0)
Jun 01, 2017 2:33:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(388/592) took 263584 ms. Total solver calls (SAT/UNSAT): 154822(154822/0)
Jun 01, 2017 2:33:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(391/592) took 264705 ms. Total solver calls (SAT/UNSAT): 155428(155428/0)
Jun 01, 2017 2:33:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(394/592) took 265814 ms. Total solver calls (SAT/UNSAT): 156025(156025/0)
Jun 01, 2017 2:33:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(398/592) took 267138 ms. Total solver calls (SAT/UNSAT): 156807(156807/0)
Jun 01, 2017 2:33:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(402/592) took 268433 ms. Total solver calls (SAT/UNSAT): 157573(157573/0)
Jun 01, 2017 2:33:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(406/592) took 269717 ms. Total solver calls (SAT/UNSAT): 158323(158323/0)
Jun 01, 2017 2:33:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(410/592) took 270989 ms. Total solver calls (SAT/UNSAT): 159057(159057/0)
Jun 01, 2017 2:33:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(414/592) took 272308 ms. Total solver calls (SAT/UNSAT): 159775(159775/0)
Jun 01, 2017 2:33:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(418/592) took 273609 ms. Total solver calls (SAT/UNSAT): 160477(160477/0)
Jun 01, 2017 2:33:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(422/592) took 274896 ms. Total solver calls (SAT/UNSAT): 161163(161163/0)
Jun 01, 2017 2:33:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(426/592) took 276142 ms. Total solver calls (SAT/UNSAT): 161833(161833/0)
Jun 01, 2017 2:33:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(430/592) took 277346 ms. Total solver calls (SAT/UNSAT): 162487(162487/0)
Jun 01, 2017 2:33:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(434/592) took 278524 ms. Total solver calls (SAT/UNSAT): 163125(163125/0)
Jun 01, 2017 2:33:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(438/592) took 279665 ms. Total solver calls (SAT/UNSAT): 163747(163747/0)
Jun 01, 2017 2:33:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(442/592) took 280768 ms. Total solver calls (SAT/UNSAT): 164353(164353/0)
Jun 01, 2017 2:33:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(446/592) took 281837 ms. Total solver calls (SAT/UNSAT): 164943(164943/0)
Jun 01, 2017 2:33:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(451/592) took 283061 ms. Total solver calls (SAT/UNSAT): 165658(165658/0)
Jun 01, 2017 2:33:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(456/592) took 284216 ms. Total solver calls (SAT/UNSAT): 166348(166348/0)
Jun 01, 2017 2:33:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(461/592) took 285384 ms. Total solver calls (SAT/UNSAT): 167013(167013/0)
Jun 01, 2017 2:33:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(466/592) took 286530 ms. Total solver calls (SAT/UNSAT): 167653(167653/0)
Jun 01, 2017 2:33:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(471/592) took 287731 ms. Total solver calls (SAT/UNSAT): 168268(168268/0)
Jun 01, 2017 2:33:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(476/592) took 288736 ms. Total solver calls (SAT/UNSAT): 168858(168858/0)
Jun 01, 2017 2:33:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(481/592) took 289810 ms. Total solver calls (SAT/UNSAT): 169423(169423/0)
Jun 01, 2017 2:33:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(487/592) took 290903 ms. Total solver calls (SAT/UNSAT): 170068(170068/0)
Jun 01, 2017 2:33:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(493/592) took 291931 ms. Total solver calls (SAT/UNSAT): 170677(170677/0)
Jun 01, 2017 2:33:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(499/592) took 292989 ms. Total solver calls (SAT/UNSAT): 171250(171250/0)
Jun 01, 2017 2:33:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(505/592) took 294044 ms. Total solver calls (SAT/UNSAT): 171787(171787/0)
Jun 01, 2017 2:33:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(513/592) took 295169 ms. Total solver calls (SAT/UNSAT): 172447(172447/0)
Jun 01, 2017 2:33:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(521/592) took 296197 ms. Total solver calls (SAT/UNSAT): 173043(173043/0)
Jun 01, 2017 2:33:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(529/592) took 297210 ms. Total solver calls (SAT/UNSAT): 173575(173575/0)
Jun 01, 2017 2:33:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(539/592) took 298287 ms. Total solver calls (SAT/UNSAT): 174150(174150/0)
Jun 01, 2017 2:34:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(548/592) took 299296 ms. Total solver calls (SAT/UNSAT): 174582(174582/0)
Jun 01, 2017 2:34:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(562/592) took 300331 ms. Total solver calls (SAT/UNSAT): 175093(175093/0)
Jun 01, 2017 2:34:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 301229 ms. Total solver calls (SAT/UNSAT): 175528(175528/0)
Jun 01, 2017 2:34:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 592 transitions.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PermAdmissibility-PT-10"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/PermAdmissibility-PT-10.tgz
mv PermAdmissibility-PT-10 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is PermAdmissibility-PT-10, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r040-blw7-149440486700431"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;