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

About the Execution of ITS-Tools for S_SafeBus-COL-10

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15951.880 3600000.00 4275703.00 1174.00 [undef] Time out reached

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is S_SafeBus-COL-10, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r150-csrt-149443434800197
=====================================================================


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


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 1651 rows 316 cols
invariant : -1'Dom6:AMC_6 + 1'Dom7:AMC_7 + -1'Dom16:AMC_16 + 1'Dom17:AMC_17 + -1'Dom26:AMC_26 + 1'Dom27:AMC_27 + -1'Dom36:AMC_36 + 1'Dom37:AMC_37 + -1'Dom46:AMC_46 + 1'Dom47:AMC_47 + -1'Dom56:AMC_56 + 1'Dom57:AMC_57 + -1'Dom66:AMC_66 + 1'Dom67:AMC_67 + -1'Dom76:AMC_76 + 1'Dom77:AMC_77 + -1'Dom86:AMC_86 + 1'Dom87:AMC_87 + -1'Dom96:AMC_96 + 1'Dom97:AMC_97 + -1'It7:Cpt2_7 + 1'It7:Cpt1_7= 0
invariant : 1'R_tout:R_tout[0] + 1'S_tout:S_tout[0]= 1
invariant : -1'Dom5:AMC_5 + 1'Dom6:AMC_6 + -1'Dom15:AMC_15 + 1'Dom16:AMC_16 + -1'Dom25:AMC_25 + 1'Dom26:AMC_26 + -1'Dom35:AMC_35 + 1'Dom36:AMC_36 + -1'Dom45:AMC_45 + 1'Dom46:AMC_46 + -1'Dom55:AMC_55 + 1'Dom56:AMC_56 + -1'Dom65:AMC_65 + 1'Dom66:AMC_66 + -1'Dom75:AMC_75 + 1'Dom76:AMC_76 + -1'Dom85:AMC_85 + 1'Dom86:AMC_86 + -1'Dom95:AMC_95 + 1'Dom96:AMC_96 + -1'It6:Cpt2_6 + 1'It6:Cpt1_6= 0
invariant : 1'Dom50:wait_ack_50 + 1'Dom51:wait_ack_51 + 1'Dom52:wait_ack_52 + 1'Dom53:wait_ack_53 + 1'Dom54:wait_ack_54 + 1'Dom55:wait_ack_55 + 1'Dom56:wait_ack_56 + 1'Dom57:wait_ack_57 + 1'Dom58:wait_ack_58 + 1'Dom59:wait_ack_59 + 1'It5:wait_cable_5 + 1'It5:listen_5 + 1'It5:wait_msg_5 + 1'It5:loop_em_5= 1
invariant : 1'Dom0:AMC_0 + -1'Dom0:wait_ack_0 + 1'Dom1:AMC_1 + -1'Dom1:wait_ack_1 + 1'Dom2:AMC_2 + -1'Dom2:wait_ack_2 + 1'Dom3:AMC_3 + -1'Dom3:wait_ack_3 + 1'Dom4:AMC_4 + -1'Dom4:wait_ack_4 + 1'Dom5:AMC_5 + -1'Dom5:wait_ack_5 + 1'Dom6:AMC_6 + -1'Dom6:wait_ack_6 + 1'Dom7:AMC_7 + -1'Dom7:wait_ack_7 + 1'Dom8:AMC_8 + -1'Dom8:wait_ack_8 + 1'Dom9:AMC_9 + -1'Dom9:wait_ack_9 + 1'It0:cable_used_0 + -1'It0:FMC_0 + -1'It0:wait_cable_0 + 1'It0:RMC_0= 0
invariant : 1'Dom60:wait_ack_60 + 1'Dom61:wait_ack_61 + 1'Dom62:wait_ack_62 + 1'Dom63:wait_ack_63 + 1'Dom64:wait_ack_64 + 1'Dom65:wait_ack_65 + 1'Dom66:wait_ack_66 + 1'Dom67:wait_ack_67 + 1'Dom68:wait_ack_68 + 1'Dom69:wait_ack_69 + -1'It6:cable_used_6 + 1'It6:FMC_6 + 1'It6:PMC_6= 0
invariant : 1'Dom80:wait_ack_80 + 1'Dom81:wait_ack_81 + 1'Dom82:wait_ack_82 + 1'Dom83:wait_ack_83 + 1'Dom84:wait_ack_84 + 1'Dom85:wait_ack_85 + 1'Dom86:wait_ack_86 + 1'Dom87:wait_ack_87 + 1'Dom88:wait_ack_88 + 1'Dom89:wait_ack_89 + 1'It8:wait_cable_8 + 1'It8:listen_8 + 1'It8:wait_msg_8 + 1'It8:loop_em_8= 1
invariant : -1'Dom1:AMC_1 + 1'Dom2:AMC_2 + -1'Dom11:AMC_11 + 1'Dom12:AMC_12 + -1'Dom21:AMC_21 + 1'Dom22:AMC_22 + -1'Dom31:AMC_31 + 1'Dom32:AMC_32 + -1'Dom41:AMC_41 + 1'Dom42:AMC_42 + -1'Dom51:AMC_51 + 1'Dom52:AMC_52 + -1'Dom61:AMC_61 + 1'Dom62:AMC_62 + -1'Dom71:AMC_71 + 1'Dom72:AMC_72 + -1'Dom81:AMC_81 + 1'Dom82:AMC_82 + -1'Dom91:AMC_91 + 1'Dom92:AMC_92 + -1'It2:Cpt2_2 + 1'It2:Cpt1_2= 0
invariant : 1'It0:Cpt2_0 + 1'It1:Cpt2_1 + 1'It2:Cpt2_2 + 1'It3:Cpt2_3 + 1'It4:Cpt2_4 + 1'It5:Cpt2_5 + 1'It6:Cpt2_6 + 1'It7:Cpt2_7 + 1'It8:Cpt2_8 + 1'It9:Cpt2_9= 1
invariant : 1'Dom80:AMC_80 + -1'Dom80:wait_ack_80 + 1'Dom81:AMC_81 + -1'Dom81:wait_ack_81 + 1'Dom82:AMC_82 + -1'Dom82:wait_ack_82 + 1'Dom83:AMC_83 + -1'Dom83:wait_ack_83 + 1'Dom84:AMC_84 + -1'Dom84:wait_ack_84 + 1'Dom85:AMC_85 + -1'Dom85:wait_ack_85 + 1'Dom86:AMC_86 + -1'Dom86:wait_ack_86 + 1'Dom87:AMC_87 + -1'Dom87:wait_ack_87 + 1'Dom88:AMC_88 + -1'Dom88:wait_ack_88 + 1'Dom89:AMC_89 + -1'Dom89:wait_ack_89 + 1'It8:cable_used_8 + -1'It8:FMC_8 + -1'It8:wait_cable_8 + 1'It8:RMC_8= 0
invariant : -1'Dom4:AMC_4 + 1'Dom5:AMC_5 + -1'Dom14:AMC_14 + 1'Dom15:AMC_15 + -1'Dom24:AMC_24 + 1'Dom25:AMC_25 + -1'Dom34:AMC_34 + 1'Dom35:AMC_35 + -1'Dom44:AMC_44 + 1'Dom45:AMC_45 + -1'Dom54:AMC_54 + 1'Dom55:AMC_55 + -1'Dom64:AMC_64 + 1'Dom65:AMC_65 + -1'Dom74:AMC_74 + 1'Dom75:AMC_75 + -1'Dom84:AMC_84 + 1'Dom85:AMC_85 + -1'Dom94:AMC_94 + 1'Dom95:AMC_95 + -1'It5:Cpt2_5 + 1'It5:Cpt1_5= 0
invariant : 1'Dom60:wait_ack_60 + 1'Dom61:wait_ack_61 + 1'Dom62:wait_ack_62 + 1'Dom63:wait_ack_63 + 1'Dom64:wait_ack_64 + 1'Dom65:wait_ack_65 + 1'Dom66:wait_ack_66 + 1'Dom67:wait_ack_67 + 1'Dom68:wait_ack_68 + 1'Dom69:wait_ack_69 + 1'It6:wait_cable_6 + 1'It6:listen_6 + 1'It6:wait_msg_6 + 1'It6:loop_em_6= 1
invariant : 1'Dom90:AMC_90 + -1'Dom90:wait_ack_90 + 1'Dom91:AMC_91 + -1'Dom91:wait_ack_91 + 1'Dom92:AMC_92 + -1'Dom92:wait_ack_92 + 1'Dom93:AMC_93 + -1'Dom93:wait_ack_93 + 1'Dom94:AMC_94 + -1'Dom94:wait_ack_94 + 1'Dom95:AMC_95 + -1'Dom95:wait_ack_95 + 1'Dom96:AMC_96 + -1'Dom96:wait_ack_96 + 1'Dom97:AMC_97 + -1'Dom97:wait_ack_97 + 1'Dom98:AMC_98 + -1'Dom98:wait_ack_98 + 1'Dom99:AMC_99 + -1'Dom99:wait_ack_99 + -1'cable_free:cable_free[0] + 1'FMCb:FMCb[0] + -1'It0:cable_used_0 + 1'It0:FMC_0 + -1'It1:cable_used_1 + 1'It1:FMC_1 + -1'It2:cable_used_2 + 1'It2:FMC_2 + -1'It3:cable_used_3 + 1'It3:FMC_3 + -1'It4:cable_used_4 + 1'It4:FMC_4 + -1'It5:cable_used_5 + 1'It5:FMC_5 + -1'It6:cable_used_6 + 1'It6:FMC_6 + -1'It7:cable_used_7 + 1'It7:FMC_7 + -1'It8:cable_used_8 + 1'It8:FMC_8 + -1'It9:wait_cable_9 + 1'It9:RMC_9= 0
invariant : 1'Dom70:wait_ack_70 + 1'Dom71:wait_ack_71 + 1'Dom72:wait_ack_72 + 1'Dom73:wait_ack_73 + 1'Dom74:wait_ack_74 + 1'Dom75:wait_ack_75 + 1'Dom76:wait_ack_76 + 1'Dom77:wait_ack_77 + 1'Dom78:wait_ack_78 + 1'Dom79:wait_ack_79 + -1'It7:cable_used_7 + 1'It7:FMC_7 + 1'It7:PMC_7= 0
invariant : 1'Dom0:wait_ack_0 + 1'Dom1:wait_ack_1 + 1'Dom2:wait_ack_2 + 1'Dom3:wait_ack_3 + 1'Dom4:wait_ack_4 + 1'Dom5:wait_ack_5 + 1'Dom6:wait_ack_6 + 1'Dom7:wait_ack_7 + 1'Dom8:wait_ack_8 + 1'Dom9:wait_ack_9 + 1'It0:wait_cable_0 + 1'It0:listen_0 + 1'It0:wait_msg_0 + 1'It0:loop_em_0= 1
invariant : 1'Dom10:wait_ack_10 + 1'Dom11:wait_ack_11 + 1'Dom12:wait_ack_12 + 1'Dom13:wait_ack_13 + 1'Dom14:wait_ack_14 + 1'Dom15:wait_ack_15 + 1'Dom16:wait_ack_16 + 1'Dom17:wait_ack_17 + 1'Dom18:wait_ack_18 + 1'Dom19:wait_ack_19 + -1'It1:cable_used_1 + 1'It1:FMC_1 + 1'It1:PMC_1= 0
invariant : -1'Dom3:AMC_3 + 1'Dom4:AMC_4 + -1'Dom13:AMC_13 + 1'Dom14:AMC_14 + -1'Dom23:AMC_23 + 1'Dom24:AMC_24 + -1'Dom33:AMC_33 + 1'Dom34:AMC_34 + -1'Dom43:AMC_43 + 1'Dom44:AMC_44 + -1'Dom53:AMC_53 + 1'Dom54:AMC_54 + -1'Dom63:AMC_63 + 1'Dom64:AMC_64 + -1'Dom73:AMC_73 + 1'Dom74:AMC_74 + -1'Dom83:AMC_83 + 1'Dom84:AMC_84 + -1'Dom93:AMC_93 + 1'Dom94:AMC_94 + -1'It4:Cpt2_4 + 1'It4:Cpt1_4= 0
invariant : 1'Dom50:AMC_50 + -1'Dom50:wait_ack_50 + 1'Dom51:AMC_51 + -1'Dom51:wait_ack_51 + 1'Dom52:AMC_52 + -1'Dom52:wait_ack_52 + 1'Dom53:AMC_53 + -1'Dom53:wait_ack_53 + 1'Dom54:AMC_54 + -1'Dom54:wait_ack_54 + 1'Dom55:AMC_55 + -1'Dom55:wait_ack_55 + 1'Dom56:AMC_56 + -1'Dom56:wait_ack_56 + 1'Dom57:AMC_57 + -1'Dom57:wait_ack_57 + 1'Dom58:AMC_58 + -1'Dom58:wait_ack_58 + 1'Dom59:AMC_59 + -1'Dom59:wait_ack_59 + 1'It5:cable_used_5 + -1'It5:FMC_5 + -1'It5:wait_cable_5 + 1'It5:RMC_5= 0
invariant : -1'Dom7:AMC_7 + 1'Dom8:AMC_8 + -1'Dom17:AMC_17 + 1'Dom18:AMC_18 + -1'Dom27:AMC_27 + 1'Dom28:AMC_28 + -1'Dom37:AMC_37 + 1'Dom38:AMC_38 + -1'Dom47:AMC_47 + 1'Dom48:AMC_48 + -1'Dom57:AMC_57 + 1'Dom58:AMC_58 + -1'Dom67:AMC_67 + 1'Dom68:AMC_68 + -1'Dom77:AMC_77 + 1'Dom78:AMC_78 + -1'Dom87:AMC_87 + 1'Dom88:AMC_88 + -1'Dom97:AMC_97 + 1'Dom98:AMC_98 + -1'It8:Cpt2_8 + 1'It8:Cpt1_8= 0
invariant : -1'Dom2:AMC_2 + 1'Dom3:AMC_3 + -1'Dom12:AMC_12 + 1'Dom13:AMC_13 + -1'Dom22:AMC_22 + 1'Dom23:AMC_23 + -1'Dom32:AMC_32 + 1'Dom33:AMC_33 + -1'Dom42:AMC_42 + 1'Dom43:AMC_43 + -1'Dom52:AMC_52 + 1'Dom53:AMC_53 + -1'Dom62:AMC_62 + 1'Dom63:AMC_63 + -1'Dom72:AMC_72 + 1'Dom73:AMC_73 + -1'Dom82:AMC_82 + 1'Dom83:AMC_83 + -1'Dom92:AMC_92 + 1'Dom93:AMC_93 + -1'It3:Cpt2_3 + 1'It3:Cpt1_3= 0
invariant : 1'Dom30:AMC_30 + -1'Dom30:wait_ack_30 + 1'Dom31:AMC_31 + -1'Dom31:wait_ack_31 + 1'Dom32:AMC_32 + -1'Dom32:wait_ack_32 + 1'Dom33:AMC_33 + -1'Dom33:wait_ack_33 + 1'Dom34:AMC_34 + -1'Dom34:wait_ack_34 + 1'Dom35:AMC_35 + -1'Dom35:wait_ack_35 + 1'Dom36:AMC_36 + -1'Dom36:wait_ack_36 + 1'Dom37:AMC_37 + -1'Dom37:wait_ack_37 + 1'Dom38:AMC_38 + -1'Dom38:wait_ack_38 + 1'Dom39:AMC_39 + -1'Dom39:wait_ack_39 + 1'It3:cable_used_3 + -1'It3:FMC_3 + -1'It3:wait_cable_3 + 1'It3:RMC_3= 0
invariant : 1'Dom90:wait_ack_90 + 1'Dom91:wait_ack_91 + 1'Dom92:wait_ack_92 + 1'Dom93:wait_ack_93 + 1'Dom94:wait_ack_94 + 1'Dom95:wait_ack_95 + 1'Dom96:wait_ack_96 + 1'Dom97:wait_ack_97 + 1'Dom98:wait_ack_98 + 1'Dom99:wait_ack_99 + 1'cable_free:cable_free[0] + -1'FMCb:FMCb[0] + 1'It0:cable_used_0 + -1'It0:FMC_0 + 1'It1:cable_used_1 + -1'It1:FMC_1 + 1'It2:cable_used_2 + -1'It2:FMC_2 + 1'It3:cable_used_3 + -1'It3:FMC_3 + 1'It4:cable_used_4 + -1'It4:FMC_4 + 1'It5:cable_used_5 + -1'It5:FMC_5 + 1'It6:cable_used_6 + -1'It6:FMC_6 + 1'It7:cable_used_7 + -1'It7:FMC_7 + 1'It8:cable_used_8 + -1'It8:FMC_8 + 1'It9:PMC_9= 0
invariant : 1'cable_free:cable_free[0] + 1'It0:cable_used_0 + 1'It1:cable_used_1 + 1'It2:cable_used_2 + 1'It3:cable_used_3 + 1'It4:cable_used_4 + 1'It5:cable_used_5 + 1'It6:cable_used_6 + 1'It7:cable_used_7 + 1'It8:cable_used_8 + 1'It9:cable_used_9= 1
invariant : 1'Dom70:AMC_70 + -1'Dom70:wait_ack_70 + 1'Dom71:AMC_71 + -1'Dom71:wait_ack_71 + 1'Dom72:AMC_72 + -1'Dom72:wait_ack_72 + 1'Dom73:AMC_73 + -1'Dom73:wait_ack_73 + 1'Dom74:AMC_74 + -1'Dom74:wait_ack_74 + 1'Dom75:AMC_75 + -1'Dom75:wait_ack_75 + 1'Dom76:AMC_76 + -1'Dom76:wait_ack_76 + 1'Dom77:AMC_77 + -1'Dom77:wait_ack_77 + 1'Dom78:AMC_78 + -1'Dom78:wait_ack_78 + 1'Dom79:AMC_79 + -1'Dom79:wait_ack_79 + 1'It7:cable_used_7 + -1'It7:FMC_7 + -1'It7:wait_cable_7 + 1'It7:RMC_7= 0
invariant : 1'Dom60:AMC_60 + -1'Dom60:wait_ack_60 + 1'Dom61:AMC_61 + -1'Dom61:wait_ack_61 + 1'Dom62:AMC_62 + -1'Dom62:wait_ack_62 + 1'Dom63:AMC_63 + -1'Dom63:wait_ack_63 + 1'Dom64:AMC_64 + -1'Dom64:wait_ack_64 + 1'Dom65:AMC_65 + -1'Dom65:wait_ack_65 + 1'Dom66:AMC_66 + -1'Dom66:wait_ack_66 + 1'Dom67:AMC_67 + -1'Dom67:wait_ack_67 + 1'Dom68:AMC_68 + -1'Dom68:wait_ack_68 + 1'Dom69:AMC_69 + -1'Dom69:wait_ack_69 + 1'It6:cable_used_6 + -1'It6:FMC_6 + -1'It6:wait_cable_6 + 1'It6:RMC_6= 0
invariant : 1'Dom0:wait_ack_0 + 1'Dom1:wait_ack_1 + 1'Dom2:wait_ack_2 + 1'Dom3:wait_ack_3 + 1'Dom4:wait_ack_4 + 1'Dom5:wait_ack_5 + 1'Dom6:wait_ack_6 + 1'Dom7:wait_ack_7 + 1'Dom8:wait_ack_8 + 1'Dom9:wait_ack_9 + -1'It0:cable_used_0 + 1'It0:FMC_0 + 1'It0:PMC_0= 0
invariant : 1'Dom0:AMC_0 + -1'Dom9:AMC_9 + 1'Dom10:AMC_10 + -1'Dom19:AMC_19 + 1'Dom20:AMC_20 + -1'Dom29:AMC_29 + 1'Dom30:AMC_30 + -1'Dom39:AMC_39 + 1'Dom40:AMC_40 + -1'Dom49:AMC_49 + 1'Dom50:AMC_50 + -1'Dom59:AMC_59 + 1'Dom60:AMC_60 + -1'Dom69:AMC_69 + 1'Dom70:AMC_70 + -1'Dom79:AMC_79 + 1'Dom80:AMC_80 + -1'Dom89:AMC_89 + 1'Dom90:AMC_90 + -1'Dom99:AMC_99 + -1'It0:Cpt2_0 + 1'It0:Cpt1_0= 0
invariant : 1'Dom50:wait_ack_50 + 1'Dom51:wait_ack_51 + 1'Dom52:wait_ack_52 + 1'Dom53:wait_ack_53 + 1'Dom54:wait_ack_54 + 1'Dom55:wait_ack_55 + 1'Dom56:wait_ack_56 + 1'Dom57:wait_ack_57 + 1'Dom58:wait_ack_58 + 1'Dom59:wait_ack_59 + -1'It5:cable_used_5 + 1'It5:FMC_5 + 1'It5:PMC_5= 0
invariant : 1'Dom70:wait_ack_70 + 1'Dom71:wait_ack_71 + 1'Dom72:wait_ack_72 + 1'Dom73:wait_ack_73 + 1'Dom74:wait_ack_74 + 1'Dom75:wait_ack_75 + 1'Dom76:wait_ack_76 + 1'Dom77:wait_ack_77 + 1'Dom78:wait_ack_78 + 1'Dom79:wait_ack_79 + 1'It7:wait_cable_7 + 1'It7:listen_7 + 1'It7:wait_msg_7 + 1'It7:loop_em_7= 1
invariant : 1'Dom30:wait_ack_30 + 1'Dom31:wait_ack_31 + 1'Dom32:wait_ack_32 + 1'Dom33:wait_ack_33 + 1'Dom34:wait_ack_34 + 1'Dom35:wait_ack_35 + 1'Dom36:wait_ack_36 + 1'Dom37:wait_ack_37 + 1'Dom38:wait_ack_38 + 1'Dom39:wait_ack_39 + 1'It3:wait_cable_3 + 1'It3:listen_3 + 1'It3:wait_msg_3 + 1'It3:loop_em_3= 1
invariant : 1'Dom80:wait_ack_80 + 1'Dom81:wait_ack_81 + 1'Dom82:wait_ack_82 + 1'Dom83:wait_ack_83 + 1'Dom84:wait_ack_84 + 1'Dom85:wait_ack_85 + 1'Dom86:wait_ack_86 + 1'Dom87:wait_ack_87 + 1'Dom88:wait_ack_88 + 1'Dom89:wait_ack_89 + -1'It8:cable_used_8 + 1'It8:FMC_8 + 1'It8:PMC_8= 0
invariant : 1'Dom40:AMC_40 + -1'Dom40:wait_ack_40 + 1'Dom41:AMC_41 + -1'Dom41:wait_ack_41 + 1'Dom42:AMC_42 + -1'Dom42:wait_ack_42 + 1'Dom43:AMC_43 + -1'Dom43:wait_ack_43 + 1'Dom44:AMC_44 + -1'Dom44:wait_ack_44 + 1'Dom45:AMC_45 + -1'Dom45:wait_ack_45 + 1'Dom46:AMC_46 + -1'Dom46:wait_ack_46 + 1'Dom47:AMC_47 + -1'Dom47:wait_ack_47 + 1'Dom48:AMC_48 + -1'Dom48:wait_ack_48 + 1'Dom49:AMC_49 + -1'Dom49:wait_ack_49 + 1'It4:cable_used_4 + -1'It4:FMC_4 + -1'It4:wait_cable_4 + 1'It4:RMC_4= 0
invariant : -1'Dom0:AMC_0 + 1'Dom1:AMC_1 + -1'Dom10:AMC_10 + 1'Dom11:AMC_11 + -1'Dom20:AMC_20 + 1'Dom21:AMC_21 + -1'Dom30:AMC_30 + 1'Dom31:AMC_31 + -1'Dom40:AMC_40 + 1'Dom41:AMC_41 + -1'Dom50:AMC_50 + 1'Dom51:AMC_51 + -1'Dom60:AMC_60 + 1'Dom61:AMC_61 + -1'Dom70:AMC_70 + 1'Dom71:AMC_71 + -1'Dom80:AMC_80 + 1'Dom81:AMC_81 + -1'Dom90:AMC_90 + 1'Dom91:AMC_91 + -1'It1:Cpt2_1 + 1'It1:Cpt1_1= 0
invariant : -1'Dom8:AMC_8 + 1'Dom9:AMC_9 + -1'Dom18:AMC_18 + 1'Dom19:AMC_19 + -1'Dom28:AMC_28 + 1'Dom29:AMC_29 + -1'Dom38:AMC_38 + 1'Dom39:AMC_39 + -1'Dom48:AMC_48 + 1'Dom49:AMC_49 + -1'Dom58:AMC_58 + 1'Dom59:AMC_59 + -1'Dom68:AMC_68 + 1'Dom69:AMC_69 + -1'Dom78:AMC_78 + 1'Dom79:AMC_79 + -1'Dom88:AMC_88 + 1'Dom89:AMC_89 + -1'Dom98:AMC_98 + 1'Dom99:AMC_99 + 1'It0:Cpt2_0 + 1'It1:Cpt2_1 + 1'It2:Cpt2_2 + 1'It3:Cpt2_3 + 1'It4:Cpt2_4 + 1'It5:Cpt2_5 + 1'It6:Cpt2_6 + 1'It7:Cpt2_7 + 1'It8:Cpt2_8 + 1'It9:Cpt1_9= 1
invariant : 1'Dom20:wait_ack_20 + 1'Dom21:wait_ack_21 + 1'Dom22:wait_ack_22 + 1'Dom23:wait_ack_23 + 1'Dom24:wait_ack_24 + 1'Dom25:wait_ack_25 + 1'Dom26:wait_ack_26 + 1'Dom27:wait_ack_27 + 1'Dom28:wait_ack_28 + 1'Dom29:wait_ack_29 + 1'It2:wait_cable_2 + 1'It2:listen_2 + 1'It2:wait_msg_2 + 1'It2:loop_em_2= 1
invariant : 1'Dom20:wait_ack_20 + 1'Dom21:wait_ack_21 + 1'Dom22:wait_ack_22 + 1'Dom23:wait_ack_23 + 1'Dom24:wait_ack_24 + 1'Dom25:wait_ack_25 + 1'Dom26:wait_ack_26 + 1'Dom27:wait_ack_27 + 1'Dom28:wait_ack_28 + 1'Dom29:wait_ack_29 + -1'It2:cable_used_2 + 1'It2:FMC_2 + 1'It2:PMC_2= 0
invariant : 1'Dom40:wait_ack_40 + 1'Dom41:wait_ack_41 + 1'Dom42:wait_ack_42 + 1'Dom43:wait_ack_43 + 1'Dom44:wait_ack_44 + 1'Dom45:wait_ack_45 + 1'Dom46:wait_ack_46 + 1'Dom47:wait_ack_47 + 1'Dom48:wait_ack_48 + 1'Dom49:wait_ack_49 + -1'It4:cable_used_4 + 1'It4:FMC_4 + 1'It4:PMC_4= 0
invariant : 1'Dom20:AMC_20 + -1'Dom20:wait_ack_20 + 1'Dom21:AMC_21 + -1'Dom21:wait_ack_21 + 1'Dom22:AMC_22 + -1'Dom22:wait_ack_22 + 1'Dom23:AMC_23 + -1'Dom23:wait_ack_23 + 1'Dom24:AMC_24 + -1'Dom24:wait_ack_24 + 1'Dom25:AMC_25 + -1'Dom25:wait_ack_25 + 1'Dom26:AMC_26 + -1'Dom26:wait_ack_26 + 1'Dom27:AMC_27 + -1'Dom27:wait_ack_27 + 1'Dom28:AMC_28 + -1'Dom28:wait_ack_28 + 1'Dom29:AMC_29 + -1'Dom29:wait_ack_29 + 1'It2:cable_used_2 + -1'It2:FMC_2 + -1'It2:wait_cable_2 + 1'It2:RMC_2= 0
invariant : 1'Dom40:wait_ack_40 + 1'Dom41:wait_ack_41 + 1'Dom42:wait_ack_42 + 1'Dom43:wait_ack_43 + 1'Dom44:wait_ack_44 + 1'Dom45:wait_ack_45 + 1'Dom46:wait_ack_46 + 1'Dom47:wait_ack_47 + 1'Dom48:wait_ack_48 + 1'Dom49:wait_ack_49 + 1'It4:wait_cable_4 + 1'It4:listen_4 + 1'It4:wait_msg_4 + 1'It4:loop_em_4= 1
invariant : 1'Dom30:wait_ack_30 + 1'Dom31:wait_ack_31 + 1'Dom32:wait_ack_32 + 1'Dom33:wait_ack_33 + 1'Dom34:wait_ack_34 + 1'Dom35:wait_ack_35 + 1'Dom36:wait_ack_36 + 1'Dom37:wait_ack_37 + 1'Dom38:wait_ack_38 + 1'Dom39:wait_ack_39 + -1'It3:cable_used_3 + 1'It3:FMC_3 + 1'It3:PMC_3= 0
invariant : 1'FMCb:FMCb[0] + 1'It0:FMC_0 + 1'It1:FMC_1 + 1'It2:FMC_2 + 1'It3:FMC_3 + 1'It4:FMC_4 + 1'It5:FMC_5 + 1'It6:FMC_6 + 1'It7:FMC_7 + 1'It8:FMC_8 + 1'It9:FMC_9= 1
invariant : 1'Dom10:wait_ack_10 + 1'Dom11:wait_ack_11 + 1'Dom12:wait_ack_12 + 1'Dom13:wait_ack_13 + 1'Dom14:wait_ack_14 + 1'Dom15:wait_ack_15 + 1'Dom16:wait_ack_16 + 1'Dom17:wait_ack_17 + 1'Dom18:wait_ack_18 + 1'Dom19:wait_ack_19 + 1'It1:wait_cable_1 + 1'It1:listen_1 + 1'It1:wait_msg_1 + 1'It1:loop_em_1= 1
invariant : -1'Dom0:wait_ack_0 + -1'Dom1:wait_ack_1 + -1'Dom2:wait_ack_2 + -1'Dom3:wait_ack_3 + -1'Dom4:wait_ack_4 + -1'Dom5:wait_ack_5 + -1'Dom6:wait_ack_6 + -1'Dom7:wait_ack_7 + -1'Dom8:wait_ack_8 + -1'Dom9:wait_ack_9 + -1'Dom10:wait_ack_10 + -1'Dom11:wait_ack_11 + -1'Dom12:wait_ack_12 + -1'Dom13:wait_ack_13 + -1'Dom14:wait_ack_14 + -1'Dom15:wait_ack_15 + -1'Dom16:wait_ack_16 + -1'Dom17:wait_ack_17 + -1'Dom18:wait_ack_18 + -1'Dom19:wait_ack_19 + -1'Dom20:wait_ack_20 + -1'Dom21:wait_ack_21 + -1'Dom22:wait_ack_22 + -1'Dom23:wait_ack_23 + -1'Dom24:wait_ack_24 + -1'Dom25:wait_ack_25 + -1'Dom26:wait_ack_26 + -1'Dom27:wait_ack_27 + -1'Dom28:wait_ack_28 + -1'Dom29:wait_ack_29 + -1'Dom30:wait_ack_30 + -1'Dom31:wait_ack_31 + -1'Dom32:wait_ack_32 + -1'Dom33:wait_ack_33 + -1'Dom34:wait_ack_34 + -1'Dom35:wait_ack_35 + -1'Dom36:wait_ack_36 + -1'Dom37:wait_ack_37 + -1'Dom38:wait_ack_38 + -1'Dom39:wait_ack_39 + -1'Dom40:wait_ack_40 + -1'Dom41:wait_ack_41 + -1'Dom42:wait_ack_42 + -1'Dom43:wait_ack_43 + -1'Dom44:wait_ack_44 + -1'Dom45:wait_ack_45 + -1'Dom46:wait_ack_46 + -1'Dom47:wait_ack_47 + -1'Dom48:wait_ack_48 + -1'Dom49:wait_ack_49 + -1'Dom50:wait_ack_50 + -1'Dom51:wait_ack_51 + -1'Dom52:wait_ack_52 + -1'Dom53:wait_ack_53 + -1'Dom54:wait_ack_54 + -1'Dom55:wait_ack_55 + -1'Dom56:wait_ack_56 + -1'Dom57:wait_ack_57 + -1'Dom58:wait_ack_58 + -1'Dom59:wait_ack_59 + -1'Dom60:wait_ack_60 + -1'Dom61:wait_ack_61 + -1'Dom62:wait_ack_62 + -1'Dom63:wait_ack_63 + -1'Dom64:wait_ack_64 + -1'Dom65:wait_ack_65 + -1'Dom66:wait_ack_66 + -1'Dom67:wait_ack_67 + -1'Dom68:wait_ack_68 + -1'Dom69:wait_ack_69 + -1'Dom70:wait_ack_70 + -1'Dom71:wait_ack_71 + -1'Dom72:wait_ack_72 + -1'Dom73:wait_ack_73 + -1'Dom74:wait_ack_74 + -1'Dom75:wait_ack_75 + -1'Dom76:wait_ack_76 + -1'Dom77:wait_ack_77 + -1'Dom78:wait_ack_78 + -1'Dom79:wait_ack_79 + -1'Dom80:wait_ack_80 + -1'Dom81:wait_ack_81 + -1'Dom82:wait_ack_82 + -1'Dom83:wait_ack_83 + -1'Dom84:wait_ack_84 + -1'Dom85:wait_ack_85 + -1'Dom86:wait_ack_86 + -1'Dom87:wait_ack_87 + -1'Dom88:wait_ack_88 + -1'Dom89:wait_ack_89 + -1'Dom90:wait_ack_90 + -1'Dom91:wait_ack_91 + -1'Dom92:wait_ack_92 + -1'Dom93:wait_ack_93 + -1'Dom94:wait_ack_94 + -1'Dom95:wait_ack_95 + -1'Dom96:wait_ack_96 + -1'Dom97:wait_ack_97 + -1'Dom98:wait_ack_98 + -1'Dom99:wait_ack_99 + 1'ACK:ACK[0] + 1'T_out:T_out[0] + 1'It0:MSG_0 + 1'It1:MSG_1 + 1'It2:MSG_2 + 1'It3:MSG_3 + 1'It4:MSG_4 + 1'It5:MSG_5 + 1'It6:MSG_6 + 1'It7:MSG_7 + 1'It8:MSG_8 + 1'It9:MSG_9= 0
invariant : 1'Dom90:wait_ack_90 + 1'Dom91:wait_ack_91 + 1'Dom92:wait_ack_92 + 1'Dom93:wait_ack_93 + 1'Dom94:wait_ack_94 + 1'Dom95:wait_ack_95 + 1'Dom96:wait_ack_96 + 1'Dom97:wait_ack_97 + 1'Dom98:wait_ack_98 + 1'Dom99:wait_ack_99 + 1'It9:wait_cable_9 + 1'It9:listen_9 + 1'It9:wait_msg_9 + 1'It9:loop_em_9= 1
invariant : 1'Dom10:AMC_10 + -1'Dom10:wait_ack_10 + 1'Dom11:AMC_11 + -1'Dom11:wait_ack_11 + 1'Dom12:AMC_12 + -1'Dom12:wait_ack_12 + 1'Dom13:AMC_13 + -1'Dom13:wait_ack_13 + 1'Dom14:AMC_14 + -1'Dom14:wait_ack_14 + 1'Dom15:AMC_15 + -1'Dom15:wait_ack_15 + 1'Dom16:AMC_16 + -1'Dom16:wait_ack_16 + 1'Dom17:AMC_17 + -1'Dom17:wait_ack_17 + 1'Dom18:AMC_18 + -1'Dom18:wait_ack_18 + 1'Dom19:AMC_19 + -1'Dom19:wait_ack_19 + 1'It1:cable_used_1 + -1'It1:FMC_1 + -1'It1:wait_cable_1 + 1'It1:RMC_1= 0
Exit code :137
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O3, model.c], workingDir=/home/mcc/execution]
Exit code :0
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Exit code :0

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityDeadlock = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution ReachabilityDeadlock -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination ReachabilityDeadlock -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 05, 2017 10:26:04 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 05, 2017 10:26:04 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
Jun 05, 2017 10:26:05 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1448 ms
Jun 05, 2017 10:26:05 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 20 places.
Jun 05, 2017 10:26:05 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Jun 05, 2017 10:26:05 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :Dom->AMC,wait_ack,
Dot->cable_free,ACK,T_out,R_tout,S_tout,FMCb,
It->Cpt2,Cpt1,msgl,cable_used,FMC,wait_cable,listen,RMC,PMC,MSG,wait_msg,loop_em,

