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 SafeBus-PT-10, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r070-csrt-149440964800251
=====================================================================

--------------------
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 1496316171234


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 01, 2017 11:22:52 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 11:22:52 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 191 ms
Jun 01, 2017 11:22:53 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 316 places.
Jun 01, 2017 11:22:53 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 1631 transitions.
Jun 01, 2017 11:22:53 AM fr.lip6.move.gal.logic.togal.ToGalTransformer toGal
WARNING: Unknown predicate type in boolean expression fr.lip6.move.gal.logic.impl.DeadlockImpl
Jun 01, 2017 11:22:53 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 01, 2017 11:22:53 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 01, 2017 11:22:53 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 01, 2017 11:22:53 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 01, 2017 11:22:53 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 90 expressions due to constant valuations.
Jun 01, 2017 11:22:54 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 01, 2017 11:22:54 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 739 ms
Jun 01, 2017 11:22:54 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityDeadlock.pnml.gal : 40 ms
Jun 01, 2017 11:22:55 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 45 place invariants in 250 ms
Jun 01, 2017 11:23:31 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 306 variables to be positive in 36299 ms
Jun 01, 2017 11:23:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 1631 transitions.
Jun 01, 2017 11:23:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/1631 took 45 ms. Total solver calls (SAT/UNSAT): 49(19/30)
Jun 01, 2017 11:23:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/1631 took 1086 ms. Total solver calls (SAT/UNSAT): 1176(456/720)
Jun 01, 2017 11:23:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :45/1631 took 2090 ms. Total solver calls (SAT/UNSAT): 2254(874/1380)
Jun 01, 2017 11:23:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/1631 took 3125 ms. Total solver calls (SAT/UNSAT): 3381(1311/2070)
Jun 01, 2017 11:23:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/1631 took 4135 ms. Total solver calls (SAT/UNSAT): 4459(1729/2730)
Jun 01, 2017 11:23:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/1631 took 5149 ms. Total solver calls (SAT/UNSAT): 6125(2065/4060)
Jun 01, 2017 11:23:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/1631 took 6170 ms. Total solver calls (SAT/UNSAT): 7379(2483/4896)
Jun 01, 2017 11:23:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :177/1631 took 7230 ms. Total solver calls (SAT/UNSAT): 8576(2882/5694)
Jun 01, 2017 11:23:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/1631 took 8268 ms. Total solver calls (SAT/UNSAT): 9830(3300/6530)
Jun 01, 2017 11:23:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/1631 took 9280 ms. Total solver calls (SAT/UNSAT): 11027(3699/7328)
Jun 01, 2017 11:23:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/1631 took 10297 ms. Total solver calls (SAT/UNSAT): 13360(3997/9363)
Jun 01, 2017 11:23:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :294/1631 took 11312 ms. Total solver calls (SAT/UNSAT): 15040(4375/10665)
Jun 01, 2017 11:23:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :335/1631 took 12340 ms. Total solver calls (SAT/UNSAT): 17172(4702/12470)
Jun 01, 2017 11:23:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/1631 took 13351 ms. Total solver calls (SAT/UNSAT): 21320(4770/16550)
Jun 01, 2017 11:23:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/1631 took 14354 ms. Total solver calls (SAT/UNSAT): 25468(4838/20630)
Jun 01, 2017 11:23:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/1631 took 15392 ms. Total solver calls (SAT/UNSAT): 29026(4993/24033)
Jun 01, 2017 11:23:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/1631 took 16417 ms. Total solver calls (SAT/UNSAT): 34252(5006/29246)
Jun 01, 2017 11:23:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/1631 took 17453 ms. Total solver calls (SAT/UNSAT): 39076(5018/34058)
Jun 01, 2017 11:23:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/1631 took 18483 ms. Total solver calls (SAT/UNSAT): 44302(5031/39271)
Jun 01, 2017 11:23:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/1631 took 19510 ms. Total solver calls (SAT/UNSAT): 49528(5044/44484)
Jun 01, 2017 11:23:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/1631 took 20535 ms. Total solver calls (SAT/UNSAT): 54754(5057/49697)
Jun 01, 2017 11:23:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/1631 took 21562 ms. Total solver calls (SAT/UNSAT): 59980(5070/54910)
Jun 01, 2017 11:23:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/1631 took 22585 ms. Total solver calls (SAT/UNSAT): 65206(5083/60123)
Jun 01, 2017 11:23:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/1631 took 23643 ms. Total solver calls (SAT/UNSAT): 69870(5140/64730)
Jun 01, 2017 11:23:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/1631 took 24666 ms. Total solver calls (SAT/UNSAT): 73830(5250/68580)
Jun 01, 2017 11:23:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/1631 took 25669 ms. Total solver calls (SAT/UNSAT): 77790(5360/72430)
Jun 01, 2017 11:23:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/1631 took 26695 ms. Total solver calls (SAT/UNSAT): 82080(5480/76600)
Jun 01, 2017 11:23:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :594/1631 took 27723 ms. Total solver calls (SAT/UNSAT): 86370(5600/80770)
Jun 01, 2017 11:24:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :608/1631 took 28797 ms. Total solver calls (SAT/UNSAT): 90990(5720/85270)
Jun 01, 2017 11:24:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :621/1631 took 29808 ms. Total solver calls (SAT/UNSAT): 95280(5840/89440)
Jun 01, 2017 11:24:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :634/1631 took 30833 ms. Total solver calls (SAT/UNSAT): 99570(5960/93610)
Jun 01, 2017 11:24:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :647/1631 took 31841 ms. Total solver calls (SAT/UNSAT): 103860(6070/97790)
Jun 01, 2017 11:24:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :660/1631 took 32890 ms. Total solver calls (SAT/UNSAT): 108150(6190/101960)
Jun 01, 2017 11:24:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :673/1631 took 33897 ms. Total solver calls (SAT/UNSAT): 112440(6300/106140)
Jun 01, 2017 11:24:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :686/1631 took 34925 ms. Total solver calls (SAT/UNSAT): 116730(6420/110310)
Jun 01, 2017 11:24:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :699/1631 took 35991 ms. Total solver calls (SAT/UNSAT): 121020(6540/114480)
Jun 01, 2017 11:24:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :712/1631 took 37015 ms. Total solver calls (SAT/UNSAT): 125310(6660/118650)
Jun 01, 2017 11:24:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :725/1631 took 38031 ms. Total solver calls (SAT/UNSAT): 129600(6780/122820)
Jun 01, 2017 11:24:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :739/1631 took 39086 ms. Total solver calls (SAT/UNSAT): 134220(6900/127320)
Jun 01, 2017 11:24:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :753/1631 took 40143 ms. Total solver calls (SAT/UNSAT): 138840(7020/131820)
Jun 01, 2017 11:24:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :766/1631 took 41148 ms. Total solver calls (SAT/UNSAT): 143130(7140/135990)
Jun 01, 2017 11:24:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :779/1631 took 42190 ms. Total solver calls (SAT/UNSAT): 147420(7260/140160)
Jun 01, 2017 11:24:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :792/1631 took 43210 ms. Total solver calls (SAT/UNSAT): 151710(7380/144330)
Jun 01, 2017 11:24:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :805/1631 took 44228 ms. Total solver calls (SAT/UNSAT): 156000(7500/148500)
Jun 01, 2017 11:24:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :818/1631 took 45233 ms. Total solver calls (SAT/UNSAT): 160290(7610/152680)
Jun 01, 2017 11:24:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :831/1631 took 46249 ms. Total solver calls (SAT/UNSAT): 164580(7730/156850)
Jun 01, 2017 11:24:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :845/1631 took 47311 ms. Total solver calls (SAT/UNSAT): 169200(7850/161350)
Jun 01, 2017 11:24:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :858/1631 took 48316 ms. Total solver calls (SAT/UNSAT): 173490(7970/165520)
Jun 01, 2017 11:24:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :871/1631 took 49317 ms. Total solver calls (SAT/UNSAT): 177780(8090/169690)
Jun 01, 2017 11:24:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :885/1631 took 50378 ms. Total solver calls (SAT/UNSAT): 182400(8210/174190)
Jun 01, 2017 11:24:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :898/1631 took 51408 ms. Total solver calls (SAT/UNSAT): 186690(8330/178360)
Jun 01, 2017 11:24:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :911/1631 took 52458 ms. Total solver calls (SAT/UNSAT): 190980(8450/182530)
Jun 01, 2017 11:24:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :924/1631 took 53487 ms. Total solver calls (SAT/UNSAT): 195270(8570/186700)
Jun 01, 2017 11:24:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :937/1631 took 54514 ms. Total solver calls (SAT/UNSAT): 199560(8690/190870)
Jun 01, 2017 11:24:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :950/1631 took 55523 ms. Total solver calls (SAT/UNSAT): 203850(8800/195050)
Jun 01, 2017 11:24:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :963/1631 took 56533 ms. Total solver calls (SAT/UNSAT): 208140(8910/199230)
Jun 01, 2017 11:24:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :976/1631 took 57562 ms. Total solver calls (SAT/UNSAT): 212430(9030/203400)
Jun 01, 2017 11:24:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :989/1631 took 58588 ms. Total solver calls (SAT/UNSAT): 216720(9150/207570)
Jun 01, 2017 11:24:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1002/1631 took 59615 ms. Total solver calls (SAT/UNSAT): 221010(9270/211740)
Jun 01, 2017 11:24:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1015/1631 took 60639 ms. Total solver calls (SAT/UNSAT): 225300(9390/215910)
Jun 01, 2017 11:24:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1028/1631 took 61647 ms. Total solver calls (SAT/UNSAT): 229590(9500/220090)
Jun 01, 2017 11:24:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1041/1631 took 62651 ms. Total solver calls (SAT/UNSAT): 233880(9610/224270)
Jun 01, 2017 11:24:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1053/1631 took 63702 ms. Total solver calls (SAT/UNSAT): 237840(9720/228120)
Jun 01, 2017 11:24:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1066/1631 took 64750 ms. Total solver calls (SAT/UNSAT): 242130(9840/232290)
Jun 01, 2017 11:24:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1079/1631 took 65800 ms. Total solver calls (SAT/UNSAT): 246420(9960/236460)
Jun 01, 2017 11:24:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1092/1631 took 66831 ms. Total solver calls (SAT/UNSAT): 250710(10080/240630)
Jun 01, 2017 11:24:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1105/1631 took 67902 ms. Total solver calls (SAT/UNSAT): 255000(10200/244800)
Jun 01, 2017 11:24:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1118/1631 took 68905 ms. Total solver calls (SAT/UNSAT): 259290(10310/248980)
Jun 01, 2017 11:24:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1131/1631 took 69919 ms. Total solver calls (SAT/UNSAT): 263580(10430/253150)
Jun 01, 2017 11:24:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1145/1631 took 70986 ms. Total solver calls (SAT/UNSAT): 268200(10550/257650)
Jun 01, 2017 11:24:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1159/1631 took 72054 ms. Total solver calls (SAT/UNSAT): 272820(10680/262140)
Jun 01, 2017 11:24:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1173/1631 took 73103 ms. Total solver calls (SAT/UNSAT): 277440(10800/266640)
Jun 01, 2017 11:24:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1186/1631 took 74105 ms. Total solver calls (SAT/UNSAT): 281730(10920/270810)
Jun 01, 2017 11:24:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1198/1631 took 75116 ms. Total solver calls (SAT/UNSAT): 285690(11030/274660)
Jun 01, 2017 11:24:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1211/1631 took 76167 ms. Total solver calls (SAT/UNSAT): 289980(11150/278830)
Jun 01, 2017 11:24:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1224/1631 took 77215 ms. Total solver calls (SAT/UNSAT): 294270(11270/283000)
Jun 01, 2017 11:24:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1237/1631 took 78246 ms. Total solver calls (SAT/UNSAT): 298560(11390/287170)
Jun 01, 2017 11:24:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1250/1631 took 79259 ms. Total solver calls (SAT/UNSAT): 302850(11500/291350)
Jun 01, 2017 11:24:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1263/1631 took 80269 ms. Total solver calls (SAT/UNSAT): 307140(11610/295530)
Jun 01, 2017 11:24:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1276/1631 took 81300 ms. Total solver calls (SAT/UNSAT): 311430(11730/299700)
Jun 01, 2017 11:24:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1289/1631 took 82332 ms. Total solver calls (SAT/UNSAT): 315720(11850/303870)
Jun 01, 2017 11:24:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1302/1631 took 83361 ms. Total solver calls (SAT/UNSAT): 320010(11970/308040)
Jun 01, 2017 11:24:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1315/1631 took 84424 ms. Total solver calls (SAT/UNSAT): 324300(12090/312210)
Jun 01, 2017 11:24:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1328/1631 took 85467 ms. Total solver calls (SAT/UNSAT): 328590(12200/316390)
Jun 01, 2017 11:24:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1341/1631 took 86473 ms. Total solver calls (SAT/UNSAT): 332880(12310/320570)
Jun 01, 2017 11:24:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1354/1631 took 87516 ms. Total solver calls (SAT/UNSAT): 337170(12430/324740)
Jun 01, 2017 11:24:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1367/1631 took 88541 ms. Total solver calls (SAT/UNSAT): 341460(12550/328910)
Jun 01, 2017 11:25:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1380/1631 took 89567 ms. Total solver calls (SAT/UNSAT): 345750(12670/333080)
Jun 01, 2017 11:25:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1393/1631 took 90591 ms. Total solver calls (SAT/UNSAT): 350040(12790/337250)
Jun 01, 2017 11:25:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1406/1631 took 91598 ms. Total solver calls (SAT/UNSAT): 354330(12900/341430)
Jun 01, 2017 11:25:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1419/1631 took 92626 ms. Total solver calls (SAT/UNSAT): 358620(13020/345600)
Jun 01, 2017 11:25:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1432/1631 took 93658 ms. Total solver calls (SAT/UNSAT): 362910(13140/349770)
Jun 01, 2017 11:25:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1445/1631 took 94670 ms. Total solver calls (SAT/UNSAT): 367200(13250/353950)
Jun 01, 2017 11:25:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1458/1631 took 95705 ms. Total solver calls (SAT/UNSAT): 371490(13370/358120)
Jun 01, 2017 11:25:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1471/1631 took 96735 ms. Total solver calls (SAT/UNSAT): 375780(13490/362290)
Jun 01, 2017 11:25:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1484/1631 took 97755 ms. Total solver calls (SAT/UNSAT): 380070(13600/366470)
Jun 01, 2017 11:25:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1497/1631 took 98796 ms. Total solver calls (SAT/UNSAT): 384360(13720/370640)
Jun 01, 2017 11:25:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1510/1631 took 99857 ms. Total solver calls (SAT/UNSAT): 388650(13840/374810)
Jun 01, 2017 11:25:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1522/1631 took 100863 ms. Total solver calls (SAT/UNSAT): 392610(13950/378660)
Jun 01, 2017 11:25:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1535/1631 took 101903 ms. Total solver calls (SAT/UNSAT): 396900(14070/382830)
Jun 01, 2017 11:25:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1572/1631 took 102923 ms. Total solver calls (SAT/UNSAT): 401619(14133/387486)
Jun 01, 2017 11:25:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1619/1631 took 103943 ms. Total solver calls (SAT/UNSAT): 406460(14180/392280)
Jun 01, 2017 11:25:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 104353 ms. Total solver calls (SAT/UNSAT): 407621(14281/393340)
Jun 01, 2017 11:25:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 1631 transitions.
Jun 01, 2017 11:25:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :13/1631 took 1001 ms. Total solver calls (SAT/UNSAT): 686(266/420)
Jun 01, 2017 11:25:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/1631 took 2053 ms. Total solver calls (SAT/UNSAT): 1421(551/870)
Jun 01, 2017 11:25:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/1631 took 3082 ms. Total solver calls (SAT/UNSAT): 2156(836/1320)
Jun 01, 2017 11:25:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :58/1631 took 4133 ms. Total solver calls (SAT/UNSAT): 2891(1121/1770)
Jun 01, 2017 11:25:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/1631 took 5197 ms. Total solver calls (SAT/UNSAT): 3675(1425/2250)
Jun 01, 2017 11:25:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/1631 took 6204 ms. Total solver calls (SAT/UNSAT): 4361(1691/2670)
Jun 01, 2017 11:25:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/1631 took 7229 ms. Total solver calls (SAT/UNSAT): 5151(2099/3052)
Jun 01, 2017 11:25:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/1631 took 8295 ms. Total solver calls (SAT/UNSAT): 5897(2387/3510)
Jun 01, 2017 11:25:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/1631 took 9351 ms. Total solver calls (SAT/UNSAT): 6638(2738/3900)
Jun 01, 2017 11:25:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/1631 took 10399 ms. Total solver calls (SAT/UNSAT): 7379(3089/4290)
Jun 01, 2017 11:25:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/1631 took 11432 ms. Total solver calls (SAT/UNSAT): 8177(3467/4710)
Jun 01, 2017 11:25:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :184/1631 took 12447 ms. Total solver calls (SAT/UNSAT): 8975(3845/5130)
Jun 01, 2017 11:25:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/1631 took 13447 ms. Total solver calls (SAT/UNSAT): 9716(4196/5520)
Jun 01, 2017 11:25:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/1631 took 14497 ms. Total solver calls (SAT/UNSAT): 10457(4547/5910)
Jun 01, 2017 11:25:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/1631 took 15510 ms. Total solver calls (SAT/UNSAT): 11198(4898/6300)
Jun 01, 2017 11:25:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :232/1631 took 16525 ms. Total solver calls (SAT/UNSAT): 11930(5330/6600)
Jun 01, 2017 11:25:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :237/1631 took 17560 ms. Total solver calls (SAT/UNSAT): 12580(5780/6800)
Jun 01, 2017 11:25:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :254/1631 took 18581 ms. Total solver calls (SAT/UNSAT): 13440(6110/7330)
Jun 01, 2017 11:25:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :279/1631 took 19611 ms. Total solver calls (SAT/UNSAT): 14440(6360/8080)
Jun 01, 2017 11:25:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/1631 took 20638 ms. Total solver calls (SAT/UNSAT): 15440(6610/8830)
Jun 01, 2017 11:25:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/1631 took 21666 ms. Total solver calls (SAT/UNSAT): 16440(6860/9580)
Jun 01, 2017 11:25:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :338/1631 took 22739 ms. Total solver calls (SAT/UNSAT): 17538(7022/10516)
Jun 01, 2017 11:25:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/1631 took 23811 ms. Total solver calls (SAT/UNSAT): 18636(7184/11452)
Jun 01, 2017 11:25:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/1631 took 24883 ms. Total solver calls (SAT/UNSAT): 19734(7346/12388)
Jun 01, 2017 11:25:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/1631 took 25955 ms. Total solver calls (SAT/UNSAT): 20832(7508/13324)
Jun 01, 2017 11:25:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/1631 took 27021 ms. Total solver calls (SAT/UNSAT): 21930(7670/14260)
Jun 01, 2017 11:25:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/1631 took 28093 ms. Total solver calls (SAT/UNSAT): 23028(7832/15196)
Jun 01, 2017 11:25:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/1631 took 29167 ms. Total solver calls (SAT/UNSAT): 24126(7994/16132)
Jun 01, 2017 11:25:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/1631 took 30235 ms. Total solver calls (SAT/UNSAT): 25224(8156/17068)
Jun 01, 2017 11:25:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/1631 took 31305 ms. Total solver calls (SAT/UNSAT): 26322(8318/18004)
Jun 01, 2017 11:25:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/1631 took 32377 ms. Total solver calls (SAT/UNSAT): 27420(8480/18940)
Jun 01, 2017 11:25:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :430/1631 took 33431 ms. Total solver calls (SAT/UNSAT): 28222(8672/19550)
Jun 01, 2017 11:25:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/1631 took 34453 ms. Total solver calls (SAT/UNSAT): 29026(8696/20330)
Jun 01, 2017 11:25:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/1631 took 35469 ms. Total solver calls (SAT/UNSAT): 29830(8720/21110)
Jun 01, 2017 11:25:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/1631 took 36901 ms. Total solver calls (SAT/UNSAT): 31036(8756/22280)
Jun 01, 2017 11:25:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/1631 took 38334 ms. Total solver calls (SAT/UNSAT): 32242(8792/23450)
Jun 01, 2017 11:25:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/1631 took 39765 ms. Total solver calls (SAT/UNSAT): 33448(8828/24620)
Jun 01, 2017 11:25:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/1631 took 41180 ms. Total solver calls (SAT/UNSAT): 34654(8864/25790)
Jun 01, 2017 11:25:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/1631 took 42582 ms. Total solver calls (SAT/UNSAT): 35860(8900/26960)
Jun 01, 2017 11:25:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/1631 took 43937 ms. Total solver calls (SAT/UNSAT): 37066(8936/28130)
Jun 01, 2017 11:26:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/1631 took 45310 ms. Total solver calls (SAT/UNSAT): 38272(8972/29300)
Jun 01, 2017 11:26:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/1631 took 46653 ms. Total solver calls (SAT/UNSAT): 39478(9008/30470)
Jun 01, 2017 11:26:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/1631 took 48012 ms. Total solver calls (SAT/UNSAT): 40684(9044/31640)
Jun 01, 2017 11:26:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/1631 took 49313 ms. Total solver calls (SAT/UNSAT): 41890(9080/32810)
Jun 01, 2017 11:26:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/1631 took 50614 ms. Total solver calls (SAT/UNSAT): 43096(9116/33980)
Jun 01, 2017 11:26:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/1631 took 52013 ms. Total solver calls (SAT/UNSAT): 44302(9152/35150)
Jun 01, 2017 11:26:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/1631 took 53451 ms. Total solver calls (SAT/UNSAT): 45508(9188/36320)
Jun 01, 2017 11:26:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/1631 took 54890 ms. Total solver calls (SAT/UNSAT): 46714(9224/37490)
Jun 01, 2017 11:26:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/1631 took 56334 ms. Total solver calls (SAT/UNSAT): 47920(9260/38660)
Jun 01, 2017 11:26:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/1631 took 57760 ms. Total solver calls (SAT/UNSAT): 49126(9296/39830)
Jun 01, 2017 11:26:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/1631 took 59196 ms. Total solver calls (SAT/UNSAT): 50332(9332/41000)
Jun 01, 2017 11:26:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/1631 took 60611 ms. Total solver calls (SAT/UNSAT): 51538(9368/42170)
Jun 01, 2017 11:26:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/1631 took 62035 ms. Total solver calls (SAT/UNSAT): 52744(9404/43340)
Jun 01, 2017 11:26:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/1631 took 63468 ms. Total solver calls (SAT/UNSAT): 53950(9440/44510)
Jun 01, 2017 11:26:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/1631 took 64877 ms. Total solver calls (SAT/UNSAT): 55156(9476/45680)
Jun 01, 2017 11:26:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/1631 took 66238 ms. Total solver calls (SAT/UNSAT): 56362(9512/46850)
Jun 01, 2017 11:26:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/1631 took 67495 ms. Total solver calls (SAT/UNSAT): 57568(9548/48020)
Jun 01, 2017 11:26:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/1631 took 68763 ms. Total solver calls (SAT/UNSAT): 58774(9584/49190)
Jun 01, 2017 11:26:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/1631 took 69981 ms. Total solver calls (SAT/UNSAT): 59980(9620/50360)
Jun 01, 2017 11:26:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/1631 took 71399 ms. Total solver calls (SAT/UNSAT): 61186(9656/51530)
Jun 01, 2017 11:26:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/1631 took 72835 ms. Total solver calls (SAT/UNSAT): 62392(9692/52700)
Jun 01, 2017 11:26:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/1631 took 74309 ms. Total solver calls (SAT/UNSAT): 63598(9728/53870)
Jun 01, 2017 11:26:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/1631 took 75679 ms. Total solver calls (SAT/UNSAT): 64804(9764/55040)
Jun 01, 2017 11:26:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/1631 took 76991 ms. Total solver calls (SAT/UNSAT): 66010(9800/56210)
Jun 01, 2017 11:26:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/1631 took 78316 ms. Total solver calls (SAT/UNSAT): 67216(9836/57380)
Jun 01, 2017 11:26:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/1631 took 79341 ms. Total solver calls (SAT/UNSAT): 68120(9905/58215)
Jun 01, 2017 11:26:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/1631 took 80688 ms. Total solver calls (SAT/UNSAT): 69210(9972/59238)
Jun 01, 2017 11:26:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/1631 took 81868 ms. Total solver calls (SAT/UNSAT): 70200(10005/60195)
Jun 01, 2017 11:26:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/1631 took 83045 ms. Total solver calls (SAT/UNSAT): 71190(10038/61152)
Jun 01, 2017 11:26:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/1631 took 84222 ms. Total solver calls (SAT/UNSAT): 72180(10060/62120)
Jun 01, 2017 11:26:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/1631 took 85413 ms. Total solver calls (SAT/UNSAT): 73170(10093/63077)
Jun 01, 2017 11:26:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/1631 took 86604 ms. Total solver calls (SAT/UNSAT): 74160(10126/64034)
Jun 01, 2017 11:26:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/1631 took 87785 ms. Total solver calls (SAT/UNSAT): 75150(10159/64991)
Jun 01, 2017 11:26:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/1631 took 88970 ms. Total solver calls (SAT/UNSAT): 76140(10181/65959)
Jun 01, 2017 11:26:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/1631 took 90195 ms. Total solver calls (SAT/UNSAT): 77130(10214/66916)
Jun 01, 2017 11:26:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/1631 took 91385 ms. Total solver calls (SAT/UNSAT): 78120(10247/67873)
Jun 01, 2017 11:26:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/1631 took 92556 ms. Total solver calls (SAT/UNSAT): 79110(10280/68830)
Jun 01, 2017 11:26:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/1631 took 93797 ms. Total solver calls (SAT/UNSAT): 80100(10302/69798)
Jun 01, 2017 11:26:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/1631 took 94978 ms. Total solver calls (SAT/UNSAT): 81090(10335/70755)
Jun 01, 2017 11:26:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/1631 took 96140 ms. Total solver calls (SAT/UNSAT): 82080(10368/71712)
Jun 01, 2017 11:26:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/1631 took 97327 ms. Total solver calls (SAT/UNSAT): 83070(10390/72680)
Jun 01, 2017 11:26:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/1631 took 98510 ms. Total solver calls (SAT/UNSAT): 84060(10423/73637)
Jun 01, 2017 11:26:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/1631 took 99675 ms. Total solver calls (SAT/UNSAT): 85050(10456/74594)
Jun 01, 2017 11:26:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :593/1631 took 100894 ms. Total solver calls (SAT/UNSAT): 86040(10489/75551)
Jun 01, 2017 11:26:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :596/1631 took 102079 ms. Total solver calls (SAT/UNSAT): 87030(10511/76519)
Jun 01, 2017 11:26:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :599/1631 took 103285 ms. Total solver calls (SAT/UNSAT): 88020(10544/77476)
Jun 01, 2017 11:27:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :602/1631 took 104303 ms. Total solver calls (SAT/UNSAT): 89010(10577/78433)
Jun 01, 2017 11:27:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :605/1631 took 105394 ms. Total solver calls (SAT/UNSAT): 90000(10610/79390)
Jun 01, 2017 11:27:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :608/1631 took 106589 ms. Total solver calls (SAT/UNSAT): 90990(10632/80358)
Jun 01, 2017 11:27:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :611/1631 took 107805 ms. Total solver calls (SAT/UNSAT): 91980(10665/81315)
Jun 01, 2017 11:27:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :614/1631 took 108986 ms. Total solver calls (SAT/UNSAT): 92970(10698/82272)
Jun 01, 2017 11:27:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :617/1631 took 110166 ms. Total solver calls (SAT/UNSAT): 93960(10720/83240)
Jun 01, 2017 11:27:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :620/1631 took 111323 ms. Total solver calls (SAT/UNSAT): 94950(10753/84197)
Jun 01, 2017 11:27:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :623/1631 took 112545 ms. Total solver calls (SAT/UNSAT): 95940(10786/85154)
Jun 01, 2017 11:27:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :626/1631 took 113731 ms. Total solver calls (SAT/UNSAT): 96930(10819/86111)
Jun 01, 2017 11:27:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :629/1631 took 114908 ms. Total solver calls (SAT/UNSAT): 97920(10841/87079)
Jun 01, 2017 11:27:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :632/1631 took 116059 ms. Total solver calls (SAT/UNSAT): 98910(10874/88036)
Jun 01, 2017 11:27:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :635/1631 took 117226 ms. Total solver calls (SAT/UNSAT): 99900(10907/88993)
Jun 01, 2017 11:27:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :638/1631 took 118395 ms. Total solver calls (SAT/UNSAT): 100890(10940/89950)
Jun 01, 2017 11:27:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :641/1631 took 119578 ms. Total solver calls (SAT/UNSAT): 101880(10951/90929)
Jun 01, 2017 11:27:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :644/1631 took 120753 ms. Total solver calls (SAT/UNSAT): 102870(10984/91886)
Jun 01, 2017 11:27:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :647/1631 took 121904 ms. Total solver calls (SAT/UNSAT): 103860(11017/92843)
Jun 01, 2017 11:27:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :650/1631 took 123062 ms. Total solver calls (SAT/UNSAT): 104850(11050/93800)
Jun 01, 2017 11:27:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :653/1631 took 124244 ms. Total solver calls (SAT/UNSAT): 105840(11072/94768)
Jun 01, 2017 11:27:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :656/1631 took 125403 ms. Total solver calls (SAT/UNSAT): 106830(11105/95725)
Jun 01, 2017 11:27:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :659/1631 took 126551 ms. Total solver calls (SAT/UNSAT): 107820(11138/96682)
Jun 01, 2017 11:27:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :662/1631 took 127733 ms. Total solver calls (SAT/UNSAT): 108810(11160/97650)
Jun 01, 2017 11:27:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :665/1631 took 128903 ms. Total solver calls (SAT/UNSAT): 109800(11193/98607)
Jun 01, 2017 11:27:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :668/1631 took 130052 ms. Total solver calls (SAT/UNSAT): 110790(11226/99564)
Jun 01, 2017 11:27:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :671/1631 took 131219 ms. Total solver calls (SAT/UNSAT): 111780(11259/100521)
Jun 01, 2017 11:27:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :674/1631 took 132400 ms. Total solver calls (SAT/UNSAT): 112770(11281/101489)
Jun 01, 2017 11:27:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :677/1631 took 133548 ms. Total solver calls (SAT/UNSAT): 113760(11314/102446)
Jun 01, 2017 11:27:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :680/1631 took 134707 ms. Total solver calls (SAT/UNSAT): 114750(11347/103403)
Jun 01, 2017 11:27:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :683/1631 took 135883 ms. Total solver calls (SAT/UNSAT): 115740(11380/104360)
Jun 01, 2017 11:27:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :686/1631 took 137047 ms. Total solver calls (SAT/UNSAT): 116730(11402/105328)
Jun 01, 2017 11:27:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :689/1631 took 138198 ms. Total solver calls (SAT/UNSAT): 117720(11435/106285)
Jun 01, 2017 11:27:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :692/1631 took 139371 ms. Total solver calls (SAT/UNSAT): 118710(11468/107242)
Jun 01, 2017 11:27:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :695/1631 took 140533 ms. Total solver calls (SAT/UNSAT): 119700(11490/108210)
Jun 01, 2017 11:27:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :698/1631 took 141678 ms. Total solver calls (SAT/UNSAT): 120690(11523/109167)
Jun 01, 2017 11:27:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :701/1631 took 142842 ms. Total solver calls (SAT/UNSAT): 121680(11556/110124)
Jun 01, 2017 11:27:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :704/1631 took 144096 ms. Total solver calls (SAT/UNSAT): 122670(11589/111081)
Jun 01, 2017 11:27:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :707/1631 took 145249 ms. Total solver calls (SAT/UNSAT): 123660(11611/112049)
Jun 01, 2017 11:27:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :710/1631 took 146405 ms. Total solver calls (SAT/UNSAT): 124650(11644/113006)
Jun 01, 2017 11:27:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :713/1631 took 147582 ms. Total solver calls (SAT/UNSAT): 125640(11677/113963)
Jun 01, 2017 11:27:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :716/1631 took 148738 ms. Total solver calls (SAT/UNSAT): 126630(11710/114920)
Jun 01, 2017 11:27:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :719/1631 took 149890 ms. Total solver calls (SAT/UNSAT): 127620(11732/115888)
Jun 01, 2017 11:27:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :722/1631 took 151065 ms. Total solver calls (SAT/UNSAT): 128610(11765/116845)
Jun 01, 2017 11:27:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :725/1631 took 152231 ms. Total solver calls (SAT/UNSAT): 129600(11798/117802)
Jun 01, 2017 11:27:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :728/1631 took 153383 ms. Total solver calls (SAT/UNSAT): 130590(11820/118770)
Jun 01, 2017 11:27:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :731/1631 took 154548 ms. Total solver calls (SAT/UNSAT): 131580(11853/119727)
Jun 01, 2017 11:27:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :734/1631 took 155722 ms. Total solver calls (SAT/UNSAT): 132570(11886/120684)
Jun 01, 2017 11:27:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :737/1631 took 156869 ms. Total solver calls (SAT/UNSAT): 133560(11919/121641)
Jun 01, 2017 11:27:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :740/1631 took 158052 ms. Total solver calls (SAT/UNSAT): 134550(11930/122620)
Jun 01, 2017 11:27:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :743/1631 took 159172 ms. Total solver calls (SAT/UNSAT): 135540(11963/123577)
Jun 01, 2017 11:27:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :746/1631 took 160289 ms. Total solver calls (SAT/UNSAT): 136530(11996/124534)
Jun 01, 2017 11:27:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :749/1631 took 161388 ms. Total solver calls (SAT/UNSAT): 137520(12029/125491)
Jun 01, 2017 11:27:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :752/1631 took 162544 ms. Total solver calls (SAT/UNSAT): 138510(12051/126459)
Jun 01, 2017 11:27:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :755/1631 took 163673 ms. Total solver calls (SAT/UNSAT): 139500(12084/127416)
Jun 01, 2017 11:28:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :758/1631 took 164771 ms. Total solver calls (SAT/UNSAT): 140490(12117/128373)
Jun 01, 2017 11:28:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :761/1631 took 165865 ms. Total solver calls (SAT/UNSAT): 141480(12150/129330)
Jun 01, 2017 11:28:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :764/1631 took 166984 ms. Total solver calls (SAT/UNSAT): 142470(12172/130298)
Jun 01, 2017 11:28:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :767/1631 took 168078 ms. Total solver calls (SAT/UNSAT): 143460(12205/131255)
Jun 01, 2017 11:28:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :770/1631 took 169164 ms. Total solver calls (SAT/UNSAT): 144450(12238/132212)
Jun 01, 2017 11:28:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :773/1631 took 170273 ms. Total solver calls (SAT/UNSAT): 145440(12260/133180)
Jun 01, 2017 11:28:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :776/1631 took 171375 ms. Total solver calls (SAT/UNSAT): 146430(12293/134137)
Jun 01, 2017 11:28:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :779/1631 took 172472 ms. Total solver calls (SAT/UNSAT): 147420(12326/135094)
Jun 01, 2017 11:28:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :782/1631 took 173627 ms. Total solver calls (SAT/UNSAT): 148410(12359/136051)
Jun 01, 2017 11:28:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :785/1631 took 174754 ms. Total solver calls (SAT/UNSAT): 149400(12381/137019)
Jun 01, 2017 11:28:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :788/1631 took 175848 ms. Total solver calls (SAT/UNSAT): 150390(12414/137976)
Jun 01, 2017 11:28:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :791/1631 took 176967 ms. Total solver calls (SAT/UNSAT): 151380(12447/138933)
Jun 01, 2017 11:28:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :794/1631 took 178079 ms. Total solver calls (SAT/UNSAT): 152370(12480/139890)
Jun 01, 2017 11:28:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :797/1631 took 179174 ms. Total solver calls (SAT/UNSAT): 153360(12502/140858)
Jun 01, 2017 11:28:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :800/1631 took 180256 ms. Total solver calls (SAT/UNSAT): 154350(12535/141815)
Jun 01, 2017 11:28:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :803/1631 took 181362 ms. Total solver calls (SAT/UNSAT): 155340(12568/142772)
Jun 01, 2017 11:28:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :806/1631 took 182472 ms. Total solver calls (SAT/UNSAT): 156330(12590/143740)
Jun 01, 2017 11:28:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :809/1631 took 183562 ms. Total solver calls (SAT/UNSAT): 157320(12623/144697)
Jun 01, 2017 11:28:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :812/1631 took 184663 ms. Total solver calls (SAT/UNSAT): 158310(12656/145654)
Jun 01, 2017 11:28:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :815/1631 took 185778 ms. Total solver calls (SAT/UNSAT): 159300(12689/146611)
Jun 01, 2017 11:28:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :818/1631 took 186868 ms. Total solver calls (SAT/UNSAT): 160290(12711/147579)
Jun 01, 2017 11:28:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :821/1631 took 187955 ms. Total solver calls (SAT/UNSAT): 161280(12744/148536)
Jun 01, 2017 11:28:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :824/1631 took 189076 ms. Total solver calls (SAT/UNSAT): 162270(12777/149493)
Jun 01, 2017 11:28:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :827/1631 took 190173 ms. Total solver calls (SAT/UNSAT): 163260(12810/150450)
Jun 01, 2017 11:28:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :830/1631 took 191262 ms. Total solver calls (SAT/UNSAT): 164250(12832/151418)
Jun 01, 2017 11:28:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :833/1631 took 192368 ms. Total solver calls (SAT/UNSAT): 165240(12865/152375)
Jun 01, 2017 11:28:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :836/1631 took 193496 ms. Total solver calls (SAT/UNSAT): 166230(12898/153332)
Jun 01, 2017 11:28:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :839/1631 took 194582 ms. Total solver calls (SAT/UNSAT): 167220(12920/154300)
Jun 01, 2017 11:28:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :842/1631 took 195619 ms. Total solver calls (SAT/UNSAT): 168210(12942/155268)
Jun 01, 2017 11:28:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :845/1631 took 196654 ms. Total solver calls (SAT/UNSAT): 169200(12975/156225)
Jun 01, 2017 11:28:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :848/1631 took 197745 ms. Total solver calls (SAT/UNSAT): 170190(13008/157182)
Jun 01, 2017 11:28:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :851/1631 took 198800 ms. Total solver calls (SAT/UNSAT): 171180(13030/158150)
Jun 01, 2017 11:28:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :854/1631 took 199849 ms. Total solver calls (SAT/UNSAT): 172170(13063/159107)
Jun 01, 2017 11:28:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :857/1631 took 200898 ms. Total solver calls (SAT/UNSAT): 173160(13096/160064)
Jun 01, 2017 11:28:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :860/1631 took 201948 ms. Total solver calls (SAT/UNSAT): 174150(13129/161021)
Jun 01, 2017 11:28:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :863/1631 took 202991 ms. Total solver calls (SAT/UNSAT): 175140(13151/161989)
Jun 01, 2017 11:28:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :866/1631 took 204042 ms. Total solver calls (SAT/UNSAT): 176130(13184/162946)
Jun 01, 2017 11:28:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :869/1631 took 205144 ms. Total solver calls (SAT/UNSAT): 177120(13217/163903)
Jun 01, 2017 11:28:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :872/1631 took 206196 ms. Total solver calls (SAT/UNSAT): 178110(13250/164860)
Jun 01, 2017 11:28:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :875/1631 took 207248 ms. Total solver calls (SAT/UNSAT): 179100(13272/165828)
Jun 01, 2017 11:28:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :878/1631 took 208323 ms. Total solver calls (SAT/UNSAT): 180090(13305/166785)
Jun 01, 2017 11:28:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :881/1631 took 209364 ms. Total solver calls (SAT/UNSAT): 181080(13338/167742)
Jun 01, 2017 11:28:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :884/1631 took 210410 ms. Total solver calls (SAT/UNSAT): 182070(13360/168710)
Jun 01, 2017 11:28:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :887/1631 took 211458 ms. Total solver calls (SAT/UNSAT): 183060(13393/169667)
Jun 01, 2017 11:28:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :890/1631 took 212500 ms. Total solver calls (SAT/UNSAT): 184050(13426/170624)
Jun 01, 2017 11:28:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :893/1631 took 213530 ms. Total solver calls (SAT/UNSAT): 185040(13459/171581)
Jun 01, 2017 11:28:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :896/1631 took 214571 ms. Total solver calls (SAT/UNSAT): 186030(13481/172549)
Jun 01, 2017 11:28:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :899/1631 took 215610 ms. Total solver calls (SAT/UNSAT): 187020(13514/173506)
Jun 01, 2017 11:28:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :902/1631 took 216654 ms. Total solver calls (SAT/UNSAT): 188010(13547/174463)
Jun 01, 2017 11:28:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :905/1631 took 217698 ms. Total solver calls (SAT/UNSAT): 189000(13580/175420)
Jun 01, 2017 11:28:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :908/1631 took 218736 ms. Total solver calls (SAT/UNSAT): 189990(13602/176388)
Jun 01, 2017 11:28:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :911/1631 took 219780 ms. Total solver calls (SAT/UNSAT): 190980(13635/177345)
Jun 01, 2017 11:28:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :914/1631 took 220825 ms. Total solver calls (SAT/UNSAT): 191970(13668/178302)
Jun 01, 2017 11:28:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :917/1631 took 221871 ms. Total solver calls (SAT/UNSAT): 192960(13690/179270)
Jun 01, 2017 11:28:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :920/1631 took 222917 ms. Total solver calls (SAT/UNSAT): 193950(13723/180227)
Jun 01, 2017 11:28:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :923/1631 took 223953 ms. Total solver calls (SAT/UNSAT): 194940(13756/181184)
Jun 01, 2017 11:29:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :926/1631 took 225002 ms. Total solver calls (SAT/UNSAT): 195930(13789/182141)
Jun 01, 2017 11:29:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :929/1631 took 226048 ms. Total solver calls (SAT/UNSAT): 196920(13811/183109)
Jun 01, 2017 11:29:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :932/1631 took 227090 ms. Total solver calls (SAT/UNSAT): 197910(13844/184066)
Jun 01, 2017 11:29:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :935/1631 took 228130 ms. Total solver calls (SAT/UNSAT): 198900(13877/185023)
Jun 01, 2017 11:29:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :938/1631 took 229161 ms. Total solver calls (SAT/UNSAT): 199890(13910/185980)
Jun 01, 2017 11:29:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :941/1631 took 230306 ms. Total solver calls (SAT/UNSAT): 200880(13921/186959)
Jun 01, 2017 11:29:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :944/1631 took 231484 ms. Total solver calls (SAT/UNSAT): 201870(13954/187916)
Jun 01, 2017 11:29:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :947/1631 took 232655 ms. Total solver calls (SAT/UNSAT): 202860(13987/188873)
Jun 01, 2017 11:29:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :950/1631 took 233838 ms. Total solver calls (SAT/UNSAT): 203850(14020/189830)
Jun 01, 2017 11:29:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :953/1631 took 235018 ms. Total solver calls (SAT/UNSAT): 204840(14042/190798)
Jun 01, 2017 11:29:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :956/1631 took 236192 ms. Total solver calls (SAT/UNSAT): 205830(14075/191755)
Jun 01, 2017 11:29:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :959/1631 took 237374 ms. Total solver calls (SAT/UNSAT): 206820(14108/192712)
Jun 01, 2017 11:29:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :962/1631 took 238654 ms. Total solver calls (SAT/UNSAT): 207810(14130/193680)
Jun 01, 2017 11:29:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :965/1631 took 239831 ms. Total solver calls (SAT/UNSAT): 208800(14163/194637)
Jun 01, 2017 11:29:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :968/1631 took 241014 ms. Total solver calls (SAT/UNSAT): 209790(14196/195594)
Jun 01, 2017 11:29:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :971/1631 took 242191 ms. Total solver calls (SAT/UNSAT): 210780(14229/196551)
Jun 01, 2017 11:29:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :974/1631 took 243362 ms. Total solver calls (SAT/UNSAT): 211770(14251/197519)
Jun 01, 2017 11:29:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :977/1631 took 244527 ms. Total solver calls (SAT/UNSAT): 212760(14284/198476)
Jun 01, 2017 11:29:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :980/1631 took 245698 ms. Total solver calls (SAT/UNSAT): 213750(14317/199433)
Jun 01, 2017 11:29:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :983/1631 took 246862 ms. Total solver calls (SAT/UNSAT): 214740(14350/200390)
Jun 01, 2017 11:29:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :986/1631 took 248030 ms. Total solver calls (SAT/UNSAT): 215730(14372/201358)
Jun 01, 2017 11:29:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :989/1631 took 249202 ms. Total solver calls (SAT/UNSAT): 216720(14405/202315)
Jun 01, 2017 11:29:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :992/1631 took 250357 ms. Total solver calls (SAT/UNSAT): 217710(14438/203272)
Jun 01, 2017 11:29:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :995/1631 took 251517 ms. Total solver calls (SAT/UNSAT): 218700(14460/204240)
Jun 01, 2017 11:29:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :998/1631 took 252684 ms. Total solver calls (SAT/UNSAT): 219690(14493/205197)
Jun 01, 2017 11:29:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1001/1631 took 253854 ms. Total solver calls (SAT/UNSAT): 220680(14526/206154)
Jun 01, 2017 11:29:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1004/1631 took 255020 ms. Total solver calls (SAT/UNSAT): 221670(14559/207111)
Jun 01, 2017 11:29:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1007/1631 took 256189 ms. Total solver calls (SAT/UNSAT): 222660(14581/208079)
Jun 01, 2017 11:29:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1010/1631 took 257434 ms. Total solver calls (SAT/UNSAT): 223650(14614/209036)
Jun 01, 2017 11:29:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1013/1631 took 258605 ms. Total solver calls (SAT/UNSAT): 224640(14647/209993)
Jun 01, 2017 11:29:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1016/1631 took 259782 ms. Total solver calls (SAT/UNSAT): 225630(14680/210950)
Jun 01, 2017 11:29:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1019/1631 took 260977 ms. Total solver calls (SAT/UNSAT): 226620(14702/211918)
Jun 01, 2017 11:29:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1022/1631 took 262155 ms. Total solver calls (SAT/UNSAT): 227610(14735/212875)
Jun 01, 2017 11:29:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1025/1631 took 263331 ms. Total solver calls (SAT/UNSAT): 228600(14768/213832)
Jun 01, 2017 11:29:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1028/1631 took 264529 ms. Total solver calls (SAT/UNSAT): 229590(14790/214800)
Jun 01, 2017 11:29:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1031/1631 took 265720 ms. Total solver calls (SAT/UNSAT): 230580(14823/215757)
Jun 01, 2017 11:29:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1034/1631 took 266890 ms. Total solver calls (SAT/UNSAT): 231570(14856/216714)
Jun 01, 2017 11:29:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1037/1631 took 268056 ms. Total solver calls (SAT/UNSAT): 232560(14889/217671)
Jun 01, 2017 11:29:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1040/1631 took 269238 ms. Total solver calls (SAT/UNSAT): 233550(14900/218650)
Jun 01, 2017 11:29:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1043/1631 took 270400 ms. Total solver calls (SAT/UNSAT): 234540(14933/219607)
Jun 01, 2017 11:29:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1046/1631 took 271571 ms. Total solver calls (SAT/UNSAT): 235530(14966/220564)
Jun 01, 2017 11:29:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1049/1631 took 272720 ms. Total solver calls (SAT/UNSAT): 236520(14999/221521)
Jun 01, 2017 11:29:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1052/1631 took 273885 ms. Total solver calls (SAT/UNSAT): 237510(15021/222489)
Jun 01, 2017 11:29:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1055/1631 took 275106 ms. Total solver calls (SAT/UNSAT): 238500(15054/223446)
Jun 01, 2017 11:29:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1058/1631 took 276349 ms. Total solver calls (SAT/UNSAT): 239490(15087/224403)
Jun 01, 2017 11:29:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1061/1631 took 277505 ms. Total solver calls (SAT/UNSAT): 240480(15120/225360)
Jun 01, 2017 11:29:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1064/1631 took 278688 ms. Total solver calls (SAT/UNSAT): 241470(15142/226328)
Jun 01, 2017 11:29:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1067/1631 took 279892 ms. Total solver calls (SAT/UNSAT): 242460(15175/227285)
Jun 01, 2017 11:29:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1070/1631 took 281035 ms. Total solver calls (SAT/UNSAT): 243450(15208/228242)
Jun 01, 2017 11:29:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1073/1631 took 282194 ms. Total solver calls (SAT/UNSAT): 244440(15230/229210)
Jun 01, 2017 11:29:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1076/1631 took 283359 ms. Total solver calls (SAT/UNSAT): 245430(15263/230167)
Jun 01, 2017 11:30:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1079/1631 took 284501 ms. Total solver calls (SAT/UNSAT): 246420(15296/231124)
Jun 01, 2017 11:30:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1082/1631 took 285654 ms. Total solver calls (SAT/UNSAT): 247410(15329/232081)
Jun 01, 2017 11:30:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1085/1631 took 286820 ms. Total solver calls (SAT/UNSAT): 248400(15351/233049)
Jun 01, 2017 11:30:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1088/1631 took 287967 ms. Total solver calls (SAT/UNSAT): 249390(15384/234006)
Jun 01, 2017 11:30:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1091/1631 took 289108 ms. Total solver calls (SAT/UNSAT): 250380(15417/234963)
Jun 01, 2017 11:30:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1094/1631 took 290269 ms. Total solver calls (SAT/UNSAT): 251370(15450/235920)
Jun 01, 2017 11:30:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1097/1631 took 291423 ms. Total solver calls (SAT/UNSAT): 252360(15472/236888)
Jun 01, 2017 11:30:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1100/1631 took 292560 ms. Total solver calls (SAT/UNSAT): 253350(15505/237845)
Jun 01, 2017 11:30:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1103/1631 took 293713 ms. Total solver calls (SAT/UNSAT): 254340(15538/238802)
Jun 01, 2017 11:30:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1106/1631 took 294881 ms. Total solver calls (SAT/UNSAT): 255330(15560/239770)
Jun 01, 2017 11:30:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1109/1631 took 296023 ms. Total solver calls (SAT/UNSAT): 256320(15593/240727)
Jun 01, 2017 11:30:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1112/1631 took 297175 ms. Total solver calls (SAT/UNSAT): 257310(15626/241684)
Jun 01, 2017 11:30:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1115/1631 took 298337 ms. Total solver calls (SAT/UNSAT): 258300(15659/242641)
Jun 01, 2017 11:30:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1118/1631 took 299482 ms. Total solver calls (SAT/UNSAT): 259290(15681/243609)
Jun 01, 2017 11:30:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1121/1631 took 300627 ms. Total solver calls (SAT/UNSAT): 260280(15714/244566)
Jun 01, 2017 11:30:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1124/1631 took 301791 ms. Total solver calls (SAT/UNSAT): 261270(15747/245523)
Jun 01, 2017 11:30:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1127/1631 took 302947 ms. Total solver calls (SAT/UNSAT): 262260(15780/246480)
Jun 01, 2017 11:30:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1130/1631 took 304092 ms. Total solver calls (SAT/UNSAT): 263250(15802/247448)
Jun 01, 2017 11:30:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1133/1631 took 305238 ms. Total solver calls (SAT/UNSAT): 264240(15835/248405)
Jun 01, 2017 11:30:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1136/1631 took 306397 ms. Total solver calls (SAT/UNSAT): 265230(15868/249362)
Jun 01, 2017 11:30:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1139/1631 took 307553 ms. Total solver calls (SAT/UNSAT): 266220(15890/250330)
Jun 01, 2017 11:30:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1142/1631 took 308627 ms. Total solver calls (SAT/UNSAT): 267210(15912/251298)
Jun 01, 2017 11:30:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1145/1631 took 309671 ms. Total solver calls (SAT/UNSAT): 268200(15945/252255)
Jun 01, 2017 11:30:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1148/1631 took 310735 ms. Total solver calls (SAT/UNSAT): 269190(15978/253212)
Jun 01, 2017 11:30:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1151/1631 took 311907 ms. Total solver calls (SAT/UNSAT): 270180(16000/254180)
Jun 01, 2017 11:30:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1154/1631 took 313092 ms. Total solver calls (SAT/UNSAT): 271170(16033/255137)
Jun 01, 2017 11:30:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1157/1631 took 314266 ms. Total solver calls (SAT/UNSAT): 272160(16066/256094)
Jun 01, 2017 11:30:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1160/1631 took 315439 ms. Total solver calls (SAT/UNSAT): 273150(16099/257051)
Jun 01, 2017 11:30:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1163/1631 took 316635 ms. Total solver calls (SAT/UNSAT): 274140(16121/258019)
Jun 01, 2017 11:30:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1166/1631 took 317809 ms. Total solver calls (SAT/UNSAT): 275130(16154/258976)
Jun 01, 2017 11:30:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1169/1631 took 318980 ms. Total solver calls (SAT/UNSAT): 276120(16187/259933)
Jun 01, 2017 11:30:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1172/1631 took 320161 ms. Total solver calls (SAT/UNSAT): 277110(16220/260890)
Jun 01, 2017 11:30:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1175/1631 took 321347 ms. Total solver calls (SAT/UNSAT): 278100(16242/261858)
Jun 01, 2017 11:30:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1178/1631 took 322522 ms. Total solver calls (SAT/UNSAT): 279090(16275/262815)
Jun 01, 2017 11:30:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1181/1631 took 323696 ms. Total solver calls (SAT/UNSAT): 280080(16308/263772)
Jun 01, 2017 11:30:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1184/1631 took 324885 ms. Total solver calls (SAT/UNSAT): 281070(16330/264740)
Jun 01, 2017 11:30:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1187/1631 took 326059 ms. Total solver calls (SAT/UNSAT): 282060(16363/265697)
Jun 01, 2017 11:30:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1190/1631 took 327231 ms. Total solver calls (SAT/UNSAT): 283050(16396/266654)
Jun 01, 2017 11:30:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1193/1631 took 328420 ms. Total solver calls (SAT/UNSAT): 284040(16429/267611)
Jun 01, 2017 11:30:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1196/1631 took 329591 ms. Total solver calls (SAT/UNSAT): 285030(16451/268579)
Jun 01, 2017 11:30:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1199/1631 took 330761 ms. Total solver calls (SAT/UNSAT): 286020(16484/269536)
Jun 01, 2017 11:30:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1202/1631 took 331955 ms. Total solver calls (SAT/UNSAT): 287010(16517/270493)
Jun 01, 2017 11:30:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1205/1631 took 333151 ms. Total solver calls (SAT/UNSAT): 288000(16550/271450)
Jun 01, 2017 11:30:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1208/1631 took 334328 ms. Total solver calls (SAT/UNSAT): 288990(16572/272418)
Jun 01, 2017 11:30:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1211/1631 took 335501 ms. Total solver calls (SAT/UNSAT): 289980(16605/273375)
Jun 01, 2017 11:30:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1214/1631 took 336682 ms. Total solver calls (SAT/UNSAT): 290970(16638/274332)
Jun 01, 2017 11:30:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1217/1631 took 337860 ms. Total solver calls (SAT/UNSAT): 291960(16660/275300)
Jun 01, 2017 11:30:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1220/1631 took 339032 ms. Total solver calls (SAT/UNSAT): 292950(16693/276257)
Jun 01, 2017 11:30:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1223/1631 took 340227 ms. Total solver calls (SAT/UNSAT): 293940(16726/277214)
Jun 01, 2017 11:30:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1226/1631 took 341399 ms. Total solver calls (SAT/UNSAT): 294930(16759/278171)
Jun 01, 2017 11:30:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1229/1631 took 342619 ms. Total solver calls (SAT/UNSAT): 295920(16781/279139)
Jun 01, 2017 11:30:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1232/1631 took 343786 ms. Total solver calls (SAT/UNSAT): 296910(16814/280096)
Jun 01, 2017 11:31:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1235/1631 took 344948 ms. Total solver calls (SAT/UNSAT): 297900(16847/281053)
Jun 01, 2017 11:31:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1238/1631 took 346108 ms. Total solver calls (SAT/UNSAT): 298890(16880/282010)
Jun 01, 2017 11:31:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1241/1631 took 347138 ms. Total solver calls (SAT/UNSAT): 299880(16891/282989)
Jun 01, 2017 11:31:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1245/1631 took 348400 ms. Total solver calls (SAT/UNSAT): 301200(16935/284265)
Jun 01, 2017 11:31:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1249/1631 took 349670 ms. Total solver calls (SAT/UNSAT): 302520(16979/285541)
Jun 01, 2017 11:31:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1253/1631 took 350948 ms. Total solver calls (SAT/UNSAT): 303840(17012/286828)
Jun 01, 2017 11:31:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1257/1631 took 352210 ms. Total solver calls (SAT/UNSAT): 305160(17056/288104)
Jun 01, 2017 11:31:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1261/1631 took 353491 ms. Total solver calls (SAT/UNSAT): 306480(17100/289380)
Jun 01, 2017 11:31:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1265/1631 took 354761 ms. Total solver calls (SAT/UNSAT): 307800(17133/290667)
Jun 01, 2017 11:31:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1269/1631 took 356033 ms. Total solver calls (SAT/UNSAT): 309120(17177/291943)
Jun 01, 2017 11:31:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1273/1631 took 357311 ms. Total solver calls (SAT/UNSAT): 310440(17210/293230)
Jun 01, 2017 11:31:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1277/1631 took 358574 ms. Total solver calls (SAT/UNSAT): 311760(17254/294506)
Jun 01, 2017 11:31:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1281/1631 took 359853 ms. Total solver calls (SAT/UNSAT): 313080(17298/295782)
Jun 01, 2017 11:31:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1285/1631 took 361121 ms. Total solver calls (SAT/UNSAT): 314400(17331/297069)
Jun 01, 2017 11:31:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1289/1631 took 362394 ms. Total solver calls (SAT/UNSAT): 315720(17375/298345)
Jun 01, 2017 11:31:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1293/1631 took 363708 ms. Total solver calls (SAT/UNSAT): 317040(17419/299621)
Jun 01, 2017 11:31:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1296/1631 took 364719 ms. Total solver calls (SAT/UNSAT): 318030(17441/300589)
Jun 01, 2017 11:31:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1300/1631 took 365999 ms. Total solver calls (SAT/UNSAT): 319350(17485/301865)
Jun 01, 2017 11:31:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1304/1631 took 367283 ms. Total solver calls (SAT/UNSAT): 320670(17529/303141)
Jun 01, 2017 11:31:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1308/1631 took 368556 ms. Total solver calls (SAT/UNSAT): 321990(17562/304428)
Jun 01, 2017 11:31:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1312/1631 took 369834 ms. Total solver calls (SAT/UNSAT): 323310(17606/305704)
Jun 01, 2017 11:31:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1316/1631 took 371117 ms. Total solver calls (SAT/UNSAT): 324630(17650/306980)
Jun 01, 2017 11:31:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1319/1631 took 372121 ms. Total solver calls (SAT/UNSAT): 325620(17672/307948)
Jun 01, 2017 11:31:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1323/1631 took 373438 ms. Total solver calls (SAT/UNSAT): 326940(17716/309224)
Jun 01, 2017 11:31:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1327/1631 took 374691 ms. Total solver calls (SAT/UNSAT): 328260(17760/310500)
Jun 01, 2017 11:31:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1331/1631 took 375970 ms. Total solver calls (SAT/UNSAT): 329580(17793/311787)
Jun 01, 2017 11:31:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1335/1631 took 377219 ms. Total solver calls (SAT/UNSAT): 330900(17837/313063)
Jun 01, 2017 11:31:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1339/1631 took 378479 ms. Total solver calls (SAT/UNSAT): 332220(17870/314350)
Jun 01, 2017 11:31:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1342/1631 took 379733 ms. Total solver calls (SAT/UNSAT): 333210(17892/315318)
Jun 01, 2017 11:31:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1345/1631 took 380987 ms. Total solver calls (SAT/UNSAT): 334200(17925/316275)
Jun 01, 2017 11:31:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1348/1631 took 382155 ms. Total solver calls (SAT/UNSAT): 335190(17958/317232)
Jun 01, 2017 11:31:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1351/1631 took 383331 ms. Total solver calls (SAT/UNSAT): 336180(17980/318200)
Jun 01, 2017 11:31:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1354/1631 took 384488 ms. Total solver calls (SAT/UNSAT): 337170(18013/319157)
Jun 01, 2017 11:31:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1357/1631 took 385631 ms. Total solver calls (SAT/UNSAT): 338160(18046/320114)
Jun 01, 2017 11:31:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1360/1631 took 386797 ms. Total solver calls (SAT/UNSAT): 339150(18079/321071)
Jun 01, 2017 11:31:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1363/1631 took 387973 ms. Total solver calls (SAT/UNSAT): 340140(18101/322039)
Jun 01, 2017 11:31:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1366/1631 took 389137 ms. Total solver calls (SAT/UNSAT): 341130(18134/322996)
Jun 01, 2017 11:31:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1369/1631 took 390314 ms. Total solver calls (SAT/UNSAT): 342120(18167/323953)
Jun 01, 2017 11:31:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1372/1631 took 391479 ms. Total solver calls (SAT/UNSAT): 343110(18200/324910)
Jun 01, 2017 11:31:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1375/1631 took 392657 ms. Total solver calls (SAT/UNSAT): 344100(18222/325878)
Jun 01, 2017 11:31:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1378/1631 took 393933 ms. Total solver calls (SAT/UNSAT): 345090(18255/326835)
Jun 01, 2017 11:31:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1381/1631 took 395160 ms. Total solver calls (SAT/UNSAT): 346080(18288/327792)
Jun 01, 2017 11:31:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1384/1631 took 396324 ms. Total solver calls (SAT/UNSAT): 347070(18310/328760)
Jun 01, 2017 11:31:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1387/1631 took 397596 ms. Total solver calls (SAT/UNSAT): 348060(18343/329717)
Jun 01, 2017 11:31:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1390/1631 took 398773 ms. Total solver calls (SAT/UNSAT): 349050(18376/330674)
Jun 01, 2017 11:31:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1393/1631 took 399965 ms. Total solver calls (SAT/UNSAT): 350040(18409/331631)
Jun 01, 2017 11:31:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1396/1631 took 401141 ms. Total solver calls (SAT/UNSAT): 351030(18431/332599)
Jun 01, 2017 11:31:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1399/1631 took 402359 ms. Total solver calls (SAT/UNSAT): 352020(18464/333556)
Jun 01, 2017 11:31:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1402/1631 took 403518 ms. Total solver calls (SAT/UNSAT): 353010(18497/334513)
Jun 01, 2017 11:32:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1405/1631 took 404685 ms. Total solver calls (SAT/UNSAT): 354000(18530/335470)
Jun 01, 2017 11:32:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1408/1631 took 405852 ms. Total solver calls (SAT/UNSAT): 354990(18552/336438)
Jun 01, 2017 11:32:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1411/1631 took 407018 ms. Total solver calls (SAT/UNSAT): 355980(18585/337395)
Jun 01, 2017 11:32:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1414/1631 took 408178 ms. Total solver calls (SAT/UNSAT): 356970(18618/338352)
Jun 01, 2017 11:32:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1417/1631 took 409347 ms. Total solver calls (SAT/UNSAT): 357960(18640/339320)
Jun 01, 2017 11:32:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1420/1631 took 410563 ms. Total solver calls (SAT/UNSAT): 358950(18673/340277)
Jun 01, 2017 11:32:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1423/1631 took 411741 ms. Total solver calls (SAT/UNSAT): 359940(18706/341234)
Jun 01, 2017 11:32:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1426/1631 took 412902 ms. Total solver calls (SAT/UNSAT): 360930(18739/342191)
Jun 01, 2017 11:32:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1429/1631 took 414088 ms. Total solver calls (SAT/UNSAT): 361920(18761/343159)
Jun 01, 2017 11:32:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1432/1631 took 415249 ms. Total solver calls (SAT/UNSAT): 362910(18794/344116)
Jun 01, 2017 11:32:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1435/1631 took 416477 ms. Total solver calls (SAT/UNSAT): 363900(18827/345073)
Jun 01, 2017 11:32:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1438/1631 took 417658 ms. Total solver calls (SAT/UNSAT): 364890(18860/346030)
Jun 01, 2017 11:32:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1441/1631 took 418755 ms. Total solver calls (SAT/UNSAT): 365880(18871/347009)
Jun 01, 2017 11:32:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1444/1631 took 419809 ms. Total solver calls (SAT/UNSAT): 366870(18904/347966)
Jun 01, 2017 11:32:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1447/1631 took 420879 ms. Total solver calls (SAT/UNSAT): 367860(18937/348923)
Jun 01, 2017 11:32:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1450/1631 took 421908 ms. Total solver calls (SAT/UNSAT): 368850(18970/349880)
Jun 01, 2017 11:32:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1453/1631 took 422958 ms. Total solver calls (SAT/UNSAT): 369840(18992/350848)
Jun 01, 2017 11:32:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1456/1631 took 423997 ms. Total solver calls (SAT/UNSAT): 370830(19025/351805)
Jun 01, 2017 11:32:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1459/1631 took 425056 ms. Total solver calls (SAT/UNSAT): 371820(19058/352762)
Jun 01, 2017 11:32:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1462/1631 took 426115 ms. Total solver calls (SAT/UNSAT): 372810(19080/353730)
Jun 01, 2017 11:32:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1465/1631 took 427163 ms. Total solver calls (SAT/UNSAT): 373800(19113/354687)
Jun 01, 2017 11:32:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1468/1631 took 428190 ms. Total solver calls (SAT/UNSAT): 374790(19146/355644)
Jun 01, 2017 11:32:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1471/1631 took 429233 ms. Total solver calls (SAT/UNSAT): 375780(19179/356601)
Jun 01, 2017 11:32:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1474/1631 took 430319 ms. Total solver calls (SAT/UNSAT): 376770(19201/357569)
Jun 01, 2017 11:32:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1477/1631 took 431421 ms. Total solver calls (SAT/UNSAT): 377760(19234/358526)
Jun 01, 2017 11:32:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1480/1631 took 432485 ms. Total solver calls (SAT/UNSAT): 378750(19267/359483)
Jun 01, 2017 11:32:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1483/1631 took 433531 ms. Total solver calls (SAT/UNSAT): 379740(19300/360440)
Jun 01, 2017 11:32:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1486/1631 took 434572 ms. Total solver calls (SAT/UNSAT): 380730(19322/361408)
Jun 01, 2017 11:32:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1489/1631 took 435615 ms. Total solver calls (SAT/UNSAT): 381720(19355/362365)
Jun 01, 2017 11:32:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1492/1631 took 436652 ms. Total solver calls (SAT/UNSAT): 382710(19388/363322)
Jun 01, 2017 11:32:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1495/1631 took 437672 ms. Total solver calls (SAT/UNSAT): 383700(19410/364290)
Jun 01, 2017 11:32:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1498/1631 took 438698 ms. Total solver calls (SAT/UNSAT): 384690(19443/365247)
Jun 01, 2017 11:32:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1501/1631 took 439705 ms. Total solver calls (SAT/UNSAT): 385680(19476/366204)
Jun 01, 2017 11:32:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1504/1631 took 440729 ms. Total solver calls (SAT/UNSAT): 386670(19509/367161)
Jun 01, 2017 11:32:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1507/1631 took 441762 ms. Total solver calls (SAT/UNSAT): 387660(19531/368129)
Jun 01, 2017 11:32:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1510/1631 took 442801 ms. Total solver calls (SAT/UNSAT): 388650(19564/369086)
Jun 01, 2017 11:32:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1513/1631 took 443845 ms. Total solver calls (SAT/UNSAT): 389640(19597/370043)
Jun 01, 2017 11:32:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1516/1631 took 444859 ms. Total solver calls (SAT/UNSAT): 390630(19630/371000)
Jun 01, 2017 11:32:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1519/1631 took 445902 ms. Total solver calls (SAT/UNSAT): 391620(19652/371968)
Jun 01, 2017 11:32:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1522/1631 took 446936 ms. Total solver calls (SAT/UNSAT): 392610(19685/372925)
Jun 01, 2017 11:32:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1525/1631 took 448013 ms. Total solver calls (SAT/UNSAT): 393600(19718/373882)
Jun 01, 2017 11:32:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1528/1631 took 449051 ms. Total solver calls (SAT/UNSAT): 394590(19740/374850)
Jun 01, 2017 11:32:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1531/1631 took 450100 ms. Total solver calls (SAT/UNSAT): 395580(19773/375807)
Jun 01, 2017 11:32:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1534/1631 took 451122 ms. Total solver calls (SAT/UNSAT): 396570(19806/376764)
Jun 01, 2017 11:32:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1537/1631 took 452168 ms. Total solver calls (SAT/UNSAT): 397560(19839/377721)
Jun 01, 2017 11:32:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1545/1631 took 453226 ms. Total solver calls (SAT/UNSAT): 398838(19916/378922)
Jun 01, 2017 11:32:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1562/1631 took 454249 ms. Total solver calls (SAT/UNSAT): 400589(20103/380486)
Jun 01, 2017 11:32:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1579/1631 took 455272 ms. Total solver calls (SAT/UNSAT): 402340(20290/382050)
Jun 01, 2017 11:32:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1596/1631 took 456285 ms. Total solver calls (SAT/UNSAT): 404091(20477/383614)
Jun 01, 2017 11:32:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1613/1631 took 457299 ms. Total solver calls (SAT/UNSAT): 405842(20664/385178)
Jun 01, 2017 11:32:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1630/1631 took 458395 ms. Total solver calls (SAT/UNSAT): 407621(20860/386761)
Jun 01, 2017 11:32:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 458395 ms. Total solver calls (SAT/UNSAT): 407621(20860/386761)
Jun 01, 2017 11:32:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 1631 transitions.
Jun 01, 2017 11:32:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/1631) took 939 ms. Total solver calls (SAT/UNSAT): 1631(976/655)
Jun 01, 2017 11:32:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/1631) took 2801 ms. Total solver calls (SAT/UNSAT): 4890(2925/1965)
Jun 01, 2017 11:32:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(4/1631) took 4717 ms. Total solver calls (SAT/UNSAT): 8145(4870/3275)
Jun 01, 2017 11:33:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(6/1631) took 6624 ms. Total solver calls (SAT/UNSAT): 11396(6811/4585)
Jun 01, 2017 11:33:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(8/1631) took 8509 ms. Total solver calls (SAT/UNSAT): 14643(8748/5895)
Jun 01, 2017 11:33:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(9/1631) took 9513 ms. Total solver calls (SAT/UNSAT): 16265(9715/6550)
Jun 01, 2017 11:33:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(11/1631) took 11359 ms. Total solver calls (SAT/UNSAT): 19506(11666/7840)
Jun 01, 2017 11:33:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(13/1631) took 13243 ms. Total solver calls (SAT/UNSAT): 22743(13613/9130)
Jun 01, 2017 11:33:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(15/1631) took 15105 ms. Total solver calls (SAT/UNSAT): 25976(15556/10420)
Jun 01, 2017 11:33:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(17/1631) took 16984 ms. Total solver calls (SAT/UNSAT): 29205(17495/11710)
Jun 01, 2017 11:33:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(19/1631) took 18826 ms. Total solver calls (SAT/UNSAT): 32430(19430/13000)
Jun 01, 2017 11:33:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(21/1631) took 20736 ms. Total solver calls (SAT/UNSAT): 35651(21381/14270)
Jun 01, 2017 11:33:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(23/1631) took 22616 ms. Total solver calls (SAT/UNSAT): 38868(23328/15540)
Jun 01, 2017 11:33:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(25/1631) took 24466 ms. Total solver calls (SAT/UNSAT): 42081(25271/16810)
Jun 01, 2017 11:33:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(27/1631) took 26309 ms. Total solver calls (SAT/UNSAT): 45290(27210/18080)
Jun 01, 2017 11:33:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(29/1631) took 28151 ms. Total solver calls (SAT/UNSAT): 48495(29145/19350)
Jun 01, 2017 11:33:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(31/1631) took 30086 ms. Total solver calls (SAT/UNSAT): 51696(31096/20600)
Jun 01, 2017 11:33:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(33/1631) took 31939 ms. Total solver calls (SAT/UNSAT): 54893(33043/21850)
Jun 01, 2017 11:33:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(35/1631) took 33783 ms. Total solver calls (SAT/UNSAT): 58086(34986/23100)
Jun 01, 2017 11:33:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(36/1631) took 34795 ms. Total solver calls (SAT/UNSAT): 59681(35956/23725)
Jun 01, 2017 11:33:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(38/1631) took 36655 ms. Total solver calls (SAT/UNSAT): 62868(37893/24975)
Jun 01, 2017 11:33:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(40/1631) took 38514 ms. Total solver calls (SAT/UNSAT): 66051(39836/26215)
Jun 01, 2017 11:33:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(42/1631) took 40351 ms. Total solver calls (SAT/UNSAT): 69230(41785/27445)
Jun 01, 2017 11:33:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(44/1631) took 42185 ms. Total solver calls (SAT/UNSAT): 72405(43730/28675)
Jun 01, 2017 11:33:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(46/1631) took 44013 ms. Total solver calls (SAT/UNSAT): 75576(45671/29905)
Jun 01, 2017 11:33:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(48/1631) took 45843 ms. Total solver calls (SAT/UNSAT): 78743(47608/31135)
Jun 01, 2017 11:33:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(50/1631) took 47673 ms. Total solver calls (SAT/UNSAT): 81906(49551/32355)
Jun 01, 2017 11:33:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(52/1631) took 49548 ms. Total solver calls (SAT/UNSAT): 85065(51500/33565)
Jun 01, 2017 11:33:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(54/1631) took 51373 ms. Total solver calls (SAT/UNSAT): 88220(53445/34775)
Jun 01, 2017 11:33:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(56/1631) took 53217 ms. Total solver calls (SAT/UNSAT): 91371(55386/35985)
Jun 01, 2017 11:33:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(58/1631) took 55049 ms. Total solver calls (SAT/UNSAT): 94518(57323/37195)
Jun 01, 2017 11:33:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(60/1631) took 56876 ms. Total solver calls (SAT/UNSAT): 97661(59266/38395)
Jun 01, 2017 11:33:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(62/1631) took 58709 ms. Total solver calls (SAT/UNSAT): 100800(61215/39585)
Jun 01, 2017 11:33:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(64/1631) took 60539 ms. Total solver calls (SAT/UNSAT): 103935(63160/40775)
Jun 01, 2017 11:33:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(66/1631) took 62366 ms. Total solver calls (SAT/UNSAT): 107066(65101/41965)
Jun 01, 2017 11:33:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(68/1631) took 64203 ms. Total solver calls (SAT/UNSAT): 110193(67038/43155)
Jun 01, 2017 11:34:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(70/1631) took 66008 ms. Total solver calls (SAT/UNSAT): 113316(68981/44335)
Jun 01, 2017 11:34:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(72/1631) took 67820 ms. Total solver calls (SAT/UNSAT): 116435(70930/45505)
Jun 01, 2017 11:34:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(74/1631) took 69602 ms. Total solver calls (SAT/UNSAT): 119550(72875/46675)
Jun 01, 2017 11:34:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(76/1631) took 71438 ms. Total solver calls (SAT/UNSAT): 122661(74816/47845)
Jun 01, 2017 11:34:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(78/1631) took 73316 ms. Total solver calls (SAT/UNSAT): 125768(76753/49015)
Jun 01, 2017 11:34:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(80/1631) took 75128 ms. Total solver calls (SAT/UNSAT): 128871(78696/50175)
Jun 01, 2017 11:34:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(82/1631) took 76938 ms. Total solver calls (SAT/UNSAT): 131970(80645/51325)
Jun 01, 2017 11:34:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(84/1631) took 78750 ms. Total solver calls (SAT/UNSAT): 135065(82590/52475)
Jun 01, 2017 11:34:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(86/1631) took 80558 ms. Total solver calls (SAT/UNSAT): 138156(84531/53625)
Jun 01, 2017 11:34:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(88/1631) took 82365 ms. Total solver calls (SAT/UNSAT): 141243(86468/54775)
Jun 01, 2017 11:34:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(90/1631) took 84233 ms. Total solver calls (SAT/UNSAT): 144326(88411/55915)
Jun 01, 2017 11:34:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(92/1631) took 86089 ms. Total solver calls (SAT/UNSAT): 147405(90360/57045)
Jun 01, 2017 11:34:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(94/1631) took 87944 ms. Total solver calls (SAT/UNSAT): 150480(92305/58175)
Jun 01, 2017 11:34:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(96/1631) took 89797 ms. Total solver calls (SAT/UNSAT): 153551(94246/59305)
Jun 01, 2017 11:34:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(98/1631) took 91651 ms. Total solver calls (SAT/UNSAT): 156618(96183/60435)
Jun 01, 2017 11:34:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(100/1631) took 93528 ms. Total solver calls (SAT/UNSAT): 159681(97970/61711)
Jun 01, 2017 11:34:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(102/1631) took 95432 ms. Total solver calls (SAT/UNSAT): 162740(99610/63130)
Jun 01, 2017 11:34:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(104/1631) took 97335 ms. Total solver calls (SAT/UNSAT): 165795(101250/64545)
Jun 01, 2017 11:34:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(106/1631) took 99235 ms. Total solver calls (SAT/UNSAT): 168846(102890/65956)
Jun 01, 2017 11:34:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(108/1631) took 101132 ms. Total solver calls (SAT/UNSAT): 171893(104530/67363)
Jun 01, 2017 11:34:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(110/1631) took 102433 ms. Total solver calls (SAT/UNSAT): 174936(105461/69475)
Jun 01, 2017 11:34:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(113/1631) took 103471 ms. Total solver calls (SAT/UNSAT): 179493(105794/73699)
Jun 01, 2017 11:34:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(116/1631) took 104509 ms. Total solver calls (SAT/UNSAT): 184041(106127/77914)
Jun 01, 2017 11:34:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(119/1631) took 105545 ms. Total solver calls (SAT/UNSAT): 188580(106460/82120)
Jun 01, 2017 11:34:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(120/1631) took 106664 ms. Total solver calls (SAT/UNSAT): 190091(107471/82620)
Jun 01, 2017 11:34:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(121/1631) took 107770 ms. Total solver calls (SAT/UNSAT): 191601(108482/83119)
Jun 01, 2017 11:34:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(122/1631) took 108876 ms. Total solver calls (SAT/UNSAT): 193110(109493/83617)
Jun 01, 2017 11:34:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(123/1631) took 109983 ms. Total solver calls (SAT/UNSAT): 194618(110504/84114)
Jun 01, 2017 11:34:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(124/1631) took 111088 ms. Total solver calls (SAT/UNSAT): 196125(111515/84610)
Jun 01, 2017 11:34:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(125/1631) took 112196 ms. Total solver calls (SAT/UNSAT): 197631(112526/85105)
Jun 01, 2017 11:34:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(126/1631) took 113303 ms. Total solver calls (SAT/UNSAT): 199136(113537/85599)
Jun 01, 2017 11:34:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(127/1631) took 114407 ms. Total solver calls (SAT/UNSAT): 200640(114548/86092)
Jun 01, 2017 11:34:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(128/1631) took 115508 ms. Total solver calls (SAT/UNSAT): 202143(115559/86584)
Jun 01, 2017 11:34:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(129/1631) took 116613 ms. Total solver calls (SAT/UNSAT): 203645(116570/87075)
Jun 01, 2017 11:34:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(131/1631) took 118344 ms. Total solver calls (SAT/UNSAT): 206646(118447/88199)
Jun 01, 2017 11:34:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(133/1631) took 120101 ms. Total solver calls (SAT/UNSAT): 209643(120320/89323)
Jun 01, 2017 11:34:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(135/1631) took 121856 ms. Total solver calls (SAT/UNSAT): 212636(122189/90447)
Jun 01, 2017 11:34:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(137/1631) took 123585 ms. Total solver calls (SAT/UNSAT): 215625(124054/91571)
Jun 01, 2017 11:35:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(139/1631) took 125307 ms. Total solver calls (SAT/UNSAT): 218610(125915/92695)
Jun 01, 2017 11:35:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(141/1631) took 127039 ms. Total solver calls (SAT/UNSAT): 221591(127792/93799)
Jun 01, 2017 11:35:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(143/1631) took 128772 ms. Total solver calls (SAT/UNSAT): 224568(129665/94903)
Jun 01, 2017 11:35:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(145/1631) took 130499 ms. Total solver calls (SAT/UNSAT): 227541(131534/96007)
Jun 01, 2017 11:35:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(147/1631) took 132220 ms. Total solver calls (SAT/UNSAT): 230510(133399/97111)
Jun 01, 2017 11:35:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(149/1631) took 133945 ms. Total solver calls (SAT/UNSAT): 233475(135260/98215)
Jun 01, 2017 11:35:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(151/1631) took 135676 ms. Total solver calls (SAT/UNSAT): 236436(137137/99299)
Jun 01, 2017 11:35:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(153/1631) took 137418 ms. Total solver calls (SAT/UNSAT): 239393(139010/100383)
Jun 01, 2017 11:35:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(155/1631) took 139156 ms. Total solver calls (SAT/UNSAT): 242346(140879/101467)
Jun 01, 2017 11:35:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(157/1631) took 140874 ms. Total solver calls (SAT/UNSAT): 245295(142744/102551)
Jun 01, 2017 11:35:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(159/1631) took 142597 ms. Total solver calls (SAT/UNSAT): 248240(144605/103635)
Jun 01, 2017 11:35:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(161/1631) took 144321 ms. Total solver calls (SAT/UNSAT): 251181(146482/104699)
Jun 01, 2017 11:35:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(163/1631) took 146041 ms. Total solver calls (SAT/UNSAT): 254118(148355/105763)
Jun 01, 2017 11:35:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(165/1631) took 147758 ms. Total solver calls (SAT/UNSAT): 257051(150224/106827)
Jun 01, 2017 11:35:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(167/1631) took 149468 ms. Total solver calls (SAT/UNSAT): 259980(152089/107891)
Jun 01, 2017 11:35:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(169/1631) took 151177 ms. Total solver calls (SAT/UNSAT): 262905(153950/108955)
Jun 01, 2017 11:35:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(171/1631) took 152892 ms. Total solver calls (SAT/UNSAT): 265826(155827/109999)
Jun 01, 2017 11:35:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(173/1631) took 154605 ms. Total solver calls (SAT/UNSAT): 268743(157700/111043)
Jun 01, 2017 11:35:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(175/1631) took 156326 ms. Total solver calls (SAT/UNSAT): 271656(159569/112087)
Jun 01, 2017 11:35:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(177/1631) took 158054 ms. Total solver calls (SAT/UNSAT): 274565(161434/113131)
Jun 01, 2017 11:35:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(179/1631) took 159762 ms. Total solver calls (SAT/UNSAT): 277470(163295/114175)
Jun 01, 2017 11:35:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(181/1631) took 161473 ms. Total solver calls (SAT/UNSAT): 280371(165172/115199)
Jun 01, 2017 11:35:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(183/1631) took 163178 ms. Total solver calls (SAT/UNSAT): 283268(167045/116223)
Jun 01, 2017 11:35:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(185/1631) took 164882 ms. Total solver calls (SAT/UNSAT): 286161(168914/117247)
Jun 01, 2017 11:35:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(187/1631) took 166583 ms. Total solver calls (SAT/UNSAT): 289050(170779/118271)
Jun 01, 2017 11:35:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(189/1631) took 168281 ms. Total solver calls (SAT/UNSAT): 291935(172640/119295)
Jun 01, 2017 11:35:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(191/1631) took 169999 ms. Total solver calls (SAT/UNSAT): 294816(174517/120299)
Jun 01, 2017 11:35:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(193/1631) took 171794 ms. Total solver calls (SAT/UNSAT): 297693(176390/121303)
Jun 01, 2017 11:35:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(195/1631) took 173542 ms. Total solver calls (SAT/UNSAT): 300566(178259/122307)
Jun 01, 2017 11:35:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(197/1631) took 175249 ms. Total solver calls (SAT/UNSAT): 303435(180124/123311)
Jun 01, 2017 11:35:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(199/1631) took 177017 ms. Total solver calls (SAT/UNSAT): 306300(181985/124315)
Jun 01, 2017 11:35:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(201/1631) took 178742 ms. Total solver calls (SAT/UNSAT): 309161(183862/125299)
Jun 01, 2017 11:35:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(203/1631) took 180443 ms. Total solver calls (SAT/UNSAT): 312018(185735/126283)
Jun 01, 2017 11:35:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(205/1631) took 182144 ms. Total solver calls (SAT/UNSAT): 314871(187604/127267)
Jun 01, 2017 11:35:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(207/1631) took 183821 ms. Total solver calls (SAT/UNSAT): 317720(189469/128251)
Jun 01, 2017 11:36:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(209/1631) took 185506 ms. Total solver calls (SAT/UNSAT): 320565(191330/129235)
Jun 01, 2017 11:36:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(211/1631) took 187194 ms. Total solver calls (SAT/UNSAT): 323406(193207/130199)
Jun 01, 2017 11:36:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(213/1631) took 188872 ms. Total solver calls (SAT/UNSAT): 326243(195080/131163)
Jun 01, 2017 11:36:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(215/1631) took 190547 ms. Total solver calls (SAT/UNSAT): 329076(196949/132127)
Jun 01, 2017 11:36:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(217/1631) took 192303 ms. Total solver calls (SAT/UNSAT): 331905(198814/133091)
Jun 01, 2017 11:36:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(219/1631) took 194004 ms. Total solver calls (SAT/UNSAT): 334730(200675/134055)
Jun 01, 2017 11:36:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(221/1631) took 195804 ms. Total solver calls (SAT/UNSAT): 337551(202552/134999)
Jun 01, 2017 11:36:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(223/1631) took 197544 ms. Total solver calls (SAT/UNSAT): 340368(204425/135943)
Jun 01, 2017 11:36:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(225/1631) took 199273 ms. Total solver calls (SAT/UNSAT): 343181(206294/136887)
Jun 01, 2017 11:36:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(227/1631) took 201104 ms. Total solver calls (SAT/UNSAT): 345990(208159/137831)
Jun 01, 2017 11:36:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(229/1631) took 202846 ms. Total solver calls (SAT/UNSAT): 348795(210020/138775)
Jun 01, 2017 11:36:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(231/1631) took 204826 ms. Total solver calls (SAT/UNSAT): 351596(212183/139413)
Jun 01, 2017 11:36:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(232/1631) took 205871 ms. Total solver calls (SAT/UNSAT): 352995(213263/139732)
Jun 01, 2017 11:36:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(233/1631) took 206895 ms. Total solver calls (SAT/UNSAT): 354393(214342/140051)
Jun 01, 2017 11:36:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(235/1631) took 208855 ms. Total solver calls (SAT/UNSAT): 357186(216497/140689)
Jun 01, 2017 11:36:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(237/1631) took 210862 ms. Total solver calls (SAT/UNSAT): 359975(218648/141327)
Jun 01, 2017 11:36:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(239/1631) took 212806 ms. Total solver calls (SAT/UNSAT): 362760(220795/141965)
Jun 01, 2017 11:36:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(242/1631) took 213882 ms. Total solver calls (SAT/UNSAT): 366930(221089/145841)
Jun 01, 2017 11:36:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(246/1631) took 215166 ms. Total solver calls (SAT/UNSAT): 372476(221481/150995)
Jun 01, 2017 11:36:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(250/1631) took 216445 ms. Total solver calls (SAT/UNSAT): 378006(221872/156134)
Jun 01, 2017 11:36:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(254/1631) took 217714 ms. Total solver calls (SAT/UNSAT): 383520(222260/161260)
Jun 01, 2017 11:36:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(258/1631) took 218973 ms. Total solver calls (SAT/UNSAT): 389018(222648/166370)
Jun 01, 2017 11:36:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(262/1631) took 220212 ms. Total solver calls (SAT/UNSAT): 394500(223033/171467)
Jun 01, 2017 11:36:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(266/1631) took 221506 ms. Total solver calls (SAT/UNSAT): 399966(223417/176549)
Jun 01, 2017 11:36:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(270/1631) took 222767 ms. Total solver calls (SAT/UNSAT): 405416(223800/181616)
Jun 01, 2017 11:36:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(274/1631) took 223997 ms. Total solver calls (SAT/UNSAT): 410850(224180/186670)
Jun 01, 2017 11:36:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(278/1631) took 225230 ms. Total solver calls (SAT/UNSAT): 416268(224560/191708)
Jun 01, 2017 11:36:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(282/1631) took 226454 ms. Total solver calls (SAT/UNSAT): 421670(224937/196733)
Jun 01, 2017 11:36:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(286/1631) took 227678 ms. Total solver calls (SAT/UNSAT): 427056(225313/201743)
Jun 01, 2017 11:36:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(290/1631) took 228893 ms. Total solver calls (SAT/UNSAT): 432426(225688/206738)
Jun 01, 2017 11:36:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(294/1631) took 230111 ms. Total solver calls (SAT/UNSAT): 437780(226060/211720)
Jun 01, 2017 11:36:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(298/1631) took 231315 ms. Total solver calls (SAT/UNSAT): 443118(226432/216686)
Jun 01, 2017 11:36:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(302/1631) took 232517 ms. Total solver calls (SAT/UNSAT): 448440(226801/221639)
Jun 01, 2017 11:36:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(306/1631) took 233721 ms. Total solver calls (SAT/UNSAT): 453746(227169/226577)
Jun 01, 2017 11:36:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(310/1631) took 234916 ms. Total solver calls (SAT/UNSAT): 459036(227536/231500)
Jun 01, 2017 11:36:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(314/1631) took 236109 ms. Total solver calls (SAT/UNSAT): 464310(227900/236410)
Jun 01, 2017 11:36:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(318/1631) took 237299 ms. Total solver calls (SAT/UNSAT): 469568(228264/241304)
Jun 01, 2017 11:36:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(322/1631) took 238485 ms. Total solver calls (SAT/UNSAT): 474810(228625/246185)
Jun 01, 2017 11:36:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(326/1631) took 239665 ms. Total solver calls (SAT/UNSAT): 480036(228985/251051)
Jun 01, 2017 11:36:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(330/1631) took 240911 ms. Total solver calls (SAT/UNSAT): 485246(229346/255900)
Jun 01, 2017 11:36:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(334/1631) took 242109 ms. Total solver calls (SAT/UNSAT): 490440(229710/260730)
Jun 01, 2017 11:36:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(338/1631) took 243307 ms. Total solver calls (SAT/UNSAT): 495618(230074/265544)
Jun 01, 2017 11:36:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(342/1631) took 244509 ms. Total solver calls (SAT/UNSAT): 500780(230438/270342)
Jun 01, 2017 11:37:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(346/1631) took 245705 ms. Total solver calls (SAT/UNSAT): 505926(230802/275124)
Jun 01, 2017 11:37:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(350/1631) took 246899 ms. Total solver calls (SAT/UNSAT): 511056(231166/279890)
Jun 01, 2017 11:37:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(354/1631) took 248092 ms. Total solver calls (SAT/UNSAT): 516170(231530/284640)
Jun 01, 2017 11:37:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(358/1631) took 249294 ms. Total solver calls (SAT/UNSAT): 521268(231894/289374)
Jun 01, 2017 11:37:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(362/1631) took 250488 ms. Total solver calls (SAT/UNSAT): 526350(232258/294092)
Jun 01, 2017 11:37:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(366/1631) took 251665 ms. Total solver calls (SAT/UNSAT): 531416(232622/298794)
Jun 01, 2017 11:37:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(370/1631) took 252852 ms. Total solver calls (SAT/UNSAT): 536466(232986/303480)
Jun 01, 2017 11:37:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(374/1631) took 254015 ms. Total solver calls (SAT/UNSAT): 541500(233350/308150)
Jun 01, 2017 11:37:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(378/1631) took 255180 ms. Total solver calls (SAT/UNSAT): 546518(233714/312804)
Jun 01, 2017 11:37:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(382/1631) took 256337 ms. Total solver calls (SAT/UNSAT): 551520(234078/317442)
Jun 01, 2017 11:37:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(386/1631) took 257496 ms. Total solver calls (SAT/UNSAT): 556506(234442/322064)
Jun 01, 2017 11:37:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(390/1631) took 258646 ms. Total solver calls (SAT/UNSAT): 561476(234806/326670)
Jun 01, 2017 11:37:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(394/1631) took 259799 ms. Total solver calls (SAT/UNSAT): 566430(235170/331260)
Jun 01, 2017 11:37:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(398/1631) took 260947 ms. Total solver calls (SAT/UNSAT): 571368(235534/335834)
Jun 01, 2017 11:37:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(402/1631) took 262091 ms. Total solver calls (SAT/UNSAT): 576290(235898/340392)
Jun 01, 2017 11:37:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(406/1631) took 263230 ms. Total solver calls (SAT/UNSAT): 581196(236262/344934)
Jun 01, 2017 11:37:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(410/1631) took 264364 ms. Total solver calls (SAT/UNSAT): 586086(236626/349460)
Jun 01, 2017 11:37:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(414/1631) took 265501 ms. Total solver calls (SAT/UNSAT): 590960(236990/353970)
Jun 01, 2017 11:37:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(418/1631) took 266631 ms. Total solver calls (SAT/UNSAT): 595818(237354/358464)
Jun 01, 2017 11:37:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(420/1631) took 267713 ms. Total solver calls (SAT/UNSAT): 598241(238165/360076)
Jun 01, 2017 11:37:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(422/1631) took 269301 ms. Total solver calls (SAT/UNSAT): 600660(239605/361055)
Jun 01, 2017 11:37:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(424/1631) took 270886 ms. Total solver calls (SAT/UNSAT): 603075(241045/362030)
Jun 01, 2017 11:37:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(426/1631) took 272468 ms. Total solver calls (SAT/UNSAT): 605486(242485/363001)
Jun 01, 2017 11:37:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(428/1631) took 274053 ms. Total solver calls (SAT/UNSAT): 607893(243925/363968)
Jun 01, 2017 11:37:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(430/1631) took 275069 ms. Total solver calls (SAT/UNSAT): 610296(244645/365651)
Jun 01, 2017 11:37:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(435/1631) took 276178 ms. Total solver calls (SAT/UNSAT): 616286(244645/371641)
Jun 01, 2017 11:37:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(440/1631) took 277283 ms. Total solver calls (SAT/UNSAT): 622251(244645/377606)
Jun 01, 2017 11:37:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(445/1631) took 278382 ms. Total solver calls (SAT/UNSAT): 628191(244645/383546)
Jun 01, 2017 11:37:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(450/1631) took 279476 ms. Total solver calls (SAT/UNSAT): 634106(244645/389461)
Jun 01, 2017 11:37:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(455/1631) took 280569 ms. Total solver calls (SAT/UNSAT): 639996(244645/395351)
Jun 01, 2017 11:37:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(460/1631) took 281652 ms. Total solver calls (SAT/UNSAT): 645861(244645/401216)
Jun 01, 2017 11:37:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(465/1631) took 282779 ms. Total solver calls (SAT/UNSAT): 651701(244645/407056)
Jun 01, 2017 11:37:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(470/1631) took 283854 ms. Total solver calls (SAT/UNSAT): 657516(244645/412871)
Jun 01, 2017 11:37:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(475/1631) took 284929 ms. Total solver calls (SAT/UNSAT): 663306(244645/418661)
Jun 01, 2017 11:37:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(480/1631) took 285997 ms. Total solver calls (SAT/UNSAT): 669071(244645/424426)
Jun 01, 2017 11:37:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(485/1631) took 287065 ms. Total solver calls (SAT/UNSAT): 674811(244645/430166)
Jun 01, 2017 11:37:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(490/1631) took 288122 ms. Total solver calls (SAT/UNSAT): 680526(244645/435881)
Jun 01, 2017 11:37:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(495/1631) took 289177 ms. Total solver calls (SAT/UNSAT): 686216(244645/441571)
Jun 01, 2017 11:37:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(500/1631) took 290226 ms. Total solver calls (SAT/UNSAT): 691881(244645/447236)
Jun 01, 2017 11:37:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(505/1631) took 291318 ms. Total solver calls (SAT/UNSAT): 697521(244645/452876)
Jun 01, 2017 11:37:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(510/1631) took 292359 ms. Total solver calls (SAT/UNSAT): 703136(244645/458491)
Jun 01, 2017 11:37:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(515/1631) took 293383 ms. Total solver calls (SAT/UNSAT): 708726(244645/464081)
Jun 01, 2017 11:37:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(520/1631) took 294391 ms. Total solver calls (SAT/UNSAT): 714291(244645/469646)
Jun 01, 2017 11:37:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(526/1631) took 295573 ms. Total solver calls (SAT/UNSAT): 720936(244645/476291)
Jun 01, 2017 11:37:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(532/1631) took 296746 ms. Total solver calls (SAT/UNSAT): 727545(244645/482900)
Jun 01, 2017 11:37:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(538/1631) took 297902 ms. Total solver calls (SAT/UNSAT): 734118(244645/489473)
Jun 01, 2017 11:37:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(543/1631) took 298983 ms. Total solver calls (SAT/UNSAT): 739568(244675/494893)
Jun 01, 2017 11:37:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(548/1631) took 300035 ms. Total solver calls (SAT/UNSAT): 744993(244725/500268)
Jun 01, 2017 11:37:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(553/1631) took 301077 ms. Total solver calls (SAT/UNSAT): 750393(244765/505628)
Jun 01, 2017 11:37:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(558/1631) took 302120 ms. Total solver calls (SAT/UNSAT): 755768(244815/510953)
Jun 01, 2017 11:37:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(563/1631) took 303137 ms. Total solver calls (SAT/UNSAT): 761118(244855/516263)
Jun 01, 2017 11:37:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(568/1631) took 304153 ms. Total solver calls (SAT/UNSAT): 766443(244905/521538)
Jun 01, 2017 11:37:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(573/1631) took 305158 ms. Total solver calls (SAT/UNSAT): 771743(244945/526798)
Jun 01, 2017 11:38:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(578/1631) took 306183 ms. Total solver calls (SAT/UNSAT): 777018(244995/532023)
Jun 01, 2017 11:38:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(583/1631) took 307192 ms. Total solver calls (SAT/UNSAT): 782268(245045/537223)
Jun 01, 2017 11:38:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(589/1631) took 308385 ms. Total solver calls (SAT/UNSAT): 788535(245095/543440)
Jun 01, 2017 11:38:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(595/1631) took 309571 ms. Total solver calls (SAT/UNSAT): 794766(245145/549621)
Jun 01, 2017 11:38:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(601/1631) took 310756 ms. Total solver calls (SAT/UNSAT): 800961(245205/555756)
Jun 01, 2017 11:38:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(607/1631) took 311928 ms. Total solver calls (SAT/UNSAT): 807120(245255/561865)
Jun 01, 2017 11:38:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(613/1631) took 313121 ms. Total solver calls (SAT/UNSAT): 813243(245315/567928)
Jun 01, 2017 11:38:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(619/1631) took 314296 ms. Total solver calls (SAT/UNSAT): 819330(245365/573965)
Jun 01, 2017 11:38:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(625/1631) took 315456 ms. Total solver calls (SAT/UNSAT): 825381(245425/579956)
Jun 01, 2017 11:38:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(631/1631) took 316641 ms. Total solver calls (SAT/UNSAT): 831396(245475/585921)
Jun 01, 2017 11:38:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(637/1631) took 317769 ms. Total solver calls (SAT/UNSAT): 837375(245535/591840)
Jun 01, 2017 11:38:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(643/1631) took 318875 ms. Total solver calls (SAT/UNSAT): 843318(245575/597743)
Jun 01, 2017 11:38:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(649/1631) took 319983 ms. Total solver calls (SAT/UNSAT): 849225(245635/603590)
Jun 01, 2017 11:38:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(655/1631) took 321085 ms. Total solver calls (SAT/UNSAT): 855096(245685/609411)
Jun 01, 2017 11:38:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(661/1631) took 322185 ms. Total solver calls (SAT/UNSAT): 860931(245745/615186)
Jun 01, 2017 11:38:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(667/1631) took 323253 ms. Total solver calls (SAT/UNSAT): 866730(245795/620935)
Jun 01, 2017 11:38:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(673/1631) took 324314 ms. Total solver calls (SAT/UNSAT): 872493(245845/626648)
Jun 01, 2017 11:38:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(679/1631) took 325446 ms. Total solver calls (SAT/UNSAT): 878220(245905/632315)
Jun 01, 2017 11:38:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(685/1631) took 326528 ms. Total solver calls (SAT/UNSAT): 883911(245955/637956)
Jun 01, 2017 11:38:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(691/1631) took 327595 ms. Total solver calls (SAT/UNSAT): 889566(246015/643551)
Jun 01, 2017 11:38:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(697/1631) took 328649 ms. Total solver calls (SAT/UNSAT): 895185(246065/649120)
Jun 01, 2017 11:38:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(703/1631) took 329707 ms. Total solver calls (SAT/UNSAT): 900768(246125/654643)
Jun 01, 2017 11:38:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(709/1631) took 330745 ms. Total solver calls (SAT/UNSAT): 906315(246175/660140)
Jun 01, 2017 11:38:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(715/1631) took 331793 ms. Total solver calls (SAT/UNSAT): 911826(246235/665591)
Jun 01, 2017 11:38:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(721/1631) took 332819 ms. Total solver calls (SAT/UNSAT): 917301(246285/671016)
Jun 01, 2017 11:38:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(727/1631) took 333846 ms. Total solver calls (SAT/UNSAT): 922740(246345/676395)
Jun 01, 2017 11:38:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(733/1631) took 334863 ms. Total solver calls (SAT/UNSAT): 928143(246395/681748)
Jun 01, 2017 11:38:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(739/1631) took 335868 ms. Total solver calls (SAT/UNSAT): 933510(246445/687065)
Jun 01, 2017 11:38:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(745/1631) took 336869 ms. Total solver calls (SAT/UNSAT): 938841(246495/692346)
Jun 01, 2017 11:38:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(752/1631) took 338030 ms. Total solver calls (SAT/UNSAT): 945015(246555/698460)
Jun 01, 2017 11:38:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(759/1631) took 339187 ms. Total solver calls (SAT/UNSAT): 951140(246625/704515)
Jun 01, 2017 11:38:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(766/1631) took 340327 ms. Total solver calls (SAT/UNSAT): 957216(246685/710531)
Jun 01, 2017 11:38:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(773/1631) took 341460 ms. Total solver calls (SAT/UNSAT): 963243(246745/716498)
Jun 01, 2017 11:38:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(780/1631) took 342588 ms. Total solver calls (SAT/UNSAT): 969221(246815/722406)
Jun 01, 2017 11:38:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(787/1631) took 343704 ms. Total solver calls (SAT/UNSAT): 975150(246875/728275)
Jun 01, 2017 11:38:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(794/1631) took 344816 ms. Total solver calls (SAT/UNSAT): 981030(246945/734085)
Jun 01, 2017 11:38:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(801/1631) took 345913 ms. Total solver calls (SAT/UNSAT): 986861(247005/739856)
Jun 01, 2017 11:38:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(808/1631) took 347003 ms. Total solver calls (SAT/UNSAT): 992643(247065/745578)
Jun 01, 2017 11:38:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(815/1631) took 348088 ms. Total solver calls (SAT/UNSAT): 998376(247135/751241)
Jun 01, 2017 11:38:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(822/1631) took 349159 ms. Total solver calls (SAT/UNSAT): 1004060(247195/756865)
Jun 01, 2017 11:38:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(829/1631) took 350217 ms. Total solver calls (SAT/UNSAT): 1009695(247255/762440)
Jun 01, 2017 11:38:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(836/1631) took 351280 ms. Total solver calls (SAT/UNSAT): 1015281(247325/767956)
Jun 01, 2017 11:38:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(843/1631) took 352331 ms. Total solver calls (SAT/UNSAT): 1020818(247375/773443)
Jun 01, 2017 11:38:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(850/1631) took 353387 ms. Total solver calls (SAT/UNSAT): 1026306(247445/778861)
Jun 01, 2017 11:38:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(857/1631) took 354427 ms. Total solver calls (SAT/UNSAT): 1031745(247505/784240)
Jun 01, 2017 11:38:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(864/1631) took 355445 ms. Total solver calls (SAT/UNSAT): 1037135(247565/789570)
Jun 01, 2017 11:38:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(871/1631) took 356458 ms. Total solver calls (SAT/UNSAT): 1042476(247635/794841)
Jun 01, 2017 11:38:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(878/1631) took 357460 ms. Total solver calls (SAT/UNSAT): 1047768(247695/800073)
Jun 01, 2017 11:38:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(886/1631) took 358599 ms. Total solver calls (SAT/UNSAT): 1053756(247765/805991)
Jun 01, 2017 11:38:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(894/1631) took 359733 ms. Total solver calls (SAT/UNSAT): 1059680(247845/811835)
Jun 01, 2017 11:38:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(902/1631) took 360844 ms. Total solver calls (SAT/UNSAT): 1065540(247915/817625)
Jun 01, 2017 11:38:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(910/1631) took 361947 ms. Total solver calls (SAT/UNSAT): 1071336(247985/823351)
Jun 01, 2017 11:38:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(918/1631) took 363038 ms. Total solver calls (SAT/UNSAT): 1077068(248055/829013)
Jun 01, 2017 11:38:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(926/1631) took 364121 ms. Total solver calls (SAT/UNSAT): 1082736(248135/834601)
Jun 01, 2017 11:38:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(934/1631) took 365198 ms. Total solver calls (SAT/UNSAT): 1088340(248205/840135)
Jun 01, 2017 11:39:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(942/1631) took 366259 ms. Total solver calls (SAT/UNSAT): 1093880(248265/845615)
Jun 01, 2017 11:39:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(950/1631) took 367313 ms. Total solver calls (SAT/UNSAT): 1099356(248345/851011)
Jun 01, 2017 11:39:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(958/1631) took 368423 ms. Total solver calls (SAT/UNSAT): 1104768(248415/856353)
Jun 01, 2017 11:39:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(966/1631) took 369492 ms. Total solver calls (SAT/UNSAT): 1110116(248485/861631)
Jun 01, 2017 11:39:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(974/1631) took 370546 ms. Total solver calls (SAT/UNSAT): 1115400(248555/866845)
Jun 01, 2017 11:39:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(982/1631) took 371577 ms. Total solver calls (SAT/UNSAT): 1120620(248635/871985)
Jun 01, 2017 11:39:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(990/1631) took 372592 ms. Total solver calls (SAT/UNSAT): 1125776(248705/877071)
Jun 01, 2017 11:39:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(998/1631) took 373593 ms. Total solver calls (SAT/UNSAT): 1130868(248775/882093)
Jun 01, 2017 11:39:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1007/1631) took 374702 ms. Total solver calls (SAT/UNSAT): 1136520(248855/887665)
Jun 01, 2017 11:39:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1016/1631) took 375797 ms. Total solver calls (SAT/UNSAT): 1142091(248945/893146)
Jun 01, 2017 11:39:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1025/1631) took 376880 ms. Total solver calls (SAT/UNSAT): 1147581(249025/898556)
Jun 01, 2017 11:39:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1034/1631) took 377948 ms. Total solver calls (SAT/UNSAT): 1152990(249105/903885)
Jun 01, 2017 11:39:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1043/1631) took 378990 ms. Total solver calls (SAT/UNSAT): 1158318(249175/909143)
Jun 01, 2017 11:39:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1052/1631) took 380025 ms. Total solver calls (SAT/UNSAT): 1163565(249255/914310)
Jun 01, 2017 11:39:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1061/1631) took 381053 ms. Total solver calls (SAT/UNSAT): 1168731(249345/919386)
Jun 01, 2017 11:39:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1070/1631) took 382053 ms. Total solver calls (SAT/UNSAT): 1173816(249425/924391)
Jun 01, 2017 11:39:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1080/1631) took 383149 ms. Total solver calls (SAT/UNSAT): 1179371(249515/929856)
Jun 01, 2017 11:39:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1090/1631) took 384227 ms. Total solver calls (SAT/UNSAT): 1184826(249605/935221)
Jun 01, 2017 11:39:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1100/1631) took 385286 ms. Total solver calls (SAT/UNSAT): 1190181(249695/940486)
Jun 01, 2017 11:39:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1110/1631) took 386330 ms. Total solver calls (SAT/UNSAT): 1195436(249785/945651)
Jun 01, 2017 11:39:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1120/1631) took 387352 ms. Total solver calls (SAT/UNSAT): 1200591(249875/950716)
Jun 01, 2017 11:39:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1130/1631) took 388354 ms. Total solver calls (SAT/UNSAT): 1205646(249965/955681)
Jun 01, 2017 11:39:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1141/1631) took 389434 ms. Total solver calls (SAT/UNSAT): 1211091(250055/961036)
Jun 01, 2017 11:39:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1152/1631) took 390499 ms. Total solver calls (SAT/UNSAT): 1216415(250155/966260)
Jun 01, 2017 11:39:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1163/1631) took 391546 ms. Total solver calls (SAT/UNSAT): 1221618(250255/971363)
Jun 01, 2017 11:39:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1174/1631) took 392565 ms. Total solver calls (SAT/UNSAT): 1226700(250355/976345)
Jun 01, 2017 11:39:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1185/1631) took 393569 ms. Total solver calls (SAT/UNSAT): 1231661(250455/981206)
Jun 01, 2017 11:39:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1197/1631) took 394634 ms. Total solver calls (SAT/UNSAT): 1236935(250565/986370)
Jun 01, 2017 11:39:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1209/1631) took 395669 ms. Total solver calls (SAT/UNSAT): 1242065(250675/991390)
Jun 01, 2017 11:39:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1221/1631) took 396685 ms. Total solver calls (SAT/UNSAT): 1247051(250785/996266)
Jun 01, 2017 11:39:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1234/1631) took 397754 ms. Total solver calls (SAT/UNSAT): 1252290(250905/1001385)
Jun 01, 2017 11:39:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1247/1631) took 398777 ms. Total solver calls (SAT/UNSAT): 1257360(251015/1006345)
Jun 01, 2017 11:39:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1261/1631) took 399847 ms. Total solver calls (SAT/UNSAT): 1262631(251145/1011486)
Jun 01, 2017 11:39:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1275/1631) took 400879 ms. Total solver calls (SAT/UNSAT): 1267706(251265/1016441)
Jun 01, 2017 11:39:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1290/1631) took 401949 ms. Total solver calls (SAT/UNSAT): 1272926(251405/1021521)
Jun 01, 2017 11:39:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1305/1631) took 402978 ms. Total solver calls (SAT/UNSAT): 1277921(251545/1026376)
Jun 01, 2017 11:39:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1321/1631) took 404022 ms. Total solver calls (SAT/UNSAT): 1283001(251685/1031316)
Jun 01, 2017 11:39:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1337/1631) took 405025 ms. Total solver calls (SAT/UNSAT): 1287825(251835/1035990)
Jun 01, 2017 11:39:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1354/1631) took 406034 ms. Total solver calls (SAT/UNSAT): 1292670(251975/1040695)
Jun 01, 2017 11:39:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1372/1631) took 407062 ms. Total solver calls (SAT/UNSAT): 1297485(252145/1045340)
Jun 01, 2017 11:39:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1391/1631) took 408075 ms. Total solver calls (SAT/UNSAT): 1302216(252315/1049901)
Jun 01, 2017 11:39:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1412/1631) took 409121 ms. Total solver calls (SAT/UNSAT): 1307025(252505/1054520)
Jun 01, 2017 11:39:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1434/1631) took 410121 ms. Total solver calls (SAT/UNSAT): 1311590(252705/1058885)
Jun 01, 2017 11:39:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1459/1631) took 411136 ms. Total solver calls (SAT/UNSAT): 1316190(252925/1063265)
Jun 01, 2017 11:39:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1487/1631) took 412136 ms. Total solver calls (SAT/UNSAT): 1320600(253175/1067425)
Jun 01, 2017 11:39:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1521/1631) took 413159 ms. Total solver calls (SAT/UNSAT): 1324901(253485/1071416)
Jun 01, 2017 11:39:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1580/1631) took 414159 ms. Total solver calls (SAT/UNSAT): 1329621(253645/1075976)
Jun 01, 2017 11:39:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 414417 ms. Total solver calls (SAT/UNSAT): 1330896(253645/1077251)
Jun 01, 2017 11:39:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 1631 transitions.
Jun 01, 2017 11:39:49 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 01, 2017 11:39:50 AM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Built C files in 1015890ms 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="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/SafeBus-PT-10.tgz
mv 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 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 r070-csrt-149440964800251"
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 ;