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 '
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 ;