Jun 05, 2017 10:26:05 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 14 transitions.
Jun 05, 2017 10:26:05 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Jun 05, 2017 10:26:05 AM fr.lip6.move.gal.logic.togal.ToGalTransformer toGal
WARNING: Unknown predicate type in boolean expression fr.lip6.move.gal.logic.impl.DeadlockImpl
Jun 05, 2017 10:26:05 AM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Jun 05, 2017 10:26:05 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Jun 05, 2017 10:26:05 AM fr.lip6.move.gal.instantiate.Instantiator fuseEqualParameters
INFO: Fused parameters : $x and $y of transition C_refuse
Jun 05, 2017 10:26:05 AM fr.lip6.move.gal.instantiate.Instantiator fuseEqualParameters
INFO: Fused parameters : $i and $j of transition C_free
Jun 05, 2017 10:26:05 AM fr.lip6.move.gal.instantiate.Instantiator fuseEqualParameters
INFO: Fused parameters : $x and $y of transition C_provide
Jun 05, 2017 10:26:05 AM fr.lip6.move.gal.instantiate.Instantiator fuseEqualParameters
INFO: Fused parameters : $r and $i of transition I_rec1
Jun 05, 2017 10:26:05 AM fr.lip6.move.gal.instantiate.Instantiator fuseEqualParameters
INFO: Fused parameters : $i and $j of transition I_emit
Jun 05, 2017 10:26:05 AM fr.lip6.move.gal.instantiate.Instantiator fuseEqualParameters
INFO: Fused parameters : $i and $j of transition I_refused
Jun 05, 2017 10:26:05 AM fr.lip6.move.gal.instantiate.Instantiator fuseEqualParameters
INFO: Fused parameters : $r and $i of transition I_rec2
Jun 05, 2017 10:26:06 AM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 10 instantiations of transitions. Total transitions/syncs built is 840
Jun 05, 2017 10:26:06 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 326 variables) in GAL type Document
Jun 05, 2017 10:26:06 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 10 constant array cells/variables (out of 326 variables) in type Document
Jun 05, 2017 10:26:06 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: msgl[0-9],
Jun 05, 2017 10:26:06 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 90 expressions due to constant valuations.
Jun 05, 2017 10:26:06 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property SafeBus-COL-10-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
Jun 05, 2017 10:26:06 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 257 ms
Jun 05, 2017 10:26:06 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays Cpt2, Cpt1, cable_used, FMC, AMC, wait_ack, wait_cable, listen, RMC, PMC, MSG, wait_msg, loop_em to variables to allow decomposition.
Jun 05, 2017 10:26:06 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 1146 redundant transitions.
Jun 05, 2017 10:26:06 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property SafeBus-COL-10-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
Jun 05, 2017 10:26:06 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityDeadlock.pnml.gal : 24 ms
Jun 05, 2017 10:26:07 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 45 place invariants in 314 ms
Jun 05, 2017 10:26:54 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 316 variables to be positive in 46494 ms
Jun 05, 2017 10:26:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 1651 transitions.
Jun 05, 2017 10:26:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/1651 took 31 ms. Total solver calls (SAT/UNSAT): 130(1/129)
Jun 05, 2017 10:26:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/1651 took 1040 ms. Total solver calls (SAT/UNSAT): 2182(352/1830)
Jun 05, 2017 10:26:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/1651 took 2050 ms. Total solver calls (SAT/UNSAT): 3407(827/2580)
Jun 05, 2017 10:26:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :78/1651 took 3076 ms. Total solver calls (SAT/UNSAT): 4681(1321/3360)
Jun 05, 2017 10:26:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :103/1651 took 4091 ms. Total solver calls (SAT/UNSAT): 5906(1796/4110)
Jun 05, 2017 10:26:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/1651 took 5126 ms. Total solver calls (SAT/UNSAT): 7692(2151/5541)
Jun 05, 2017 10:27:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/1651 took 6162 ms. Total solver calls (SAT/UNSAT): 9026(2588/6438)
Jun 05, 2017 10:27:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/1651 took 7202 ms. Total solver calls (SAT/UNSAT): 10476(3063/7413)
Jun 05, 2017 10:27:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/1651 took 8213 ms. Total solver calls (SAT/UNSAT): 11868(3519/8349)
Jun 05, 2017 10:27:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/1651 took 9226 ms. Total solver calls (SAT/UNSAT): 13330(3961/9369)
Jun 05, 2017 10:27:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :290/1651 took 10246 ms. Total solver calls (SAT/UNSAT): 15010(4339/10671)
Jun 05, 2017 10:27:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :331/1651 took 11253 ms. Total solver calls (SAT/UNSAT): 16833(4694/12139)
Jun 05, 2017 10:27:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :362/1651 took 12283 ms. Total solver calls (SAT/UNSAT): 20923(4756/16167)
Jun 05, 2017 10:27:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/1651 took 13309 ms. Total solver calls (SAT/UNSAT): 24616(4812/19804)
Jun 05, 2017 10:27:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/1651 took 14310 ms. Total solver calls (SAT/UNSAT): 28573(4872/23701)
Jun 05, 2017 10:27:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/1651 took 15337 ms. Total solver calls (SAT/UNSAT): 31828(5014/26814)
Jun 05, 2017 10:27:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :454/1651 took 16426 ms. Total solver calls (SAT/UNSAT): 36360(5025/31335)
Jun 05, 2017 10:27:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/1651 took 17449 ms. Total solver calls (SAT/UNSAT): 40892(5036/35856)
Jun 05, 2017 10:27:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/1651 took 18470 ms. Total solver calls (SAT/UNSAT): 45424(5047/40377)
Jun 05, 2017 10:27:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :487/1651 took 19494 ms. Total solver calls (SAT/UNSAT): 49956(5058/44898)
Jun 05, 2017 10:27:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/1651 took 20513 ms. Total solver calls (SAT/UNSAT): 54488(5069/49419)
Jun 05, 2017 10:27:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/1651 took 21536 ms. Total solver calls (SAT/UNSAT): 59020(5080/53940)
Jun 05, 2017 10:27:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/1651 took 22557 ms. Total solver calls (SAT/UNSAT): 63552(5091/58461)
Jun 05, 2017 10:27:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/1651 took 23610 ms. Total solver calls (SAT/UNSAT): 68084(5102/62982)
Jun 05, 2017 10:27:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/1651 took 24643 ms. Total solver calls (SAT/UNSAT): 72610(5120/67490)
Jun 05, 2017 10:27:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/1651 took 25694 ms. Total solver calls (SAT/UNSAT): 76690(5175/71515)
Jun 05, 2017 10:27:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/1651 took 26754 ms. Total solver calls (SAT/UNSAT): 80430(5296/75134)
Jun 05, 2017 10:27:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/1651 took 27803 ms. Total solver calls (SAT/UNSAT): 84170(5417/78753)
Jun 05, 2017 10:27:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :597/1651 took 28851 ms. Total solver calls (SAT/UNSAT): 87910(5538/82372)
Jun 05, 2017 10:27:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :608/1651 took 29900 ms. Total solver calls (SAT/UNSAT): 91650(5659/85991)
Jun 05, 2017 10:27:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :619/1651 took 30952 ms. Total solver calls (SAT/UNSAT): 95390(5780/89610)
Jun 05, 2017 10:27:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :630/1651 took 32014 ms. Total solver calls (SAT/UNSAT): 99130(5901/93229)
Jun 05, 2017 10:27:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :640/1651 took 33046 ms. Total solver calls (SAT/UNSAT): 102530(6011/96519)
Jun 05, 2017 10:27:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :651/1651 took 34108 ms. Total solver calls (SAT/UNSAT): 106270(6132/100138)
Jun 05, 2017 10:27:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :663/1651 took 35185 ms. Total solver calls (SAT/UNSAT): 110350(6220/104130)
Jun 05, 2017 10:27:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :675/1651 took 36225 ms. Total solver calls (SAT/UNSAT): 114430(6286/108144)
Jun 05, 2017 10:27:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :686/1651 took 37275 ms. Total solver calls (SAT/UNSAT): 118170(6407/111763)
Jun 05, 2017 10:27:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :697/1651 took 38320 ms. Total solver calls (SAT/UNSAT): 121910(6528/115382)
Jun 05, 2017 10:27:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :708/1651 took 39371 ms. Total solver calls (SAT/UNSAT): 125650(6649/119001)
Jun 05, 2017 10:27:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :719/1651 took 40429 ms. Total solver calls (SAT/UNSAT): 129390(6770/122620)
Jun 05, 2017 10:27:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :729/1651 took 41443 ms. Total solver calls (SAT/UNSAT): 132790(6880/125910)
Jun 05, 2017 10:27:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :740/1651 took 42512 ms. Total solver calls (SAT/UNSAT): 136530(7001/129529)
Jun 05, 2017 10:27:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :751/1651 took 43581 ms. Total solver calls (SAT/UNSAT): 140270(7122/133148)
Jun 05, 2017 10:27:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :762/1651 took 44674 ms. Total solver calls (SAT/UNSAT): 144010(7243/136767)
Jun 05, 2017 10:27:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :774/1651 took 45738 ms. Total solver calls (SAT/UNSAT): 148090(7320/140770)
Jun 05, 2017 10:27:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :786/1651 took 46805 ms. Total solver calls (SAT/UNSAT): 152170(7397/144773)
Jun 05, 2017 10:27:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :797/1651 took 47874 ms. Total solver calls (SAT/UNSAT): 155910(7518/148392)
Jun 05, 2017 10:27:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :808/1651 took 48942 ms. Total solver calls (SAT/UNSAT): 159650(7639/152011)
Jun 05, 2017 10:27:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :819/1651 took 50012 ms. Total solver calls (SAT/UNSAT): 163390(7760/155630)
Jun 05, 2017 10:27:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :830/1651 took 51082 ms. Total solver calls (SAT/UNSAT): 167130(7881/159249)
Jun 05, 2017 10:27:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :841/1651 took 52152 ms. Total solver calls (SAT/UNSAT): 170870(8002/162868)
Jun 05, 2017 10:27:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :852/1651 took 53215 ms. Total solver calls (SAT/UNSAT): 174610(8123/166487)
Jun 05, 2017 10:27:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :862/1651 took 54227 ms. Total solver calls (SAT/UNSAT): 178010(8233/169777)
Jun 05, 2017 10:27:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :872/1651 took 55248 ms. Total solver calls (SAT/UNSAT): 181410(8343/173067)
Jun 05, 2017 10:27:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :883/1651 took 56352 ms. Total solver calls (SAT/UNSAT): 185150(8420/176730)
Jun 05, 2017 10:27:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :895/1651 took 57444 ms. Total solver calls (SAT/UNSAT): 189230(8486/180744)
Jun 05, 2017 10:27:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :906/1651 took 58518 ms. Total solver calls (SAT/UNSAT): 192970(8607/184363)
Jun 05, 2017 10:27:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :917/1651 took 59597 ms. Total solver calls (SAT/UNSAT): 196710(8728/187982)
Jun 05, 2017 10:27:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :928/1651 took 60666 ms. Total solver calls (SAT/UNSAT): 200450(8849/191601)
Jun 05, 2017 10:27:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :938/1651 took 61677 ms. Total solver calls (SAT/UNSAT): 203850(8959/194891)
Jun 05, 2017 10:27:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :949/1651 took 62745 ms. Total solver calls (SAT/UNSAT): 207590(9080/198510)
Jun 05, 2017 10:27:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :960/1651 took 63808 ms. Total solver calls (SAT/UNSAT): 211330(9201/202129)
Jun 05, 2017 10:27:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :971/1651 took 64874 ms. Total solver calls (SAT/UNSAT): 215070(9322/205748)
Jun 05, 2017 10:27:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :981/1651 took 65885 ms. Total solver calls (SAT/UNSAT): 218470(9432/209038)
Jun 05, 2017 10:28:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :992/1651 took 66938 ms. Total solver calls (SAT/UNSAT): 222210(9520/212690)
Jun 05, 2017 10:28:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1004/1651 took 67968 ms. Total solver calls (SAT/UNSAT): 226290(9575/216715)
Jun 05, 2017 10:28:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1015/1651 took 69042 ms. Total solver calls (SAT/UNSAT): 230030(9696/220334)
Jun 05, 2017 10:28:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1025/1651 took 70083 ms. Total solver calls (SAT/UNSAT): 233430(9806/223624)
Jun 05, 2017 10:28:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1036/1651 took 71168 ms. Total solver calls (SAT/UNSAT): 237170(9927/227243)
Jun 05, 2017 10:28:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1047/1651 took 72252 ms. Total solver calls (SAT/UNSAT): 240910(10048/230862)
Jun 05, 2017 10:28:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1058/1651 took 73315 ms. Total solver calls (SAT/UNSAT): 244650(10169/234481)
Jun 05, 2017 10:28:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1069/1651 took 74386 ms. Total solver calls (SAT/UNSAT): 248390(10290/238100)
Jun 05, 2017 10:28:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1080/1651 took 75455 ms. Total solver calls (SAT/UNSAT): 252130(10411/241719)
Jun 05, 2017 10:28:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1091/1651 took 76524 ms. Total solver calls (SAT/UNSAT): 255870(10532/245338)
Jun 05, 2017 10:28:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1102/1651 took 77569 ms. Total solver calls (SAT/UNSAT): 259610(10620/248990)
Jun 05, 2017 10:28:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1114/1651 took 78581 ms. Total solver calls (SAT/UNSAT): 263690(10675/253015)
Jun 05, 2017 10:28:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1125/1651 took 79628 ms. Total solver calls (SAT/UNSAT): 267430(10796/256634)
Jun 05, 2017 10:28:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1136/1651 took 80673 ms. Total solver calls (SAT/UNSAT): 271170(10917/260253)
Jun 05, 2017 10:28:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1146/1651 took 81693 ms. Total solver calls (SAT/UNSAT): 274570(11027/263543)
Jun 05, 2017 10:28:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1157/1651 took 82771 ms. Total solver calls (SAT/UNSAT): 278310(11148/267162)
Jun 05, 2017 10:28:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1167/1651 took 83806 ms. Total solver calls (SAT/UNSAT): 281710(11258/270452)
Jun 05, 2017 10:28:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1178/1651 took 84868 ms. Total solver calls (SAT/UNSAT): 285450(11379/274071)
Jun 05, 2017 10:28:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1189/1651 took 85926 ms. Total solver calls (SAT/UNSAT): 289190(11500/277690)
Jun 05, 2017 10:28:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1200/1651 took 86990 ms. Total solver calls (SAT/UNSAT): 292930(11621/281309)
Jun 05, 2017 10:28:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1211/1651 took 88015 ms. Total solver calls (SAT/UNSAT): 296670(11720/284950)
Jun 05, 2017 10:28:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1223/1651 took 89018 ms. Total solver calls (SAT/UNSAT): 300750(11764/288986)
Jun 05, 2017 10:28:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1234/1651 took 90081 ms. Total solver calls (SAT/UNSAT): 304490(11885/292605)
Jun 05, 2017 10:28:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1245/1651 took 91145 ms. Total solver calls (SAT/UNSAT): 308230(12006/296224)
Jun 05, 2017 10:28:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1256/1651 took 92206 ms. Total solver calls (SAT/UNSAT): 311970(12127/299843)
Jun 05, 2017 10:28:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1267/1651 took 93268 ms. Total solver calls (SAT/UNSAT): 315710(12248/303462)
Jun 05, 2017 10:28:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1278/1651 took 94334 ms. Total solver calls (SAT/UNSAT): 319450(12369/307081)
Jun 05, 2017 10:28:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1289/1651 took 95400 ms. Total solver calls (SAT/UNSAT): 323190(12490/310700)
Jun 05, 2017 10:28:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1300/1651 took 96472 ms. Total solver calls (SAT/UNSAT): 326930(12611/314319)
Jun 05, 2017 10:28:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1311/1651 took 97541 ms. Total solver calls (SAT/UNSAT): 330670(12732/317938)
Jun 05, 2017 10:28:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1322/1651 took 98578 ms. Total solver calls (SAT/UNSAT): 334410(12820/321590)
Jun 05, 2017 10:28:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1334/1651 took 99621 ms. Total solver calls (SAT/UNSAT): 338490(12875/325615)
Jun 05, 2017 10:28:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1345/1651 took 100695 ms. Total solver calls (SAT/UNSAT): 342230(12996/329234)
Jun 05, 2017 10:28:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1356/1651 took 101760 ms. Total solver calls (SAT/UNSAT): 345970(13117/332853)
Jun 05, 2017 10:28:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1367/1651 took 102827 ms. Total solver calls (SAT/UNSAT): 349710(13238/336472)
Jun 05, 2017 10:28:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1378/1651 took 103897 ms. Total solver calls (SAT/UNSAT): 353450(13359/340091)
Jun 05, 2017 10:28:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1389/1651 took 104967 ms. Total solver calls (SAT/UNSAT): 357190(13480/343710)
Jun 05, 2017 10:28:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1400/1651 took 106036 ms. Total solver calls (SAT/UNSAT): 360930(13601/347329)
Jun 05, 2017 10:28:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1411/1651 took 107103 ms. Total solver calls (SAT/UNSAT): 364670(13722/350948)
Jun 05, 2017 10:28:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1422/1651 took 108170 ms. Total solver calls (SAT/UNSAT): 368410(13843/354567)
Jun 05, 2017 10:28:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1434/1651 took 109234 ms. Total solver calls (SAT/UNSAT): 372490(13920/358570)
Jun 05, 2017 10:28:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1446/1651 took 110298 ms. Total solver calls (SAT/UNSAT): 376570(13997/362573)
Jun 05, 2017 10:28:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1457/1651 took 111362 ms. Total solver calls (SAT/UNSAT): 380310(14118/366192)
Jun 05, 2017 10:28:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1468/1651 took 112428 ms. Total solver calls (SAT/UNSAT): 384050(14239/369811)
Jun 05, 2017 10:28:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1478/1651 took 113434 ms. Total solver calls (SAT/UNSAT): 387450(14349/373101)
Jun 05, 2017 10:28:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1489/1651 took 114522 ms. Total solver calls (SAT/UNSAT): 391190(14470/376720)
Jun 05, 2017 10:28:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1500/1651 took 115613 ms. Total solver calls (SAT/UNSAT): 394930(14591/380339)
Jun 05, 2017 10:28:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1511/1651 took 116691 ms. Total solver calls (SAT/UNSAT): 398670(14712/383958)
Jun 05, 2017 10:28:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1522/1651 took 117760 ms. Total solver calls (SAT/UNSAT): 402410(14833/387577)
Jun 05, 2017 10:28:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1533/1651 took 118833 ms. Total solver calls (SAT/UNSAT): 406150(14954/391196)
Jun 05, 2017 10:28:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1545/1651 took 119875 ms. Total solver calls (SAT/UNSAT): 410230(15020/395210)
Jun 05, 2017 10:28:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1577/1651 took 120878 ms. Total solver calls (SAT/UNSAT): 414751(15048/399703)
Jun 05, 2017 10:28:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1618/1651 took 121899 ms. Total solver calls (SAT/UNSAT): 419380(15089/404291)
Jun 05, 2017 10:28:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 122885 ms. Total solver calls (SAT/UNSAT): 423021(15221/407800)
Jun 05, 2017 10:28:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 1651 transitions.
Jun 05, 2017 10:28:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/1651 took 1035 ms. Total solver calls (SAT/UNSAT): 650(450/200)
Jun 05, 2017 10:28:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :9/1651 took 2081 ms. Total solver calls (SAT/UNSAT): 1300(900/400)
Jun 05, 2017 10:29:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/1651 took 3087 ms. Total solver calls (SAT/UNSAT): 2035(1185/850)
Jun 05, 2017 10:29:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/1651 took 4135 ms. Total solver calls (SAT/UNSAT): 2819(1489/1330)
Jun 05, 2017 10:29:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/1651 took 5153 ms. Total solver calls (SAT/UNSAT): 3554(1774/1780)
Jun 05, 2017 10:29:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/1651 took 6203 ms. Total solver calls (SAT/UNSAT): 4338(2078/2260)
Jun 05, 2017 10:29:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :86/1651 took 7212 ms. Total solver calls (SAT/UNSAT): 5073(2363/2710)
Jun 05, 2017 10:29:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :102/1651 took 8262 ms. Total solver calls (SAT/UNSAT): 5857(2667/3190)
Jun 05, 2017 10:29:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :123/1651 took 9262 ms. Total solver calls (SAT/UNSAT): 6558(3030/3528)
Jun 05, 2017 10:29:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :141/1651 took 10292 ms. Total solver calls (SAT/UNSAT): 7286(3336/3950)
Jun 05, 2017 10:29:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :154/1651 took 11357 ms. Total solver calls (SAT/UNSAT): 8040(3700/4340)
Jun 05, 2017 10:29:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/1651 took 12427 ms. Total solver calls (SAT/UNSAT): 8794(4064/4730)
Jun 05, 2017 10:29:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/1651 took 13467 ms. Total solver calls (SAT/UNSAT): 9548(4428/5120)
Jun 05, 2017 10:29:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :193/1651 took 14554 ms. Total solver calls (SAT/UNSAT): 10302(4792/5510)
Jun 05, 2017 10:29:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :206/1651 took 15613 ms. Total solver calls (SAT/UNSAT): 11056(5156/5900)
Jun 05, 2017 10:29:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :218/1651 took 16632 ms. Total solver calls (SAT/UNSAT): 11752(5492/6260)
Jun 05, 2017 10:29:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/1651 took 17722 ms. Total solver calls (SAT/UNSAT): 12506(5856/6650)
Jun 05, 2017 10:29:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/1651 took 18755 ms. Total solver calls (SAT/UNSAT): 13330(6170/7160)
Jun 05, 2017 10:29:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :274/1651 took 19768 ms. Total solver calls (SAT/UNSAT): 14370(6430/7940)
Jun 05, 2017 10:29:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :300/1651 took 20792 ms. Total solver calls (SAT/UNSAT): 15410(6690/8720)
Jun 05, 2017 10:29:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :326/1651 took 21814 ms. Total solver calls (SAT/UNSAT): 16450(6950/9500)
Jun 05, 2017 10:29:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :335/1651 took 22985 ms. Total solver calls (SAT/UNSAT): 17361(7088/10273)
Jun 05, 2017 10:29:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :341/1651 took 24097 ms. Total solver calls (SAT/UNSAT): 18152(7196/10956)
Jun 05, 2017 10:29:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/1651 took 25150 ms. Total solver calls (SAT/UNSAT): 18944(7304/11640)
Jun 05, 2017 10:29:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/1651 took 26203 ms. Total solver calls (SAT/UNSAT): 19735(7412/12323)
Jun 05, 2017 10:29:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/1651 took 27257 ms. Total solver calls (SAT/UNSAT): 20527(7520/13007)
Jun 05, 2017 10:29:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/1651 took 28309 ms. Total solver calls (SAT/UNSAT): 21318(7628/13690)
Jun 05, 2017 10:29:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/1651 took 29365 ms. Total solver calls (SAT/UNSAT): 22110(7736/14374)
Jun 05, 2017 10:29:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/1651 took 30419 ms. Total solver calls (SAT/UNSAT): 22901(7844/15057)
Jun 05, 2017 10:29:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/1651 took 31473 ms. Total solver calls (SAT/UNSAT): 23693(7952/15741)
Jun 05, 2017 10:29:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/1651 took 32524 ms. Total solver calls (SAT/UNSAT): 24484(8060/16424)
Jun 05, 2017 10:29:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/1651 took 33577 ms. Total solver calls (SAT/UNSAT): 25276(8168/17108)
Jun 05, 2017 10:29:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/1651 took 34626 ms. Total solver calls (SAT/UNSAT): 26067(8276/17791)
Jun 05, 2017 10:29:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/1651 took 35685 ms. Total solver calls (SAT/UNSAT): 26858(8384/18474)
Jun 05, 2017 10:29:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/1651 took 36732 ms. Total solver calls (SAT/UNSAT): 27650(8492/19158)
Jun 05, 2017 10:29:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/1651 took 37778 ms. Total solver calls (SAT/UNSAT): 28441(8600/19841)
Jun 05, 2017 10:29:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/1651 took 38814 ms. Total solver calls (SAT/UNSAT): 29233(8708/20525)
Jun 05, 2017 10:29:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/1651 took 39852 ms. Total solver calls (SAT/UNSAT): 30012(8888/21124)
Jun 05, 2017 10:29:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/1651 took 40899 ms. Total solver calls (SAT/UNSAT): 31004(8984/22020)
Jun 05, 2017 10:29:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/1651 took 42310 ms. Total solver calls (SAT/UNSAT): 32240(9020/23220)
Jun 05, 2017 10:29:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/1651 took 43714 ms. Total solver calls (SAT/UNSAT): 33476(9056/24420)
Jun 05, 2017 10:29:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/1651 took 45026 ms. Total solver calls (SAT/UNSAT): 34712(9092/25620)
Jun 05, 2017 10:29:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/1651 took 46439 ms. Total solver calls (SAT/UNSAT): 35948(9128/26820)
Jun 05, 2017 10:29:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/1651 took 47878 ms. Total solver calls (SAT/UNSAT): 37184(9164/28020)
Jun 05, 2017 10:29:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/1651 took 49283 ms. Total solver calls (SAT/UNSAT): 38420(9200/29220)
Jun 05, 2017 10:29:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/1651 took 50629 ms. Total solver calls (SAT/UNSAT): 39656(9236/30420)
Jun 05, 2017 10:29:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/1651 took 52068 ms. Total solver calls (SAT/UNSAT): 40892(9272/31620)
Jun 05, 2017 10:29:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/1651 took 53503 ms. Total solver calls (SAT/UNSAT): 42128(9308/32820)
Jun 05, 2017 10:29:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/1651 took 54843 ms. Total solver calls (SAT/UNSAT): 43364(9344/34020)
Jun 05, 2017 10:29:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :474/1651 took 56286 ms. Total solver calls (SAT/UNSAT): 44600(9380/35220)
Jun 05, 2017 10:29:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/1651 took 57696 ms. Total solver calls (SAT/UNSAT): 45836(9416/36420)
Jun 05, 2017 10:29:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/1651 took 59037 ms. Total solver calls (SAT/UNSAT): 47072(9452/37620)
Jun 05, 2017 10:29:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/1651 took 60433 ms. Total solver calls (SAT/UNSAT): 48308(9488/38820)
Jun 05, 2017 10:29:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/1651 took 61851 ms. Total solver calls (SAT/UNSAT): 49544(9524/40020)
Jun 05, 2017 10:30:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/1651 took 63286 ms. Total solver calls (SAT/UNSAT): 50780(9560/41220)
Jun 05, 2017 10:30:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/1651 took 64633 ms. Total solver calls (SAT/UNSAT): 52016(9596/42420)
Jun 05, 2017 10:30:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/1651 took 66072 ms. Total solver calls (SAT/UNSAT): 53252(9632/43620)
Jun 05, 2017 10:30:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/1651 took 67494 ms. Total solver calls (SAT/UNSAT): 54488(9668/44820)
Jun 05, 2017 10:30:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/1651 took 68819 ms. Total solver calls (SAT/UNSAT): 55724(9704/46020)
Jun 05, 2017 10:30:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/1651 took 70282 ms. Total solver calls (SAT/UNSAT): 56960(9740/47220)
Jun 05, 2017 10:30:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/1651 took 71284 ms. Total solver calls (SAT/UNSAT): 57784(9764/48020)
Jun 05, 2017 10:30:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/1651 took 72725 ms. Total solver calls (SAT/UNSAT): 59020(9800/49220)
Jun 05, 2017 10:30:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/1651 took 74038 ms. Total solver calls (SAT/UNSAT): 60256(9836/50420)
Jun 05, 2017 10:30:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/1651 took 75454 ms. Total solver calls (SAT/UNSAT): 61492(9872/51620)
Jun 05, 2017 10:30:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/1651 took 76917 ms. Total solver calls (SAT/UNSAT): 62728(9908/52820)
Jun 05, 2017 10:30:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/1651 took 78247 ms. Total solver calls (SAT/UNSAT): 63964(9944/54020)
Jun 05, 2017 10:30:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/1651 took 79666 ms. Total solver calls (SAT/UNSAT): 65200(9980/55220)
Jun 05, 2017 10:30:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/1651 took 81087 ms. Total solver calls (SAT/UNSAT): 66436(10016/56420)
Jun 05, 2017 10:30:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/1651 took 82411 ms. Total solver calls (SAT/UNSAT): 67672(10052/57620)
Jun 05, 2017 10:30:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/1651 took 83840 ms. Total solver calls (SAT/UNSAT): 68908(10088/58820)
Jun 05, 2017 10:30:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/1651 took 85276 ms. Total solver calls (SAT/UNSAT): 70144(10124/60020)
Jun 05, 2017 10:30:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/1651 took 86303 ms. Total solver calls (SAT/UNSAT): 70968(10148/60820)
Jun 05, 2017 10:30:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/1651 took 87382 ms. Total solver calls (SAT/UNSAT): 71930(10260/61670)
Jun 05, 2017 10:30:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/1651 took 88588 ms. Total solver calls (SAT/UNSAT): 72950(10260/62690)
Jun 05, 2017 10:30:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/1651 took 89731 ms. Total solver calls (SAT/UNSAT): 73970(10260/63710)
Jun 05, 2017 10:30:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/1651 took 90890 ms. Total solver calls (SAT/UNSAT): 74990(10260/64730)
Jun 05, 2017 10:30:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/1651 took 91963 ms. Total solver calls (SAT/UNSAT): 76010(10293/65717)
Jun 05, 2017 10:30:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/1651 took 93133 ms. Total solver calls (SAT/UNSAT): 77030(10326/66704)
Jun 05, 2017 10:30:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/1651 took 94305 ms. Total solver calls (SAT/UNSAT): 78050(10359/67691)
Jun 05, 2017 10:30:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :571/1651 took 95391 ms. Total solver calls (SAT/UNSAT): 79070(10392/68678)
Jun 05, 2017 10:30:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/1651 took 96542 ms. Total solver calls (SAT/UNSAT): 80090(10425/69665)
Jun 05, 2017 10:30:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :577/1651 took 97718 ms. Total solver calls (SAT/UNSAT): 81110(10458/70652)
Jun 05, 2017 10:30:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/1651 took 98800 ms. Total solver calls (SAT/UNSAT): 82130(10491/71639)
Jun 05, 2017 10:30:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/1651 took 99982 ms. Total solver calls (SAT/UNSAT): 83150(10524/72626)
Jun 05, 2017 10:30:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/1651 took 101164 ms. Total solver calls (SAT/UNSAT): 84170(10557/73613)
Jun 05, 2017 10:30:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/1651 took 102351 ms. Total solver calls (SAT/UNSAT): 85190(10590/74600)
Jun 05, 2017 10:30:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :592/1651 took 103468 ms. Total solver calls (SAT/UNSAT): 86210(10623/75587)
Jun 05, 2017 10:30:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :595/1651 took 104759 ms. Total solver calls (SAT/UNSAT): 87230(10656/76574)
Jun 05, 2017 10:30:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :598/1651 took 105954 ms. Total solver calls (SAT/UNSAT): 88250(10689/77561)
Jun 05, 2017 10:30:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :601/1651 took 107041 ms. Total solver calls (SAT/UNSAT): 89270(10722/78548)
Jun 05, 2017 10:30:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :604/1651 took 108223 ms. Total solver calls (SAT/UNSAT): 90290(10755/79535)
Jun 05, 2017 10:30:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :607/1651 took 109421 ms. Total solver calls (SAT/UNSAT): 91310(10788/80522)
Jun 05, 2017 10:30:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :610/1651 took 110497 ms. Total solver calls (SAT/UNSAT): 92330(10821/81509)
Jun 05, 2017 10:30:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :613/1651 took 111666 ms. Total solver calls (SAT/UNSAT): 93350(10854/82496)
Jun 05, 2017 10:30:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :616/1651 took 112837 ms. Total solver calls (SAT/UNSAT): 94370(10887/83483)
Jun 05, 2017 10:30:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :619/1651 took 114023 ms. Total solver calls (SAT/UNSAT): 95390(10920/84470)
Jun 05, 2017 10:30:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :622/1651 took 115086 ms. Total solver calls (SAT/UNSAT): 96410(10953/85457)
Jun 05, 2017 10:30:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :625/1651 took 116256 ms. Total solver calls (SAT/UNSAT): 97430(10986/86444)
Jun 05, 2017 10:30:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :628/1651 took 117468 ms. Total solver calls (SAT/UNSAT): 98450(11019/87431)
Jun 05, 2017 10:30:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :631/1651 took 118541 ms. Total solver calls (SAT/UNSAT): 99470(11052/88418)
Jun 05, 2017 10:30:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :634/1651 took 119704 ms. Total solver calls (SAT/UNSAT): 100490(11085/89405)
Jun 05, 2017 10:30:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :637/1651 took 120873 ms. Total solver calls (SAT/UNSAT): 101510(11118/90392)
Jun 05, 2017 10:30:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :640/1651 took 121939 ms. Total solver calls (SAT/UNSAT): 102530(11151/91379)
Jun 05, 2017 10:31:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :643/1651 took 123156 ms. Total solver calls (SAT/UNSAT): 103550(11184/92366)
Jun 05, 2017 10:31:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :646/1651 took 124376 ms. Total solver calls (SAT/UNSAT): 104570(11217/93353)
Jun 05, 2017 10:31:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :649/1651 took 125564 ms. Total solver calls (SAT/UNSAT): 105590(11250/94340)
Jun 05, 2017 10:31:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :652/1651 took 126630 ms. Total solver calls (SAT/UNSAT): 106610(11283/95327)
Jun 05, 2017 10:31:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :655/1651 took 127795 ms. Total solver calls (SAT/UNSAT): 107630(11316/96314)
Jun 05, 2017 10:31:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :658/1651 took 128973 ms. Total solver calls (SAT/UNSAT): 108650(11349/97301)
Jun 05, 2017 10:31:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :661/1651 took 130033 ms. Total solver calls (SAT/UNSAT): 109670(11360/98310)
Jun 05, 2017 10:31:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :664/1651 took 131186 ms. Total solver calls (SAT/UNSAT): 110690(11360/99330)
Jun 05, 2017 10:31:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :667/1651 took 132340 ms. Total solver calls (SAT/UNSAT): 111710(11360/100350)
Jun 05, 2017 10:31:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :670/1651 took 133398 ms. Total solver calls (SAT/UNSAT): 112730(11371/101359)
Jun 05, 2017 10:31:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :673/1651 took 134569 ms. Total solver calls (SAT/UNSAT): 113750(11404/102346)
Jun 05, 2017 10:31:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :676/1651 took 135746 ms. Total solver calls (SAT/UNSAT): 114770(11437/103333)
Jun 05, 2017 10:31:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :679/1651 took 136921 ms. Total solver calls (SAT/UNSAT): 115790(11470/104320)
Jun 05, 2017 10:31:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :682/1651 took 137995 ms. Total solver calls (SAT/UNSAT): 116810(11503/105307)
Jun 05, 2017 10:31:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :685/1651 took 139178 ms. Total solver calls (SAT/UNSAT): 117830(11536/106294)
Jun 05, 2017 10:31:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :688/1651 took 140362 ms. Total solver calls (SAT/UNSAT): 118850(11569/107281)
Jun 05, 2017 10:31:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :691/1651 took 141442 ms. Total solver calls (SAT/UNSAT): 119870(11602/108268)
Jun 05, 2017 10:31:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :694/1651 took 142638 ms. Total solver calls (SAT/UNSAT): 120890(11635/109255)
Jun 05, 2017 10:31:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :697/1651 took 143833 ms. Total solver calls (SAT/UNSAT): 121910(11668/110242)
Jun 05, 2017 10:31:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :700/1651 took 144906 ms. Total solver calls (SAT/UNSAT): 122930(11701/111229)
Jun 05, 2017 10:31:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :703/1651 took 146075 ms. Total solver calls (SAT/UNSAT): 123950(11734/112216)
Jun 05, 2017 10:31:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :706/1651 took 147248 ms. Total solver calls (SAT/UNSAT): 124970(11767/113203)
Jun 05, 2017 10:31:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :709/1651 took 148424 ms. Total solver calls (SAT/UNSAT): 125990(11800/114190)
Jun 05, 2017 10:31:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :712/1651 took 149491 ms. Total solver calls (SAT/UNSAT): 127010(11833/115177)
Jun 05, 2017 10:31:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :715/1651 took 150664 ms. Total solver calls (SAT/UNSAT): 128030(11866/116164)
Jun 05, 2017 10:31:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :718/1651 took 151838 ms. Total solver calls (SAT/UNSAT): 129050(11899/117151)
Jun 05, 2017 10:31:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :721/1651 took 152909 ms. Total solver calls (SAT/UNSAT): 130070(11932/118138)
Jun 05, 2017 10:31:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :724/1651 took 154080 ms. Total solver calls (SAT/UNSAT): 131090(11965/119125)
Jun 05, 2017 10:31:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :727/1651 took 155252 ms. Total solver calls (SAT/UNSAT): 132110(11998/120112)
Jun 05, 2017 10:31:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :730/1651 took 156324 ms. Total solver calls (SAT/UNSAT): 133130(12031/121099)
Jun 05, 2017 10:31:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :733/1651 took 157496 ms. Total solver calls (SAT/UNSAT): 134150(12064/122086)
Jun 05, 2017 10:31:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :736/1651 took 158667 ms. Total solver calls (SAT/UNSAT): 135170(12097/123073)
Jun 05, 2017 10:31:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :739/1651 took 159844 ms. Total solver calls (SAT/UNSAT): 136190(12130/124060)
Jun 05, 2017 10:31:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :742/1651 took 160909 ms. Total solver calls (SAT/UNSAT): 137210(12163/125047)
Jun 05, 2017 10:31:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :745/1651 took 162079 ms. Total solver calls (SAT/UNSAT): 138230(12196/126034)
Jun 05, 2017 10:31:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :748/1651 took 163277 ms. Total solver calls (SAT/UNSAT): 139250(12229/127021)
Jun 05, 2017 10:31:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :751/1651 took 164374 ms. Total solver calls (SAT/UNSAT): 140270(12262/128008)
Jun 05, 2017 10:31:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :754/1651 took 165556 ms. Total solver calls (SAT/UNSAT): 141290(12295/128995)
Jun 05, 2017 10:31:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :757/1651 took 166827 ms. Total solver calls (SAT/UNSAT): 142310(12328/129982)
Jun 05, 2017 10:31:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :760/1651 took 167910 ms. Total solver calls (SAT/UNSAT): 143330(12361/130969)
Jun 05, 2017 10:31:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :763/1651 took 169099 ms. Total solver calls (SAT/UNSAT): 144350(12394/131956)
Jun 05, 2017 10:31:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :766/1651 took 170282 ms. Total solver calls (SAT/UNSAT): 145370(12427/132943)
Jun 05, 2017 10:31:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :769/1651 took 171459 ms. Total solver calls (SAT/UNSAT): 146390(12460/133930)
Jun 05, 2017 10:31:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :772/1651 took 172499 ms. Total solver calls (SAT/UNSAT): 147410(12460/134950)
Jun 05, 2017 10:31:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :775/1651 took 173643 ms. Total solver calls (SAT/UNSAT): 148430(12460/135970)
Jun 05, 2017 10:31:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :778/1651 took 174789 ms. Total solver calls (SAT/UNSAT): 149450(12460/136990)
Jun 05, 2017 10:31:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :781/1651 took 175850 ms. Total solver calls (SAT/UNSAT): 150470(12482/137988)
Jun 05, 2017 10:31:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :784/1651 took 177022 ms. Total solver calls (SAT/UNSAT): 151490(12515/138975)
Jun 05, 2017 10:31:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :787/1651 took 178191 ms. Total solver calls (SAT/UNSAT): 152510(12548/139962)
Jun 05, 2017 10:31:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :790/1651 took 179314 ms. Total solver calls (SAT/UNSAT): 153530(12581/140949)
Jun 05, 2017 10:31:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :793/1651 took 180499 ms. Total solver calls (SAT/UNSAT): 154550(12614/141936)
Jun 05, 2017 10:31:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :796/1651 took 181674 ms. Total solver calls (SAT/UNSAT): 155570(12647/142923)
Jun 05, 2017 10:31:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :799/1651 took 182846 ms. Total solver calls (SAT/UNSAT): 156590(12680/143910)
Jun 05, 2017 10:32:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :802/1651 took 183906 ms. Total solver calls (SAT/UNSAT): 157610(12713/144897)
Jun 05, 2017 10:32:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :805/1651 took 185072 ms. Total solver calls (SAT/UNSAT): 158630(12746/145884)
Jun 05, 2017 10:32:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :808/1651 took 186256 ms. Total solver calls (SAT/UNSAT): 159650(12779/146871)
Jun 05, 2017 10:32:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :811/1651 took 187390 ms. Total solver calls (SAT/UNSAT): 160670(12812/147858)
Jun 05, 2017 10:32:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :814/1651 took 188600 ms. Total solver calls (SAT/UNSAT): 161690(12845/148845)
Jun 05, 2017 10:32:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :817/1651 took 189830 ms. Total solver calls (SAT/UNSAT): 162710(12878/149832)
Jun 05, 2017 10:32:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :820/1651 took 190908 ms. Total solver calls (SAT/UNSAT): 163730(12911/150819)
Jun 05, 2017 10:32:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :823/1651 took 192086 ms. Total solver calls (SAT/UNSAT): 164750(12944/151806)
Jun 05, 2017 10:32:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :826/1651 took 193257 ms. Total solver calls (SAT/UNSAT): 165770(12977/152793)
Jun 05, 2017 10:32:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :829/1651 took 194433 ms. Total solver calls (SAT/UNSAT): 166790(13010/153780)
Jun 05, 2017 10:32:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :832/1651 took 195497 ms. Total solver calls (SAT/UNSAT): 167810(13043/154767)
Jun 05, 2017 10:32:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :835/1651 took 196667 ms. Total solver calls (SAT/UNSAT): 168830(13076/155754)
Jun 05, 2017 10:32:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :838/1651 took 197979 ms. Total solver calls (SAT/UNSAT): 169850(13109/156741)
Jun 05, 2017 10:32:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :841/1651 took 199046 ms. Total solver calls (SAT/UNSAT): 170870(13142/157728)
Jun 05, 2017 10:32:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :844/1651 took 200215 ms. Total solver calls (SAT/UNSAT): 171890(13175/158715)
Jun 05, 2017 10:32:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :847/1651 took 201379 ms. Total solver calls (SAT/UNSAT): 172910(13208/159702)
Jun 05, 2017 10:32:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :850/1651 took 202445 ms. Total solver calls (SAT/UNSAT): 173930(13241/160689)
Jun 05, 2017 10:32:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :853/1651 took 203603 ms. Total solver calls (SAT/UNSAT): 174950(13274/161676)
Jun 05, 2017 10:32:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :856/1651 took 204763 ms. Total solver calls (SAT/UNSAT): 175970(13307/162663)
Jun 05, 2017 10:32:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :859/1651 took 206074 ms. Total solver calls (SAT/UNSAT): 176990(13340/163650)
Jun 05, 2017 10:32:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :862/1651 took 207142 ms. Total solver calls (SAT/UNSAT): 178010(13373/164637)
Jun 05, 2017 10:32:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :865/1651 took 208319 ms. Total solver calls (SAT/UNSAT): 179030(13406/165624)
Jun 05, 2017 10:32:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :868/1651 took 209490 ms. Total solver calls (SAT/UNSAT): 180050(13439/166611)
Jun 05, 2017 10:32:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :871/1651 took 210551 ms. Total solver calls (SAT/UNSAT): 181070(13472/167598)
Jun 05, 2017 10:32:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :874/1651 took 211713 ms. Total solver calls (SAT/UNSAT): 182090(13505/168585)
Jun 05, 2017 10:32:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :877/1651 took 212878 ms. Total solver calls (SAT/UNSAT): 183110(13538/169572)
Jun 05, 2017 10:32:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :880/1651 took 213935 ms. Total solver calls (SAT/UNSAT): 184130(13560/170570)
Jun 05, 2017 10:32:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :883/1651 took 215115 ms. Total solver calls (SAT/UNSAT): 185150(13560/171590)
Jun 05, 2017 10:32:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :886/1651 took 216307 ms. Total solver calls (SAT/UNSAT): 186170(13560/172610)
Jun 05, 2017 10:32:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :889/1651 took 217462 ms. Total solver calls (SAT/UNSAT): 187190(13560/173630)
Jun 05, 2017 10:32:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :892/1651 took 218522 ms. Total solver calls (SAT/UNSAT): 188210(13593/174617)
Jun 05, 2017 10:32:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :895/1651 took 219688 ms. Total solver calls (SAT/UNSAT): 189230(13626/175604)
Jun 05, 2017 10:32:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :898/1651 took 220855 ms. Total solver calls (SAT/UNSAT): 190250(13659/176591)
Jun 05, 2017 10:32:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :901/1651 took 221924 ms. Total solver calls (SAT/UNSAT): 191270(13692/177578)
Jun 05, 2017 10:32:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :904/1651 took 223091 ms. Total solver calls (SAT/UNSAT): 192290(13725/178565)
Jun 05, 2017 10:32:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :907/1651 took 224261 ms. Total solver calls (SAT/UNSAT): 193310(13758/179552)
Jun 05, 2017 10:32:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :910/1651 took 225339 ms. Total solver calls (SAT/UNSAT): 194330(13791/180539)
Jun 05, 2017 10:32:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :913/1651 took 226507 ms. Total solver calls (SAT/UNSAT): 195350(13824/181526)
Jun 05, 2017 10:32:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :916/1651 took 227679 ms. Total solver calls (SAT/UNSAT): 196370(13857/182513)
Jun 05, 2017 10:32:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :919/1651 took 228853 ms. Total solver calls (SAT/UNSAT): 197390(13890/183500)
Jun 05, 2017 10:32:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :922/1651 took 229919 ms. Total solver calls (SAT/UNSAT): 198410(13923/184487)
Jun 05, 2017 10:32:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :925/1651 took 231088 ms. Total solver calls (SAT/UNSAT): 199430(13956/185474)
Jun 05, 2017 10:32:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :928/1651 took 232258 ms. Total solver calls (SAT/UNSAT): 200450(13989/186461)
Jun 05, 2017 10:32:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :931/1651 took 233325 ms. Total solver calls (SAT/UNSAT): 201470(14022/187448)
Jun 05, 2017 10:32:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :934/1651 took 234491 ms. Total solver calls (SAT/UNSAT): 202490(14055/188435)
Jun 05, 2017 10:32:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :937/1651 took 235661 ms. Total solver calls (SAT/UNSAT): 203510(14088/189422)
Jun 05, 2017 10:32:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :940/1651 took 236792 ms. Total solver calls (SAT/UNSAT): 204530(14121/190409)
Jun 05, 2017 10:32:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :943/1651 took 238031 ms. Total solver calls (SAT/UNSAT): 205550(14154/191396)
Jun 05, 2017 10:32:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :946/1651 took 239214 ms. Total solver calls (SAT/UNSAT): 206570(14187/192383)
Jun 05, 2017 10:32:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :949/1651 took 240401 ms. Total solver calls (SAT/UNSAT): 207590(14220/193370)
Jun 05, 2017 10:32:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :952/1651 took 241470 ms. Total solver calls (SAT/UNSAT): 208610(14253/194357)
Jun 05, 2017 10:32:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :955/1651 took 242636 ms. Total solver calls (SAT/UNSAT): 209630(14286/195344)
Jun 05, 2017 10:33:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :958/1651 took 243803 ms. Total solver calls (SAT/UNSAT): 210650(14319/196331)
Jun 05, 2017 10:33:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :961/1651 took 244872 ms. Total solver calls (SAT/UNSAT): 211670(14352/197318)
Jun 05, 2017 10:33:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :964/1651 took 246040 ms. Total solver calls (SAT/UNSAT): 212690(14385/198305)
Jun 05, 2017 10:33:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :967/1651 took 247221 ms. Total solver calls (SAT/UNSAT): 213710(14418/199292)
Jun 05, 2017 10:33:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :970/1651 took 248290 ms. Total solver calls (SAT/UNSAT): 214730(14451/200279)
Jun 05, 2017 10:33:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :973/1651 took 249458 ms. Total solver calls (SAT/UNSAT): 215750(14484/201266)
Jun 05, 2017 10:33:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :976/1651 took 250625 ms. Total solver calls (SAT/UNSAT): 216770(14517/202253)
Jun 05, 2017 10:33:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :979/1651 took 251799 ms. Total solver calls (SAT/UNSAT): 217790(14550/203240)
Jun 05, 2017 10:33:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :982/1651 took 252861 ms. Total solver calls (SAT/UNSAT): 218810(14583/204227)
Jun 05, 2017 10:33:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :985/1651 took 254029 ms. Total solver calls (SAT/UNSAT): 219830(14616/205214)
Jun 05, 2017 10:33:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :988/1651 took 255211 ms. Total solver calls (SAT/UNSAT): 220850(14649/206201)
Jun 05, 2017 10:33:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :991/1651 took 256261 ms. Total solver calls (SAT/UNSAT): 221870(14660/207210)
Jun 05, 2017 10:33:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :994/1651 took 257399 ms. Total solver calls (SAT/UNSAT): 222890(14660/208230)
Jun 05, 2017 10:33:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :997/1651 took 258539 ms. Total solver calls (SAT/UNSAT): 223910(14660/209250)
Jun 05, 2017 10:33:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1000/1651 took 259590 ms. Total solver calls (SAT/UNSAT): 224930(14671/210259)
Jun 05, 2017 10:33:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1003/1651 took 260752 ms. Total solver calls (SAT/UNSAT): 225950(14704/211246)
Jun 05, 2017 10:33:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1006/1651 took 261916 ms. Total solver calls (SAT/UNSAT): 226970(14737/212233)
Jun 05, 2017 10:33:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1009/1651 took 263085 ms. Total solver calls (SAT/UNSAT): 227990(14770/213220)
Jun 05, 2017 10:33:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1012/1651 took 264144 ms. Total solver calls (SAT/UNSAT): 229010(14803/214207)
Jun 05, 2017 10:33:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1015/1651 took 265309 ms. Total solver calls (SAT/UNSAT): 230030(14836/215194)
Jun 05, 2017 10:33:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1018/1651 took 266474 ms. Total solver calls (SAT/UNSAT): 231050(14869/216181)
Jun 05, 2017 10:33:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1021/1651 took 267541 ms. Total solver calls (SAT/UNSAT): 232070(14902/217168)
Jun 05, 2017 10:33:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1024/1651 took 268729 ms. Total solver calls (SAT/UNSAT): 233090(14935/218155)
Jun 05, 2017 10:33:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1027/1651 took 269924 ms. Total solver calls (SAT/UNSAT): 234110(14968/219142)
Jun 05, 2017 10:33:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1030/1651 took 270994 ms. Total solver calls (SAT/UNSAT): 235130(15001/220129)
Jun 05, 2017 10:33:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1033/1651 took 272157 ms. Total solver calls (SAT/UNSAT): 236150(15034/221116)
Jun 05, 2017 10:33:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1036/1651 took 273322 ms. Total solver calls (SAT/UNSAT): 237170(15067/222103)
Jun 05, 2017 10:33:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1039/1651 took 274494 ms. Total solver calls (SAT/UNSAT): 238190(15100/223090)
Jun 05, 2017 10:33:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1042/1651 took 275550 ms. Total solver calls (SAT/UNSAT): 239210(15133/224077)
Jun 05, 2017 10:33:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1045/1651 took 276713 ms. Total solver calls (SAT/UNSAT): 240230(15166/225064)
Jun 05, 2017 10:33:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1048/1651 took 277878 ms. Total solver calls (SAT/UNSAT): 241250(15199/226051)
Jun 05, 2017 10:33:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1051/1651 took 278942 ms. Total solver calls (SAT/UNSAT): 242270(15232/227038)
Jun 05, 2017 10:33:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1054/1651 took 280102 ms. Total solver calls (SAT/UNSAT): 243290(15265/228025)
Jun 05, 2017 10:33:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1057/1651 took 281281 ms. Total solver calls (SAT/UNSAT): 244310(15298/229012)
Jun 05, 2017 10:33:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1060/1651 took 282349 ms. Total solver calls (SAT/UNSAT): 245330(15331/229999)
Jun 05, 2017 10:33:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1063/1651 took 283513 ms. Total solver calls (SAT/UNSAT): 246350(15364/230986)
Jun 05, 2017 10:33:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1066/1651 took 284689 ms. Total solver calls (SAT/UNSAT): 247370(15397/231973)
Jun 05, 2017 10:33:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1069/1651 took 285873 ms. Total solver calls (SAT/UNSAT): 248390(15430/232960)
Jun 05, 2017 10:33:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1072/1651 took 286932 ms. Total solver calls (SAT/UNSAT): 249410(15463/233947)
Jun 05, 2017 10:33:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1075/1651 took 288096 ms. Total solver calls (SAT/UNSAT): 250430(15496/234934)
Jun 05, 2017 10:33:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1078/1651 took 289262 ms. Total solver calls (SAT/UNSAT): 251450(15529/235921)
Jun 05, 2017 10:33:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1081/1651 took 290328 ms. Total solver calls (SAT/UNSAT): 252470(15562/236908)
Jun 05, 2017 10:33:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1084/1651 took 291498 ms. Total solver calls (SAT/UNSAT): 253490(15595/237895)
Jun 05, 2017 10:33:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1087/1651 took 292669 ms. Total solver calls (SAT/UNSAT): 254510(15628/238882)
Jun 05, 2017 10:33:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1090/1651 took 293732 ms. Total solver calls (SAT/UNSAT): 255530(15661/239869)
Jun 05, 2017 10:33:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1093/1651 took 294896 ms. Total solver calls (SAT/UNSAT): 256550(15694/240856)
Jun 05, 2017 10:33:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1096/1651 took 296069 ms. Total solver calls (SAT/UNSAT): 257570(15727/241843)
Jun 05, 2017 10:33:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1099/1651 took 297243 ms. Total solver calls (SAT/UNSAT): 258590(15760/242830)
Jun 05, 2017 10:33:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1102/1651 took 298277 ms. Total solver calls (SAT/UNSAT): 259610(15760/243850)
Jun 05, 2017 10:33:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1105/1651 took 299414 ms. Total solver calls (SAT/UNSAT): 260630(15760/244870)
Jun 05, 2017 10:33:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1108/1651 took 300556 ms. Total solver calls (SAT/UNSAT): 261650(15760/245890)
Jun 05, 2017 10:33:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1111/1651 took 301613 ms. Total solver calls (SAT/UNSAT): 262670(15782/246888)
Jun 05, 2017 10:33:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1114/1651 took 302774 ms. Total solver calls (SAT/UNSAT): 263690(15815/247875)
Jun 05, 2017 10:34:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1117/1651 took 303938 ms. Total solver calls (SAT/UNSAT): 264710(15848/248862)
Jun 05, 2017 10:34:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1120/1651 took 305005 ms. Total solver calls (SAT/UNSAT): 265730(15881/249849)
Jun 05, 2017 10:34:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1123/1651 took 306168 ms. Total solver calls (SAT/UNSAT): 266750(15914/250836)
Jun 05, 2017 10:34:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1126/1651 took 307333 ms. Total solver calls (SAT/UNSAT): 267770(15947/251823)
Jun 05, 2017 10:34:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1129/1651 took 308505 ms. Total solver calls (SAT/UNSAT): 268790(15980/252810)
Jun 05, 2017 10:34:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1132/1651 took 309565 ms. Total solver calls (SAT/UNSAT): 269810(16013/253797)
Jun 05, 2017 10:34:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1135/1651 took 310729 ms. Total solver calls (SAT/UNSAT): 270830(16046/254784)
Jun 05, 2017 10:34:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1138/1651 took 311896 ms. Total solver calls (SAT/UNSAT): 271850(16079/255771)
Jun 05, 2017 10:34:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1141/1651 took 312963 ms. Total solver calls (SAT/UNSAT): 272870(16112/256758)
Jun 05, 2017 10:34:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1144/1651 took 314123 ms. Total solver calls (SAT/UNSAT): 273890(16145/257745)
Jun 05, 2017 10:34:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1147/1651 took 315288 ms. Total solver calls (SAT/UNSAT): 274910(16178/258732)
Jun 05, 2017 10:34:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1150/1651 took 316354 ms. Total solver calls (SAT/UNSAT): 275930(16211/259719)
Jun 05, 2017 10:34:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1153/1651 took 317516 ms. Total solver calls (SAT/UNSAT): 276950(16244/260706)
Jun 05, 2017 10:34:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1156/1651 took 318681 ms. Total solver calls (SAT/UNSAT): 277970(16277/261693)
Jun 05, 2017 10:34:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1159/1651 took 319868 ms. Total solver calls (SAT/UNSAT): 278990(16310/262680)
Jun 05, 2017 10:34:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1162/1651 took 320930 ms. Total solver calls (SAT/UNSAT): 280010(16343/263667)
Jun 05, 2017 10:34:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1165/1651 took 322094 ms. Total solver calls (SAT/UNSAT): 281030(16376/264654)
Jun 05, 2017 10:34:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1168/1651 took 323261 ms. Total solver calls (SAT/UNSAT): 282050(16409/265641)
Jun 05, 2017 10:34:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1171/1651 took 324328 ms. Total solver calls (SAT/UNSAT): 283070(16442/266628)
Jun 05, 2017 10:34:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1174/1651 took 325495 ms. Total solver calls (SAT/UNSAT): 284090(16475/267615)
Jun 05, 2017 10:34:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1177/1651 took 326659 ms. Total solver calls (SAT/UNSAT): 285110(16508/268602)
Jun 05, 2017 10:34:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1180/1651 took 327726 ms. Total solver calls (SAT/UNSAT): 286130(16541/269589)
Jun 05, 2017 10:34:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1183/1651 took 328888 ms. Total solver calls (SAT/UNSAT): 287150(16574/270576)
Jun 05, 2017 10:34:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1186/1651 took 330054 ms. Total solver calls (SAT/UNSAT): 288170(16607/271563)
Jun 05, 2017 10:34:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1189/1651 took 331223 ms. Total solver calls (SAT/UNSAT): 289190(16640/272550)
Jun 05, 2017 10:34:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1192/1651 took 332283 ms. Total solver calls (SAT/UNSAT): 290210(16673/273537)
Jun 05, 2017 10:34:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1195/1651 took 333445 ms. Total solver calls (SAT/UNSAT): 291230(16706/274524)
Jun 05, 2017 10:34:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1198/1651 took 334610 ms. Total solver calls (SAT/UNSAT): 292250(16739/275511)
Jun 05, 2017 10:34:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1201/1651 took 335667 ms. Total solver calls (SAT/UNSAT): 293270(16772/276498)
Jun 05, 2017 10:34:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1204/1651 took 336797 ms. Total solver calls (SAT/UNSAT): 294290(16805/277485)
Jun 05, 2017 10:34:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1207/1651 took 337967 ms. Total solver calls (SAT/UNSAT): 295310(16838/278472)
Jun 05, 2017 10:34:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1210/1651 took 339035 ms. Total solver calls (SAT/UNSAT): 296330(16860/279470)
Jun 05, 2017 10:34:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1213/1651 took 340186 ms. Total solver calls (SAT/UNSAT): 297350(16860/280490)
Jun 05, 2017 10:34:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1216/1651 took 341330 ms. Total solver calls (SAT/UNSAT): 298370(16860/281510)
Jun 05, 2017 10:34:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1219/1651 took 342475 ms. Total solver calls (SAT/UNSAT): 299390(16860/282530)
Jun 05, 2017 10:34:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1222/1651 took 343515 ms. Total solver calls (SAT/UNSAT): 300410(16893/283517)
Jun 05, 2017 10:34:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1225/1651 took 344645 ms. Total solver calls (SAT/UNSAT): 301430(16926/284504)
Jun 05, 2017 10:34:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1228/1651 took 345807 ms. Total solver calls (SAT/UNSAT): 302450(16959/285491)
Jun 05, 2017 10:34:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1231/1651 took 346868 ms. Total solver calls (SAT/UNSAT): 303470(16992/286478)
Jun 05, 2017 10:34:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1234/1651 took 348030 ms. Total solver calls (SAT/UNSAT): 304490(17025/287465)
Jun 05, 2017 10:34:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1237/1651 took 349193 ms. Total solver calls (SAT/UNSAT): 305510(17058/288452)
Jun 05, 2017 10:34:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1240/1651 took 350260 ms. Total solver calls (SAT/UNSAT): 306530(17091/289439)
Jun 05, 2017 10:34:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1243/1651 took 351416 ms. Total solver calls (SAT/UNSAT): 307550(17124/290426)
Jun 05, 2017 10:34:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1246/1651 took 352577 ms. Total solver calls (SAT/UNSAT): 308570(17157/291413)
Jun 05, 2017 10:34:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1249/1651 took 353788 ms. Total solver calls (SAT/UNSAT): 309590(17190/292400)
Jun 05, 2017 10:34:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1252/1651 took 354849 ms. Total solver calls (SAT/UNSAT): 310610(17223/293387)
Jun 05, 2017 10:34:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1255/1651 took 356010 ms. Total solver calls (SAT/UNSAT): 311630(17256/294374)
Jun 05, 2017 10:34:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1258/1651 took 357183 ms. Total solver calls (SAT/UNSAT): 312650(17289/295361)
Jun 05, 2017 10:34:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1261/1651 took 358248 ms. Total solver calls (SAT/UNSAT): 313670(17322/296348)
Jun 05, 2017 10:34:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1264/1651 took 359411 ms. Total solver calls (SAT/UNSAT): 314690(17355/297335)
Jun 05, 2017 10:34:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1267/1651 took 360576 ms. Total solver calls (SAT/UNSAT): 315710(17388/298322)
Jun 05, 2017 10:34:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1270/1651 took 361647 ms. Total solver calls (SAT/UNSAT): 316730(17421/299309)
Jun 05, 2017 10:34:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1273/1651 took 362810 ms. Total solver calls (SAT/UNSAT): 317750(17454/300296)
Jun 05, 2017 10:35:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1276/1651 took 363973 ms. Total solver calls (SAT/UNSAT): 318770(17487/301283)
Jun 05, 2017 10:35:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1279/1651 took 365143 ms. Total solver calls (SAT/UNSAT): 319790(17520/302270)
Jun 05, 2017 10:35:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1282/1651 took 366199 ms. Total solver calls (SAT/UNSAT): 320810(17553/303257)
Jun 05, 2017 10:35:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1285/1651 took 367361 ms. Total solver calls (SAT/UNSAT): 321830(17586/304244)
Jun 05, 2017 10:35:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1288/1651 took 368526 ms. Total solver calls (SAT/UNSAT): 322850(17619/305231)
Jun 05, 2017 10:35:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1291/1651 took 369589 ms. Total solver calls (SAT/UNSAT): 323870(17652/306218)
Jun 05, 2017 10:35:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1294/1651 took 370751 ms. Total solver calls (SAT/UNSAT): 324890(17685/307205)
Jun 05, 2017 10:35:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1297/1651 took 371915 ms. Total solver calls (SAT/UNSAT): 325910(17718/308192)
Jun 05, 2017 10:35:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1300/1651 took 372988 ms. Total solver calls (SAT/UNSAT): 326930(17751/309179)
Jun 05, 2017 10:35:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1303/1651 took 374151 ms. Total solver calls (SAT/UNSAT): 327950(17784/310166)
Jun 05, 2017 10:35:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1306/1651 took 375315 ms. Total solver calls (SAT/UNSAT): 328970(17817/311153)
Jun 05, 2017 10:35:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1309/1651 took 376487 ms. Total solver calls (SAT/UNSAT): 329990(17850/312140)
Jun 05, 2017 10:35:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1312/1651 took 377543 ms. Total solver calls (SAT/UNSAT): 331010(17883/313127)
Jun 05, 2017 10:35:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1315/1651 took 378705 ms. Total solver calls (SAT/UNSAT): 332030(17916/314114)
Jun 05, 2017 10:35:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1318/1651 took 379872 ms. Total solver calls (SAT/UNSAT): 333050(17949/315101)
Jun 05, 2017 10:35:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1321/1651 took 380919 ms. Total solver calls (SAT/UNSAT): 334070(17960/316110)
Jun 05, 2017 10:35:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1324/1651 took 382054 ms. Total solver calls (SAT/UNSAT): 335090(17960/317130)
Jun 05, 2017 10:35:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1327/1651 took 383190 ms. Total solver calls (SAT/UNSAT): 336110(17960/318150)
Jun 05, 2017 10:35:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1330/1651 took 384241 ms. Total solver calls (SAT/UNSAT): 337130(17971/319159)
Jun 05, 2017 10:35:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1333/1651 took 385401 ms. Total solver calls (SAT/UNSAT): 338150(18004/320146)
Jun 05, 2017 10:35:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1336/1651 took 386569 ms. Total solver calls (SAT/UNSAT): 339170(18037/321133)
Jun 05, 2017 10:35:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1339/1651 took 387828 ms. Total solver calls (SAT/UNSAT): 340190(18070/322120)
Jun 05, 2017 10:35:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1342/1651 took 388881 ms. Total solver calls (SAT/UNSAT): 341210(18103/323107)
Jun 05, 2017 10:35:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1345/1651 took 390037 ms. Total solver calls (SAT/UNSAT): 342230(18136/324094)
Jun 05, 2017 10:35:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1348/1651 took 391195 ms. Total solver calls (SAT/UNSAT): 343250(18169/325081)
Jun 05, 2017 10:35:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1351/1651 took 392255 ms. Total solver calls (SAT/UNSAT): 344270(18202/326068)
Jun 05, 2017 10:35:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1354/1651 took 393412 ms. Total solver calls (SAT/UNSAT): 345290(18235/327055)
Jun 05, 2017 10:35:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1357/1651 took 394570 ms. Total solver calls (SAT/UNSAT): 346310(18268/328042)
Jun 05, 2017 10:35:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1360/1651 took 395630 ms. Total solver calls (SAT/UNSAT): 347330(18301/329029)
Jun 05, 2017 10:35:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1363/1651 took 396791 ms. Total solver calls (SAT/UNSAT): 348350(18334/330016)
Jun 05, 2017 10:35:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1366/1651 took 397993 ms. Total solver calls (SAT/UNSAT): 349370(18367/331003)
Jun 05, 2017 10:35:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1369/1651 took 399163 ms. Total solver calls (SAT/UNSAT): 350390(18400/331990)
Jun 05, 2017 10:35:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1372/1651 took 400214 ms. Total solver calls (SAT/UNSAT): 351410(18433/332977)
Jun 05, 2017 10:35:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1375/1651 took 401369 ms. Total solver calls (SAT/UNSAT): 352430(18466/333964)
Jun 05, 2017 10:35:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1378/1651 took 402525 ms. Total solver calls (SAT/UNSAT): 353450(18499/334951)
Jun 05, 2017 10:35:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1381/1651 took 403583 ms. Total solver calls (SAT/UNSAT): 354470(18532/335938)
Jun 05, 2017 10:35:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1384/1651 took 404736 ms. Total solver calls (SAT/UNSAT): 355490(18565/336925)
Jun 05, 2017 10:35:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1387/1651 took 405893 ms. Total solver calls (SAT/UNSAT): 356510(18598/337912)
Jun 05, 2017 10:35:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1390/1651 took 406948 ms. Total solver calls (SAT/UNSAT): 357530(18631/338899)
Jun 05, 2017 10:35:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1393/1651 took 408099 ms. Total solver calls (SAT/UNSAT): 358550(18664/339886)
Jun 05, 2017 10:35:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1396/1651 took 409252 ms. Total solver calls (SAT/UNSAT): 359570(18697/340873)
Jun 05, 2017 10:35:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1399/1651 took 410411 ms. Total solver calls (SAT/UNSAT): 360590(18730/341860)
Jun 05, 2017 10:35:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1402/1651 took 411461 ms. Total solver calls (SAT/UNSAT): 361610(18763/342847)
Jun 05, 2017 10:35:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1405/1651 took 412616 ms. Total solver calls (SAT/UNSAT): 362630(18796/343834)
Jun 05, 2017 10:35:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1408/1651 took 413772 ms. Total solver calls (SAT/UNSAT): 363650(18829/344821)
Jun 05, 2017 10:35:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1411/1651 took 414827 ms. Total solver calls (SAT/UNSAT): 364670(18862/345808)
Jun 05, 2017 10:35:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1414/1651 took 415977 ms. Total solver calls (SAT/UNSAT): 365690(18895/346795)
Jun 05, 2017 10:35:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1417/1651 took 417131 ms. Total solver calls (SAT/UNSAT): 366710(18928/347782)
Jun 05, 2017 10:35:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1420/1651 took 418252 ms. Total solver calls (SAT/UNSAT): 367730(18961/348769)
Jun 05, 2017 10:35:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1423/1651 took 419408 ms. Total solver calls (SAT/UNSAT): 368750(18994/349756)
Jun 05, 2017 10:35:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1426/1651 took 420563 ms. Total solver calls (SAT/UNSAT): 369770(19027/350743)
Jun 05, 2017 10:35:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1429/1651 took 421725 ms. Total solver calls (SAT/UNSAT): 370790(19060/351730)
Jun 05, 2017 10:35:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1432/1651 took 422753 ms. Total solver calls (SAT/UNSAT): 371810(19060/352750)
Jun 05, 2017 10:36:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1435/1651 took 423883 ms. Total solver calls (SAT/UNSAT): 372830(19060/353770)
Jun 05, 2017 10:36:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1438/1651 took 425014 ms. Total solver calls (SAT/UNSAT): 373850(19060/354790)
Jun 05, 2017 10:36:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1441/1651 took 426063 ms. Total solver calls (SAT/UNSAT): 374870(19082/355788)
Jun 05, 2017 10:36:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1444/1651 took 427214 ms. Total solver calls (SAT/UNSAT): 375890(19115/356775)
Jun 05, 2017 10:36:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1447/1651 took 428367 ms. Total solver calls (SAT/UNSAT): 376910(19148/357762)
Jun 05, 2017 10:36:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1450/1651 took 429436 ms. Total solver calls (SAT/UNSAT): 377930(19181/358749)
Jun 05, 2017 10:36:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1453/1651 took 430587 ms. Total solver calls (SAT/UNSAT): 378950(19214/359736)
Jun 05, 2017 10:36:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1456/1651 took 431739 ms. Total solver calls (SAT/UNSAT): 379970(19247/360723)
Jun 05, 2017 10:36:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1459/1651 took 432910 ms. Total solver calls (SAT/UNSAT): 380990(19280/361710)
Jun 05, 2017 10:36:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1462/1651 took 433959 ms. Total solver calls (SAT/UNSAT): 382010(19313/362697)
Jun 05, 2017 10:36:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1465/1651 took 435215 ms. Total solver calls (SAT/UNSAT): 383030(19346/363684)
Jun 05, 2017 10:36:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1468/1651 took 436379 ms. Total solver calls (SAT/UNSAT): 384050(19379/364671)
Jun 05, 2017 10:36:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1471/1651 took 437442 ms. Total solver calls (SAT/UNSAT): 385070(19412/365658)
Jun 05, 2017 10:36:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1474/1651 took 438592 ms. Total solver calls (SAT/UNSAT): 386090(19445/366645)
Jun 05, 2017 10:36:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1477/1651 took 439744 ms. Total solver calls (SAT/UNSAT): 387110(19478/367632)
Jun 05, 2017 10:36:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1480/1651 took 440800 ms. Total solver calls (SAT/UNSAT): 388130(19511/368619)
Jun 05, 2017 10:36:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1483/1651 took 441950 ms. Total solver calls (SAT/UNSAT): 389150(19544/369606)
Jun 05, 2017 10:36:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1486/1651 took 443101 ms. Total solver calls (SAT/UNSAT): 390170(19577/370593)
Jun 05, 2017 10:36:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1489/1651 took 444259 ms. Total solver calls (SAT/UNSAT): 391190(19610/371580)
Jun 05, 2017 10:36:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1492/1651 took 445307 ms. Total solver calls (SAT/UNSAT): 392210(19643/372567)
Jun 05, 2017 10:36:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1495/1651 took 446456 ms. Total solver calls (SAT/UNSAT): 393230(19676/373554)
Jun 05, 2017 10:36:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1498/1651 took 447609 ms. Total solver calls (SAT/UNSAT): 394250(19709/374541)
Jun 05, 2017 10:36:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1501/1651 took 448664 ms. Total solver calls (SAT/UNSAT): 395270(19742/375528)
Jun 05, 2017 10:36:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1504/1651 took 449814 ms. Total solver calls (SAT/UNSAT): 396290(19775/376515)
Jun 05, 2017 10:36:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1507/1651 took 450967 ms. Total solver calls (SAT/UNSAT): 397310(19808/377502)
Jun 05, 2017 10:36:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1510/1651 took 452023 ms. Total solver calls (SAT/UNSAT): 398330(19841/378489)
Jun 05, 2017 10:36:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1513/1651 took 453174 ms. Total solver calls (SAT/UNSAT): 399350(19874/379476)
Jun 05, 2017 10:36:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1516/1651 took 454326 ms. Total solver calls (SAT/UNSAT): 400370(19907/380463)
Jun 05, 2017 10:36:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1519/1651 took 455485 ms. Total solver calls (SAT/UNSAT): 401390(19940/381450)
Jun 05, 2017 10:36:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1522/1651 took 456534 ms. Total solver calls (SAT/UNSAT): 402410(19973/382437)
Jun 05, 2017 10:36:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1525/1651 took 457683 ms. Total solver calls (SAT/UNSAT): 403430(20006/383424)
Jun 05, 2017 10:36:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1528/1651 took 458837 ms. Total solver calls (SAT/UNSAT): 404450(20039/384411)
Jun 05, 2017 10:36:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1531/1651 took 459894 ms. Total solver calls (SAT/UNSAT): 405470(20072/385398)
Jun 05, 2017 10:36:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1534/1651 took 461045 ms. Total solver calls (SAT/UNSAT): 406490(20105/386385)
Jun 05, 2017 10:36:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1537/1651 took 462195 ms. Total solver calls (SAT/UNSAT): 407510(20138/387372)
Jun 05, 2017 10:36:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1540/1651 took 463244 ms. Total solver calls (SAT/UNSAT): 408530(20160/388370)
Jun 05, 2017 10:36:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1543/1651 took 464370 ms. Total solver calls (SAT/UNSAT): 409550(20160/389390)
Jun 05, 2017 10:36:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1546/1651 took 465495 ms. Total solver calls (SAT/UNSAT): 410570(20160/390410)
Jun 05, 2017 10:36:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1549/1651 took 466628 ms. Total solver calls (SAT/UNSAT): 411590(20160/391430)
Jun 05, 2017 10:36:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1556/1651 took 467644 ms. Total solver calls (SAT/UNSAT): 412380(20237/392143)
Jun 05, 2017 10:36:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1563/1651 took 468660 ms. Total solver calls (SAT/UNSAT): 413170(20314/392856)
Jun 05, 2017 10:36:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1570/1651 took 469676 ms. Total solver calls (SAT/UNSAT): 413961(20391/393570)
Jun 05, 2017 10:36:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1577/1651 took 470692 ms. Total solver calls (SAT/UNSAT): 414751(20468/394283)
Jun 05, 2017 10:36:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1584/1651 took 471708 ms. Total solver calls (SAT/UNSAT): 415541(20545/394996)
Jun 05, 2017 10:36:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1591/1651 took 472726 ms. Total solver calls (SAT/UNSAT): 416332(20622/395710)
Jun 05, 2017 10:36:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1598/1651 took 473743 ms. Total solver calls (SAT/UNSAT): 417122(20699/396423)
Jun 05, 2017 10:36:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1605/1651 took 474760 ms. Total solver calls (SAT/UNSAT): 417912(20776/397136)
Jun 05, 2017 10:36:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1612/1651 took 475774 ms. Total solver calls (SAT/UNSAT): 418703(20853/397850)
Jun 05, 2017 10:36:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1619/1651 took 476788 ms. Total solver calls (SAT/UNSAT): 419493(20930/398563)
Jun 05, 2017 10:36:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1626/1651 took 477804 ms. Total solver calls (SAT/UNSAT): 420284(21007/399277)
Jun 05, 2017 10:36:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1633/1651 took 478820 ms. Total solver calls (SAT/UNSAT): 421074(21084/399990)
Jun 05, 2017 10:36:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1640/1651 took 479836 ms. Total solver calls (SAT/UNSAT): 421864(21161/400703)
Jun 05, 2017 10:36:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1642/1651 took 482242 ms. Total solver calls (SAT/UNSAT): 422090(21183/400907)
Jun 05, 2017 10:36:59 AM fr.lip6.move.gal.itstools.Runner runTool
INFO: Standard error output from running tool CommandLine [args=[/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], workingDir=/home/mcc/execution]
built 658 ordering constraints for composite.

