fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r150-csrt-149443434900251
Last Updated
June 27, 2017

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 '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;