About the Execution of ITS-Tools for SafeBus-COL-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15920.440 | 3600000.00 | 4174180.00 | 459.30 | [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 SafeBus-COL-10, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r070-csrt-149440964800197
=====================================================================
--------------------
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 1496313304556
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 01, 2017 10:35:05 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 10:35:06 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 01, 2017 10:35:07 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1264 ms
Jun 01, 2017 10:35:07 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 20 places.
Jun 01, 2017 10:35:07 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Jun 01, 2017 10:35:07 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 01, 2017 10:35:07 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 14 transitions.
Jun 01, 2017 10:35:07 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Jun 01, 2017 10:35:07 AM fr.lip6.move.gal.logic.togal.ToGalTransformer toGal
WARNING: Unknown predicate type in boolean expression fr.lip6.move.gal.logic.impl.DeadlockImpl
Jun 01, 2017 10:35:07 AM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Jun 01, 2017 10:35:07 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Jun 01, 2017 10:35:07 AM fr.lip6.move.gal.instantiate.Instantiator fuseEqualParameters
INFO: Fused parameters : $x and $y of transition C_refuse
Jun 01, 2017 10:35:07 AM fr.lip6.move.gal.instantiate.Instantiator fuseEqualParameters
INFO: Fused parameters : $i and $j of transition C_free
Jun 01, 2017 10:35:07 AM fr.lip6.move.gal.instantiate.Instantiator fuseEqualParameters
INFO: Fused parameters : $x and $y of transition C_provide
Jun 01, 2017 10:35:07 AM fr.lip6.move.gal.instantiate.Instantiator fuseEqualParameters
INFO: Fused parameters : $r and $i of transition I_rec1
Jun 01, 2017 10:35:07 AM fr.lip6.move.gal.instantiate.Instantiator fuseEqualParameters
INFO: Fused parameters : $i and $j of transition I_emit
Jun 01, 2017 10:35:07 AM fr.lip6.move.gal.instantiate.Instantiator fuseEqualParameters
INFO: Fused parameters : $i and $j of transition I_refused
Jun 01, 2017 10:35:07 AM fr.lip6.move.gal.instantiate.Instantiator fuseEqualParameters
INFO: Fused parameters : $r and $i of transition I_rec2
Jun 01, 2017 10:35:07 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 01, 2017 10:35:07 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 01, 2017 10:35:07 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 01, 2017 10:35:07 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: msgl[0-9],
Jun 01, 2017 10:35:07 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 90 expressions due to constant valuations.
Jun 01, 2017 10:35:07 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property SafeBus-COL-10-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
Jun 01, 2017 10:35:07 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 250 ms
Jun 01, 2017 10:35:07 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 01, 2017 10:35:07 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 1146 redundant transitions.
Jun 01, 2017 10:35:07 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property SafeBus-COL-10-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
Jun 01, 2017 10:35:07 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityDeadlock.pnml.gal : 24 ms
Jun 01, 2017 10:35:09 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 45 place invariants in 306 ms
Jun 01, 2017 10:35:54 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 316 variables to be positive in 46005 ms
Jun 01, 2017 10:35:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 1651 transitions.
Jun 01, 2017 10:35: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 01, 2017 10:35:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/1651 took 1056 ms. Total solver calls (SAT/UNSAT): 2231(371/1860)
Jun 01, 2017 10:35:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :51/1651 took 2061 ms. Total solver calls (SAT/UNSAT): 3358(808/2550)
Jun 01, 2017 10:35:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :77/1651 took 3090 ms. Total solver calls (SAT/UNSAT): 4632(1302/3330)
Jun 01, 2017 10:35:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :102/1651 took 4100 ms. Total solver calls (SAT/UNSAT): 5857(1777/4080)
Jun 01, 2017 10:35:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/1651 took 5110 ms. Total solver calls (SAT/UNSAT): 7634(2132/5502)
Jun 01, 2017 10:36:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/1651 took 6142 ms. Total solver calls (SAT/UNSAT): 9026(2588/6438)
Jun 01, 2017 10:36:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/1651 took 7172 ms. Total solver calls (SAT/UNSAT): 10476(3063/7413)
Jun 01, 2017 10:36:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/1651 took 8173 ms. Total solver calls (SAT/UNSAT): 11868(3519/8349)
Jun 01, 2017 10:36:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/1651 took 9178 ms. Total solver calls (SAT/UNSAT): 13330(3961/9369)
Jun 01, 2017 10:36:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :290/1651 took 10194 ms. Total solver calls (SAT/UNSAT): 15010(4339/10671)
Jun 01, 2017 10:36:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :331/1651 took 11234 ms. Total solver calls (SAT/UNSAT): 16833(4694/12139)
Jun 01, 2017 10:36:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :361/1651 took 12240 ms. Total solver calls (SAT/UNSAT): 20791(4754/16037)
Jun 01, 2017 10:36:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/1651 took 13265 ms. Total solver calls (SAT/UNSAT): 24880(4816/20064)
Jun 01, 2017 10:36:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/1651 took 14284 ms. Total solver calls (SAT/UNSAT): 28837(4876/23961)
Jun 01, 2017 10:36:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/1651 took 15321 ms. Total solver calls (SAT/UNSAT): 32240(5015/27225)
Jun 01, 2017 10:36:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/1651 took 16330 ms. Total solver calls (SAT/UNSAT): 36772(5026/31746)
Jun 01, 2017 10:36:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :466/1651 took 17342 ms. Total solver calls (SAT/UNSAT): 41304(5037/36267)
Jun 01, 2017 10:36:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/1651 took 18374 ms. Total solver calls (SAT/UNSAT): 45836(5048/40788)
Jun 01, 2017 10:36:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/1651 took 19397 ms. Total solver calls (SAT/UNSAT): 50368(5059/45309)
Jun 01, 2017 10:36:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/1651 took 20513 ms. Total solver calls (SAT/UNSAT): 54900(5070/49830)
Jun 01, 2017 10:36:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/1651 took 21577 ms. Total solver calls (SAT/UNSAT): 59432(5081/54351)
Jun 01, 2017 10:36:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/1651 took 22606 ms. Total solver calls (SAT/UNSAT): 63964(5092/58872)
Jun 01, 2017 10:36:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/1651 took 23670 ms. Total solver calls (SAT/UNSAT): 68496(5103/63393)
Jun 01, 2017 10:36:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/1651 took 24703 ms. Total solver calls (SAT/UNSAT): 72950(5120/67830)
Jun 01, 2017 10:36:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/1651 took 25733 ms. Total solver calls (SAT/UNSAT): 77030(5186/71844)
Jun 01, 2017 10:36:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/1651 took 26790 ms. Total solver calls (SAT/UNSAT): 80770(5307/75463)
Jun 01, 2017 10:36:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/1651 took 27834 ms. Total solver calls (SAT/UNSAT): 84510(5428/79082)
Jun 01, 2017 10:36:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :598/1651 took 28898 ms. Total solver calls (SAT/UNSAT): 88250(5549/82701)
Jun 01, 2017 10:36:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :609/1651 took 29939 ms. Total solver calls (SAT/UNSAT): 91990(5670/86320)
Jun 01, 2017 10:36:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :620/1651 took 30982 ms. Total solver calls (SAT/UNSAT): 95730(5791/89939)
Jun 01, 2017 10:36:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :631/1651 took 32021 ms. Total solver calls (SAT/UNSAT): 99470(5912/93558)
Jun 01, 2017 10:36:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :642/1651 took 33061 ms. Total solver calls (SAT/UNSAT): 103210(6033/97177)
Jun 01, 2017 10:36:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :653/1651 took 34097 ms. Total solver calls (SAT/UNSAT): 106950(6154/100796)
Jun 01, 2017 10:36:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :665/1651 took 35110 ms. Total solver calls (SAT/UNSAT): 111030(6220/104810)
Jun 01, 2017 10:36:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :677/1651 took 36169 ms. Total solver calls (SAT/UNSAT): 115110(6308/108802)
Jun 01, 2017 10:36:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :688/1651 took 37211 ms. Total solver calls (SAT/UNSAT): 118850(6429/112421)
Jun 01, 2017 10:36:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :698/1651 took 38234 ms. Total solver calls (SAT/UNSAT): 122250(6539/115711)
Jun 01, 2017 10:36:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :709/1651 took 39285 ms. Total solver calls (SAT/UNSAT): 125990(6660/119330)
Jun 01, 2017 10:36:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :720/1651 took 40327 ms. Total solver calls (SAT/UNSAT): 129730(6781/122949)
Jun 01, 2017 10:36:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :731/1651 took 41368 ms. Total solver calls (SAT/UNSAT): 133470(6902/126568)
Jun 01, 2017 10:36:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :742/1651 took 42410 ms. Total solver calls (SAT/UNSAT): 137210(7023/130187)
Jun 01, 2017 10:36:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :753/1651 took 43445 ms. Total solver calls (SAT/UNSAT): 140950(7144/133806)
Jun 01, 2017 10:36:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :764/1651 took 44482 ms. Total solver calls (SAT/UNSAT): 144690(7265/137425)
Jun 01, 2017 10:36:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :777/1651 took 45549 ms. Total solver calls (SAT/UNSAT): 149110(7320/141790)
Jun 01, 2017 10:36:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :788/1651 took 46550 ms. Total solver calls (SAT/UNSAT): 152850(7419/145431)
Jun 01, 2017 10:36:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :798/1651 took 47567 ms. Total solver calls (SAT/UNSAT): 156250(7529/148721)
Jun 01, 2017 10:36:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :809/1651 took 48634 ms. Total solver calls (SAT/UNSAT): 159990(7650/152340)
Jun 01, 2017 10:36:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :820/1651 took 49695 ms. Total solver calls (SAT/UNSAT): 163730(7771/155959)
Jun 01, 2017 10:36:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :831/1651 took 50753 ms. Total solver calls (SAT/UNSAT): 167470(7892/159578)
Jun 01, 2017 10:36:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :842/1651 took 51799 ms. Total solver calls (SAT/UNSAT): 171210(8013/163197)
Jun 01, 2017 10:36:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :853/1651 took 52836 ms. Total solver calls (SAT/UNSAT): 174950(8134/166816)
Jun 01, 2017 10:36:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :864/1651 took 53873 ms. Total solver calls (SAT/UNSAT): 178690(8255/170435)
Jun 01, 2017 10:36:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :875/1651 took 54913 ms. Total solver calls (SAT/UNSAT): 182430(8376/174054)
Jun 01, 2017 10:36:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :888/1651 took 55959 ms. Total solver calls (SAT/UNSAT): 186850(8420/178430)
Jun 01, 2017 10:36:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :899/1651 took 56981 ms. Total solver calls (SAT/UNSAT): 190590(8530/182060)
Jun 01, 2017 10:36:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :910/1651 took 58021 ms. Total solver calls (SAT/UNSAT): 194330(8651/185679)
Jun 01, 2017 10:36:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :920/1651 took 59045 ms. Total solver calls (SAT/UNSAT): 197730(8761/188969)
Jun 01, 2017 10:36:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :931/1651 took 60087 ms. Total solver calls (SAT/UNSAT): 201470(8882/192588)
Jun 01, 2017 10:36:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :942/1651 took 61129 ms. Total solver calls (SAT/UNSAT): 205210(9003/196207)
Jun 01, 2017 10:36:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :953/1651 took 62165 ms. Total solver calls (SAT/UNSAT): 208950(9124/199826)
Jun 01, 2017 10:36:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :964/1651 took 63204 ms. Total solver calls (SAT/UNSAT): 212690(9245/203445)
Jun 01, 2017 10:36:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :975/1651 took 64244 ms. Total solver calls (SAT/UNSAT): 216430(9366/207064)
Jun 01, 2017 10:37:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :986/1651 took 65285 ms. Total solver calls (SAT/UNSAT): 220170(9487/210683)
Jun 01, 2017 10:37:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :999/1651 took 66308 ms. Total solver calls (SAT/UNSAT): 224590(9520/215070)
Jun 01, 2017 10:37:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1010/1651 took 67349 ms. Total solver calls (SAT/UNSAT): 228330(9641/218689)
Jun 01, 2017 10:37:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1021/1651 took 68389 ms. Total solver calls (SAT/UNSAT): 232070(9762/222308)
Jun 01, 2017 10:37:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1032/1651 took 69431 ms. Total solver calls (SAT/UNSAT): 235810(9883/225927)
Jun 01, 2017 10:37:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1042/1651 took 70478 ms. Total solver calls (SAT/UNSAT): 239210(9993/229217)
Jun 01, 2017 10:37:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1053/1651 took 71526 ms. Total solver calls (SAT/UNSAT): 242950(10114/232836)
Jun 01, 2017 10:37:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1064/1651 took 72564 ms. Total solver calls (SAT/UNSAT): 246690(10235/236455)
Jun 01, 2017 10:37:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1075/1651 took 73608 ms. Total solver calls (SAT/UNSAT): 250430(10356/240074)
Jun 01, 2017 10:37:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1086/1651 took 74653 ms. Total solver calls (SAT/UNSAT): 254170(10477/243693)
Jun 01, 2017 10:37:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1097/1651 took 75696 ms. Total solver calls (SAT/UNSAT): 257910(10598/247312)
Jun 01, 2017 10:37:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1110/1651 took 76727 ms. Total solver calls (SAT/UNSAT): 262330(10631/251699)
Jun 01, 2017 10:37:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1121/1651 took 77787 ms. Total solver calls (SAT/UNSAT): 266070(10752/255318)
Jun 01, 2017 10:37:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1132/1651 took 78846 ms. Total solver calls (SAT/UNSAT): 269810(10873/258937)
Jun 01, 2017 10:37:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1143/1651 took 79892 ms. Total solver calls (SAT/UNSAT): 273550(10994/262556)
Jun 01, 2017 10:37:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1154/1651 took 80930 ms. Total solver calls (SAT/UNSAT): 277290(11115/266175)
Jun 01, 2017 10:37:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1165/1651 took 82024 ms. Total solver calls (SAT/UNSAT): 281030(11236/269794)
Jun 01, 2017 10:37:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1176/1651 took 83099 ms. Total solver calls (SAT/UNSAT): 284770(11357/273413)
Jun 01, 2017 10:37:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1187/1651 took 84146 ms. Total solver calls (SAT/UNSAT): 288510(11478/277032)
Jun 01, 2017 10:37:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1198/1651 took 85193 ms. Total solver calls (SAT/UNSAT): 292250(11599/280651)
Jun 01, 2017 10:37:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1209/1651 took 86239 ms. Total solver calls (SAT/UNSAT): 295990(11720/284270)
Jun 01, 2017 10:37:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1222/1651 took 87279 ms. Total solver calls (SAT/UNSAT): 300410(11753/288657)
Jun 01, 2017 10:37:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1233/1651 took 88325 ms. Total solver calls (SAT/UNSAT): 304150(11874/292276)
Jun 01, 2017 10:37:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1244/1651 took 89369 ms. Total solver calls (SAT/UNSAT): 307890(11995/295895)
Jun 01, 2017 10:37:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1255/1651 took 90410 ms. Total solver calls (SAT/UNSAT): 311630(12116/299514)
Jun 01, 2017 10:37:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1266/1651 took 91456 ms. Total solver calls (SAT/UNSAT): 315370(12237/303133)
Jun 01, 2017 10:37:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1277/1651 took 92501 ms. Total solver calls (SAT/UNSAT): 319110(12358/306752)
Jun 01, 2017 10:37:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1288/1651 took 93548 ms. Total solver calls (SAT/UNSAT): 322850(12479/310371)
Jun 01, 2017 10:37:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1299/1651 took 94640 ms. Total solver calls (SAT/UNSAT): 326590(12600/313990)
Jun 01, 2017 10:37:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1310/1651 took 95703 ms. Total solver calls (SAT/UNSAT): 330330(12721/317609)
Jun 01, 2017 10:37:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1321/1651 took 96709 ms. Total solver calls (SAT/UNSAT): 334070(12820/321250)
Jun 01, 2017 10:37:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1334/1651 took 97784 ms. Total solver calls (SAT/UNSAT): 338490(12875/325615)
Jun 01, 2017 10:37:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1345/1651 took 98828 ms. Total solver calls (SAT/UNSAT): 342230(12996/329234)
Jun 01, 2017 10:37:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1356/1651 took 99869 ms. Total solver calls (SAT/UNSAT): 345970(13117/332853)
Jun 01, 2017 10:37:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1367/1651 took 100914 ms. Total solver calls (SAT/UNSAT): 349710(13238/336472)
Jun 01, 2017 10:37:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1378/1651 took 101960 ms. Total solver calls (SAT/UNSAT): 353450(13359/340091)
Jun 01, 2017 10:37:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1389/1651 took 103006 ms. Total solver calls (SAT/UNSAT): 357190(13480/343710)
Jun 01, 2017 10:37:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1400/1651 took 104054 ms. Total solver calls (SAT/UNSAT): 360930(13601/347329)
Jun 01, 2017 10:37:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1411/1651 took 105102 ms. Total solver calls (SAT/UNSAT): 364670(13722/350948)
Jun 01, 2017 10:37:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1422/1651 took 106150 ms. Total solver calls (SAT/UNSAT): 368410(13843/354567)
Jun 01, 2017 10:37:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1434/1651 took 107190 ms. Total solver calls (SAT/UNSAT): 372490(13920/358570)
Jun 01, 2017 10:37:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1445/1651 took 108273 ms. Total solver calls (SAT/UNSAT): 376230(13986/362244)
Jun 01, 2017 10:37:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1455/1651 took 109294 ms. Total solver calls (SAT/UNSAT): 379630(14096/365534)
Jun 01, 2017 10:37:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1466/1651 took 110355 ms. Total solver calls (SAT/UNSAT): 383370(14217/369153)
Jun 01, 2017 10:37:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1477/1651 took 111416 ms. Total solver calls (SAT/UNSAT): 387110(14338/372772)
Jun 01, 2017 10:37:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1488/1651 took 112465 ms. Total solver calls (SAT/UNSAT): 390850(14459/376391)
Jun 01, 2017 10:37:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1499/1651 took 113513 ms. Total solver calls (SAT/UNSAT): 394590(14580/380010)
Jun 01, 2017 10:37:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1510/1651 took 114563 ms. Total solver calls (SAT/UNSAT): 398330(14701/383629)
Jun 01, 2017 10:37:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1521/1651 took 115613 ms. Total solver calls (SAT/UNSAT): 402070(14822/387248)
Jun 01, 2017 10:37:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1532/1651 took 116663 ms. Total solver calls (SAT/UNSAT): 405810(14943/390867)
Jun 01, 2017 10:37:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1544/1651 took 117703 ms. Total solver calls (SAT/UNSAT): 409890(15020/394870)
Jun 01, 2017 10:37:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1575/1651 took 118708 ms. Total solver calls (SAT/UNSAT): 414525(15046/399479)
Jun 01, 2017 10:37:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1614/1651 took 119731 ms. Total solver calls (SAT/UNSAT): 418929(15085/403844)
Jun 01, 2017 10:37:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1650/1651 took 120814 ms. Total solver calls (SAT/UNSAT): 423021(15221/407800)
Jun 01, 2017 10:37:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 120815 ms. Total solver calls (SAT/UNSAT): 423021(15221/407800)
Jun 01, 2017 10:37:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 1651 transitions.
Jun 01, 2017 10:37:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/1651 took 1020 ms. Total solver calls (SAT/UNSAT): 650(450/200)
Jun 01, 2017 10:37:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :9/1651 took 2056 ms. Total solver calls (SAT/UNSAT): 1300(900/400)
Jun 01, 2017 10:37:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :25/1651 took 3123 ms. Total solver calls (SAT/UNSAT): 2084(1204/880)
Jun 01, 2017 10:37:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/1651 took 4171 ms. Total solver calls (SAT/UNSAT): 2868(1508/1360)
Jun 01, 2017 10:38:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/1651 took 5173 ms. Total solver calls (SAT/UNSAT): 3603(1793/1810)
Jun 01, 2017 10:38:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/1651 took 6221 ms. Total solver calls (SAT/UNSAT): 4387(2097/2290)
Jun 01, 2017 10:38:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/1651 took 7281 ms. Total solver calls (SAT/UNSAT): 5171(2401/2770)
Jun 01, 2017 10:38:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/1651 took 8329 ms. Total solver calls (SAT/UNSAT): 5955(2705/3250)
Jun 01, 2017 10:38:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/1651 took 9339 ms. Total solver calls (SAT/UNSAT): 6686(3070/3616)
Jun 01, 2017 10:38:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/1651 took 10381 ms. Total solver calls (SAT/UNSAT): 7402(3392/4010)
Jun 01, 2017 10:38:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/1651 took 11435 ms. Total solver calls (SAT/UNSAT): 8156(3756/4400)
Jun 01, 2017 10:38:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :169/1651 took 12495 ms. Total solver calls (SAT/UNSAT): 8910(4120/4790)
Jun 01, 2017 10:38:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/1651 took 13537 ms. Total solver calls (SAT/UNSAT): 9664(4484/5180)
Jun 01, 2017 10:38:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/1651 took 14606 ms. Total solver calls (SAT/UNSAT): 10418(4848/5570)
Jun 01, 2017 10:38:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :208/1651 took 15647 ms. Total solver calls (SAT/UNSAT): 11172(5212/5960)
Jun 01, 2017 10:38:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/1651 took 16683 ms. Total solver calls (SAT/UNSAT): 11926(5576/6350)
Jun 01, 2017 10:38:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/1651 took 17748 ms. Total solver calls (SAT/UNSAT): 12680(5940/6740)
Jun 01, 2017 10:38:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :254/1651 took 18749 ms. Total solver calls (SAT/UNSAT): 13570(6230/7340)
Jun 01, 2017 10:38:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :280/1651 took 19757 ms. Total solver calls (SAT/UNSAT): 14610(6490/8120)
Jun 01, 2017 10:38:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :306/1651 took 20775 ms. Total solver calls (SAT/UNSAT): 15650(6750/8900)
Jun 01, 2017 10:38:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :330/1651 took 21860 ms. Total solver calls (SAT/UNSAT): 16701(6998/9703)
Jun 01, 2017 10:38:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/1651 took 22900 ms. Total solver calls (SAT/UNSAT): 17493(7106/10387)
Jun 01, 2017 10:38:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :342/1651 took 23938 ms. Total solver calls (SAT/UNSAT): 18284(7214/11070)
Jun 01, 2017 10:38:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/1651 took 24978 ms. Total solver calls (SAT/UNSAT): 19076(7322/11754)
Jun 01, 2017 10:38:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/1651 took 26028 ms. Total solver calls (SAT/UNSAT): 19867(7430/12437)
Jun 01, 2017 10:38:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/1651 took 27067 ms. Total solver calls (SAT/UNSAT): 20659(7538/13121)
Jun 01, 2017 10:38:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :366/1651 took 28106 ms. Total solver calls (SAT/UNSAT): 21450(7646/13804)
Jun 01, 2017 10:38:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/1651 took 29149 ms. Total solver calls (SAT/UNSAT): 22242(7754/14488)
Jun 01, 2017 10:38:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/1651 took 30196 ms. Total solver calls (SAT/UNSAT): 23033(7862/15171)
Jun 01, 2017 10:38:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/1651 took 31243 ms. Total solver calls (SAT/UNSAT): 23825(7970/15855)
Jun 01, 2017 10:38:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/1651 took 32292 ms. Total solver calls (SAT/UNSAT): 24616(8078/16538)
Jun 01, 2017 10:38:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/1651 took 33338 ms. Total solver calls (SAT/UNSAT): 25407(8186/17221)
Jun 01, 2017 10:38:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/1651 took 34384 ms. Total solver calls (SAT/UNSAT): 26199(8294/17905)
Jun 01, 2017 10:38:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/1651 took 35434 ms. Total solver calls (SAT/UNSAT): 26990(8402/18588)
Jun 01, 2017 10:38:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/1651 took 36476 ms. Total solver calls (SAT/UNSAT): 27782(8510/19272)
Jun 01, 2017 10:38:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/1651 took 37514 ms. Total solver calls (SAT/UNSAT): 28573(8618/19955)
Jun 01, 2017 10:38:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :426/1651 took 38550 ms. Total solver calls (SAT/UNSAT): 29365(8726/20639)
Jun 01, 2017 10:38:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/1651 took 39577 ms. Total solver calls (SAT/UNSAT): 30138(8942/21196)
Jun 01, 2017 10:38:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/1651 took 40931 ms. Total solver calls (SAT/UNSAT): 31416(8996/22420)
Jun 01, 2017 10:38:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/1651 took 42327 ms. Total solver calls (SAT/UNSAT): 32652(9032/23620)
Jun 01, 2017 10:38:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/1651 took 43727 ms. Total solver calls (SAT/UNSAT): 33888(9068/24820)
Jun 01, 2017 10:38:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :451/1651 took 45048 ms. Total solver calls (SAT/UNSAT): 35124(9104/26020)
Jun 01, 2017 10:38:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :454/1651 took 46448 ms. Total solver calls (SAT/UNSAT): 36360(9140/27220)
Jun 01, 2017 10:38:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/1651 took 47462 ms. Total solver calls (SAT/UNSAT): 37184(9164/28020)
Jun 01, 2017 10:38:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/1651 took 48891 ms. Total solver calls (SAT/UNSAT): 38420(9200/29220)
Jun 01, 2017 10:38:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/1651 took 50221 ms. Total solver calls (SAT/UNSAT): 39656(9236/30420)
Jun 01, 2017 10:38:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/1651 took 51626 ms. Total solver calls (SAT/UNSAT): 40892(9272/31620)
Jun 01, 2017 10:38:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/1651 took 53025 ms. Total solver calls (SAT/UNSAT): 42128(9308/32820)
Jun 01, 2017 10:38:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/1651 took 54338 ms. Total solver calls (SAT/UNSAT): 43364(9344/34020)
Jun 01, 2017 10:38:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :474/1651 took 55726 ms. Total solver calls (SAT/UNSAT): 44600(9380/35220)
Jun 01, 2017 10:38:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/1651 took 57134 ms. Total solver calls (SAT/UNSAT): 45836(9416/36420)
Jun 01, 2017 10:38:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/1651 took 58434 ms. Total solver calls (SAT/UNSAT): 47072(9452/37620)
Jun 01, 2017 10:38:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/1651 took 59840 ms. Total solver calls (SAT/UNSAT): 48308(9488/38820)
Jun 01, 2017 10:38:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/1651 took 61247 ms. Total solver calls (SAT/UNSAT): 49544(9524/40020)
Jun 01, 2017 10:38:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/1651 took 62631 ms. Total solver calls (SAT/UNSAT): 50780(9560/41220)
Jun 01, 2017 10:38:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/1651 took 63937 ms. Total solver calls (SAT/UNSAT): 52016(9596/42420)
Jun 01, 2017 10:39:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/1651 took 65346 ms. Total solver calls (SAT/UNSAT): 53252(9632/43620)
Jun 01, 2017 10:39:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/1651 took 66754 ms. Total solver calls (SAT/UNSAT): 54488(9668/44820)
Jun 01, 2017 10:39:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/1651 took 68075 ms. Total solver calls (SAT/UNSAT): 55724(9704/46020)
Jun 01, 2017 10:39:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/1651 took 69485 ms. Total solver calls (SAT/UNSAT): 56960(9740/47220)
Jun 01, 2017 10:39:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/1651 took 70894 ms. Total solver calls (SAT/UNSAT): 58196(9776/48420)
Jun 01, 2017 10:39:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/1651 took 72204 ms. Total solver calls (SAT/UNSAT): 59432(9812/49620)
Jun 01, 2017 10:39:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/1651 took 73611 ms. Total solver calls (SAT/UNSAT): 60668(9848/50820)
Jun 01, 2017 10:39:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/1651 took 75021 ms. Total solver calls (SAT/UNSAT): 61904(9884/52020)
Jun 01, 2017 10:39:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/1651 took 76438 ms. Total solver calls (SAT/UNSAT): 63140(9920/53220)
Jun 01, 2017 10:39:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/1651 took 77756 ms. Total solver calls (SAT/UNSAT): 64376(9956/54420)
Jun 01, 2017 10:39:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/1651 took 79213 ms. Total solver calls (SAT/UNSAT): 65612(9992/55620)
Jun 01, 2017 10:39:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/1651 took 80628 ms. Total solver calls (SAT/UNSAT): 66848(10028/56820)
Jun 01, 2017 10:39:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/1651 took 81958 ms. Total solver calls (SAT/UNSAT): 68084(10064/58020)
Jun 01, 2017 10:39:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/1651 took 83375 ms. Total solver calls (SAT/UNSAT): 69320(10100/59220)
Jun 01, 2017 10:39:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :537/1651 took 84782 ms. Total solver calls (SAT/UNSAT): 70556(10136/60420)
Jun 01, 2017 10:39:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/1651 took 85789 ms. Total solver calls (SAT/UNSAT): 71422(10180/61242)
Jun 01, 2017 10:39:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/1651 took 87021 ms. Total solver calls (SAT/UNSAT): 72610(10260/62350)
Jun 01, 2017 10:39:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/1651 took 88104 ms. Total solver calls (SAT/UNSAT): 73630(10260/63370)
Jun 01, 2017 10:39:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/1651 took 89225 ms. Total solver calls (SAT/UNSAT): 74650(10260/64390)
Jun 01, 2017 10:39:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/1651 took 90280 ms. Total solver calls (SAT/UNSAT): 75670(10282/65388)
Jun 01, 2017 10:39:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/1651 took 91448 ms. Total solver calls (SAT/UNSAT): 76690(10315/66375)
Jun 01, 2017 10:39:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/1651 took 92754 ms. Total solver calls (SAT/UNSAT): 77710(10348/67362)
Jun 01, 2017 10:39:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/1651 took 93826 ms. Total solver calls (SAT/UNSAT): 78730(10381/68349)
Jun 01, 2017 10:39:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/1651 took 94989 ms. Total solver calls (SAT/UNSAT): 79750(10414/69336)
Jun 01, 2017 10:39:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/1651 took 96125 ms. Total solver calls (SAT/UNSAT): 80770(10447/70323)
Jun 01, 2017 10:39:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/1651 took 97303 ms. Total solver calls (SAT/UNSAT): 81790(10480/71310)
Jun 01, 2017 10:39:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/1651 took 98364 ms. Total solver calls (SAT/UNSAT): 82810(10513/72297)
Jun 01, 2017 10:39:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/1651 took 99517 ms. Total solver calls (SAT/UNSAT): 83830(10546/73284)
Jun 01, 2017 10:39:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/1651 took 100687 ms. Total solver calls (SAT/UNSAT): 84850(10579/74271)
Jun 01, 2017 10:39:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/1651 took 101751 ms. Total solver calls (SAT/UNSAT): 85870(10612/75258)
Jun 01, 2017 10:39:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :594/1651 took 102862 ms. Total solver calls (SAT/UNSAT): 86890(10645/76245)
Jun 01, 2017 10:39:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :597/1651 took 104039 ms. Total solver calls (SAT/UNSAT): 87910(10678/77232)
Jun 01, 2017 10:39:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :600/1651 took 105114 ms. Total solver calls (SAT/UNSAT): 88930(10711/78219)
Jun 01, 2017 10:39:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :603/1651 took 106278 ms. Total solver calls (SAT/UNSAT): 89950(10744/79206)
Jun 01, 2017 10:39:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :606/1651 took 107459 ms. Total solver calls (SAT/UNSAT): 90970(10777/80193)
Jun 01, 2017 10:39:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :609/1651 took 108623 ms. Total solver calls (SAT/UNSAT): 91990(10810/81180)
Jun 01, 2017 10:39:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :612/1651 took 109659 ms. Total solver calls (SAT/UNSAT): 93010(10843/82167)
Jun 01, 2017 10:39:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :615/1651 took 110791 ms. Total solver calls (SAT/UNSAT): 94030(10876/83154)
Jun 01, 2017 10:39:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :618/1651 took 111959 ms. Total solver calls (SAT/UNSAT): 95050(10909/84141)
Jun 01, 2017 10:39:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :621/1651 took 113011 ms. Total solver calls (SAT/UNSAT): 96070(10942/85128)
Jun 01, 2017 10:39:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :624/1651 took 114157 ms. Total solver calls (SAT/UNSAT): 97090(10975/86115)
Jun 01, 2017 10:39:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :627/1651 took 115292 ms. Total solver calls (SAT/UNSAT): 98110(11008/87102)
Jun 01, 2017 10:39:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :630/1651 took 116358 ms. Total solver calls (SAT/UNSAT): 99130(11041/88089)
Jun 01, 2017 10:39:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :633/1651 took 117498 ms. Total solver calls (SAT/UNSAT): 100150(11074/89076)
Jun 01, 2017 10:39:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :636/1651 took 118651 ms. Total solver calls (SAT/UNSAT): 101170(11107/90063)
Jun 01, 2017 10:39:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :639/1651 took 119806 ms. Total solver calls (SAT/UNSAT): 102190(11140/91050)
Jun 01, 2017 10:39:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :642/1651 took 120861 ms. Total solver calls (SAT/UNSAT): 103210(11173/92037)
Jun 01, 2017 10:39:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :645/1651 took 122010 ms. Total solver calls (SAT/UNSAT): 104230(11206/93024)
Jun 01, 2017 10:39:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :648/1651 took 123162 ms. Total solver calls (SAT/UNSAT): 105250(11239/94011)
Jun 01, 2017 10:39:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :651/1651 took 124280 ms. Total solver calls (SAT/UNSAT): 106270(11272/94998)
Jun 01, 2017 10:40:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :654/1651 took 125506 ms. Total solver calls (SAT/UNSAT): 107290(11305/95985)
Jun 01, 2017 10:40:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :657/1651 took 126680 ms. Total solver calls (SAT/UNSAT): 108310(11338/96972)
Jun 01, 2017 10:40:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :660/1651 took 127741 ms. Total solver calls (SAT/UNSAT): 109330(11360/97970)
Jun 01, 2017 10:40:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :663/1651 took 128865 ms. Total solver calls (SAT/UNSAT): 110350(11360/98990)
Jun 01, 2017 10:40:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :666/1651 took 129985 ms. Total solver calls (SAT/UNSAT): 111370(11360/100010)
Jun 01, 2017 10:40:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :669/1651 took 131119 ms. Total solver calls (SAT/UNSAT): 112390(11360/101030)
Jun 01, 2017 10:40:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :672/1651 took 132176 ms. Total solver calls (SAT/UNSAT): 113410(11393/102017)
Jun 01, 2017 10:40:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :675/1651 took 133337 ms. Total solver calls (SAT/UNSAT): 114430(11426/103004)
Jun 01, 2017 10:40:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :678/1651 took 134497 ms. Total solver calls (SAT/UNSAT): 115450(11459/103991)
Jun 01, 2017 10:40:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :681/1651 took 135544 ms. Total solver calls (SAT/UNSAT): 116470(11492/104978)
Jun 01, 2017 10:40:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :684/1651 took 136700 ms. Total solver calls (SAT/UNSAT): 117490(11525/105965)
Jun 01, 2017 10:40:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :687/1651 took 137864 ms. Total solver calls (SAT/UNSAT): 118510(11558/106952)
Jun 01, 2017 10:40:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :690/1651 took 138911 ms. Total solver calls (SAT/UNSAT): 119530(11591/107939)
Jun 01, 2017 10:40:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :693/1651 took 140052 ms. Total solver calls (SAT/UNSAT): 120550(11624/108926)
Jun 01, 2017 10:40:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :696/1651 took 141200 ms. Total solver calls (SAT/UNSAT): 121570(11657/109913)
Jun 01, 2017 10:40:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :699/1651 took 142375 ms. Total solver calls (SAT/UNSAT): 122590(11690/110900)
Jun 01, 2017 10:40:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :702/1651 took 143429 ms. Total solver calls (SAT/UNSAT): 123610(11723/111887)
Jun 01, 2017 10:40:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :705/1651 took 144593 ms. Total solver calls (SAT/UNSAT): 124630(11756/112874)
Jun 01, 2017 10:40:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :708/1651 took 145759 ms. Total solver calls (SAT/UNSAT): 125650(11789/113861)
Jun 01, 2017 10:40:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :711/1651 took 146818 ms. Total solver calls (SAT/UNSAT): 126670(11822/114848)
Jun 01, 2017 10:40:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :714/1651 took 147986 ms. Total solver calls (SAT/UNSAT): 127690(11855/115835)
Jun 01, 2017 10:40:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :717/1651 took 149155 ms. Total solver calls (SAT/UNSAT): 128710(11888/116822)
Jun 01, 2017 10:40:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :720/1651 took 150231 ms. Total solver calls (SAT/UNSAT): 129730(11921/117809)
Jun 01, 2017 10:40:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :723/1651 took 151401 ms. Total solver calls (SAT/UNSAT): 130750(11954/118796)
Jun 01, 2017 10:40:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :726/1651 took 152579 ms. Total solver calls (SAT/UNSAT): 131770(11987/119783)
Jun 01, 2017 10:40:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :729/1651 took 153750 ms. Total solver calls (SAT/UNSAT): 132790(12020/120770)
Jun 01, 2017 10:40:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :732/1651 took 154813 ms. Total solver calls (SAT/UNSAT): 133810(12053/121757)
Jun 01, 2017 10:40:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :735/1651 took 155993 ms. Total solver calls (SAT/UNSAT): 134830(12086/122744)
Jun 01, 2017 10:40:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :738/1651 took 157172 ms. Total solver calls (SAT/UNSAT): 135850(12119/123731)
Jun 01, 2017 10:40:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :741/1651 took 158245 ms. Total solver calls (SAT/UNSAT): 136870(12152/124718)
Jun 01, 2017 10:40:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :744/1651 took 159405 ms. Total solver calls (SAT/UNSAT): 137890(12185/125705)
Jun 01, 2017 10:40:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :747/1651 took 160574 ms. Total solver calls (SAT/UNSAT): 138910(12218/126692)
Jun 01, 2017 10:40:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :750/1651 took 161647 ms. Total solver calls (SAT/UNSAT): 139930(12251/127679)
Jun 01, 2017 10:40:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :753/1651 took 162817 ms. Total solver calls (SAT/UNSAT): 140950(12284/128666)
Jun 01, 2017 10:40:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :756/1651 took 163980 ms. Total solver calls (SAT/UNSAT): 141970(12317/129653)
Jun 01, 2017 10:40:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :759/1651 took 165129 ms. Total solver calls (SAT/UNSAT): 142990(12350/130640)
Jun 01, 2017 10:40:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :762/1651 took 166183 ms. Total solver calls (SAT/UNSAT): 144010(12383/131627)
Jun 01, 2017 10:40:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :765/1651 took 167394 ms. Total solver calls (SAT/UNSAT): 145030(12416/132614)
Jun 01, 2017 10:40:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :768/1651 took 168547 ms. Total solver calls (SAT/UNSAT): 146050(12449/133601)
Jun 01, 2017 10:40:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :771/1651 took 169576 ms. Total solver calls (SAT/UNSAT): 147070(12460/134610)
Jun 01, 2017 10:40:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :774/1651 took 170684 ms. Total solver calls (SAT/UNSAT): 148090(12460/135630)
Jun 01, 2017 10:40:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :777/1651 took 171770 ms. Total solver calls (SAT/UNSAT): 149110(12460/136650)
Jun 01, 2017 10:40:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :780/1651 took 172778 ms. Total solver calls (SAT/UNSAT): 150130(12471/137659)
Jun 01, 2017 10:40:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :783/1651 took 173894 ms. Total solver calls (SAT/UNSAT): 151150(12504/138646)
Jun 01, 2017 10:40:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :786/1651 took 175022 ms. Total solver calls (SAT/UNSAT): 152170(12537/139633)
Jun 01, 2017 10:40:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :789/1651 took 176147 ms. Total solver calls (SAT/UNSAT): 153190(12570/140620)
Jun 01, 2017 10:40:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :792/1651 took 177164 ms. Total solver calls (SAT/UNSAT): 154210(12603/141607)
Jun 01, 2017 10:40:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :795/1651 took 178296 ms. Total solver calls (SAT/UNSAT): 155230(12636/142594)
Jun 01, 2017 10:40:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :798/1651 took 179420 ms. Total solver calls (SAT/UNSAT): 156250(12669/143581)
Jun 01, 2017 10:40:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :801/1651 took 180447 ms. Total solver calls (SAT/UNSAT): 157270(12702/144568)
Jun 01, 2017 10:40:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :804/1651 took 181565 ms. Total solver calls (SAT/UNSAT): 158290(12735/145555)
Jun 01, 2017 10:40:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :807/1651 took 182686 ms. Total solver calls (SAT/UNSAT): 159310(12768/146542)
Jun 01, 2017 10:40:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :810/1651 took 183697 ms. Total solver calls (SAT/UNSAT): 160330(12801/147529)
Jun 01, 2017 10:41:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :813/1651 took 184812 ms. Total solver calls (SAT/UNSAT): 161350(12834/148516)
Jun 01, 2017 10:41:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :816/1651 took 185935 ms. Total solver calls (SAT/UNSAT): 162370(12867/149503)
Jun 01, 2017 10:41:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :819/1651 took 187054 ms. Total solver calls (SAT/UNSAT): 163390(12900/150490)
Jun 01, 2017 10:41:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :822/1651 took 188077 ms. Total solver calls (SAT/UNSAT): 164410(12933/151477)
Jun 01, 2017 10:41:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :825/1651 took 189238 ms. Total solver calls (SAT/UNSAT): 165430(12966/152464)
Jun 01, 2017 10:41:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :828/1651 took 190391 ms. Total solver calls (SAT/UNSAT): 166450(12999/153451)
Jun 01, 2017 10:41:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :831/1651 took 191455 ms. Total solver calls (SAT/UNSAT): 167470(13032/154438)
Jun 01, 2017 10:41:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :834/1651 took 192650 ms. Total solver calls (SAT/UNSAT): 168490(13065/155425)
Jun 01, 2017 10:41:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :837/1651 took 193808 ms. Total solver calls (SAT/UNSAT): 169510(13098/156412)
Jun 01, 2017 10:41:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :840/1651 took 194868 ms. Total solver calls (SAT/UNSAT): 170530(13131/157399)
Jun 01, 2017 10:41:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :843/1651 took 196010 ms. Total solver calls (SAT/UNSAT): 171550(13164/158386)
Jun 01, 2017 10:41:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :846/1651 took 197148 ms. Total solver calls (SAT/UNSAT): 172570(13197/159373)
Jun 01, 2017 10:41:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :849/1651 took 198294 ms. Total solver calls (SAT/UNSAT): 173590(13230/160360)
Jun 01, 2017 10:41:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :852/1651 took 199323 ms. Total solver calls (SAT/UNSAT): 174610(13263/161347)
Jun 01, 2017 10:41:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :855/1651 took 200460 ms. Total solver calls (SAT/UNSAT): 175630(13296/162334)
Jun 01, 2017 10:41:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :858/1651 took 201596 ms. Total solver calls (SAT/UNSAT): 176650(13329/163321)
Jun 01, 2017 10:41:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :861/1651 took 202630 ms. Total solver calls (SAT/UNSAT): 177670(13362/164308)
Jun 01, 2017 10:41:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :864/1651 took 203767 ms. Total solver calls (SAT/UNSAT): 178690(13395/165295)
Jun 01, 2017 10:41:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :867/1651 took 204910 ms. Total solver calls (SAT/UNSAT): 179710(13428/166282)
Jun 01, 2017 10:41:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :870/1651 took 205957 ms. Total solver calls (SAT/UNSAT): 180730(13461/167269)
Jun 01, 2017 10:41:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :873/1651 took 207091 ms. Total solver calls (SAT/UNSAT): 181750(13494/168256)
Jun 01, 2017 10:41:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :876/1651 took 208232 ms. Total solver calls (SAT/UNSAT): 182770(13527/169243)
Jun 01, 2017 10:41:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :879/1651 took 209391 ms. Total solver calls (SAT/UNSAT): 183790(13560/170230)
Jun 01, 2017 10:41:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :882/1651 took 210398 ms. Total solver calls (SAT/UNSAT): 184810(13560/171250)
Jun 01, 2017 10:41:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :885/1651 took 211514 ms. Total solver calls (SAT/UNSAT): 185830(13560/172270)
Jun 01, 2017 10:41:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :888/1651 took 212636 ms. Total solver calls (SAT/UNSAT): 186850(13560/173290)
Jun 01, 2017 10:41:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :891/1651 took 213662 ms. Total solver calls (SAT/UNSAT): 187870(13582/174288)
Jun 01, 2017 10:41:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :894/1651 took 214794 ms. Total solver calls (SAT/UNSAT): 188890(13615/175275)
Jun 01, 2017 10:41:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :897/1651 took 215957 ms. Total solver calls (SAT/UNSAT): 189910(13648/176262)
Jun 01, 2017 10:41:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :900/1651 took 217002 ms. Total solver calls (SAT/UNSAT): 190930(13681/177249)
Jun 01, 2017 10:41:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :903/1651 took 218143 ms. Total solver calls (SAT/UNSAT): 191950(13714/178236)
Jun 01, 2017 10:41:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :906/1651 took 219293 ms. Total solver calls (SAT/UNSAT): 192970(13747/179223)
Jun 01, 2017 10:41:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :909/1651 took 220443 ms. Total solver calls (SAT/UNSAT): 193990(13780/180210)
Jun 01, 2017 10:41:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :912/1651 took 221525 ms. Total solver calls (SAT/UNSAT): 195010(13813/181197)
Jun 01, 2017 10:41:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :915/1651 took 222677 ms. Total solver calls (SAT/UNSAT): 196030(13846/182184)
Jun 01, 2017 10:41:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :918/1651 took 223844 ms. Total solver calls (SAT/UNSAT): 197050(13879/183171)
Jun 01, 2017 10:41:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :921/1651 took 224915 ms. Total solver calls (SAT/UNSAT): 198070(13912/184158)
Jun 01, 2017 10:41:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :924/1651 took 226079 ms. Total solver calls (SAT/UNSAT): 199090(13945/185145)
Jun 01, 2017 10:41:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :927/1651 took 227246 ms. Total solver calls (SAT/UNSAT): 200110(13978/186132)
Jun 01, 2017 10:41:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :930/1651 took 228311 ms. Total solver calls (SAT/UNSAT): 201130(14011/187119)
Jun 01, 2017 10:41:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :933/1651 took 229474 ms. Total solver calls (SAT/UNSAT): 202150(14044/188106)
Jun 01, 2017 10:41:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :936/1651 took 230637 ms. Total solver calls (SAT/UNSAT): 203170(14077/189093)
Jun 01, 2017 10:41:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :939/1651 took 231866 ms. Total solver calls (SAT/UNSAT): 204190(14110/190080)
Jun 01, 2017 10:41:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :942/1651 took 232919 ms. Total solver calls (SAT/UNSAT): 205210(14143/191067)
Jun 01, 2017 10:41:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :945/1651 took 234073 ms. Total solver calls (SAT/UNSAT): 206230(14176/192054)
Jun 01, 2017 10:41:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :948/1651 took 235222 ms. Total solver calls (SAT/UNSAT): 207250(14209/193041)
Jun 01, 2017 10:41:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :951/1651 took 236273 ms. Total solver calls (SAT/UNSAT): 208270(14242/194028)
Jun 01, 2017 10:41:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :954/1651 took 237425 ms. Total solver calls (SAT/UNSAT): 209290(14275/195015)
Jun 01, 2017 10:41:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :957/1651 took 238577 ms. Total solver calls (SAT/UNSAT): 210310(14308/196002)
Jun 01, 2017 10:41:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :960/1651 took 239651 ms. Total solver calls (SAT/UNSAT): 211330(14341/196989)
Jun 01, 2017 10:41:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :963/1651 took 240816 ms. Total solver calls (SAT/UNSAT): 212350(14374/197976)
Jun 01, 2017 10:41:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :966/1651 took 241979 ms. Total solver calls (SAT/UNSAT): 213370(14407/198963)
Jun 01, 2017 10:41:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :969/1651 took 243120 ms. Total solver calls (SAT/UNSAT): 214390(14440/199950)
Jun 01, 2017 10:41:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :972/1651 took 244130 ms. Total solver calls (SAT/UNSAT): 215410(14473/200937)
Jun 01, 2017 10:42:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :975/1651 took 245263 ms. Total solver calls (SAT/UNSAT): 216430(14506/201924)
Jun 01, 2017 10:42:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :978/1651 took 246407 ms. Total solver calls (SAT/UNSAT): 217450(14539/202911)
Jun 01, 2017 10:42:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :981/1651 took 247424 ms. Total solver calls (SAT/UNSAT): 218470(14572/203898)
Jun 01, 2017 10:42:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :984/1651 took 248525 ms. Total solver calls (SAT/UNSAT): 219490(14605/204885)
Jun 01, 2017 10:42:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :987/1651 took 249684 ms. Total solver calls (SAT/UNSAT): 220510(14638/205872)
Jun 01, 2017 10:42:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :990/1651 took 250734 ms. Total solver calls (SAT/UNSAT): 221530(14660/206870)
Jun 01, 2017 10:42:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :993/1651 took 251851 ms. Total solver calls (SAT/UNSAT): 222550(14660/207890)
Jun 01, 2017 10:42:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :996/1651 took 252961 ms. Total solver calls (SAT/UNSAT): 223570(14660/208910)
Jun 01, 2017 10:42:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :999/1651 took 254152 ms. Total solver calls (SAT/UNSAT): 224590(14660/209930)
Jun 01, 2017 10:42:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1002/1651 took 255182 ms. Total solver calls (SAT/UNSAT): 225610(14693/210917)
Jun 01, 2017 10:42:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1005/1651 took 256328 ms. Total solver calls (SAT/UNSAT): 226630(14726/211904)
Jun 01, 2017 10:42:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1008/1651 took 257476 ms. Total solver calls (SAT/UNSAT): 227650(14759/212891)
Jun 01, 2017 10:42:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1011/1651 took 258527 ms. Total solver calls (SAT/UNSAT): 228670(14792/213878)
Jun 01, 2017 10:42:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1014/1651 took 259670 ms. Total solver calls (SAT/UNSAT): 229690(14825/214865)
Jun 01, 2017 10:42:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1017/1651 took 260875 ms. Total solver calls (SAT/UNSAT): 230710(14858/215852)
Jun 01, 2017 10:42:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1020/1651 took 261946 ms. Total solver calls (SAT/UNSAT): 231730(14891/216839)
Jun 01, 2017 10:42:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1023/1651 took 263070 ms. Total solver calls (SAT/UNSAT): 232750(14924/217826)
Jun 01, 2017 10:42:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1026/1651 took 264228 ms. Total solver calls (SAT/UNSAT): 233770(14957/218813)
Jun 01, 2017 10:42:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1029/1651 took 265440 ms. Total solver calls (SAT/UNSAT): 234790(14990/219800)
Jun 01, 2017 10:42:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1032/1651 took 266517 ms. Total solver calls (SAT/UNSAT): 235810(15023/220787)
Jun 01, 2017 10:42:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1035/1651 took 267688 ms. Total solver calls (SAT/UNSAT): 236830(15056/221774)
Jun 01, 2017 10:42:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1038/1651 took 268859 ms. Total solver calls (SAT/UNSAT): 237850(15089/222761)
Jun 01, 2017 10:42:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1041/1651 took 269945 ms. Total solver calls (SAT/UNSAT): 238870(15122/223748)
Jun 01, 2017 10:42:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1044/1651 took 271118 ms. Total solver calls (SAT/UNSAT): 239890(15155/224735)
Jun 01, 2017 10:42:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1047/1651 took 272287 ms. Total solver calls (SAT/UNSAT): 240910(15188/225722)
Jun 01, 2017 10:42:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1050/1651 took 273361 ms. Total solver calls (SAT/UNSAT): 241930(15221/226709)
Jun 01, 2017 10:42:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1053/1651 took 274527 ms. Total solver calls (SAT/UNSAT): 242950(15254/227696)
Jun 01, 2017 10:42:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1056/1651 took 275705 ms. Total solver calls (SAT/UNSAT): 243970(15287/228683)
Jun 01, 2017 10:42:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1059/1651 took 276856 ms. Total solver calls (SAT/UNSAT): 244990(15320/229670)
Jun 01, 2017 10:42:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1062/1651 took 277923 ms. Total solver calls (SAT/UNSAT): 246010(15353/230657)
Jun 01, 2017 10:42:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1065/1651 took 279073 ms. Total solver calls (SAT/UNSAT): 247030(15386/231644)
Jun 01, 2017 10:42:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1068/1651 took 280260 ms. Total solver calls (SAT/UNSAT): 248050(15419/232631)
Jun 01, 2017 10:42:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1071/1651 took 281330 ms. Total solver calls (SAT/UNSAT): 249070(15452/233618)
Jun 01, 2017 10:42:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1074/1651 took 282498 ms. Total solver calls (SAT/UNSAT): 250090(15485/234605)
Jun 01, 2017 10:42:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1077/1651 took 283661 ms. Total solver calls (SAT/UNSAT): 251110(15518/235592)
Jun 01, 2017 10:42:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1080/1651 took 284728 ms. Total solver calls (SAT/UNSAT): 252130(15551/236579)
Jun 01, 2017 10:42:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1083/1651 took 285894 ms. Total solver calls (SAT/UNSAT): 253150(15584/237566)
Jun 01, 2017 10:42:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1086/1651 took 287058 ms. Total solver calls (SAT/UNSAT): 254170(15617/238553)
Jun 01, 2017 10:42:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1089/1651 took 288226 ms. Total solver calls (SAT/UNSAT): 255190(15650/239540)
Jun 01, 2017 10:42:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1092/1651 took 289286 ms. Total solver calls (SAT/UNSAT): 256210(15683/240527)
Jun 01, 2017 10:42:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1095/1651 took 290463 ms. Total solver calls (SAT/UNSAT): 257230(15716/241514)
Jun 01, 2017 10:42:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1098/1651 took 291647 ms. Total solver calls (SAT/UNSAT): 258250(15749/242501)
Jun 01, 2017 10:42:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1101/1651 took 292699 ms. Total solver calls (SAT/UNSAT): 259270(15760/243510)
Jun 01, 2017 10:42:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1104/1651 took 293835 ms. Total solver calls (SAT/UNSAT): 260290(15760/244530)
Jun 01, 2017 10:42:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1107/1651 took 294981 ms. Total solver calls (SAT/UNSAT): 261310(15760/245550)
Jun 01, 2017 10:42:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1110/1651 took 296037 ms. Total solver calls (SAT/UNSAT): 262330(15771/246559)
Jun 01, 2017 10:42:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1113/1651 took 297199 ms. Total solver calls (SAT/UNSAT): 263350(15804/247546)
Jun 01, 2017 10:42:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1116/1651 took 298364 ms. Total solver calls (SAT/UNSAT): 264370(15837/248533)
Jun 01, 2017 10:42:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1119/1651 took 299539 ms. Total solver calls (SAT/UNSAT): 265390(15870/249520)
Jun 01, 2017 10:42:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1122/1651 took 300602 ms. Total solver calls (SAT/UNSAT): 266410(15903/250507)
Jun 01, 2017 10:42:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1125/1651 took 301769 ms. Total solver calls (SAT/UNSAT): 267430(15936/251494)
Jun 01, 2017 10:42:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1128/1651 took 302942 ms. Total solver calls (SAT/UNSAT): 268450(15969/252481)
Jun 01, 2017 10:42:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1131/1651 took 304011 ms. Total solver calls (SAT/UNSAT): 269470(16002/253468)
Jun 01, 2017 10:43:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1134/1651 took 305179 ms. Total solver calls (SAT/UNSAT): 270490(16035/254455)
Jun 01, 2017 10:43:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1137/1651 took 306349 ms. Total solver calls (SAT/UNSAT): 271510(16068/255442)
Jun 01, 2017 10:43:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1140/1651 took 307419 ms. Total solver calls (SAT/UNSAT): 272530(16101/256429)
Jun 01, 2017 10:43:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1143/1651 took 308581 ms. Total solver calls (SAT/UNSAT): 273550(16134/257416)
Jun 01, 2017 10:43:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1146/1651 took 309745 ms. Total solver calls (SAT/UNSAT): 274570(16167/258403)
Jun 01, 2017 10:43:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1149/1651 took 310922 ms. Total solver calls (SAT/UNSAT): 275590(16200/259390)
Jun 01, 2017 10:43:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1152/1651 took 311982 ms. Total solver calls (SAT/UNSAT): 276610(16233/260377)
Jun 01, 2017 10:43:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1155/1651 took 313143 ms. Total solver calls (SAT/UNSAT): 277630(16266/261364)
Jun 01, 2017 10:43:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1158/1651 took 314312 ms. Total solver calls (SAT/UNSAT): 278650(16299/262351)
Jun 01, 2017 10:43:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1161/1651 took 315391 ms. Total solver calls (SAT/UNSAT): 279670(16332/263338)
Jun 01, 2017 10:43:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1164/1651 took 316572 ms. Total solver calls (SAT/UNSAT): 280690(16365/264325)
Jun 01, 2017 10:43:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1167/1651 took 317752 ms. Total solver calls (SAT/UNSAT): 281710(16398/265312)
Jun 01, 2017 10:43:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1170/1651 took 318829 ms. Total solver calls (SAT/UNSAT): 282730(16431/266299)
Jun 01, 2017 10:43:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1173/1651 took 319999 ms. Total solver calls (SAT/UNSAT): 283750(16464/267286)
Jun 01, 2017 10:43:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1176/1651 took 321226 ms. Total solver calls (SAT/UNSAT): 284770(16497/268273)
Jun 01, 2017 10:43:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1179/1651 took 322449 ms. Total solver calls (SAT/UNSAT): 285790(16530/269260)
Jun 01, 2017 10:43:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1182/1651 took 323560 ms. Total solver calls (SAT/UNSAT): 286810(16563/270247)
Jun 01, 2017 10:43:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1185/1651 took 324776 ms. Total solver calls (SAT/UNSAT): 287830(16596/271234)
Jun 01, 2017 10:43:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1188/1651 took 325947 ms. Total solver calls (SAT/UNSAT): 288850(16629/272221)
Jun 01, 2017 10:43:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1191/1651 took 327009 ms. Total solver calls (SAT/UNSAT): 289870(16662/273208)
Jun 01, 2017 10:43:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1194/1651 took 328263 ms. Total solver calls (SAT/UNSAT): 290890(16695/274195)
Jun 01, 2017 10:43:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1197/1651 took 329438 ms. Total solver calls (SAT/UNSAT): 291910(16728/275182)
Jun 01, 2017 10:43:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1200/1651 took 330509 ms. Total solver calls (SAT/UNSAT): 292930(16761/276169)
Jun 01, 2017 10:43:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1203/1651 took 331665 ms. Total solver calls (SAT/UNSAT): 293950(16794/277156)
Jun 01, 2017 10:43:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1206/1651 took 332824 ms. Total solver calls (SAT/UNSAT): 294970(16827/278143)
Jun 01, 2017 10:43:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1209/1651 took 333988 ms. Total solver calls (SAT/UNSAT): 295990(16860/279130)
Jun 01, 2017 10:43:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1212/1651 took 335014 ms. Total solver calls (SAT/UNSAT): 297010(16860/280150)
Jun 01, 2017 10:43:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1215/1651 took 336145 ms. Total solver calls (SAT/UNSAT): 298030(16860/281170)
Jun 01, 2017 10:43:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1218/1651 took 337279 ms. Total solver calls (SAT/UNSAT): 299050(16860/282190)
Jun 01, 2017 10:43:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1221/1651 took 338329 ms. Total solver calls (SAT/UNSAT): 300070(16882/283188)
Jun 01, 2017 10:43:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1224/1651 took 339482 ms. Total solver calls (SAT/UNSAT): 301090(16915/284175)
Jun 01, 2017 10:43:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1227/1651 took 340639 ms. Total solver calls (SAT/UNSAT): 302110(16948/285162)
Jun 01, 2017 10:43:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1231/1651 took 342004 ms. Total solver calls (SAT/UNSAT): 303470(16992/286478)
Jun 01, 2017 10:43:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1234/1651 took 343117 ms. Total solver calls (SAT/UNSAT): 304490(17025/287465)
Jun 01, 2017 10:43:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1237/1651 took 344238 ms. Total solver calls (SAT/UNSAT): 305510(17058/288452)
Jun 01, 2017 10:43:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1240/1651 took 345265 ms. Total solver calls (SAT/UNSAT): 306530(17091/289439)
Jun 01, 2017 10:43:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1243/1651 took 346395 ms. Total solver calls (SAT/UNSAT): 307550(17124/290426)
Jun 01, 2017 10:43:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1246/1651 took 347504 ms. Total solver calls (SAT/UNSAT): 308570(17157/291413)
Jun 01, 2017 10:43:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1249/1651 took 348679 ms. Total solver calls (SAT/UNSAT): 309590(17190/292400)
Jun 01, 2017 10:43:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1252/1651 took 349737 ms. Total solver calls (SAT/UNSAT): 310610(17223/293387)
Jun 01, 2017 10:43:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1255/1651 took 350896 ms. Total solver calls (SAT/UNSAT): 311630(17256/294374)
Jun 01, 2017 10:43:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1258/1651 took 352060 ms. Total solver calls (SAT/UNSAT): 312650(17289/295361)
Jun 01, 2017 10:43:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1261/1651 took 353109 ms. Total solver calls (SAT/UNSAT): 313670(17322/296348)
Jun 01, 2017 10:43:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1264/1651 took 354264 ms. Total solver calls (SAT/UNSAT): 314690(17355/297335)
Jun 01, 2017 10:43:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1267/1651 took 355420 ms. Total solver calls (SAT/UNSAT): 315710(17388/298322)
Jun 01, 2017 10:43:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1270/1651 took 356463 ms. Total solver calls (SAT/UNSAT): 316730(17421/299309)
Jun 01, 2017 10:43:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1273/1651 took 357583 ms. Total solver calls (SAT/UNSAT): 317750(17454/300296)
Jun 01, 2017 10:43:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1276/1651 took 358701 ms. Total solver calls (SAT/UNSAT): 318770(17487/301283)
Jun 01, 2017 10:43:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1279/1651 took 359815 ms. Total solver calls (SAT/UNSAT): 319790(17520/302270)
Jun 01, 2017 10:43:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1283/1651 took 361172 ms. Total solver calls (SAT/UNSAT): 321150(17564/303586)
Jun 01, 2017 10:43:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1286/1651 took 362311 ms. Total solver calls (SAT/UNSAT): 322170(17597/304573)
Jun 01, 2017 10:43:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1289/1651 took 363431 ms. Total solver calls (SAT/UNSAT): 323190(17630/305560)
Jun 01, 2017 10:44:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1292/1651 took 364448 ms. Total solver calls (SAT/UNSAT): 324210(17663/306547)
Jun 01, 2017 10:44:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1295/1651 took 365561 ms. Total solver calls (SAT/UNSAT): 325230(17696/307534)
Jun 01, 2017 10:44:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1298/1651 took 366678 ms. Total solver calls (SAT/UNSAT): 326250(17729/308521)
Jun 01, 2017 10:44:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1301/1651 took 367734 ms. Total solver calls (SAT/UNSAT): 327270(17762/309508)
Jun 01, 2017 10:44:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1304/1651 took 368856 ms. Total solver calls (SAT/UNSAT): 328290(17795/310495)
Jun 01, 2017 10:44:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1307/1651 took 370095 ms. Total solver calls (SAT/UNSAT): 329310(17828/311482)
Jun 01, 2017 10:44:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1310/1651 took 371146 ms. Total solver calls (SAT/UNSAT): 330330(17861/312469)
Jun 01, 2017 10:44:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1313/1651 took 372286 ms. Total solver calls (SAT/UNSAT): 331350(17894/313456)
Jun 01, 2017 10:44:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1316/1651 took 373434 ms. Total solver calls (SAT/UNSAT): 332370(17927/314443)
Jun 01, 2017 10:44:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1319/1651 took 374599 ms. Total solver calls (SAT/UNSAT): 333390(17960/315430)
Jun 01, 2017 10:44:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1322/1651 took 375623 ms. Total solver calls (SAT/UNSAT): 334410(17960/316450)
Jun 01, 2017 10:44:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1325/1651 took 376743 ms. Total solver calls (SAT/UNSAT): 335430(17960/317470)
Jun 01, 2017 10:44:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1328/1651 took 377902 ms. Total solver calls (SAT/UNSAT): 336450(17960/318490)
Jun 01, 2017 10:44:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1331/1651 took 378994 ms. Total solver calls (SAT/UNSAT): 337470(17982/319488)
Jun 01, 2017 10:44:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1334/1651 took 380149 ms. Total solver calls (SAT/UNSAT): 338490(18015/320475)
Jun 01, 2017 10:44:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1337/1651 took 381285 ms. Total solver calls (SAT/UNSAT): 339510(18048/321462)
Jun 01, 2017 10:44:17 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 01, 2017 10:44:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1340/1651 took 382465 ms. Total solver calls (SAT/UNSAT): 340530(18081/322449)
Jun 01, 2017 10:44:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1343/1651 took 383607 ms. Total solver calls (SAT/UNSAT): 341550(18114/323436)
Jun 01, 2017 10:44:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1346/1651 took 384767 ms. Total solver calls (SAT/UNSAT): 342570(18147/324423)
Jun 01, 2017 10:44:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1349/1651 took 385926 ms. Total solver calls (SAT/UNSAT): 343590(18180/325410)
Jun 01, 2017 10:44:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1352/1651 took 386988 ms. Total solver calls (SAT/UNSAT): 344610(18213/326397)
Jun 01, 2017 10:44:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1355/1651 took 388153 ms. Total solver calls (SAT/UNSAT): 345630(18246/327384)
Jun 01, 2017 10:44:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1358/1651 took 389310 ms. Total solver calls (SAT/UNSAT): 346650(18279/328371)
Jun 01, 2017 10:44:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1361/1651 took 390368 ms. Total solver calls (SAT/UNSAT): 347670(18312/329358)
Jun 01, 2017 10:44:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1364/1651 took 391529 ms. Total solver calls (SAT/UNSAT): 348690(18345/330345)
Jun 01, 2017 10:44:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1367/1651 took 392687 ms. Total solver calls (SAT/UNSAT): 349710(18378/331332)
Jun 01, 2017 10:44:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1370/1651 took 393769 ms. Total solver calls (SAT/UNSAT): 350730(18411/332319)
Jun 01, 2017 10:44:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1373/1651 took 394936 ms. Total solver calls (SAT/UNSAT): 351750(18444/333306)
Jun 01, 2017 10:44:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1376/1651 took 396106 ms. Total solver calls (SAT/UNSAT): 352770(18477/334293)
Jun 01, 2017 10:44:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1379/1651 took 397275 ms. Total solver calls (SAT/UNSAT): 353790(18510/335280)
Jun 01, 2017 10:44:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1382/1651 took 398341 ms. Total solver calls (SAT/UNSAT): 354810(18543/336267)
Jun 01, 2017 10:44:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1385/1651 took 399509 ms. Total solver calls (SAT/UNSAT): 355830(18576/337254)
Jun 01, 2017 10:44:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1388/1651 took 400671 ms. Total solver calls (SAT/UNSAT): 356850(18609/338241)
Jun 01, 2017 10:44:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1391/1651 took 401733 ms. Total solver calls (SAT/UNSAT): 357870(18642/339228)
Jun 01, 2017 10:44:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1394/1651 took 402899 ms. Total solver calls (SAT/UNSAT): 358890(18675/340215)
Jun 01, 2017 10:44:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1397/1651 took 404059 ms. Total solver calls (SAT/UNSAT): 359910(18708/341202)
Jun 01, 2017 10:44:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1400/1651 took 405125 ms. Total solver calls (SAT/UNSAT): 360930(18741/342189)
Jun 01, 2017 10:44:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1403/1651 took 406292 ms. Total solver calls (SAT/UNSAT): 361950(18774/343176)
Jun 01, 2017 10:44:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1406/1651 took 407461 ms. Total solver calls (SAT/UNSAT): 362970(18807/344163)
Jun 01, 2017 10:44:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1409/1651 took 408632 ms. Total solver calls (SAT/UNSAT): 363990(18840/345150)
Jun 01, 2017 10:44:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1412/1651 took 409690 ms. Total solver calls (SAT/UNSAT): 365010(18873/346137)
Jun 01, 2017 10:44:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1415/1651 took 410844 ms. Total solver calls (SAT/UNSAT): 366030(18906/347124)
Jun 01, 2017 10:44:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1418/1651 took 412057 ms. Total solver calls (SAT/UNSAT): 367050(18939/348111)
Jun 01, 2017 10:44:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1421/1651 took 413109 ms. Total solver calls (SAT/UNSAT): 368070(18972/349098)
Jun 01, 2017 10:44:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1424/1651 took 414293 ms. Total solver calls (SAT/UNSAT): 369090(19005/350085)
Jun 01, 2017 10:44:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1427/1651 took 415483 ms. Total solver calls (SAT/UNSAT): 370110(19038/351072)
Jun 01, 2017 10:44:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1430/1651 took 416525 ms. Total solver calls (SAT/UNSAT): 371130(19060/352070)
Jun 01, 2017 10:44:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1433/1651 took 417657 ms. Total solver calls (SAT/UNSAT): 372150(19060/353090)
Jun 01, 2017 10:44:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1436/1651 took 418783 ms. Total solver calls (SAT/UNSAT): 373170(19060/354110)
Jun 01, 2017 10:44:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1439/1651 took 419907 ms. Total solver calls (SAT/UNSAT): 374190(19060/355130)
Jun 01, 2017 10:44:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1442/1651 took 420955 ms. Total solver calls (SAT/UNSAT): 375210(19093/356117)
Jun 01, 2017 10:44:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1445/1651 took 422102 ms. Total solver calls (SAT/UNSAT): 376230(19126/357104)
Jun 01, 2017 10:44:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1448/1651 took 423254 ms. Total solver calls (SAT/UNSAT): 377250(19159/358091)
Jun 01, 2017 10:45:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1451/1651 took 424356 ms. Total solver calls (SAT/UNSAT): 378270(19192/359078)
Jun 01, 2017 10:45:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1454/1651 took 425598 ms. Total solver calls (SAT/UNSAT): 379290(19225/360065)
Jun 01, 2017 10:45:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1457/1651 took 426757 ms. Total solver calls (SAT/UNSAT): 380310(19258/361052)
Jun 01, 2017 10:45:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1460/1651 took 427816 ms. Total solver calls (SAT/UNSAT): 381330(19291/362039)
Jun 01, 2017 10:45:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1463/1651 took 428963 ms. Total solver calls (SAT/UNSAT): 382350(19324/363026)
Jun 01, 2017 10:45:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1466/1651 took 430121 ms. Total solver calls (SAT/UNSAT): 383370(19357/364013)
Jun 01, 2017 10:45:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1469/1651 took 431337 ms. Total solver calls (SAT/UNSAT): 384390(19390/365000)
Jun 01, 2017 10:45:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1472/1651 took 432399 ms. Total solver calls (SAT/UNSAT): 385410(19423/365987)
Jun 01, 2017 10:45:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1475/1651 took 433568 ms. Total solver calls (SAT/UNSAT): 386430(19456/366974)
Jun 01, 2017 10:45:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1478/1651 took 434735 ms. Total solver calls (SAT/UNSAT): 387450(19489/367961)
Jun 01, 2017 10:45:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1481/1651 took 435805 ms. Total solver calls (SAT/UNSAT): 388470(19522/368948)
Jun 01, 2017 10:45:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1484/1651 took 436971 ms. Total solver calls (SAT/UNSAT): 389490(19555/369935)
Jun 01, 2017 10:45:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1487/1651 took 438135 ms. Total solver calls (SAT/UNSAT): 390510(19588/370922)
Jun 01, 2017 10:45:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1490/1651 took 439205 ms. Total solver calls (SAT/UNSAT): 391530(19621/371909)
Jun 01, 2017 10:45:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1493/1651 took 440371 ms. Total solver calls (SAT/UNSAT): 392550(19654/372896)
Jun 01, 2017 10:45:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1496/1651 took 441524 ms. Total solver calls (SAT/UNSAT): 393570(19687/373883)
Jun 01, 2017 10:45:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1499/1651 took 442677 ms. Total solver calls (SAT/UNSAT): 394590(19720/374870)
Jun 01, 2017 10:45:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1502/1651 took 443737 ms. Total solver calls (SAT/UNSAT): 395610(19753/375857)
Jun 01, 2017 10:45:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1505/1651 took 444899 ms. Total solver calls (SAT/UNSAT): 396630(19786/376844)
Jun 01, 2017 10:45:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1508/1651 took 446065 ms. Total solver calls (SAT/UNSAT): 397650(19819/377831)
Jun 01, 2017 10:45:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1511/1651 took 447114 ms. Total solver calls (SAT/UNSAT): 398670(19852/378818)
Jun 01, 2017 10:45:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1514/1651 took 448264 ms. Total solver calls (SAT/UNSAT): 399690(19885/379805)
Jun 01, 2017 10:45:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1517/1651 took 449425 ms. Total solver calls (SAT/UNSAT): 400710(19918/380792)
Jun 01, 2017 10:45:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1520/1651 took 450495 ms. Total solver calls (SAT/UNSAT): 401730(19951/381779)
Jun 01, 2017 10:45:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1523/1651 took 451641 ms. Total solver calls (SAT/UNSAT): 402750(19984/382766)
Jun 01, 2017 10:45:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1526/1651 took 452808 ms. Total solver calls (SAT/UNSAT): 403770(20017/383753)
Jun 01, 2017 10:45:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1529/1651 took 453967 ms. Total solver calls (SAT/UNSAT): 404790(20050/384740)
Jun 01, 2017 10:45:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1532/1651 took 455010 ms. Total solver calls (SAT/UNSAT): 405810(20083/385727)
Jun 01, 2017 10:45:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1535/1651 took 456175 ms. Total solver calls (SAT/UNSAT): 406830(20116/386714)
Jun 01, 2017 10:45:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1538/1651 took 457341 ms. Total solver calls (SAT/UNSAT): 407850(20149/387701)
Jun 01, 2017 10:45:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1541/1651 took 458389 ms. Total solver calls (SAT/UNSAT): 408870(20160/388710)
Jun 01, 2017 10:45:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1544/1651 took 459530 ms. Total solver calls (SAT/UNSAT): 409890(20160/389730)
Jun 01, 2017 10:45:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1547/1651 took 460670 ms. Total solver calls (SAT/UNSAT): 410910(20160/390750)
Jun 01, 2017 10:45:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1551/1651 took 461731 ms. Total solver calls (SAT/UNSAT): 411815(20182/391633)
Jun 01, 2017 10:45:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1558/1651 took 462761 ms. Total solver calls (SAT/UNSAT): 412606(20259/392347)
Jun 01, 2017 10:45:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1565/1651 took 463792 ms. Total solver calls (SAT/UNSAT): 413396(20336/393060)
Jun 01, 2017 10:45:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1572/1651 took 464822 ms. Total solver calls (SAT/UNSAT): 414186(20413/393773)
Jun 01, 2017 10:45:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1579/1651 took 465851 ms. Total solver calls (SAT/UNSAT): 414977(20490/394487)
Jun 01, 2017 10:45:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1586/1651 took 466881 ms. Total solver calls (SAT/UNSAT): 415767(20567/395200)
Jun 01, 2017 10:45:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1593/1651 took 467910 ms. Total solver calls (SAT/UNSAT): 416558(20644/395914)
Jun 01, 2017 10:45:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1600/1651 took 468943 ms. Total solver calls (SAT/UNSAT): 417348(20721/396627)
Jun 01, 2017 10:45:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1607/1651 took 469973 ms. Total solver calls (SAT/UNSAT): 418138(20798/397340)
Jun 01, 2017 10:45:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1614/1651 took 471005 ms. Total solver calls (SAT/UNSAT): 418929(20875/398054)
Jun 01, 2017 10:45:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1621/1651 took 472032 ms. Total solver calls (SAT/UNSAT): 419719(20952/398767)
Jun 01, 2017 10:45:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1628/1651 took 473061 ms. Total solver calls (SAT/UNSAT): 420509(21029/399480)
Jun 01, 2017 10:45:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1635/1651 took 474091 ms. Total solver calls (SAT/UNSAT): 421300(21106/400194)
Jun 01, 2017 10:45:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1642/1651 took 475119 ms. Total solver calls (SAT/UNSAT): 422090(21183/400907)
Jun 01, 2017 10:45:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1649/1651 took 476150 ms. Total solver calls (SAT/UNSAT): 422880(21260/401620)
Jun 01, 2017 10:45:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 476351 ms. Total solver calls (SAT/UNSAT): 423021(21280/401741)
Jun 01, 2017 10:45:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 1651 transitions.
Jun 01, 2017 10:45:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(0/1651) took 1190 ms. Total solver calls (SAT/UNSAT): 1651(1309/342)
Jun 01, 2017 10:45:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1/1651) took 2381 ms. Total solver calls (SAT/UNSAT): 3301(2617/684)
Jun 01, 2017 10:45:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(2/1651) took 3555 ms. Total solver calls (SAT/UNSAT): 4950(3924/1026)
Jun 01, 2017 10:45:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(3/1651) took 4734 ms. Total solver calls (SAT/UNSAT): 6598(5230/1368)
Jun 01, 2017 10:45:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(4/1651) took 5905 ms. Total solver calls (SAT/UNSAT): 8245(6535/1710)
Jun 01, 2017 10:45:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(5/1651) took 7089 ms. Total solver calls (SAT/UNSAT): 9891(7839/2052)
Jun 01, 2017 10:46:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(6/1651) took 8273 ms. Total solver calls (SAT/UNSAT): 11536(9142/2394)
Jun 01, 2017 10:46:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(7/1651) took 9454 ms. Total solver calls (SAT/UNSAT): 13180(10444/2736)
Jun 01, 2017 10:46:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(8/1651) took 10621 ms. Total solver calls (SAT/UNSAT): 14823(11745/3078)
Jun 01, 2017 10:46:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(9/1651) took 11785 ms. Total solver calls (SAT/UNSAT): 16465(13045/3420)
Jun 01, 2017 10:46:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(11/1651) took 13728 ms. Total solver calls (SAT/UNSAT): 19746(15015/4731)
Jun 01, 2017 10:46:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(13/1651) took 15641 ms. Total solver calls (SAT/UNSAT): 23023(16985/6038)
Jun 01, 2017 10:46:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(15/1651) took 17544 ms. Total solver calls (SAT/UNSAT): 26296(18955/7341)
Jun 01, 2017 10:46:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(17/1651) took 19434 ms. Total solver calls (SAT/UNSAT): 29565(20925/8640)
Jun 01, 2017 10:46:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(19/1651) took 21317 ms. Total solver calls (SAT/UNSAT): 32830(22895/9935)
Jun 01, 2017 10:46:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(21/1651) took 23311 ms. Total solver calls (SAT/UNSAT): 36091(24863/11228)
Jun 01, 2017 10:46:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(23/1651) took 25216 ms. Total solver calls (SAT/UNSAT): 39348(26831/12517)
Jun 01, 2017 10:46:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(25/1651) took 27103 ms. Total solver calls (SAT/UNSAT): 42601(28799/13802)
Jun 01, 2017 10:46:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(27/1651) took 28977 ms. Total solver calls (SAT/UNSAT): 45850(30767/15083)
Jun 01, 2017 10:46:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(29/1651) took 30840 ms. Total solver calls (SAT/UNSAT): 49095(32735/16360)
Jun 01, 2017 10:46:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(31/1651) took 32765 ms. Total solver calls (SAT/UNSAT): 52336(34701/17635)
Jun 01, 2017 10:46:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(33/1651) took 34668 ms. Total solver calls (SAT/UNSAT): 55573(36667/18906)
Jun 01, 2017 10:46:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(35/1651) took 36552 ms. Total solver calls (SAT/UNSAT): 58806(38633/20173)
Jun 01, 2017 10:46:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(37/1651) took 38421 ms. Total solver calls (SAT/UNSAT): 62035(40599/21436)
Jun 01, 2017 10:46:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(39/1651) took 40282 ms. Total solver calls (SAT/UNSAT): 65260(42565/22695)
Jun 01, 2017 10:46:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(41/1651) took 42246 ms. Total solver calls (SAT/UNSAT): 68481(44529/23952)
Jun 01, 2017 10:46:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(43/1651) took 44114 ms. Total solver calls (SAT/UNSAT): 71698(46493/25205)
Jun 01, 2017 10:46:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(45/1651) took 45984 ms. Total solver calls (SAT/UNSAT): 74911(48457/26454)
Jun 01, 2017 10:46:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(47/1651) took 47836 ms. Total solver calls (SAT/UNSAT): 78120(50421/27699)
Jun 01, 2017 10:46:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(49/1651) took 49690 ms. Total solver calls (SAT/UNSAT): 81325(52385/28940)
Jun 01, 2017 10:46:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(51/1651) took 51632 ms. Total solver calls (SAT/UNSAT): 84526(54347/30179)
Jun 01, 2017 10:46:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(53/1651) took 53506 ms. Total solver calls (SAT/UNSAT): 87723(56309/31414)
Jun 01, 2017 10:46:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(55/1651) took 55374 ms. Total solver calls (SAT/UNSAT): 90916(58271/32645)
Jun 01, 2017 10:46:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(57/1651) took 57243 ms. Total solver calls (SAT/UNSAT): 94105(60233/33872)
Jun 01, 2017 10:46:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(59/1651) took 59047 ms. Total solver calls (SAT/UNSAT): 97290(62195/35095)
Jun 01, 2017 10:46:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(61/1651) took 60943 ms. Total solver calls (SAT/UNSAT): 100471(64155/36316)
Jun 01, 2017 10:46:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(63/1651) took 62814 ms. Total solver calls (SAT/UNSAT): 103648(66115/37533)
Jun 01, 2017 10:46:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(65/1651) took 64654 ms. Total solver calls (SAT/UNSAT): 106821(68075/38746)
Jun 01, 2017 10:46:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(67/1651) took 66502 ms. Total solver calls (SAT/UNSAT): 109990(70035/39955)
Jun 01, 2017 10:47:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(69/1651) took 68353 ms. Total solver calls (SAT/UNSAT): 113155(71995/41160)
Jun 01, 2017 10:47:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(71/1651) took 70389 ms. Total solver calls (SAT/UNSAT): 116316(73953/42363)
Jun 01, 2017 10:47:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(73/1651) took 72247 ms. Total solver calls (SAT/UNSAT): 119473(75911/43562)
Jun 01, 2017 10:47:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(75/1651) took 74092 ms. Total solver calls (SAT/UNSAT): 122626(77869/44757)
Jun 01, 2017 10:47:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(77/1651) took 75924 ms. Total solver calls (SAT/UNSAT): 125775(79827/45948)
Jun 01, 2017 10:47:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(79/1651) took 77749 ms. Total solver calls (SAT/UNSAT): 128920(81785/47135)
Jun 01, 2017 10:47:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(81/1651) took 79841 ms. Total solver calls (SAT/UNSAT): 132061(83741/48320)
Jun 01, 2017 10:47:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(83/1651) took 81737 ms. Total solver calls (SAT/UNSAT): 135198(85697/49501)
Jun 01, 2017 10:47:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(85/1651) took 83567 ms. Total solver calls (SAT/UNSAT): 138331(87653/50678)
Jun 01, 2017 10:47:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(87/1651) took 85381 ms. Total solver calls (SAT/UNSAT): 141460(89609/51851)
Jun 01, 2017 10:47:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(89/1651) took 87189 ms. Total solver calls (SAT/UNSAT): 144585(91565/53020)
Jun 01, 2017 10:47:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(91/1651) took 89301 ms. Total solver calls (SAT/UNSAT): 147706(93519/54187)
Jun 01, 2017 10:47:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(93/1651) took 91127 ms. Total solver calls (SAT/UNSAT): 150823(95473/55350)
Jun 01, 2017 10:47:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(95/1651) took 92944 ms. Total solver calls (SAT/UNSAT): 153936(97427/56509)
Jun 01, 2017 10:47:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(97/1651) took 94743 ms. Total solver calls (SAT/UNSAT): 157045(99381/57664)
Jun 01, 2017 10:47:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(99/1651) took 96592 ms. Total solver calls (SAT/UNSAT): 160150(101335/58815)
Jun 01, 2017 10:47:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(101/1651) took 98516 ms. Total solver calls (SAT/UNSAT): 163251(103287/59964)
Jun 01, 2017 10:47:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(103/1651) took 100348 ms. Total solver calls (SAT/UNSAT): 166348(105239/61109)
Jun 01, 2017 10:47:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(105/1651) took 102152 ms. Total solver calls (SAT/UNSAT): 169441(107191/62250)
Jun 01, 2017 10:47:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(107/1651) took 104041 ms. Total solver calls (SAT/UNSAT): 172530(109143/63387)
Jun 01, 2017 10:47:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(109/1651) took 105822 ms. Total solver calls (SAT/UNSAT): 175615(111095/64520)
Jun 01, 2017 10:47:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(111/1651) took 107724 ms. Total solver calls (SAT/UNSAT): 178696(112717/65979)
Jun 01, 2017 10:47:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(113/1651) took 109713 ms. Total solver calls (SAT/UNSAT): 181773(114339/67434)
Jun 01, 2017 10:47:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(115/1651) took 111617 ms. Total solver calls (SAT/UNSAT): 184846(115961/68885)
Jun 01, 2017 10:47:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(117/1651) took 113507 ms. Total solver calls (SAT/UNSAT): 187915(117583/70332)
Jun 01, 2017 10:47:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(119/1651) took 115458 ms. Total solver calls (SAT/UNSAT): 190980(119205/71775)
Jun 01, 2017 10:47:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(122/1651) took 116500 ms. Total solver calls (SAT/UNSAT): 195570(119508/76062)
Jun 01, 2017 10:47:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(125/1651) took 117539 ms. Total solver calls (SAT/UNSAT): 200151(119811/80340)
Jun 01, 2017 10:47:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(128/1651) took 118576 ms. Total solver calls (SAT/UNSAT): 204723(120114/84609)
Jun 01, 2017 10:47:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(130/1651) took 120024 ms. Total solver calls (SAT/UNSAT): 207766(121216/86550)
Jun 01, 2017 10:47:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(131/1651) took 121123 ms. Total solver calls (SAT/UNSAT): 209286(122217/87069)
Jun 01, 2017 10:47:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(132/1651) took 122273 ms. Total solver calls (SAT/UNSAT): 210805(123218/87587)
Jun 01, 2017 10:47:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(133/1651) took 123385 ms. Total solver calls (SAT/UNSAT): 212323(124219/88104)
Jun 01, 2017 10:47:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(134/1651) took 124488 ms. Total solver calls (SAT/UNSAT): 213840(125220/88620)
Jun 01, 2017 10:47:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(135/1651) took 125594 ms. Total solver calls (SAT/UNSAT): 215356(126221/89135)
Jun 01, 2017 10:47:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(136/1651) took 126699 ms. Total solver calls (SAT/UNSAT): 216871(127222/89649)
Jun 01, 2017 10:48:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(137/1651) took 127813 ms. Total solver calls (SAT/UNSAT): 218385(128223/90162)
Jun 01, 2017 10:48:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(138/1651) took 128924 ms. Total solver calls (SAT/UNSAT): 219898(129224/90674)
Jun 01, 2017 10:48:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(139/1651) took 130038 ms. Total solver calls (SAT/UNSAT): 221410(130225/91185)
Jun 01, 2017 10:48:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(141/1651) took 131994 ms. Total solver calls (SAT/UNSAT): 224431(132121/92310)
Jun 01, 2017 10:48:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(143/1651) took 133813 ms. Total solver calls (SAT/UNSAT): 227448(134017/93431)
Jun 01, 2017 10:48:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(145/1651) took 135631 ms. Total solver calls (SAT/UNSAT): 230461(135913/94548)
Jun 01, 2017 10:48:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(147/1651) took 137432 ms. Total solver calls (SAT/UNSAT): 233470(137809/95661)
Jun 01, 2017 10:48:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(149/1651) took 139201 ms. Total solver calls (SAT/UNSAT): 236475(139705/96770)
Jun 01, 2017 10:48:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(151/1651) took 141068 ms. Total solver calls (SAT/UNSAT): 239476(141599/97877)
Jun 01, 2017 10:48:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(153/1651) took 142854 ms. Total solver calls (SAT/UNSAT): 242473(143493/98980)
Jun 01, 2017 10:48:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(155/1651) took 144624 ms. Total solver calls (SAT/UNSAT): 245466(145387/100079)
Jun 01, 2017 10:48:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(157/1651) took 146379 ms. Total solver calls (SAT/UNSAT): 248455(147281/101174)
Jun 01, 2017 10:48:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(159/1651) took 148129 ms. Total solver calls (SAT/UNSAT): 251440(149175/102265)
Jun 01, 2017 10:48:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(161/1651) took 149932 ms. Total solver calls (SAT/UNSAT): 254421(151067/103354)
Jun 01, 2017 10:48:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(163/1651) took 151716 ms. Total solver calls (SAT/UNSAT): 257398(152959/104439)
Jun 01, 2017 10:48:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(165/1651) took 153502 ms. Total solver calls (SAT/UNSAT): 260371(154851/105520)
Jun 01, 2017 10:48:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(167/1651) took 155254 ms. Total solver calls (SAT/UNSAT): 263340(156743/106597)
Jun 01, 2017 10:48:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(169/1651) took 157001 ms. Total solver calls (SAT/UNSAT): 266305(158635/107670)
Jun 01, 2017 10:48:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(171/1651) took 158895 ms. Total solver calls (SAT/UNSAT): 269266(160525/108741)
Jun 01, 2017 10:48:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(173/1651) took 160744 ms. Total solver calls (SAT/UNSAT): 272223(162415/109808)
Jun 01, 2017 10:48:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(175/1651) took 162510 ms. Total solver calls (SAT/UNSAT): 275176(164305/110871)
Jun 01, 2017 10:48:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(177/1651) took 164254 ms. Total solver calls (SAT/UNSAT): 278125(166195/111930)
Jun 01, 2017 10:48:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(179/1651) took 165990 ms. Total solver calls (SAT/UNSAT): 281070(168085/112985)
Jun 01, 2017 10:48:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(181/1651) took 168114 ms. Total solver calls (SAT/UNSAT): 284011(169973/114038)
Jun 01, 2017 10:48:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(183/1651) took 169899 ms. Total solver calls (SAT/UNSAT): 286948(171861/115087)
Jun 01, 2017 10:48:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(185/1651) took 171638 ms. Total solver calls (SAT/UNSAT): 289881(173749/116132)
Jun 01, 2017 10:48:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(187/1651) took 173372 ms. Total solver calls (SAT/UNSAT): 292810(175637/117173)
Jun 01, 2017 10:48:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(189/1651) took 175091 ms. Total solver calls (SAT/UNSAT): 295735(177525/118210)
Jun 01, 2017 10:48:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(191/1651) took 176911 ms. Total solver calls (SAT/UNSAT): 298656(179411/119245)
Jun 01, 2017 10:48:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(193/1651) took 178653 ms. Total solver calls (SAT/UNSAT): 301573(181297/120276)
Jun 01, 2017 10:48:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(195/1651) took 180384 ms. Total solver calls (SAT/UNSAT): 304486(183183/121303)
Jun 01, 2017 10:48:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(197/1651) took 182083 ms. Total solver calls (SAT/UNSAT): 307395(185069/122326)
Jun 01, 2017 10:48:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(199/1651) took 183793 ms. Total solver calls (SAT/UNSAT): 310300(186955/123345)
Jun 01, 2017 10:48:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(201/1651) took 185542 ms. Total solver calls (SAT/UNSAT): 313201(188839/124362)
Jun 01, 2017 10:48:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(203/1651) took 187277 ms. Total solver calls (SAT/UNSAT): 316098(190723/125375)
Jun 01, 2017 10:49:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(205/1651) took 189002 ms. Total solver calls (SAT/UNSAT): 318991(192607/126384)
Jun 01, 2017 10:49:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(207/1651) took 190715 ms. Total solver calls (SAT/UNSAT): 321880(194491/127389)
Jun 01, 2017 10:49:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(209/1651) took 192412 ms. Total solver calls (SAT/UNSAT): 324765(196375/128390)
Jun 01, 2017 10:49:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(211/1651) took 194333 ms. Total solver calls (SAT/UNSAT): 327646(198257/129389)
Jun 01, 2017 10:49:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(213/1651) took 196064 ms. Total solver calls (SAT/UNSAT): 330523(200139/130384)
Jun 01, 2017 10:49:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(215/1651) took 197779 ms. Total solver calls (SAT/UNSAT): 333396(202021/131375)
Jun 01, 2017 10:49:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(217/1651) took 199486 ms. Total solver calls (SAT/UNSAT): 336265(203903/132362)
Jun 01, 2017 10:49:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(219/1651) took 201186 ms. Total solver calls (SAT/UNSAT): 339130(205785/133345)
Jun 01, 2017 10:49:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(221/1651) took 203007 ms. Total solver calls (SAT/UNSAT): 341991(207665/134326)
Jun 01, 2017 10:49:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(223/1651) took 204730 ms. Total solver calls (SAT/UNSAT): 344848(209545/135303)
Jun 01, 2017 10:49:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(225/1651) took 206445 ms. Total solver calls (SAT/UNSAT): 347701(211425/136276)
Jun 01, 2017 10:49:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(227/1651) took 208141 ms. Total solver calls (SAT/UNSAT): 350550(213305/137245)
Jun 01, 2017 10:49:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(229/1651) took 209830 ms. Total solver calls (SAT/UNSAT): 353395(215185/138210)
Jun 01, 2017 10:49:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(231/1651) took 211594 ms. Total solver calls (SAT/UNSAT): 356236(217063/139173)
Jun 01, 2017 10:49:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(233/1651) took 213301 ms. Total solver calls (SAT/UNSAT): 359073(218941/140132)
Jun 01, 2017 10:49:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(235/1651) took 215004 ms. Total solver calls (SAT/UNSAT): 361906(220819/141087)
Jun 01, 2017 10:49:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(237/1651) took 216690 ms. Total solver calls (SAT/UNSAT): 364735(222697/142038)
Jun 01, 2017 10:49:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(239/1651) took 218368 ms. Total solver calls (SAT/UNSAT): 367560(224575/142985)
Jun 01, 2017 10:49:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(243/1651) took 219667 ms. Total solver calls (SAT/UNSAT): 373198(224961/148237)
Jun 01, 2017 10:49:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(247/1651) took 220955 ms. Total solver calls (SAT/UNSAT): 378820(225331/153489)
Jun 01, 2017 10:49:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(251/1651) took 222249 ms. Total solver calls (SAT/UNSAT): 384426(225712/158714)
Jun 01, 2017 10:49:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(255/1651) took 223541 ms. Total solver calls (SAT/UNSAT): 390016(226086/163930)
Jun 01, 2017 10:49:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(259/1651) took 224827 ms. Total solver calls (SAT/UNSAT): 395590(226462/169128)
Jun 01, 2017 10:49:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(263/1651) took 226103 ms. Total solver calls (SAT/UNSAT): 401148(226840/174308)
Jun 01, 2017 10:49:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(267/1651) took 227346 ms. Total solver calls (SAT/UNSAT): 406690(227211/179479)
Jun 01, 2017 10:49:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(271/1651) took 228595 ms. Total solver calls (SAT/UNSAT): 412216(227593/184623)
Jun 01, 2017 10:49:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(275/1651) took 229949 ms. Total solver calls (SAT/UNSAT): 417726(227959/189767)
Jun 01, 2017 10:49:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(279/1651) took 231240 ms. Total solver calls (SAT/UNSAT): 423220(228345/194875)
Jun 01, 2017 10:49:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(283/1651) took 232517 ms. Total solver calls (SAT/UNSAT): 428698(228715/199983)
Jun 01, 2017 10:49:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(287/1651) took 233787 ms. Total solver calls (SAT/UNSAT): 434160(229096/205064)
Jun 01, 2017 10:49:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(291/1651) took 235037 ms. Total solver calls (SAT/UNSAT): 439606(229470/210136)
Jun 01, 2017 10:49:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(295/1651) took 236283 ms. Total solver calls (SAT/UNSAT): 445036(229846/215190)
Jun 01, 2017 10:49:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(299/1651) took 237529 ms. Total solver calls (SAT/UNSAT): 450450(230224/220226)
Jun 01, 2017 10:49:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(303/1651) took 238776 ms. Total solver calls (SAT/UNSAT): 455848(230595/225253)
Jun 01, 2017 10:49:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(307/1651) took 240020 ms. Total solver calls (SAT/UNSAT): 461230(230977/230253)
Jun 01, 2017 10:49:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(311/1651) took 241272 ms. Total solver calls (SAT/UNSAT): 466596(231343/235253)
Jun 01, 2017 10:49:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(315/1651) took 242543 ms. Total solver calls (SAT/UNSAT): 471946(231729/240217)
Jun 01, 2017 10:49:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(319/1651) took 243799 ms. Total solver calls (SAT/UNSAT): 477280(232099/245181)
Jun 01, 2017 10:49:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(323/1651) took 245060 ms. Total solver calls (SAT/UNSAT): 482598(232480/250118)
Jun 01, 2017 10:49:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(327/1651) took 246333 ms. Total solver calls (SAT/UNSAT): 487900(232854/255046)
Jun 01, 2017 10:50:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(331/1651) took 247594 ms. Total solver calls (SAT/UNSAT): 493186(233217/259969)
Jun 01, 2017 10:50:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(335/1651) took 248853 ms. Total solver calls (SAT/UNSAT): 498456(233581/264875)
Jun 01, 2017 10:50:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(339/1651) took 250098 ms. Total solver calls (SAT/UNSAT): 503710(233945/269765)
Jun 01, 2017 10:50:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(343/1651) took 251331 ms. Total solver calls (SAT/UNSAT): 508948(234309/274639)
Jun 01, 2017 10:50:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(347/1651) took 252565 ms. Total solver calls (SAT/UNSAT): 514170(234673/279497)
Jun 01, 2017 10:50:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(351/1651) took 253806 ms. Total solver calls (SAT/UNSAT): 519376(235037/284339)
Jun 01, 2017 10:50:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(355/1651) took 255095 ms. Total solver calls (SAT/UNSAT): 524566(235401/289165)
Jun 01, 2017 10:50:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(359/1651) took 256339 ms. Total solver calls (SAT/UNSAT): 529740(235765/293975)
Jun 01, 2017 10:50:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(363/1651) took 257571 ms. Total solver calls (SAT/UNSAT): 534898(236129/298769)
Jun 01, 2017 10:50:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(367/1651) took 258788 ms. Total solver calls (SAT/UNSAT): 540040(236493/303547)
Jun 01, 2017 10:50:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(371/1651) took 260003 ms. Total solver calls (SAT/UNSAT): 545166(236857/308309)
Jun 01, 2017 10:50:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(375/1651) took 261210 ms. Total solver calls (SAT/UNSAT): 550276(237221/313055)
Jun 01, 2017 10:50:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(379/1651) took 262420 ms. Total solver calls (SAT/UNSAT): 555370(237585/317785)
Jun 01, 2017 10:50:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(383/1651) took 263620 ms. Total solver calls (SAT/UNSAT): 560448(237949/322499)
Jun 01, 2017 10:50:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(387/1651) took 264817 ms. Total solver calls (SAT/UNSAT): 565510(238313/327197)
Jun 01, 2017 10:50:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(391/1651) took 266011 ms. Total solver calls (SAT/UNSAT): 570556(238677/331879)
Jun 01, 2017 10:50:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(395/1651) took 267201 ms. Total solver calls (SAT/UNSAT): 575586(239041/336545)
Jun 01, 2017 10:50:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(399/1651) took 268390 ms. Total solver calls (SAT/UNSAT): 580600(239405/341195)
Jun 01, 2017 10:50:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(403/1651) took 269583 ms. Total solver calls (SAT/UNSAT): 585598(239769/345829)
Jun 01, 2017 10:50:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(407/1651) took 270760 ms. Total solver calls (SAT/UNSAT): 590580(240133/350447)
Jun 01, 2017 10:50:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(411/1651) took 271938 ms. Total solver calls (SAT/UNSAT): 595546(240497/355049)
Jun 01, 2017 10:50:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(415/1651) took 273111 ms. Total solver calls (SAT/UNSAT): 600496(240861/359635)
Jun 01, 2017 10:50:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(419/1651) took 274283 ms. Total solver calls (SAT/UNSAT): 605430(241225/364205)
Jun 01, 2017 10:50:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(423/1651) took 275449 ms. Total solver calls (SAT/UNSAT): 610348(241589/368759)
Jun 01, 2017 10:50:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(427/1651) took 276618 ms. Total solver calls (SAT/UNSAT): 615250(241953/373297)
Jun 01, 2017 10:50:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(430/1651) took 278021 ms. Total solver calls (SAT/UNSAT): 618916(242855/376061)
Jun 01, 2017 10:50:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(432/1651) took 279559 ms. Total solver calls (SAT/UNSAT): 621355(244295/377060)
Jun 01, 2017 10:50:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(434/1651) took 281143 ms. Total solver calls (SAT/UNSAT): 623790(245735/378055)
Jun 01, 2017 10:50:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(436/1651) took 282729 ms. Total solver calls (SAT/UNSAT): 626221(247175/379046)
Jun 01, 2017 10:50:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(438/1651) took 284314 ms. Total solver calls (SAT/UNSAT): 628648(248615/380033)
Jun 01, 2017 10:50:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(440/1651) took 285349 ms. Total solver calls (SAT/UNSAT): 631071(249335/381736)
Jun 01, 2017 10:50:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(445/1651) took 286564 ms. Total solver calls (SAT/UNSAT): 637111(249335/387776)
Jun 01, 2017 10:50:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(450/1651) took 287772 ms. Total solver calls (SAT/UNSAT): 643126(249335/393791)
Jun 01, 2017 10:50:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(455/1651) took 288998 ms. Total solver calls (SAT/UNSAT): 649116(249335/399781)
Jun 01, 2017 10:50:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(459/1651) took 290010 ms. Total solver calls (SAT/UNSAT): 653890(249335/404555)
Jun 01, 2017 10:50:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(463/1651) took 291017 ms. Total solver calls (SAT/UNSAT): 658648(249335/409313)
Jun 01, 2017 10:50:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(468/1651) took 292202 ms. Total solver calls (SAT/UNSAT): 664573(249335/415238)
Jun 01, 2017 10:50:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(473/1651) took 293377 ms. Total solver calls (SAT/UNSAT): 670473(249335/421138)
Jun 01, 2017 10:50:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(478/1651) took 294551 ms. Total solver calls (SAT/UNSAT): 676348(249335/427013)
Jun 01, 2017 10:50:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(483/1651) took 295724 ms. Total solver calls (SAT/UNSAT): 682198(249335/432863)
Jun 01, 2017 10:50:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(488/1651) took 296903 ms. Total solver calls (SAT/UNSAT): 688023(249335/438688)
Jun 01, 2017 10:50:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(493/1651) took 298064 ms. Total solver calls (SAT/UNSAT): 693823(249335/444488)
Jun 01, 2017 10:50:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(498/1651) took 299216 ms. Total solver calls (SAT/UNSAT): 699598(249335/450263)
Jun 01, 2017 10:50:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(503/1651) took 300365 ms. Total solver calls (SAT/UNSAT): 705348(249335/456013)
Jun 01, 2017 10:50:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(508/1651) took 301492 ms. Total solver calls (SAT/UNSAT): 711073(249335/461738)
Jun 01, 2017 10:50:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(513/1651) took 302631 ms. Total solver calls (SAT/UNSAT): 716773(249335/467438)
Jun 01, 2017 10:50:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(518/1651) took 303762 ms. Total solver calls (SAT/UNSAT): 722448(249335/473113)
Jun 01, 2017 10:50:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(523/1651) took 304892 ms. Total solver calls (SAT/UNSAT): 728098(249335/478763)
Jun 01, 2017 10:50:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(528/1651) took 306011 ms. Total solver calls (SAT/UNSAT): 733723(249335/484388)
Jun 01, 2017 10:50:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(533/1651) took 307125 ms. Total solver calls (SAT/UNSAT): 739323(249335/489988)
Jun 01, 2017 10:51:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(538/1651) took 308228 ms. Total solver calls (SAT/UNSAT): 744898(249335/495563)
Jun 01, 2017 10:51:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(543/1651) took 309284 ms. Total solver calls (SAT/UNSAT): 750448(249335/501113)
Jun 01, 2017 10:51:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(548/1651) took 310311 ms. Total solver calls (SAT/UNSAT): 755973(249335/506638)
Jun 01, 2017 10:51:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(553/1651) took 311378 ms. Total solver calls (SAT/UNSAT): 761473(249335/512138)
Jun 01, 2017 10:51:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(558/1651) took 312449 ms. Total solver calls (SAT/UNSAT): 766948(249335/517613)
Jun 01, 2017 10:51:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(563/1651) took 313553 ms. Total solver calls (SAT/UNSAT): 772398(249379/523019)
Jun 01, 2017 10:51:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(568/1651) took 314665 ms. Total solver calls (SAT/UNSAT): 777823(249434/528389)
Jun 01, 2017 10:51:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(573/1651) took 315777 ms. Total solver calls (SAT/UNSAT): 783223(249489/533734)
Jun 01, 2017 10:51:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(578/1651) took 316880 ms. Total solver calls (SAT/UNSAT): 788598(249544/539054)
Jun 01, 2017 10:51:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(583/1651) took 317977 ms. Total solver calls (SAT/UNSAT): 793948(249599/544349)
Jun 01, 2017 10:51:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(588/1651) took 319066 ms. Total solver calls (SAT/UNSAT): 799273(249654/549619)
Jun 01, 2017 10:51:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(593/1651) took 320144 ms. Total solver calls (SAT/UNSAT): 804573(249709/554864)
Jun 01, 2017 10:51:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(598/1651) took 321216 ms. Total solver calls (SAT/UNSAT): 809848(249764/560084)
Jun 01, 2017 10:51:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(603/1651) took 322292 ms. Total solver calls (SAT/UNSAT): 815098(249819/565279)
Jun 01, 2017 10:51:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(608/1651) took 323352 ms. Total solver calls (SAT/UNSAT): 820323(249874/570449)
Jun 01, 2017 10:51:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(613/1651) took 324409 ms. Total solver calls (SAT/UNSAT): 825523(249929/575594)
Jun 01, 2017 10:51:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(618/1651) took 325459 ms. Total solver calls (SAT/UNSAT): 830698(249984/580714)
Jun 01, 2017 10:51:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(623/1651) took 326509 ms. Total solver calls (SAT/UNSAT): 835848(250039/585809)
Jun 01, 2017 10:51:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(628/1651) took 327587 ms. Total solver calls (SAT/UNSAT): 840973(250094/590879)
Jun 01, 2017 10:51:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(633/1651) took 328621 ms. Total solver calls (SAT/UNSAT): 846073(250149/595924)
Jun 01, 2017 10:51:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(638/1651) took 329656 ms. Total solver calls (SAT/UNSAT): 851148(250204/600944)
Jun 01, 2017 10:51:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(643/1651) took 330678 ms. Total solver calls (SAT/UNSAT): 856198(250259/605939)
Jun 01, 2017 10:51:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(648/1651) took 331693 ms. Total solver calls (SAT/UNSAT): 861223(250314/610909)
Jun 01, 2017 10:51:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(653/1651) took 332776 ms. Total solver calls (SAT/UNSAT): 866223(250369/615854)
Jun 01, 2017 10:51:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(658/1651) took 333821 ms. Total solver calls (SAT/UNSAT): 871198(250424/620774)
Jun 01, 2017 10:51:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(663/1651) took 334847 ms. Total solver calls (SAT/UNSAT): 876148(250435/625713)
Jun 01, 2017 10:51:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(668/1651) took 335860 ms. Total solver calls (SAT/UNSAT): 881073(250435/630638)
Jun 01, 2017 10:51:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(673/1651) took 336901 ms. Total solver calls (SAT/UNSAT): 885973(250479/635494)
Jun 01, 2017 10:51:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(678/1651) took 337937 ms. Total solver calls (SAT/UNSAT): 890848(250534/640314)
Jun 01, 2017 10:51:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(683/1651) took 338966 ms. Total solver calls (SAT/UNSAT): 895698(250589/645109)
Jun 01, 2017 10:51:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(688/1651) took 339990 ms. Total solver calls (SAT/UNSAT): 900523(250644/649879)
Jun 01, 2017 10:51:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(693/1651) took 341009 ms. Total solver calls (SAT/UNSAT): 905323(250699/654624)
Jun 01, 2017 10:51:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(698/1651) took 342022 ms. Total solver calls (SAT/UNSAT): 910098(250754/659344)
Jun 01, 2017 10:51:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(703/1651) took 343029 ms. Total solver calls (SAT/UNSAT): 914848(250809/664039)
Jun 01, 2017 10:51:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(708/1651) took 344046 ms. Total solver calls (SAT/UNSAT): 919573(250864/668709)
Jun 01, 2017 10:51:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(713/1651) took 345070 ms. Total solver calls (SAT/UNSAT): 924273(250919/673354)
Jun 01, 2017 10:51:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(719/1651) took 346229 ms. Total solver calls (SAT/UNSAT): 929880(250985/678895)
Jun 01, 2017 10:51:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(725/1651) took 347384 ms. Total solver calls (SAT/UNSAT): 935451(251051/684400)
Jun 01, 2017 10:51:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(731/1651) took 348522 ms. Total solver calls (SAT/UNSAT): 940986(251117/689869)
Jun 01, 2017 10:51:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(737/1651) took 349712 ms. Total solver calls (SAT/UNSAT): 946485(251183/695302)
Jun 01, 2017 10:51:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(743/1651) took 350878 ms. Total solver calls (SAT/UNSAT): 951948(251249/700699)
Jun 01, 2017 10:51:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(749/1651) took 352028 ms. Total solver calls (SAT/UNSAT): 957375(251315/706060)
Jun 01, 2017 10:51:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(755/1651) took 353173 ms. Total solver calls (SAT/UNSAT): 962766(251381/711385)
Jun 01, 2017 10:51:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(761/1651) took 354293 ms. Total solver calls (SAT/UNSAT): 968121(251447/716674)
Jun 01, 2017 10:51:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(767/1651) took 355417 ms. Total solver calls (SAT/UNSAT): 973440(251513/721927)
Jun 01, 2017 10:51:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(773/1651) took 356506 ms. Total solver calls (SAT/UNSAT): 978723(251535/727188)
Jun 01, 2017 10:51:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(779/1651) took 357577 ms. Total solver calls (SAT/UNSAT): 983970(251535/732435)
Jun 01, 2017 10:51:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(785/1651) took 358699 ms. Total solver calls (SAT/UNSAT): 989181(251601/737580)
Jun 01, 2017 10:51:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(791/1651) took 359805 ms. Total solver calls (SAT/UNSAT): 994356(251667/742689)
Jun 01, 2017 10:51:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(797/1651) took 360906 ms. Total solver calls (SAT/UNSAT): 999495(251733/747762)
Jun 01, 2017 10:51:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(803/1651) took 361980 ms. Total solver calls (SAT/UNSAT): 1004598(251799/752799)
Jun 01, 2017 10:51:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(809/1651) took 363052 ms. Total solver calls (SAT/UNSAT): 1009665(251865/757800)
Jun 01, 2017 10:51:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(815/1651) took 364115 ms. Total solver calls (SAT/UNSAT): 1014696(251931/762765)
Jun 01, 2017 10:51:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(821/1651) took 365170 ms. Total solver calls (SAT/UNSAT): 1019691(251997/767694)
Jun 01, 2017 10:51:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(827/1651) took 366236 ms. Total solver calls (SAT/UNSAT): 1024650(252063/772587)
Jun 01, 2017 10:51:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(833/1651) took 367280 ms. Total solver calls (SAT/UNSAT): 1029573(252129/777444)
Jun 01, 2017 10:52:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(839/1651) took 368311 ms. Total solver calls (SAT/UNSAT): 1034460(252195/782265)
Jun 01, 2017 10:52:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(845/1651) took 369334 ms. Total solver calls (SAT/UNSAT): 1039311(252261/787050)
Jun 01, 2017 10:52:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(851/1651) took 370353 ms. Total solver calls (SAT/UNSAT): 1044126(252327/791799)
Jun 01, 2017 10:52:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(857/1651) took 371369 ms. Total solver calls (SAT/UNSAT): 1048905(252393/796512)
Jun 01, 2017 10:52:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(863/1651) took 372384 ms. Total solver calls (SAT/UNSAT): 1053648(252459/801189)
Jun 01, 2017 10:52:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(869/1651) took 373395 ms. Total solver calls (SAT/UNSAT): 1058355(252525/805830)
Jun 01, 2017 10:52:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(876/1651) took 374553 ms. Total solver calls (SAT/UNSAT): 1063801(252602/811199)
Jun 01, 2017 10:52:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(883/1651) took 375676 ms. Total solver calls (SAT/UNSAT): 1069198(252635/816563)
Jun 01, 2017 10:52:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(890/1651) took 376774 ms. Total solver calls (SAT/UNSAT): 1074546(252646/821900)
Jun 01, 2017 10:52:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(897/1651) took 377900 ms. Total solver calls (SAT/UNSAT): 1079845(252723/827122)
Jun 01, 2017 10:52:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(904/1651) took 379013 ms. Total solver calls (SAT/UNSAT): 1085095(252800/832295)
Jun 01, 2017 10:52:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(911/1651) took 380120 ms. Total solver calls (SAT/UNSAT): 1090296(252877/837419)
Jun 01, 2017 10:52:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(918/1651) took 381268 ms. Total solver calls (SAT/UNSAT): 1095448(252954/842494)
Jun 01, 2017 10:52:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(925/1651) took 382420 ms. Total solver calls (SAT/UNSAT): 1100551(253031/847520)
Jun 01, 2017 10:52:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(932/1651) took 383510 ms. Total solver calls (SAT/UNSAT): 1105605(253108/852497)
Jun 01, 2017 10:52:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(939/1651) took 384640 ms. Total solver calls (SAT/UNSAT): 1110610(253185/857425)
Jun 01, 2017 10:52:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(946/1651) took 385701 ms. Total solver calls (SAT/UNSAT): 1115566(253262/862304)
Jun 01, 2017 10:52:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(953/1651) took 386751 ms. Total solver calls (SAT/UNSAT): 1120473(253339/867134)
Jun 01, 2017 10:52:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(960/1651) took 387805 ms. Total solver calls (SAT/UNSAT): 1125331(253416/871915)
Jun 01, 2017 10:52:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(967/1651) took 388859 ms. Total solver calls (SAT/UNSAT): 1130140(253493/876647)
Jun 01, 2017 10:52:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(974/1651) took 389882 ms. Total solver calls (SAT/UNSAT): 1134900(253570/881330)
Jun 01, 2017 10:52:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(981/1651) took 390892 ms. Total solver calls (SAT/UNSAT): 1139611(253647/885964)
Jun 01, 2017 10:52:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(989/1651) took 392030 ms. Total solver calls (SAT/UNSAT): 1144935(253735/891200)
Jun 01, 2017 10:52:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(997/1651) took 393102 ms. Total solver calls (SAT/UNSAT): 1150195(253735/896460)
Jun 01, 2017 10:52:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1005/1651) took 394206 ms. Total solver calls (SAT/UNSAT): 1155391(253801/901590)
Jun 01, 2017 10:52:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1013/1651) took 395326 ms. Total solver calls (SAT/UNSAT): 1160523(253889/906634)
Jun 01, 2017 10:52:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1021/1651) took 396452 ms. Total solver calls (SAT/UNSAT): 1165591(253977/911614)
Jun 01, 2017 10:52:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1029/1651) took 397512 ms. Total solver calls (SAT/UNSAT): 1170595(254065/916530)
Jun 01, 2017 10:52:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1037/1651) took 398542 ms. Total solver calls (SAT/UNSAT): 1175535(254153/921382)
Jun 01, 2017 10:52:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1045/1651) took 399669 ms. Total solver calls (SAT/UNSAT): 1180411(254241/926170)
Jun 01, 2017 10:52:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1053/1651) took 400699 ms. Total solver calls (SAT/UNSAT): 1185223(254329/930894)
Jun 01, 2017 10:52:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1061/1651) took 401720 ms. Total solver calls (SAT/UNSAT): 1189971(254417/935554)
Jun 01, 2017 10:52:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1069/1651) took 402739 ms. Total solver calls (SAT/UNSAT): 1194655(254505/940150)
Jun 01, 2017 10:52:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1077/1651) took 403746 ms. Total solver calls (SAT/UNSAT): 1199275(254593/944682)
Jun 01, 2017 10:52:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1086/1651) took 404855 ms. Total solver calls (SAT/UNSAT): 1204396(254692/949704)
Jun 01, 2017 10:52:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1095/1651) took 405951 ms. Total solver calls (SAT/UNSAT): 1209436(254791/954645)
Jun 01, 2017 10:52:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1104/1651) took 406997 ms. Total solver calls (SAT/UNSAT): 1214395(254835/959560)
Jun 01, 2017 10:52:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1113/1651) took 408026 ms. Total solver calls (SAT/UNSAT): 1219273(254879/964394)
Jun 01, 2017 10:52:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1122/1651) took 409072 ms. Total solver calls (SAT/UNSAT): 1224070(254978/969092)
Jun 01, 2017 10:52:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1131/1651) took 410149 ms. Total solver calls (SAT/UNSAT): 1228786(255077/973709)
Jun 01, 2017 10:52:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1141/1651) took 411250 ms. Total solver calls (SAT/UNSAT): 1233931(255187/978744)
Jun 01, 2017 10:52:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1151/1651) took 412326 ms. Total solver calls (SAT/UNSAT): 1238976(255297/983679)
Jun 01, 2017 10:52:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1161/1651) took 413388 ms. Total solver calls (SAT/UNSAT): 1243921(255407/988514)
Jun 01, 2017 10:52:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1171/1651) took 414429 ms. Total solver calls (SAT/UNSAT): 1248766(255517/993249)
Jun 01, 2017 10:52:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1181/1651) took 415449 ms. Total solver calls (SAT/UNSAT): 1253511(255627/997884)
Jun 01, 2017 10:52:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1192/1651) took 416538 ms. Total solver calls (SAT/UNSAT): 1258615(255748/1002867)
Jun 01, 2017 10:52:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1203/1651) took 417603 ms. Total solver calls (SAT/UNSAT): 1263598(255869/1007729)
Jun 01, 2017 10:52:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1214/1651) took 418614 ms. Total solver calls (SAT/UNSAT): 1268460(255935/1012525)
Jun 01, 2017 10:52:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1226/1651) took 419692 ms. Total solver calls (SAT/UNSAT): 1273626(256012/1017614)
Jun 01, 2017 10:52:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1237/1651) took 420728 ms. Total solver calls (SAT/UNSAT): 1278235(256133/1022102)
Jun 01, 2017 10:52:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1248/1651) took 421805 ms. Total solver calls (SAT/UNSAT): 1282723(256254/1026469)
Jun 01, 2017 10:52:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1260/1651) took 422885 ms. Total solver calls (SAT/UNSAT): 1287481(256386/1031095)
Jun 01, 2017 10:52:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1272/1651) took 423935 ms. Total solver calls (SAT/UNSAT): 1292095(256518/1035577)
Jun 01, 2017 10:52:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1284/1651) took 424952 ms. Total solver calls (SAT/UNSAT): 1296565(256650/1039915)
Jun 01, 2017 10:52:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1297/1651) took 426008 ms. Total solver calls (SAT/UNSAT): 1301245(256793/1044452)
Jun 01, 2017 10:52:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1310/1651) took 427011 ms. Total solver calls (SAT/UNSAT): 1305756(256936/1048820)
Jun 01, 2017 10:53:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1324/1651) took 428022 ms. Total solver calls (SAT/UNSAT): 1310425(257035/1053390)
Jun 01, 2017 10:53:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1339/1651) took 429063 ms. Total solver calls (SAT/UNSAT): 1315210(257145/1058065)
Jun 01, 2017 10:53:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1354/1651) took 430085 ms. Total solver calls (SAT/UNSAT): 1319770(257310/1062460)
Jun 01, 2017 10:53:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1370/1651) took 431142 ms. Total solver calls (SAT/UNSAT): 1324386(257486/1066900)
Jun 01, 2017 10:53:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1386/1651) took 432166 ms. Total solver calls (SAT/UNSAT): 1328746(257662/1071084)
Jun 01, 2017 10:53:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1403/1651) took 433197 ms. Total solver calls (SAT/UNSAT): 1333098(257849/1075249)
Jun 01, 2017 10:53:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1422/1651) took 434247 ms. Total solver calls (SAT/UNSAT): 1337620(258058/1079562)
Jun 01, 2017 10:53:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1444/1651) took 435292 ms. Total solver calls (SAT/UNSAT): 1342405(258190/1084215)
Jun 01, 2017 10:53:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1466/1651) took 436326 ms. Total solver calls (SAT/UNSAT): 1346706(258432/1088274)
Jun 01, 2017 10:53:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1490/1651) took 437346 ms. Total solver calls (SAT/UNSAT): 1350846(258696/1092150)
Jun 01, 2017 10:53:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1518/1651) took 438367 ms. Total solver calls (SAT/UNSAT): 1354948(259004/1095944)
Jun 01, 2017 10:53:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1555/1651) took 439381 ms. Total solver calls (SAT/UNSAT): 1359166(259235/1099931)
Jun 01, 2017 10:53:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(1646/1651) took 440381 ms. Total solver calls (SAT/UNSAT): 1363716(259235/1104481)
Jun 01, 2017 10:53:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 440388 ms. Total solver calls (SAT/UNSAT): 1363726(259235/1104491)
Jun 01, 2017 10:53:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 1651 transitions.
Jun 01, 2017 10:53:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed DNA matrix. took 58 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Jun 01, 2017 10:53:14 AM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Built C files in 1085978ms conformant to PINS in folder :/home/mcc/execution
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SafeBus-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/SafeBus-COL-10.tgz
mv 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 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 r070-csrt-149440964800197"
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 ;