About the Execution of ITS-Tools for S_PermAdmissibility-PT-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15945.530 | 3600000.00 | 4613597.00 | 1839.30 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is S_PermAdmissibility-PT-20, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r120-blw7-149441652200440
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME PermAdmissibility-COL-20-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1496484250572
Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ctl command run as :
/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/ReachabilityDeadlock.pnml.gal -t CGAL -ctl DEADLOCK
No direction supplied, using forward translation only.
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 592 rows 168 cols
invariant : -1'aux8_7 + 1'c12 + -1'aux8_3 + -1'aux8_6 + -1'aux8_2 + 2'c11 + 2'c110 + 2'c9= 0
invariant : 2'c20 + 2'out7_1 + 2'out7_0 + 2'out7_3 + 2'out7_2 + 2'out7_5 + 2'out7_4 + 2'out7_7 + 2'out7_6 + 2'c19 + 1'aux13_2 + 1'aux13_1 + 1'aux13_0 + 1'aux13_7 + 1'c18 + 1'aux13_3 + 1'aux13_4 + 1'aux13_5 + 1'aux13_6 + 1'aux6_0 + 1'c12 + 1'aux6_5 + 1'aux6_1 + 1'aux6_4 + 2'c13 + 1'in3_5 + 1'in3_4 + 1'c6= 40
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + 1'out3_0 + 1'out3_1 + 1'out3_6 + 1'out3_7 + 1'out3_2 + 1'out3_3 + 1'out3_4 + 1'out3_5= 0
invariant : -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out8_1 + 1'out8_0 + 1'out8_3 + 1'out8_2 + 1'out8_6 + 1'out8_7 + 1'out8_4 + 1'out8_5= 0
invariant : 1'aux14_0 + 1'aux14_1 + 1'aux14_2 + 1'aux14_3 + 1'aux14_4 + 1'aux14_6 + 1'aux14_5 + -1'c20 + 1'aux14_7 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + 2'c14= 0
invariant : -2'c20 + -2'out7_1 + -2'out7_0 + -2'out7_3 + -2'out7_2 + -2'out7_5 + -2'out7_4 + -2'out7_7 + -2'out7_6 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -1'aux6_0 + -1'c12 + -1'aux6_5 + -1'aux6_1 + -1'aux6_4 + -2'c13 + -2'in3_5 + -2'in3_4 + 2'c5= -40
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + 1'out4_0 + 1'out4_1 + 1'out4_7 + 1'out4_6 + 1'out4_3 + 1'out4_2 + 1'out4_5 + 1'out4_4= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_4 + 1'aux16_5 + -1'c20 + -1'out7_3 + -1'out7_2 + -1'out7_7 + -1'out7_6 + 1'out5_1 + -1'c19 + 1'out5_0 + 1'out5_5 + 1'out5_4 + 1'aux15_1 + 1'aux15_0 + 1'aux15_5 + 1'aux15_4 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -1'out3_6 + -1'out3_7 + -1'out3_2 + -1'out3_3 + 1'out1_0 + 1'out1_5 + 1'out1_1 + 1'out1_4 + -1'c12 + 1'aux12_5 + 1'aux12_4 + 1'aux12_1 + 1'aux12_0 + -2'c13 + -1'c11 + 1'aux10_0 + 1'aux10_1 + 1'aux10_4 + 1'aux10_5= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_2 + 1'aux16_3 + 1'aux16_4 + 1'aux16_5 + 1'aux16_6 + 1'aux16_7 + -1'c20 + -2'c19 + -1'aux15_2 + -1'aux15_1 + -1'aux15_0 + -1'aux15_6 + -1'aux15_5 + -1'aux15_4 + -1'aux15_3 + -1'aux15_7 + -1'c18 + 2'c16= 0
invariant : -1'aux14_0 + -1'aux14_1 + -1'aux14_2 + -1'aux14_3 + -1'aux14_4 + -1'aux14_6 + -1'aux14_5 + 1'c20 + -1'aux14_7 + 2'c19 + 1'aux15_2 + 1'aux15_1 + 1'aux15_0 + 1'aux15_6 + 1'aux15_5 + 1'aux15_4 + 1'aux15_3 + 1'aux15_7 + 1'c18 + 2'c15= 0
invariant : 1'aux8_7 + -1'c12 + 1'aux8_3 + 1'aux8_6 + 1'aux8_2 + -2'c11 + -1'aux7_7 + -1'aux7_6 + -1'c110 + -1'aux7_3 + -1'aux7_2 + 2'c8= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out5_1 + 1'out5_2 + 1'out5_0 + 1'out5_5 + 1'out5_6 + 1'out5_3 + 1'out5_4 + 1'out5_7= 0
invariant : -1'aux16_0 + -1'aux16_1 + 1'aux16_2 + 1'aux16_3 + -1'aux16_4 + -1'aux16_5 + 1'aux16_6 + 1'aux16_7 + 1'c20 + 2'out7_3 + 2'out7_2 + 2'out7_7 + 2'out7_6 + -2'out5_1 + -2'out5_0 + -2'out5_5 + -2'out5_4 + 1'aux15_2 + -1'aux15_1 + -1'aux15_0 + 1'aux15_6 + -1'aux15_5 + -1'aux15_4 + 1'aux15_3 + 1'aux15_7 + 1'c18 + 2'out3_6 + 2'out3_7 + 2'out3_2 + 2'out3_3 + -2'out1_0 + -2'out1_5 + -2'out1_1 + -2'out1_4 + -2'c12 + -2'aux12_5 + -2'aux12_4 + -2'aux12_1 + -2'aux12_0 + -2'c11 + 2'aux10_2 + 2'aux10_3 + 2'aux10_6 + 2'aux10_7= 0
invariant : 1'aux16_0 + 1'aux16_1 + 1'aux16_2 + 1'aux16_3 + 1'aux16_4 + 1'aux16_5 + 1'aux16_6 + 1'aux16_7 + -1'c20 + -2'c19 + 1'aux15_2 + 1'aux15_1 + 1'aux15_0 + 1'aux15_6 + 1'aux15_5 + 1'aux15_4 + 1'aux15_3 + -2'aux13_2 + -2'aux13_1 + -2'aux13_0 + 1'aux15_7 + -2'aux13_7 + -1'c18 + -2'aux13_3 + -2'aux13_4 + -2'aux13_5 + -2'aux13_6 + 2'aux12_6 + 2'aux12_5 + 2'aux12_4 + 2'aux12_3 + 2'aux12_2 + 2'aux12_1 + 2'aux12_0 + -4'c13 + 2'aux12_7= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + 1'out6_1 + 1'out6_2 + 1'out6_0 + 1'out6_6 + 1'out6_5 + 1'out6_4 + 1'out6_3 + 1'out6_7= 0
invariant : -1'in3_5 + -1'in3_4 + 1'in1_1 + 1'in1_0= 0
invariant : -1'aux16_0 + -1'aux16_1 + -1'aux16_2 + -1'aux16_3 + -1'aux16_4 + -1'aux16_5 + -1'aux16_6 + -1'aux16_7 + 1'c20 + 2'c19 + 2'c18 + 2'c17= 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + -1'c18 + 1'out2_0 + 1'out2_7 + 1'out2_5 + 1'out2_6 + 1'out2_3 + 1'out2_4 + 1'out2_1 + 1'out2_2= 0
invariant : = 0
invariant : -1'c20 + -1'out7_1 + -1'out7_0 + -1'out7_3 + -1'out7_2 + -1'out7_5 + -1'out7_4 + -1'out7_7 + -1'out7_6 + -1'c19 + -1'c18 + 1'out1_0 + 1'out1_6 + 1'out1_5 + 1'out1_7 + 1'out1_2 + 1'out1_1 + 1'out1_4 + 1'out1_3= 0
invariant : 1'aux14_0 + 1'aux14_1 + 1'aux14_2 + 1'aux14_3 + 1'aux14_4 + 1'aux14_6 + 1'aux14_5 + -1'c20 + 1'aux14_7 + -2'c19 + -1'aux13_2 + -1'aux13_1 + -1'aux13_0 + -1'aux13_7 + -1'c18 + -1'aux13_3 + -1'aux13_4 + -1'aux13_5 + -1'aux13_6 + -4'c12 + -4'c13 + 2'aux11_5 + 2'aux11_4 + 2'aux11_3 + 2'aux11_2 + 2'aux11_1 + 2'aux11_0 + 2'aux11_7 + 2'aux11_6= 0
Exit code :137
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityDeadlock = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution ReachabilityDeadlock -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination ReachabilityDeadlock -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 03, 2017 10:04:11 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 03, 2017 10:04:12 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 110 ms
Jun 03, 2017 10:04:12 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 168 places.
Jun 03, 2017 10:04:12 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 592 transitions.
Jun 03, 2017 10:04:12 AM fr.lip6.move.gal.logic.togal.ToGalTransformer toGal
WARNING: Unknown predicate type in boolean expression fr.lip6.move.gal.logic.impl.DeadlockImpl
Jun 03, 2017 10:04:12 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property PermAdmissibility-COL-20-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
Jun 03, 2017 10:04:12 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 223 ms
Jun 03, 2017 10:04:12 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityDeadlock.pnml.gal : 37 ms
Jun 03, 2017 10:04:13 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 21 place invariants in 203 ms
Jun 03, 2017 10:04:25 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 168 variables to be positive in 12299 ms
Jun 03, 2017 10:04:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 592 transitions.
Jun 03, 2017 10:04:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/592 took 515 ms. Total solver calls (SAT/UNSAT): 136(79/57)
Jun 03, 2017 10:04:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3/592 took 1976 ms. Total solver calls (SAT/UNSAT): 544(316/228)
Jun 03, 2017 10:04:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :6/592 took 3415 ms. Total solver calls (SAT/UNSAT): 952(553/399)
Jun 03, 2017 10:04:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :9/592 took 4827 ms. Total solver calls (SAT/UNSAT): 1360(790/570)
Jun 03, 2017 10:04:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 6232 ms. Total solver calls (SAT/UNSAT): 1632(948/684)
Jun 03, 2017 10:04:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :13/592 took 7652 ms. Total solver calls (SAT/UNSAT): 1904(1106/798)
Jun 03, 2017 10:04:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/592 took 9050 ms. Total solver calls (SAT/UNSAT): 2176(1264/912)
Jun 03, 2017 10:04:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 10448 ms. Total solver calls (SAT/UNSAT): 2448(1422/1026)
Jun 03, 2017 10:04:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :19/592 took 11843 ms. Total solver calls (SAT/UNSAT): 2720(1580/1140)
Jun 03, 2017 10:04:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :21/592 took 12932 ms. Total solver calls (SAT/UNSAT): 2992(1738/1254)
Jun 03, 2017 10:04:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/592 took 14348 ms. Total solver calls (SAT/UNSAT): 3400(1975/1425)
Jun 03, 2017 10:04:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/592 took 15813 ms. Total solver calls (SAT/UNSAT): 3808(2212/1596)
Jun 03, 2017 10:04:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :30/592 took 17239 ms. Total solver calls (SAT/UNSAT): 4216(2449/1767)
Jun 03, 2017 10:04:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :33/592 took 18682 ms. Total solver calls (SAT/UNSAT): 4624(2686/1938)
Jun 03, 2017 10:04:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/592 took 20065 ms. Total solver calls (SAT/UNSAT): 5032(2923/2109)
Jun 03, 2017 10:04:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/592 took 21508 ms. Total solver calls (SAT/UNSAT): 5440(3160/2280)
Jun 03, 2017 10:04:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :42/592 took 22965 ms. Total solver calls (SAT/UNSAT): 5848(3397/2451)
Jun 03, 2017 10:04:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/592 took 24343 ms. Total solver calls (SAT/UNSAT): 6256(3634/2622)
Jun 03, 2017 10:04:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/592 took 25742 ms. Total solver calls (SAT/UNSAT): 6664(3871/2793)
Jun 03, 2017 10:04:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :51/592 took 27152 ms. Total solver calls (SAT/UNSAT): 7072(4108/2964)
Jun 03, 2017 10:04:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :54/592 took 28605 ms. Total solver calls (SAT/UNSAT): 7480(4345/3135)
Jun 03, 2017 10:04:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :57/592 took 30047 ms. Total solver calls (SAT/UNSAT): 7888(4582/3306)
Jun 03, 2017 10:04:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/592 took 31376 ms. Total solver calls (SAT/UNSAT): 8326(4819/3507)
Jun 03, 2017 10:04:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :63/592 took 32690 ms. Total solver calls (SAT/UNSAT): 8779(5056/3723)
Jun 03, 2017 10:04:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :66/592 took 33973 ms. Total solver calls (SAT/UNSAT): 9232(5293/3939)
Jun 03, 2017 10:05:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :69/592 took 35234 ms. Total solver calls (SAT/UNSAT): 9685(5530/4155)
Jun 03, 2017 10:05:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/592 took 36540 ms. Total solver calls (SAT/UNSAT): 10138(5767/4371)
Jun 03, 2017 10:05:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :75/592 took 37840 ms. Total solver calls (SAT/UNSAT): 10591(6004/4587)
Jun 03, 2017 10:05:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :78/592 took 39119 ms. Total solver calls (SAT/UNSAT): 11044(6241/4803)
Jun 03, 2017 10:05:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :81/592 took 40393 ms. Total solver calls (SAT/UNSAT): 11497(6478/5019)
Jun 03, 2017 10:05:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/592 took 41678 ms. Total solver calls (SAT/UNSAT): 11950(6715/5235)
Jun 03, 2017 10:05:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :87/592 took 42969 ms. Total solver calls (SAT/UNSAT): 12403(6952/5451)
Jun 03, 2017 10:05:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/592 took 44256 ms. Total solver calls (SAT/UNSAT): 12856(7189/5667)
Jun 03, 2017 10:05:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :93/592 took 45542 ms. Total solver calls (SAT/UNSAT): 13309(7426/5883)
Jun 03, 2017 10:05:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/592 took 46821 ms. Total solver calls (SAT/UNSAT): 13762(7663/6099)
Jun 03, 2017 10:05:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :99/592 took 48085 ms. Total solver calls (SAT/UNSAT): 14215(7900/6315)
Jun 03, 2017 10:05:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :102/592 took 49386 ms. Total solver calls (SAT/UNSAT): 14653(8137/6516)
Jun 03, 2017 10:05:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :105/592 took 50832 ms. Total solver calls (SAT/UNSAT): 15061(8374/6687)
Jun 03, 2017 10:05:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/592 took 52137 ms. Total solver calls (SAT/UNSAT): 15499(8611/6888)
Jun 03, 2017 10:05:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :111/592 took 53398 ms. Total solver calls (SAT/UNSAT): 15952(8848/7104)
Jun 03, 2017 10:05:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :114/592 took 54689 ms. Total solver calls (SAT/UNSAT): 16405(9085/7320)
Jun 03, 2017 10:05:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :117/592 took 55965 ms. Total solver calls (SAT/UNSAT): 16858(9322/7536)
Jun 03, 2017 10:05:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/592 took 57312 ms. Total solver calls (SAT/UNSAT): 17311(9559/7752)
Jun 03, 2017 10:05:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :123/592 took 58684 ms. Total solver calls (SAT/UNSAT): 17749(9796/7953)
Jun 03, 2017 10:05:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :126/592 took 60103 ms. Total solver calls (SAT/UNSAT): 18157(10033/8124)
Jun 03, 2017 10:05:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :129/592 took 61464 ms. Total solver calls (SAT/UNSAT): 18565(10270/8295)
Jun 03, 2017 10:05:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/592 took 62892 ms. Total solver calls (SAT/UNSAT): 18973(10507/8466)
Jun 03, 2017 10:05:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/592 took 64357 ms. Total solver calls (SAT/UNSAT): 19381(10744/8637)
Jun 03, 2017 10:05:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/592 took 65736 ms. Total solver calls (SAT/UNSAT): 19789(10981/8808)
Jun 03, 2017 10:05:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :141/592 took 67115 ms. Total solver calls (SAT/UNSAT): 20197(11218/8979)
Jun 03, 2017 10:05:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/592 took 68521 ms. Total solver calls (SAT/UNSAT): 20605(11455/9150)
Jun 03, 2017 10:05:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/592 took 69900 ms. Total solver calls (SAT/UNSAT): 21013(11692/9321)
Jun 03, 2017 10:05:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/592 took 71296 ms. Total solver calls (SAT/UNSAT): 21421(11929/9492)
Jun 03, 2017 10:05:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/592 took 72710 ms. Total solver calls (SAT/UNSAT): 21829(12166/9663)
Jun 03, 2017 10:05:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/592 took 74076 ms. Total solver calls (SAT/UNSAT): 22267(12403/9864)
Jun 03, 2017 10:05:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :159/592 took 75403 ms. Total solver calls (SAT/UNSAT): 22705(12640/10065)
Jun 03, 2017 10:05:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/592 took 76721 ms. Total solver calls (SAT/UNSAT): 23128(12877/10251)
Jun 03, 2017 10:05:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :165/592 took 78102 ms. Total solver calls (SAT/UNSAT): 23536(13114/10422)
Jun 03, 2017 10:05:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/592 took 79466 ms. Total solver calls (SAT/UNSAT): 23944(13351/10593)
Jun 03, 2017 10:05:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/592 took 80850 ms. Total solver calls (SAT/UNSAT): 24352(13588/10764)
Jun 03, 2017 10:05:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/592 took 82225 ms. Total solver calls (SAT/UNSAT): 24760(13825/10935)
Jun 03, 2017 10:05:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :177/592 took 83556 ms. Total solver calls (SAT/UNSAT): 25168(14062/11106)
Jun 03, 2017 10:05:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/592 took 84863 ms. Total solver calls (SAT/UNSAT): 25576(14299/11277)
Jun 03, 2017 10:05:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/592 took 86269 ms. Total solver calls (SAT/UNSAT): 25984(14536/11448)
Jun 03, 2017 10:05:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/592 took 87625 ms. Total solver calls (SAT/UNSAT): 26392(14773/11619)
Jun 03, 2017 10:05:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/592 took 88657 ms. Total solver calls (SAT/UNSAT): 26701(15010/11691)
Jun 03, 2017 10:05:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/592 took 89660 ms. Total solver calls (SAT/UNSAT): 27010(15247/11763)
Jun 03, 2017 10:05:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/592 took 90679 ms. Total solver calls (SAT/UNSAT): 27319(15484/11835)
Jun 03, 2017 10:05:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :198/592 took 91708 ms. Total solver calls (SAT/UNSAT): 27628(15721/11907)
Jun 03, 2017 10:05:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :201/592 took 92740 ms. Total solver calls (SAT/UNSAT): 27937(15958/11979)
Jun 03, 2017 10:05:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/592 took 93752 ms. Total solver calls (SAT/UNSAT): 28246(16195/12051)
Jun 03, 2017 10:06:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :207/592 took 95157 ms. Total solver calls (SAT/UNSAT): 28555(16432/12123)
Jun 03, 2017 10:06:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/592 took 96598 ms. Total solver calls (SAT/UNSAT): 28864(16669/12195)
Jun 03, 2017 10:06:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :213/592 took 98053 ms. Total solver calls (SAT/UNSAT): 29173(16906/12267)
Jun 03, 2017 10:06:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/592 took 99155 ms. Total solver calls (SAT/UNSAT): 29482(17143/12339)
Jun 03, 2017 10:06:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/592 took 100234 ms. Total solver calls (SAT/UNSAT): 29791(17380/12411)
Jun 03, 2017 10:06:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/592 took 101343 ms. Total solver calls (SAT/UNSAT): 30133(17617/12516)
Jun 03, 2017 10:06:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/592 took 102683 ms. Total solver calls (SAT/UNSAT): 30541(17854/12687)
Jun 03, 2017 10:06:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/592 took 103857 ms. Total solver calls (SAT/UNSAT): 30883(18091/12792)
Jun 03, 2017 10:06:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 104889 ms. Total solver calls (SAT/UNSAT): 31192(18328/12864)
Jun 03, 2017 10:06:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/592 took 105947 ms. Total solver calls (SAT/UNSAT): 31501(18565/12936)
Jun 03, 2017 10:06:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :237/592 took 107024 ms. Total solver calls (SAT/UNSAT): 31810(18802/13008)
Jun 03, 2017 10:06:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/592 took 108122 ms. Total solver calls (SAT/UNSAT): 32119(19039/13080)
Jun 03, 2017 10:06:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/592 took 109203 ms. Total solver calls (SAT/UNSAT): 32428(19276/13152)
Jun 03, 2017 10:06:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 110254 ms. Total solver calls (SAT/UNSAT): 32737(19513/13224)
Jun 03, 2017 10:06:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :249/592 took 111317 ms. Total solver calls (SAT/UNSAT): 33046(19750/13296)
Jun 03, 2017 10:06:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :258/592 took 112390 ms. Total solver calls (SAT/UNSAT): 33397(20013/13384)
Jun 03, 2017 10:06:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/592 took 113401 ms. Total solver calls (SAT/UNSAT): 33708(20252/13456)
Jun 03, 2017 10:06:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/592 took 114542 ms. Total solver calls (SAT/UNSAT): 34038(20510/13528)
Jun 03, 2017 10:06:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :288/592 took 115616 ms. Total solver calls (SAT/UNSAT): 34399(20727/13672)
Jun 03, 2017 10:06:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :297/592 took 116623 ms. Total solver calls (SAT/UNSAT): 34758(20934/13824)
Jun 03, 2017 10:06:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :307/592 took 117730 ms. Total solver calls (SAT/UNSAT): 35118(21164/13954)
Jun 03, 2017 10:06:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/592 took 118812 ms. Total solver calls (SAT/UNSAT): 35518(21404/14114)
Jun 03, 2017 10:06:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/592 took 120184 ms. Total solver calls (SAT/UNSAT): 36037(21641/14396)
Jun 03, 2017 10:06:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/592 took 121545 ms. Total solver calls (SAT/UNSAT): 36556(21878/14678)
Jun 03, 2017 10:06:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/592 took 122984 ms. Total solver calls (SAT/UNSAT): 37046(22128/14918)
Jun 03, 2017 10:06:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :330/592 took 124336 ms. Total solver calls (SAT/UNSAT): 37428(22309/15119)
Jun 03, 2017 10:06:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/592 took 125472 ms. Total solver calls (SAT/UNSAT): 37680(22470/15210)
Jun 03, 2017 10:06:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :344/592 took 126583 ms. Total solver calls (SAT/UNSAT): 37967(22631/15336)
Jun 03, 2017 10:06:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/592 took 128107 ms. Total solver calls (SAT/UNSAT): 38385(22835/15550)
Jun 03, 2017 10:06:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/592 took 129312 ms. Total solver calls (SAT/UNSAT): 38731(22993/15738)
Jun 03, 2017 10:06:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/592 took 130523 ms. Total solver calls (SAT/UNSAT): 39077(23151/15926)
Jun 03, 2017 10:06:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/592 took 131745 ms. Total solver calls (SAT/UNSAT): 39423(23309/16114)
Jun 03, 2017 10:06:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/592 took 132982 ms. Total solver calls (SAT/UNSAT): 39769(23467/16302)
Jun 03, 2017 10:06:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/592 took 134343 ms. Total solver calls (SAT/UNSAT): 40288(23704/16584)
Jun 03, 2017 10:06:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/592 took 135660 ms. Total solver calls (SAT/UNSAT): 40807(23941/16866)
Jun 03, 2017 10:06:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/592 took 137240 ms. Total solver calls (SAT/UNSAT): 41326(24178/17148)
Jun 03, 2017 10:06:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/592 took 138437 ms. Total solver calls (SAT/UNSAT): 41672(24336/17336)
Jun 03, 2017 10:06:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/592 took 139655 ms. Total solver calls (SAT/UNSAT): 42018(24494/17524)
Jun 03, 2017 10:06:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/592 took 140874 ms. Total solver calls (SAT/UNSAT): 42364(24652/17712)
Jun 03, 2017 10:06:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :373/592 took 142127 ms. Total solver calls (SAT/UNSAT): 42710(24810/17900)
Jun 03, 2017 10:06:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/592 took 143670 ms. Total solver calls (SAT/UNSAT): 43229(25047/18182)
Jun 03, 2017 10:06:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/592 took 144908 ms. Total solver calls (SAT/UNSAT): 43575(25205/18370)
Jun 03, 2017 10:06:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/592 took 146311 ms. Total solver calls (SAT/UNSAT): 43906(25363/18543)
Jun 03, 2017 10:06:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :382/592 took 147905 ms. Total solver calls (SAT/UNSAT): 44222(25521/18701)
Jun 03, 2017 10:06:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/592 took 149106 ms. Total solver calls (SAT/UNSAT): 44568(25679/18889)
Jun 03, 2017 10:06:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/592 took 150276 ms. Total solver calls (SAT/UNSAT): 44914(25837/19077)
Jun 03, 2017 10:06:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/592 took 151407 ms. Total solver calls (SAT/UNSAT): 45230(25995/19235)
Jun 03, 2017 10:06:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/592 took 152546 ms. Total solver calls (SAT/UNSAT): 45546(26153/19393)
Jun 03, 2017 10:06:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/592 took 153640 ms. Total solver calls (SAT/UNSAT): 45862(26311/19551)
Jun 03, 2017 10:07:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/592 took 154782 ms. Total solver calls (SAT/UNSAT): 46178(26469/19709)
Jun 03, 2017 10:07:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :397/592 took 156123 ms. Total solver calls (SAT/UNSAT): 46697(26706/19991)
Jun 03, 2017 10:07:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/592 took 157452 ms. Total solver calls (SAT/UNSAT): 47216(26943/20273)
Jun 03, 2017 10:07:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/592 took 158790 ms. Total solver calls (SAT/UNSAT): 47735(27180/20555)
Jun 03, 2017 10:07:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :406/592 took 160133 ms. Total solver calls (SAT/UNSAT): 48254(27417/20837)
Jun 03, 2017 10:07:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/592 took 161478 ms. Total solver calls (SAT/UNSAT): 48773(27654/21119)
Jun 03, 2017 10:07:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/592 took 162496 ms. Total solver calls (SAT/UNSAT): 49104(27812/21292)
Jun 03, 2017 10:07:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/592 took 163756 ms. Total solver calls (SAT/UNSAT): 49420(27970/21450)
Jun 03, 2017 10:07:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/592 took 164938 ms. Total solver calls (SAT/UNSAT): 49736(28128/21608)
Jun 03, 2017 10:07:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/592 took 166114 ms. Total solver calls (SAT/UNSAT): 50052(28286/21766)
Jun 03, 2017 10:07:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/592 took 167492 ms. Total solver calls (SAT/UNSAT): 50368(28444/21924)
Jun 03, 2017 10:07:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/592 took 169036 ms. Total solver calls (SAT/UNSAT): 50684(28602/22082)
Jun 03, 2017 10:07:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/592 took 170608 ms. Total solver calls (SAT/UNSAT): 51000(28760/22240)
Jun 03, 2017 10:07:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/592 took 172196 ms. Total solver calls (SAT/UNSAT): 51316(28918/22398)
Jun 03, 2017 10:07:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/592 took 173805 ms. Total solver calls (SAT/UNSAT): 51632(29076/22556)
Jun 03, 2017 10:07:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 175426 ms. Total solver calls (SAT/UNSAT): 51948(29234/22714)
Jun 03, 2017 10:07:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/592 took 176985 ms. Total solver calls (SAT/UNSAT): 52264(29392/22872)
Jun 03, 2017 10:07:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/592 took 178158 ms. Total solver calls (SAT/UNSAT): 52580(29550/23030)
Jun 03, 2017 10:07:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/592 took 179255 ms. Total solver calls (SAT/UNSAT): 52896(29708/23188)
Jun 03, 2017 10:07:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/592 took 180445 ms. Total solver calls (SAT/UNSAT): 53212(29866/23346)
Jun 03, 2017 10:07:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/592 took 181593 ms. Total solver calls (SAT/UNSAT): 53528(30024/23504)
Jun 03, 2017 10:07:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/592 took 182724 ms. Total solver calls (SAT/UNSAT): 53844(30182/23662)
Jun 03, 2017 10:07:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/592 took 183809 ms. Total solver calls (SAT/UNSAT): 54160(30340/23820)
Jun 03, 2017 10:07:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/592 took 184971 ms. Total solver calls (SAT/UNSAT): 54476(30498/23978)
Jun 03, 2017 10:07:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/592 took 186161 ms. Total solver calls (SAT/UNSAT): 54792(30656/24136)
Jun 03, 2017 10:07:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/592 took 187574 ms. Total solver calls (SAT/UNSAT): 55311(30893/24418)
Jun 03, 2017 10:07:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/592 took 189007 ms. Total solver calls (SAT/UNSAT): 55830(31130/24700)
Jun 03, 2017 10:07:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/592 took 190493 ms. Total solver calls (SAT/UNSAT): 56349(31367/24982)
Jun 03, 2017 10:07:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/592 took 192037 ms. Total solver calls (SAT/UNSAT): 56853(31604/25249)
Jun 03, 2017 10:07:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/592 took 193180 ms. Total solver calls (SAT/UNSAT): 57169(31762/25407)
Jun 03, 2017 10:07:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/592 took 194259 ms. Total solver calls (SAT/UNSAT): 57485(31920/25565)
Jun 03, 2017 10:07:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/592 took 195418 ms. Total solver calls (SAT/UNSAT): 57801(32078/25723)
Jun 03, 2017 10:07:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/592 took 196518 ms. Total solver calls (SAT/UNSAT): 58117(32236/25881)
Jun 03, 2017 10:07:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/592 took 197671 ms. Total solver calls (SAT/UNSAT): 58433(32394/26039)
Jun 03, 2017 10:07:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/592 took 198854 ms. Total solver calls (SAT/UNSAT): 58749(32552/26197)
Jun 03, 2017 10:07:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/592 took 200020 ms. Total solver calls (SAT/UNSAT): 59065(32710/26355)
Jun 03, 2017 10:07:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :475/592 took 201052 ms. Total solver calls (SAT/UNSAT): 59396(32868/26528)
Jun 03, 2017 10:07:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :478/592 took 202504 ms. Total solver calls (SAT/UNSAT): 59915(33105/26810)
Jun 03, 2017 10:07:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/592 took 203922 ms. Total solver calls (SAT/UNSAT): 60434(33342/27092)
Jun 03, 2017 10:07:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/592 took 205340 ms. Total solver calls (SAT/UNSAT): 60953(33579/27374)
Jun 03, 2017 10:07:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :487/592 took 206750 ms. Total solver calls (SAT/UNSAT): 61472(33816/27656)
Jun 03, 2017 10:07:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :490/592 took 208127 ms. Total solver calls (SAT/UNSAT): 61991(34053/27938)
Jun 03, 2017 10:07:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :493/592 took 209503 ms. Total solver calls (SAT/UNSAT): 62510(34290/28220)
Jun 03, 2017 10:07:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/592 took 210847 ms. Total solver calls (SAT/UNSAT): 63029(34527/28502)
Jun 03, 2017 10:07:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/592 took 212230 ms. Total solver calls (SAT/UNSAT): 63548(34764/28784)
Jun 03, 2017 10:07:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :502/592 took 213610 ms. Total solver calls (SAT/UNSAT): 64067(35001/29066)
Jun 03, 2017 10:08:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :505/592 took 214967 ms. Total solver calls (SAT/UNSAT): 64586(35238/29348)
Jun 03, 2017 10:08:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/592 took 216323 ms. Total solver calls (SAT/UNSAT): 65105(35475/29630)
Jun 03, 2017 10:08:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/592 took 217658 ms. Total solver calls (SAT/UNSAT): 65624(35712/29912)
Jun 03, 2017 10:08:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :514/592 took 218977 ms. Total solver calls (SAT/UNSAT): 66143(35949/30194)
Jun 03, 2017 10:08:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :517/592 took 220385 ms. Total solver calls (SAT/UNSAT): 66662(36186/30476)
Jun 03, 2017 10:08:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/592 took 221759 ms. Total solver calls (SAT/UNSAT): 67181(36423/30758)
Jun 03, 2017 10:08:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/592 took 223213 ms. Total solver calls (SAT/UNSAT): 67685(36660/31025)
Jun 03, 2017 10:08:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/592 took 224351 ms. Total solver calls (SAT/UNSAT): 68001(36818/31183)
Jun 03, 2017 10:08:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/592 took 225514 ms. Total solver calls (SAT/UNSAT): 68317(36976/31341)
Jun 03, 2017 10:08:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/592 took 226703 ms. Total solver calls (SAT/UNSAT): 68633(37134/31499)
Jun 03, 2017 10:08:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/592 took 227890 ms. Total solver calls (SAT/UNSAT): 68949(37292/31657)
Jun 03, 2017 10:08:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/592 took 229003 ms. Total solver calls (SAT/UNSAT): 69265(37450/31815)
Jun 03, 2017 10:08:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/592 took 230391 ms. Total solver calls (SAT/UNSAT): 69784(37687/32097)
Jun 03, 2017 10:08:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/592 took 231568 ms. Total solver calls (SAT/UNSAT): 70130(37845/32285)
Jun 03, 2017 10:08:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/592 took 233176 ms. Total solver calls (SAT/UNSAT): 70446(38003/32443)
Jun 03, 2017 10:08:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/592 took 234789 ms. Total solver calls (SAT/UNSAT): 70762(38161/32601)
Jun 03, 2017 10:08:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/592 took 236394 ms. Total solver calls (SAT/UNSAT): 71078(38319/32759)
Jun 03, 2017 10:08:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/592 took 238030 ms. Total solver calls (SAT/UNSAT): 71394(38477/32917)
Jun 03, 2017 10:08:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/592 took 239636 ms. Total solver calls (SAT/UNSAT): 71710(38635/33075)
Jun 03, 2017 10:08:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/592 took 241206 ms. Total solver calls (SAT/UNSAT): 72026(38793/33233)
Jun 03, 2017 10:08:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/592 took 242752 ms. Total solver calls (SAT/UNSAT): 72342(38951/33391)
Jun 03, 2017 10:08:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/592 took 244344 ms. Total solver calls (SAT/UNSAT): 72658(39109/33549)
Jun 03, 2017 10:08:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/592 took 245987 ms. Total solver calls (SAT/UNSAT): 72974(39267/33707)
Jun 03, 2017 10:08:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/592 took 247608 ms. Total solver calls (SAT/UNSAT): 73290(39425/33865)
Jun 03, 2017 10:08:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/592 took 249290 ms. Total solver calls (SAT/UNSAT): 73606(39583/34023)
Jun 03, 2017 10:08:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/592 took 250875 ms. Total solver calls (SAT/UNSAT): 73922(39741/34181)
Jun 03, 2017 10:08:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/592 took 252476 ms. Total solver calls (SAT/UNSAT): 74238(39899/34339)
Jun 03, 2017 10:08:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/592 took 254091 ms. Total solver calls (SAT/UNSAT): 74554(40057/34497)
Jun 03, 2017 10:08:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/592 took 255701 ms. Total solver calls (SAT/UNSAT): 74870(40215/34655)
Jun 03, 2017 10:08:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/592 took 257312 ms. Total solver calls (SAT/UNSAT): 75186(40373/34813)
Jun 03, 2017 10:08:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/592 took 258936 ms. Total solver calls (SAT/UNSAT): 75502(40531/34971)
Jun 03, 2017 10:08:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/592 took 260530 ms. Total solver calls (SAT/UNSAT): 75818(40689/35129)
Jun 03, 2017 10:08:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/592 took 262165 ms. Total solver calls (SAT/UNSAT): 76134(40847/35287)
Jun 03, 2017 10:08:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/592 took 263772 ms. Total solver calls (SAT/UNSAT): 76450(41005/35445)
Jun 03, 2017 10:08:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/592 took 264874 ms. Total solver calls (SAT/UNSAT): 76766(41163/35603)
Jun 03, 2017 10:08:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/592 took 266317 ms. Total solver calls (SAT/UNSAT): 77082(41321/35761)
Jun 03, 2017 10:08:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/592 took 267958 ms. Total solver calls (SAT/UNSAT): 77398(41479/35919)
Jun 03, 2017 10:08:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/592 took 269589 ms. Total solver calls (SAT/UNSAT): 77714(41637/36077)
Jun 03, 2017 10:08:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/592 took 271245 ms. Total solver calls (SAT/UNSAT): 78030(41795/36235)
Jun 03, 2017 10:08:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/592 took 272873 ms. Total solver calls (SAT/UNSAT): 78346(41953/36393)
Jun 03, 2017 10:08:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 273738 ms. Total solver calls (SAT/UNSAT): 78504(42032/36472)
Jun 03, 2017 10:08:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 592 transitions.
Jun 03, 2017 10:09:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2/592 took 1276 ms. Total solver calls (SAT/UNSAT): 408(216/192)
Jun 03, 2017 10:09:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :5/592 took 2529 ms. Total solver calls (SAT/UNSAT): 816(432/384)
Jun 03, 2017 10:09:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/592 took 3731 ms. Total solver calls (SAT/UNSAT): 1224(648/576)
Jun 03, 2017 10:09:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/592 took 4950 ms. Total solver calls (SAT/UNSAT): 1632(864/768)
Jun 03, 2017 10:09:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :14/592 took 6193 ms. Total solver calls (SAT/UNSAT): 2040(1080/960)
Jun 03, 2017 10:09:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :17/592 took 7433 ms. Total solver calls (SAT/UNSAT): 2448(1296/1152)
Jun 03, 2017 10:09:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/592 took 8627 ms. Total solver calls (SAT/UNSAT): 2856(1512/1344)
Jun 03, 2017 10:09:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/592 took 9890 ms. Total solver calls (SAT/UNSAT): 3264(1728/1536)
Jun 03, 2017 10:09:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :26/592 took 11113 ms. Total solver calls (SAT/UNSAT): 3672(1944/1728)
Jun 03, 2017 10:09:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :29/592 took 12305 ms. Total solver calls (SAT/UNSAT): 4080(2160/1920)
Jun 03, 2017 10:09:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/592 took 13518 ms. Total solver calls (SAT/UNSAT): 4488(2376/2112)
Jun 03, 2017 10:09:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/592 took 14741 ms. Total solver calls (SAT/UNSAT): 4896(2592/2304)
Jun 03, 2017 10:09:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/592 took 15953 ms. Total solver calls (SAT/UNSAT): 5304(2808/2496)
Jun 03, 2017 10:09:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/592 took 17200 ms. Total solver calls (SAT/UNSAT): 5712(3024/2688)
Jun 03, 2017 10:09:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/592 took 18441 ms. Total solver calls (SAT/UNSAT): 6120(3240/2880)
Jun 03, 2017 10:09:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/592 took 19650 ms. Total solver calls (SAT/UNSAT): 6528(3456/3072)
Jun 03, 2017 10:09:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/592 took 20850 ms. Total solver calls (SAT/UNSAT): 6936(3672/3264)
Jun 03, 2017 10:09:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :53/592 took 22064 ms. Total solver calls (SAT/UNSAT): 7344(3888/3456)
Jun 03, 2017 10:09:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/592 took 23298 ms. Total solver calls (SAT/UNSAT): 7752(4104/3648)
Jun 03, 2017 10:09:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/592 took 24480 ms. Total solver calls (SAT/UNSAT): 8175(4320/3855)
Jun 03, 2017 10:09:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/592 took 25632 ms. Total solver calls (SAT/UNSAT): 8628(4536/4092)
Jun 03, 2017 10:09:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/592 took 26794 ms. Total solver calls (SAT/UNSAT): 9081(4752/4329)
Jun 03, 2017 10:09:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/592 took 28021 ms. Total solver calls (SAT/UNSAT): 9534(4968/4566)
Jun 03, 2017 10:09:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/592 took 29213 ms. Total solver calls (SAT/UNSAT): 9987(5184/4803)
Jun 03, 2017 10:09:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/592 took 30481 ms. Total solver calls (SAT/UNSAT): 10440(5400/5040)
Jun 03, 2017 10:09:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/592 took 31710 ms. Total solver calls (SAT/UNSAT): 10893(5616/5277)
Jun 03, 2017 10:09:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/592 took 32897 ms. Total solver calls (SAT/UNSAT): 11346(5832/5514)
Jun 03, 2017 10:09:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/592 took 34173 ms. Total solver calls (SAT/UNSAT): 11799(6048/5751)
Jun 03, 2017 10:09:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/592 took 35406 ms. Total solver calls (SAT/UNSAT): 12252(6264/5988)
Jun 03, 2017 10:09:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/592 took 36597 ms. Total solver calls (SAT/UNSAT): 12705(6480/6225)
Jun 03, 2017 10:09:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/592 took 37766 ms. Total solver calls (SAT/UNSAT): 13158(6696/6462)
Jun 03, 2017 10:09:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/592 took 38912 ms. Total solver calls (SAT/UNSAT): 13611(6912/6699)
Jun 03, 2017 10:09:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/592 took 40070 ms. Total solver calls (SAT/UNSAT): 14064(7128/6936)
Jun 03, 2017 10:09:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/592 took 41281 ms. Total solver calls (SAT/UNSAT): 14502(7344/7158)
Jun 03, 2017 10:09:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/592 took 42467 ms. Total solver calls (SAT/UNSAT): 14925(7560/7365)
Jun 03, 2017 10:09:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/592 took 43654 ms. Total solver calls (SAT/UNSAT): 15348(7776/7572)
Jun 03, 2017 10:09:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/592 took 44901 ms. Total solver calls (SAT/UNSAT): 15801(7992/7809)
Jun 03, 2017 10:09:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/592 took 46110 ms. Total solver calls (SAT/UNSAT): 16254(8208/8046)
Jun 03, 2017 10:09:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/592 took 47380 ms. Total solver calls (SAT/UNSAT): 16707(8424/8283)
Jun 03, 2017 10:09:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/592 took 48620 ms. Total solver calls (SAT/UNSAT): 17160(8640/8520)
Jun 03, 2017 10:09:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/592 took 49769 ms. Total solver calls (SAT/UNSAT): 17613(8856/8757)
Jun 03, 2017 10:09:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/592 took 50941 ms. Total solver calls (SAT/UNSAT): 18021(9072/8949)
Jun 03, 2017 10:09:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/592 took 52121 ms. Total solver calls (SAT/UNSAT): 18429(9288/9141)
Jun 03, 2017 10:09:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/592 took 53337 ms. Total solver calls (SAT/UNSAT): 18837(9504/9333)
Jun 03, 2017 10:09:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/592 took 54501 ms. Total solver calls (SAT/UNSAT): 19245(9720/9525)
Jun 03, 2017 10:09:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/592 took 55708 ms. Total solver calls (SAT/UNSAT): 19653(9936/9717)
Jun 03, 2017 10:09:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/592 took 56902 ms. Total solver calls (SAT/UNSAT): 20061(10152/9909)
Jun 03, 2017 10:09:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/592 took 58065 ms. Total solver calls (SAT/UNSAT): 20469(10368/10101)
Jun 03, 2017 10:09:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/592 took 59328 ms. Total solver calls (SAT/UNSAT): 20877(10584/10293)
Jun 03, 2017 10:09:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/592 took 60426 ms. Total solver calls (SAT/UNSAT): 21149(10728/10421)
Jun 03, 2017 10:10:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/592 took 61515 ms. Total solver calls (SAT/UNSAT): 21421(10872/10549)
Jun 03, 2017 10:10:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/592 took 62592 ms. Total solver calls (SAT/UNSAT): 21693(11016/10677)
Jun 03, 2017 10:10:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :154/592 took 63676 ms. Total solver calls (SAT/UNSAT): 21965(11160/10805)
Jun 03, 2017 10:10:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/592 took 64839 ms. Total solver calls (SAT/UNSAT): 22267(11304/10963)
Jun 03, 2017 10:10:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/592 took 65982 ms. Total solver calls (SAT/UNSAT): 22569(11448/11121)
Jun 03, 2017 10:10:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :160/592 took 67073 ms. Total solver calls (SAT/UNSAT): 22841(11592/11249)
Jun 03, 2017 10:10:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/592 took 68187 ms. Total solver calls (SAT/UNSAT): 23128(11736/11392)
Jun 03, 2017 10:10:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/592 took 69269 ms. Total solver calls (SAT/UNSAT): 23400(11880/11520)
Jun 03, 2017 10:10:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :166/592 took 70362 ms. Total solver calls (SAT/UNSAT): 23672(12024/11648)
Jun 03, 2017 10:10:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/592 took 71442 ms. Total solver calls (SAT/UNSAT): 23944(12168/11776)
Jun 03, 2017 10:10:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/592 took 72519 ms. Total solver calls (SAT/UNSAT): 24216(12312/11904)
Jun 03, 2017 10:10:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/592 took 73602 ms. Total solver calls (SAT/UNSAT): 24488(12456/12032)
Jun 03, 2017 10:10:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/592 took 74691 ms. Total solver calls (SAT/UNSAT): 24760(12600/12160)
Jun 03, 2017 10:10:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/592 took 75771 ms. Total solver calls (SAT/UNSAT): 25032(12744/12288)
Jun 03, 2017 10:10:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :178/592 took 76859 ms. Total solver calls (SAT/UNSAT): 25304(12888/12416)
Jun 03, 2017 10:10:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/592 took 77944 ms. Total solver calls (SAT/UNSAT): 25576(13032/12544)
Jun 03, 2017 10:10:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/592 took 79029 ms. Total solver calls (SAT/UNSAT): 25848(13176/12672)
Jun 03, 2017 10:10:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :184/592 took 80102 ms. Total solver calls (SAT/UNSAT): 26120(13320/12800)
Jun 03, 2017 10:10:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/592 took 81156 ms. Total solver calls (SAT/UNSAT): 26392(13464/12928)
Jun 03, 2017 10:10:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :191/592 took 82364 ms. Total solver calls (SAT/UNSAT): 26907(13584/13323)
Jun 03, 2017 10:10:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/592 took 83576 ms. Total solver calls (SAT/UNSAT): 27422(13704/13718)
Jun 03, 2017 10:10:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :201/592 took 84808 ms. Total solver calls (SAT/UNSAT): 27937(13824/14113)
Jun 03, 2017 10:10:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :205/592 took 85808 ms. Total solver calls (SAT/UNSAT): 28349(13920/14429)
Jun 03, 2017 10:10:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/592 took 86988 ms. Total solver calls (SAT/UNSAT): 28864(14040/14824)
Jun 03, 2017 10:10:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :215/592 took 88136 ms. Total solver calls (SAT/UNSAT): 29379(14160/15219)
Jun 03, 2017 10:10:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/592 took 89299 ms. Total solver calls (SAT/UNSAT): 29894(14280/15614)
Jun 03, 2017 10:10:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/592 took 90324 ms. Total solver calls (SAT/UNSAT): 30269(14448/15821)
Jun 03, 2017 10:10:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/592 took 91467 ms. Total solver calls (SAT/UNSAT): 30677(14664/16013)
Jun 03, 2017 10:10:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/592 took 92636 ms. Total solver calls (SAT/UNSAT): 31192(14784/16408)
Jun 03, 2017 10:10:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/592 took 93804 ms. Total solver calls (SAT/UNSAT): 31707(14904/16803)
Jun 03, 2017 10:10:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/592 took 94992 ms. Total solver calls (SAT/UNSAT): 32222(15024/17198)
Jun 03, 2017 10:10:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/592 took 96222 ms. Total solver calls (SAT/UNSAT): 32737(15144/17593)
Jun 03, 2017 10:10:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :251/592 took 97253 ms. Total solver calls (SAT/UNSAT): 33180(15248/17932)
Jun 03, 2017 10:10:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/592 took 98385 ms. Total solver calls (SAT/UNSAT): 33708(15400/18308)
Jun 03, 2017 10:10:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/592 took 99432 ms. Total solver calls (SAT/UNSAT): 34184(15516/18668)
Jun 03, 2017 10:10:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :294/592 took 100477 ms. Total solver calls (SAT/UNSAT): 34650(15736/18914)
Jun 03, 2017 10:10:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :306/592 took 101536 ms. Total solver calls (SAT/UNSAT): 35082(15976/19106)
Jun 03, 2017 10:10:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/592 took 102553 ms. Total solver calls (SAT/UNSAT): 35518(16170/19348)
Jun 03, 2017 10:10:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/592 took 103947 ms. Total solver calls (SAT/UNSAT): 36037(16452/19585)
Jun 03, 2017 10:10:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/592 took 105344 ms. Total solver calls (SAT/UNSAT): 36556(16734/19822)
Jun 03, 2017 10:10:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :326/592 took 106359 ms. Total solver calls (SAT/UNSAT): 36873(16908/19965)
Jun 03, 2017 10:10:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/592 took 107738 ms. Total solver calls (SAT/UNSAT): 37255(17116/20139)
Jun 03, 2017 10:10:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :333/592 took 108775 ms. Total solver calls (SAT/UNSAT): 37536(17270/20266)
Jun 03, 2017 10:10:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :341/592 took 109839 ms. Total solver calls (SAT/UNSAT): 37845(17430/20415)
Jun 03, 2017 10:10:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/592 took 111120 ms. Total solver calls (SAT/UNSAT): 38212(17624/20588)
Jun 03, 2017 10:10:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/592 took 112383 ms. Total solver calls (SAT/UNSAT): 38558(17812/20746)
Jun 03, 2017 10:10:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/592 took 113641 ms. Total solver calls (SAT/UNSAT): 38904(18000/20904)
Jun 03, 2017 10:10:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/592 took 114915 ms. Total solver calls (SAT/UNSAT): 39250(18188/21062)
Jun 03, 2017 10:10:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/592 took 116165 ms. Total solver calls (SAT/UNSAT): 39596(18376/21220)
Jun 03, 2017 10:10:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/592 took 117446 ms. Total solver calls (SAT/UNSAT): 39942(18564/21378)
Jun 03, 2017 10:10:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/592 took 118688 ms. Total solver calls (SAT/UNSAT): 40288(18752/21536)
Jun 03, 2017 10:10:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :361/592 took 119965 ms. Total solver calls (SAT/UNSAT): 40634(18940/21694)
Jun 03, 2017 10:11:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/592 took 121218 ms. Total solver calls (SAT/UNSAT): 40980(19128/21852)
Jun 03, 2017 10:11:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/592 took 122462 ms. Total solver calls (SAT/UNSAT): 41326(19316/22010)
Jun 03, 2017 10:11:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/592 took 123731 ms. Total solver calls (SAT/UNSAT): 41672(19504/22168)
Jun 03, 2017 10:11:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/592 took 124967 ms. Total solver calls (SAT/UNSAT): 42018(19692/22326)
Jun 03, 2017 10:11:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/592 took 126115 ms. Total solver calls (SAT/UNSAT): 42364(19880/22484)
Jun 03, 2017 10:11:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/592 took 127597 ms. Total solver calls (SAT/UNSAT): 42883(20162/22721)
Jun 03, 2017 10:11:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/592 took 128840 ms. Total solver calls (SAT/UNSAT): 43229(20350/22879)
Jun 03, 2017 10:11:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/592 took 130101 ms. Total solver calls (SAT/UNSAT): 43575(20538/23037)
Jun 03, 2017 10:11:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/592 took 131379 ms. Total solver calls (SAT/UNSAT): 43906(20726/23180)
Jun 03, 2017 10:11:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :382/592 took 132621 ms. Total solver calls (SAT/UNSAT): 44222(20914/23308)
Jun 03, 2017 10:11:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/592 took 133893 ms. Total solver calls (SAT/UNSAT): 44568(21102/23466)
Jun 03, 2017 10:11:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/592 took 135172 ms. Total solver calls (SAT/UNSAT): 44914(21290/23624)
Jun 03, 2017 10:11:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/592 took 136431 ms. Total solver calls (SAT/UNSAT): 45230(21478/23752)
Jun 03, 2017 10:11:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/592 took 137674 ms. Total solver calls (SAT/UNSAT): 45546(21666/23880)
Jun 03, 2017 10:11:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/592 took 138914 ms. Total solver calls (SAT/UNSAT): 45862(21854/24008)
Jun 03, 2017 10:11:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/592 took 140165 ms. Total solver calls (SAT/UNSAT): 46178(22042/24136)
Jun 03, 2017 10:11:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/592 took 141255 ms. Total solver calls (SAT/UNSAT): 46524(22230/24294)
Jun 03, 2017 10:11:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/592 took 142581 ms. Total solver calls (SAT/UNSAT): 47043(22512/24531)
Jun 03, 2017 10:11:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/592 took 143853 ms. Total solver calls (SAT/UNSAT): 47562(22794/24768)
Jun 03, 2017 10:11:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/592 took 145146 ms. Total solver calls (SAT/UNSAT): 48081(23076/25005)
Jun 03, 2017 10:11:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/592 took 146441 ms. Total solver calls (SAT/UNSAT): 48600(23358/25242)
Jun 03, 2017 10:11:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/592 took 147689 ms. Total solver calls (SAT/UNSAT): 49104(23640/25464)
Jun 03, 2017 10:11:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/592 took 148954 ms. Total solver calls (SAT/UNSAT): 49578(23922/25656)
Jun 03, 2017 10:11:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/592 took 150188 ms. Total solver calls (SAT/UNSAT): 50052(24204/25848)
Jun 03, 2017 10:11:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/592 took 151416 ms. Total solver calls (SAT/UNSAT): 50526(24486/26040)
Jun 03, 2017 10:11:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/592 took 152672 ms. Total solver calls (SAT/UNSAT): 51000(24768/26232)
Jun 03, 2017 10:11:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :426/592 took 153893 ms. Total solver calls (SAT/UNSAT): 51474(25050/26424)
Jun 03, 2017 10:11:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/592 took 155144 ms. Total solver calls (SAT/UNSAT): 51948(25332/26616)
Jun 03, 2017 10:11:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/592 took 156389 ms. Total solver calls (SAT/UNSAT): 52422(25614/26808)
Jun 03, 2017 10:11:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/592 took 157603 ms. Total solver calls (SAT/UNSAT): 52896(25896/27000)
Jun 03, 2017 10:11:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/592 took 158860 ms. Total solver calls (SAT/UNSAT): 53370(26178/27192)
Jun 03, 2017 10:11:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/592 took 160093 ms. Total solver calls (SAT/UNSAT): 53844(26460/27384)
Jun 03, 2017 10:11:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/592 took 161302 ms. Total solver calls (SAT/UNSAT): 54318(26742/27576)
Jun 03, 2017 10:11:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/592 took 162522 ms. Total solver calls (SAT/UNSAT): 54792(27024/27768)
Jun 03, 2017 10:11:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/592 took 163837 ms. Total solver calls (SAT/UNSAT): 55311(27306/28005)
Jun 03, 2017 10:11:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/592 took 165175 ms. Total solver calls (SAT/UNSAT): 55830(27588/28242)
Jun 03, 2017 10:11:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/592 took 166548 ms. Total solver calls (SAT/UNSAT): 56349(27870/28479)
Jun 03, 2017 10:11:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/592 took 167876 ms. Total solver calls (SAT/UNSAT): 56853(28152/28701)
Jun 03, 2017 10:11:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/592 took 169189 ms. Total solver calls (SAT/UNSAT): 57327(28434/28893)
Jun 03, 2017 10:11:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/592 took 170495 ms. Total solver calls (SAT/UNSAT): 57801(28716/29085)
Jun 03, 2017 10:11:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/592 took 171751 ms. Total solver calls (SAT/UNSAT): 58275(28998/29277)
Jun 03, 2017 10:11:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/592 took 172983 ms. Total solver calls (SAT/UNSAT): 58749(29280/29469)
Jun 03, 2017 10:11:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :474/592 took 174213 ms. Total solver calls (SAT/UNSAT): 59223(29562/29661)
Jun 03, 2017 10:11:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/592 took 175489 ms. Total solver calls (SAT/UNSAT): 59742(29844/29898)
Jun 03, 2017 10:11:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/592 took 176759 ms. Total solver calls (SAT/UNSAT): 60261(30126/30135)
Jun 03, 2017 10:11:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/592 took 178021 ms. Total solver calls (SAT/UNSAT): 60780(30408/30372)
Jun 03, 2017 10:11:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/592 took 179306 ms. Total solver calls (SAT/UNSAT): 61299(30690/30609)
Jun 03, 2017 10:11:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/592 took 180582 ms. Total solver calls (SAT/UNSAT): 61818(30972/30846)
Jun 03, 2017 10:12:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/592 took 181845 ms. Total solver calls (SAT/UNSAT): 62337(31254/31083)
Jun 03, 2017 10:12:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/592 took 183153 ms. Total solver calls (SAT/UNSAT): 62856(31536/31320)
Jun 03, 2017 10:12:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/592 took 184418 ms. Total solver calls (SAT/UNSAT): 63375(31818/31557)
Jun 03, 2017 10:12:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/592 took 185719 ms. Total solver calls (SAT/UNSAT): 63894(32100/31794)
Jun 03, 2017 10:12:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/592 took 186993 ms. Total solver calls (SAT/UNSAT): 64413(32382/32031)
Jun 03, 2017 10:12:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/592 took 188257 ms. Total solver calls (SAT/UNSAT): 64932(32664/32268)
Jun 03, 2017 10:12:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/592 took 189516 ms. Total solver calls (SAT/UNSAT): 65451(32946/32505)
Jun 03, 2017 10:12:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/592 took 190787 ms. Total solver calls (SAT/UNSAT): 65970(33228/32742)
Jun 03, 2017 10:12:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/592 took 192057 ms. Total solver calls (SAT/UNSAT): 66489(33510/32979)
Jun 03, 2017 10:12:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/592 took 193312 ms. Total solver calls (SAT/UNSAT): 67008(33792/33216)
Jun 03, 2017 10:12:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/592 took 194578 ms. Total solver calls (SAT/UNSAT): 67527(34074/33453)
Jun 03, 2017 10:12:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/592 took 195924 ms. Total solver calls (SAT/UNSAT): 68001(34356/33645)
Jun 03, 2017 10:12:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/592 took 197209 ms. Total solver calls (SAT/UNSAT): 68475(34638/33837)
Jun 03, 2017 10:12:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/592 took 198515 ms. Total solver calls (SAT/UNSAT): 68949(34920/34029)
Jun 03, 2017 10:12:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/592 took 199897 ms. Total solver calls (SAT/UNSAT): 69438(35202/34236)
Jun 03, 2017 10:12:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :537/592 took 201218 ms. Total solver calls (SAT/UNSAT): 69957(35484/34473)
Jun 03, 2017 10:12:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/592 took 202587 ms. Total solver calls (SAT/UNSAT): 70446(35766/34680)
Jun 03, 2017 10:12:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/592 took 203903 ms. Total solver calls (SAT/UNSAT): 70920(36048/34872)
Jun 03, 2017 10:12:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/592 took 205239 ms. Total solver calls (SAT/UNSAT): 71394(36330/35064)
Jun 03, 2017 10:12:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/592 took 206584 ms. Total solver calls (SAT/UNSAT): 71868(36612/35256)
Jun 03, 2017 10:12:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/592 took 207907 ms. Total solver calls (SAT/UNSAT): 72342(36894/35448)
Jun 03, 2017 10:12:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/592 took 209256 ms. Total solver calls (SAT/UNSAT): 72816(37176/35640)
Jun 03, 2017 10:12:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/592 took 210610 ms. Total solver calls (SAT/UNSAT): 73290(37458/35832)
Jun 03, 2017 10:12:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/592 took 211942 ms. Total solver calls (SAT/UNSAT): 73764(37740/36024)
Jun 03, 2017 10:12:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/592 took 213297 ms. Total solver calls (SAT/UNSAT): 74238(38022/36216)
Jun 03, 2017 10:12:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/592 took 214694 ms. Total solver calls (SAT/UNSAT): 74712(38304/36408)
Jun 03, 2017 10:12:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/592 took 216009 ms. Total solver calls (SAT/UNSAT): 75186(38586/36600)
Jun 03, 2017 10:12:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/592 took 217323 ms. Total solver calls (SAT/UNSAT): 75660(38868/36792)
Jun 03, 2017 10:12:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/592 took 218667 ms. Total solver calls (SAT/UNSAT): 76134(39150/36984)
Jun 03, 2017 10:12:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/592 took 220017 ms. Total solver calls (SAT/UNSAT): 76608(39432/37176)
Jun 03, 2017 10:12:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/592 took 221362 ms. Total solver calls (SAT/UNSAT): 77082(39714/37368)
Jun 03, 2017 10:12:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/592 took 222693 ms. Total solver calls (SAT/UNSAT): 77556(39996/37560)
Jun 03, 2017 10:12:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/592 took 224026 ms. Total solver calls (SAT/UNSAT): 78030(40278/37752)
Jun 03, 2017 10:12:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/592 took 225368 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 03, 2017 10:12:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 225368 ms. Total solver calls (SAT/UNSAT): 78504(40560/37944)
Jun 03, 2017 10:12:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 592 transitions.
Jun 03, 2017 10:12:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/592) took 1019 ms. Total solver calls (SAT/UNSAT): 592(592/0)
Jun 03, 2017 10:12:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1/592) took 2031 ms. Total solver calls (SAT/UNSAT): 1183(1183/0)
Jun 03, 2017 10:12:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/592) took 3035 ms. Total solver calls (SAT/UNSAT): 1773(1773/0)
Jun 03, 2017 10:12:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(3/592) took 4050 ms. Total solver calls (SAT/UNSAT): 2362(2362/0)
Jun 03, 2017 10:12:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(4/592) took 5072 ms. Total solver calls (SAT/UNSAT): 2950(2950/0)
Jun 03, 2017 10:12:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(5/592) took 6074 ms. Total solver calls (SAT/UNSAT): 3537(3537/0)
Jun 03, 2017 10:12:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(7/592) took 8067 ms. Total solver calls (SAT/UNSAT): 4708(4708/0)
Jun 03, 2017 10:12:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(8/592) took 9078 ms. Total solver calls (SAT/UNSAT): 5292(5292/0)
Jun 03, 2017 10:12:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(9/592) took 10107 ms. Total solver calls (SAT/UNSAT): 5875(5875/0)
Jun 03, 2017 10:12:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(11/592) took 12100 ms. Total solver calls (SAT/UNSAT): 7038(7038/0)
Jun 03, 2017 10:12:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(12/592) took 13105 ms. Total solver calls (SAT/UNSAT): 7618(7618/0)
Jun 03, 2017 10:12:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(14/592) took 15044 ms. Total solver calls (SAT/UNSAT): 8775(8775/0)
Jun 03, 2017 10:13:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(16/592) took 17014 ms. Total solver calls (SAT/UNSAT): 9928(9928/0)
Jun 03, 2017 10:13:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(18/592) took 18994 ms. Total solver calls (SAT/UNSAT): 11077(11077/0)
Jun 03, 2017 10:13:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(20/592) took 20937 ms. Total solver calls (SAT/UNSAT): 12222(12222/0)
Jun 03, 2017 10:13:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(22/592) took 22881 ms. Total solver calls (SAT/UNSAT): 13363(13363/0)
Jun 03, 2017 10:13:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(24/592) took 24879 ms. Total solver calls (SAT/UNSAT): 14500(14500/0)
Jun 03, 2017 10:13:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(26/592) took 26817 ms. Total solver calls (SAT/UNSAT): 15633(15633/0)
Jun 03, 2017 10:13:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(28/592) took 28702 ms. Total solver calls (SAT/UNSAT): 16762(16762/0)
Jun 03, 2017 10:13:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(30/592) took 30646 ms. Total solver calls (SAT/UNSAT): 17887(17887/0)
Jun 03, 2017 10:13:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(32/592) took 32534 ms. Total solver calls (SAT/UNSAT): 19008(19008/0)
Jun 03, 2017 10:13:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(34/592) took 34422 ms. Total solver calls (SAT/UNSAT): 20125(20125/0)
Jun 03, 2017 10:13:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(36/592) took 36288 ms. Total solver calls (SAT/UNSAT): 21238(21238/0)
Jun 03, 2017 10:13:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(38/592) took 38170 ms. Total solver calls (SAT/UNSAT): 22347(22347/0)
Jun 03, 2017 10:13:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(40/592) took 39992 ms. Total solver calls (SAT/UNSAT): 23452(23452/0)
Jun 03, 2017 10:13:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(42/592) took 41848 ms. Total solver calls (SAT/UNSAT): 24553(24553/0)
Jun 03, 2017 10:13:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(44/592) took 43702 ms. Total solver calls (SAT/UNSAT): 25650(25650/0)
Jun 03, 2017 10:13:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(46/592) took 45536 ms. Total solver calls (SAT/UNSAT): 26743(26743/0)
Jun 03, 2017 10:13:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(48/592) took 47376 ms. Total solver calls (SAT/UNSAT): 27832(27832/0)
Jun 03, 2017 10:13:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(50/592) took 49225 ms. Total solver calls (SAT/UNSAT): 28917(28917/0)
Jun 03, 2017 10:13:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(52/592) took 51035 ms. Total solver calls (SAT/UNSAT): 29998(29998/0)
Jun 03, 2017 10:13:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(54/592) took 52818 ms. Total solver calls (SAT/UNSAT): 31075(31075/0)
Jun 03, 2017 10:13:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(56/592) took 54614 ms. Total solver calls (SAT/UNSAT): 32148(32148/0)
Jun 03, 2017 10:13:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(58/592) took 56408 ms. Total solver calls (SAT/UNSAT): 33217(33217/0)
Jun 03, 2017 10:13:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(60/592) took 58144 ms. Total solver calls (SAT/UNSAT): 34282(34282/0)
Jun 03, 2017 10:13:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(62/592) took 59904 ms. Total solver calls (SAT/UNSAT): 35343(35343/0)
Jun 03, 2017 10:13:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(64/592) took 61651 ms. Total solver calls (SAT/UNSAT): 36400(36400/0)
Jun 03, 2017 10:13:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(66/592) took 63373 ms. Total solver calls (SAT/UNSAT): 37453(37453/0)
Jun 03, 2017 10:13:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(68/592) took 65094 ms. Total solver calls (SAT/UNSAT): 38502(38502/0)
Jun 03, 2017 10:13:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(70/592) took 66810 ms. Total solver calls (SAT/UNSAT): 39547(39547/0)
Jun 03, 2017 10:13:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(72/592) took 68557 ms. Total solver calls (SAT/UNSAT): 40588(40588/0)
Jun 03, 2017 10:13:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(74/592) took 70322 ms. Total solver calls (SAT/UNSAT): 41625(41625/0)
Jun 03, 2017 10:13:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(76/592) took 72056 ms. Total solver calls (SAT/UNSAT): 42658(42658/0)
Jun 03, 2017 10:13:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(78/592) took 73781 ms. Total solver calls (SAT/UNSAT): 43687(43687/0)
Jun 03, 2017 10:14:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(80/592) took 75537 ms. Total solver calls (SAT/UNSAT): 44712(44712/0)
Jun 03, 2017 10:14:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(82/592) took 77256 ms. Total solver calls (SAT/UNSAT): 45733(45733/0)
Jun 03, 2017 10:14:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(84/592) took 78993 ms. Total solver calls (SAT/UNSAT): 46750(46750/0)
Jun 03, 2017 10:14:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(86/592) took 80705 ms. Total solver calls (SAT/UNSAT): 47763(47763/0)
Jun 03, 2017 10:14:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(88/592) took 82374 ms. Total solver calls (SAT/UNSAT): 48772(48772/0)
Jun 03, 2017 10:14:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(90/592) took 84043 ms. Total solver calls (SAT/UNSAT): 49777(49777/0)
Jun 03, 2017 10:14:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(92/592) took 85693 ms. Total solver calls (SAT/UNSAT): 50778(50778/0)
Jun 03, 2017 10:14:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(94/592) took 87347 ms. Total solver calls (SAT/UNSAT): 51775(51775/0)
Jun 03, 2017 10:14:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(96/592) took 88979 ms. Total solver calls (SAT/UNSAT): 52768(52768/0)
Jun 03, 2017 10:14:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(98/592) took 90620 ms. Total solver calls (SAT/UNSAT): 53757(53757/0)
Jun 03, 2017 10:14:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(100/592) took 92269 ms. Total solver calls (SAT/UNSAT): 54742(54742/0)
Jun 03, 2017 10:14:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(102/592) took 93861 ms. Total solver calls (SAT/UNSAT): 55723(55723/0)
Jun 03, 2017 10:14:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(104/592) took 95450 ms. Total solver calls (SAT/UNSAT): 56700(56700/0)
Jun 03, 2017 10:14:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(106/592) took 97049 ms. Total solver calls (SAT/UNSAT): 57673(57673/0)
Jun 03, 2017 10:14:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(108/592) took 98662 ms. Total solver calls (SAT/UNSAT): 58642(58642/0)
Jun 03, 2017 10:14:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(110/592) took 100322 ms. Total solver calls (SAT/UNSAT): 59607(59607/0)
Jun 03, 2017 10:14:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(112/592) took 101965 ms. Total solver calls (SAT/UNSAT): 60568(60568/0)
Jun 03, 2017 10:14:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(114/592) took 103594 ms. Total solver calls (SAT/UNSAT): 61525(61525/0)
Jun 03, 2017 10:14:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(116/592) took 105194 ms. Total solver calls (SAT/UNSAT): 62478(62478/0)
Jun 03, 2017 10:14:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(118/592) took 106951 ms. Total solver calls (SAT/UNSAT): 63427(63427/0)
Jun 03, 2017 10:14:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(120/592) took 108572 ms. Total solver calls (SAT/UNSAT): 64372(64372/0)
Jun 03, 2017 10:14:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(122/592) took 110155 ms. Total solver calls (SAT/UNSAT): 65313(65313/0)
Jun 03, 2017 10:14:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(124/592) took 111978 ms. Total solver calls (SAT/UNSAT): 66250(66250/0)
Jun 03, 2017 10:14:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(126/592) took 113651 ms. Total solver calls (SAT/UNSAT): 67183(67183/0)
Jun 03, 2017 10:14:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(128/592) took 115345 ms. Total solver calls (SAT/UNSAT): 68112(68112/0)
Jun 03, 2017 10:14:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(130/592) took 117033 ms. Total solver calls (SAT/UNSAT): 69037(69037/0)
Jun 03, 2017 10:14:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(132/592) took 118844 ms. Total solver calls (SAT/UNSAT): 69958(69958/0)
Jun 03, 2017 10:14:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(134/592) took 120514 ms. Total solver calls (SAT/UNSAT): 70875(70875/0)
Jun 03, 2017 10:14:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(136/592) took 122183 ms. Total solver calls (SAT/UNSAT): 71788(71788/0)
Jun 03, 2017 10:14:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(138/592) took 123977 ms. Total solver calls (SAT/UNSAT): 72697(72697/0)
Jun 03, 2017 10:14:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(140/592) took 125773 ms. Total solver calls (SAT/UNSAT): 73602(73602/0)
Jun 03, 2017 10:14:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(142/592) took 127421 ms. Total solver calls (SAT/UNSAT): 74503(74503/0)
Jun 03, 2017 10:14:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(144/592) took 129045 ms. Total solver calls (SAT/UNSAT): 75400(75400/0)
Jun 03, 2017 10:14:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(146/592) took 130641 ms. Total solver calls (SAT/UNSAT): 76293(76293/0)
Jun 03, 2017 10:14:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(148/592) took 132265 ms. Total solver calls (SAT/UNSAT): 77182(77182/0)
Jun 03, 2017 10:14:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(150/592) took 133914 ms. Total solver calls (SAT/UNSAT): 78067(78067/0)
Jun 03, 2017 10:15:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(152/592) took 135516 ms. Total solver calls (SAT/UNSAT): 78948(78948/0)
Jun 03, 2017 10:15:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(154/592) took 137113 ms. Total solver calls (SAT/UNSAT): 79825(79825/0)
Jun 03, 2017 10:15:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(156/592) took 138607 ms. Total solver calls (SAT/UNSAT): 80698(80698/0)
Jun 03, 2017 10:15:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(158/592) took 140100 ms. Total solver calls (SAT/UNSAT): 81567(81567/0)
Jun 03, 2017 10:15:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(160/592) took 141639 ms. Total solver calls (SAT/UNSAT): 82432(82432/0)
Jun 03, 2017 10:15:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(162/592) took 143134 ms. Total solver calls (SAT/UNSAT): 83293(83293/0)
Jun 03, 2017 10:15:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(164/592) took 144674 ms. Total solver calls (SAT/UNSAT): 84150(84150/0)
Jun 03, 2017 10:15:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(166/592) took 146191 ms. Total solver calls (SAT/UNSAT): 85003(85003/0)
Jun 03, 2017 10:15:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(168/592) took 147706 ms. Total solver calls (SAT/UNSAT): 85852(85852/0)
Jun 03, 2017 10:15:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(170/592) took 149211 ms. Total solver calls (SAT/UNSAT): 86697(86697/0)
Jun 03, 2017 10:15:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(172/592) took 150705 ms. Total solver calls (SAT/UNSAT): 87538(87538/0)
Jun 03, 2017 10:15:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(174/592) took 152211 ms. Total solver calls (SAT/UNSAT): 88375(88375/0)
Jun 03, 2017 10:15:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(176/592) took 153691 ms. Total solver calls (SAT/UNSAT): 89208(89208/0)
Jun 03, 2017 10:15:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(178/592) took 155169 ms. Total solver calls (SAT/UNSAT): 90037(90037/0)
Jun 03, 2017 10:15:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(180/592) took 156616 ms. Total solver calls (SAT/UNSAT): 90862(90862/0)
Jun 03, 2017 10:15:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(182/592) took 158078 ms. Total solver calls (SAT/UNSAT): 91683(91683/0)
Jun 03, 2017 10:15:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(184/592) took 159545 ms. Total solver calls (SAT/UNSAT): 92500(92500/0)
Jun 03, 2017 10:15:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(186/592) took 161003 ms. Total solver calls (SAT/UNSAT): 93313(93313/0)
Jun 03, 2017 10:15:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(188/592) took 162367 ms. Total solver calls (SAT/UNSAT): 94122(94122/0)
Jun 03, 2017 10:15:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(190/592) took 163807 ms. Total solver calls (SAT/UNSAT): 94927(94927/0)
Jun 03, 2017 10:15:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(192/592) took 165204 ms. Total solver calls (SAT/UNSAT): 95728(95728/0)
Jun 03, 2017 10:15:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(194/592) took 166574 ms. Total solver calls (SAT/UNSAT): 96525(96525/0)
Jun 03, 2017 10:15:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(196/592) took 167987 ms. Total solver calls (SAT/UNSAT): 97318(97318/0)
Jun 03, 2017 10:15:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(198/592) took 169327 ms. Total solver calls (SAT/UNSAT): 98107(98107/0)
Jun 03, 2017 10:15:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(200/592) took 170641 ms. Total solver calls (SAT/UNSAT): 98892(98892/0)
Jun 03, 2017 10:15:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(202/592) took 171933 ms. Total solver calls (SAT/UNSAT): 99673(99673/0)
Jun 03, 2017 10:15:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(204/592) took 173233 ms. Total solver calls (SAT/UNSAT): 100450(100450/0)
Jun 03, 2017 10:15:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(206/592) took 174551 ms. Total solver calls (SAT/UNSAT): 101223(101223/0)
Jun 03, 2017 10:15:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(208/592) took 175823 ms. Total solver calls (SAT/UNSAT): 101992(101992/0)
Jun 03, 2017 10:15:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(210/592) took 177102 ms. Total solver calls (SAT/UNSAT): 102757(102757/0)
Jun 03, 2017 10:15:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(212/592) took 178352 ms. Total solver calls (SAT/UNSAT): 103518(103518/0)
Jun 03, 2017 10:15:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(214/592) took 179586 ms. Total solver calls (SAT/UNSAT): 104275(104275/0)
Jun 03, 2017 10:15:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(216/592) took 180819 ms. Total solver calls (SAT/UNSAT): 105028(105028/0)
Jun 03, 2017 10:15:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(218/592) took 182088 ms. Total solver calls (SAT/UNSAT): 105777(105777/0)
Jun 03, 2017 10:15:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(220/592) took 183308 ms. Total solver calls (SAT/UNSAT): 106522(106522/0)
Jun 03, 2017 10:15:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(222/592) took 184577 ms. Total solver calls (SAT/UNSAT): 107263(107263/0)
Jun 03, 2017 10:15:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(224/592) took 185873 ms. Total solver calls (SAT/UNSAT): 108000(108000/0)
Jun 03, 2017 10:15:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(226/592) took 187165 ms. Total solver calls (SAT/UNSAT): 108733(108733/0)
Jun 03, 2017 10:15:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(228/592) took 188393 ms. Total solver calls (SAT/UNSAT): 109462(109462/0)
Jun 03, 2017 10:15:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(230/592) took 189603 ms. Total solver calls (SAT/UNSAT): 110187(110187/0)
Jun 03, 2017 10:15:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(232/592) took 190794 ms. Total solver calls (SAT/UNSAT): 110908(110908/0)
Jun 03, 2017 10:15:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(234/592) took 192193 ms. Total solver calls (SAT/UNSAT): 111625(111625/0)
Jun 03, 2017 10:15:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(236/592) took 193424 ms. Total solver calls (SAT/UNSAT): 112338(112338/0)
Jun 03, 2017 10:15:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(238/592) took 194607 ms. Total solver calls (SAT/UNSAT): 113047(113047/0)
Jun 03, 2017 10:16:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(240/592) took 195771 ms. Total solver calls (SAT/UNSAT): 113752(113752/0)
Jun 03, 2017 10:16:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(242/592) took 196934 ms. Total solver calls (SAT/UNSAT): 114453(114453/0)
Jun 03, 2017 10:16:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(244/592) took 198094 ms. Total solver calls (SAT/UNSAT): 115150(115150/0)
Jun 03, 2017 10:16:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(246/592) took 199252 ms. Total solver calls (SAT/UNSAT): 115843(115843/0)
Jun 03, 2017 10:16:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(248/592) took 200402 ms. Total solver calls (SAT/UNSAT): 116532(116532/0)
Jun 03, 2017 10:16:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(250/592) took 201539 ms. Total solver calls (SAT/UNSAT): 117217(117217/0)
Jun 03, 2017 10:16:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(253/592) took 202972 ms. Total solver calls (SAT/UNSAT): 118237(118237/0)
Jun 03, 2017 10:16:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(256/592) took 204405 ms. Total solver calls (SAT/UNSAT): 119248(119248/0)
Jun 03, 2017 10:16:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(259/592) took 205827 ms. Total solver calls (SAT/UNSAT): 120250(120250/0)
Jun 03, 2017 10:16:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(262/592) took 207270 ms. Total solver calls (SAT/UNSAT): 121243(121243/0)
Jun 03, 2017 10:16:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(265/592) took 208741 ms. Total solver calls (SAT/UNSAT): 122227(122227/0)
Jun 03, 2017 10:16:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(268/592) took 210238 ms. Total solver calls (SAT/UNSAT): 123202(123202/0)
Jun 03, 2017 10:16:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(271/592) took 211727 ms. Total solver calls (SAT/UNSAT): 124168(124168/0)
Jun 03, 2017 10:16:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(274/592) took 213213 ms. Total solver calls (SAT/UNSAT): 125125(125125/0)
Jun 03, 2017 10:16:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(276/592) took 214217 ms. Total solver calls (SAT/UNSAT): 125758(125758/0)
Jun 03, 2017 10:16:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(279/592) took 215712 ms. Total solver calls (SAT/UNSAT): 126700(126700/0)
Jun 03, 2017 10:16:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(281/592) took 216740 ms. Total solver calls (SAT/UNSAT): 127323(127323/0)
Jun 03, 2017 10:16:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(284/592) took 218236 ms. Total solver calls (SAT/UNSAT): 128250(128250/0)
Jun 03, 2017 10:16:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(286/592) took 219527 ms. Total solver calls (SAT/UNSAT): 128863(128863/0)
Jun 03, 2017 10:16:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(288/592) took 220658 ms. Total solver calls (SAT/UNSAT): 129472(129472/0)
Jun 03, 2017 10:16:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(290/592) took 221802 ms. Total solver calls (SAT/UNSAT): 130077(130077/0)
Jun 03, 2017 10:16:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(293/592) took 223235 ms. Total solver calls (SAT/UNSAT): 130977(130977/0)
Jun 03, 2017 10:16:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(296/592) took 224538 ms. Total solver calls (SAT/UNSAT): 131868(131868/0)
Jun 03, 2017 10:16:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(299/592) took 225978 ms. Total solver calls (SAT/UNSAT): 132750(132750/0)
Jun 03, 2017 10:16:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(302/592) took 227263 ms. Total solver calls (SAT/UNSAT): 133623(133623/0)
Jun 03, 2017 10:16:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(305/592) took 228533 ms. Total solver calls (SAT/UNSAT): 134487(134487/0)
Jun 03, 2017 10:16:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(308/592) took 229783 ms. Total solver calls (SAT/UNSAT): 135342(135342/0)
Jun 03, 2017 10:16:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(311/592) took 231014 ms. Total solver calls (SAT/UNSAT): 136188(136188/0)
Jun 03, 2017 10:16:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(314/592) took 232225 ms. Total solver calls (SAT/UNSAT): 137025(137025/0)
Jun 03, 2017 10:16:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(317/592) took 233595 ms. Total solver calls (SAT/UNSAT): 137853(137853/0)
Jun 03, 2017 10:16:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(320/592) took 234943 ms. Total solver calls (SAT/UNSAT): 138672(138672/0)
Jun 03, 2017 10:16:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(322/592) took 235980 ms. Total solver calls (SAT/UNSAT): 139213(139213/0)
Jun 03, 2017 10:16:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(324/592) took 236988 ms. Total solver calls (SAT/UNSAT): 139750(139750/0)
Jun 03, 2017 10:16:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(327/592) took 238407 ms. Total solver calls (SAT/UNSAT): 140548(140548/0)
Jun 03, 2017 10:16:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(330/592) took 239736 ms. Total solver calls (SAT/UNSAT): 141337(141337/0)
Jun 03, 2017 10:16:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(333/592) took 241077 ms. Total solver calls (SAT/UNSAT): 142117(142117/0)
Jun 03, 2017 10:16:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(336/592) took 242438 ms. Total solver calls (SAT/UNSAT): 142888(142888/0)
Jun 03, 2017 10:16:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(339/592) took 243747 ms. Total solver calls (SAT/UNSAT): 143650(143650/0)
Jun 03, 2017 10:16:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(342/592) took 244956 ms. Total solver calls (SAT/UNSAT): 144403(144403/0)
Jun 03, 2017 10:16:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(345/592) took 246216 ms. Total solver calls (SAT/UNSAT): 145147(145147/0)
Jun 03, 2017 10:16:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(348/592) took 247475 ms. Total solver calls (SAT/UNSAT): 145882(145882/0)
Jun 03, 2017 10:16:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(351/592) took 248655 ms. Total solver calls (SAT/UNSAT): 146608(146608/0)
Jun 03, 2017 10:16:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(354/592) took 249808 ms. Total solver calls (SAT/UNSAT): 147325(147325/0)
Jun 03, 2017 10:16:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(357/592) took 250979 ms. Total solver calls (SAT/UNSAT): 148033(148033/0)
Jun 03, 2017 10:16:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(360/592) took 252094 ms. Total solver calls (SAT/UNSAT): 148732(148732/0)
Jun 03, 2017 10:16:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(363/592) took 253207 ms. Total solver calls (SAT/UNSAT): 149422(149422/0)
Jun 03, 2017 10:16:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(366/592) took 254301 ms. Total solver calls (SAT/UNSAT): 150103(150103/0)
Jun 03, 2017 10:17:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(369/592) took 255384 ms. Total solver calls (SAT/UNSAT): 150775(150775/0)
Jun 03, 2017 10:17:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(372/592) took 256474 ms. Total solver calls (SAT/UNSAT): 151438(151438/0)
Jun 03, 2017 10:17:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(375/592) took 257530 ms. Total solver calls (SAT/UNSAT): 152092(152092/0)
Jun 03, 2017 10:17:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(378/592) took 258561 ms. Total solver calls (SAT/UNSAT): 152737(152737/0)
Jun 03, 2017 10:17:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(381/592) took 259651 ms. Total solver calls (SAT/UNSAT): 153373(153373/0)
Jun 03, 2017 10:17:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(384/592) took 260690 ms. Total solver calls (SAT/UNSAT): 154000(154000/0)
Jun 03, 2017 10:17:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(387/592) took 261712 ms. Total solver calls (SAT/UNSAT): 154618(154618/0)
Jun 03, 2017 10:17:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(390/592) took 262808 ms. Total solver calls (SAT/UNSAT): 155227(155227/0)
Jun 03, 2017 10:17:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(393/592) took 263895 ms. Total solver calls (SAT/UNSAT): 155827(155827/0)
Jun 03, 2017 10:17:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(397/592) took 265177 ms. Total solver calls (SAT/UNSAT): 156613(156613/0)
Jun 03, 2017 10:17:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(401/592) took 266419 ms. Total solver calls (SAT/UNSAT): 157383(157383/0)
Jun 03, 2017 10:17:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(405/592) took 267633 ms. Total solver calls (SAT/UNSAT): 158137(158137/0)
Jun 03, 2017 10:17:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(409/592) took 268840 ms. Total solver calls (SAT/UNSAT): 158875(158875/0)
Jun 03, 2017 10:17:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(413/592) took 270112 ms. Total solver calls (SAT/UNSAT): 159597(159597/0)
Jun 03, 2017 10:17:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(417/592) took 271358 ms. Total solver calls (SAT/UNSAT): 160303(160303/0)
Jun 03, 2017 10:17:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(421/592) took 272620 ms. Total solver calls (SAT/UNSAT): 160993(160993/0)
Jun 03, 2017 10:17:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(425/592) took 273849 ms. Total solver calls (SAT/UNSAT): 161667(161667/0)
Jun 03, 2017 10:17:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(429/592) took 274996 ms. Total solver calls (SAT/UNSAT): 162325(162325/0)
Jun 03, 2017 10:17:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(433/592) took 276104 ms. Total solver calls (SAT/UNSAT): 162967(162967/0)
Jun 03, 2017 10:17:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(437/592) took 277171 ms. Total solver calls (SAT/UNSAT): 163593(163593/0)
Jun 03, 2017 10:17:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(441/592) took 278240 ms. Total solver calls (SAT/UNSAT): 164203(164203/0)
Jun 03, 2017 10:17:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(445/592) took 279257 ms. Total solver calls (SAT/UNSAT): 164797(164797/0)
Jun 03, 2017 10:17:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(450/592) took 280431 ms. Total solver calls (SAT/UNSAT): 165517(165517/0)
Jun 03, 2017 10:17:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(455/592) took 281527 ms. Total solver calls (SAT/UNSAT): 166212(166212/0)
Jun 03, 2017 10:17:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(460/592) took 282613 ms. Total solver calls (SAT/UNSAT): 166882(166882/0)
Jun 03, 2017 10:17:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(465/592) took 283702 ms. Total solver calls (SAT/UNSAT): 167527(167527/0)
Jun 03, 2017 10:17:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(470/592) took 284741 ms. Total solver calls (SAT/UNSAT): 168147(168147/0)
Jun 03, 2017 10:17:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(476/592) took 285901 ms. Total solver calls (SAT/UNSAT): 168858(168858/0)
Jun 03, 2017 10:17:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(482/592) took 286989 ms. Total solver calls (SAT/UNSAT): 169533(169533/0)
Jun 03, 2017 10:17:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(488/592) took 288052 ms. Total solver calls (SAT/UNSAT): 170172(170172/0)
Jun 03, 2017 10:17:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(494/592) took 289058 ms. Total solver calls (SAT/UNSAT): 170775(170775/0)
Jun 03, 2017 10:17:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(501/592) took 290140 ms. Total solver calls (SAT/UNSAT): 171433(171433/0)
Jun 03, 2017 10:17:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(508/592) took 291144 ms. Total solver calls (SAT/UNSAT): 172042(172042/0)
Jun 03, 2017 10:17:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(516/592) took 292193 ms. Total solver calls (SAT/UNSAT): 172678(172678/0)
Jun 03, 2017 10:17:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(525/592) took 293314 ms. Total solver calls (SAT/UNSAT): 173317(173317/0)
Jun 03, 2017 10:17:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(534/592) took 294342 ms. Total solver calls (SAT/UNSAT): 173875(173875/0)
Jun 03, 2017 10:17:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(545/592) took 295362 ms. Total solver calls (SAT/UNSAT): 174447(174447/0)
Jun 03, 2017 10:17:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(558/592) took 296385 ms. Total solver calls (SAT/UNSAT): 174967(174967/0)
Jun 03, 2017 10:17:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(581/592) took 297387 ms. Total solver calls (SAT/UNSAT): 175473(175473/0)
Jun 03, 2017 10:17:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 297509 ms. Total solver calls (SAT/UNSAT): 175528(175528/0)
Jun 03, 2017 10:17:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 592 transitions.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_PermAdmissibility-PT-20"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/S_PermAdmissibility-PT-20.tgz
mv S_PermAdmissibility-PT-20 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is S_PermAdmissibility-PT-20, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r120-blw7-149441652200440"
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 ;