Jun 05, 2017 10:37:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1649/1651 took 483282 ms. Total solver calls (SAT/UNSAT): 422880(21260/401620)
Jun 05, 2017 10:37:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 483479 ms. Total solver calls (SAT/UNSAT): 423021(21280/401741)
Jun 05, 2017 10:37:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 1651 transitions.
Jun 05, 2017 10:37:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/1651) took 1171 ms. Total solver calls (SAT/UNSAT): 1651(1309/342)
Jun 05, 2017 10:37:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1/1651) took 2355 ms. Total solver calls (SAT/UNSAT): 3301(2617/684)
Jun 05, 2017 10:37:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/1651) took 3526 ms. Total solver calls (SAT/UNSAT): 4950(3924/1026)
Jun 05, 2017 10:37:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(3/1651) took 4700 ms. Total solver calls (SAT/UNSAT): 6598(5230/1368)
Jun 05, 2017 10:37:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(4/1651) took 5862 ms. Total solver calls (SAT/UNSAT): 8245(6535/1710)
Jun 05, 2017 10:37:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(5/1651) took 7024 ms. Total solver calls (SAT/UNSAT): 9891(7839/2052)
Jun 05, 2017 10:37:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(6/1651) took 8187 ms. Total solver calls (SAT/UNSAT): 11536(9142/2394)
Jun 05, 2017 10:37:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(7/1651) took 9347 ms. Total solver calls (SAT/UNSAT): 13180(10444/2736)
Jun 05, 2017 10:37:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(8/1651) took 10508 ms. Total solver calls (SAT/UNSAT): 14823(11745/3078)
Jun 05, 2017 10:37:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(9/1651) took 11665 ms. Total solver calls (SAT/UNSAT): 16465(13045/3420)
Jun 05, 2017 10:37:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(11/1651) took 13598 ms. Total solver calls (SAT/UNSAT): 19746(15015/4731)
Jun 05, 2017 10:37:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(13/1651) took 15511 ms. Total solver calls (SAT/UNSAT): 23023(16985/6038)
Jun 05, 2017 10:37:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(15/1651) took 17403 ms. Total solver calls (SAT/UNSAT): 26296(18955/7341)
Jun 05, 2017 10:37:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(17/1651) took 19282 ms. Total solver calls (SAT/UNSAT): 29565(20925/8640)
Jun 05, 2017 10:37:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(19/1651) took 21155 ms. Total solver calls (SAT/UNSAT): 32830(22895/9935)
Jun 05, 2017 10:37:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(21/1651) took 23137 ms. Total solver calls (SAT/UNSAT): 36091(24863/11228)
Jun 05, 2017 10:37:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(23/1651) took 25113 ms. Total solver calls (SAT/UNSAT): 39348(26831/12517)
Jun 05, 2017 10:37:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(25/1651) took 26972 ms. Total solver calls (SAT/UNSAT): 42601(28799/13802)
Jun 05, 2017 10:37:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(27/1651) took 28816 ms. Total solver calls (SAT/UNSAT): 45850(30767/15083)
Jun 05, 2017 10:37:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(29/1651) took 30653 ms. Total solver calls (SAT/UNSAT): 49095(32735/16360)
Jun 05, 2017 10:37:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(31/1651) took 32550 ms. Total solver calls (SAT/UNSAT): 52336(34701/17635)
Jun 05, 2017 10:37:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(33/1651) took 34417 ms. Total solver calls (SAT/UNSAT): 55573(36667/18906)
Jun 05, 2017 10:37:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(35/1651) took 36292 ms. Total solver calls (SAT/UNSAT): 58806(38633/20173)
Jun 05, 2017 10:37:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(37/1651) took 38131 ms. Total solver calls (SAT/UNSAT): 62035(40599/21436)
Jun 05, 2017 10:37:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(39/1651) took 39956 ms. Total solver calls (SAT/UNSAT): 65260(42565/22695)
Jun 05, 2017 10:37:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(41/1651) took 41888 ms. Total solver calls (SAT/UNSAT): 68481(44529/23952)
Jun 05, 2017 10:37:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(43/1651) took 43744 ms. Total solver calls (SAT/UNSAT): 71698(46493/25205)
Jun 05, 2017 10:37:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(45/1651) took 45588 ms. Total solver calls (SAT/UNSAT): 74911(48457/26454)
Jun 05, 2017 10:37:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(47/1651) took 47417 ms. Total solver calls (SAT/UNSAT): 78120(50421/27699)
Jun 05, 2017 10:37:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(49/1651) took 49238 ms. Total solver calls (SAT/UNSAT): 81325(52385/28940)
Jun 05, 2017 10:37:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(51/1651) took 51145 ms. Total solver calls (SAT/UNSAT): 84526(54347/30179)
Jun 05, 2017 10:37:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(53/1651) took 52869 ms. Total solver calls (SAT/UNSAT): 87723(56309/31414)
Jun 05, 2017 10:37:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(55/1651) took 54575 ms. Total solver calls (SAT/UNSAT): 90916(58271/32645)
Jun 05, 2017 10:37:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(57/1651) took 56298 ms. Total solver calls (SAT/UNSAT): 94105(60233/33872)
Jun 05, 2017 10:37:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(59/1651) took 57981 ms. Total solver calls (SAT/UNSAT): 97290(62195/35095)
Jun 05, 2017 10:38:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(61/1651) took 59879 ms. Total solver calls (SAT/UNSAT): 100471(64155/36316)
Jun 05, 2017 10:38:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(63/1651) took 61750 ms. Total solver calls (SAT/UNSAT): 103648(66115/37533)
Jun 05, 2017 10:38:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(65/1651) took 63657 ms. Total solver calls (SAT/UNSAT): 106821(68075/38746)
Jun 05, 2017 10:38:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(67/1651) took 65506 ms. Total solver calls (SAT/UNSAT): 109990(70035/39955)
Jun 05, 2017 10:38:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(69/1651) took 67331 ms. Total solver calls (SAT/UNSAT): 113155(71995/41160)
Jun 05, 2017 10:38:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(71/1651) took 69358 ms. Total solver calls (SAT/UNSAT): 116316(73953/42363)
Jun 05, 2017 10:38:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(73/1651) took 71206 ms. Total solver calls (SAT/UNSAT): 119473(75911/43562)
Jun 05, 2017 10:38:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(75/1651) took 73038 ms. Total solver calls (SAT/UNSAT): 122626(77869/44757)
Jun 05, 2017 10:38:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(77/1651) took 74860 ms. Total solver calls (SAT/UNSAT): 125775(79827/45948)
Jun 05, 2017 10:38:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(79/1651) took 76678 ms. Total solver calls (SAT/UNSAT): 128920(81785/47135)
Jun 05, 2017 10:38:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(81/1651) took 78758 ms. Total solver calls (SAT/UNSAT): 132061(83741/48320)
Jun 05, 2017 10:38:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(83/1651) took 80601 ms. Total solver calls (SAT/UNSAT): 135198(85697/49501)
Jun 05, 2017 10:38:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(85/1651) took 82434 ms. Total solver calls (SAT/UNSAT): 138331(87653/50678)
Jun 05, 2017 10:38:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(87/1651) took 84253 ms. Total solver calls (SAT/UNSAT): 141460(89609/51851)
Jun 05, 2017 10:38:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(89/1651) took 86066 ms. Total solver calls (SAT/UNSAT): 144585(91565/53020)
Jun 05, 2017 10:38:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(91/1651) took 88139 ms. Total solver calls (SAT/UNSAT): 147706(93519/54187)
Jun 05, 2017 10:38:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(93/1651) took 90030 ms. Total solver calls (SAT/UNSAT): 150823(95473/55350)
Jun 05, 2017 10:38:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(95/1651) took 91899 ms. Total solver calls (SAT/UNSAT): 153936(97427/56509)
Jun 05, 2017 10:38:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(97/1651) took 93733 ms. Total solver calls (SAT/UNSAT): 157045(99381/57664)
Jun 05, 2017 10:38:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(99/1651) took 95616 ms. Total solver calls (SAT/UNSAT): 160150(101335/58815)
Jun 05, 2017 10:38:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(101/1651) took 97646 ms. Total solver calls (SAT/UNSAT): 163251(103287/59964)
Jun 05, 2017 10:38:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(103/1651) took 99522 ms. Total solver calls (SAT/UNSAT): 166348(105239/61109)
Jun 05, 2017 10:38:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(105/1651) took 101374 ms. Total solver calls (SAT/UNSAT): 169441(107191/62250)
Jun 05, 2017 10:38:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(107/1651) took 103187 ms. Total solver calls (SAT/UNSAT): 172530(109143/63387)
Jun 05, 2017 10:38:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(109/1651) took 104991 ms. Total solver calls (SAT/UNSAT): 175615(111095/64520)
Jun 05, 2017 10:38:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(111/1651) took 106917 ms. Total solver calls (SAT/UNSAT): 178696(112717/65979)
Jun 05, 2017 10:38:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(112/1651) took 107920 ms. Total solver calls (SAT/UNSAT): 180235(113528/66707)
Jun 05, 2017 10:38:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(114/1651) took 109841 ms. Total solver calls (SAT/UNSAT): 183310(115150/68160)
Jun 05, 2017 10:38:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(116/1651) took 111753 ms. Total solver calls (SAT/UNSAT): 186381(116772/69609)
Jun 05, 2017 10:38:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(118/1651) took 113671 ms. Total solver calls (SAT/UNSAT): 189448(118394/71054)
Jun 05, 2017 10:38:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(119/1651) took 114684 ms. Total solver calls (SAT/UNSAT): 190980(119205/71775)
Jun 05, 2017 10:38:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(122/1651) took 115736 ms. Total solver calls (SAT/UNSAT): 195570(119508/76062)
Jun 05, 2017 10:38:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(125/1651) took 116808 ms. Total solver calls (SAT/UNSAT): 200151(119811/80340)
Jun 05, 2017 10:38:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(128/1651) took 117862 ms. Total solver calls (SAT/UNSAT): 204723(120114/84609)
Jun 05, 2017 10:39:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(130/1651) took 119329 ms. Total solver calls (SAT/UNSAT): 207766(121216/86550)
Jun 05, 2017 10:39:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(131/1651) took 120443 ms. Total solver calls (SAT/UNSAT): 209286(122217/87069)
Jun 05, 2017 10:39:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(132/1651) took 121554 ms. Total solver calls (SAT/UNSAT): 210805(123218/87587)
Jun 05, 2017 10:39:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(133/1651) took 122664 ms. Total solver calls (SAT/UNSAT): 212323(124219/88104)
Jun 05, 2017 10:39:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(134/1651) took 123781 ms. Total solver calls (SAT/UNSAT): 213840(125220/88620)
Jun 05, 2017 10:39:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(135/1651) took 124893 ms. Total solver calls (SAT/UNSAT): 215356(126221/89135)
Jun 05, 2017 10:39:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(136/1651) took 126006 ms. Total solver calls (SAT/UNSAT): 216871(127222/89649)
Jun 05, 2017 10:39:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(137/1651) took 127118 ms. Total solver calls (SAT/UNSAT): 218385(128223/90162)
Jun 05, 2017 10:39:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(138/1651) took 128229 ms. Total solver calls (SAT/UNSAT): 219898(129224/90674)
Jun 05, 2017 10:39:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(139/1651) took 129341 ms. Total solver calls (SAT/UNSAT): 221410(130225/91185)
Jun 05, 2017 10:39:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(141/1651) took 131295 ms. Total solver calls (SAT/UNSAT): 224431(132121/92310)
Jun 05, 2017 10:39:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(143/1651) took 133091 ms. Total solver calls (SAT/UNSAT): 227448(134017/93431)
Jun 05, 2017 10:39:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(145/1651) took 134876 ms. Total solver calls (SAT/UNSAT): 230461(135913/94548)
Jun 05, 2017 10:39:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(147/1651) took 136652 ms. Total solver calls (SAT/UNSAT): 233470(137809/95661)
Jun 05, 2017 10:39:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(149/1651) took 138446 ms. Total solver calls (SAT/UNSAT): 236475(139705/96770)
Jun 05, 2017 10:39:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(151/1651) took 140340 ms. Total solver calls (SAT/UNSAT): 239476(141599/97877)
Jun 05, 2017 10:39:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(153/1651) took 142133 ms. Total solver calls (SAT/UNSAT): 242473(143493/98980)
Jun 05, 2017 10:39:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(155/1651) took 143902 ms. Total solver calls (SAT/UNSAT): 245466(145387/100079)
Jun 05, 2017 10:39:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(157/1651) took 145656 ms. Total solver calls (SAT/UNSAT): 248455(147281/101174)
Jun 05, 2017 10:39:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(159/1651) took 147403 ms. Total solver calls (SAT/UNSAT): 251440(149175/102265)
Jun 05, 2017 10:39:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(161/1651) took 149213 ms. Total solver calls (SAT/UNSAT): 254421(151067/103354)
Jun 05, 2017 10:39:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(163/1651) took 150996 ms. Total solver calls (SAT/UNSAT): 257398(152959/104439)
Jun 05, 2017 10:39:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(165/1651) took 152760 ms. Total solver calls (SAT/UNSAT): 260371(154851/105520)
Jun 05, 2017 10:39:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(167/1651) took 154509 ms. Total solver calls (SAT/UNSAT): 263340(156743/106597)
Jun 05, 2017 10:39:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(169/1651) took 156346 ms. Total solver calls (SAT/UNSAT): 266305(158635/107670)
Jun 05, 2017 10:39:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(171/1651) took 158240 ms. Total solver calls (SAT/UNSAT): 269266(160525/108741)
Jun 05, 2017 10:39:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(173/1651) took 160024 ms. Total solver calls (SAT/UNSAT): 272223(162415/109808)
Jun 05, 2017 10:39:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(175/1651) took 161892 ms. Total solver calls (SAT/UNSAT): 275176(164305/110871)
Jun 05, 2017 10:39:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(177/1651) took 163656 ms. Total solver calls (SAT/UNSAT): 278125(166195/111930)
Jun 05, 2017 10:39:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(179/1651) took 165400 ms. Total solver calls (SAT/UNSAT): 281070(168085/112985)
Jun 05, 2017 10:39:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(181/1651) took 167460 ms. Total solver calls (SAT/UNSAT): 284011(169973/114038)
Jun 05, 2017 10:39:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(183/1651) took 169216 ms. Total solver calls (SAT/UNSAT): 286948(171861/115087)
Jun 05, 2017 10:39:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(185/1651) took 170982 ms. Total solver calls (SAT/UNSAT): 289881(173749/116132)
Jun 05, 2017 10:39:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(187/1651) took 172717 ms. Total solver calls (SAT/UNSAT): 292810(175637/117173)
Jun 05, 2017 10:39:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(189/1651) took 174441 ms. Total solver calls (SAT/UNSAT): 295735(177525/118210)
Jun 05, 2017 10:39:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(191/1651) took 176271 ms. Total solver calls (SAT/UNSAT): 298656(179411/119245)
Jun 05, 2017 10:39:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(193/1651) took 178019 ms. Total solver calls (SAT/UNSAT): 301573(181297/120276)
Jun 05, 2017 10:40:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(195/1651) took 179756 ms. Total solver calls (SAT/UNSAT): 304486(183183/121303)
Jun 05, 2017 10:40:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(197/1651) took 181492 ms. Total solver calls (SAT/UNSAT): 307395(185069/122326)
Jun 05, 2017 10:40:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(199/1651) took 183206 ms. Total solver calls (SAT/UNSAT): 310300(186955/123345)
Jun 05, 2017 10:40:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(201/1651) took 184958 ms. Total solver calls (SAT/UNSAT): 313201(188839/124362)
Jun 05, 2017 10:40:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(203/1651) took 186712 ms. Total solver calls (SAT/UNSAT): 316098(190723/125375)
Jun 05, 2017 10:40:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(205/1651) took 188443 ms. Total solver calls (SAT/UNSAT): 318991(192607/126384)
Jun 05, 2017 10:40:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(207/1651) took 190163 ms. Total solver calls (SAT/UNSAT): 321880(194491/127389)
Jun 05, 2017 10:40:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(209/1651) took 191874 ms. Total solver calls (SAT/UNSAT): 324765(196375/128390)
Jun 05, 2017 10:40:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(211/1651) took 193804 ms. Total solver calls (SAT/UNSAT): 327646(198257/129389)
Jun 05, 2017 10:40:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(213/1651) took 195543 ms. Total solver calls (SAT/UNSAT): 330523(200139/130384)
Jun 05, 2017 10:40:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(215/1651) took 197270 ms. Total solver calls (SAT/UNSAT): 333396(202021/131375)
Jun 05, 2017 10:40:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(217/1651) took 198984 ms. Total solver calls (SAT/UNSAT): 336265(203903/132362)
Jun 05, 2017 10:40:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(219/1651) took 200690 ms. Total solver calls (SAT/UNSAT): 339130(205785/133345)
Jun 05, 2017 10:40:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(221/1651) took 202524 ms. Total solver calls (SAT/UNSAT): 341991(207665/134326)
Jun 05, 2017 10:40:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(223/1651) took 204266 ms. Total solver calls (SAT/UNSAT): 344848(209545/135303)
Jun 05, 2017 10:40:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(225/1651) took 206018 ms. Total solver calls (SAT/UNSAT): 347701(211425/136276)
Jun 05, 2017 10:40:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(227/1651) took 207702 ms. Total solver calls (SAT/UNSAT): 350550(213305/137245)
Jun 05, 2017 10:40:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(229/1651) took 209381 ms. Total solver calls (SAT/UNSAT): 353395(215185/138210)
Jun 05, 2017 10:40:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(231/1651) took 211134 ms. Total solver calls (SAT/UNSAT): 356236(217063/139173)
Jun 05, 2017 10:40:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(233/1651) took 212838 ms. Total solver calls (SAT/UNSAT): 359073(218941/140132)
Jun 05, 2017 10:40:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(235/1651) took 214535 ms. Total solver calls (SAT/UNSAT): 361906(220819/141087)
Jun 05, 2017 10:40:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(237/1651) took 216219 ms. Total solver calls (SAT/UNSAT): 364735(222697/142038)
Jun 05, 2017 10:40:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(239/1651) took 217893 ms. Total solver calls (SAT/UNSAT): 367560(224575/142985)
Jun 05, 2017 10:40:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(242/1651) took 218909 ms. Total solver calls (SAT/UNSAT): 371790(224866/146924)
Jun 05, 2017 10:40:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(245/1651) took 219944 ms. Total solver calls (SAT/UNSAT): 376011(225148/150863)
Jun 05, 2017 10:40:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(248/1651) took 220959 ms. Total solver calls (SAT/UNSAT): 380223(225421/154802)
Jun 05, 2017 10:40:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(252/1651) took 222282 ms. Total solver calls (SAT/UNSAT): 385825(225807/160018)
Jun 05, 2017 10:40:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(256/1651) took 223590 ms. Total solver calls (SAT/UNSAT): 391411(226177/165234)
Jun 05, 2017 10:40:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(260/1651) took 224900 ms. Total solver calls (SAT/UNSAT): 396981(226558/170423)
Jun 05, 2017 10:40:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(264/1651) took 226190 ms. Total solver calls (SAT/UNSAT): 402535(226932/175603)
Jun 05, 2017 10:40:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(268/1651) took 227471 ms. Total solver calls (SAT/UNSAT): 408073(227308/180765)
Jun 05, 2017 10:40:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(272/1651) took 228753 ms. Total solver calls (SAT/UNSAT): 413595(227686/185909)
Jun 05, 2017 10:40:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(276/1651) took 230031 ms. Total solver calls (SAT/UNSAT): 419101(228057/191044)
Jun 05, 2017 10:40:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(279/1651) took 231035 ms. Total solver calls (SAT/UNSAT): 423220(228345/194875)
Jun 05, 2017 10:40:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(283/1651) took 232303 ms. Total solver calls (SAT/UNSAT): 428698(228715/199983)
Jun 05, 2017 10:40:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(287/1651) took 233565 ms. Total solver calls (SAT/UNSAT): 434160(229096/205064)
Jun 05, 2017 10:40:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(291/1651) took 234812 ms. Total solver calls (SAT/UNSAT): 439606(229470/210136)
Jun 05, 2017 10:40:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(295/1651) took 236056 ms. Total solver calls (SAT/UNSAT): 445036(229846/215190)
Jun 05, 2017 10:40:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(299/1651) took 237301 ms. Total solver calls (SAT/UNSAT): 450450(230224/220226)
Jun 05, 2017 10:40:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(303/1651) took 238553 ms. Total solver calls (SAT/UNSAT): 455848(230595/225253)
Jun 05, 2017 10:41:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(307/1651) took 239810 ms. Total solver calls (SAT/UNSAT): 461230(230977/230253)
Jun 05, 2017 10:41:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(311/1651) took 241052 ms. Total solver calls (SAT/UNSAT): 466596(231343/235253)
Jun 05, 2017 10:41:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(315/1651) took 242289 ms. Total solver calls (SAT/UNSAT): 471946(231729/240217)
Jun 05, 2017 10:41:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(319/1651) took 243515 ms. Total solver calls (SAT/UNSAT): 477280(232099/245181)
Jun 05, 2017 10:41:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(323/1651) took 244742 ms. Total solver calls (SAT/UNSAT): 482598(232480/250118)
Jun 05, 2017 10:41:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(327/1651) took 246043 ms. Total solver calls (SAT/UNSAT): 487900(232854/255046)
Jun 05, 2017 10:41:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(331/1651) took 247291 ms. Total solver calls (SAT/UNSAT): 493186(233217/259969)
Jun 05, 2017 10:41:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(335/1651) took 248530 ms. Total solver calls (SAT/UNSAT): 498456(233581/264875)
Jun 05, 2017 10:41:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(339/1651) took 249749 ms. Total solver calls (SAT/UNSAT): 503710(233945/269765)
Jun 05, 2017 10:41:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(343/1651) took 250966 ms. Total solver calls (SAT/UNSAT): 508948(234309/274639)
Jun 05, 2017 10:41:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(347/1651) took 252184 ms. Total solver calls (SAT/UNSAT): 514170(234673/279497)
Jun 05, 2017 10:41:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(351/1651) took 253395 ms. Total solver calls (SAT/UNSAT): 519376(235037/284339)
Jun 05, 2017 10:41:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(355/1651) took 254604 ms. Total solver calls (SAT/UNSAT): 524566(235401/289165)
Jun 05, 2017 10:41:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(359/1651) took 255817 ms. Total solver calls (SAT/UNSAT): 529740(235765/293975)
Jun 05, 2017 10:41:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(363/1651) took 257020 ms. Total solver calls (SAT/UNSAT): 534898(236129/298769)
Jun 05, 2017 10:41:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(367/1651) took 258220 ms. Total solver calls (SAT/UNSAT): 540040(236493/303547)
Jun 05, 2017 10:41:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(371/1651) took 259415 ms. Total solver calls (SAT/UNSAT): 545166(236857/308309)
Jun 05, 2017 10:41:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(375/1651) took 260609 ms. Total solver calls (SAT/UNSAT): 550276(237221/313055)
Jun 05, 2017 10:41:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(379/1651) took 261800 ms. Total solver calls (SAT/UNSAT): 555370(237585/317785)
Jun 05, 2017 10:41:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(383/1651) took 263049 ms. Total solver calls (SAT/UNSAT): 560448(237949/322499)
Jun 05, 2017 10:41:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(387/1651) took 264269 ms. Total solver calls (SAT/UNSAT): 565510(238313/327197)
Jun 05, 2017 10:41:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(391/1651) took 265467 ms. Total solver calls (SAT/UNSAT): 570556(238677/331879)
Jun 05, 2017 10:41:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(395/1651) took 266653 ms. Total solver calls (SAT/UNSAT): 575586(239041/336545)
Jun 05, 2017 10:41:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(399/1651) took 267834 ms. Total solver calls (SAT/UNSAT): 580600(239405/341195)
Jun 05, 2017 10:41:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(403/1651) took 269012 ms. Total solver calls (SAT/UNSAT): 585598(239769/345829)
Jun 05, 2017 10:41:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(407/1651) took 270188 ms. Total solver calls (SAT/UNSAT): 590580(240133/350447)
Jun 05, 2017 10:41:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(411/1651) took 271358 ms. Total solver calls (SAT/UNSAT): 595546(240497/355049)
Jun 05, 2017 10:41:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(415/1651) took 272526 ms. Total solver calls (SAT/UNSAT): 600496(240861/359635)
Jun 05, 2017 10:41:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(419/1651) took 273695 ms. Total solver calls (SAT/UNSAT): 605430(241225/364205)
Jun 05, 2017 10:41:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(423/1651) took 274858 ms. Total solver calls (SAT/UNSAT): 610348(241589/368759)
Jun 05, 2017 10:41:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(427/1651) took 276017 ms. Total solver calls (SAT/UNSAT): 615250(241953/373297)
Jun 05, 2017 10:41:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(430/1651) took 277402 ms. Total solver calls (SAT/UNSAT): 618916(242855/376061)
Jun 05, 2017 10:41:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(432/1651) took 278990 ms. Total solver calls (SAT/UNSAT): 621355(244295/377060)
Jun 05, 2017 10:41:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(434/1651) took 280576 ms. Total solver calls (SAT/UNSAT): 623790(245735/378055)
Jun 05, 2017 10:41:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(436/1651) took 282159 ms. Total solver calls (SAT/UNSAT): 626221(247175/379046)
Jun 05, 2017 10:41:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(438/1651) took 283745 ms. Total solver calls (SAT/UNSAT): 628648(248615/380033)
Jun 05, 2017 10:41:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(440/1651) took 284778 ms. Total solver calls (SAT/UNSAT): 631071(249335/381736)
Jun 05, 2017 10:41:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(445/1651) took 285988 ms. Total solver calls (SAT/UNSAT): 637111(249335/387776)
Jun 05, 2017 10:41:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(450/1651) took 287193 ms. Total solver calls (SAT/UNSAT): 643126(249335/393791)
Jun 05, 2017 10:41:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(455/1651) took 288407 ms. Total solver calls (SAT/UNSAT): 649116(249335/399781)
Jun 05, 2017 10:41:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(460/1651) took 289608 ms. Total solver calls (SAT/UNSAT): 655081(249335/405746)
Jun 05, 2017 10:41:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(465/1651) took 290810 ms. Total solver calls (SAT/UNSAT): 661021(249335/411686)
Jun 05, 2017 10:41:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(470/1651) took 292000 ms. Total solver calls (SAT/UNSAT): 666936(249335/417601)
Jun 05, 2017 10:41:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(475/1651) took 293192 ms. Total solver calls (SAT/UNSAT): 672826(249335/423491)
Jun 05, 2017 10:41:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(480/1651) took 294375 ms. Total solver calls (SAT/UNSAT): 678691(249335/429356)
Jun 05, 2017 10:41:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(485/1651) took 295554 ms. Total solver calls (SAT/UNSAT): 684531(249335/435196)
Jun 05, 2017 10:41:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(490/1651) took 296722 ms. Total solver calls (SAT/UNSAT): 690346(249335/441011)
Jun 05, 2017 10:41:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(495/1651) took 297891 ms. Total solver calls (SAT/UNSAT): 696136(249335/446801)
Jun 05, 2017 10:42:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(500/1651) took 299051 ms. Total solver calls (SAT/UNSAT): 701901(249335/452566)
Jun 05, 2017 10:42:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(505/1651) took 300206 ms. Total solver calls (SAT/UNSAT): 707641(249335/458306)
Jun 05, 2017 10:42:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(510/1651) took 301353 ms. Total solver calls (SAT/UNSAT): 713356(249335/464021)
Jun 05, 2017 10:42:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(515/1651) took 302499 ms. Total solver calls (SAT/UNSAT): 719046(249335/469711)
Jun 05, 2017 10:42:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(520/1651) took 303637 ms. Total solver calls (SAT/UNSAT): 724711(249335/475376)
Jun 05, 2017 10:42:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(525/1651) took 304771 ms. Total solver calls (SAT/UNSAT): 730351(249335/481016)
Jun 05, 2017 10:42:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(530/1651) took 305897 ms. Total solver calls (SAT/UNSAT): 735966(249335/486631)
Jun 05, 2017 10:42:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(535/1651) took 307019 ms. Total solver calls (SAT/UNSAT): 741556(249335/492221)
Jun 05, 2017 10:42:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(540/1651) took 308121 ms. Total solver calls (SAT/UNSAT): 747121(249335/497786)
Jun 05, 2017 10:42:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(545/1651) took 309168 ms. Total solver calls (SAT/UNSAT): 752661(249335/503326)
Jun 05, 2017 10:42:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(550/1651) took 310273 ms. Total solver calls (SAT/UNSAT): 758176(249335/508841)
Jun 05, 2017 10:42:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(555/1651) took 311344 ms. Total solver calls (SAT/UNSAT): 763666(249335/514331)
Jun 05, 2017 10:42:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(560/1651) took 312415 ms. Total solver calls (SAT/UNSAT): 769131(249346/519785)
Jun 05, 2017 10:42:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(565/1651) took 313532 ms. Total solver calls (SAT/UNSAT): 774571(249401/525170)
Jun 05, 2017 10:42:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(570/1651) took 314632 ms. Total solver calls (SAT/UNSAT): 779986(249456/530530)
Jun 05, 2017 10:42:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(575/1651) took 315736 ms. Total solver calls (SAT/UNSAT): 785376(249511/535865)
Jun 05, 2017 10:42:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(580/1651) took 316828 ms. Total solver calls (SAT/UNSAT): 790741(249566/541175)
Jun 05, 2017 10:42:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(585/1651) took 317920 ms. Total solver calls (SAT/UNSAT): 796081(249621/546460)
Jun 05, 2017 10:42:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(590/1651) took 319052 ms. Total solver calls (SAT/UNSAT): 801396(249676/551720)
Jun 05, 2017 10:42:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(595/1651) took 320148 ms. Total solver calls (SAT/UNSAT): 806686(249731/556955)
Jun 05, 2017 10:42:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(600/1651) took 321262 ms. Total solver calls (SAT/UNSAT): 811951(249786/562165)
Jun 05, 2017 10:42:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(605/1651) took 322384 ms. Total solver calls (SAT/UNSAT): 817191(249841/567350)
Jun 05, 2017 10:42:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(610/1651) took 323513 ms. Total solver calls (SAT/UNSAT): 822406(249896/572510)
Jun 05, 2017 10:42:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(614/1651) took 324529 ms. Total solver calls (SAT/UNSAT): 826560(249940/576620)
Jun 05, 2017 10:42:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(619/1651) took 325600 ms. Total solver calls (SAT/UNSAT): 831730(249995/581735)
Jun 05, 2017 10:42:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(624/1651) took 326663 ms. Total solver calls (SAT/UNSAT): 836875(250050/586825)
Jun 05, 2017 10:42:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(629/1651) took 327716 ms. Total solver calls (SAT/UNSAT): 841995(250105/591890)
Jun 05, 2017 10:42:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(634/1651) took 328767 ms. Total solver calls (SAT/UNSAT): 847090(250160/596930)
Jun 05, 2017 10:42:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(639/1651) took 329810 ms. Total solver calls (SAT/UNSAT): 852160(250215/601945)
Jun 05, 2017 10:42:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(644/1651) took 330893 ms. Total solver calls (SAT/UNSAT): 857205(250270/606935)
Jun 05, 2017 10:42:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(649/1651) took 331925 ms. Total solver calls (SAT/UNSAT): 862225(250325/611900)
Jun 05, 2017 10:42:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(654/1651) took 332973 ms. Total solver calls (SAT/UNSAT): 867220(250380/616840)
Jun 05, 2017 10:42:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(659/1651) took 334010 ms. Total solver calls (SAT/UNSAT): 872190(250435/621755)
Jun 05, 2017 10:42:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(664/1651) took 335015 ms. Total solver calls (SAT/UNSAT): 877135(250435/626700)
Jun 05, 2017 10:42:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(669/1651) took 336018 ms. Total solver calls (SAT/UNSAT): 882055(250435/631620)
Jun 05, 2017 10:42:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(674/1651) took 337041 ms. Total solver calls (SAT/UNSAT): 886950(250490/636460)
Jun 05, 2017 10:42:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(679/1651) took 338046 ms. Total solver calls (SAT/UNSAT): 891820(250545/641275)
Jun 05, 2017 10:42:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(684/1651) took 339046 ms. Total solver calls (SAT/UNSAT): 896665(250600/646065)
Jun 05, 2017 10:42:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(690/1651) took 340238 ms. Total solver calls (SAT/UNSAT): 902446(250666/651780)
Jun 05, 2017 10:42:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(695/1651) took 341320 ms. Total solver calls (SAT/UNSAT): 907236(250721/656515)
Jun 05, 2017 10:42:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(700/1651) took 342330 ms. Total solver calls (SAT/UNSAT): 912001(250776/661225)
Jun 05, 2017 10:42:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(705/1651) took 343339 ms. Total solver calls (SAT/UNSAT): 916741(250831/665910)
Jun 05, 2017 10:42:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(711/1651) took 344538 ms. Total solver calls (SAT/UNSAT): 922396(250897/671499)
Jun 05, 2017 10:42:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(716/1651) took 345560 ms. Total solver calls (SAT/UNSAT): 927081(250952/676129)
Jun 05, 2017 10:42:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(722/1651) took 346763 ms. Total solver calls (SAT/UNSAT): 932670(251018/681652)
Jun 05, 2017 10:42:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(728/1651) took 347950 ms. Total solver calls (SAT/UNSAT): 938223(251084/687139)
Jun 05, 2017 10:42:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(734/1651) took 349120 ms. Total solver calls (SAT/UNSAT): 943740(251150/692590)
Jun 05, 2017 10:42:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(740/1651) took 350279 ms. Total solver calls (SAT/UNSAT): 949221(251216/698005)
Jun 05, 2017 10:42:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(746/1651) took 351434 ms. Total solver calls (SAT/UNSAT): 954666(251282/703384)
Jun 05, 2017 10:42:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(752/1651) took 352581 ms. Total solver calls (SAT/UNSAT): 960075(251348/708727)
Jun 05, 2017 10:42:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(758/1651) took 353705 ms. Total solver calls (SAT/UNSAT): 965448(251414/714034)
Jun 05, 2017 10:42:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(764/1651) took 354829 ms. Total solver calls (SAT/UNSAT): 970785(251480/719305)
Jun 05, 2017 10:42:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(770/1651) took 355935 ms. Total solver calls (SAT/UNSAT): 976086(251535/724551)
Jun 05, 2017 10:42:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(776/1651) took 357005 ms. Total solver calls (SAT/UNSAT): 981351(251535/729816)
Jun 05, 2017 10:42:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(782/1651) took 358104 ms. Total solver calls (SAT/UNSAT): 986580(251568/735012)
Jun 05, 2017 10:43:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(788/1651) took 359216 ms. Total solver calls (SAT/UNSAT): 991773(251634/740139)
Jun 05, 2017 10:43:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(794/1651) took 360319 ms. Total solver calls (SAT/UNSAT): 996930(251700/745230)
Jun 05, 2017 10:43:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(800/1651) took 361397 ms. Total solver calls (SAT/UNSAT): 1002051(251766/750285)
Jun 05, 2017 10:43:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(806/1651) took 362466 ms. Total solver calls (SAT/UNSAT): 1007136(251832/755304)
Jun 05, 2017 10:43:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(812/1651) took 363525 ms. Total solver calls (SAT/UNSAT): 1012185(251898/760287)
Jun 05, 2017 10:43:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(818/1651) took 364579 ms. Total solver calls (SAT/UNSAT): 1017198(251964/765234)
Jun 05, 2017 10:43:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(824/1651) took 365635 ms. Total solver calls (SAT/UNSAT): 1022175(252030/770145)
Jun 05, 2017 10:43:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(830/1651) took 366687 ms. Total solver calls (SAT/UNSAT): 1027116(252096/775020)
Jun 05, 2017 10:43:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(836/1651) took 367733 ms. Total solver calls (SAT/UNSAT): 1032021(252162/779859)
Jun 05, 2017 10:43:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(842/1651) took 368764 ms. Total solver calls (SAT/UNSAT): 1036890(252228/784662)
Jun 05, 2017 10:43:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(848/1651) took 369777 ms. Total solver calls (SAT/UNSAT): 1041723(252294/789429)
Jun 05, 2017 10:43:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(854/1651) took 370786 ms. Total solver calls (SAT/UNSAT): 1046520(252360/794160)
Jun 05, 2017 10:43:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(861/1651) took 371953 ms. Total solver calls (SAT/UNSAT): 1052071(252437/799634)
Jun 05, 2017 10:43:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(867/1651) took 372953 ms. Total solver calls (SAT/UNSAT): 1056790(252503/804287)
Jun 05, 2017 10:43:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(873/1651) took 373955 ms. Total solver calls (SAT/UNSAT): 1061473(252569/808904)
Jun 05, 2017 10:43:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(880/1651) took 375112 ms. Total solver calls (SAT/UNSAT): 1066891(252635/814256)
Jun 05, 2017 10:43:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(887/1651) took 376263 ms. Total solver calls (SAT/UNSAT): 1072260(252635/819625)
Jun 05, 2017 10:43:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(894/1651) took 377398 ms. Total solver calls (SAT/UNSAT): 1077580(252690/824890)
Jun 05, 2017 10:43:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(901/1651) took 378517 ms. Total solver calls (SAT/UNSAT): 1082851(252767/830084)
Jun 05, 2017 10:43:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(908/1651) took 379669 ms. Total solver calls (SAT/UNSAT): 1088073(252844/835229)
Jun 05, 2017 10:43:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(915/1651) took 380762 ms. Total solver calls (SAT/UNSAT): 1093246(252921/840325)
Jun 05, 2017 10:43:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(922/1651) took 381831 ms. Total solver calls (SAT/UNSAT): 1098370(252998/845372)
Jun 05, 2017 10:43:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(929/1651) took 382889 ms. Total solver calls (SAT/UNSAT): 1103445(253075/850370)
Jun 05, 2017 10:43:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(936/1651) took 383934 ms. Total solver calls (SAT/UNSAT): 1108471(253152/855319)
Jun 05, 2017 10:43:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(943/1651) took 384967 ms. Total solver calls (SAT/UNSAT): 1113448(253229/860219)
Jun 05, 2017 10:43:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(950/1651) took 385987 ms. Total solver calls (SAT/UNSAT): 1118376(253306/865070)
Jun 05, 2017 10:43:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(957/1651) took 387008 ms. Total solver calls (SAT/UNSAT): 1123255(253383/869872)
Jun 05, 2017 10:43:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(964/1651) took 388020 ms. Total solver calls (SAT/UNSAT): 1128085(253460/874625)
Jun 05, 2017 10:43:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(971/1651) took 389022 ms. Total solver calls (SAT/UNSAT): 1132866(253537/879329)
Jun 05, 2017 10:43:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(979/1651) took 390161 ms. Total solver calls (SAT/UNSAT): 1138270(253625/884645)
Jun 05, 2017 10:43:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(987/1651) took 391282 ms. Total solver calls (SAT/UNSAT): 1143610(253713/889897)
Jun 05, 2017 10:43:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(995/1651) took 392348 ms. Total solver calls (SAT/UNSAT): 1148886(253735/895151)
Jun 05, 2017 10:43:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1003/1651) took 393415 ms. Total solver calls (SAT/UNSAT): 1154098(253779/900319)
Jun 05, 2017 10:43:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1011/1651) took 394495 ms. Total solver calls (SAT/UNSAT): 1159246(253867/905379)
Jun 05, 2017 10:43:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1019/1651) took 395563 ms. Total solver calls (SAT/UNSAT): 1164330(253955/910375)
Jun 05, 2017 10:43:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1027/1651) took 396612 ms. Total solver calls (SAT/UNSAT): 1169350(254043/915307)
Jun 05, 2017 10:43:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1035/1651) took 397648 ms. Total solver calls (SAT/UNSAT): 1174306(254131/920175)
Jun 05, 2017 10:43:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1043/1651) took 398674 ms. Total solver calls (SAT/UNSAT): 1179198(254219/924979)
Jun 05, 2017 10:43:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1051/1651) took 399686 ms. Total solver calls (SAT/UNSAT): 1184026(254307/929719)
Jun 05, 2017 10:43:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1059/1651) took 400689 ms. Total solver calls (SAT/UNSAT): 1188790(254395/934395)
Jun 05, 2017 10:43:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1068/1651) took 401810 ms. Total solver calls (SAT/UNSAT): 1194073(254494/939579)
Jun 05, 2017 10:43:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1077/1651) took 402913 ms. Total solver calls (SAT/UNSAT): 1199275(254593/944682)
Jun 05, 2017 10:43:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1086/1651) took 403998 ms. Total solver calls (SAT/UNSAT): 1204396(254692/949704)
Jun 05, 2017 10:43:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1095/1651) took 405064 ms. Total solver calls (SAT/UNSAT): 1209436(254791/954645)
Jun 05, 2017 10:43:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1104/1651) took 406081 ms. Total solver calls (SAT/UNSAT): 1214395(254835/959560)
Jun 05, 2017 10:43:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1113/1651) took 407085 ms. Total solver calls (SAT/UNSAT): 1219273(254879/964394)
Jun 05, 2017 10:43:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1122/1651) took 408104 ms. Total solver calls (SAT/UNSAT): 1224070(254978/969092)
Jun 05, 2017 10:43:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1132/1651) took 409213 ms. Total solver calls (SAT/UNSAT): 1229305(255088/974217)
Jun 05, 2017 10:43:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1142/1651) took 410299 ms. Total solver calls (SAT/UNSAT): 1234440(255198/979242)
Jun 05, 2017 10:43:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1152/1651) took 411366 ms. Total solver calls (SAT/UNSAT): 1239475(255308/984167)
Jun 05, 2017 10:43:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1162/1651) took 412424 ms. Total solver calls (SAT/UNSAT): 1244410(255418/988992)
Jun 05, 2017 10:43:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1172/1651) took 413463 ms. Total solver calls (SAT/UNSAT): 1249245(255528/993717)
Jun 05, 2017 10:43:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1182/1651) took 414481 ms. Total solver calls (SAT/UNSAT): 1253980(255638/998342)
Jun 05, 2017 10:43:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1193/1651) took 415578 ms. Total solver calls (SAT/UNSAT): 1259073(255759/1003314)
Jun 05, 2017 10:43:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1204/1651) took 416647 ms. Total solver calls (SAT/UNSAT): 1264045(255880/1008165)
Jun 05, 2017 10:43:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1215/1651) took 417647 ms. Total solver calls (SAT/UNSAT): 1268896(255935/1012961)
Jun 05, 2017 10:43:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1227/1651) took 418726 ms. Total solver calls (SAT/UNSAT): 1274050(256023/1018027)
Jun 05, 2017 10:44:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1239/1651) took 419800 ms. Total solver calls (SAT/UNSAT): 1279060(256155/1022905)
Jun 05, 2017 10:44:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1251/1651) took 420846 ms. Total solver calls (SAT/UNSAT): 1283926(256287/1027639)
Jun 05, 2017 10:44:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1262/1651) took 421916 ms. Total solver calls (SAT/UNSAT): 1288260(256408/1031852)
Jun 05, 2017 10:44:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1273/1651) took 422916 ms. Total solver calls (SAT/UNSAT): 1292473(256529/1035944)
Jun 05, 2017 10:44:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1285/1651) took 423925 ms. Total solver calls (SAT/UNSAT): 1296931(256661/1040270)
Jun 05, 2017 10:44:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1298/1651) took 424971 ms. Total solver calls (SAT/UNSAT): 1301598(256804/1044794)
Jun 05, 2017 10:44:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1312/1651) took 426042 ms. Total solver calls (SAT/UNSAT): 1306435(256958/1049477)
Jun 05, 2017 10:44:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1327/1651) took 427087 ms. Total solver calls (SAT/UNSAT): 1311400(257035/1054365)
Jun 05, 2017 10:44:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1342/1651) took 428128 ms. Total solver calls (SAT/UNSAT): 1316140(257178/1058962)
Jun 05, 2017 10:44:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1357/1651) took 429146 ms. Total solver calls (SAT/UNSAT): 1320655(257343/1063312)
Jun 05, 2017 10:44:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1371/1651) took 430211 ms. Total solver calls (SAT/UNSAT): 1324666(257497/1067169)
Jun 05, 2017 10:44:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1386/1651) took 431247 ms. Total solver calls (SAT/UNSAT): 1328746(257662/1071084)
Jun 05, 2017 10:44:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1403/1651) took 432263 ms. Total solver calls (SAT/UNSAT): 1333098(257849/1075249)
Jun 05, 2017 10:44:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1422/1651) took 433315 ms. Total solver calls (SAT/UNSAT): 1337620(258058/1079562)
Jun 05, 2017 10:44:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1444/1651) took 434353 ms. Total solver calls (SAT/UNSAT): 1342405(258190/1084215)
Jun 05, 2017 10:44:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1466/1651) took 435390 ms. Total solver calls (SAT/UNSAT): 1346706(258432/1088274)
Jun 05, 2017 10:44:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1490/1651) took 436408 ms. Total solver calls (SAT/UNSAT): 1350846(258696/1092150)
Jun 05, 2017 10:44:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1518/1651) took 437435 ms. Total solver calls (SAT/UNSAT): 1354948(259004/1095944)
Jun 05, 2017 10:44:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1557/1651) took 438454 ms. Total solver calls (SAT/UNSAT): 1359355(259235/1100120)
Jun 05, 2017 10:44:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 439388 ms. Total solver calls (SAT/UNSAT): 1363726(259235/1104491)
Jun 05, 2017 10:44:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 1651 transitions.
Jun 05, 2017 10:44:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed DNA matrix. took 58 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Jun 05, 2017 10:44:21 AM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Built C files in 1094888ms conformant to PINS in folder :/home/mcc/execution

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_SafeBus-COL-10"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/S_SafeBus-COL-10.tgz
mv S_SafeBus-COL-10 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is S_SafeBus-COL-10, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r150-csrt-149443434800197"
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 ;