About the Execution of ITS-Tools for S_SafeBus-PT-10
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15921.850 | 3600000.00 | 4474572.00 | 652.90 | [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_SafeBus-PT-10, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r150-csrt-149443434900251
=====================================================================
--------------------
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 SafeBus-COL-10-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1496661149403
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 1631 rows 306 cols
invariant : -1'Cpt2_2 + -1'AMC_1_1 + -1'AMC_2_1 + -1'AMC_3_1 + -1'AMC_4_1 + -1'AMC_5_1 + -1'AMC_6_1 + -1'AMC_7_1 + -1'AMC_8_1 + -1'AMC_9_1 + -1'AMC_10_1 + 1'AMC_1_2 + 1'AMC_2_2 + 1'AMC_3_2 + 1'AMC_4_2 + 1'AMC_5_2 + 1'AMC_6_2 + 1'AMC_7_2 + 1'AMC_8_2 + 1'AMC_9_2 + 1'AMC_10_2 + 1'Cpt1_2= 0
invariant : 1'wait_ack_10_1 + 1'wait_ack_10_2 + 1'wait_ack_10_3 + 1'wait_ack_10_4 + 1'wait_ack_10_5 + 1'wait_ack_10_6 + 1'wait_ack_10_7 + 1'wait_ack_10_8 + 1'wait_ack_10_9 + -1'cable_used_10 + -1'FMCb + -1'FMC_1 + -1'FMC_2 + -1'FMC_3 + -1'FMC_4 + -1'FMC_5 + -1'FMC_6 + -1'FMC_7 + -1'FMC_8 + -1'FMC_9 + 1'PMC_10= -1
invariant : 1'wait_ack_9_1 + 1'wait_ack_9_2 + 1'wait_ack_9_3 + 1'wait_ack_9_4 + 1'wait_ack_9_5 + 1'wait_ack_9_6 + 1'wait_ack_9_7 + 1'wait_ack_9_8 + 1'wait_ack_9_10 + -1'AMC_9_1 + -1'AMC_9_2 + -1'AMC_9_3 + -1'AMC_9_4 + -1'AMC_9_5 + -1'AMC_9_6 + -1'AMC_9_7 + -1'AMC_9_8 + -1'AMC_9_9 + -1'AMC_9_10 + -1'cable_used_9 + -1'RMC_9 + 1'FMC_9 + 1'wait_cable_9= 0
invariant : 1'wait_ack_2_1 + 1'wait_ack_2_3 + 1'wait_ack_2_4 + 1'wait_ack_2_5 + 1'wait_ack_2_6 + 1'wait_ack_2_7 + 1'wait_ack_2_8 + 1'wait_ack_2_9 + 1'wait_ack_2_10 + -1'cable_used_2 + 1'FMC_2 + 1'PMC_2= 0
invariant : 1'AMC_1_1 + 1'AMC_1_2 + 1'AMC_1_3 + 1'AMC_1_4 + 1'AMC_1_5 + 1'AMC_1_6 + 1'AMC_1_7 + 1'AMC_1_8 + 1'AMC_1_9 + 1'AMC_1_10 + 1'cable_used_1 + 1'RMC_1 + -1'FMC_1 + 1'listen_1 + 1'wait_msg_1 + 1'loop_em_1= 1
invariant : 1'wait_ack_1_2 + 1'wait_ack_1_3 + 1'wait_ack_1_4 + 1'wait_ack_1_5 + 1'wait_ack_1_6 + 1'wait_ack_1_7 + 1'wait_ack_1_8 + 1'wait_ack_1_9 + 1'wait_ack_1_10 + -1'cable_used_1 + 1'FMC_1 + 1'PMC_1= 0
invariant : -1'Cpt2_8 + -1'AMC_1_7 + -1'AMC_2_7 + -1'AMC_3_7 + -1'AMC_4_7 + -1'AMC_5_7 + -1'AMC_6_7 + -1'AMC_7_7 + -1'AMC_8_7 + -1'AMC_9_7 + -1'AMC_10_7 + 1'AMC_1_8 + 1'AMC_2_8 + 1'AMC_3_8 + 1'AMC_4_8 + 1'AMC_5_8 + 1'AMC_6_8 + 1'AMC_7_8 + 1'AMC_8_8 + 1'AMC_9_8 + 1'AMC_10_8 + 1'Cpt1_8= 0
invariant : 1'Cpt2_1 + 1'Cpt2_2 + 1'Cpt2_3 + 1'Cpt2_4 + 1'Cpt2_5 + 1'Cpt2_6 + 1'Cpt2_7 + 1'Cpt2_8 + 1'Cpt2_9 + 1'Cpt2_10= 1
invariant : 1'AMC_8_1 + 1'AMC_8_2 + 1'AMC_8_3 + 1'AMC_8_4 + 1'AMC_8_5 + 1'AMC_8_6 + 1'AMC_8_7 + 1'AMC_8_8 + 1'AMC_8_9 + 1'AMC_8_10 + 1'cable_used_8 + 1'RMC_8 + -1'FMC_8 + 1'listen_8 + 1'wait_msg_8 + 1'loop_em_8= 1
invariant : 1'wait_ack_2_1 + 1'wait_ack_2_3 + 1'wait_ack_2_4 + 1'wait_ack_2_5 + 1'wait_ack_2_6 + 1'wait_ack_2_7 + 1'wait_ack_2_8 + 1'wait_ack_2_9 + 1'wait_ack_2_10 + -1'AMC_2_1 + -1'AMC_2_2 + -1'AMC_2_3 + -1'AMC_2_4 + -1'AMC_2_5 + -1'AMC_2_6 + -1'AMC_2_7 + -1'AMC_2_8 + -1'AMC_2_9 + -1'AMC_2_10 + -1'cable_used_2 + -1'RMC_2 + 1'FMC_2 + 1'wait_cable_2= 0
invariant : 1'wait_ack_3_1 + 1'wait_ack_3_2 + 1'wait_ack_3_4 + 1'wait_ack_3_5 + 1'wait_ack_3_6 + 1'wait_ack_3_7 + 1'wait_ack_3_8 + 1'wait_ack_3_9 + 1'wait_ack_3_10 + -1'cable_used_3 + 1'FMC_3 + 1'PMC_3= 0
invariant : 1'AMC_3_1 + 1'AMC_3_2 + 1'AMC_3_3 + 1'AMC_3_4 + 1'AMC_3_5 + 1'AMC_3_6 + 1'AMC_3_7 + 1'AMC_3_8 + 1'AMC_3_9 + 1'AMC_3_10 + 1'cable_used_3 + 1'RMC_3 + -1'FMC_3 + 1'listen_3 + 1'wait_msg_3 + 1'loop_em_3= 1
invariant : 1'wait_ack_5_1 + 1'wait_ack_5_2 + 1'wait_ack_5_3 + 1'wait_ack_5_4 + 1'wait_ack_5_6 + 1'wait_ack_5_7 + 1'wait_ack_5_8 + 1'wait_ack_5_9 + 1'wait_ack_5_10 + -1'cable_used_5 + 1'FMC_5 + 1'PMC_5= 0
invariant : 1'cable_used_1 + 1'cable_used_2 + 1'cable_used_3 + 1'cable_used_4 + 1'cable_used_5 + 1'cable_used_6 + 1'cable_used_7 + 1'cable_used_8 + 1'cable_used_9 + 1'cable_used_10 + 1'cable_free= 1
invariant : 1'wait_ack_8_1 + 1'wait_ack_8_2 + 1'wait_ack_8_3 + 1'wait_ack_8_4 + 1'wait_ack_8_5 + 1'wait_ack_8_6 + 1'wait_ack_8_7 + 1'wait_ack_8_9 + 1'wait_ack_8_10 + -1'AMC_8_1 + -1'AMC_8_2 + -1'AMC_8_3 + -1'AMC_8_4 + -1'AMC_8_5 + -1'AMC_8_6 + -1'AMC_8_7 + -1'AMC_8_8 + -1'AMC_8_9 + -1'AMC_8_10 + -1'cable_used_8 + -1'RMC_8 + 1'FMC_8 + 1'wait_cable_8= 0
invariant : 1'wait_ack_6_1 + 1'wait_ack_6_2 + 1'wait_ack_6_3 + 1'wait_ack_6_4 + 1'wait_ack_6_5 + 1'wait_ack_6_7 + 1'wait_ack_6_8 + 1'wait_ack_6_9 + 1'wait_ack_6_10 + -1'cable_used_6 + 1'FMC_6 + 1'PMC_6= 0
invariant : -1'Cpt2_3 + -1'AMC_1_2 + -1'AMC_2_2 + -1'AMC_3_2 + -1'AMC_4_2 + -1'AMC_5_2 + -1'AMC_6_2 + -1'AMC_7_2 + -1'AMC_8_2 + -1'AMC_9_2 + -1'AMC_10_2 + 1'AMC_1_3 + 1'AMC_2_3 + 1'AMC_3_3 + 1'AMC_4_3 + 1'AMC_5_3 + 1'AMC_6_3 + 1'AMC_7_3 + 1'AMC_8_3 + 1'AMC_9_3 + 1'AMC_10_3 + 1'Cpt1_3= 0
invariant : 1'AMC_4_1 + 1'AMC_4_2 + 1'AMC_4_3 + 1'AMC_4_4 + 1'AMC_4_5 + 1'AMC_4_6 + 1'AMC_4_7 + 1'AMC_4_8 + 1'AMC_4_9 + 1'AMC_4_10 + 1'cable_used_4 + 1'RMC_4 + -1'FMC_4 + 1'listen_4 + 1'wait_msg_4 + 1'loop_em_4= 1
invariant : 1'AMC_9_1 + 1'AMC_9_2 + 1'AMC_9_3 + 1'AMC_9_4 + 1'AMC_9_5 + 1'AMC_9_6 + 1'AMC_9_7 + 1'AMC_9_8 + 1'AMC_9_9 + 1'AMC_9_10 + 1'cable_used_9 + 1'RMC_9 + -1'FMC_9 + 1'listen_9 + 1'wait_msg_9 + 1'loop_em_9= 1
invariant : 1'Cpt2_1 + 1'Cpt2_2 + 1'Cpt2_3 + 1'Cpt2_4 + 1'Cpt2_5 + 1'Cpt2_6 + 1'Cpt2_7 + 1'Cpt2_8 + 1'Cpt2_9 + -1'AMC_1_9 + -1'AMC_2_9 + -1'AMC_3_9 + -1'AMC_4_9 + -1'AMC_5_9 + -1'AMC_6_9 + -1'AMC_7_9 + -1'AMC_8_9 + -1'AMC_9_9 + -1'AMC_10_9 + 1'AMC_1_10 + 1'AMC_2_10 + 1'AMC_3_10 + 1'AMC_4_10 + 1'AMC_5_10 + 1'AMC_6_10 + 1'AMC_7_10 + 1'AMC_8_10 + 1'AMC_9_10 + 1'AMC_10_10 + 1'Cpt1_10= 1
invariant : 1'wait_ack_7_1 + 1'wait_ack_7_2 + 1'wait_ack_7_3 + 1'wait_ack_7_4 + 1'wait_ack_7_5 + 1'wait_ack_7_6 + 1'wait_ack_7_8 + 1'wait_ack_7_9 + 1'wait_ack_7_10 + -1'cable_used_7 + 1'FMC_7 + 1'PMC_7= 0
invariant : -1'Cpt2_7 + -1'AMC_1_6 + -1'AMC_2_6 + -1'AMC_3_6 + -1'AMC_4_6 + -1'AMC_5_6 + -1'AMC_6_6 + -1'AMC_7_6 + -1'AMC_8_6 + -1'AMC_9_6 + -1'AMC_10_6 + 1'AMC_1_7 + 1'AMC_2_7 + 1'AMC_3_7 + 1'AMC_4_7 + 1'AMC_5_7 + 1'AMC_6_7 + 1'AMC_7_7 + 1'AMC_8_7 + 1'AMC_9_7 + 1'AMC_10_7 + 1'Cpt1_7= 0
invariant : 1'AMC_7_1 + 1'AMC_7_2 + 1'AMC_7_3 + 1'AMC_7_4 + 1'AMC_7_5 + 1'AMC_7_6 + 1'AMC_7_7 + 1'AMC_7_8 + 1'AMC_7_9 + 1'AMC_7_10 + 1'cable_used_7 + 1'RMC_7 + -1'FMC_7 + 1'listen_7 + 1'wait_msg_7 + 1'loop_em_7= 1
invariant : -1'Cpt2_9 + -1'AMC_1_8 + -1'AMC_2_8 + -1'AMC_3_8 + -1'AMC_4_8 + -1'AMC_5_8 + -1'AMC_6_8 + -1'AMC_7_8 + -1'AMC_8_8 + -1'AMC_9_8 + -1'AMC_10_8 + 1'AMC_1_9 + 1'AMC_2_9 + 1'AMC_3_9 + 1'AMC_4_9 + 1'AMC_5_9 + 1'AMC_6_9 + 1'AMC_7_9 + 1'AMC_8_9 + 1'AMC_9_9 + 1'AMC_10_9 + 1'Cpt1_9= 0
invariant : 1'AMC_2_1 + 1'AMC_2_2 + 1'AMC_2_3 + 1'AMC_2_4 + 1'AMC_2_5 + 1'AMC_2_6 + 1'AMC_2_7 + 1'AMC_2_8 + 1'AMC_2_9 + 1'AMC_2_10 + 1'cable_used_2 + 1'RMC_2 + -1'FMC_2 + 1'listen_2 + 1'wait_msg_2 + 1'loop_em_2= 1
invariant : 1'wait_ack_9_1 + 1'wait_ack_9_2 + 1'wait_ack_9_3 + 1'wait_ack_9_4 + 1'wait_ack_9_5 + 1'wait_ack_9_6 + 1'wait_ack_9_7 + 1'wait_ack_9_8 + 1'wait_ack_9_10 + -1'cable_used_9 + 1'FMC_9 + 1'PMC_9= 0
invariant : 1'ACK + 1'T_out + -1'wait_ack_2_1 + -1'wait_ack_3_1 + -1'wait_ack_4_1 + -1'wait_ack_5_1 + -1'wait_ack_6_1 + -1'wait_ack_7_1 + -1'wait_ack_8_1 + -1'wait_ack_9_1 + -1'wait_ack_10_1 + -1'wait_ack_1_2 + -1'wait_ack_3_2 + -1'wait_ack_4_2 + -1'wait_ack_5_2 + -1'wait_ack_6_2 + -1'wait_ack_7_2 + -1'wait_ack_8_2 + -1'wait_ack_9_2 + -1'wait_ack_10_2 + -1'wait_ack_1_3 + -1'wait_ack_2_3 + -1'wait_ack_4_3 + -1'wait_ack_5_3 + -1'wait_ack_6_3 + -1'wait_ack_7_3 + -1'wait_ack_8_3 + -1'wait_ack_9_3 + -1'wait_ack_10_3 + -1'wait_ack_1_4 + -1'wait_ack_2_4 + -1'wait_ack_3_4 + -1'wait_ack_5_4 + -1'wait_ack_6_4 + -1'wait_ack_7_4 + -1'wait_ack_8_4 + -1'wait_ack_9_4 + -1'wait_ack_10_4 + -1'wait_ack_1_5 + -1'wait_ack_2_5 + -1'wait_ack_3_5 + -1'wait_ack_4_5 + -1'wait_ack_6_5 + -1'wait_ack_7_5 + -1'wait_ack_8_5 + -1'wait_ack_9_5 + -1'wait_ack_10_5 + -1'wait_ack_1_6 + -1'wait_ack_2_6 + -1'wait_ack_3_6 + -1'wait_ack_4_6 + -1'wait_ack_5_6 + -1'wait_ack_7_6 + -1'wait_ack_8_6 + -1'wait_ack_9_6 + -1'wait_ack_10_6 + -1'wait_ack_1_7 + -1'wait_ack_2_7 + -1'wait_ack_3_7 + -1'wait_ack_4_7 + -1'wait_ack_5_7 + -1'wait_ack_6_7 + -1'wait_ack_8_7 + -1'wait_ack_9_7 + -1'wait_ack_10_7 + -1'wait_ack_1_8 + -1'wait_ack_2_8 + -1'wait_ack_3_8 + -1'wait_ack_4_8 + -1'wait_ack_5_8 + -1'wait_ack_6_8 + -1'wait_ack_7_8 + -1'wait_ack_9_8 + -1'wait_ack_10_8 + -1'wait_ack_1_9 + -1'wait_ack_2_9 + -1'wait_ack_3_9 + -1'wait_ack_4_9 + -1'wait_ack_5_9 + -1'wait_ack_6_9 + -1'wait_ack_7_9 + -1'wait_ack_8_9 + -1'wait_ack_10_9 + -1'wait_ack_1_10 + -1'wait_ack_2_10 + -1'wait_ack_3_10 + -1'wait_ack_4_10 + -1'wait_ack_5_10 + -1'wait_ack_6_10 + -1'wait_ack_7_10 + -1'wait_ack_8_10 + -1'wait_ack_9_10 + 1'MSG_1 + 1'MSG_2 + 1'MSG_3 + 1'MSG_4 + 1'MSG_5 + 1'MSG_6 + 1'MSG_7 + 1'MSG_8 + 1'MSG_9 + 1'MSG_10= 0
invariant : 1'wait_ack_5_1 + 1'wait_ack_5_2 + 1'wait_ack_5_3 + 1'wait_ack_5_4 + 1'wait_ack_5_6 + 1'wait_ack_5_7 + 1'wait_ack_5_8 + 1'wait_ack_5_9 + 1'wait_ack_5_10 + -1'AMC_5_1 + -1'AMC_5_2 + -1'AMC_5_3 + -1'AMC_5_4 + -1'AMC_5_5 + -1'AMC_5_6 + -1'AMC_5_7 + -1'AMC_5_8 + -1'AMC_5_9 + -1'AMC_5_10 + -1'cable_used_5 + -1'RMC_5 + 1'FMC_5 + 1'wait_cable_5= 0
invariant : 1'wait_ack_10_1 + 1'wait_ack_10_2 + 1'wait_ack_10_3 + 1'wait_ack_10_4 + 1'wait_ack_10_5 + 1'wait_ack_10_6 + 1'wait_ack_10_7 + 1'wait_ack_10_8 + 1'wait_ack_10_9 + -1'AMC_10_1 + -1'AMC_10_2 + -1'AMC_10_3 + -1'AMC_10_4 + -1'AMC_10_5 + -1'AMC_10_6 + -1'AMC_10_7 + -1'AMC_10_8 + -1'AMC_10_9 + -1'AMC_10_10 + -1'cable_used_10 + -1'FMCb + -1'RMC_10 + -1'FMC_1 + -1'FMC_2 + -1'FMC_3 + -1'FMC_4 + -1'FMC_5 + -1'FMC_6 + -1'FMC_7 + -1'FMC_8 + -1'FMC_9 + 1'wait_cable_10= -1
invariant : 1'R_tout + 1'S_tout= 1
invariant : 1'AMC_6_1 + 1'AMC_6_2 + 1'AMC_6_3 + 1'AMC_6_4 + 1'AMC_6_5 + 1'AMC_6_6 + 1'AMC_6_7 + 1'AMC_6_8 + 1'AMC_6_9 + 1'AMC_6_10 + 1'cable_used_6 + 1'RMC_6 + -1'FMC_6 + 1'listen_6 + 1'wait_msg_6 + 1'loop_em_6= 1
invariant : 1'wait_ack_4_1 + 1'wait_ack_4_2 + 1'wait_ack_4_3 + 1'wait_ack_4_5 + 1'wait_ack_4_6 + 1'wait_ack_4_7 + 1'wait_ack_4_8 + 1'wait_ack_4_9 + 1'wait_ack_4_10 + -1'AMC_4_1 + -1'AMC_4_2 + -1'AMC_4_3 + -1'AMC_4_4 + -1'AMC_4_5 + -1'AMC_4_6 + -1'AMC_4_7 + -1'AMC_4_8 + -1'AMC_4_9 + -1'AMC_4_10 + -1'cable_used_4 + -1'RMC_4 + 1'FMC_4 + 1'wait_cable_4= 0
invariant : 1'wait_ack_1_2 + 1'wait_ack_1_3 + 1'wait_ack_1_4 + 1'wait_ack_1_5 + 1'wait_ack_1_6 + 1'wait_ack_1_7 + 1'wait_ack_1_8 + 1'wait_ack_1_9 + 1'wait_ack_1_10 + -1'AMC_1_1 + -1'AMC_1_2 + -1'AMC_1_3 + -1'AMC_1_4 + -1'AMC_1_5 + -1'AMC_1_6 + -1'AMC_1_7 + -1'AMC_1_8 + -1'AMC_1_9 + -1'AMC_1_10 + -1'cable_used_1 + -1'RMC_1 + 1'FMC_1 + 1'wait_cable_1= 0
invariant : 1'wait_ack_4_1 + 1'wait_ack_4_2 + 1'wait_ack_4_3 + 1'wait_ack_4_5 + 1'wait_ack_4_6 + 1'wait_ack_4_7 + 1'wait_ack_4_8 + 1'wait_ack_4_9 + 1'wait_ack_4_10 + -1'cable_used_4 + 1'FMC_4 + 1'PMC_4= 0
invariant : -1'Cpt2_4 + -1'AMC_1_3 + -1'AMC_2_3 + -1'AMC_3_3 + -1'AMC_4_3 + -1'AMC_5_3 + -1'AMC_6_3 + -1'AMC_7_3 + -1'AMC_8_3 + -1'AMC_9_3 + -1'AMC_10_3 + 1'AMC_1_4 + 1'AMC_2_4 + 1'AMC_3_4 + 1'AMC_4_4 + 1'AMC_5_4 + 1'AMC_6_4 + 1'AMC_7_4 + 1'AMC_8_4 + 1'AMC_9_4 + 1'AMC_10_4 + 1'Cpt1_4= 0
invariant : 1'wait_ack_8_1 + 1'wait_ack_8_2 + 1'wait_ack_8_3 + 1'wait_ack_8_4 + 1'wait_ack_8_5 + 1'wait_ack_8_6 + 1'wait_ack_8_7 + 1'wait_ack_8_9 + 1'wait_ack_8_10 + -1'cable_used_8 + 1'FMC_8 + 1'PMC_8= 0
invariant : -1'Cpt2_6 + -1'AMC_1_5 + -1'AMC_2_5 + -1'AMC_3_5 + -1'AMC_4_5 + -1'AMC_5_5 + -1'AMC_6_5 + -1'AMC_7_5 + -1'AMC_8_5 + -1'AMC_9_5 + -1'AMC_10_5 + 1'AMC_1_6 + 1'AMC_2_6 + 1'AMC_3_6 + 1'AMC_4_6 + 1'AMC_5_6 + 1'AMC_6_6 + 1'AMC_7_6 + 1'AMC_8_6 + 1'AMC_9_6 + 1'AMC_10_6 + 1'Cpt1_6= 0
invariant : 1'wait_ack_7_1 + 1'wait_ack_7_2 + 1'wait_ack_7_3 + 1'wait_ack_7_4 + 1'wait_ack_7_5 + 1'wait_ack_7_6 + 1'wait_ack_7_8 + 1'wait_ack_7_9 + 1'wait_ack_7_10 + -1'AMC_7_1 + -1'AMC_7_2 + -1'AMC_7_3 + -1'AMC_7_4 + -1'AMC_7_5 + -1'AMC_7_6 + -1'AMC_7_7 + -1'AMC_7_8 + -1'AMC_7_9 + -1'AMC_7_10 + -1'cable_used_7 + -1'RMC_7 + 1'FMC_7 + 1'wait_cable_7= 0
invariant : 1'AMC_5_1 + 1'AMC_5_2 + 1'AMC_5_3 + 1'AMC_5_4 + 1'AMC_5_5 + 1'AMC_5_6 + 1'AMC_5_7 + 1'AMC_5_8 + 1'AMC_5_9 + 1'AMC_5_10 + 1'cable_used_5 + 1'RMC_5 + -1'FMC_5 + 1'listen_5 + 1'wait_msg_5 + 1'loop_em_5= 1
invariant : 1'AMC_10_1 + 1'AMC_10_2 + 1'AMC_10_3 + 1'AMC_10_4 + 1'AMC_10_5 + 1'AMC_10_6 + 1'AMC_10_7 + 1'AMC_10_8 + 1'AMC_10_9 + 1'AMC_10_10 + 1'cable_used_10 + 1'FMCb + 1'RMC_10 + 1'FMC_1 + 1'FMC_2 + 1'FMC_3 + 1'FMC_4 + 1'FMC_5 + 1'FMC_6 + 1'FMC_7 + 1'FMC_8 + 1'FMC_9 + 1'listen_10 + 1'wait_msg_10 + 1'loop_em_10= 2
invariant : -1'Cpt2_1 + 1'AMC_1_1 + 1'AMC_2_1 + 1'AMC_3_1 + 1'AMC_4_1 + 1'AMC_5_1 + 1'AMC_6_1 + 1'AMC_7_1 + 1'AMC_8_1 + 1'AMC_9_1 + 1'AMC_10_1 + -1'AMC_1_10 + -1'AMC_2_10 + -1'AMC_3_10 + -1'AMC_4_10 + -1'AMC_5_10 + -1'AMC_6_10 + -1'AMC_7_10 + -1'AMC_8_10 + -1'AMC_9_10 + -1'AMC_10_10 + 1'Cpt1_1= 0
invariant : 1'FMCb + 1'FMC_1 + 1'FMC_2 + 1'FMC_3 + 1'FMC_4 + 1'FMC_5 + 1'FMC_6 + 1'FMC_7 + 1'FMC_8 + 1'FMC_9 + 1'FMC_10= 1
invariant : 1'wait_ack_3_1 + 1'wait_ack_3_2 + 1'wait_ack_3_4 + 1'wait_ack_3_5 + 1'wait_ack_3_6 + 1'wait_ack_3_7 + 1'wait_ack_3_8 + 1'wait_ack_3_9 + 1'wait_ack_3_10 + -1'AMC_3_1 + -1'AMC_3_2 + -1'AMC_3_3 + -1'AMC_3_4 + -1'AMC_3_5 + -1'AMC_3_6 + -1'AMC_3_7 + -1'AMC_3_8 + -1'AMC_3_9 + -1'AMC_3_10 + -1'cable_used_3 + -1'RMC_3 + 1'FMC_3 + 1'wait_cable_3= 0
invariant : -1'Cpt2_5 + -1'AMC_1_4 + -1'AMC_2_4 + -1'AMC_3_4 + -1'AMC_4_4 + -1'AMC_5_4 + -1'AMC_6_4 + -1'AMC_7_4 + -1'AMC_8_4 + -1'AMC_9_4 + -1'AMC_10_4 + 1'AMC_1_5 + 1'AMC_2_5 + 1'AMC_3_5 + 1'AMC_4_5 + 1'AMC_5_5 + 1'AMC_6_5 + 1'AMC_7_5 + 1'AMC_8_5 + 1'AMC_9_5 + 1'AMC_10_5 + 1'Cpt1_5= 0
invariant : 1'wait_ack_6_1 + 1'wait_ack_6_2 + 1'wait_ack_6_3 + 1'wait_ack_6_4 + 1'wait_ack_6_5 + 1'wait_ack_6_7 + 1'wait_ack_6_8 + 1'wait_ack_6_9 + 1'wait_ack_6_10 + -1'AMC_6_1 + -1'AMC_6_2 + -1'AMC_6_3 + -1'AMC_6_4 + -1'AMC_6_5 + -1'AMC_6_6 + -1'AMC_6_7 + -1'AMC_6_8 + -1'AMC_6_9 + -1'AMC_6_10 + -1'cable_used_6 + -1'RMC_6 + 1'FMC_6 + 1'wait_cable_6= 0
Exit code :139
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O3, model.c], workingDir=/home/mcc/execution]
Exit code :0
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Exit code :0
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 05, 2017 11:12:30 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 05, 2017 11:12:31 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 233 ms
Jun 05, 2017 11:12:31 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 316 places.
Jun 05, 2017 11:12:31 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 1631 transitions.
Jun 05, 2017 11:12:31 AM fr.lip6.move.gal.logic.togal.ToGalTransformer toGal
WARNING: Unknown predicate type in boolean expression fr.lip6.move.gal.logic.impl.DeadlockImpl
Jun 05, 2017 11:12:32 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 10 fixed domain variables (out of 316 variables) in GAL type SafeBus_PT_10
Jun 05, 2017 11:12:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 10 constant array cells/variables (out of 316 variables) in type SafeBus_PT_10
Jun 05, 2017 11:12:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: msgl_4,msgl_6,msgl_7,msgl_9,msgl_10,msgl_2,msgl_5,msgl_8,msgl_3,msgl_1,
Jun 05, 2017 11:12:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 10 constant variables :msgl_4, msgl_6, msgl_7, msgl_9, msgl_10, msgl_2, msgl_5, msgl_8, msgl_3, msgl_1
Jun 05, 2017 11:12:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 90 expressions due to constant valuations.
Jun 05, 2017 11:12:32 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property SafeBus-COL-10-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
Jun 05, 2017 11:12:32 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 849 ms
Jun 05, 2017 11:12:32 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityDeadlock.pnml.gal : 54 ms
Jun 05, 2017 11:12:33 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 45 place invariants in 352 ms
Jun 05, 2017 11:13:10 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 306 variables to be positive in 37130 ms
Jun 05, 2017 11:13:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 1631 transitions.
Jun 05, 2017 11:13:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/1631 took 74 ms. Total solver calls (SAT/UNSAT): 49(19/30)
Jun 05, 2017 11:13:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :21/1631 took 1094 ms. Total solver calls (SAT/UNSAT): 1078(418/660)
Jun 05, 2017 11:13:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/1631 took 2127 ms. Total solver calls (SAT/UNSAT): 2156(836/1320)
Jun 05, 2017 11:13:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/1631 took 3133 ms. Total solver calls (SAT/UNSAT): 3234(1254/1980)
Jun 05, 2017 11:13:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/1631 took 4172 ms. Total solver calls (SAT/UNSAT): 4361(1691/2670)
Jun 05, 2017 11:13:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/1631 took 5180 ms. Total solver calls (SAT/UNSAT): 5954(2008/3946)
Jun 05, 2017 11:13:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/1631 took 6194 ms. Total solver calls (SAT/UNSAT): 7208(2426/4782)
Jun 05, 2017 11:13:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/1631 took 7233 ms. Total solver calls (SAT/UNSAT): 8519(2863/5656)
Jun 05, 2017 11:13:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/1631 took 8272 ms. Total solver calls (SAT/UNSAT): 9830(3300/6530)
Jun 05, 2017 11:13:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/1631 took 9300 ms. Total solver calls (SAT/UNSAT): 11084(3718/7366)
Jun 05, 2017 11:13:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :253/1631 took 10319 ms. Total solver calls (SAT/UNSAT): 13400(4006/9394)
Jun 05, 2017 11:13:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :297/1631 took 11322 ms. Total solver calls (SAT/UNSAT): 15160(4402/10758)
Jun 05, 2017 11:13:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :339/1631 took 12335 ms. Total solver calls (SAT/UNSAT): 17660(4710/12950)
Jun 05, 2017 11:13:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/1631 took 13351 ms. Total solver calls (SAT/UNSAT): 21930(4780/17150)
Jun 05, 2017 11:13:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/1631 took 14361 ms. Total solver calls (SAT/UNSAT): 26200(4850/21350)
Jun 05, 2017 11:13:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/1631 took 15432 ms. Total solver calls (SAT/UNSAT): 30232(4996/25236)
Jun 05, 2017 11:13:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/1631 took 16460 ms. Total solver calls (SAT/UNSAT): 35056(5008/30048)
Jun 05, 2017 11:13:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/1631 took 17475 ms. Total solver calls (SAT/UNSAT): 39880(5020/34860)
Jun 05, 2017 11:13:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/1631 took 18537 ms. Total solver calls (SAT/UNSAT): 45106(5033/40073)
Jun 05, 2017 11:13:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/1631 took 19596 ms. Total solver calls (SAT/UNSAT): 50332(5046/45286)
Jun 05, 2017 11:13:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/1631 took 20622 ms. Total solver calls (SAT/UNSAT): 55558(5059/50499)
Jun 05, 2017 11:13:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/1631 took 21670 ms. Total solver calls (SAT/UNSAT): 60784(5072/55712)
Jun 05, 2017 11:13:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/1631 took 22702 ms. Total solver calls (SAT/UNSAT): 66010(5085/60925)
Jun 05, 2017 11:13:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/1631 took 23709 ms. Total solver calls (SAT/UNSAT): 70530(5160/65370)
Jun 05, 2017 11:13:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/1631 took 24744 ms. Total solver calls (SAT/UNSAT): 74820(5280/69540)
Jun 05, 2017 11:13:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/1631 took 25780 ms. Total solver calls (SAT/UNSAT): 79110(5400/73710)
Jun 05, 2017 11:13:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/1631 took 26795 ms. Total solver calls (SAT/UNSAT): 83400(5510/77890)
Jun 05, 2017 11:13:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :598/1631 took 27837 ms. Total solver calls (SAT/UNSAT): 87690(5630/82060)
Jun 05, 2017 11:13:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :611/1631 took 28895 ms. Total solver calls (SAT/UNSAT): 91980(5750/86230)
Jun 05, 2017 11:13:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :624/1631 took 29911 ms. Total solver calls (SAT/UNSAT): 96270(5870/90400)
Jun 05, 2017 11:13:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :637/1631 took 30924 ms. Total solver calls (SAT/UNSAT): 100560(5990/94570)
Jun 05, 2017 11:13:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :651/1631 took 31984 ms. Total solver calls (SAT/UNSAT): 105180(6100/99080)
Jun 05, 2017 11:13:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :664/1631 took 33002 ms. Total solver calls (SAT/UNSAT): 109470(6220/103250)
Jun 05, 2017 11:13:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :677/1631 took 34014 ms. Total solver calls (SAT/UNSAT): 113760(6340/107420)
Jun 05, 2017 11:13:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :690/1631 took 35023 ms. Total solver calls (SAT/UNSAT): 118050(6460/111590)
Jun 05, 2017 11:13:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :703/1631 took 36032 ms. Total solver calls (SAT/UNSAT): 122340(6580/115760)
Jun 05, 2017 11:13:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :716/1631 took 37058 ms. Total solver calls (SAT/UNSAT): 126630(6700/119930)
Jun 05, 2017 11:13:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :730/1631 took 38124 ms. Total solver calls (SAT/UNSAT): 131250(6820/124430)
Jun 05, 2017 11:13:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :744/1631 took 39189 ms. Total solver calls (SAT/UNSAT): 135870(6940/128930)
Jun 05, 2017 11:13:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :757/1631 took 40205 ms. Total solver calls (SAT/UNSAT): 140160(7060/133100)
Jun 05, 2017 11:13:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :770/1631 took 41228 ms. Total solver calls (SAT/UNSAT): 144450(7180/137270)
Jun 05, 2017 11:13:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :783/1631 took 42247 ms. Total solver calls (SAT/UNSAT): 148740(7300/141440)
Jun 05, 2017 11:13:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :796/1631 took 43252 ms. Total solver calls (SAT/UNSAT): 153030(7410/145620)
Jun 05, 2017 11:13:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :809/1631 took 44269 ms. Total solver calls (SAT/UNSAT): 157320(7530/149790)
Jun 05, 2017 11:13:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :822/1631 took 45327 ms. Total solver calls (SAT/UNSAT): 161610(7650/153960)
Jun 05, 2017 11:13:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :835/1631 took 46357 ms. Total solver calls (SAT/UNSAT): 165900(7770/158130)
Jun 05, 2017 11:13:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :848/1631 took 47369 ms. Total solver calls (SAT/UNSAT): 170190(7880/162310)
Jun 05, 2017 11:13:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :861/1631 took 48414 ms. Total solver calls (SAT/UNSAT): 174480(8000/166480)
Jun 05, 2017 11:13:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :874/1631 took 49437 ms. Total solver calls (SAT/UNSAT): 178770(8110/170660)
Jun 05, 2017 11:14:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :887/1631 took 50481 ms. Total solver calls (SAT/UNSAT): 183060(8230/174830)
Jun 05, 2017 11:14:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :900/1631 took 51508 ms. Total solver calls (SAT/UNSAT): 187350(8350/179000)
Jun 05, 2017 11:14:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :913/1631 took 52547 ms. Total solver calls (SAT/UNSAT): 191640(8470/183170)
Jun 05, 2017 11:14:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :926/1631 took 53592 ms. Total solver calls (SAT/UNSAT): 195930(8590/187340)
Jun 05, 2017 11:14:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :939/1631 took 54632 ms. Total solver calls (SAT/UNSAT): 200220(8700/191520)
Jun 05, 2017 11:14:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :952/1631 took 55664 ms. Total solver calls (SAT/UNSAT): 204510(8810/195700)
Jun 05, 2017 11:14:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :965/1631 took 56683 ms. Total solver calls (SAT/UNSAT): 208800(8930/199870)
Jun 05, 2017 11:14:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :978/1631 took 57720 ms. Total solver calls (SAT/UNSAT): 213090(9050/204040)
Jun 05, 2017 11:14:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :991/1631 took 58760 ms. Total solver calls (SAT/UNSAT): 217380(9170/208210)
Jun 05, 2017 11:14:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1004/1631 took 59801 ms. Total solver calls (SAT/UNSAT): 221670(9290/212380)
Jun 05, 2017 11:14:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1017/1631 took 60822 ms. Total solver calls (SAT/UNSAT): 225960(9400/216560)
Jun 05, 2017 11:14:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1030/1631 took 61862 ms. Total solver calls (SAT/UNSAT): 230250(9520/220730)
Jun 05, 2017 11:14:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1043/1631 took 62877 ms. Total solver calls (SAT/UNSAT): 234540(9630/224910)
Jun 05, 2017 11:14:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1056/1631 took 63915 ms. Total solver calls (SAT/UNSAT): 238830(9750/229080)
Jun 05, 2017 11:14:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1069/1631 took 64918 ms. Total solver calls (SAT/UNSAT): 243120(9870/233250)
Jun 05, 2017 11:14:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1082/1631 took 65949 ms. Total solver calls (SAT/UNSAT): 247410(9990/237420)
Jun 05, 2017 11:14:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1095/1631 took 66969 ms. Total solver calls (SAT/UNSAT): 251700(10100/241600)
Jun 05, 2017 11:14:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1108/1631 took 67995 ms. Total solver calls (SAT/UNSAT): 255990(10220/245770)
Jun 05, 2017 11:14:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1121/1631 took 69011 ms. Total solver calls (SAT/UNSAT): 260280(10340/249940)
Jun 05, 2017 11:14:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1134/1631 took 70020 ms. Total solver calls (SAT/UNSAT): 264570(10460/254110)
Jun 05, 2017 11:14:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1148/1631 took 71088 ms. Total solver calls (SAT/UNSAT): 269190(10580/258610)
Jun 05, 2017 11:14:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1161/1631 took 72103 ms. Total solver calls (SAT/UNSAT): 273480(10700/262780)
Jun 05, 2017 11:14:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1174/1631 took 73103 ms. Total solver calls (SAT/UNSAT): 277770(10810/266960)
Jun 05, 2017 11:14:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1187/1631 took 74136 ms. Total solver calls (SAT/UNSAT): 282060(10930/271130)
Jun 05, 2017 11:14:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1201/1631 took 75205 ms. Total solver calls (SAT/UNSAT): 286680(11060/275620)
Jun 05, 2017 11:14:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1215/1631 took 76270 ms. Total solver calls (SAT/UNSAT): 291300(11190/280110)
Jun 05, 2017 11:14:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1229/1631 took 77337 ms. Total solver calls (SAT/UNSAT): 295920(11310/284610)
Jun 05, 2017 11:14:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1242/1631 took 78337 ms. Total solver calls (SAT/UNSAT): 300210(11420/288790)
Jun 05, 2017 11:14:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1255/1631 took 79361 ms. Total solver calls (SAT/UNSAT): 304500(11540/292960)
Jun 05, 2017 11:14:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1268/1631 took 80384 ms. Total solver calls (SAT/UNSAT): 308790(11660/297130)
Jun 05, 2017 11:14:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1281/1631 took 81406 ms. Total solver calls (SAT/UNSAT): 313080(11780/301300)
Jun 05, 2017 11:14:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1294/1631 took 82433 ms. Total solver calls (SAT/UNSAT): 317370(11900/305470)
Jun 05, 2017 11:14:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1306/1631 took 83433 ms. Total solver calls (SAT/UNSAT): 321330(12000/309330)
Jun 05, 2017 11:14:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1319/1631 took 84457 ms. Total solver calls (SAT/UNSAT): 325620(12120/313500)
Jun 05, 2017 11:14:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1332/1631 took 85483 ms. Total solver calls (SAT/UNSAT): 329910(12240/317670)
Jun 05, 2017 11:14:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1345/1631 took 86497 ms. Total solver calls (SAT/UNSAT): 334200(12350/321850)
Jun 05, 2017 11:14:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1358/1631 took 87514 ms. Total solver calls (SAT/UNSAT): 338490(12470/326020)
Jun 05, 2017 11:14:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1371/1631 took 88543 ms. Total solver calls (SAT/UNSAT): 342780(12590/330190)
Jun 05, 2017 11:14:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1384/1631 took 89544 ms. Total solver calls (SAT/UNSAT): 347070(12700/334370)
Jun 05, 2017 11:14:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1397/1631 took 90559 ms. Total solver calls (SAT/UNSAT): 351360(12820/338540)
Jun 05, 2017 11:14:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1410/1631 took 91580 ms. Total solver calls (SAT/UNSAT): 355650(12940/342710)
Jun 05, 2017 11:14:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1423/1631 took 92614 ms. Total solver calls (SAT/UNSAT): 359940(13060/346880)
Jun 05, 2017 11:14:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1435/1631 took 93638 ms. Total solver calls (SAT/UNSAT): 363900(13170/350730)
Jun 05, 2017 11:14:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1448/1631 took 94658 ms. Total solver calls (SAT/UNSAT): 368190(13280/354910)
Jun 05, 2017 11:14:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1461/1631 took 95696 ms. Total solver calls (SAT/UNSAT): 372480(13400/359080)
Jun 05, 2017 11:14:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1474/1631 took 96698 ms. Total solver calls (SAT/UNSAT): 376770(13510/363260)
Jun 05, 2017 11:14:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1487/1631 took 97714 ms. Total solver calls (SAT/UNSAT): 381060(13630/367430)
Jun 05, 2017 11:14:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1500/1631 took 98738 ms. Total solver calls (SAT/UNSAT): 385350(13750/371600)
Jun 05, 2017 11:14:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1513/1631 took 99808 ms. Total solver calls (SAT/UNSAT): 389640(13870/375770)
Jun 05, 2017 11:14:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1526/1631 took 100832 ms. Total solver calls (SAT/UNSAT): 393930(13990/379940)
Jun 05, 2017 11:14:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1539/1631 took 101840 ms. Total solver calls (SAT/UNSAT): 398220(14100/384120)
Jun 05, 2017 11:14:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1584/1631 took 102841 ms. Total solver calls (SAT/UNSAT): 402855(14145/388710)
Jun 05, 2017 11:14:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1629/1631 took 103861 ms. Total solver calls (SAT/UNSAT): 407490(14190/393300)
Jun 05, 2017 11:14:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 104037 ms. Total solver calls (SAT/UNSAT): 407621(14281/393340)
Jun 05, 2017 11:14:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 1631 transitions.
Jun 05, 2017 11:14:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/1631 took 1032 ms. Total solver calls (SAT/UNSAT): 784(304/480)
Jun 05, 2017 11:14:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :31/1631 took 2068 ms. Total solver calls (SAT/UNSAT): 1568(608/960)
Jun 05, 2017 11:14:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/1631 took 3126 ms. Total solver calls (SAT/UNSAT): 2352(912/1440)
Jun 05, 2017 11:14:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :62/1631 took 4133 ms. Total solver calls (SAT/UNSAT): 3087(1197/1890)
Jun 05, 2017 11:14:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :78/1631 took 5184 ms. Total solver calls (SAT/UNSAT): 3871(1501/2370)
Jun 05, 2017 11:15:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :94/1631 took 6200 ms. Total solver calls (SAT/UNSAT): 4655(1805/2850)
Jun 05, 2017 11:15:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/1631 took 7235 ms. Total solver calls (SAT/UNSAT): 5471(2198/3273)
Jun 05, 2017 11:15:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/1631 took 8250 ms. Total solver calls (SAT/UNSAT): 6182(2522/3660)
Jun 05, 2017 11:15:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/1631 took 9304 ms. Total solver calls (SAT/UNSAT): 6923(2873/4050)
Jun 05, 2017 11:15:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :161/1631 took 10346 ms. Total solver calls (SAT/UNSAT): 7664(3224/4440)
Jun 05, 2017 11:15:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/1631 took 11375 ms. Total solver calls (SAT/UNSAT): 8405(3575/4830)
Jun 05, 2017 11:15:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :187/1631 took 12407 ms. Total solver calls (SAT/UNSAT): 9146(3926/5220)
Jun 05, 2017 11:15:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :201/1631 took 13459 ms. Total solver calls (SAT/UNSAT): 9944(4304/5640)
Jun 05, 2017 11:15:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/1631 took 14532 ms. Total solver calls (SAT/UNSAT): 10685(4655/6030)
Jun 05, 2017 11:15:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :229/1631 took 15555 ms. Total solver calls (SAT/UNSAT): 11540(5060/6480)
Jun 05, 2017 11:15:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/1631 took 16557 ms. Total solver calls (SAT/UNSAT): 12190(5510/6680)
Jun 05, 2017 11:15:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/1631 took 17595 ms. Total solver calls (SAT/UNSAT): 12880(5970/6910)
Jun 05, 2017 11:15:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :266/1631 took 18621 ms. Total solver calls (SAT/UNSAT): 13920(6230/7690)
Jun 05, 2017 11:15:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/1631 took 19651 ms. Total solver calls (SAT/UNSAT): 14960(6490/8470)
Jun 05, 2017 11:15:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/1631 took 20676 ms. Total solver calls (SAT/UNSAT): 16000(6750/9250)
Jun 05, 2017 11:15:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :334/1631 took 21710 ms. Total solver calls (SAT/UNSAT): 17050(6950/10100)
Jun 05, 2017 11:15:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :343/1631 took 22783 ms. Total solver calls (SAT/UNSAT): 18148(7112/11036)
Jun 05, 2017 11:15:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/1631 took 23862 ms. Total solver calls (SAT/UNSAT): 19246(7274/11972)
Jun 05, 2017 11:15:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :361/1631 took 24938 ms. Total solver calls (SAT/UNSAT): 20344(7436/12908)
Jun 05, 2017 11:15:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/1631 took 26014 ms. Total solver calls (SAT/UNSAT): 21442(7598/13844)
Jun 05, 2017 11:15:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/1631 took 27090 ms. Total solver calls (SAT/UNSAT): 22540(7760/14780)
Jun 05, 2017 11:15:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/1631 took 28169 ms. Total solver calls (SAT/UNSAT): 23638(7922/15716)
Jun 05, 2017 11:15:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :397/1631 took 29245 ms. Total solver calls (SAT/UNSAT): 24736(8084/16652)
Jun 05, 2017 11:15:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :406/1631 took 30320 ms. Total solver calls (SAT/UNSAT): 25834(8246/17588)
Jun 05, 2017 11:15:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/1631 took 31390 ms. Total solver calls (SAT/UNSAT): 26932(8408/18524)
Jun 05, 2017 11:15:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/1631 took 32434 ms. Total solver calls (SAT/UNSAT): 27820(8660/19160)
Jun 05, 2017 11:15:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/1631 took 33845 ms. Total solver calls (SAT/UNSAT): 29026(8696/20330)
Jun 05, 2017 11:15:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/1631 took 35280 ms. Total solver calls (SAT/UNSAT): 30232(8732/21500)
Jun 05, 2017 11:15:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/1631 took 36719 ms. Total solver calls (SAT/UNSAT): 31438(8768/22670)
Jun 05, 2017 11:15:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/1631 took 38157 ms. Total solver calls (SAT/UNSAT): 32644(8804/23840)
Jun 05, 2017 11:15:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/1631 took 39597 ms. Total solver calls (SAT/UNSAT): 33850(8840/25010)
Jun 05, 2017 11:15:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/1631 took 41007 ms. Total solver calls (SAT/UNSAT): 35056(8876/26180)
Jun 05, 2017 11:15:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/1631 took 42396 ms. Total solver calls (SAT/UNSAT): 36262(8912/27350)
Jun 05, 2017 11:15:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/1631 took 43768 ms. Total solver calls (SAT/UNSAT): 37468(8948/28520)
Jun 05, 2017 11:15:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/1631 took 45138 ms. Total solver calls (SAT/UNSAT): 38674(8984/29690)
Jun 05, 2017 11:15:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/1631 took 46506 ms. Total solver calls (SAT/UNSAT): 39880(9020/30860)
Jun 05, 2017 11:15:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/1631 took 47775 ms. Total solver calls (SAT/UNSAT): 41086(9056/32030)
Jun 05, 2017 11:15:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/1631 took 49022 ms. Total solver calls (SAT/UNSAT): 42292(9092/33200)
Jun 05, 2017 11:15:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/1631 took 50276 ms. Total solver calls (SAT/UNSAT): 43498(9128/34370)
Jun 05, 2017 11:15:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/1631 took 51627 ms. Total solver calls (SAT/UNSAT): 44704(9164/35540)
Jun 05, 2017 11:15:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :474/1631 took 53010 ms. Total solver calls (SAT/UNSAT): 45910(9200/36710)
Jun 05, 2017 11:15:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/1631 took 54396 ms. Total solver calls (SAT/UNSAT): 47116(9236/37880)
Jun 05, 2017 11:15:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/1631 took 55783 ms. Total solver calls (SAT/UNSAT): 48322(9272/39050)
Jun 05, 2017 11:15:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/1631 took 57162 ms. Total solver calls (SAT/UNSAT): 49528(9308/40220)
Jun 05, 2017 11:15:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/1631 took 58555 ms. Total solver calls (SAT/UNSAT): 50734(9344/41390)
Jun 05, 2017 11:15:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/1631 took 59915 ms. Total solver calls (SAT/UNSAT): 51940(9380/42560)
Jun 05, 2017 11:15:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/1631 took 61309 ms. Total solver calls (SAT/UNSAT): 53146(9416/43730)
Jun 05, 2017 11:15:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/1631 took 62705 ms. Total solver calls (SAT/UNSAT): 54352(9452/44900)
Jun 05, 2017 11:15:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/1631 took 64091 ms. Total solver calls (SAT/UNSAT): 55558(9488/46070)
Jun 05, 2017 11:15:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/1631 took 65338 ms. Total solver calls (SAT/UNSAT): 56764(9524/47240)
Jun 05, 2017 11:16:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/1631 took 66513 ms. Total solver calls (SAT/UNSAT): 57970(9560/48410)
Jun 05, 2017 11:16:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/1631 took 67685 ms. Total solver calls (SAT/UNSAT): 59176(9596/49580)
Jun 05, 2017 11:16:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/1631 took 68931 ms. Total solver calls (SAT/UNSAT): 60382(9632/50750)
Jun 05, 2017 11:16:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/1631 took 70332 ms. Total solver calls (SAT/UNSAT): 61588(9668/51920)
Jun 05, 2017 11:16:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/1631 took 71713 ms. Total solver calls (SAT/UNSAT): 62794(9704/53090)
Jun 05, 2017 11:16:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/1631 took 73122 ms. Total solver calls (SAT/UNSAT): 64000(9740/54260)
Jun 05, 2017 11:16:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/1631 took 74386 ms. Total solver calls (SAT/UNSAT): 65206(9776/55430)
Jun 05, 2017 11:16:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/1631 took 75660 ms. Total solver calls (SAT/UNSAT): 66412(9812/56600)
Jun 05, 2017 11:16:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/1631 took 76915 ms. Total solver calls (SAT/UNSAT): 67618(9848/57770)
Jun 05, 2017 11:16:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/1631 took 78015 ms. Total solver calls (SAT/UNSAT): 68550(9950/58600)
Jun 05, 2017 11:16:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/1631 took 79182 ms. Total solver calls (SAT/UNSAT): 69540(9983/59557)
Jun 05, 2017 11:16:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/1631 took 80331 ms. Total solver calls (SAT/UNSAT): 70530(10016/60514)
Jun 05, 2017 11:16:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/1631 took 81424 ms. Total solver calls (SAT/UNSAT): 71520(10049/61471)
Jun 05, 2017 11:16:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/1631 took 82511 ms. Total solver calls (SAT/UNSAT): 72510(10071/62439)
Jun 05, 2017 11:16:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/1631 took 83613 ms. Total solver calls (SAT/UNSAT): 73500(10104/63396)
Jun 05, 2017 11:16:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/1631 took 84712 ms. Total solver calls (SAT/UNSAT): 74490(10137/64353)
Jun 05, 2017 11:16:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/1631 took 85793 ms. Total solver calls (SAT/UNSAT): 75480(10170/65310)
Jun 05, 2017 11:16:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/1631 took 86896 ms. Total solver calls (SAT/UNSAT): 76470(10192/66278)
Jun 05, 2017 11:16:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/1631 took 87991 ms. Total solver calls (SAT/UNSAT): 77460(10225/67235)
Jun 05, 2017 11:16:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/1631 took 89079 ms. Total solver calls (SAT/UNSAT): 78450(10258/68192)
Jun 05, 2017 11:16:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/1631 took 90186 ms. Total solver calls (SAT/UNSAT): 79440(10280/69160)
Jun 05, 2017 11:16:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/1631 took 91286 ms. Total solver calls (SAT/UNSAT): 80430(10313/70117)
Jun 05, 2017 11:16:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/1631 took 92468 ms. Total solver calls (SAT/UNSAT): 81420(10346/71074)
Jun 05, 2017 11:16:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/1631 took 93634 ms. Total solver calls (SAT/UNSAT): 82410(10379/72031)
Jun 05, 2017 11:16:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/1631 took 94827 ms. Total solver calls (SAT/UNSAT): 83400(10401/72999)
Jun 05, 2017 11:16:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/1631 took 95985 ms. Total solver calls (SAT/UNSAT): 84390(10434/73956)
Jun 05, 2017 11:16:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/1631 took 97065 ms. Total solver calls (SAT/UNSAT): 85380(10467/74913)
Jun 05, 2017 11:16:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :594/1631 took 98161 ms. Total solver calls (SAT/UNSAT): 86370(10500/75870)
Jun 05, 2017 11:16:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :597/1631 took 99258 ms. Total solver calls (SAT/UNSAT): 87360(10522/76838)
Jun 05, 2017 11:16:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :600/1631 took 100354 ms. Total solver calls (SAT/UNSAT): 88350(10555/77795)
Jun 05, 2017 11:16:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :603/1631 took 101516 ms. Total solver calls (SAT/UNSAT): 89340(10588/78752)
Jun 05, 2017 11:16:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :606/1631 took 102692 ms. Total solver calls (SAT/UNSAT): 90330(10610/79720)
Jun 05, 2017 11:16:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :609/1631 took 103824 ms. Total solver calls (SAT/UNSAT): 91320(10643/80677)
Jun 05, 2017 11:16:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :612/1631 took 104909 ms. Total solver calls (SAT/UNSAT): 92310(10676/81634)
Jun 05, 2017 11:16:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :615/1631 took 106010 ms. Total solver calls (SAT/UNSAT): 93300(10709/82591)
Jun 05, 2017 11:16:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :618/1631 took 107106 ms. Total solver calls (SAT/UNSAT): 94290(10731/83559)
Jun 05, 2017 11:16:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :621/1631 took 108223 ms. Total solver calls (SAT/UNSAT): 95280(10764/84516)
Jun 05, 2017 11:16:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :624/1631 took 109399 ms. Total solver calls (SAT/UNSAT): 96270(10797/85473)
Jun 05, 2017 11:16:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :627/1631 took 110570 ms. Total solver calls (SAT/UNSAT): 97260(10830/86430)
Jun 05, 2017 11:16:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :630/1631 took 111667 ms. Total solver calls (SAT/UNSAT): 98250(10852/87398)
Jun 05, 2017 11:16:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :633/1631 took 112756 ms. Total solver calls (SAT/UNSAT): 99240(10885/88355)
Jun 05, 2017 11:16:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :636/1631 took 113851 ms. Total solver calls (SAT/UNSAT): 100230(10918/89312)
Jun 05, 2017 11:16:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :639/1631 took 114956 ms. Total solver calls (SAT/UNSAT): 101220(10940/90280)
Jun 05, 2017 11:16:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :642/1631 took 116129 ms. Total solver calls (SAT/UNSAT): 102210(10962/91248)
Jun 05, 2017 11:16:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :645/1631 took 117299 ms. Total solver calls (SAT/UNSAT): 103200(10995/92205)
Jun 05, 2017 11:16:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :648/1631 took 118406 ms. Total solver calls (SAT/UNSAT): 104190(11028/93162)
Jun 05, 2017 11:16:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :651/1631 took 119505 ms. Total solver calls (SAT/UNSAT): 105180(11050/94130)
Jun 05, 2017 11:16:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :654/1631 took 120607 ms. Total solver calls (SAT/UNSAT): 106170(11083/95087)
Jun 05, 2017 11:16:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :657/1631 took 121682 ms. Total solver calls (SAT/UNSAT): 107160(11116/96044)
Jun 05, 2017 11:16:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :660/1631 took 122772 ms. Total solver calls (SAT/UNSAT): 108150(11149/97001)
Jun 05, 2017 11:16:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :663/1631 took 123887 ms. Total solver calls (SAT/UNSAT): 109140(11171/97969)
Jun 05, 2017 11:16:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :666/1631 took 124975 ms. Total solver calls (SAT/UNSAT): 110130(11204/98926)
Jun 05, 2017 11:17:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :669/1631 took 126051 ms. Total solver calls (SAT/UNSAT): 111120(11237/99883)
Jun 05, 2017 11:17:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :672/1631 took 127224 ms. Total solver calls (SAT/UNSAT): 112110(11270/100840)
Jun 05, 2017 11:17:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :675/1631 took 128348 ms. Total solver calls (SAT/UNSAT): 113100(11292/101808)
Jun 05, 2017 11:17:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :678/1631 took 129426 ms. Total solver calls (SAT/UNSAT): 114090(11325/102765)
Jun 05, 2017 11:17:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :681/1631 took 130522 ms. Total solver calls (SAT/UNSAT): 115080(11358/103722)
Jun 05, 2017 11:17:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :684/1631 took 131649 ms. Total solver calls (SAT/UNSAT): 116070(11380/104690)
Jun 05, 2017 11:17:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :687/1631 took 132748 ms. Total solver calls (SAT/UNSAT): 117060(11413/105647)
Jun 05, 2017 11:17:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :690/1631 took 133838 ms. Total solver calls (SAT/UNSAT): 118050(11446/106604)
Jun 05, 2017 11:17:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :693/1631 took 134945 ms. Total solver calls (SAT/UNSAT): 119040(11479/107561)
Jun 05, 2017 11:17:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :696/1631 took 136046 ms. Total solver calls (SAT/UNSAT): 120030(11501/108529)
Jun 05, 2017 11:17:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :699/1631 took 137241 ms. Total solver calls (SAT/UNSAT): 121020(11534/109486)
Jun 05, 2017 11:17:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :702/1631 took 138368 ms. Total solver calls (SAT/UNSAT): 122010(11567/110443)
Jun 05, 2017 11:17:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :705/1631 took 139484 ms. Total solver calls (SAT/UNSAT): 123000(11600/111400)
Jun 05, 2017 11:17:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :708/1631 took 140580 ms. Total solver calls (SAT/UNSAT): 123990(11622/112368)
Jun 05, 2017 11:17:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :711/1631 took 141681 ms. Total solver calls (SAT/UNSAT): 124980(11655/113325)
Jun 05, 2017 11:17:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :714/1631 took 142798 ms. Total solver calls (SAT/UNSAT): 125970(11688/114282)
Jun 05, 2017 11:17:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :717/1631 took 143897 ms. Total solver calls (SAT/UNSAT): 126960(11710/115250)
Jun 05, 2017 11:17:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :720/1631 took 144989 ms. Total solver calls (SAT/UNSAT): 127950(11743/116207)
Jun 05, 2017 11:17:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :723/1631 took 146098 ms. Total solver calls (SAT/UNSAT): 128940(11776/117164)
Jun 05, 2017 11:17:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :726/1631 took 147197 ms. Total solver calls (SAT/UNSAT): 129930(11809/118121)
Jun 05, 2017 11:17:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :729/1631 took 148295 ms. Total solver calls (SAT/UNSAT): 130920(11831/119089)
Jun 05, 2017 11:17:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :732/1631 took 149400 ms. Total solver calls (SAT/UNSAT): 131910(11864/120046)
Jun 05, 2017 11:17:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :735/1631 took 150496 ms. Total solver calls (SAT/UNSAT): 132900(11897/121003)
Jun 05, 2017 11:17:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :738/1631 took 151577 ms. Total solver calls (SAT/UNSAT): 133890(11930/121960)
Jun 05, 2017 11:17:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :741/1631 took 152648 ms. Total solver calls (SAT/UNSAT): 134880(11941/122939)
Jun 05, 2017 11:17:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :744/1631 took 153708 ms. Total solver calls (SAT/UNSAT): 135870(11974/123896)
Jun 05, 2017 11:17:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :747/1631 took 154768 ms. Total solver calls (SAT/UNSAT): 136860(12007/124853)
Jun 05, 2017 11:17:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :750/1631 took 155870 ms. Total solver calls (SAT/UNSAT): 137850(12040/125810)
Jun 05, 2017 11:17:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :753/1631 took 156998 ms. Total solver calls (SAT/UNSAT): 138840(12062/126778)
Jun 05, 2017 11:17:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :756/1631 took 158122 ms. Total solver calls (SAT/UNSAT): 139830(12095/127735)
Jun 05, 2017 11:17:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :759/1631 took 159226 ms. Total solver calls (SAT/UNSAT): 140820(12128/128692)
Jun 05, 2017 11:17:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :762/1631 took 160344 ms. Total solver calls (SAT/UNSAT): 141810(12150/129660)
Jun 05, 2017 11:17:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :765/1631 took 161480 ms. Total solver calls (SAT/UNSAT): 142800(12183/130617)
Jun 05, 2017 11:17:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :768/1631 took 162583 ms. Total solver calls (SAT/UNSAT): 143790(12216/131574)
Jun 05, 2017 11:17:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :771/1631 took 163690 ms. Total solver calls (SAT/UNSAT): 144780(12249/132531)
Jun 05, 2017 11:17:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :774/1631 took 164830 ms. Total solver calls (SAT/UNSAT): 145770(12271/133499)
Jun 05, 2017 11:17:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :777/1631 took 165945 ms. Total solver calls (SAT/UNSAT): 146760(12304/134456)
Jun 05, 2017 11:17:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :780/1631 took 167048 ms. Total solver calls (SAT/UNSAT): 147750(12337/135413)
Jun 05, 2017 11:17:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :783/1631 took 168173 ms. Total solver calls (SAT/UNSAT): 148740(12370/136370)
Jun 05, 2017 11:17:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :786/1631 took 169302 ms. Total solver calls (SAT/UNSAT): 149730(12392/137338)
Jun 05, 2017 11:17:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :789/1631 took 170405 ms. Total solver calls (SAT/UNSAT): 150720(12425/138295)
Jun 05, 2017 11:17:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :792/1631 took 171513 ms. Total solver calls (SAT/UNSAT): 151710(12458/139252)
Jun 05, 2017 11:17:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :795/1631 took 172643 ms. Total solver calls (SAT/UNSAT): 152700(12480/140220)
Jun 05, 2017 11:17:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :798/1631 took 173743 ms. Total solver calls (SAT/UNSAT): 153690(12513/141177)
Jun 05, 2017 11:17:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :801/1631 took 174844 ms. Total solver calls (SAT/UNSAT): 154680(12546/142134)
Jun 05, 2017 11:17:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :804/1631 took 175977 ms. Total solver calls (SAT/UNSAT): 155670(12579/143091)
Jun 05, 2017 11:17:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :807/1631 took 177094 ms. Total solver calls (SAT/UNSAT): 156660(12601/144059)
Jun 05, 2017 11:17:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :810/1631 took 178195 ms. Total solver calls (SAT/UNSAT): 157650(12634/145016)
Jun 05, 2017 11:17:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :813/1631 took 179326 ms. Total solver calls (SAT/UNSAT): 158640(12667/145973)
Jun 05, 2017 11:17:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :816/1631 took 180448 ms. Total solver calls (SAT/UNSAT): 159630(12700/146930)
Jun 05, 2017 11:17:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :819/1631 took 181553 ms. Total solver calls (SAT/UNSAT): 160620(12722/147898)
Jun 05, 2017 11:17:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :822/1631 took 182667 ms. Total solver calls (SAT/UNSAT): 161610(12755/148855)
Jun 05, 2017 11:17:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :825/1631 took 183803 ms. Total solver calls (SAT/UNSAT): 162600(12788/149812)
Jun 05, 2017 11:17:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :828/1631 took 184911 ms. Total solver calls (SAT/UNSAT): 163590(12810/150780)
Jun 05, 2017 11:18:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :831/1631 took 186012 ms. Total solver calls (SAT/UNSAT): 164580(12843/151737)
Jun 05, 2017 11:18:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :834/1631 took 187142 ms. Total solver calls (SAT/UNSAT): 165570(12876/152694)
Jun 05, 2017 11:18:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :837/1631 took 188255 ms. Total solver calls (SAT/UNSAT): 166560(12909/153651)
Jun 05, 2017 11:18:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :840/1631 took 189345 ms. Total solver calls (SAT/UNSAT): 167550(12920/154630)
Jun 05, 2017 11:18:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :843/1631 took 190381 ms. Total solver calls (SAT/UNSAT): 168540(12953/155587)
Jun 05, 2017 11:18:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :846/1631 took 191427 ms. Total solver calls (SAT/UNSAT): 169530(12986/156544)
Jun 05, 2017 11:18:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :849/1631 took 192473 ms. Total solver calls (SAT/UNSAT): 170520(13019/157501)
Jun 05, 2017 11:18:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :852/1631 took 193526 ms. Total solver calls (SAT/UNSAT): 171510(13041/158469)
Jun 05, 2017 11:18:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :855/1631 took 194578 ms. Total solver calls (SAT/UNSAT): 172500(13074/159426)
Jun 05, 2017 11:18:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :858/1631 took 195615 ms. Total solver calls (SAT/UNSAT): 173490(13107/160383)
Jun 05, 2017 11:18:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :861/1631 took 196665 ms. Total solver calls (SAT/UNSAT): 174480(13140/161340)
Jun 05, 2017 11:18:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :864/1631 took 197719 ms. Total solver calls (SAT/UNSAT): 175470(13162/162308)
Jun 05, 2017 11:18:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :867/1631 took 198765 ms. Total solver calls (SAT/UNSAT): 176460(13195/163265)
Jun 05, 2017 11:18:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :870/1631 took 199813 ms. Total solver calls (SAT/UNSAT): 177450(13228/164222)
Jun 05, 2017 11:18:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :873/1631 took 200858 ms. Total solver calls (SAT/UNSAT): 178440(13250/165190)
Jun 05, 2017 11:18:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :876/1631 took 201907 ms. Total solver calls (SAT/UNSAT): 179430(13283/166147)
Jun 05, 2017 11:18:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :879/1631 took 202956 ms. Total solver calls (SAT/UNSAT): 180420(13316/167104)
Jun 05, 2017 11:18:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :882/1631 took 204007 ms. Total solver calls (SAT/UNSAT): 181410(13349/168061)
Jun 05, 2017 11:18:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :885/1631 took 205062 ms. Total solver calls (SAT/UNSAT): 182400(13371/169029)
Jun 05, 2017 11:18:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :888/1631 took 206154 ms. Total solver calls (SAT/UNSAT): 183390(13404/169986)
Jun 05, 2017 11:18:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :891/1631 took 207208 ms. Total solver calls (SAT/UNSAT): 184380(13437/170943)
Jun 05, 2017 11:18:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :894/1631 took 208253 ms. Total solver calls (SAT/UNSAT): 185370(13470/171900)
Jun 05, 2017 11:18:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :897/1631 took 209300 ms. Total solver calls (SAT/UNSAT): 186360(13492/172868)
Jun 05, 2017 11:18:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :900/1631 took 210343 ms. Total solver calls (SAT/UNSAT): 187350(13525/173825)
Jun 05, 2017 11:18:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :903/1631 took 211383 ms. Total solver calls (SAT/UNSAT): 188340(13558/174782)
Jun 05, 2017 11:18:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :906/1631 took 212435 ms. Total solver calls (SAT/UNSAT): 189330(13580/175750)
Jun 05, 2017 11:18:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :909/1631 took 213482 ms. Total solver calls (SAT/UNSAT): 190320(13613/176707)
Jun 05, 2017 11:18:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :912/1631 took 214529 ms. Total solver calls (SAT/UNSAT): 191310(13646/177664)
Jun 05, 2017 11:18:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :915/1631 took 215575 ms. Total solver calls (SAT/UNSAT): 192300(13679/178621)
Jun 05, 2017 11:18:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :918/1631 took 216615 ms. Total solver calls (SAT/UNSAT): 193290(13701/179589)
Jun 05, 2017 11:18:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :921/1631 took 217662 ms. Total solver calls (SAT/UNSAT): 194280(13734/180546)
Jun 05, 2017 11:18:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :924/1631 took 218710 ms. Total solver calls (SAT/UNSAT): 195270(13767/181503)
Jun 05, 2017 11:18:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :927/1631 took 219759 ms. Total solver calls (SAT/UNSAT): 196260(13800/182460)
Jun 05, 2017 11:18:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :930/1631 took 220806 ms. Total solver calls (SAT/UNSAT): 197250(13822/183428)
Jun 05, 2017 11:18:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :933/1631 took 221839 ms. Total solver calls (SAT/UNSAT): 198240(13855/184385)
Jun 05, 2017 11:18:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :936/1631 took 222931 ms. Total solver calls (SAT/UNSAT): 199230(13888/185342)
Jun 05, 2017 11:18:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :939/1631 took 223980 ms. Total solver calls (SAT/UNSAT): 200220(13910/186310)
Jun 05, 2017 11:18:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :942/1631 took 225158 ms. Total solver calls (SAT/UNSAT): 201210(13932/187278)
Jun 05, 2017 11:18:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :945/1631 took 226332 ms. Total solver calls (SAT/UNSAT): 202200(13965/188235)
Jun 05, 2017 11:18:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :948/1631 took 227514 ms. Total solver calls (SAT/UNSAT): 203190(13998/189192)
Jun 05, 2017 11:18:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :951/1631 took 228703 ms. Total solver calls (SAT/UNSAT): 204180(14020/190160)
Jun 05, 2017 11:18:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :954/1631 took 229878 ms. Total solver calls (SAT/UNSAT): 205170(14053/191117)
Jun 05, 2017 11:18:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :957/1631 took 231052 ms. Total solver calls (SAT/UNSAT): 206160(14086/192074)
Jun 05, 2017 11:18:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :960/1631 took 232235 ms. Total solver calls (SAT/UNSAT): 207150(14119/193031)
Jun 05, 2017 11:18:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :963/1631 took 233415 ms. Total solver calls (SAT/UNSAT): 208140(14141/193999)
Jun 05, 2017 11:18:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :966/1631 took 234593 ms. Total solver calls (SAT/UNSAT): 209130(14174/194956)
Jun 05, 2017 11:18:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :969/1631 took 235775 ms. Total solver calls (SAT/UNSAT): 210120(14207/195913)
Jun 05, 2017 11:18:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :972/1631 took 236949 ms. Total solver calls (SAT/UNSAT): 211110(14240/196870)
Jun 05, 2017 11:18:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :975/1631 took 238129 ms. Total solver calls (SAT/UNSAT): 212100(14262/197838)
Jun 05, 2017 11:18:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :978/1631 took 239316 ms. Total solver calls (SAT/UNSAT): 213090(14295/198795)
Jun 05, 2017 11:18:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :981/1631 took 240497 ms. Total solver calls (SAT/UNSAT): 214080(14328/199752)
Jun 05, 2017 11:18:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :984/1631 took 241679 ms. Total solver calls (SAT/UNSAT): 215070(14350/200720)
Jun 05, 2017 11:18:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :987/1631 took 242856 ms. Total solver calls (SAT/UNSAT): 216060(14383/201677)
Jun 05, 2017 11:18:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :990/1631 took 244039 ms. Total solver calls (SAT/UNSAT): 217050(14416/202634)
Jun 05, 2017 11:18:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :993/1631 took 245208 ms. Total solver calls (SAT/UNSAT): 218040(14449/203591)
Jun 05, 2017 11:19:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :996/1631 took 246379 ms. Total solver calls (SAT/UNSAT): 219030(14471/204559)
Jun 05, 2017 11:19:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :999/1631 took 247557 ms. Total solver calls (SAT/UNSAT): 220020(14504/205516)
Jun 05, 2017 11:19:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1002/1631 took 248734 ms. Total solver calls (SAT/UNSAT): 221010(14537/206473)
Jun 05, 2017 11:19:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1005/1631 took 249909 ms. Total solver calls (SAT/UNSAT): 222000(14570/207430)
Jun 05, 2017 11:19:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1008/1631 took 251101 ms. Total solver calls (SAT/UNSAT): 222990(14592/208398)
Jun 05, 2017 11:19:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1011/1631 took 252286 ms. Total solver calls (SAT/UNSAT): 223980(14625/209355)
Jun 05, 2017 11:19:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1014/1631 took 253462 ms. Total solver calls (SAT/UNSAT): 224970(14658/210312)
Jun 05, 2017 11:19:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1017/1631 took 254644 ms. Total solver calls (SAT/UNSAT): 225960(14680/211280)
Jun 05, 2017 11:19:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1020/1631 took 255829 ms. Total solver calls (SAT/UNSAT): 226950(14713/212237)
Jun 05, 2017 11:19:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1023/1631 took 257009 ms. Total solver calls (SAT/UNSAT): 227940(14746/213194)
Jun 05, 2017 11:19:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1026/1631 took 258184 ms. Total solver calls (SAT/UNSAT): 228930(14779/214151)
Jun 05, 2017 11:19:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1029/1631 took 259372 ms. Total solver calls (SAT/UNSAT): 229920(14801/215119)
Jun 05, 2017 11:19:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1032/1631 took 260544 ms. Total solver calls (SAT/UNSAT): 230910(14834/216076)
Jun 05, 2017 11:19:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1035/1631 took 261716 ms. Total solver calls (SAT/UNSAT): 231900(14867/217033)
Jun 05, 2017 11:19:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1038/1631 took 262899 ms. Total solver calls (SAT/UNSAT): 232890(14900/217990)
Jun 05, 2017 11:19:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1041/1631 took 264073 ms. Total solver calls (SAT/UNSAT): 233880(14911/218969)
Jun 05, 2017 11:19:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1044/1631 took 265166 ms. Total solver calls (SAT/UNSAT): 234870(14944/219926)
Jun 05, 2017 11:19:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1047/1631 took 266254 ms. Total solver calls (SAT/UNSAT): 235860(14977/220883)
Jun 05, 2017 11:19:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1050/1631 took 267352 ms. Total solver calls (SAT/UNSAT): 236850(15010/221840)
Jun 05, 2017 11:19:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1053/1631 took 268467 ms. Total solver calls (SAT/UNSAT): 237840(15032/222808)
Jun 05, 2017 11:19:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1056/1631 took 269572 ms. Total solver calls (SAT/UNSAT): 238830(15065/223765)
Jun 05, 2017 11:19:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1059/1631 took 270654 ms. Total solver calls (SAT/UNSAT): 239820(15098/224722)
Jun 05, 2017 11:19:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1062/1631 took 271745 ms. Total solver calls (SAT/UNSAT): 240810(15120/225690)
Jun 05, 2017 11:19:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1065/1631 took 272866 ms. Total solver calls (SAT/UNSAT): 241800(15153/226647)
Jun 05, 2017 11:19:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1068/1631 took 273962 ms. Total solver calls (SAT/UNSAT): 242790(15186/227604)
Jun 05, 2017 11:19:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1071/1631 took 275040 ms. Total solver calls (SAT/UNSAT): 243780(15219/228561)
Jun 05, 2017 11:19:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1074/1631 took 276136 ms. Total solver calls (SAT/UNSAT): 244770(15241/229529)
Jun 05, 2017 11:19:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1077/1631 took 277234 ms. Total solver calls (SAT/UNSAT): 245760(15274/230486)
Jun 05, 2017 11:19:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1080/1631 took 278319 ms. Total solver calls (SAT/UNSAT): 246750(15307/231443)
Jun 05, 2017 11:19:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1083/1631 took 279405 ms. Total solver calls (SAT/UNSAT): 247740(15340/232400)
Jun 05, 2017 11:19:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1086/1631 took 280504 ms. Total solver calls (SAT/UNSAT): 248730(15362/233368)
Jun 05, 2017 11:19:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1089/1631 took 281587 ms. Total solver calls (SAT/UNSAT): 249720(15395/234325)
Jun 05, 2017 11:19:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1092/1631 took 282683 ms. Total solver calls (SAT/UNSAT): 250710(15428/235282)
Jun 05, 2017 11:19:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1095/1631 took 283781 ms. Total solver calls (SAT/UNSAT): 251700(15450/236250)
Jun 05, 2017 11:19:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1098/1631 took 284855 ms. Total solver calls (SAT/UNSAT): 252690(15483/237207)
Jun 05, 2017 11:19:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1101/1631 took 285949 ms. Total solver calls (SAT/UNSAT): 253680(15516/238164)
Jun 05, 2017 11:19:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1104/1631 took 287055 ms. Total solver calls (SAT/UNSAT): 254670(15549/239121)
Jun 05, 2017 11:19:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1107/1631 took 288163 ms. Total solver calls (SAT/UNSAT): 255660(15571/240089)
Jun 05, 2017 11:19:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1110/1631 took 289247 ms. Total solver calls (SAT/UNSAT): 256650(15604/241046)
Jun 05, 2017 11:19:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1113/1631 took 290331 ms. Total solver calls (SAT/UNSAT): 257640(15637/242003)
Jun 05, 2017 11:19:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1116/1631 took 291434 ms. Total solver calls (SAT/UNSAT): 258630(15670/242960)
Jun 05, 2017 11:19:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1119/1631 took 292523 ms. Total solver calls (SAT/UNSAT): 259620(15692/243928)
Jun 05, 2017 11:19:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1122/1631 took 293620 ms. Total solver calls (SAT/UNSAT): 260610(15725/244885)
Jun 05, 2017 11:19:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1125/1631 took 294714 ms. Total solver calls (SAT/UNSAT): 261600(15758/245842)
Jun 05, 2017 11:19:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1128/1631 took 295795 ms. Total solver calls (SAT/UNSAT): 262590(15780/246810)
Jun 05, 2017 11:19:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1131/1631 took 296883 ms. Total solver calls (SAT/UNSAT): 263580(15813/247767)
Jun 05, 2017 11:19:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1134/1631 took 297989 ms. Total solver calls (SAT/UNSAT): 264570(15846/248724)
Jun 05, 2017 11:19:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1137/1631 took 299079 ms. Total solver calls (SAT/UNSAT): 265560(15879/249681)
Jun 05, 2017 11:19:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1140/1631 took 300162 ms. Total solver calls (SAT/UNSAT): 266550(15890/250660)
Jun 05, 2017 11:19:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1143/1631 took 301291 ms. Total solver calls (SAT/UNSAT): 267540(15923/251617)
Jun 05, 2017 11:19:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1146/1631 took 302387 ms. Total solver calls (SAT/UNSAT): 268530(15956/252574)
Jun 05, 2017 11:19:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1149/1631 took 303475 ms. Total solver calls (SAT/UNSAT): 269520(15989/253531)
Jun 05, 2017 11:19:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1152/1631 took 304581 ms. Total solver calls (SAT/UNSAT): 270510(16011/254499)
Jun 05, 2017 11:20:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1155/1631 took 305688 ms. Total solver calls (SAT/UNSAT): 271500(16044/255456)
Jun 05, 2017 11:20:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1158/1631 took 306782 ms. Total solver calls (SAT/UNSAT): 272490(16077/256413)
Jun 05, 2017 11:20:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1161/1631 took 307873 ms. Total solver calls (SAT/UNSAT): 273480(16110/257370)
Jun 05, 2017 11:20:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1164/1631 took 308975 ms. Total solver calls (SAT/UNSAT): 274470(16132/258338)
Jun 05, 2017 11:20:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1167/1631 took 310066 ms. Total solver calls (SAT/UNSAT): 275460(16165/259295)
Jun 05, 2017 11:20:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1170/1631 took 311158 ms. Total solver calls (SAT/UNSAT): 276450(16198/260252)
Jun 05, 2017 11:20:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1173/1631 took 312301 ms. Total solver calls (SAT/UNSAT): 277440(16220/261220)
Jun 05, 2017 11:20:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1176/1631 took 313396 ms. Total solver calls (SAT/UNSAT): 278430(16253/262177)
Jun 05, 2017 11:20:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1179/1631 took 314487 ms. Total solver calls (SAT/UNSAT): 279420(16286/263134)
Jun 05, 2017 11:20:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1182/1631 took 315641 ms. Total solver calls (SAT/UNSAT): 280410(16319/264091)
Jun 05, 2017 11:20:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1185/1631 took 316751 ms. Total solver calls (SAT/UNSAT): 281400(16341/265059)
Jun 05, 2017 11:20:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1188/1631 took 317831 ms. Total solver calls (SAT/UNSAT): 282390(16374/266016)
Jun 05, 2017 11:20:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1191/1631 took 318915 ms. Total solver calls (SAT/UNSAT): 283380(16407/266973)
Jun 05, 2017 11:20:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1194/1631 took 320006 ms. Total solver calls (SAT/UNSAT): 284370(16440/267930)
Jun 05, 2017 11:20:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1197/1631 took 321100 ms. Total solver calls (SAT/UNSAT): 285360(16462/268898)
Jun 05, 2017 11:20:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1200/1631 took 322177 ms. Total solver calls (SAT/UNSAT): 286350(16495/269855)
Jun 05, 2017 11:20:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1203/1631 took 323276 ms. Total solver calls (SAT/UNSAT): 287340(16528/270812)
Jun 05, 2017 11:20:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1206/1631 took 324380 ms. Total solver calls (SAT/UNSAT): 288330(16550/271780)
Jun 05, 2017 11:20:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1209/1631 took 325467 ms. Total solver calls (SAT/UNSAT): 289320(16583/272737)
Jun 05, 2017 11:20:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1212/1631 took 326552 ms. Total solver calls (SAT/UNSAT): 290310(16616/273694)
Jun 05, 2017 11:20:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1215/1631 took 327639 ms. Total solver calls (SAT/UNSAT): 291300(16649/274651)
Jun 05, 2017 11:20:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1218/1631 took 328725 ms. Total solver calls (SAT/UNSAT): 292290(16671/275619)
Jun 05, 2017 11:20:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1221/1631 took 329815 ms. Total solver calls (SAT/UNSAT): 293280(16704/276576)
Jun 05, 2017 11:20:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1224/1631 took 330903 ms. Total solver calls (SAT/UNSAT): 294270(16737/277533)
Jun 05, 2017 11:20:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1227/1631 took 331983 ms. Total solver calls (SAT/UNSAT): 295260(16770/278490)
Jun 05, 2017 11:20:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1230/1631 took 333070 ms. Total solver calls (SAT/UNSAT): 296250(16792/279458)
Jun 05, 2017 11:20:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1233/1631 took 334171 ms. Total solver calls (SAT/UNSAT): 297240(16825/280415)
Jun 05, 2017 11:20:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1236/1631 took 335251 ms. Total solver calls (SAT/UNSAT): 298230(16858/281372)
Jun 05, 2017 11:20:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1239/1631 took 336386 ms. Total solver calls (SAT/UNSAT): 299220(16880/282340)
Jun 05, 2017 11:20:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1243/1631 took 337589 ms. Total solver calls (SAT/UNSAT): 300540(16913/283627)
Jun 05, 2017 11:20:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1247/1631 took 338784 ms. Total solver calls (SAT/UNSAT): 301860(16957/284903)
Jun 05, 2017 11:20:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1251/1631 took 340005 ms. Total solver calls (SAT/UNSAT): 303180(16990/286190)
Jun 05, 2017 11:20:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1255/1631 took 341199 ms. Total solver calls (SAT/UNSAT): 304500(17034/287466)
Jun 05, 2017 11:20:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1259/1631 took 342406 ms. Total solver calls (SAT/UNSAT): 305820(17078/288742)
Jun 05, 2017 11:20:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1263/1631 took 343609 ms. Total solver calls (SAT/UNSAT): 307140(17111/290029)
Jun 05, 2017 11:20:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1267/1631 took 344803 ms. Total solver calls (SAT/UNSAT): 308460(17155/291305)
Jun 05, 2017 11:20:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1271/1631 took 346019 ms. Total solver calls (SAT/UNSAT): 309780(17199/292581)
Jun 05, 2017 11:20:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1275/1631 took 347219 ms. Total solver calls (SAT/UNSAT): 311100(17232/293868)
Jun 05, 2017 11:20:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1279/1631 took 348423 ms. Total solver calls (SAT/UNSAT): 312420(17276/295144)
Jun 05, 2017 11:20:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1283/1631 took 349631 ms. Total solver calls (SAT/UNSAT): 313740(17320/296420)
Jun 05, 2017 11:20:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1287/1631 took 350835 ms. Total solver calls (SAT/UNSAT): 315060(17353/297707)
Jun 05, 2017 11:20:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1291/1631 took 352056 ms. Total solver calls (SAT/UNSAT): 316380(17397/298983)
Jun 05, 2017 11:20:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1295/1631 took 353250 ms. Total solver calls (SAT/UNSAT): 317700(17430/300270)
Jun 05, 2017 11:20:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1299/1631 took 354500 ms. Total solver calls (SAT/UNSAT): 319020(17474/301546)
Jun 05, 2017 11:20:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1303/1631 took 355708 ms. Total solver calls (SAT/UNSAT): 320340(17518/302822)
Jun 05, 2017 11:20:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1307/1631 took 356896 ms. Total solver calls (SAT/UNSAT): 321660(17551/304109)
Jun 05, 2017 11:20:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1311/1631 took 358099 ms. Total solver calls (SAT/UNSAT): 322980(17595/305385)
Jun 05, 2017 11:20:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1315/1631 took 359283 ms. Total solver calls (SAT/UNSAT): 324300(17639/306661)
Jun 05, 2017 11:20:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1319/1631 took 360481 ms. Total solver calls (SAT/UNSAT): 325620(17672/307948)
Jun 05, 2017 11:20:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1323/1631 took 361692 ms. Total solver calls (SAT/UNSAT): 326940(17716/309224)
Jun 05, 2017 11:20:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1327/1631 took 362883 ms. Total solver calls (SAT/UNSAT): 328260(17760/310500)
Jun 05, 2017 11:20:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1331/1631 took 364087 ms. Total solver calls (SAT/UNSAT): 329580(17793/311787)
Jun 05, 2017 11:20:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1335/1631 took 365276 ms. Total solver calls (SAT/UNSAT): 330900(17837/313063)
Jun 05, 2017 11:21:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1339/1631 took 366474 ms. Total solver calls (SAT/UNSAT): 332220(17870/314350)
Jun 05, 2017 11:21:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1342/1631 took 367622 ms. Total solver calls (SAT/UNSAT): 333210(17892/315318)
Jun 05, 2017 11:21:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1345/1631 took 368791 ms. Total solver calls (SAT/UNSAT): 334200(17925/316275)
Jun 05, 2017 11:21:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1348/1631 took 369956 ms. Total solver calls (SAT/UNSAT): 335190(17958/317232)
Jun 05, 2017 11:21:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1351/1631 took 371131 ms. Total solver calls (SAT/UNSAT): 336180(17980/318200)
Jun 05, 2017 11:21:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1354/1631 took 372293 ms. Total solver calls (SAT/UNSAT): 337170(18013/319157)
Jun 05, 2017 11:21:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1357/1631 took 373465 ms. Total solver calls (SAT/UNSAT): 338160(18046/320114)
Jun 05, 2017 11:21:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1360/1631 took 374633 ms. Total solver calls (SAT/UNSAT): 339150(18079/321071)
Jun 05, 2017 11:21:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1363/1631 took 375808 ms. Total solver calls (SAT/UNSAT): 340140(18101/322039)
Jun 05, 2017 11:21:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1366/1631 took 376970 ms. Total solver calls (SAT/UNSAT): 341130(18134/322996)
Jun 05, 2017 11:21:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1369/1631 took 378292 ms. Total solver calls (SAT/UNSAT): 342120(18167/323953)
Jun 05, 2017 11:21:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1372/1631 took 379456 ms. Total solver calls (SAT/UNSAT): 343110(18200/324910)
Jun 05, 2017 11:21:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1375/1631 took 380633 ms. Total solver calls (SAT/UNSAT): 344100(18222/325878)
Jun 05, 2017 11:21:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1378/1631 took 381803 ms. Total solver calls (SAT/UNSAT): 345090(18255/326835)
Jun 05, 2017 11:21:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1381/1631 took 382972 ms. Total solver calls (SAT/UNSAT): 346080(18288/327792)
Jun 05, 2017 11:21:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1384/1631 took 384135 ms. Total solver calls (SAT/UNSAT): 347070(18310/328760)
Jun 05, 2017 11:21:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1387/1631 took 385306 ms. Total solver calls (SAT/UNSAT): 348060(18343/329717)
Jun 05, 2017 11:21:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1390/1631 took 386480 ms. Total solver calls (SAT/UNSAT): 349050(18376/330674)
Jun 05, 2017 11:21:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1393/1631 took 387646 ms. Total solver calls (SAT/UNSAT): 350040(18409/331631)
Jun 05, 2017 11:21:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1396/1631 took 388806 ms. Total solver calls (SAT/UNSAT): 351030(18431/332599)
Jun 05, 2017 11:21:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1399/1631 took 389985 ms. Total solver calls (SAT/UNSAT): 352020(18464/333556)
Jun 05, 2017 11:21:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1402/1631 took 391163 ms. Total solver calls (SAT/UNSAT): 353010(18497/334513)
Jun 05, 2017 11:21:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1405/1631 took 392339 ms. Total solver calls (SAT/UNSAT): 354000(18530/335470)
Jun 05, 2017 11:21:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1408/1631 took 393511 ms. Total solver calls (SAT/UNSAT): 354990(18552/336438)
Jun 05, 2017 11:21:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1411/1631 took 394682 ms. Total solver calls (SAT/UNSAT): 355980(18585/337395)
Jun 05, 2017 11:21:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1414/1631 took 395845 ms. Total solver calls (SAT/UNSAT): 356970(18618/338352)
Jun 05, 2017 11:21:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1417/1631 took 397006 ms. Total solver calls (SAT/UNSAT): 357960(18640/339320)
Jun 05, 2017 11:21:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1420/1631 took 398175 ms. Total solver calls (SAT/UNSAT): 358950(18673/340277)
Jun 05, 2017 11:21:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1423/1631 took 399351 ms. Total solver calls (SAT/UNSAT): 359940(18706/341234)
Jun 05, 2017 11:21:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1426/1631 took 400514 ms. Total solver calls (SAT/UNSAT): 360930(18739/342191)
Jun 05, 2017 11:21:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1429/1631 took 401698 ms. Total solver calls (SAT/UNSAT): 361920(18761/343159)
Jun 05, 2017 11:21:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1432/1631 took 402856 ms. Total solver calls (SAT/UNSAT): 362910(18794/344116)
Jun 05, 2017 11:21:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1435/1631 took 404023 ms. Total solver calls (SAT/UNSAT): 363900(18827/345073)
Jun 05, 2017 11:21:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1438/1631 took 405191 ms. Total solver calls (SAT/UNSAT): 364890(18860/346030)
Jun 05, 2017 11:21:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1441/1631 took 406278 ms. Total solver calls (SAT/UNSAT): 365880(18871/347009)
Jun 05, 2017 11:21:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1444/1631 took 407318 ms. Total solver calls (SAT/UNSAT): 366870(18904/347966)
Jun 05, 2017 11:21:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1447/1631 took 408356 ms. Total solver calls (SAT/UNSAT): 367860(18937/348923)
Jun 05, 2017 11:21:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1450/1631 took 409395 ms. Total solver calls (SAT/UNSAT): 368850(18970/349880)
Jun 05, 2017 11:21:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1453/1631 took 410437 ms. Total solver calls (SAT/UNSAT): 369840(18992/350848)
Jun 05, 2017 11:21:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1456/1631 took 411468 ms. Total solver calls (SAT/UNSAT): 370830(19025/351805)
Jun 05, 2017 11:21:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1459/1631 took 412506 ms. Total solver calls (SAT/UNSAT): 371820(19058/352762)
Jun 05, 2017 11:21:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1462/1631 took 413547 ms. Total solver calls (SAT/UNSAT): 372810(19080/353730)
Jun 05, 2017 11:21:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1465/1631 took 414588 ms. Total solver calls (SAT/UNSAT): 373800(19113/354687)
Jun 05, 2017 11:21:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1468/1631 took 415609 ms. Total solver calls (SAT/UNSAT): 374790(19146/355644)
Jun 05, 2017 11:21:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1471/1631 took 416637 ms. Total solver calls (SAT/UNSAT): 375780(19179/356601)
Jun 05, 2017 11:21:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1474/1631 took 417677 ms. Total solver calls (SAT/UNSAT): 376770(19201/357569)
Jun 05, 2017 11:21:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1477/1631 took 418718 ms. Total solver calls (SAT/UNSAT): 377760(19234/358526)
Jun 05, 2017 11:21:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1480/1631 took 419757 ms. Total solver calls (SAT/UNSAT): 378750(19267/359483)
Jun 05, 2017 11:21:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1483/1631 took 420793 ms. Total solver calls (SAT/UNSAT): 379740(19300/360440)
Jun 05, 2017 11:21:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1486/1631 took 421818 ms. Total solver calls (SAT/UNSAT): 380730(19322/361408)
Jun 05, 2017 11:21:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1489/1631 took 422916 ms. Total solver calls (SAT/UNSAT): 381720(19355/362365)
Jun 05, 2017 11:21:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1492/1631 took 423965 ms. Total solver calls (SAT/UNSAT): 382710(19388/363322)
Jun 05, 2017 11:21:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1495/1631 took 425017 ms. Total solver calls (SAT/UNSAT): 383700(19410/364290)
Jun 05, 2017 11:22:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1498/1631 took 426050 ms. Total solver calls (SAT/UNSAT): 384690(19443/365247)
Jun 05, 2017 11:22:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1501/1631 took 427099 ms. Total solver calls (SAT/UNSAT): 385680(19476/366204)
Jun 05, 2017 11:22:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1504/1631 took 428151 ms. Total solver calls (SAT/UNSAT): 386670(19509/367161)
Jun 05, 2017 11:22:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1507/1631 took 429208 ms. Total solver calls (SAT/UNSAT): 387660(19531/368129)
Jun 05, 2017 11:22:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1510/1631 took 430253 ms. Total solver calls (SAT/UNSAT): 388650(19564/369086)
Jun 05, 2017 11:22:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1513/1631 took 431305 ms. Total solver calls (SAT/UNSAT): 389640(19597/370043)
Jun 05, 2017 11:22:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1516/1631 took 432328 ms. Total solver calls (SAT/UNSAT): 390630(19630/371000)
Jun 05, 2017 11:22:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1519/1631 took 433362 ms. Total solver calls (SAT/UNSAT): 391620(19652/371968)
Jun 05, 2017 11:22:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1522/1631 took 434413 ms. Total solver calls (SAT/UNSAT): 392610(19685/372925)
Jun 05, 2017 11:22:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1525/1631 took 435467 ms. Total solver calls (SAT/UNSAT): 393600(19718/373882)
Jun 05, 2017 11:22:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1528/1631 took 436510 ms. Total solver calls (SAT/UNSAT): 394590(19740/374850)
Jun 05, 2017 11:22:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1531/1631 took 437557 ms. Total solver calls (SAT/UNSAT): 395580(19773/375807)
Jun 05, 2017 11:22:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1534/1631 took 438602 ms. Total solver calls (SAT/UNSAT): 396570(19806/376764)
Jun 05, 2017 11:22:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1537/1631 took 439646 ms. Total solver calls (SAT/UNSAT): 397560(19839/377721)
Jun 05, 2017 11:22:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1544/1631 took 440648 ms. Total solver calls (SAT/UNSAT): 398735(19905/378830)
Jun 05, 2017 11:22:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1561/1631 took 441664 ms. Total solver calls (SAT/UNSAT): 400486(20092/380394)
Jun 05, 2017 11:22:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1578/1631 took 442678 ms. Total solver calls (SAT/UNSAT): 402237(20279/381958)
Jun 05, 2017 11:22:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1595/1631 took 443682 ms. Total solver calls (SAT/UNSAT): 403988(20466/383522)
Jun 05, 2017 11:22:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1612/1631 took 444688 ms. Total solver calls (SAT/UNSAT): 405739(20653/385086)
Jun 05, 2017 11:22:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1629/1631 took 445702 ms. Total solver calls (SAT/UNSAT): 407490(20840/386650)
Jun 05, 2017 11:22:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 445832 ms. Total solver calls (SAT/UNSAT): 407621(20860/386761)
Jun 05, 2017 11:22:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 1631 transitions.
Jun 05, 2017 11:22:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/1631) took 955 ms. Total solver calls (SAT/UNSAT): 1631(976/655)
Jun 05, 2017 11:22:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/1631) took 2836 ms. Total solver calls (SAT/UNSAT): 4890(2925/1965)
Jun 05, 2017 11:22:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(4/1631) took 4705 ms. Total solver calls (SAT/UNSAT): 8145(4870/3275)
Jun 05, 2017 11:22:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(6/1631) took 6571 ms. Total solver calls (SAT/UNSAT): 11396(6811/4585)
Jun 05, 2017 11:22:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(8/1631) took 8430 ms. Total solver calls (SAT/UNSAT): 14643(8748/5895)
Jun 05, 2017 11:22:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(10/1631) took 10290 ms. Total solver calls (SAT/UNSAT): 17886(10691/7195)
Jun 05, 2017 11:22:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(12/1631) took 12168 ms. Total solver calls (SAT/UNSAT): 21125(12640/8485)
Jun 05, 2017 11:22:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(14/1631) took 14041 ms. Total solver calls (SAT/UNSAT): 24360(14585/9775)
Jun 05, 2017 11:22:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(16/1631) took 15911 ms. Total solver calls (SAT/UNSAT): 27591(16526/11065)
Jun 05, 2017 11:22:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(18/1631) took 17784 ms. Total solver calls (SAT/UNSAT): 30818(18463/12355)
Jun 05, 2017 11:22:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(20/1631) took 19647 ms. Total solver calls (SAT/UNSAT): 34041(20406/13635)
Jun 05, 2017 11:22:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(22/1631) took 21521 ms. Total solver calls (SAT/UNSAT): 37260(22355/14905)
Jun 05, 2017 11:22:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(24/1631) took 23424 ms. Total solver calls (SAT/UNSAT): 40475(24300/16175)
Jun 05, 2017 11:22:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(26/1631) took 25306 ms. Total solver calls (SAT/UNSAT): 43686(26241/17445)
Jun 05, 2017 11:22:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(28/1631) took 27163 ms. Total solver calls (SAT/UNSAT): 46893(28178/18715)
Jun 05, 2017 11:22:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(30/1631) took 29016 ms. Total solver calls (SAT/UNSAT): 50096(30121/19975)
Jun 05, 2017 11:22:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(32/1631) took 30871 ms. Total solver calls (SAT/UNSAT): 53295(32070/21225)
Jun 05, 2017 11:22:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(34/1631) took 32720 ms. Total solver calls (SAT/UNSAT): 56490(34015/22475)
Jun 05, 2017 11:22:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(36/1631) took 34574 ms. Total solver calls (SAT/UNSAT): 59681(35956/23725)
Jun 05, 2017 11:22:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(38/1631) took 36416 ms. Total solver calls (SAT/UNSAT): 62868(37893/24975)
Jun 05, 2017 11:22:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(40/1631) took 38258 ms. Total solver calls (SAT/UNSAT): 66051(39836/26215)
Jun 05, 2017 11:23:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(42/1631) took 40103 ms. Total solver calls (SAT/UNSAT): 69230(41785/27445)
Jun 05, 2017 11:23:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(44/1631) took 41943 ms. Total solver calls (SAT/UNSAT): 72405(43730/28675)
Jun 05, 2017 11:23:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(46/1631) took 43780 ms. Total solver calls (SAT/UNSAT): 75576(45671/29905)
Jun 05, 2017 11:23:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(48/1631) took 45619 ms. Total solver calls (SAT/UNSAT): 78743(47608/31135)
Jun 05, 2017 11:23:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(50/1631) took 47455 ms. Total solver calls (SAT/UNSAT): 81906(49551/32355)
Jun 05, 2017 11:23:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(52/1631) took 49298 ms. Total solver calls (SAT/UNSAT): 85065(51500/33565)
Jun 05, 2017 11:23:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(54/1631) took 51145 ms. Total solver calls (SAT/UNSAT): 88220(53445/34775)
Jun 05, 2017 11:23:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(56/1631) took 52982 ms. Total solver calls (SAT/UNSAT): 91371(55386/35985)
Jun 05, 2017 11:23:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(58/1631) took 54818 ms. Total solver calls (SAT/UNSAT): 94518(57323/37195)
Jun 05, 2017 11:23:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(60/1631) took 56649 ms. Total solver calls (SAT/UNSAT): 97661(59266/38395)
Jun 05, 2017 11:23:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(62/1631) took 58485 ms. Total solver calls (SAT/UNSAT): 100800(61215/39585)
Jun 05, 2017 11:23:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(64/1631) took 60313 ms. Total solver calls (SAT/UNSAT): 103935(63160/40775)
Jun 05, 2017 11:23:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(66/1631) took 62140 ms. Total solver calls (SAT/UNSAT): 107066(65101/41965)
Jun 05, 2017 11:23:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(68/1631) took 63968 ms. Total solver calls (SAT/UNSAT): 110193(67038/43155)
Jun 05, 2017 11:23:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(70/1631) took 65792 ms. Total solver calls (SAT/UNSAT): 113316(68981/44335)
Jun 05, 2017 11:23:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(72/1631) took 67624 ms. Total solver calls (SAT/UNSAT): 116435(70930/45505)
Jun 05, 2017 11:23:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(74/1631) took 69461 ms. Total solver calls (SAT/UNSAT): 119550(72875/46675)
Jun 05, 2017 11:23:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(76/1631) took 71296 ms. Total solver calls (SAT/UNSAT): 122661(74816/47845)
Jun 05, 2017 11:23:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(78/1631) took 73131 ms. Total solver calls (SAT/UNSAT): 125768(76753/49015)
Jun 05, 2017 11:23:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(80/1631) took 74961 ms. Total solver calls (SAT/UNSAT): 128871(78696/50175)
Jun 05, 2017 11:23:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(82/1631) took 76793 ms. Total solver calls (SAT/UNSAT): 131970(80645/51325)
Jun 05, 2017 11:23:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(84/1631) took 78622 ms. Total solver calls (SAT/UNSAT): 135065(82590/52475)
Jun 05, 2017 11:23:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(86/1631) took 80532 ms. Total solver calls (SAT/UNSAT): 138156(84531/53625)
Jun 05, 2017 11:23:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(88/1631) took 82481 ms. Total solver calls (SAT/UNSAT): 141243(86468/54775)
Jun 05, 2017 11:23:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(90/1631) took 84342 ms. Total solver calls (SAT/UNSAT): 144326(88411/55915)
Jun 05, 2017 11:23:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(92/1631) took 86229 ms. Total solver calls (SAT/UNSAT): 147405(90360/57045)
Jun 05, 2017 11:23:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(94/1631) took 88095 ms. Total solver calls (SAT/UNSAT): 150480(92305/58175)
Jun 05, 2017 11:23:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(96/1631) took 89957 ms. Total solver calls (SAT/UNSAT): 153551(94246/59305)
Jun 05, 2017 11:23:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(98/1631) took 91820 ms. Total solver calls (SAT/UNSAT): 156618(96183/60435)
Jun 05, 2017 11:23:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(100/1631) took 93693 ms. Total solver calls (SAT/UNSAT): 159681(97970/61711)
Jun 05, 2017 11:23:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(102/1631) took 95574 ms. Total solver calls (SAT/UNSAT): 162740(99610/63130)
Jun 05, 2017 11:23:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(104/1631) took 97454 ms. Total solver calls (SAT/UNSAT): 165795(101250/64545)
Jun 05, 2017 11:24:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(106/1631) took 99324 ms. Total solver calls (SAT/UNSAT): 168846(102890/65956)
Jun 05, 2017 11:24:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(108/1631) took 101200 ms. Total solver calls (SAT/UNSAT): 171893(104530/67363)
Jun 05, 2017 11:24:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(110/1631) took 102500 ms. Total solver calls (SAT/UNSAT): 174936(105461/69475)
Jun 05, 2017 11:24:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(113/1631) took 103567 ms. Total solver calls (SAT/UNSAT): 179493(105794/73699)
Jun 05, 2017 11:24:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(116/1631) took 104635 ms. Total solver calls (SAT/UNSAT): 184041(106127/77914)
Jun 05, 2017 11:24:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(119/1631) took 105696 ms. Total solver calls (SAT/UNSAT): 188580(106460/82120)
Jun 05, 2017 11:24:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(120/1631) took 106787 ms. Total solver calls (SAT/UNSAT): 190091(107471/82620)
Jun 05, 2017 11:24:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(121/1631) took 107905 ms. Total solver calls (SAT/UNSAT): 191601(108482/83119)
Jun 05, 2017 11:24:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(122/1631) took 108984 ms. Total solver calls (SAT/UNSAT): 193110(109493/83617)
Jun 05, 2017 11:24:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(123/1631) took 110061 ms. Total solver calls (SAT/UNSAT): 194618(110504/84114)
Jun 05, 2017 11:24:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(124/1631) took 111134 ms. Total solver calls (SAT/UNSAT): 196125(111515/84610)
Jun 05, 2017 11:24:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(125/1631) took 112206 ms. Total solver calls (SAT/UNSAT): 197631(112526/85105)
Jun 05, 2017 11:24:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(126/1631) took 113333 ms. Total solver calls (SAT/UNSAT): 199136(113537/85599)
Jun 05, 2017 11:24:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(127/1631) took 114416 ms. Total solver calls (SAT/UNSAT): 200640(114548/86092)
Jun 05, 2017 11:24:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(128/1631) took 115503 ms. Total solver calls (SAT/UNSAT): 202143(115559/86584)
Jun 05, 2017 11:24:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(129/1631) took 116601 ms. Total solver calls (SAT/UNSAT): 203645(116570/87075)
Jun 05, 2017 11:24:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(131/1631) took 118356 ms. Total solver calls (SAT/UNSAT): 206646(118447/88199)
Jun 05, 2017 11:24:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(133/1631) took 120100 ms. Total solver calls (SAT/UNSAT): 209643(120320/89323)
Jun 05, 2017 11:24:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(135/1631) took 121843 ms. Total solver calls (SAT/UNSAT): 212636(122189/90447)
Jun 05, 2017 11:24:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(137/1631) took 123581 ms. Total solver calls (SAT/UNSAT): 215625(124054/91571)
Jun 05, 2017 11:24:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(139/1631) took 125320 ms. Total solver calls (SAT/UNSAT): 218610(125915/92695)
Jun 05, 2017 11:24:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(141/1631) took 127074 ms. Total solver calls (SAT/UNSAT): 221591(127792/93799)
Jun 05, 2017 11:24:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(143/1631) took 128826 ms. Total solver calls (SAT/UNSAT): 224568(129665/94903)
Jun 05, 2017 11:24:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(145/1631) took 130576 ms. Total solver calls (SAT/UNSAT): 227541(131534/96007)
Jun 05, 2017 11:24:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(147/1631) took 132323 ms. Total solver calls (SAT/UNSAT): 230510(133399/97111)
Jun 05, 2017 11:24:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(149/1631) took 134113 ms. Total solver calls (SAT/UNSAT): 233475(135260/98215)
Jun 05, 2017 11:24:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(151/1631) took 135839 ms. Total solver calls (SAT/UNSAT): 236436(137137/99299)
Jun 05, 2017 11:24:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(153/1631) took 137566 ms. Total solver calls (SAT/UNSAT): 239393(139010/100383)
Jun 05, 2017 11:24:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(155/1631) took 139289 ms. Total solver calls (SAT/UNSAT): 242346(140879/101467)
Jun 05, 2017 11:24:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(157/1631) took 141008 ms. Total solver calls (SAT/UNSAT): 245295(142744/102551)
Jun 05, 2017 11:24:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(159/1631) took 142727 ms. Total solver calls (SAT/UNSAT): 248240(144605/103635)
Jun 05, 2017 11:24:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(161/1631) took 144448 ms. Total solver calls (SAT/UNSAT): 251181(146482/104699)
Jun 05, 2017 11:24:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(163/1631) took 146164 ms. Total solver calls (SAT/UNSAT): 254118(148355/105763)
Jun 05, 2017 11:24:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(165/1631) took 147883 ms. Total solver calls (SAT/UNSAT): 257051(150224/106827)
Jun 05, 2017 11:24:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(167/1631) took 149595 ms. Total solver calls (SAT/UNSAT): 259980(152089/107891)
Jun 05, 2017 11:24:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(169/1631) took 151308 ms. Total solver calls (SAT/UNSAT): 262905(153950/108955)
Jun 05, 2017 11:24:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(171/1631) took 153025 ms. Total solver calls (SAT/UNSAT): 265826(155827/109999)
Jun 05, 2017 11:24:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(173/1631) took 154739 ms. Total solver calls (SAT/UNSAT): 268743(157700/111043)
Jun 05, 2017 11:24:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(175/1631) took 156452 ms. Total solver calls (SAT/UNSAT): 271656(159569/112087)
Jun 05, 2017 11:24:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(177/1631) took 158161 ms. Total solver calls (SAT/UNSAT): 274565(161434/113131)
Jun 05, 2017 11:25:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(179/1631) took 159868 ms. Total solver calls (SAT/UNSAT): 277470(163295/114175)
Jun 05, 2017 11:25:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(181/1631) took 161577 ms. Total solver calls (SAT/UNSAT): 280371(165172/115199)
Jun 05, 2017 11:25:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(183/1631) took 163286 ms. Total solver calls (SAT/UNSAT): 283268(167045/116223)
Jun 05, 2017 11:25:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(185/1631) took 164992 ms. Total solver calls (SAT/UNSAT): 286161(168914/117247)
Jun 05, 2017 11:25:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(187/1631) took 166697 ms. Total solver calls (SAT/UNSAT): 289050(170779/118271)
Jun 05, 2017 11:25:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(189/1631) took 168393 ms. Total solver calls (SAT/UNSAT): 291935(172640/119295)
Jun 05, 2017 11:25:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(191/1631) took 170103 ms. Total solver calls (SAT/UNSAT): 294816(174517/120299)
Jun 05, 2017 11:25:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(193/1631) took 171804 ms. Total solver calls (SAT/UNSAT): 297693(176390/121303)
Jun 05, 2017 11:25:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(195/1631) took 173503 ms. Total solver calls (SAT/UNSAT): 300566(178259/122307)
Jun 05, 2017 11:25:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(197/1631) took 175194 ms. Total solver calls (SAT/UNSAT): 303435(180124/123311)
Jun 05, 2017 11:25:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(199/1631) took 176889 ms. Total solver calls (SAT/UNSAT): 306300(181985/124315)
Jun 05, 2017 11:25:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(201/1631) took 178587 ms. Total solver calls (SAT/UNSAT): 309161(183862/125299)
Jun 05, 2017 11:25:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(203/1631) took 180282 ms. Total solver calls (SAT/UNSAT): 312018(185735/126283)
Jun 05, 2017 11:25:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(205/1631) took 181975 ms. Total solver calls (SAT/UNSAT): 314871(187604/127267)
Jun 05, 2017 11:25:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(207/1631) took 183670 ms. Total solver calls (SAT/UNSAT): 317720(189469/128251)
Jun 05, 2017 11:25:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(209/1631) took 185361 ms. Total solver calls (SAT/UNSAT): 320565(191330/129235)
Jun 05, 2017 11:25:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(211/1631) took 187062 ms. Total solver calls (SAT/UNSAT): 323406(193207/130199)
Jun 05, 2017 11:25:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(213/1631) took 188750 ms. Total solver calls (SAT/UNSAT): 326243(195080/131163)
Jun 05, 2017 11:25:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(215/1631) took 190432 ms. Total solver calls (SAT/UNSAT): 329076(196949/132127)
Jun 05, 2017 11:25:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(217/1631) took 192110 ms. Total solver calls (SAT/UNSAT): 331905(198814/133091)
Jun 05, 2017 11:25:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(219/1631) took 193790 ms. Total solver calls (SAT/UNSAT): 334730(200675/134055)
Jun 05, 2017 11:25:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(221/1631) took 195560 ms. Total solver calls (SAT/UNSAT): 337551(202552/134999)
Jun 05, 2017 11:25:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(223/1631) took 197304 ms. Total solver calls (SAT/UNSAT): 340368(204425/135943)
Jun 05, 2017 11:25:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(225/1631) took 199041 ms. Total solver calls (SAT/UNSAT): 343181(206294/136887)
Jun 05, 2017 11:25:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(227/1631) took 200773 ms. Total solver calls (SAT/UNSAT): 345990(208159/137831)
Jun 05, 2017 11:25:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(229/1631) took 202503 ms. Total solver calls (SAT/UNSAT): 348795(210020/138775)
Jun 05, 2017 11:25:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(231/1631) took 204408 ms. Total solver calls (SAT/UNSAT): 351596(212183/139413)
Jun 05, 2017 11:25:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(233/1631) took 206305 ms. Total solver calls (SAT/UNSAT): 354393(214342/140051)
Jun 05, 2017 11:25:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(235/1631) took 208203 ms. Total solver calls (SAT/UNSAT): 357186(216497/140689)
Jun 05, 2017 11:25:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(237/1631) took 210097 ms. Total solver calls (SAT/UNSAT): 359975(218648/141327)
Jun 05, 2017 11:25:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(239/1631) took 211984 ms. Total solver calls (SAT/UNSAT): 362760(220795/141965)
Jun 05, 2017 11:25:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(243/1631) took 213276 ms. Total solver calls (SAT/UNSAT): 368318(221187/147131)
Jun 05, 2017 11:25:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(247/1631) took 214573 ms. Total solver calls (SAT/UNSAT): 373860(221579/152281)
Jun 05, 2017 11:25:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(251/1631) took 215869 ms. Total solver calls (SAT/UNSAT): 379386(221969/157417)
Jun 05, 2017 11:25:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(255/1631) took 217168 ms. Total solver calls (SAT/UNSAT): 384896(222357/162539)
Jun 05, 2017 11:25:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(259/1631) took 218455 ms. Total solver calls (SAT/UNSAT): 390390(222745/167645)
Jun 05, 2017 11:26:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(263/1631) took 219732 ms. Total solver calls (SAT/UNSAT): 395868(223129/172739)
Jun 05, 2017 11:26:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(267/1631) took 221009 ms. Total solver calls (SAT/UNSAT): 401330(223513/177817)
Jun 05, 2017 11:26:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(271/1631) took 222312 ms. Total solver calls (SAT/UNSAT): 406776(223895/182881)
Jun 05, 2017 11:26:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(275/1631) took 223568 ms. Total solver calls (SAT/UNSAT): 412206(224275/187931)
Jun 05, 2017 11:26:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(279/1631) took 224832 ms. Total solver calls (SAT/UNSAT): 417620(224655/192965)
Jun 05, 2017 11:26:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(283/1631) took 226077 ms. Total solver calls (SAT/UNSAT): 423018(225031/197987)
Jun 05, 2017 11:26:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(287/1631) took 227318 ms. Total solver calls (SAT/UNSAT): 428400(225407/202993)
Jun 05, 2017 11:26:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(291/1631) took 228557 ms. Total solver calls (SAT/UNSAT): 433766(225781/207985)
Jun 05, 2017 11:26:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(295/1631) took 229789 ms. Total solver calls (SAT/UNSAT): 439116(226153/212963)
Jun 05, 2017 11:26:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(299/1631) took 231029 ms. Total solver calls (SAT/UNSAT): 444450(226525/217925)
Jun 05, 2017 11:26:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(303/1631) took 232253 ms. Total solver calls (SAT/UNSAT): 449768(226893/222875)
Jun 05, 2017 11:26:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(307/1631) took 233469 ms. Total solver calls (SAT/UNSAT): 455070(227261/227809)
Jun 05, 2017 11:26:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(311/1631) took 234680 ms. Total solver calls (SAT/UNSAT): 460356(227627/232729)
Jun 05, 2017 11:26:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(315/1631) took 235891 ms. Total solver calls (SAT/UNSAT): 465626(227991/237635)
Jun 05, 2017 11:26:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(319/1631) took 237097 ms. Total solver calls (SAT/UNSAT): 470880(228355/242525)
Jun 05, 2017 11:26:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(323/1631) took 238300 ms. Total solver calls (SAT/UNSAT): 476118(228715/247403)
Jun 05, 2017 11:26:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(327/1631) took 239512 ms. Total solver calls (SAT/UNSAT): 481340(229075/252265)
Jun 05, 2017 11:26:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(331/1631) took 240716 ms. Total solver calls (SAT/UNSAT): 486546(229437/257109)
Jun 05, 2017 11:26:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(335/1631) took 241917 ms. Total solver calls (SAT/UNSAT): 491736(229801/261935)
Jun 05, 2017 11:26:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(339/1631) took 243111 ms. Total solver calls (SAT/UNSAT): 496910(230165/266745)
Jun 05, 2017 11:26:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(343/1631) took 244306 ms. Total solver calls (SAT/UNSAT): 502068(230529/271539)
Jun 05, 2017 11:26:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(347/1631) took 245490 ms. Total solver calls (SAT/UNSAT): 507210(230893/276317)
Jun 05, 2017 11:26:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(351/1631) took 246677 ms. Total solver calls (SAT/UNSAT): 512336(231257/281079)
Jun 05, 2017 11:26:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(355/1631) took 247855 ms. Total solver calls (SAT/UNSAT): 517446(231621/285825)
Jun 05, 2017 11:26:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(359/1631) took 249035 ms. Total solver calls (SAT/UNSAT): 522540(231985/290555)
Jun 05, 2017 11:26:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(363/1631) took 250204 ms. Total solver calls (SAT/UNSAT): 527618(232349/295269)
Jun 05, 2017 11:26:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(367/1631) took 251380 ms. Total solver calls (SAT/UNSAT): 532680(232713/299967)
Jun 05, 2017 11:26:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(371/1631) took 252548 ms. Total solver calls (SAT/UNSAT): 537726(233077/304649)
Jun 05, 2017 11:26:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(375/1631) took 253715 ms. Total solver calls (SAT/UNSAT): 542756(233441/309315)
Jun 05, 2017 11:26:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(379/1631) took 254876 ms. Total solver calls (SAT/UNSAT): 547770(233805/313965)
Jun 05, 2017 11:26:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(383/1631) took 256032 ms. Total solver calls (SAT/UNSAT): 552768(234169/318599)
Jun 05, 2017 11:26:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(387/1631) took 257191 ms. Total solver calls (SAT/UNSAT): 557750(234533/323217)
Jun 05, 2017 11:26:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(391/1631) took 258343 ms. Total solver calls (SAT/UNSAT): 562716(234897/327819)
Jun 05, 2017 11:26:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(395/1631) took 259498 ms. Total solver calls (SAT/UNSAT): 567666(235261/332405)
Jun 05, 2017 11:26:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(399/1631) took 260698 ms. Total solver calls (SAT/UNSAT): 572600(235625/336975)
Jun 05, 2017 11:26:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(403/1631) took 261862 ms. Total solver calls (SAT/UNSAT): 577518(235989/341529)
Jun 05, 2017 11:26:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(407/1631) took 263017 ms. Total solver calls (SAT/UNSAT): 582420(236353/346067)
Jun 05, 2017 11:26:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(411/1631) took 264172 ms. Total solver calls (SAT/UNSAT): 587306(236717/350589)
Jun 05, 2017 11:26:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(415/1631) took 265323 ms. Total solver calls (SAT/UNSAT): 592176(237081/355095)
Jun 05, 2017 11:26:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(419/1631) took 266462 ms. Total solver calls (SAT/UNSAT): 597030(237445/359585)
Jun 05, 2017 11:26:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(421/1631) took 268062 ms. Total solver calls (SAT/UNSAT): 599451(238885/360566)
Jun 05, 2017 11:26:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(423/1631) took 269654 ms. Total solver calls (SAT/UNSAT): 601868(240325/361543)
Jun 05, 2017 11:26:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(425/1631) took 271242 ms. Total solver calls (SAT/UNSAT): 604281(241765/362516)
Jun 05, 2017 11:26:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(427/1631) took 272835 ms. Total solver calls (SAT/UNSAT): 606690(243205/363485)
Jun 05, 2017 11:26:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(429/1631) took 274427 ms. Total solver calls (SAT/UNSAT): 609095(244645/364450)
Jun 05, 2017 11:26:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(434/1631) took 275577 ms. Total solver calls (SAT/UNSAT): 615090(244645/370445)
Jun 05, 2017 11:26:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(439/1631) took 276719 ms. Total solver calls (SAT/UNSAT): 621060(244645/376415)
Jun 05, 2017 11:26:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(444/1631) took 277867 ms. Total solver calls (SAT/UNSAT): 627005(244645/382360)
Jun 05, 2017 11:26:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(449/1631) took 278995 ms. Total solver calls (SAT/UNSAT): 632925(244645/388280)
Jun 05, 2017 11:27:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(454/1631) took 280126 ms. Total solver calls (SAT/UNSAT): 638820(244645/394175)
Jun 05, 2017 11:27:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(459/1631) took 281248 ms. Total solver calls (SAT/UNSAT): 644690(244645/400045)
Jun 05, 2017 11:27:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(464/1631) took 282372 ms. Total solver calls (SAT/UNSAT): 650535(244645/405890)
Jun 05, 2017 11:27:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(469/1631) took 283498 ms. Total solver calls (SAT/UNSAT): 656355(244645/411710)
Jun 05, 2017 11:27:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(474/1631) took 284627 ms. Total solver calls (SAT/UNSAT): 662150(244645/417505)
Jun 05, 2017 11:27:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(479/1631) took 285787 ms. Total solver calls (SAT/UNSAT): 667920(244645/423275)
Jun 05, 2017 11:27:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(484/1631) took 286935 ms. Total solver calls (SAT/UNSAT): 673665(244645/429020)
Jun 05, 2017 11:27:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(489/1631) took 288084 ms. Total solver calls (SAT/UNSAT): 679385(244645/434740)
Jun 05, 2017 11:27:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(494/1631) took 289179 ms. Total solver calls (SAT/UNSAT): 685080(244645/440435)
Jun 05, 2017 11:27:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(499/1631) took 290247 ms. Total solver calls (SAT/UNSAT): 690750(244645/446105)
Jun 05, 2017 11:27:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(504/1631) took 291316 ms. Total solver calls (SAT/UNSAT): 696395(244645/451750)
Jun 05, 2017 11:27:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(509/1631) took 292391 ms. Total solver calls (SAT/UNSAT): 702015(244645/457370)
Jun 05, 2017 11:27:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(514/1631) took 293522 ms. Total solver calls (SAT/UNSAT): 707610(244645/462965)
Jun 05, 2017 11:27:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(519/1631) took 294597 ms. Total solver calls (SAT/UNSAT): 713180(244645/468535)
Jun 05, 2017 11:27:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(524/1631) took 295691 ms. Total solver calls (SAT/UNSAT): 718725(244645/474080)
Jun 05, 2017 11:27:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(529/1631) took 296772 ms. Total solver calls (SAT/UNSAT): 724245(244645/479600)
Jun 05, 2017 11:27:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(534/1631) took 297826 ms. Total solver calls (SAT/UNSAT): 729740(244645/485095)
Jun 05, 2017 11:27:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(539/1631) took 298868 ms. Total solver calls (SAT/UNSAT): 735210(244645/490565)
Jun 05, 2017 11:27:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(544/1631) took 299943 ms. Total solver calls (SAT/UNSAT): 740655(244685/495970)
Jun 05, 2017 11:27:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(549/1631) took 301022 ms. Total solver calls (SAT/UNSAT): 746075(244735/501340)
Jun 05, 2017 11:27:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(554/1631) took 302088 ms. Total solver calls (SAT/UNSAT): 751470(244775/506695)
Jun 05, 2017 11:27:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(559/1631) took 303153 ms. Total solver calls (SAT/UNSAT): 756840(244825/512015)
Jun 05, 2017 11:27:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(564/1631) took 304209 ms. Total solver calls (SAT/UNSAT): 762185(244865/517320)
Jun 05, 2017 11:27:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(569/1631) took 305265 ms. Total solver calls (SAT/UNSAT): 767505(244915/522590)
Jun 05, 2017 11:27:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(574/1631) took 306311 ms. Total solver calls (SAT/UNSAT): 772800(244955/527845)
Jun 05, 2017 11:27:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(579/1631) took 307373 ms. Total solver calls (SAT/UNSAT): 778070(245005/533065)
Jun 05, 2017 11:27:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(584/1631) took 308426 ms. Total solver calls (SAT/UNSAT): 783315(245045/538270)
Jun 05, 2017 11:27:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(589/1631) took 309482 ms. Total solver calls (SAT/UNSAT): 788535(245095/543440)
Jun 05, 2017 11:27:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(594/1631) took 310515 ms. Total solver calls (SAT/UNSAT): 793730(245145/548585)
Jun 05, 2017 11:27:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(599/1631) took 311537 ms. Total solver calls (SAT/UNSAT): 798900(245185/553715)
Jun 05, 2017 11:27:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(604/1631) took 312561 ms. Total solver calls (SAT/UNSAT): 804045(245235/558810)
Jun 05, 2017 11:27:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(609/1631) took 313576 ms. Total solver calls (SAT/UNSAT): 809165(245275/563890)
Jun 05, 2017 11:27:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(614/1631) took 314590 ms. Total solver calls (SAT/UNSAT): 814260(245325/568935)
Jun 05, 2017 11:27:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(619/1631) took 315668 ms. Total solver calls (SAT/UNSAT): 819330(245365/573965)
Jun 05, 2017 11:27:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(625/1631) took 316859 ms. Total solver calls (SAT/UNSAT): 825381(245425/579956)
Jun 05, 2017 11:27:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(631/1631) took 318024 ms. Total solver calls (SAT/UNSAT): 831396(245475/585921)
Jun 05, 2017 11:27:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(637/1631) took 319193 ms. Total solver calls (SAT/UNSAT): 837375(245535/591840)
Jun 05, 2017 11:27:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(643/1631) took 320351 ms. Total solver calls (SAT/UNSAT): 843318(245575/597743)
Jun 05, 2017 11:27:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(648/1631) took 321406 ms. Total solver calls (SAT/UNSAT): 848243(245625/602618)
Jun 05, 2017 11:27:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(654/1631) took 322545 ms. Total solver calls (SAT/UNSAT): 854120(245675/608445)
Jun 05, 2017 11:27:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(660/1631) took 323678 ms. Total solver calls (SAT/UNSAT): 859961(245735/614226)
Jun 05, 2017 11:27:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(666/1631) took 324800 ms. Total solver calls (SAT/UNSAT): 865766(245785/619981)
Jun 05, 2017 11:27:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(672/1631) took 325937 ms. Total solver calls (SAT/UNSAT): 871535(245845/625690)
Jun 05, 2017 11:27:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(677/1631) took 326961 ms. Total solver calls (SAT/UNSAT): 876315(245885/630430)
Jun 05, 2017 11:27:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(683/1631) took 328083 ms. Total solver calls (SAT/UNSAT): 882018(245945/636073)
Jun 05, 2017 11:27:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(689/1631) took 329188 ms. Total solver calls (SAT/UNSAT): 887685(245995/641690)
Jun 05, 2017 11:27:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(695/1631) took 330280 ms. Total solver calls (SAT/UNSAT): 893316(246045/647271)
Jun 05, 2017 11:27:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(701/1631) took 331373 ms. Total solver calls (SAT/UNSAT): 898911(246105/652806)
Jun 05, 2017 11:27:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(707/1631) took 332464 ms. Total solver calls (SAT/UNSAT): 904470(246155/658315)
Jun 05, 2017 11:27:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(713/1631) took 333550 ms. Total solver calls (SAT/UNSAT): 909993(246215/663778)
Jun 05, 2017 11:27:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(719/1631) took 334608 ms. Total solver calls (SAT/UNSAT): 915480(246265/669215)
Jun 05, 2017 11:27:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(725/1631) took 335672 ms. Total solver calls (SAT/UNSAT): 920931(246325/674606)
Jun 05, 2017 11:27:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(731/1631) took 336716 ms. Total solver calls (SAT/UNSAT): 926346(246375/679971)
Jun 05, 2017 11:27:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(737/1631) took 337775 ms. Total solver calls (SAT/UNSAT): 931725(246435/685290)
Jun 05, 2017 11:27:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(743/1631) took 338820 ms. Total solver calls (SAT/UNSAT): 937068(246475/690593)
Jun 05, 2017 11:28:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(749/1631) took 339862 ms. Total solver calls (SAT/UNSAT): 942375(246535/695840)
Jun 05, 2017 11:28:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(755/1631) took 340883 ms. Total solver calls (SAT/UNSAT): 947646(246585/701061)
Jun 05, 2017 11:28:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(761/1631) took 341901 ms. Total solver calls (SAT/UNSAT): 952881(246645/706236)
Jun 05, 2017 11:28:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(767/1631) took 342907 ms. Total solver calls (SAT/UNSAT): 958080(246695/711385)
Jun 05, 2017 11:28:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(773/1631) took 343909 ms. Total solver calls (SAT/UNSAT): 963243(246745/716498)
Jun 05, 2017 11:28:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(780/1631) took 345070 ms. Total solver calls (SAT/UNSAT): 969221(246815/722406)
Jun 05, 2017 11:28:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(787/1631) took 346218 ms. Total solver calls (SAT/UNSAT): 975150(246875/728275)
Jun 05, 2017 11:28:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(794/1631) took 347365 ms. Total solver calls (SAT/UNSAT): 981030(246945/734085)
Jun 05, 2017 11:28:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(801/1631) took 348496 ms. Total solver calls (SAT/UNSAT): 986861(247005/739856)
Jun 05, 2017 11:28:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(808/1631) took 349623 ms. Total solver calls (SAT/UNSAT): 992643(247065/745578)
Jun 05, 2017 11:28:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(815/1631) took 350755 ms. Total solver calls (SAT/UNSAT): 998376(247135/751241)
Jun 05, 2017 11:28:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(822/1631) took 351874 ms. Total solver calls (SAT/UNSAT): 1004060(247195/756865)
Jun 05, 2017 11:28:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(829/1631) took 352979 ms. Total solver calls (SAT/UNSAT): 1009695(247255/762440)
Jun 05, 2017 11:28:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(836/1631) took 354080 ms. Total solver calls (SAT/UNSAT): 1015281(247325/767956)
Jun 05, 2017 11:28:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(843/1631) took 355148 ms. Total solver calls (SAT/UNSAT): 1020818(247375/773443)
Jun 05, 2017 11:28:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(850/1631) took 356222 ms. Total solver calls (SAT/UNSAT): 1026306(247445/778861)
Jun 05, 2017 11:28:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(857/1631) took 357281 ms. Total solver calls (SAT/UNSAT): 1031745(247505/784240)
Jun 05, 2017 11:28:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(864/1631) took 358328 ms. Total solver calls (SAT/UNSAT): 1037135(247565/789570)
Jun 05, 2017 11:28:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(871/1631) took 359374 ms. Total solver calls (SAT/UNSAT): 1042476(247635/794841)
Jun 05, 2017 11:28:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(878/1631) took 360404 ms. Total solver calls (SAT/UNSAT): 1047768(247695/800073)
Jun 05, 2017 11:28:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(885/1631) took 361436 ms. Total solver calls (SAT/UNSAT): 1053011(247755/805256)
Jun 05, 2017 11:28:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(892/1631) took 362479 ms. Total solver calls (SAT/UNSAT): 1058205(247825/810380)
Jun 05, 2017 11:28:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(899/1631) took 363493 ms. Total solver calls (SAT/UNSAT): 1063350(247885/815465)
Jun 05, 2017 11:28:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(906/1631) took 364506 ms. Total solver calls (SAT/UNSAT): 1068446(247945/820501)
Jun 05, 2017 11:28:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(913/1631) took 365508 ms. Total solver calls (SAT/UNSAT): 1073493(248015/825478)
Jun 05, 2017 11:28:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(921/1631) took 366620 ms. Total solver calls (SAT/UNSAT): 1079201(248085/831116)
Jun 05, 2017 11:28:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(929/1631) took 367722 ms. Total solver calls (SAT/UNSAT): 1084845(248155/836690)
Jun 05, 2017 11:28:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(937/1631) took 368837 ms. Total solver calls (SAT/UNSAT): 1090425(248235/842190)
Jun 05, 2017 11:28:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(945/1631) took 369917 ms. Total solver calls (SAT/UNSAT): 1095941(248295/847646)
Jun 05, 2017 11:28:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(953/1631) took 370988 ms. Total solver calls (SAT/UNSAT): 1101393(248365/853028)
Jun 05, 2017 11:28:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(961/1631) took 372051 ms. Total solver calls (SAT/UNSAT): 1106781(248445/858336)
Jun 05, 2017 11:28:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(969/1631) took 373094 ms. Total solver calls (SAT/UNSAT): 1112105(248515/863590)
Jun 05, 2017 11:28:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(977/1631) took 374128 ms. Total solver calls (SAT/UNSAT): 1117365(248585/868780)
Jun 05, 2017 11:28:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(985/1631) took 375164 ms. Total solver calls (SAT/UNSAT): 1122561(248655/873906)
Jun 05, 2017 11:28:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(993/1631) took 376195 ms. Total solver calls (SAT/UNSAT): 1127693(248735/878958)
Jun 05, 2017 11:28:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1001/1631) took 377207 ms. Total solver calls (SAT/UNSAT): 1132761(248805/883956)
Jun 05, 2017 11:28:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1010/1631) took 378319 ms. Total solver calls (SAT/UNSAT): 1138386(248885/889501)
Jun 05, 2017 11:28:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1019/1631) took 379414 ms. Total solver calls (SAT/UNSAT): 1143930(248965/894965)
Jun 05, 2017 11:28:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1028/1631) took 380496 ms. Total solver calls (SAT/UNSAT): 1149393(249045/900348)
Jun 05, 2017 11:28:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1037/1631) took 381570 ms. Total solver calls (SAT/UNSAT): 1154775(249135/905640)
Jun 05, 2017 11:28:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1046/1631) took 382610 ms. Total solver calls (SAT/UNSAT): 1160076(249205/910871)
Jun 05, 2017 11:28:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1055/1631) took 383641 ms. Total solver calls (SAT/UNSAT): 1165296(249285/916011)
Jun 05, 2017 11:28:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1064/1631) took 384652 ms. Total solver calls (SAT/UNSAT): 1170435(249365/921070)
Jun 05, 2017 11:28:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1074/1631) took 385761 ms. Total solver calls (SAT/UNSAT): 1176050(249455/926595)
Jun 05, 2017 11:28:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1084/1631) took 386853 ms. Total solver calls (SAT/UNSAT): 1181565(249545/932020)
Jun 05, 2017 11:28:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1094/1631) took 387937 ms. Total solver calls (SAT/UNSAT): 1186980(249645/937335)
Jun 05, 2017 11:28:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1104/1631) took 388996 ms. Total solver calls (SAT/UNSAT): 1192295(249735/942560)
Jun 05, 2017 11:28:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1114/1631) took 390031 ms. Total solver calls (SAT/UNSAT): 1197510(249825/947685)
Jun 05, 2017 11:28:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1124/1631) took 391060 ms. Total solver calls (SAT/UNSAT): 1202625(249915/952710)
Jun 05, 2017 11:28:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1134/1631) took 392064 ms. Total solver calls (SAT/UNSAT): 1207640(250005/957635)
Jun 05, 2017 11:28:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1145/1631) took 393140 ms. Total solver calls (SAT/UNSAT): 1213041(250095/962946)
Jun 05, 2017 11:28:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1156/1631) took 394208 ms. Total solver calls (SAT/UNSAT): 1218321(250195/968126)
Jun 05, 2017 11:28:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1167/1631) took 395256 ms. Total solver calls (SAT/UNSAT): 1223480(250295/973185)
Jun 05, 2017 11:28:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1178/1631) took 396280 ms. Total solver calls (SAT/UNSAT): 1228518(250395/978123)
Jun 05, 2017 11:28:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1189/1631) took 397286 ms. Total solver calls (SAT/UNSAT): 1233435(250495/982940)
Jun 05, 2017 11:28:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1201/1631) took 398342 ms. Total solver calls (SAT/UNSAT): 1238661(250605/988056)
Jun 05, 2017 11:29:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1213/1631) took 399374 ms. Total solver calls (SAT/UNSAT): 1243743(250715/993028)
Jun 05, 2017 11:29:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1225/1631) took 400384 ms. Total solver calls (SAT/UNSAT): 1248681(250825/997856)
Jun 05, 2017 11:29:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1238/1631) took 401452 ms. Total solver calls (SAT/UNSAT): 1253868(250945/1002923)
Jun 05, 2017 11:29:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1251/1631) took 402456 ms. Total solver calls (SAT/UNSAT): 1258886(251045/1007841)
Jun 05, 2017 11:29:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1265/1631) took 403516 ms. Total solver calls (SAT/UNSAT): 1264101(251175/1012926)
Jun 05, 2017 11:29:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1279/1631) took 404539 ms. Total solver calls (SAT/UNSAT): 1269120(251305/1017815)
Jun 05, 2017 11:29:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1294/1631) took 405598 ms. Total solver calls (SAT/UNSAT): 1274280(251445/1022835)
Jun 05, 2017 11:29:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1309/1631) took 406610 ms. Total solver calls (SAT/UNSAT): 1279215(251575/1027640)
Jun 05, 2017 11:29:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1325/1631) took 407661 ms. Total solver calls (SAT/UNSAT): 1284231(251725/1032506)
Jun 05, 2017 11:29:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1342/1631) took 408711 ms. Total solver calls (SAT/UNSAT): 1289280(251865/1037415)
Jun 05, 2017 11:29:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1359/1631) took 409723 ms. Total solver calls (SAT/UNSAT): 1294040(252025/1042015)
Jun 05, 2017 11:29:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1377/1631) took 410723 ms. Total solver calls (SAT/UNSAT): 1298765(252185/1046580)
Jun 05, 2017 11:29:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1397/1631) took 411766 ms. Total solver calls (SAT/UNSAT): 1303635(252365/1051270)
Jun 05, 2017 11:29:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1418/1631) took 412779 ms. Total solver calls (SAT/UNSAT): 1308318(252555/1055763)
Jun 05, 2017 11:29:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1441/1631) took 413789 ms. Total solver calls (SAT/UNSAT): 1312941(252755/1060186)
Jun 05, 2017 11:29:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1467/1631) took 414809 ms. Total solver calls (SAT/UNSAT): 1317530(252995/1064535)
Jun 05, 2017 11:29:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1497/1631) took 415822 ms. Total solver calls (SAT/UNSAT): 1321985(253265/1068720)
Jun 05, 2017 11:29:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1533/1631) took 416822 ms. Total solver calls (SAT/UNSAT): 1326143(253595/1072548)
Jun 05, 2017 11:29:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 417772 ms. Total solver calls (SAT/UNSAT): 1330896(253645/1077251)
Jun 05, 2017 11:29:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 1631 transitions.
Jun 05, 2017 11:29:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed DNA matrix. took 58 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Jun 05, 2017 11:29:19 AM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Built C files in 1006997ms conformant to PINS in folder :/home/mcc/execution
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_SafeBus-PT-10"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/S_SafeBus-PT-10.tgz
mv S_SafeBus-PT-10 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is S_SafeBus-PT-10, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r150-csrt-149443434900251"
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 ;