About the Execution of ITS-Tools for S_BridgeAndVehicles-COL-V80P20N20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3828.600 | 3600000.00 | 7137558.00 | 321.70 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is S_BridgeAndVehicles-COL-V80P20N20, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r090-csrt-149441076700393
=====================================================================
--------------------
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 BridgeAndVehicles-COL-V80P20N20-LTLFireability-0
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLFireability-1
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLFireability-10
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLFireability-11
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLFireability-12
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLFireability-13
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLFireability-14
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLFireability-15
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLFireability-2
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLFireability-3
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLFireability-4
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLFireability-5
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLFireability-6
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLFireability-7
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLFireability-8
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLFireability-9
=== Now, execution of the tool begins
BK_START 1496403272631
Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ltl command run as :
/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((G(F(G((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB0.NB_ATTENTE_B_0>=1"))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB1.NB_ATTENTE_B_1>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB2.NB_ATTENTE_B_2>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB3.NB_ATTENTE_B_3>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB4.NB_ATTENTE_B_4>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB5.NB_ATTENTE_B_5>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB6.NB_ATTENTE_B_6>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB7.NB_ATTENTE_B_7>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB8.NB_ATTENTE_B_8>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB9.NB_ATTENTE_B_9>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB10.NB_ATTENTE_B_10>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB11.NB_ATTENTE_B_11>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB12.NB_ATTENTE_B_12>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB13.NB_ATTENTE_B_13>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB14.NB_ATTENTE_B_14>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB15.NB_ATTENTE_B_15>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB16.NB_ATTENTE_B_16>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB17.NB_ATTENTE_B_17>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB18.NB_ATTENTE_B_18>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB19.NB_ATTENTE_B_19>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB20.NB_ATTENTE_B_20>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB21.NB_ATTENTE_B_21>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB22.NB_ATTENTE_B_22>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB23.NB_ATTENTE_B_23>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB24.NB_ATTENTE_B_24>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB25.NB_ATTENTE_B_25>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB26.NB_ATTENTE_B_26>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB27.NB_ATTENTE_B_27>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB28.NB_ATTENTE_B_28>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB29.NB_ATTENTE_B_29>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB30.NB_ATTENTE_B_30>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB31.NB_ATTENTE_B_31>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB32.NB_ATTENTE_B_32>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB33.NB_ATTENTE_B_33>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB34.NB_ATTENTE_B_34>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB35.NB_ATTENTE_B_35>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB36.NB_ATTENTE_B_36>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB37.NB_ATTENTE_B_37>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB38.NB_ATTENTE_B_38>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB39.NB_ATTENTE_B_39>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB40.NB_ATTENTE_B_40>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB41.NB_ATTENTE_B_41>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB42.NB_ATTENTE_B_42>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB43.NB_ATTENTE_B_43>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB44.NB_ATTENTE_B_44>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB45.NB_ATTENTE_B_45>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB46.NB_ATTENTE_B_46>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB47.NB_ATTENTE_B_47>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB48.NB_ATTENTE_B_48>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB49.NB_ATTENTE_B_49>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB50.NB_ATTENTE_B_50>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB51.NB_ATTENTE_B_51>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB52.NB_ATTENTE_B_52>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB53.NB_ATTENTE_B_53>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB54.NB_ATTENTE_B_54>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB55.NB_ATTENTE_B_55>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB56.NB_ATTENTE_B_56>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB57.NB_ATTENTE_B_57>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB58.NB_ATTENTE_B_58>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB59.NB_ATTENTE_B_59>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB60.NB_ATTENTE_B_60>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB61.NB_ATTENTE_B_61>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB62.NB_ATTENTE_B_62>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB63.NB_ATTENTE_B_63>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB64.NB_ATTENTE_B_64>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB65.NB_ATTENTE_B_65>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB66.NB_ATTENTE_B_66>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB67.NB_ATTENTE_B_67>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB68.NB_ATTENTE_B_68>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB69.NB_ATTENTE_B_69>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB70.NB_ATTENTE_B_70>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB71.NB_ATTENTE_B_71>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB72.NB_ATTENTE_B_72>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB73.NB_ATTENTE_B_73>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB74.NB_ATTENTE_B_74>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB75.NB_ATTENTE_B_75>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB76.NB_ATTENTE_B_76>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB77.NB_ATTENTE_B_77>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB78.NB_ATTENTE_B_78>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB79.NB_ATTENTE_B_79>=1")))||(("ROUTE_B.ROUTE_B[0]>=1")&&("voitureB80.NB_ATTENTE_B_80>=1")))U((("sens0.VIDANGE_0>=1")&&("CAPACITE.CAPACITE[0]>=20"))||(("sens1.VIDANGE_1>=1")&&("CAPACITE.CAPACITE[0]>=20"))))))))
Formula 0 simplified : !GFG((("ROUTE_B.ROUTE_B[0]>=1" & "voitureB0.NB_ATTENTE_B_0>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB1.NB_ATTENTE_B_1>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB2.NB_ATTENTE_B_2>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB3.NB_ATTENTE_B_3>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB4.NB_ATTENTE_B_4>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB5.NB_ATTENTE_B_5>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB6.NB_ATTENTE_B_6>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB7.NB_ATTENTE_B_7>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB8.NB_ATTENTE_B_8>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB9.NB_ATTENTE_B_9>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB10.NB_ATTENTE_B_10>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB11.NB_ATTENTE_B_11>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB12.NB_ATTENTE_B_12>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB13.NB_ATTENTE_B_13>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB14.NB_ATTENTE_B_14>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB15.NB_ATTENTE_B_15>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB16.NB_ATTENTE_B_16>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB17.NB_ATTENTE_B_17>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB18.NB_ATTENTE_B_18>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB19.NB_ATTENTE_B_19>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB20.NB_ATTENTE_B_20>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB21.NB_ATTENTE_B_21>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB22.NB_ATTENTE_B_22>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB23.NB_ATTENTE_B_23>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB24.NB_ATTENTE_B_24>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB25.NB_ATTENTE_B_25>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB26.NB_ATTENTE_B_26>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB27.NB_ATTENTE_B_27>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB28.NB_ATTENTE_B_28>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB29.NB_ATTENTE_B_29>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB30.NB_ATTENTE_B_30>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB31.NB_ATTENTE_B_31>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB32.NB_ATTENTE_B_32>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB33.NB_ATTENTE_B_33>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB34.NB_ATTENTE_B_34>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB35.NB_ATTENTE_B_35>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB36.NB_ATTENTE_B_36>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB37.NB_ATTENTE_B_37>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB38.NB_ATTENTE_B_38>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB39.NB_ATTENTE_B_39>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB40.NB_ATTENTE_B_40>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB41.NB_ATTENTE_B_41>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB42.NB_ATTENTE_B_42>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB43.NB_ATTENTE_B_43>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB44.NB_ATTENTE_B_44>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB45.NB_ATTENTE_B_45>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB46.NB_ATTENTE_B_46>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB47.NB_ATTENTE_B_47>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB48.NB_ATTENTE_B_48>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB49.NB_ATTENTE_B_49>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB50.NB_ATTENTE_B_50>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB51.NB_ATTENTE_B_51>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB52.NB_ATTENTE_B_52>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB53.NB_ATTENTE_B_53>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB54.NB_ATTENTE_B_54>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB55.NB_ATTENTE_B_55>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB56.NB_ATTENTE_B_56>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB57.NB_ATTENTE_B_57>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB58.NB_ATTENTE_B_58>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB59.NB_ATTENTE_B_59>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB60.NB_ATTENTE_B_60>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB61.NB_ATTENTE_B_61>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB62.NB_ATTENTE_B_62>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB63.NB_ATTENTE_B_63>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB64.NB_ATTENTE_B_64>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB65.NB_ATTENTE_B_65>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB66.NB_ATTENTE_B_66>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB67.NB_ATTENTE_B_67>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB68.NB_ATTENTE_B_68>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB69.NB_ATTENTE_B_69>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB70.NB_ATTENTE_B_70>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB71.NB_ATTENTE_B_71>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB72.NB_ATTENTE_B_72>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB73.NB_ATTENTE_B_73>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB74.NB_ATTENTE_B_74>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB75.NB_ATTENTE_B_75>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB76.NB_ATTENTE_B_76>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB77.NB_ATTENTE_B_77>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB78.NB_ATTENTE_B_78>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB79.NB_ATTENTE_B_79>=1") | ("ROUTE_B.ROUTE_B[0]>=1" & "voitureB80.NB_ATTENTE_B_80>=1")) U (("CAPACITE.CAPACITE[0]>=20" & "sens0.VIDANGE_0>=1") | ("CAPACITE.CAPACITE[0]>=20" & "sens1.VIDANGE_1>=1")))
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 3728 rows 198 cols
invariant : 1'sens0:CONTROLEUR_0 + 1'sens0:CHOIX_0 + 1'sens0:VIDANGE_0 + 1'sens1:CONTROLEUR_1 + 1'sens1:CHOIX_1 + 1'sens1:VIDANGE_1= 1
invariant : 1'CAPACITE:CAPACITE[0] + -1'SORTI_A:SORTI_A[0] + -1'ROUTE_A:ROUTE_A[0] + -1'ATTENTE_A:ATTENTE_A[0] + 1'SUR_PONT_B:SUR_PONT_B[0]= -60
invariant : 1'SORTI_A:SORTI_A[0] + 1'ROUTE_A:ROUTE_A[0] + 1'ATTENTE_A:ATTENTE_A[0] + 1'SUR_PONT_A:SUR_PONT_A[0]= 80
invariant : -1'CAPACITE:CAPACITE[0] + 1'SORTI_A:SORTI_A[0] + 1'ROUTE_A:ROUTE_A[0] + 1'ATTENTE_A:ATTENTE_A[0] + 1'ATTENTE_B:ATTENTE_B[0] + 1'ROUTE_B:ROUTE_B[0] + 1'SORTI_B:SORTI_B[0]= 140
invariant : 1'compteur0:COMPTEUR_0 + 1'compteur1:COMPTEUR_1 + 1'compteur2:COMPTEUR_2 + 1'compteur3:COMPTEUR_3 + 1'compteur4:COMPTEUR_4 + 1'compteur5:COMPTEUR_5 + 1'compteur6:COMPTEUR_6 + 1'compteur7:COMPTEUR_7 + 1'compteur8:COMPTEUR_8 + 1'compteur9:COMPTEUR_9 + 1'compteur10:COMPTEUR_10 + 1'compteur11:COMPTEUR_11 + 1'compteur12:COMPTEUR_12 + 1'compteur13:COMPTEUR_13 + 1'compteur14:COMPTEUR_14 + 1'compteur15:COMPTEUR_15 + 1'compteur16:COMPTEUR_16 + 1'compteur17:COMPTEUR_17 + 1'compteur18:COMPTEUR_18 + 1'compteur19:COMPTEUR_19 + 1'compteur20:COMPTEUR_20= 1
invariant : 1'voitureA0:NB_ATTENTE_A_0 + 1'voitureA1:NB_ATTENTE_A_1 + 1'voitureA2:NB_ATTENTE_A_2 + 1'voitureA3:NB_ATTENTE_A_3 + 1'voitureA4:NB_ATTENTE_A_4 + 1'voitureA5:NB_ATTENTE_A_5 + 1'voitureA6:NB_ATTENTE_A_6 + 1'voitureA7:NB_ATTENTE_A_7 + 1'voitureA8:NB_ATTENTE_A_8 + 1'voitureA9:NB_ATTENTE_A_9 + 1'voitureA10:NB_ATTENTE_A_10 + 1'voitureA11:NB_ATTENTE_A_11 + 1'voitureA12:NB_ATTENTE_A_12 + 1'voitureA13:NB_ATTENTE_A_13 + 1'voitureA14:NB_ATTENTE_A_14 + 1'voitureA15:NB_ATTENTE_A_15 + 1'voitureA16:NB_ATTENTE_A_16 + 1'voitureA17:NB_ATTENTE_A_17 + 1'voitureA18:NB_ATTENTE_A_18 + 1'voitureA19:NB_ATTENTE_A_19 + 1'voitureA20:NB_ATTENTE_A_20 + 1'voitureA21:NB_ATTENTE_A_21 + 1'voitureA22:NB_ATTENTE_A_22 + 1'voitureA23:NB_ATTENTE_A_23 + 1'voitureA24:NB_ATTENTE_A_24 + 1'voitureA25:NB_ATTENTE_A_25 + 1'voitureA26:NB_ATTENTE_A_26 + 1'voitureA27:NB_ATTENTE_A_27 + 1'voitureA28:NB_ATTENTE_A_28 + 1'voitureA29:NB_ATTENTE_A_29 + 1'voitureA30:NB_ATTENTE_A_30 + 1'voitureA31:NB_ATTENTE_A_31 + 1'voitureA32:NB_ATTENTE_A_32 + 1'voitureA33:NB_ATTENTE_A_33 + 1'voitureA34:NB_ATTENTE_A_34 + 1'voitureA35:NB_ATTENTE_A_35 + 1'voitureA36:NB_ATTENTE_A_36 + 1'voitureA37:NB_ATTENTE_A_37 + 1'voitureA38:NB_ATTENTE_A_38 + 1'voitureA39:NB_ATTENTE_A_39 + 1'voitureA40:NB_ATTENTE_A_40 + 1'voitureA41:NB_ATTENTE_A_41 + 1'voitureA42:NB_ATTENTE_A_42 + 1'voitureA43:NB_ATTENTE_A_43 + 1'voitureA44:NB_ATTENTE_A_44 + 1'voitureA45:NB_ATTENTE_A_45 + 1'voitureA46:NB_ATTENTE_A_46 + 1'voitureA47:NB_ATTENTE_A_47 + 1'voitureA48:NB_ATTENTE_A_48 + 1'voitureA49:NB_ATTENTE_A_49 + 1'voitureA50:NB_ATTENTE_A_50 + 1'voitureA51:NB_ATTENTE_A_51 + 1'voitureA52:NB_ATTENTE_A_52 + 1'voitureA53:NB_ATTENTE_A_53 + 1'voitureA54:NB_ATTENTE_A_54 + 1'voitureA55:NB_ATTENTE_A_55 + 1'voitureA56:NB_ATTENTE_A_56 + 1'voitureA57:NB_ATTENTE_A_57 + 1'voitureA58:NB_ATTENTE_A_58 + 1'voitureA59:NB_ATTENTE_A_59 + 1'voitureA60:NB_ATTENTE_A_60 + 1'voitureA61:NB_ATTENTE_A_61 + 1'voitureA62:NB_ATTENTE_A_62 + 1'voitureA63:NB_ATTENTE_A_63 + 1'voitureA64:NB_ATTENTE_A_64 + 1'voitureA65:NB_ATTENTE_A_65 + 1'voitureA66:NB_ATTENTE_A_66 + 1'voitureA67:NB_ATTENTE_A_67 + 1'voitureA68:NB_ATTENTE_A_68 + 1'voitureA69:NB_ATTENTE_A_69 + 1'voitureA70:NB_ATTENTE_A_70 + 1'voitureA71:NB_ATTENTE_A_71 + 1'voitureA72:NB_ATTENTE_A_72 + 1'voitureA73:NB_ATTENTE_A_73 + 1'voitureA74:NB_ATTENTE_A_74 + 1'voitureA75:NB_ATTENTE_A_75 + 1'voitureA76:NB_ATTENTE_A_76 + 1'voitureA77:NB_ATTENTE_A_77 + 1'voitureA78:NB_ATTENTE_A_78 + 1'voitureA79:NB_ATTENTE_A_79 + 1'voitureA80:NB_ATTENTE_A_80= 1
invariant : 1'voitureB0:NB_ATTENTE_B_0 + 1'voitureB1:NB_ATTENTE_B_1 + 1'voitureB2:NB_ATTENTE_B_2 + 1'voitureB3:NB_ATTENTE_B_3 + 1'voitureB4:NB_ATTENTE_B_4 + 1'voitureB5:NB_ATTENTE_B_5 + 1'voitureB6:NB_ATTENTE_B_6 + 1'voitureB7:NB_ATTENTE_B_7 + 1'voitureB8:NB_ATTENTE_B_8 + 1'voitureB9:NB_ATTENTE_B_9 + 1'voitureB10:NB_ATTENTE_B_10 + 1'voitureB11:NB_ATTENTE_B_11 + 1'voitureB12:NB_ATTENTE_B_12 + 1'voitureB13:NB_ATTENTE_B_13 + 1'voitureB14:NB_ATTENTE_B_14 + 1'voitureB15:NB_ATTENTE_B_15 + 1'voitureB16:NB_ATTENTE_B_16 + 1'voitureB17:NB_ATTENTE_B_17 + 1'voitureB18:NB_ATTENTE_B_18 + 1'voitureB19:NB_ATTENTE_B_19 + 1'voitureB20:NB_ATTENTE_B_20 + 1'voitureB21:NB_ATTENTE_B_21 + 1'voitureB22:NB_ATTENTE_B_22 + 1'voitureB23:NB_ATTENTE_B_23 + 1'voitureB24:NB_ATTENTE_B_24 + 1'voitureB25:NB_ATTENTE_B_25 + 1'voitureB26:NB_ATTENTE_B_26 + 1'voitureB27:NB_ATTENTE_B_27 + 1'voitureB28:NB_ATTENTE_B_28 + 1'voitureB29:NB_ATTENTE_B_29 + 1'voitureB30:NB_ATTENTE_B_30 + 1'voitureB31:NB_ATTENTE_B_31 + 1'voitureB32:NB_ATTENTE_B_32 + 1'voitureB33:NB_ATTENTE_B_33 + 1'voitureB34:NB_ATTENTE_B_34 + 1'voitureB35:NB_ATTENTE_B_35 + 1'voitureB36:NB_ATTENTE_B_36 + 1'voitureB37:NB_ATTENTE_B_37 + 1'voitureB38:NB_ATTENTE_B_38 + 1'voitureB39:NB_ATTENTE_B_39 + 1'voitureB40:NB_ATTENTE_B_40 + 1'voitureB41:NB_ATTENTE_B_41 + 1'voitureB42:NB_ATTENTE_B_42 + 1'voitureB43:NB_ATTENTE_B_43 + 1'voitureB44:NB_ATTENTE_B_44 + 1'voitureB45:NB_ATTENTE_B_45 + 1'voitureB46:NB_ATTENTE_B_46 + 1'voitureB47:NB_ATTENTE_B_47 + 1'voitureB48:NB_ATTENTE_B_48 + 1'voitureB49:NB_ATTENTE_B_49 + 1'voitureB50:NB_ATTENTE_B_50 + 1'voitureB51:NB_ATTENTE_B_51 + 1'voitureB52:NB_ATTENTE_B_52 + 1'voitureB53:NB_ATTENTE_B_53 + 1'voitureB54:NB_ATTENTE_B_54 + 1'voitureB55:NB_ATTENTE_B_55 + 1'voitureB56:NB_ATTENTE_B_56 + 1'voitureB57:NB_ATTENTE_B_57 + 1'voitureB58:NB_ATTENTE_B_58 + 1'voitureB59:NB_ATTENTE_B_59 + 1'voitureB60:NB_ATTENTE_B_60 + 1'voitureB61:NB_ATTENTE_B_61 + 1'voitureB62:NB_ATTENTE_B_62 + 1'voitureB63:NB_ATTENTE_B_63 + 1'voitureB64:NB_ATTENTE_B_64 + 1'voitureB65:NB_ATTENTE_B_65 + 1'voitureB66:NB_ATTENTE_B_66 + 1'voitureB67:NB_ATTENTE_B_67 + 1'voitureB68:NB_ATTENTE_B_68 + 1'voitureB69:NB_ATTENTE_B_69 + 1'voitureB70:NB_ATTENTE_B_70 + 1'voitureB71:NB_ATTENTE_B_71 + 1'voitureB72:NB_ATTENTE_B_72 + 1'voitureB73:NB_ATTENTE_B_73 + 1'voitureB74:NB_ATTENTE_B_74 + 1'voitureB75:NB_ATTENTE_B_75 + 1'voitureB76:NB_ATTENTE_B_76 + 1'voitureB77:NB_ATTENTE_B_77 + 1'voitureB78:NB_ATTENTE_B_78 + 1'voitureB79:NB_ATTENTE_B_79 + 1'voitureB80:NB_ATTENTE_B_80= 1
Detected timeout of ITS tools.
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
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -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 LTLFireability -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 02, 2017 11:34:34 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 02, 2017 11:34:34 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 02, 2017 11:34:35 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1483 ms
Jun 02, 2017 11:34:35 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 15 places.
Jun 02, 2017 11:34:35 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Jun 02, 2017 11:34:35 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :sens->CONTROLEUR,CHOIX,VIDANGE,
compteur->COMPTEUR,
Dot->CAPACITE,SORTI_A,ROUTE_A,ATTENTE_A,SUR_PONT_A,SUR_PONT_B,ATTENTE_B,ROUTE_B,SORTI_B,
voitureA->NB_ATTENTE_A,
voitureB->NB_ATTENTE_B,
Jun 02, 2017 11:34:35 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 11 transitions.
Jun 02, 2017 11:34:35 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Jun 02, 2017 11:34:36 AM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Jun 02, 2017 11:34:37 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Jun 02, 2017 11:34:37 AM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 189 instantiations of transitions. Total transitions/syncs built is 568
Jun 02, 2017 11:34:37 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 132 ms
Jun 02, 2017 11:34:39 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays NB_ATTENTE_A, NB_ATTENTE_B, CONTROLEUR, CHOIX, COMPTEUR, VIDANGE to variables to allow decomposition.
Jun 02, 2017 11:34:40 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 405 redundant transitions.
Jun 02, 2017 11:34:40 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 44 ms
Jun 02, 2017 11:34:40 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 78 ms
Jun 02, 2017 11:34:42 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 319 ms
Jun 02, 2017 11:34:57 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 198 variables to be positive in 15071 ms
Jun 02, 2017 11:34:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 3728 transitions.
Jun 02, 2017 11:34:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3728 took 317 ms. Total solver calls (SAT/UNSAT): 1943(2/1941)
Jun 02, 2017 11:34:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/3728 took 1414 ms. Total solver calls (SAT/UNSAT): 9715(10/9705)
Jun 02, 2017 11:35:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/3728 took 2497 ms. Total solver calls (SAT/UNSAT): 17487(18/17469)
Jun 02, 2017 11:35:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/3728 took 3577 ms. Total solver calls (SAT/UNSAT): 25259(26/25233)
Jun 02, 2017 11:35:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :16/3728 took 4667 ms. Total solver calls (SAT/UNSAT): 33031(34/32997)
Jun 02, 2017 11:35:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/3728 took 5718 ms. Total solver calls (SAT/UNSAT): 40803(42/40761)
Jun 02, 2017 11:35:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/3728 took 6772 ms. Total solver calls (SAT/UNSAT): 48575(50/48525)
Jun 02, 2017 11:35:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/3728 took 7816 ms. Total solver calls (SAT/UNSAT): 56347(58/56289)
Jun 02, 2017 11:35:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/3728 took 8857 ms. Total solver calls (SAT/UNSAT): 64119(66/64053)
Jun 02, 2017 11:35:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/3728 took 9917 ms. Total solver calls (SAT/UNSAT): 71891(74/71817)
Jun 02, 2017 11:35:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/3728 took 10971 ms. Total solver calls (SAT/UNSAT): 79663(82/79581)
Jun 02, 2017 11:35:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/3728 took 12027 ms. Total solver calls (SAT/UNSAT): 87435(90/87345)
Jun 02, 2017 11:35:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/3728 took 13072 ms. Total solver calls (SAT/UNSAT): 95207(98/95109)
Jun 02, 2017 11:35:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/3728 took 14113 ms. Total solver calls (SAT/UNSAT): 102979(106/102873)
Jun 02, 2017 11:35:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/3728 took 15157 ms. Total solver calls (SAT/UNSAT): 110751(114/110637)
Jun 02, 2017 11:35:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/3728 took 16202 ms. Total solver calls (SAT/UNSAT): 118523(122/118401)
Jun 02, 2017 11:35:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/3728 took 17247 ms. Total solver calls (SAT/UNSAT): 126295(130/126165)
Jun 02, 2017 11:35:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/3728 took 18289 ms. Total solver calls (SAT/UNSAT): 134067(138/133929)
Jun 02, 2017 11:35:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/3728 took 19334 ms. Total solver calls (SAT/UNSAT): 141839(146/141693)
Jun 02, 2017 11:35:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/3728 took 20379 ms. Total solver calls (SAT/UNSAT): 149611(154/149457)
Jun 02, 2017 11:35:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/3728 took 21422 ms. Total solver calls (SAT/UNSAT): 157308(163/157145)
Jun 02, 2017 11:35:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/3728 took 22425 ms. Total solver calls (SAT/UNSAT): 164776(175/164601)
Jun 02, 2017 11:35:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/3728 took 23447 ms. Total solver calls (SAT/UNSAT): 172244(187/172057)
Jun 02, 2017 11:35:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :93/3728 took 24693 ms. Total solver calls (SAT/UNSAT): 181579(202/181377)
Jun 02, 2017 11:35:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/3728 took 25927 ms. Total solver calls (SAT/UNSAT): 190914(217/190697)
Jun 02, 2017 11:35:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :102/3728 took 27114 ms. Total solver calls (SAT/UNSAT): 199906(229/199677)
Jun 02, 2017 11:35:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/3728 took 28348 ms. Total solver calls (SAT/UNSAT): 209246(244/209002)
Jun 02, 2017 11:35:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/3728 took 29585 ms. Total solver calls (SAT/UNSAT): 218586(259/218327)
Jun 02, 2017 11:35:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :117/3728 took 30822 ms. Total solver calls (SAT/UNSAT): 227926(274/227652)
Jun 02, 2017 11:35:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :121/3728 took 32009 ms. Total solver calls (SAT/UNSAT): 236919(286/236633)
Jun 02, 2017 11:35:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :126/3728 took 33249 ms. Total solver calls (SAT/UNSAT): 246260(301/245959)
Jun 02, 2017 11:35:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/3728 took 34485 ms. Total solver calls (SAT/UNSAT): 255600(316/255284)
Jun 02, 2017 11:35:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/3728 took 35721 ms. Total solver calls (SAT/UNSAT): 264940(331/264609)
Jun 02, 2017 11:35:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/3728 took 36723 ms. Total solver calls (SAT/UNSAT): 272412(343/272069)
Jun 02, 2017 11:35:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/3728 took 37968 ms. Total solver calls (SAT/UNSAT): 281406(355/281051)
Jun 02, 2017 11:35:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/3728 took 38969 ms. Total solver calls (SAT/UNSAT): 288878(367/288511)
Jun 02, 2017 11:35:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/3728 took 40211 ms. Total solver calls (SAT/UNSAT): 298218(382/297836)
Jun 02, 2017 11:35:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :157/3728 took 41212 ms. Total solver calls (SAT/UNSAT): 305690(394/305296)
Jun 02, 2017 11:35:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/3728 took 42450 ms. Total solver calls (SAT/UNSAT): 315030(409/314621)
Jun 02, 2017 11:35:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :166/3728 took 43635 ms. Total solver calls (SAT/UNSAT): 324024(421/323603)
Jun 02, 2017 11:35:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/3728 took 44870 ms. Total solver calls (SAT/UNSAT): 333364(436/332928)
Jun 02, 2017 11:35:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/3728 took 46114 ms. Total solver calls (SAT/UNSAT): 342704(451/342253)
Jun 02, 2017 11:35:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :181/3728 took 47351 ms. Total solver calls (SAT/UNSAT): 352044(466/351578)
Jun 02, 2017 11:35:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/3728 took 48538 ms. Total solver calls (SAT/UNSAT): 361038(478/360560)
Jun 02, 2017 11:35:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :190/3728 took 49772 ms. Total solver calls (SAT/UNSAT): 370378(493/369885)
Jun 02, 2017 11:35:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/3728 took 50775 ms. Total solver calls (SAT/UNSAT): 377850(505/377345)
Jun 02, 2017 11:35:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :198/3728 took 51787 ms. Total solver calls (SAT/UNSAT): 385322(517/384805)
Jun 02, 2017 11:35:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :202/3728 took 52787 ms. Total solver calls (SAT/UNSAT): 392794(529/392265)
Jun 02, 2017 11:35:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :206/3728 took 53970 ms. Total solver calls (SAT/UNSAT): 401788(541/401247)
Jun 02, 2017 11:35:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :211/3728 took 55205 ms. Total solver calls (SAT/UNSAT): 411128(556/410572)
Jun 02, 2017 11:35:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/3728 took 56435 ms. Total solver calls (SAT/UNSAT): 420468(571/419897)
Jun 02, 2017 11:35:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/3728 took 57668 ms. Total solver calls (SAT/UNSAT): 429808(586/429222)
Jun 02, 2017 11:35:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/3728 took 59094 ms. Total solver calls (SAT/UNSAT): 440669(601/440068)
Jun 02, 2017 11:35:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/3728 took 60322 ms. Total solver calls (SAT/UNSAT): 450010(616/449394)
Jun 02, 2017 11:35:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/3728 took 61551 ms. Total solver calls (SAT/UNSAT): 459350(631/458719)
Jun 02, 2017 11:36:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/3728 took 62780 ms. Total solver calls (SAT/UNSAT): 468690(646/468044)
Jun 02, 2017 11:36:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/3728 took 64010 ms. Total solver calls (SAT/UNSAT): 478030(661/477369)
Jun 02, 2017 11:36:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :250/3728 took 65188 ms. Total solver calls (SAT/UNSAT): 487024(673/486351)
Jun 02, 2017 11:36:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :255/3728 took 66419 ms. Total solver calls (SAT/UNSAT): 496364(688/495676)
Jun 02, 2017 11:36:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :260/3728 took 67654 ms. Total solver calls (SAT/UNSAT): 505704(703/505001)
Jun 02, 2017 11:36:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :265/3728 took 68883 ms. Total solver calls (SAT/UNSAT): 515044(718/514326)
Jun 02, 2017 11:36:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :269/3728 took 70103 ms. Total solver calls (SAT/UNSAT): 524038(730/523308)
Jun 02, 2017 11:36:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :274/3728 took 71324 ms. Total solver calls (SAT/UNSAT): 533378(745/532633)
Jun 02, 2017 11:36:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :279/3728 took 72545 ms. Total solver calls (SAT/UNSAT): 542718(760/541958)
Jun 02, 2017 11:36:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :284/3728 took 73754 ms. Total solver calls (SAT/UNSAT): 552058(775/551283)
Jun 02, 2017 11:36:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :289/3728 took 75156 ms. Total solver calls (SAT/UNSAT): 562919(790/562129)
Jun 02, 2017 11:36:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :294/3728 took 76368 ms. Total solver calls (SAT/UNSAT): 572260(805/571455)
Jun 02, 2017 11:36:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :299/3728 took 77576 ms. Total solver calls (SAT/UNSAT): 581600(820/580780)
Jun 02, 2017 11:36:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/3728 took 78783 ms. Total solver calls (SAT/UNSAT): 590940(835/590105)
Jun 02, 2017 11:36:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :309/3728 took 79993 ms. Total solver calls (SAT/UNSAT): 600280(850/599430)
Jun 02, 2017 11:36:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :313/3728 took 81215 ms. Total solver calls (SAT/UNSAT): 609274(862/608412)
Jun 02, 2017 11:36:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/3728 took 82432 ms. Total solver calls (SAT/UNSAT): 618614(877/617737)
Jun 02, 2017 11:36:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :323/3728 took 83670 ms. Total solver calls (SAT/UNSAT): 627954(892/627062)
Jun 02, 2017 11:36:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :328/3728 took 84909 ms. Total solver calls (SAT/UNSAT): 637294(907/636387)
Jun 02, 2017 11:36:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/3728 took 86073 ms. Total solver calls (SAT/UNSAT): 646288(919/645369)
Jun 02, 2017 11:36:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/3728 took 87283 ms. Total solver calls (SAT/UNSAT): 655628(934/654694)
Jun 02, 2017 11:36:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :342/3728 took 88502 ms. Total solver calls (SAT/UNSAT): 664968(949/664019)
Jun 02, 2017 11:36:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :346/3728 took 89519 ms. Total solver calls (SAT/UNSAT): 672440(961/671479)
Jun 02, 2017 11:36:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/3728 took 90738 ms. Total solver calls (SAT/UNSAT): 681780(976/680804)
Jun 02, 2017 11:36:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/3728 took 91909 ms. Total solver calls (SAT/UNSAT): 690774(988/689786)
Jun 02, 2017 11:36:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/3728 took 93122 ms. Total solver calls (SAT/UNSAT): 700114(1003/699111)
Jun 02, 2017 11:36:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/3728 took 94326 ms. Total solver calls (SAT/UNSAT): 709454(1018/708436)
Jun 02, 2017 11:36:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/3728 took 95533 ms. Total solver calls (SAT/UNSAT): 718794(1033/717761)
Jun 02, 2017 11:36:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/3728 took 96689 ms. Total solver calls (SAT/UNSAT): 727788(1045/726743)
Jun 02, 2017 11:36:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/3728 took 97900 ms. Total solver calls (SAT/UNSAT): 737128(1060/736068)
Jun 02, 2017 11:36:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/3728 took 99110 ms. Total solver calls (SAT/UNSAT): 746468(1075/745393)
Jun 02, 2017 11:36:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/3728 took 100318 ms. Total solver calls (SAT/UNSAT): 755808(1090/754718)
Jun 02, 2017 11:36:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/3728 took 101747 ms. Total solver calls (SAT/UNSAT): 766669(1105/765564)
Jun 02, 2017 11:36:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/3728 took 102967 ms. Total solver calls (SAT/UNSAT): 776010(1120/774890)
Jun 02, 2017 11:36:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/3728 took 104188 ms. Total solver calls (SAT/UNSAT): 785350(1135/784215)
Jun 02, 2017 11:36:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/3728 took 105395 ms. Total solver calls (SAT/UNSAT): 794690(1150/793540)
Jun 02, 2017 11:36:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/3728 took 106602 ms. Total solver calls (SAT/UNSAT): 804030(1165/802865)
Jun 02, 2017 11:36:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :418/3728 took 107762 ms. Total solver calls (SAT/UNSAT): 813024(1177/811847)
Jun 02, 2017 11:36:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/3728 took 108971 ms. Total solver calls (SAT/UNSAT): 822364(1192/821172)
Jun 02, 2017 11:36:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/3728 took 110183 ms. Total solver calls (SAT/UNSAT): 831704(1207/830497)
Jun 02, 2017 11:36:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/3728 took 111391 ms. Total solver calls (SAT/UNSAT): 841044(1222/839822)
Jun 02, 2017 11:36:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/3728 took 112549 ms. Total solver calls (SAT/UNSAT): 850038(1234/848804)
Jun 02, 2017 11:36:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/3728 took 113757 ms. Total solver calls (SAT/UNSAT): 859378(1249/858129)
Jun 02, 2017 11:36:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/3728 took 114964 ms. Total solver calls (SAT/UNSAT): 868718(1264/867454)
Jun 02, 2017 11:36:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/3728 took 116172 ms. Total solver calls (SAT/UNSAT): 878058(1279/876779)
Jun 02, 2017 11:36:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/3728 took 117569 ms. Total solver calls (SAT/UNSAT): 888919(1294/887625)
Jun 02, 2017 11:36:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/3728 took 118802 ms. Total solver calls (SAT/UNSAT): 898260(1309/896951)
Jun 02, 2017 11:36:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/3728 took 120009 ms. Total solver calls (SAT/UNSAT): 907600(1324/906276)
Jun 02, 2017 11:36:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/3728 took 121032 ms. Total solver calls (SAT/UNSAT): 915072(1336/913736)
Jun 02, 2017 11:36:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/3728 took 122256 ms. Total solver calls (SAT/UNSAT): 924412(1351/923061)
Jun 02, 2017 11:37:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/3728 took 123432 ms. Total solver calls (SAT/UNSAT): 933406(1363/932043)
Jun 02, 2017 11:37:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/3728 took 124648 ms. Total solver calls (SAT/UNSAT): 942746(1378/941368)
Jun 02, 2017 11:37:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :490/3728 took 125863 ms. Total solver calls (SAT/UNSAT): 952086(1393/950693)
Jun 02, 2017 11:37:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/3728 took 127076 ms. Total solver calls (SAT/UNSAT): 961426(1408/960018)
Jun 02, 2017 11:37:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/3728 took 128238 ms. Total solver calls (SAT/UNSAT): 970419(1420/968999)
Jun 02, 2017 11:37:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/3728 took 129447 ms. Total solver calls (SAT/UNSAT): 979760(1435/978325)
Jun 02, 2017 11:37:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/3728 took 130659 ms. Total solver calls (SAT/UNSAT): 989100(1450/987650)
Jun 02, 2017 11:37:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :514/3728 took 131868 ms. Total solver calls (SAT/UNSAT): 998440(1465/996975)
Jun 02, 2017 11:37:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/3728 took 133077 ms. Total solver calls (SAT/UNSAT): 1007780(1480/1006300)
Jun 02, 2017 11:37:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/3728 took 134239 ms. Total solver calls (SAT/UNSAT): 1016774(1492/1015282)
Jun 02, 2017 11:37:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/3728 took 135454 ms. Total solver calls (SAT/UNSAT): 1026114(1507/1024607)
Jun 02, 2017 11:37:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/3728 took 136678 ms. Total solver calls (SAT/UNSAT): 1035454(1522/1033932)
Jun 02, 2017 11:37:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/3728 took 137887 ms. Total solver calls (SAT/UNSAT): 1044794(1537/1043257)
Jun 02, 2017 11:37:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/3728 took 139044 ms. Total solver calls (SAT/UNSAT): 1053788(1549/1052239)
Jun 02, 2017 11:37:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :547/3728 took 140250 ms. Total solver calls (SAT/UNSAT): 1063128(1564/1061564)
Jun 02, 2017 11:37:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/3728 took 141458 ms. Total solver calls (SAT/UNSAT): 1072468(1579/1070889)
Jun 02, 2017 11:37:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/3728 took 142667 ms. Total solver calls (SAT/UNSAT): 1081808(1594/1080214)
Jun 02, 2017 11:37:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/3728 took 144070 ms. Total solver calls (SAT/UNSAT): 1092669(1609/1091060)
Jun 02, 2017 11:37:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/3728 took 145278 ms. Total solver calls (SAT/UNSAT): 1102010(1624/1100386)
Jun 02, 2017 11:37:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/3728 took 146484 ms. Total solver calls (SAT/UNSAT): 1111350(1639/1109711)
Jun 02, 2017 11:37:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :577/3728 took 147689 ms. Total solver calls (SAT/UNSAT): 1120690(1654/1119036)
Jun 02, 2017 11:37:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/3728 took 148896 ms. Total solver calls (SAT/UNSAT): 1130030(1669/1128361)
Jun 02, 2017 11:37:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/3728 took 150055 ms. Total solver calls (SAT/UNSAT): 1139024(1681/1137343)
Jun 02, 2017 11:37:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/3728 took 151077 ms. Total solver calls (SAT/UNSAT): 1146496(1693/1144803)
Jun 02, 2017 11:37:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :594/3728 took 152086 ms. Total solver calls (SAT/UNSAT): 1153968(1705/1152263)
Jun 02, 2017 11:37:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :599/3728 took 153310 ms. Total solver calls (SAT/UNSAT): 1163308(1720/1161588)
Jun 02, 2017 11:37:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :604/3728 took 154769 ms. Total solver calls (SAT/UNSAT): 1174169(1735/1172434)
Jun 02, 2017 11:37:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :608/3728 took 155809 ms. Total solver calls (SAT/UNSAT): 1181642(1747/1179895)
Jun 02, 2017 11:37:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :613/3728 took 157046 ms. Total solver calls (SAT/UNSAT): 1190982(1762/1189220)
Jun 02, 2017 11:37:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :618/3728 took 158276 ms. Total solver calls (SAT/UNSAT): 1200322(1777/1198545)
Jun 02, 2017 11:37:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :623/3728 took 159506 ms. Total solver calls (SAT/UNSAT): 1209662(1792/1207870)
Jun 02, 2017 11:37:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :627/3728 took 160689 ms. Total solver calls (SAT/UNSAT): 1218656(1804/1216852)
Jun 02, 2017 11:37:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :632/3728 took 161922 ms. Total solver calls (SAT/UNSAT): 1227996(1819/1226177)
Jun 02, 2017 11:37:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :637/3728 took 163155 ms. Total solver calls (SAT/UNSAT): 1237336(1834/1235502)
Jun 02, 2017 11:37:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :642/3728 took 164387 ms. Total solver calls (SAT/UNSAT): 1246676(1849/1244827)
Jun 02, 2017 11:37:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :646/3728 took 165565 ms. Total solver calls (SAT/UNSAT): 1255669(1861/1253808)
Jun 02, 2017 11:37:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :651/3728 took 166797 ms. Total solver calls (SAT/UNSAT): 1265010(1876/1263134)
Jun 02, 2017 11:37:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :656/3728 took 168026 ms. Total solver calls (SAT/UNSAT): 1274350(1891/1272459)
Jun 02, 2017 11:37:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :661/3728 took 169253 ms. Total solver calls (SAT/UNSAT): 1283690(1906/1281784)
Jun 02, 2017 11:37:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :666/3728 took 170481 ms. Total solver calls (SAT/UNSAT): 1293030(1921/1291109)
Jun 02, 2017 11:37:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :670/3728 took 171661 ms. Total solver calls (SAT/UNSAT): 1302024(1933/1300091)
Jun 02, 2017 11:37:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :675/3728 took 172900 ms. Total solver calls (SAT/UNSAT): 1311364(1948/1309416)
Jun 02, 2017 11:37:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :680/3728 took 174140 ms. Total solver calls (SAT/UNSAT): 1320704(1963/1318741)
Jun 02, 2017 11:37:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :685/3728 took 175368 ms. Total solver calls (SAT/UNSAT): 1330044(1978/1328066)
Jun 02, 2017 11:37:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :689/3728 took 176545 ms. Total solver calls (SAT/UNSAT): 1339038(1990/1337048)
Jun 02, 2017 11:37:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :694/3728 took 177774 ms. Total solver calls (SAT/UNSAT): 1348378(2005/1346373)
Jun 02, 2017 11:37:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :699/3728 took 179006 ms. Total solver calls (SAT/UNSAT): 1357718(2020/1355698)
Jun 02, 2017 11:37:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :703/3728 took 180033 ms. Total solver calls (SAT/UNSAT): 1365190(2032/1363158)
Jun 02, 2017 11:37:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :708/3728 took 181256 ms. Total solver calls (SAT/UNSAT): 1374530(2047/1372483)
Jun 02, 2017 11:37:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :712/3728 took 182425 ms. Total solver calls (SAT/UNSAT): 1383524(2059/1381465)
Jun 02, 2017 11:38:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :717/3728 took 183645 ms. Total solver calls (SAT/UNSAT): 1392864(2074/1390790)
Jun 02, 2017 11:38:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :722/3728 took 184862 ms. Total solver calls (SAT/UNSAT): 1402204(2089/1400115)
Jun 02, 2017 11:38:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :727/3728 took 186084 ms. Total solver calls (SAT/UNSAT): 1411544(2104/1409440)
Jun 02, 2017 11:38:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :731/3728 took 187252 ms. Total solver calls (SAT/UNSAT): 1420538(2116/1418422)
Jun 02, 2017 11:38:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :736/3728 took 188473 ms. Total solver calls (SAT/UNSAT): 1429878(2131/1427747)
Jun 02, 2017 11:38:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :741/3728 took 189693 ms. Total solver calls (SAT/UNSAT): 1439218(2146/1437072)
Jun 02, 2017 11:38:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :746/3728 took 190911 ms. Total solver calls (SAT/UNSAT): 1448558(2161/1446397)
Jun 02, 2017 11:38:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :751/3728 took 192333 ms. Total solver calls (SAT/UNSAT): 1459419(2176/1457243)
Jun 02, 2017 11:38:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :756/3728 took 193548 ms. Total solver calls (SAT/UNSAT): 1468760(2191/1466569)
Jun 02, 2017 11:38:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :761/3728 took 194763 ms. Total solver calls (SAT/UNSAT): 1478100(2206/1475894)
Jun 02, 2017 11:38:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :766/3728 took 196031 ms. Total solver calls (SAT/UNSAT): 1487440(2221/1485219)
Jun 02, 2017 11:38:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :770/3728 took 197071 ms. Total solver calls (SAT/UNSAT): 1494912(2233/1492679)
Jun 02, 2017 11:38:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :774/3728 took 198242 ms. Total solver calls (SAT/UNSAT): 1503906(2245/1501661)
Jun 02, 2017 11:38:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :779/3728 took 199463 ms. Total solver calls (SAT/UNSAT): 1513246(2260/1510986)
Jun 02, 2017 11:38:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :784/3728 took 200680 ms. Total solver calls (SAT/UNSAT): 1522586(2275/1520311)
Jun 02, 2017 11:38:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :789/3728 took 201895 ms. Total solver calls (SAT/UNSAT): 1531926(2290/1529636)
Jun 02, 2017 11:38:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :793/3728 took 203053 ms. Total solver calls (SAT/UNSAT): 1540919(2302/1538617)
Jun 02, 2017 11:38:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :798/3728 took 204269 ms. Total solver calls (SAT/UNSAT): 1550260(2317/1547943)
Jun 02, 2017 11:38:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :803/3728 took 205479 ms. Total solver calls (SAT/UNSAT): 1559600(2332/1557268)
Jun 02, 2017 11:38:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :808/3728 took 206688 ms. Total solver calls (SAT/UNSAT): 1568940(2347/1566593)
Jun 02, 2017 11:38:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :813/3728 took 207896 ms. Total solver calls (SAT/UNSAT): 1578280(2362/1575918)
Jun 02, 2017 11:38:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :817/3728 took 209059 ms. Total solver calls (SAT/UNSAT): 1587274(2374/1584900)
Jun 02, 2017 11:38:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :822/3728 took 210330 ms. Total solver calls (SAT/UNSAT): 1596614(2389/1594225)
Jun 02, 2017 11:38:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :827/3728 took 211551 ms. Total solver calls (SAT/UNSAT): 1605954(2404/1603550)
Jun 02, 2017 11:38:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :831/3728 took 212582 ms. Total solver calls (SAT/UNSAT): 1613426(2416/1611010)
Jun 02, 2017 11:38:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :835/3728 took 213774 ms. Total solver calls (SAT/UNSAT): 1622419(2428/1619991)
Jun 02, 2017 11:38:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :840/3728 took 215015 ms. Total solver calls (SAT/UNSAT): 1631760(2443/1629317)
Jun 02, 2017 11:38:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :845/3728 took 216258 ms. Total solver calls (SAT/UNSAT): 1641100(2458/1638642)
Jun 02, 2017 11:38:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :850/3728 took 217501 ms. Total solver calls (SAT/UNSAT): 1650440(2473/1647967)
Jun 02, 2017 11:38:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :855/3728 took 218745 ms. Total solver calls (SAT/UNSAT): 1659780(2488/1657292)
Jun 02, 2017 11:38:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :859/3728 took 219939 ms. Total solver calls (SAT/UNSAT): 1668774(2500/1666274)
Jun 02, 2017 11:38:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :864/3728 took 221182 ms. Total solver calls (SAT/UNSAT): 1678114(2515/1675599)
Jun 02, 2017 11:38:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :869/3728 took 222427 ms. Total solver calls (SAT/UNSAT): 1687454(2530/1684924)
Jun 02, 2017 11:38:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :874/3728 took 223670 ms. Total solver calls (SAT/UNSAT): 1696794(2545/1694249)
Jun 02, 2017 11:38:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :878/3728 took 224864 ms. Total solver calls (SAT/UNSAT): 1705788(2557/1703231)
Jun 02, 2017 11:38:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :883/3728 took 226108 ms. Total solver calls (SAT/UNSAT): 1715128(2572/1712556)
Jun 02, 2017 11:38:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :888/3728 took 227354 ms. Total solver calls (SAT/UNSAT): 1724468(2587/1721881)
Jun 02, 2017 11:38:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :893/3728 took 228599 ms. Total solver calls (SAT/UNSAT): 1733808(2602/1731206)
Jun 02, 2017 11:38:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :897/3728 took 229605 ms. Total solver calls (SAT/UNSAT): 1741280(2614/1738666)
Jun 02, 2017 11:38:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :901/3728 took 230806 ms. Total solver calls (SAT/UNSAT): 1750274(2626/1747648)
Jun 02, 2017 11:38:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :905/3728 took 231808 ms. Total solver calls (SAT/UNSAT): 1757746(2638/1755108)
Jun 02, 2017 11:38:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :909/3728 took 232808 ms. Total solver calls (SAT/UNSAT): 1765218(2650/1762568)
Jun 02, 2017 11:38:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :914/3728 took 234051 ms. Total solver calls (SAT/UNSAT): 1774558(2665/1771893)
Jun 02, 2017 11:38:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :919/3728 took 235489 ms. Total solver calls (SAT/UNSAT): 1785419(2680/1782739)
Jun 02, 2017 11:38:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :924/3728 took 236731 ms. Total solver calls (SAT/UNSAT): 1794760(2695/1792065)
Jun 02, 2017 11:38:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :929/3728 took 237975 ms. Total solver calls (SAT/UNSAT): 1804100(2710/1801390)
Jun 02, 2017 11:38:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :934/3728 took 239217 ms. Total solver calls (SAT/UNSAT): 1813440(2725/1810715)
Jun 02, 2017 11:38:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :939/3728 took 240461 ms. Total solver calls (SAT/UNSAT): 1822780(2740/1820040)
Jun 02, 2017 11:38:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :943/3728 took 241652 ms. Total solver calls (SAT/UNSAT): 1831774(2752/1829022)
Jun 02, 2017 11:39:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :948/3728 took 242895 ms. Total solver calls (SAT/UNSAT): 1841114(2767/1838347)
Jun 02, 2017 11:39:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :952/3728 took 243930 ms. Total solver calls (SAT/UNSAT): 1848586(2779/1845807)
Jun 02, 2017 11:39:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :957/3728 took 245149 ms. Total solver calls (SAT/UNSAT): 1857926(2794/1855132)
Jun 02, 2017 11:39:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :961/3728 took 246313 ms. Total solver calls (SAT/UNSAT): 1866919(2806/1864113)
Jun 02, 2017 11:39:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :966/3728 took 247523 ms. Total solver calls (SAT/UNSAT): 1876260(2821/1873439)
Jun 02, 2017 11:39:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :971/3728 took 248745 ms. Total solver calls (SAT/UNSAT): 1885600(2836/1882764)
Jun 02, 2017 11:39:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :976/3728 took 249957 ms. Total solver calls (SAT/UNSAT): 1894940(2851/1892089)
Jun 02, 2017 11:39:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :981/3728 took 251175 ms. Total solver calls (SAT/UNSAT): 1904280(2866/1901414)
Jun 02, 2017 11:39:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :985/3728 took 252339 ms. Total solver calls (SAT/UNSAT): 1913274(2878/1910396)
Jun 02, 2017 11:39:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :990/3728 took 253553 ms. Total solver calls (SAT/UNSAT): 1922614(2893/1919721)
Jun 02, 2017 11:39:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :995/3728 took 254770 ms. Total solver calls (SAT/UNSAT): 1931954(2908/1929046)
Jun 02, 2017 11:39:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1000/3728 took 255984 ms. Total solver calls (SAT/UNSAT): 1941294(2923/1938371)
Jun 02, 2017 11:39:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1004/3728 took 257152 ms. Total solver calls (SAT/UNSAT): 1950288(2935/1947353)
Jun 02, 2017 11:39:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1009/3728 took 258365 ms. Total solver calls (SAT/UNSAT): 1959628(2950/1956678)
Jun 02, 2017 11:39:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1014/3728 took 259580 ms. Total solver calls (SAT/UNSAT): 1968968(2965/1966003)
Jun 02, 2017 11:39:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1019/3728 took 260796 ms. Total solver calls (SAT/UNSAT): 1978308(2980/1975328)
Jun 02, 2017 11:39:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1024/3728 took 262206 ms. Total solver calls (SAT/UNSAT): 1989169(2995/1986174)
Jun 02, 2017 11:39:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1029/3728 took 263419 ms. Total solver calls (SAT/UNSAT): 1998510(3010/1995500)
Jun 02, 2017 11:39:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1034/3728 took 264634 ms. Total solver calls (SAT/UNSAT): 2007850(3025/2004825)
Jun 02, 2017 11:39:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1039/3728 took 265853 ms. Total solver calls (SAT/UNSAT): 2017190(3040/2014150)
Jun 02, 2017 11:39:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1044/3728 took 267068 ms. Total solver calls (SAT/UNSAT): 2026530(3055/2023475)
Jun 02, 2017 11:39:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1048/3728 took 268234 ms. Total solver calls (SAT/UNSAT): 2035524(3067/2032457)
Jun 02, 2017 11:39:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1053/3728 took 269452 ms. Total solver calls (SAT/UNSAT): 2044864(3082/2041782)
Jun 02, 2017 11:39:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1058/3728 took 270666 ms. Total solver calls (SAT/UNSAT): 2054204(3097/2051107)
Jun 02, 2017 11:39:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1063/3728 took 271882 ms. Total solver calls (SAT/UNSAT): 2063544(3112/2060432)
Jun 02, 2017 11:39:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1067/3728 took 273048 ms. Total solver calls (SAT/UNSAT): 2072538(3124/2069414)
Jun 02, 2017 11:39:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1072/3728 took 274268 ms. Total solver calls (SAT/UNSAT): 2081878(3139/2078739)
Jun 02, 2017 11:39:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1077/3728 took 275485 ms. Total solver calls (SAT/UNSAT): 2091218(3154/2088064)
Jun 02, 2017 11:39:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1082/3728 took 276703 ms. Total solver calls (SAT/UNSAT): 2100558(3169/2097389)
Jun 02, 2017 11:39:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1087/3728 took 278114 ms. Total solver calls (SAT/UNSAT): 2111419(3184/2108235)
Jun 02, 2017 11:39:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1092/3728 took 279334 ms. Total solver calls (SAT/UNSAT): 2120760(3199/2117561)
Jun 02, 2017 11:39:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1097/3728 took 280550 ms. Total solver calls (SAT/UNSAT): 2130100(3214/2126886)
Jun 02, 2017 11:39:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1102/3728 took 281771 ms. Total solver calls (SAT/UNSAT): 2139440(3229/2136211)
Jun 02, 2017 11:39:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1107/3728 took 282989 ms. Total solver calls (SAT/UNSAT): 2148780(3244/2145536)
Jun 02, 2017 11:39:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1111/3728 took 284158 ms. Total solver calls (SAT/UNSAT): 2157774(3256/2154518)
Jun 02, 2017 11:39:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1116/3728 took 285378 ms. Total solver calls (SAT/UNSAT): 2167114(3271/2163843)
Jun 02, 2017 11:39:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1121/3728 took 286598 ms. Total solver calls (SAT/UNSAT): 2176454(3286/2173168)
Jun 02, 2017 11:39:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1126/3728 took 287816 ms. Total solver calls (SAT/UNSAT): 2185794(3301/2182493)
Jun 02, 2017 11:39:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1130/3728 took 288982 ms. Total solver calls (SAT/UNSAT): 2194788(3313/2191475)
Jun 02, 2017 11:39:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1135/3728 took 290203 ms. Total solver calls (SAT/UNSAT): 2204128(3328/2200800)
Jun 02, 2017 11:39:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1140/3728 took 291421 ms. Total solver calls (SAT/UNSAT): 2213468(3343/2210125)
Jun 02, 2017 11:39:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1145/3728 took 292637 ms. Total solver calls (SAT/UNSAT): 2222808(3358/2219450)
Jun 02, 2017 11:39:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1150/3728 took 294046 ms. Total solver calls (SAT/UNSAT): 2233669(3373/2230296)
Jun 02, 2017 11:39:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1155/3728 took 295265 ms. Total solver calls (SAT/UNSAT): 2243010(3388/2239622)
Jun 02, 2017 11:39:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1160/3728 took 296484 ms. Total solver calls (SAT/UNSAT): 2252350(3403/2248947)
Jun 02, 2017 11:39:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1165/3728 took 297705 ms. Total solver calls (SAT/UNSAT): 2261690(3418/2258272)
Jun 02, 2017 11:39:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1170/3728 took 298922 ms. Total solver calls (SAT/UNSAT): 2271030(3433/2267597)
Jun 02, 2017 11:39:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1174/3728 took 300089 ms. Total solver calls (SAT/UNSAT): 2280024(3445/2276579)
Jun 02, 2017 11:39:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1179/3728 took 301307 ms. Total solver calls (SAT/UNSAT): 2289364(3460/2285904)
Jun 02, 2017 11:40:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1184/3728 took 302527 ms. Total solver calls (SAT/UNSAT): 2298704(3475/2295229)
Jun 02, 2017 11:40:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1189/3728 took 303745 ms. Total solver calls (SAT/UNSAT): 2308044(3490/2304554)
Jun 02, 2017 11:40:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1193/3728 took 304911 ms. Total solver calls (SAT/UNSAT): 2317038(3502/2313536)
Jun 02, 2017 11:40:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1198/3728 took 306130 ms. Total solver calls (SAT/UNSAT): 2326378(3517/2322861)
Jun 02, 2017 11:40:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1203/3728 took 307347 ms. Total solver calls (SAT/UNSAT): 2335718(3532/2332186)
Jun 02, 2017 11:40:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1208/3728 took 308565 ms. Total solver calls (SAT/UNSAT): 2345058(3547/2341511)
Jun 02, 2017 11:40:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1213/3728 took 309979 ms. Total solver calls (SAT/UNSAT): 2355919(3562/2352357)
Jun 02, 2017 11:40:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1218/3728 took 311196 ms. Total solver calls (SAT/UNSAT): 2365260(3577/2361683)
Jun 02, 2017 11:40:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1223/3728 took 312419 ms. Total solver calls (SAT/UNSAT): 2374600(3592/2371008)
Jun 02, 2017 11:40:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1228/3728 took 313633 ms. Total solver calls (SAT/UNSAT): 2383940(3607/2380333)
Jun 02, 2017 11:40:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1233/3728 took 314850 ms. Total solver calls (SAT/UNSAT): 2393280(3622/2389658)
Jun 02, 2017 11:40:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1237/3728 took 316049 ms. Total solver calls (SAT/UNSAT): 2402274(3634/2398640)
Jun 02, 2017 11:40:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1242/3728 took 317293 ms. Total solver calls (SAT/UNSAT): 2411614(3649/2407965)
Jun 02, 2017 11:40:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1247/3728 took 318513 ms. Total solver calls (SAT/UNSAT): 2420954(3664/2417290)
Jun 02, 2017 11:40:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1252/3728 took 319730 ms. Total solver calls (SAT/UNSAT): 2430294(3679/2426615)
Jun 02, 2017 11:40:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1256/3728 took 320901 ms. Total solver calls (SAT/UNSAT): 2439288(3691/2435597)
Jun 02, 2017 11:40:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1261/3728 took 322122 ms. Total solver calls (SAT/UNSAT): 2448628(3706/2444922)
Jun 02, 2017 11:40:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1266/3728 took 323341 ms. Total solver calls (SAT/UNSAT): 2457968(3721/2454247)
Jun 02, 2017 11:40:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1271/3728 took 324560 ms. Total solver calls (SAT/UNSAT): 2467308(3736/2463572)
Jun 02, 2017 11:40:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1276/3728 took 325984 ms. Total solver calls (SAT/UNSAT): 2478169(3751/2474418)
Jun 02, 2017 11:40:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1281/3728 took 327216 ms. Total solver calls (SAT/UNSAT): 2487510(3766/2483744)
Jun 02, 2017 11:40:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1286/3728 took 328450 ms. Total solver calls (SAT/UNSAT): 2496850(3781/2493069)
Jun 02, 2017 11:40:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1291/3728 took 329674 ms. Total solver calls (SAT/UNSAT): 2506190(3796/2502394)
Jun 02, 2017 11:40:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1296/3728 took 330893 ms. Total solver calls (SAT/UNSAT): 2515530(3811/2511719)
Jun 02, 2017 11:40:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1300/3728 took 332116 ms. Total solver calls (SAT/UNSAT): 2524524(3823/2520701)
Jun 02, 2017 11:40:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1305/3728 took 333362 ms. Total solver calls (SAT/UNSAT): 2533864(3838/2530026)
Jun 02, 2017 11:40:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1310/3728 took 334608 ms. Total solver calls (SAT/UNSAT): 2543204(3853/2539351)
Jun 02, 2017 11:40:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1315/3728 took 335853 ms. Total solver calls (SAT/UNSAT): 2552544(3868/2548676)
Jun 02, 2017 11:40:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1319/3728 took 337048 ms. Total solver calls (SAT/UNSAT): 2561538(3880/2557658)
Jun 02, 2017 11:40:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1324/3728 took 338292 ms. Total solver calls (SAT/UNSAT): 2570878(3895/2566983)
Jun 02, 2017 11:40:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1329/3728 took 339534 ms. Total solver calls (SAT/UNSAT): 2580218(3910/2576308)
Jun 02, 2017 11:40:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1334/3728 took 340779 ms. Total solver calls (SAT/UNSAT): 2589558(3925/2585633)
Jun 02, 2017 11:40:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1339/3728 took 342220 ms. Total solver calls (SAT/UNSAT): 2600419(3940/2596479)
Jun 02, 2017 11:40:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1344/3728 took 343459 ms. Total solver calls (SAT/UNSAT): 2609760(3955/2605805)
Jun 02, 2017 11:40:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1349/3728 took 344700 ms. Total solver calls (SAT/UNSAT): 2619100(3970/2615130)
Jun 02, 2017 11:40:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1354/3728 took 345942 ms. Total solver calls (SAT/UNSAT): 2628440(3985/2624455)
Jun 02, 2017 11:40:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1359/3728 took 347184 ms. Total solver calls (SAT/UNSAT): 2637780(4000/2633780)
Jun 02, 2017 11:40:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1363/3728 took 348377 ms. Total solver calls (SAT/UNSAT): 2646774(4012/2642762)
Jun 02, 2017 11:40:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1368/3728 took 349618 ms. Total solver calls (SAT/UNSAT): 2656114(4027/2652087)
Jun 02, 2017 11:40:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1372/3728 took 350653 ms. Total solver calls (SAT/UNSAT): 2663586(4039/2659547)
Jun 02, 2017 11:40:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1377/3728 took 351873 ms. Total solver calls (SAT/UNSAT): 2672926(4054/2668872)
Jun 02, 2017 11:40:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1381/3728 took 353050 ms. Total solver calls (SAT/UNSAT): 2681919(4066/2677853)
Jun 02, 2017 11:40:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1386/3728 took 354270 ms. Total solver calls (SAT/UNSAT): 2691260(4081/2687179)
Jun 02, 2017 11:40:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1391/3728 took 355488 ms. Total solver calls (SAT/UNSAT): 2700600(4096/2696504)
Jun 02, 2017 11:40:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1396/3728 took 356707 ms. Total solver calls (SAT/UNSAT): 2709940(4111/2705829)
Jun 02, 2017 11:40:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1401/3728 took 357924 ms. Total solver calls (SAT/UNSAT): 2719280(4126/2715154)
Jun 02, 2017 11:40:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1405/3728 took 359089 ms. Total solver calls (SAT/UNSAT): 2728274(4138/2724136)
Jun 02, 2017 11:40:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1410/3728 took 360307 ms. Total solver calls (SAT/UNSAT): 2737614(4153/2733461)
Jun 02, 2017 11:40:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1415/3728 took 361523 ms. Total solver calls (SAT/UNSAT): 2746954(4168/2742786)
Jun 02, 2017 11:41:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1420/3728 took 362738 ms. Total solver calls (SAT/UNSAT): 2756294(4183/2752111)
Jun 02, 2017 11:41:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1424/3728 took 363903 ms. Total solver calls (SAT/UNSAT): 2765288(4195/2761093)
Jun 02, 2017 11:41:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1429/3728 took 365129 ms. Total solver calls (SAT/UNSAT): 2774628(4210/2770418)
Jun 02, 2017 11:41:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1434/3728 took 366346 ms. Total solver calls (SAT/UNSAT): 2783968(4225/2779743)
Jun 02, 2017 11:41:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1439/3728 took 367561 ms. Total solver calls (SAT/UNSAT): 2793308(4240/2789068)
Jun 02, 2017 11:41:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1444/3728 took 368972 ms. Total solver calls (SAT/UNSAT): 2804169(4255/2799914)
Jun 02, 2017 11:41:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1449/3728 took 370189 ms. Total solver calls (SAT/UNSAT): 2813510(4270/2809240)
Jun 02, 2017 11:41:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1454/3728 took 371405 ms. Total solver calls (SAT/UNSAT): 2822850(4285/2818565)
Jun 02, 2017 11:41:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1459/3728 took 372623 ms. Total solver calls (SAT/UNSAT): 2832190(4300/2827890)
Jun 02, 2017 11:41:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1464/3728 took 373842 ms. Total solver calls (SAT/UNSAT): 2841530(4315/2837215)
Jun 02, 2017 11:41:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1468/3728 took 375009 ms. Total solver calls (SAT/UNSAT): 2850524(4327/2846197)
Jun 02, 2017 11:41:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1473/3728 took 376222 ms. Total solver calls (SAT/UNSAT): 2859864(4342/2855522)
Jun 02, 2017 11:41:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1478/3728 took 377446 ms. Total solver calls (SAT/UNSAT): 2869204(4357/2864847)
Jun 02, 2017 11:41:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1483/3728 took 378676 ms. Total solver calls (SAT/UNSAT): 2878544(4372/2874172)
Jun 02, 2017 11:41:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1487/3728 took 379851 ms. Total solver calls (SAT/UNSAT): 2887538(4384/2883154)
Jun 02, 2017 11:41:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1492/3728 took 381070 ms. Total solver calls (SAT/UNSAT): 2896878(4399/2892479)
Jun 02, 2017 11:41:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1497/3728 took 382285 ms. Total solver calls (SAT/UNSAT): 2906218(4414/2901804)
Jun 02, 2017 11:41:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1502/3728 took 383497 ms. Total solver calls (SAT/UNSAT): 2915558(4429/2911129)
Jun 02, 2017 11:41:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1507/3728 took 384902 ms. Total solver calls (SAT/UNSAT): 2926419(4444/2921975)
Jun 02, 2017 11:41:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1512/3728 took 386115 ms. Total solver calls (SAT/UNSAT): 2935760(4459/2931301)
Jun 02, 2017 11:41:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1517/3728 took 387327 ms. Total solver calls (SAT/UNSAT): 2945100(4474/2940626)
Jun 02, 2017 11:41:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1522/3728 took 388551 ms. Total solver calls (SAT/UNSAT): 2954440(4489/2949951)
Jun 02, 2017 11:41:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1526/3728 took 389578 ms. Total solver calls (SAT/UNSAT): 2961912(4501/2957411)
Jun 02, 2017 11:41:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1530/3728 took 390772 ms. Total solver calls (SAT/UNSAT): 2970906(4513/2966393)
Jun 02, 2017 11:41:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1535/3728 took 392019 ms. Total solver calls (SAT/UNSAT): 2980246(4528/2975718)
Jun 02, 2017 11:41:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1540/3728 took 393257 ms. Total solver calls (SAT/UNSAT): 2989586(4543/2985043)
Jun 02, 2017 11:41:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1545/3728 took 394489 ms. Total solver calls (SAT/UNSAT): 2998926(4558/2994368)
Jun 02, 2017 11:41:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1549/3728 took 395672 ms. Total solver calls (SAT/UNSAT): 3007919(4570/3003349)
Jun 02, 2017 11:41:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1554/3728 took 396907 ms. Total solver calls (SAT/UNSAT): 3017260(4585/3012675)
Jun 02, 2017 11:41:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1559/3728 took 398140 ms. Total solver calls (SAT/UNSAT): 3026600(4600/3022000)
Jun 02, 2017 11:41:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1563/3728 took 399198 ms. Total solver calls (SAT/UNSAT): 3034072(4612/3029460)
Jun 02, 2017 11:41:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1567/3728 took 400206 ms. Total solver calls (SAT/UNSAT): 3041544(4624/3036920)
Jun 02, 2017 11:41:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1571/3728 took 401398 ms. Total solver calls (SAT/UNSAT): 3050538(4636/3045902)
Jun 02, 2017 11:41:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1576/3728 took 402636 ms. Total solver calls (SAT/UNSAT): 3059878(4651/3055227)
Jun 02, 2017 11:41:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1581/3728 took 403873 ms. Total solver calls (SAT/UNSAT): 3069218(4666/3064552)
Jun 02, 2017 11:41:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1586/3728 took 405110 ms. Total solver calls (SAT/UNSAT): 3078558(4681/3073877)
Jun 02, 2017 11:41:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1591/3728 took 406552 ms. Total solver calls (SAT/UNSAT): 3089419(4696/3084723)
Jun 02, 2017 11:41:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1596/3728 took 407793 ms. Total solver calls (SAT/UNSAT): 3098760(4711/3094049)
Jun 02, 2017 11:41:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1601/3728 took 409035 ms. Total solver calls (SAT/UNSAT): 3108100(4726/3103374)
Jun 02, 2017 11:41:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1605/3728 took 410038 ms. Total solver calls (SAT/UNSAT): 3115572(4738/3110834)
Jun 02, 2017 11:41:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1609/3728 took 411039 ms. Total solver calls (SAT/UNSAT): 3123044(4750/3118294)
Jun 02, 2017 11:41:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1613/3728 took 412239 ms. Total solver calls (SAT/UNSAT): 3132038(4762/3127276)
Jun 02, 2017 11:41:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1618/3728 took 413478 ms. Total solver calls (SAT/UNSAT): 3141378(4777/3136601)
Jun 02, 2017 11:41:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1623/3728 took 414715 ms. Total solver calls (SAT/UNSAT): 3150718(4792/3145926)
Jun 02, 2017 11:41:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1628/3728 took 415956 ms. Total solver calls (SAT/UNSAT): 3160058(4807/3155251)
Jun 02, 2017 11:41:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1633/3728 took 417395 ms. Total solver calls (SAT/UNSAT): 3170919(4822/3166097)
Jun 02, 2017 11:41:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1638/3728 took 418638 ms. Total solver calls (SAT/UNSAT): 3180260(4837/3175423)
Jun 02, 2017 11:41:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1643/3728 took 419887 ms. Total solver calls (SAT/UNSAT): 3189600(4852/3184748)
Jun 02, 2017 11:41:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1648/3728 took 421132 ms. Total solver calls (SAT/UNSAT): 3198940(4867/3194073)
Jun 02, 2017 11:41:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1653/3728 took 422373 ms. Total solver calls (SAT/UNSAT): 3208280(4882/3203398)
Jun 02, 2017 11:42:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1657/3728 took 423563 ms. Total solver calls (SAT/UNSAT): 3217274(4894/3212380)
Jun 02, 2017 11:42:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1662/3728 took 424804 ms. Total solver calls (SAT/UNSAT): 3226614(4909/3221705)
Jun 02, 2017 11:42:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1667/3728 took 426044 ms. Total solver calls (SAT/UNSAT): 3235954(4924/3231030)
Jun 02, 2017 11:42:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1672/3728 took 427288 ms. Total solver calls (SAT/UNSAT): 3245294(4939/3240355)
Jun 02, 2017 11:42:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1676/3728 took 428482 ms. Total solver calls (SAT/UNSAT): 3254288(4951/3249337)
Jun 02, 2017 11:42:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1680/3728 took 429483 ms. Total solver calls (SAT/UNSAT): 3261760(4963/3256797)
Jun 02, 2017 11:42:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1685/3728 took 430725 ms. Total solver calls (SAT/UNSAT): 3271100(4978/3266122)
Jun 02, 2017 11:42:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1690/3728 took 431965 ms. Total solver calls (SAT/UNSAT): 3280440(4993/3275447)
Jun 02, 2017 11:42:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1695/3728 took 433205 ms. Total solver calls (SAT/UNSAT): 3289780(5008/3284772)
Jun 02, 2017 11:42:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1699/3728 took 434395 ms. Total solver calls (SAT/UNSAT): 3298774(5020/3293754)
Jun 02, 2017 11:42:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1704/3728 took 435636 ms. Total solver calls (SAT/UNSAT): 3308114(5035/3303079)
Jun 02, 2017 11:42:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1709/3728 took 436878 ms. Total solver calls (SAT/UNSAT): 3317454(5050/3312404)
Jun 02, 2017 11:42:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1714/3728 took 438119 ms. Total solver calls (SAT/UNSAT): 3326794(5065/3321729)
Jun 02, 2017 11:42:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1718/3728 took 439332 ms. Total solver calls (SAT/UNSAT): 3335788(5077/3330711)
Jun 02, 2017 11:42:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1722/3728 took 440381 ms. Total solver calls (SAT/UNSAT): 3343260(5089/3338171)
Jun 02, 2017 11:42:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1726/3728 took 441381 ms. Total solver calls (SAT/UNSAT): 3350732(5101/3345631)
Jun 02, 2017 11:42:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1731/3728 took 442628 ms. Total solver calls (SAT/UNSAT): 3360072(5116/3354956)
Jun 02, 2017 11:42:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1736/3728 took 443872 ms. Total solver calls (SAT/UNSAT): 3369412(5131/3364281)
Jun 02, 2017 11:42:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1740/3728 took 445067 ms. Total solver calls (SAT/UNSAT): 3378406(5143/3373263)
Jun 02, 2017 11:42:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1745/3728 took 446312 ms. Total solver calls (SAT/UNSAT): 3387746(5158/3382588)
Jun 02, 2017 11:42:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1749/3728 took 447312 ms. Total solver calls (SAT/UNSAT): 3395218(5170/3390048)
Jun 02, 2017 11:42:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1753/3728 took 448362 ms. Total solver calls (SAT/UNSAT): 3402690(5182/3397508)
Jun 02, 2017 11:42:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1758/3728 took 449607 ms. Total solver calls (SAT/UNSAT): 3412030(5197/3406833)
Jun 02, 2017 11:42:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1762/3728 took 450798 ms. Total solver calls (SAT/UNSAT): 3421021(5209/3415812)
Jun 02, 2017 11:42:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1767/3728 took 452035 ms. Total solver calls (SAT/UNSAT): 3430356(5224/3425132)
Jun 02, 2017 11:42:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1772/3728 took 453277 ms. Total solver calls (SAT/UNSAT): 3439691(5239/3434452)
Jun 02, 2017 11:42:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1777/3728 took 454514 ms. Total solver calls (SAT/UNSAT): 3449026(5254/3443772)
Jun 02, 2017 11:42:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1781/3728 took 455700 ms. Total solver calls (SAT/UNSAT): 3458017(5266/3452751)
Jun 02, 2017 11:42:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1785/3728 took 456701 ms. Total solver calls (SAT/UNSAT): 3465489(5278/3460211)
Jun 02, 2017 11:42:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1790/3728 took 457935 ms. Total solver calls (SAT/UNSAT): 3474829(5293/3469536)
Jun 02, 2017 11:42:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1795/3728 took 459169 ms. Total solver calls (SAT/UNSAT): 3484169(5308/3478861)
Jun 02, 2017 11:42:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1800/3728 took 460401 ms. Total solver calls (SAT/UNSAT): 3493509(5323/3488186)
Jun 02, 2017 11:42:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1804/3728 took 461581 ms. Total solver calls (SAT/UNSAT): 3502503(5335/3497168)
Jun 02, 2017 11:42:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1809/3728 took 462809 ms. Total solver calls (SAT/UNSAT): 3511843(5350/3506493)
Jun 02, 2017 11:42:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1814/3728 took 464049 ms. Total solver calls (SAT/UNSAT): 3521183(5365/3515818)
Jun 02, 2017 11:42:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1819/3728 took 465285 ms. Total solver calls (SAT/UNSAT): 3530523(5380/3525143)
Jun 02, 2017 11:42:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1823/3728 took 466553 ms. Total solver calls (SAT/UNSAT): 3539517(5392/3534125)
Jun 02, 2017 11:42:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1827/3728 took 467555 ms. Total solver calls (SAT/UNSAT): 3546989(5404/3541585)
Jun 02, 2017 11:42:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1832/3728 took 468804 ms. Total solver calls (SAT/UNSAT): 3556329(5419/3550910)
Jun 02, 2017 11:42:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1837/3728 took 470042 ms. Total solver calls (SAT/UNSAT): 3565669(5434/3560235)
Jun 02, 2017 11:42:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1842/3728 took 471283 ms. Total solver calls (SAT/UNSAT): 3575009(5449/3569560)
Jun 02, 2017 11:42:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1846/3728 took 472492 ms. Total solver calls (SAT/UNSAT): 3584003(5461/3578542)
Jun 02, 2017 11:42:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1851/3728 took 473732 ms. Total solver calls (SAT/UNSAT): 3593343(5476/3587867)
Jun 02, 2017 11:42:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1855/3728 took 474776 ms. Total solver calls (SAT/UNSAT): 3600815(5488/3595327)
Jun 02, 2017 11:42:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1860/3728 took 476019 ms. Total solver calls (SAT/UNSAT): 3610155(5503/3604652)
Jun 02, 2017 11:42:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1864/3728 took 477209 ms. Total solver calls (SAT/UNSAT): 3619148(5515/3613633)
Jun 02, 2017 11:42:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1869/3728 took 478449 ms. Total solver calls (SAT/UNSAT): 3628489(5530/3622959)
Jun 02, 2017 11:42:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1873/3728 took 479455 ms. Total solver calls (SAT/UNSAT): 3635961(5542/3630419)
Jun 02, 2017 11:42:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1877/3728 took 480459 ms. Total solver calls (SAT/UNSAT): 3643433(5554/3637879)
Jun 02, 2017 11:42:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1882/3728 took 481701 ms. Total solver calls (SAT/UNSAT): 3652773(5569/3647204)
Jun 02, 2017 11:43:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1886/3728 took 482892 ms. Total solver calls (SAT/UNSAT): 3661767(5581/3656186)
Jun 02, 2017 11:43:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1891/3728 took 484132 ms. Total solver calls (SAT/UNSAT): 3671107(5596/3665511)
Jun 02, 2017 11:43:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1896/3728 took 485368 ms. Total solver calls (SAT/UNSAT): 3680447(5611/3674836)
Jun 02, 2017 11:43:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1900/3728 took 486372 ms. Total solver calls (SAT/UNSAT): 3687919(5623/3682296)
Jun 02, 2017 11:43:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1904/3728 took 487377 ms. Total solver calls (SAT/UNSAT): 3695391(5635/3689756)
Jun 02, 2017 11:43:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1908/3728 took 488578 ms. Total solver calls (SAT/UNSAT): 3704385(5647/3698738)
Jun 02, 2017 11:43:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1913/3728 took 489817 ms. Total solver calls (SAT/UNSAT): 3713725(5662/3708063)
Jun 02, 2017 11:43:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1918/3728 took 491057 ms. Total solver calls (SAT/UNSAT): 3723065(5677/3717388)
Jun 02, 2017 11:43:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1923/3728 took 492298 ms. Total solver calls (SAT/UNSAT): 3732405(5692/3726713)
Jun 02, 2017 11:43:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1927/3728 took 493590 ms. Total solver calls (SAT/UNSAT): 3741398(5704/3735694)
Jun 02, 2017 11:43:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1931/3728 took 494591 ms. Total solver calls (SAT/UNSAT): 3748871(5716/3743155)
Jun 02, 2017 11:43:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1935/3728 took 495591 ms. Total solver calls (SAT/UNSAT): 3756343(5728/3750615)
Jun 02, 2017 11:43:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1939/3728 took 496592 ms. Total solver calls (SAT/UNSAT): 3763815(5740/3758075)
Jun 02, 2017 11:43:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1944/3728 took 497834 ms. Total solver calls (SAT/UNSAT): 3773155(5755/3767400)
Jun 02, 2017 11:43:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1948/3728 took 499072 ms. Total solver calls (SAT/UNSAT): 3782148(5767/3776381)
Jun 02, 2017 11:43:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1952/3728 took 500077 ms. Total solver calls (SAT/UNSAT): 3789621(5779/3783842)
Jun 02, 2017 11:43:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1957/3728 took 501319 ms. Total solver calls (SAT/UNSAT): 3798961(5794/3793167)
Jun 02, 2017 11:43:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1962/3728 took 502559 ms. Total solver calls (SAT/UNSAT): 3808301(5809/3802492)
Jun 02, 2017 11:43:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1967/3728 took 503792 ms. Total solver calls (SAT/UNSAT): 3817641(5824/3811817)
Jun 02, 2017 11:43:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1971/3728 took 504980 ms. Total solver calls (SAT/UNSAT): 3826635(5836/3820799)
Jun 02, 2017 11:43:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1976/3728 took 506227 ms. Total solver calls (SAT/UNSAT): 3835975(5851/3830124)
Jun 02, 2017 11:43:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1981/3728 took 507472 ms. Total solver calls (SAT/UNSAT): 3845315(5866/3839449)
Jun 02, 2017 11:43:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1986/3728 took 508721 ms. Total solver calls (SAT/UNSAT): 3854655(5881/3848774)
Jun 02, 2017 11:43:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1990/3728 took 509907 ms. Total solver calls (SAT/UNSAT): 3863648(5893/3857755)
Jun 02, 2017 11:43:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1995/3728 took 511143 ms. Total solver calls (SAT/UNSAT): 3872989(5908/3867081)
Jun 02, 2017 11:43:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1999/3728 took 512143 ms. Total solver calls (SAT/UNSAT): 3880461(5920/3874541)
Jun 02, 2017 11:43:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2004/3728 took 513380 ms. Total solver calls (SAT/UNSAT): 3889801(5935/3883866)
Jun 02, 2017 11:43:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2009/3728 took 514613 ms. Total solver calls (SAT/UNSAT): 3899141(5950/3893191)
Jun 02, 2017 11:43:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2013/3728 took 515799 ms. Total solver calls (SAT/UNSAT): 3908135(5962/3902173)
Jun 02, 2017 11:43:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2018/3728 took 517032 ms. Total solver calls (SAT/UNSAT): 3917475(5977/3911498)
Jun 02, 2017 11:43:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2022/3728 took 518034 ms. Total solver calls (SAT/UNSAT): 3924947(5989/3918958)
Jun 02, 2017 11:43:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2027/3728 took 519283 ms. Total solver calls (SAT/UNSAT): 3934287(6004/3928283)
Jun 02, 2017 11:43:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2032/3728 took 520728 ms. Total solver calls (SAT/UNSAT): 3945148(6019/3939129)
Jun 02, 2017 11:43:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2037/3728 took 521962 ms. Total solver calls (SAT/UNSAT): 3954489(6034/3948455)
Jun 02, 2017 11:43:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2042/3728 took 523207 ms. Total solver calls (SAT/UNSAT): 3963829(6049/3957780)
Jun 02, 2017 11:43:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2046/3728 took 524207 ms. Total solver calls (SAT/UNSAT): 3971301(6061/3965240)
Jun 02, 2017 11:43:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2051/3728 took 525448 ms. Total solver calls (SAT/UNSAT): 3980641(6076/3974565)
Jun 02, 2017 11:43:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2055/3728 took 526635 ms. Total solver calls (SAT/UNSAT): 3989635(6088/3983547)
Jun 02, 2017 11:43:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2060/3728 took 527871 ms. Total solver calls (SAT/UNSAT): 3998975(6103/3992872)
Jun 02, 2017 11:43:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2064/3728 took 528872 ms. Total solver calls (SAT/UNSAT): 4006447(6115/4000332)
Jun 02, 2017 11:43:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2069/3728 took 530109 ms. Total solver calls (SAT/UNSAT): 4015787(6130/4009657)
Jun 02, 2017 11:43:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2074/3728 took 531542 ms. Total solver calls (SAT/UNSAT): 4026648(6145/4020503)
Jun 02, 2017 11:43:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2079/3728 took 532777 ms. Total solver calls (SAT/UNSAT): 4035989(6160/4029829)
Jun 02, 2017 11:43:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2083/3728 took 533778 ms. Total solver calls (SAT/UNSAT): 4043461(6172/4037289)
Jun 02, 2017 11:43:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2088/3728 took 535024 ms. Total solver calls (SAT/UNSAT): 4052801(6187/4046614)
Jun 02, 2017 11:43:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2092/3728 took 536024 ms. Total solver calls (SAT/UNSAT): 4060273(6199/4054074)
Jun 02, 2017 11:43:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2096/3728 took 537219 ms. Total solver calls (SAT/UNSAT): 4069267(6211/4063056)
Jun 02, 2017 11:43:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2101/3728 took 538469 ms. Total solver calls (SAT/UNSAT): 4078607(6226/4072381)
Jun 02, 2017 11:43:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2105/3728 took 539469 ms. Total solver calls (SAT/UNSAT): 4086079(6238/4079841)
Jun 02, 2017 11:43:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2109/3728 took 540471 ms. Total solver calls (SAT/UNSAT): 4093551(6250/4087301)
Jun 02, 2017 11:43:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2114/3728 took 541709 ms. Total solver calls (SAT/UNSAT): 4102891(6265/4096626)
Jun 02, 2017 11:44:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2118/3728 took 542899 ms. Total solver calls (SAT/UNSAT): 4111885(6277/4105608)
Jun 02, 2017 11:44:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2122/3728 took 543906 ms. Total solver calls (SAT/UNSAT): 4119357(6289/4113068)
Jun 02, 2017 11:44:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2127/3728 took 545152 ms. Total solver calls (SAT/UNSAT): 4128697(6304/4122393)
Jun 02, 2017 11:44:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2132/3728 took 546391 ms. Total solver calls (SAT/UNSAT): 4138037(6319/4131718)
Jun 02, 2017 11:44:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2137/3728 took 547837 ms. Total solver calls (SAT/UNSAT): 4148898(6334/4142564)
Jun 02, 2017 11:44:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2141/3728 took 548837 ms. Total solver calls (SAT/UNSAT): 4156371(6346/4150025)
Jun 02, 2017 11:44:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2146/3728 took 550072 ms. Total solver calls (SAT/UNSAT): 4165711(6361/4159350)
Jun 02, 2017 11:44:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2151/3728 took 551309 ms. Total solver calls (SAT/UNSAT): 4175051(6376/4168675)
Jun 02, 2017 11:44:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2156/3728 took 552555 ms. Total solver calls (SAT/UNSAT): 4184391(6391/4178000)
Jun 02, 2017 11:44:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2160/3728 took 553741 ms. Total solver calls (SAT/UNSAT): 4193385(6403/4186982)
Jun 02, 2017 11:44:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2165/3728 took 554978 ms. Total solver calls (SAT/UNSAT): 4202725(6418/4196307)
Jun 02, 2017 11:44:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2170/3728 took 556220 ms. Total solver calls (SAT/UNSAT): 4212065(6433/4205632)
Jun 02, 2017 11:44:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2175/3728 took 557460 ms. Total solver calls (SAT/UNSAT): 4221405(6448/4214957)
Jun 02, 2017 11:44:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2179/3728 took 558648 ms. Total solver calls (SAT/UNSAT): 4230398(6460/4223938)
Jun 02, 2017 11:44:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2184/3728 took 559884 ms. Total solver calls (SAT/UNSAT): 4239739(6475/4233264)
Jun 02, 2017 11:44:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2188/3728 took 560885 ms. Total solver calls (SAT/UNSAT): 4247211(6487/4240724)
Jun 02, 2017 11:44:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2193/3728 took 562122 ms. Total solver calls (SAT/UNSAT): 4256551(6502/4250049)
Jun 02, 2017 11:44:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2198/3728 took 563359 ms. Total solver calls (SAT/UNSAT): 4265891(6517/4259374)
Jun 02, 2017 11:44:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2202/3728 took 564556 ms. Total solver calls (SAT/UNSAT): 4274885(6529/4268356)
Jun 02, 2017 11:44:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2207/3728 took 565792 ms. Total solver calls (SAT/UNSAT): 4284225(6544/4277681)
Jun 02, 2017 11:44:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2212/3728 took 567031 ms. Total solver calls (SAT/UNSAT): 4293565(6559/4287006)
Jun 02, 2017 11:44:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2217/3728 took 568277 ms. Total solver calls (SAT/UNSAT): 4302905(6574/4296331)
Jun 02, 2017 11:44:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2221/3728 took 569519 ms. Total solver calls (SAT/UNSAT): 4311898(6586/4305312)
Jun 02, 2017 11:44:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2225/3728 took 570522 ms. Total solver calls (SAT/UNSAT): 4319371(6598/4312773)
Jun 02, 2017 11:44:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2229/3728 took 571530 ms. Total solver calls (SAT/UNSAT): 4326843(6610/4320233)
Jun 02, 2017 11:44:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2233/3728 took 572533 ms. Total solver calls (SAT/UNSAT): 4334315(6622/4327693)
Jun 02, 2017 11:44:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2238/3728 took 573775 ms. Total solver calls (SAT/UNSAT): 4343655(6637/4337018)
Jun 02, 2017 11:44:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2242/3728 took 574969 ms. Total solver calls (SAT/UNSAT): 4352648(6649/4345999)
Jun 02, 2017 11:44:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2246/3728 took 575979 ms. Total solver calls (SAT/UNSAT): 4360121(6661/4353460)
Jun 02, 2017 11:44:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2250/3728 took 576979 ms. Total solver calls (SAT/UNSAT): 4367593(6673/4360920)
Jun 02, 2017 11:44:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2255/3728 took 578218 ms. Total solver calls (SAT/UNSAT): 4376933(6688/4370245)
Jun 02, 2017 11:44:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2259/3728 took 579224 ms. Total solver calls (SAT/UNSAT): 4384405(6700/4377705)
Jun 02, 2017 11:44:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2263/3728 took 580429 ms. Total solver calls (SAT/UNSAT): 4393398(6712/4386686)
Jun 02, 2017 11:44:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2268/3728 took 581673 ms. Total solver calls (SAT/UNSAT): 4402739(6727/4396012)
Jun 02, 2017 11:44:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2272/3728 took 582679 ms. Total solver calls (SAT/UNSAT): 4410211(6739/4403472)
Jun 02, 2017 11:44:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2276/3728 took 583682 ms. Total solver calls (SAT/UNSAT): 4417683(6751/4410932)
Jun 02, 2017 11:44:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2281/3728 took 584926 ms. Total solver calls (SAT/UNSAT): 4427023(6766/4420257)
Jun 02, 2017 11:44:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2285/3728 took 586136 ms. Total solver calls (SAT/UNSAT): 4436017(6778/4429239)
Jun 02, 2017 11:44:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2290/3728 took 587381 ms. Total solver calls (SAT/UNSAT): 4445357(6793/4438564)
Jun 02, 2017 11:44:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2294/3728 took 588382 ms. Total solver calls (SAT/UNSAT): 4452829(6805/4446024)
Jun 02, 2017 11:44:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2299/3728 took 589625 ms. Total solver calls (SAT/UNSAT): 4462169(6820/4455349)
Jun 02, 2017 11:44:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2303/3728 took 590678 ms. Total solver calls (SAT/UNSAT): 4469641(6832/4462809)
Jun 02, 2017 11:44:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2307/3728 took 591882 ms. Total solver calls (SAT/UNSAT): 4478635(6844/4471791)
Jun 02, 2017 11:44:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2311/3728 took 592883 ms. Total solver calls (SAT/UNSAT): 4486107(6856/4479251)
Jun 02, 2017 11:44:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2315/3728 took 593883 ms. Total solver calls (SAT/UNSAT): 4493579(6868/4486711)
Jun 02, 2017 11:44:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2319/3728 took 594889 ms. Total solver calls (SAT/UNSAT): 4501051(6880/4494171)
Jun 02, 2017 11:44:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2324/3728 took 596139 ms. Total solver calls (SAT/UNSAT): 4510391(6895/4503496)
Jun 02, 2017 11:44:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2328/3728 took 597341 ms. Total solver calls (SAT/UNSAT): 4519385(6907/4512478)
Jun 02, 2017 11:44:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2333/3728 took 598587 ms. Total solver calls (SAT/UNSAT): 4528725(6922/4521803)
Jun 02, 2017 11:44:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2337/3728 took 599590 ms. Total solver calls (SAT/UNSAT): 4536197(6934/4529263)
Jun 02, 2017 11:44:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2342/3728 took 600835 ms. Total solver calls (SAT/UNSAT): 4545537(6949/4538588)
Jun 02, 2017 11:44:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2347/3728 took 602290 ms. Total solver calls (SAT/UNSAT): 4556398(6964/4549434)
Jun 02, 2017 11:45:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2352/3728 took 603537 ms. Total solver calls (SAT/UNSAT): 4565739(6979/4558760)
Jun 02, 2017 11:45:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2357/3728 took 604788 ms. Total solver calls (SAT/UNSAT): 4575079(6994/4568085)
Jun 02, 2017 11:45:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2362/3728 took 606033 ms. Total solver calls (SAT/UNSAT): 4584419(7009/4577410)
Jun 02, 2017 11:45:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2367/3728 took 607285 ms. Total solver calls (SAT/UNSAT): 4593759(7024/4586735)
Jun 02, 2017 11:45:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2371/3728 took 608482 ms. Total solver calls (SAT/UNSAT): 4602753(7036/4595717)
Jun 02, 2017 11:45:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2375/3728 took 609482 ms. Total solver calls (SAT/UNSAT): 4610225(7048/4603177)
Jun 02, 2017 11:45:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2379/3728 took 610483 ms. Total solver calls (SAT/UNSAT): 4617697(7060/4610637)
Jun 02, 2017 11:45:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2384/3728 took 611730 ms. Total solver calls (SAT/UNSAT): 4627037(7075/4619962)
Jun 02, 2017 11:45:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2388/3728 took 612733 ms. Total solver calls (SAT/UNSAT): 4634509(7087/4627422)
Jun 02, 2017 11:45:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2392/3728 took 613929 ms. Total solver calls (SAT/UNSAT): 4643503(7099/4636404)
Jun 02, 2017 11:45:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2396/3728 took 614933 ms. Total solver calls (SAT/UNSAT): 4650975(7111/4643864)
Jun 02, 2017 11:45:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2401/3728 took 616178 ms. Total solver calls (SAT/UNSAT): 4660315(7126/4653189)
Jun 02, 2017 11:45:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2405/3728 took 617180 ms. Total solver calls (SAT/UNSAT): 4667787(7138/4660649)
Jun 02, 2017 11:45:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2410/3728 took 618630 ms. Total solver calls (SAT/UNSAT): 4678648(7153/4671495)
Jun 02, 2017 11:45:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2415/3728 took 619877 ms. Total solver calls (SAT/UNSAT): 4687989(7168/4680821)
Jun 02, 2017 11:45:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2419/3728 took 620887 ms. Total solver calls (SAT/UNSAT): 4695461(7180/4688281)
Jun 02, 2017 11:45:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2424/3728 took 622133 ms. Total solver calls (SAT/UNSAT): 4704801(7195/4697606)
Jun 02, 2017 11:45:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2428/3728 took 623134 ms. Total solver calls (SAT/UNSAT): 4712273(7207/4705066)
Jun 02, 2017 11:45:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2432/3728 took 624333 ms. Total solver calls (SAT/UNSAT): 4721267(7219/4714048)
Jun 02, 2017 11:45:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2436/3728 took 625334 ms. Total solver calls (SAT/UNSAT): 4728739(7231/4721508)
Jun 02, 2017 11:45:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2441/3728 took 626587 ms. Total solver calls (SAT/UNSAT): 4738079(7246/4730833)
Jun 02, 2017 11:45:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2446/3728 took 627835 ms. Total solver calls (SAT/UNSAT): 4747419(7261/4740158)
Jun 02, 2017 11:45:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2450/3728 took 628847 ms. Total solver calls (SAT/UNSAT): 4754891(7273/4747618)
Jun 02, 2017 11:45:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2454/3728 took 630050 ms. Total solver calls (SAT/UNSAT): 4763885(7285/4756600)
Jun 02, 2017 11:45:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2458/3728 took 631058 ms. Total solver calls (SAT/UNSAT): 4771357(7297/4764060)
Jun 02, 2017 11:45:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2462/3728 took 632060 ms. Total solver calls (SAT/UNSAT): 4778829(7309/4771520)
Jun 02, 2017 11:45:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2466/3728 took 633074 ms. Total solver calls (SAT/UNSAT): 4786301(7321/4778980)
Jun 02, 2017 11:45:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2470/3728 took 634078 ms. Total solver calls (SAT/UNSAT): 4793773(7333/4786440)
Jun 02, 2017 11:45:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2474/3728 took 635280 ms. Total solver calls (SAT/UNSAT): 4802767(7345/4795422)
Jun 02, 2017 11:45:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2478/3728 took 636285 ms. Total solver calls (SAT/UNSAT): 4810239(7357/4802882)
Jun 02, 2017 11:45:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2482/3728 took 637292 ms. Total solver calls (SAT/UNSAT): 4817711(7369/4810342)
Jun 02, 2017 11:45:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2486/3728 took 638292 ms. Total solver calls (SAT/UNSAT): 4825183(7381/4817802)
Jun 02, 2017 11:45:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2490/3728 took 639297 ms. Total solver calls (SAT/UNSAT): 4832655(7393/4825262)
Jun 02, 2017 11:45:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2494/3728 took 640504 ms. Total solver calls (SAT/UNSAT): 4841648(7405/4834243)
Jun 02, 2017 11:45:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2499/3728 took 641751 ms. Total solver calls (SAT/UNSAT): 4850989(7420/4843569)
Jun 02, 2017 11:45:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2503/3728 took 642761 ms. Total solver calls (SAT/UNSAT): 4858461(7432/4851029)
Jun 02, 2017 11:45:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2507/3728 took 643765 ms. Total solver calls (SAT/UNSAT): 4865933(7444/4858489)
Jun 02, 2017 11:45:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2511/3728 took 644769 ms. Total solver calls (SAT/UNSAT): 4873405(7456/4865949)
Jun 02, 2017 11:45:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2515/3728 took 645979 ms. Total solver calls (SAT/UNSAT): 4882398(7468/4874930)
Jun 02, 2017 11:45:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2519/3728 took 647007 ms. Total solver calls (SAT/UNSAT): 4889871(7480/4882391)
Jun 02, 2017 11:45:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2524/3728 took 648233 ms. Total solver calls (SAT/UNSAT): 4899211(7495/4891716)
Jun 02, 2017 11:45:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2529/3728 took 649449 ms. Total solver calls (SAT/UNSAT): 4908551(7510/4901041)
Jun 02, 2017 11:45:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2534/3728 took 650681 ms. Total solver calls (SAT/UNSAT): 4917891(7525/4910366)
Jun 02, 2017 11:45:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2538/3728 took 651863 ms. Total solver calls (SAT/UNSAT): 4926885(7537/4919348)
Jun 02, 2017 11:45:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2543/3728 took 653085 ms. Total solver calls (SAT/UNSAT): 4936225(7552/4928673)
Jun 02, 2017 11:45:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2548/3728 took 654307 ms. Total solver calls (SAT/UNSAT): 4945565(7567/4937998)
Jun 02, 2017 11:45:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2552/3728 took 655339 ms. Total solver calls (SAT/UNSAT): 4953037(7579/4945458)
Jun 02, 2017 11:45:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2556/3728 took 656345 ms. Total solver calls (SAT/UNSAT): 4960509(7591/4952918)
Jun 02, 2017 11:45:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2560/3728 took 657551 ms. Total solver calls (SAT/UNSAT): 4969503(7603/4961900)
Jun 02, 2017 11:45:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2564/3728 took 658565 ms. Total solver calls (SAT/UNSAT): 4976975(7615/4969360)
Jun 02, 2017 11:45:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2568/3728 took 659575 ms. Total solver calls (SAT/UNSAT): 4984447(7627/4976820)
Jun 02, 2017 11:45:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2572/3728 took 660585 ms. Total solver calls (SAT/UNSAT): 4991919(7639/4984280)
Jun 02, 2017 11:45:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2576/3728 took 661590 ms. Total solver calls (SAT/UNSAT): 4999391(7651/4991740)
Jun 02, 2017 11:46:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2580/3728 took 662802 ms. Total solver calls (SAT/UNSAT): 5008385(7663/5000722)
Jun 02, 2017 11:46:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2584/3728 took 663807 ms. Total solver calls (SAT/UNSAT): 5015857(7675/5008182)
Jun 02, 2017 11:46:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2588/3728 took 664819 ms. Total solver calls (SAT/UNSAT): 5023329(7687/5015642)
Jun 02, 2017 11:46:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2592/3728 took 665830 ms. Total solver calls (SAT/UNSAT): 5030801(7699/5023102)
Jun 02, 2017 11:46:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2596/3728 took 666846 ms. Total solver calls (SAT/UNSAT): 5038273(7711/5030562)
Jun 02, 2017 11:46:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2600/3728 took 668058 ms. Total solver calls (SAT/UNSAT): 5047267(7723/5039544)
Jun 02, 2017 11:46:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2604/3728 took 669062 ms. Total solver calls (SAT/UNSAT): 5054739(7735/5047004)
Jun 02, 2017 11:46:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2608/3728 took 670068 ms. Total solver calls (SAT/UNSAT): 5062211(7747/5054464)
Jun 02, 2017 11:46:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2612/3728 took 671080 ms. Total solver calls (SAT/UNSAT): 5069683(7759/5061924)
Jun 02, 2017 11:46:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2616/3728 took 672091 ms. Total solver calls (SAT/UNSAT): 5077155(7771/5069384)
Jun 02, 2017 11:46:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2620/3728 took 673336 ms. Total solver calls (SAT/UNSAT): 5086148(7783/5078365)
Jun 02, 2017 11:46:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2625/3728 took 674582 ms. Total solver calls (SAT/UNSAT): 5095489(7798/5087691)
Jun 02, 2017 11:46:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2630/3728 took 675830 ms. Total solver calls (SAT/UNSAT): 5104829(7813/5097016)
Jun 02, 2017 11:46:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2635/3728 took 677072 ms. Total solver calls (SAT/UNSAT): 5114169(7828/5106341)
Jun 02, 2017 11:46:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2640/3728 took 678316 ms. Total solver calls (SAT/UNSAT): 5123509(7843/5115666)
Jun 02, 2017 11:46:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2644/3728 took 679515 ms. Total solver calls (SAT/UNSAT): 5132503(7855/5124648)
Jun 02, 2017 11:46:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2648/3728 took 680696 ms. Total solver calls (SAT/UNSAT): 5139975(7867/5132108)
Jun 02, 2017 11:46:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2653/3728 took 681919 ms. Total solver calls (SAT/UNSAT): 5149315(7882/5141433)
Jun 02, 2017 11:46:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2658/3728 took 683150 ms. Total solver calls (SAT/UNSAT): 5158655(7897/5150758)
Jun 02, 2017 11:46:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2662/3728 took 684332 ms. Total solver calls (SAT/UNSAT): 5167648(7909/5159739)
Jun 02, 2017 11:46:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2667/3728 took 685550 ms. Total solver calls (SAT/UNSAT): 5176989(7924/5169065)
Jun 02, 2017 11:46:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2672/3728 took 686774 ms. Total solver calls (SAT/UNSAT): 5186329(7939/5178390)
Jun 02, 2017 11:46:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2677/3728 took 687996 ms. Total solver calls (SAT/UNSAT): 5195669(7954/5187715)
Jun 02, 2017 11:46:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2682/3728 took 689210 ms. Total solver calls (SAT/UNSAT): 5205009(7969/5197040)
Jun 02, 2017 11:46:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2686/3728 took 690381 ms. Total solver calls (SAT/UNSAT): 5214003(7981/5206022)
Jun 02, 2017 11:46:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2691/3728 took 691606 ms. Total solver calls (SAT/UNSAT): 5223343(7996/5215347)
Jun 02, 2017 11:46:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2696/3728 took 692831 ms. Total solver calls (SAT/UNSAT): 5232683(8011/5224672)
Jun 02, 2017 11:46:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2701/3728 took 694052 ms. Total solver calls (SAT/UNSAT): 5242023(8026/5233997)
Jun 02, 2017 11:46:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2705/3728 took 695227 ms. Total solver calls (SAT/UNSAT): 5251017(8038/5242979)
Jun 02, 2017 11:46:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2710/3728 took 696450 ms. Total solver calls (SAT/UNSAT): 5260357(8053/5252304)
Jun 02, 2017 11:46:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2715/3728 took 697660 ms. Total solver calls (SAT/UNSAT): 5269697(8068/5261629)
Jun 02, 2017 11:46:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2720/3728 took 698886 ms. Total solver calls (SAT/UNSAT): 5279037(8083/5270954)
Jun 02, 2017 11:46:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2725/3728 took 700296 ms. Total solver calls (SAT/UNSAT): 5289898(8098/5281800)
Jun 02, 2017 11:46:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2730/3728 took 701518 ms. Total solver calls (SAT/UNSAT): 5299239(8113/5291126)
Jun 02, 2017 11:46:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2735/3728 took 702741 ms. Total solver calls (SAT/UNSAT): 5308579(8128/5300451)
Jun 02, 2017 11:46:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2740/3728 took 703971 ms. Total solver calls (SAT/UNSAT): 5317919(8143/5309776)
Jun 02, 2017 11:46:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2745/3728 took 705187 ms. Total solver calls (SAT/UNSAT): 5327259(8158/5319101)
Jun 02, 2017 11:46:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2749/3728 took 706355 ms. Total solver calls (SAT/UNSAT): 5336253(8170/5328083)
Jun 02, 2017 11:46:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2754/3728 took 707586 ms. Total solver calls (SAT/UNSAT): 5345593(8185/5337408)
Jun 02, 2017 11:46:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2759/3728 took 708812 ms. Total solver calls (SAT/UNSAT): 5354933(8200/5346733)
Jun 02, 2017 11:46:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2763/3728 took 709832 ms. Total solver calls (SAT/UNSAT): 5362405(8212/5354193)
Jun 02, 2017 11:46:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2767/3728 took 711007 ms. Total solver calls (SAT/UNSAT): 5371398(8224/5363174)
Jun 02, 2017 11:46:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2772/3728 took 712242 ms. Total solver calls (SAT/UNSAT): 5380739(8239/5372500)
Jun 02, 2017 11:46:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2777/3728 took 713468 ms. Total solver calls (SAT/UNSAT): 5390079(8254/5381825)
Jun 02, 2017 11:46:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2782/3728 took 714699 ms. Total solver calls (SAT/UNSAT): 5399419(8269/5391150)
Jun 02, 2017 11:46:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2787/3728 took 715914 ms. Total solver calls (SAT/UNSAT): 5408759(8284/5400475)
Jun 02, 2017 11:46:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2791/3728 took 717094 ms. Total solver calls (SAT/UNSAT): 5417753(8296/5409457)
Jun 02, 2017 11:46:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2796/3728 took 718317 ms. Total solver calls (SAT/UNSAT): 5427093(8311/5418782)
Jun 02, 2017 11:46:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2801/3728 took 719541 ms. Total solver calls (SAT/UNSAT): 5436433(8326/5428107)
Jun 02, 2017 11:46:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2806/3728 took 720769 ms. Total solver calls (SAT/UNSAT): 5445773(8341/5437432)
Jun 02, 2017 11:46:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2810/3728 took 721946 ms. Total solver calls (SAT/UNSAT): 5454767(8353/5446414)
Jun 02, 2017 11:47:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2815/3728 took 723175 ms. Total solver calls (SAT/UNSAT): 5464107(8368/5455739)
Jun 02, 2017 11:47:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2820/3728 took 724398 ms. Total solver calls (SAT/UNSAT): 5473447(8383/5465064)
Jun 02, 2017 11:47:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2825/3728 took 725624 ms. Total solver calls (SAT/UNSAT): 5482787(8398/5474389)
Jun 02, 2017 11:47:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2830/3728 took 727047 ms. Total solver calls (SAT/UNSAT): 5493648(8413/5485235)
Jun 02, 2017 11:47:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2835/3728 took 728269 ms. Total solver calls (SAT/UNSAT): 5502989(8428/5494561)
Jun 02, 2017 11:47:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2840/3728 took 729496 ms. Total solver calls (SAT/UNSAT): 5512329(8443/5503886)
Jun 02, 2017 11:47:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2845/3728 took 730723 ms. Total solver calls (SAT/UNSAT): 5521669(8458/5513211)
Jun 02, 2017 11:47:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2850/3728 took 731945 ms. Total solver calls (SAT/UNSAT): 5531009(8473/5522536)
Jun 02, 2017 11:47:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2854/3728 took 733134 ms. Total solver calls (SAT/UNSAT): 5540003(8485/5531518)
Jun 02, 2017 11:47:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2859/3728 took 734363 ms. Total solver calls (SAT/UNSAT): 5549343(8500/5540843)
Jun 02, 2017 11:47:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2864/3728 took 735585 ms. Total solver calls (SAT/UNSAT): 5558683(8515/5550168)
Jun 02, 2017 11:47:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2869/3728 took 736811 ms. Total solver calls (SAT/UNSAT): 5568023(8530/5559493)
Jun 02, 2017 11:47:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2873/3728 took 737978 ms. Total solver calls (SAT/UNSAT): 5577017(8542/5568475)
Jun 02, 2017 11:47:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2878/3728 took 739209 ms. Total solver calls (SAT/UNSAT): 5586357(8557/5577800)
Jun 02, 2017 11:47:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2883/3728 took 740440 ms. Total solver calls (SAT/UNSAT): 5595697(8572/5587125)
Jun 02, 2017 11:47:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2888/3728 took 741653 ms. Total solver calls (SAT/UNSAT): 5605037(8587/5596450)
Jun 02, 2017 11:47:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2893/3728 took 743073 ms. Total solver calls (SAT/UNSAT): 5615898(8602/5607296)
Jun 02, 2017 11:47:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2898/3728 took 744307 ms. Total solver calls (SAT/UNSAT): 5625239(8617/5616622)
Jun 02, 2017 11:47:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2903/3728 took 745521 ms. Total solver calls (SAT/UNSAT): 5634579(8632/5625947)
Jun 02, 2017 11:47:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2908/3728 took 746743 ms. Total solver calls (SAT/UNSAT): 5643919(8647/5635272)
Jun 02, 2017 11:47:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2912/3728 took 747764 ms. Total solver calls (SAT/UNSAT): 5651391(8659/5642732)
Jun 02, 2017 11:47:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2916/3728 took 748955 ms. Total solver calls (SAT/UNSAT): 5660385(8671/5651714)
Jun 02, 2017 11:47:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2921/3728 took 750172 ms. Total solver calls (SAT/UNSAT): 5669725(8686/5661039)
Jun 02, 2017 11:47:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2925/3728 took 751208 ms. Total solver calls (SAT/UNSAT): 5677197(8698/5668499)
Jun 02, 2017 11:47:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2930/3728 took 752447 ms. Total solver calls (SAT/UNSAT): 5686537(8713/5677824)
Jun 02, 2017 11:47:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2935/3728 took 753890 ms. Total solver calls (SAT/UNSAT): 5697398(8728/5688670)
Jun 02, 2017 11:47:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2940/3728 took 755134 ms. Total solver calls (SAT/UNSAT): 5706739(8743/5697996)
Jun 02, 2017 11:47:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2945/3728 took 756371 ms. Total solver calls (SAT/UNSAT): 5716079(8758/5707321)
Jun 02, 2017 11:47:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2950/3728 took 757614 ms. Total solver calls (SAT/UNSAT): 5725419(8773/5716646)
Jun 02, 2017 11:47:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2955/3728 took 758851 ms. Total solver calls (SAT/UNSAT): 5734759(8788/5725971)
Jun 02, 2017 11:47:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2959/3728 took 760052 ms. Total solver calls (SAT/UNSAT): 5743753(8800/5734953)
Jun 02, 2017 11:47:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2964/3728 took 761297 ms. Total solver calls (SAT/UNSAT): 5753093(8815/5744278)
Jun 02, 2017 11:47:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2968/3728 took 762301 ms. Total solver calls (SAT/UNSAT): 5760565(8827/5751738)
Jun 02, 2017 11:47:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2972/3728 took 763302 ms. Total solver calls (SAT/UNSAT): 5768037(8839/5759198)
Jun 02, 2017 11:47:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2976/3728 took 764305 ms. Total solver calls (SAT/UNSAT): 5775509(8851/5766658)
Jun 02, 2017 11:47:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2980/3728 took 765493 ms. Total solver calls (SAT/UNSAT): 5784503(8863/5775640)
Jun 02, 2017 11:47:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2984/3728 took 766493 ms. Total solver calls (SAT/UNSAT): 5791975(8875/5783100)
Jun 02, 2017 11:47:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2988/3728 took 767494 ms. Total solver calls (SAT/UNSAT): 5799447(8887/5790560)
Jun 02, 2017 11:47:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2993/3728 took 768740 ms. Total solver calls (SAT/UNSAT): 5808787(8902/5799885)
Jun 02, 2017 11:47:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2997/3728 took 769741 ms. Total solver calls (SAT/UNSAT): 5816259(8914/5807345)
Jun 02, 2017 11:47:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3001/3728 took 770945 ms. Total solver calls (SAT/UNSAT): 5825253(8926/5816327)
Jun 02, 2017 11:47:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3005/3728 took 771951 ms. Total solver calls (SAT/UNSAT): 5832725(8938/5823787)
Jun 02, 2017 11:47:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3010/3728 took 773196 ms. Total solver calls (SAT/UNSAT): 5842065(8953/5833112)
Jun 02, 2017 11:47:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3014/3728 took 774201 ms. Total solver calls (SAT/UNSAT): 5849537(8965/5840572)
Jun 02, 2017 11:47:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3018/3728 took 775201 ms. Total solver calls (SAT/UNSAT): 5857009(8977/5848032)
Jun 02, 2017 11:47:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3022/3728 took 776404 ms. Total solver calls (SAT/UNSAT): 5866003(8989/5857014)
Jun 02, 2017 11:47:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3027/3728 took 777642 ms. Total solver calls (SAT/UNSAT): 5875343(9004/5866339)
Jun 02, 2017 11:47:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3031/3728 took 778645 ms. Total solver calls (SAT/UNSAT): 5882815(9016/5873799)
Jun 02, 2017 11:47:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3035/3728 took 779648 ms. Total solver calls (SAT/UNSAT): 5890287(9028/5881259)
Jun 02, 2017 11:47:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3040/3728 took 781110 ms. Total solver calls (SAT/UNSAT): 5901148(9043/5892105)
Jun 02, 2017 11:47:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3044/3728 took 782110 ms. Total solver calls (SAT/UNSAT): 5908621(9055/5899566)
Jun 02, 2017 11:48:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3049/3728 took 783365 ms. Total solver calls (SAT/UNSAT): 5917961(9070/5908891)
Jun 02, 2017 11:48:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3053/3728 took 784366 ms. Total solver calls (SAT/UNSAT): 5925433(9082/5916351)
Jun 02, 2017 11:48:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3058/3728 took 785604 ms. Total solver calls (SAT/UNSAT): 5934773(9097/5925676)
Jun 02, 2017 11:48:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3062/3728 took 786819 ms. Total solver calls (SAT/UNSAT): 5943767(9109/5934658)
Jun 02, 2017 11:48:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3066/3728 took 787822 ms. Total solver calls (SAT/UNSAT): 5951239(9121/5942118)
Jun 02, 2017 11:48:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3070/3728 took 788875 ms. Total solver calls (SAT/UNSAT): 5958711(9133/5949578)
Jun 02, 2017 11:48:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3075/3728 took 790112 ms. Total solver calls (SAT/UNSAT): 5968051(9148/5958903)
Jun 02, 2017 11:48:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3079/3728 took 791115 ms. Total solver calls (SAT/UNSAT): 5975523(9160/5966363)
Jun 02, 2017 11:48:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3083/3728 took 792315 ms. Total solver calls (SAT/UNSAT): 5984517(9172/5975345)
Jun 02, 2017 11:48:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3088/3728 took 793557 ms. Total solver calls (SAT/UNSAT): 5993857(9187/5984670)
Jun 02, 2017 11:48:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3092/3728 took 794570 ms. Total solver calls (SAT/UNSAT): 6001329(9199/5992130)
Jun 02, 2017 11:48:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3096/3728 took 795572 ms. Total solver calls (SAT/UNSAT): 6008801(9211/5999590)
Jun 02, 2017 11:48:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3100/3728 took 796574 ms. Total solver calls (SAT/UNSAT): 6016273(9223/6007050)
Jun 02, 2017 11:48:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3104/3728 took 797771 ms. Total solver calls (SAT/UNSAT): 6025267(9235/6016032)
Jun 02, 2017 11:48:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3109/3728 took 799017 ms. Total solver calls (SAT/UNSAT): 6034607(9250/6025357)
Jun 02, 2017 11:48:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3113/3728 took 800027 ms. Total solver calls (SAT/UNSAT): 6042079(9262/6032817)
Jun 02, 2017 11:48:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3118/3728 took 801276 ms. Total solver calls (SAT/UNSAT): 6051419(9277/6042142)
Jun 02, 2017 11:48:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3122/3728 took 802281 ms. Total solver calls (SAT/UNSAT): 6058891(9289/6049602)
Jun 02, 2017 11:48:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3126/3728 took 803477 ms. Total solver calls (SAT/UNSAT): 6067885(9301/6058584)
Jun 02, 2017 11:48:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3131/3728 took 804726 ms. Total solver calls (SAT/UNSAT): 6077225(9316/6067909)
Jun 02, 2017 11:48:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3136/3728 took 805964 ms. Total solver calls (SAT/UNSAT): 6086565(9331/6077234)
Jun 02, 2017 11:48:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3141/3728 took 807201 ms. Total solver calls (SAT/UNSAT): 6095905(9346/6086559)
Jun 02, 2017 11:48:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3145/3728 took 808396 ms. Total solver calls (SAT/UNSAT): 6104898(9358/6095540)
Jun 02, 2017 11:48:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3150/3728 took 809636 ms. Total solver calls (SAT/UNSAT): 6114239(9373/6104866)
Jun 02, 2017 11:48:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3154/3728 took 810638 ms. Total solver calls (SAT/UNSAT): 6121711(9385/6112326)
Jun 02, 2017 11:48:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3159/3728 took 811873 ms. Total solver calls (SAT/UNSAT): 6131051(9400/6121651)
Jun 02, 2017 11:48:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3164/3728 took 813128 ms. Total solver calls (SAT/UNSAT): 6140391(9415/6130976)
Jun 02, 2017 11:48:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3168/3728 took 814326 ms. Total solver calls (SAT/UNSAT): 6149385(9427/6139958)
Jun 02, 2017 11:48:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3172/3728 took 815330 ms. Total solver calls (SAT/UNSAT): 6156857(9439/6147418)
Jun 02, 2017 11:48:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3176/3728 took 816337 ms. Total solver calls (SAT/UNSAT): 6164329(9451/6154878)
Jun 02, 2017 11:48:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3181/3728 took 817574 ms. Total solver calls (SAT/UNSAT): 6173669(9466/6164203)
Jun 02, 2017 11:48:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3186/3728 took 818811 ms. Total solver calls (SAT/UNSAT): 6183009(9481/6173528)
Jun 02, 2017 11:48:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3190/3728 took 820017 ms. Total solver calls (SAT/UNSAT): 6192003(9493/6182510)
Jun 02, 2017 11:48:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3195/3728 took 821258 ms. Total solver calls (SAT/UNSAT): 6201343(9508/6191835)
Jun 02, 2017 11:48:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3200/3728 took 822506 ms. Total solver calls (SAT/UNSAT): 6210683(9523/6201160)
Jun 02, 2017 11:48:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3204/3728 took 823507 ms. Total solver calls (SAT/UNSAT): 6218155(9535/6208620)
Jun 02, 2017 11:48:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3208/3728 took 824705 ms. Total solver calls (SAT/UNSAT): 6227148(9547/6217601)
Jun 02, 2017 11:48:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3212/3728 took 825718 ms. Total solver calls (SAT/UNSAT): 6234621(9559/6225062)
Jun 02, 2017 11:48:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3217/3728 took 826960 ms. Total solver calls (SAT/UNSAT): 6243961(9574/6234387)
Jun 02, 2017 11:48:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3222/3728 took 828203 ms. Total solver calls (SAT/UNSAT): 6253301(9589/6243712)
Jun 02, 2017 11:48:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3227/3728 took 829443 ms. Total solver calls (SAT/UNSAT): 6262641(9604/6253037)
Jun 02, 2017 11:48:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3231/3728 took 830633 ms. Total solver calls (SAT/UNSAT): 6271635(9616/6262019)
Jun 02, 2017 11:48:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3236/3728 took 831877 ms. Total solver calls (SAT/UNSAT): 6280975(9631/6271344)
Jun 02, 2017 11:48:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3241/3728 took 833114 ms. Total solver calls (SAT/UNSAT): 6290315(9646/6280669)
Jun 02, 2017 11:48:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3246/3728 took 834354 ms. Total solver calls (SAT/UNSAT): 6299655(9661/6289994)
Jun 02, 2017 11:48:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3250/3728 took 835542 ms. Total solver calls (SAT/UNSAT): 6308648(9673/6298975)
Jun 02, 2017 11:48:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3255/3728 took 836778 ms. Total solver calls (SAT/UNSAT): 6317989(9688/6308301)
Jun 02, 2017 11:48:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3259/3728 took 837784 ms. Total solver calls (SAT/UNSAT): 6325461(9700/6315761)
Jun 02, 2017 11:48:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3264/3728 took 839033 ms. Total solver calls (SAT/UNSAT): 6334801(9715/6325086)
Jun 02, 2017 11:48:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3268/3728 took 840035 ms. Total solver calls (SAT/UNSAT): 6342273(9727/6332546)
Jun 02, 2017 11:48:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3272/3728 took 841264 ms. Total solver calls (SAT/UNSAT): 6351267(9739/6341528)
Jun 02, 2017 11:49:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3277/3728 took 842482 ms. Total solver calls (SAT/UNSAT): 6360607(9754/6350853)
Jun 02, 2017 11:49:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3282/3728 took 843699 ms. Total solver calls (SAT/UNSAT): 6369947(9769/6360178)
Jun 02, 2017 11:49:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3287/3728 took 844917 ms. Total solver calls (SAT/UNSAT): 6379287(9784/6369503)
Jun 02, 2017 11:49:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3292/3728 took 846317 ms. Total solver calls (SAT/UNSAT): 6390148(9799/6380349)
Jun 02, 2017 11:49:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3297/3728 took 847527 ms. Total solver calls (SAT/UNSAT): 6399489(9814/6389675)
Jun 02, 2017 11:49:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3302/3728 took 848735 ms. Total solver calls (SAT/UNSAT): 6408829(9829/6399000)
Jun 02, 2017 11:49:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3307/3728 took 849940 ms. Total solver calls (SAT/UNSAT): 6418169(9844/6408325)
Jun 02, 2017 11:49:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3312/3728 took 851161 ms. Total solver calls (SAT/UNSAT): 6427509(9859/6417650)
Jun 02, 2017 11:49:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3316/3728 took 852333 ms. Total solver calls (SAT/UNSAT): 6436503(9871/6426632)
Jun 02, 2017 11:49:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3321/3728 took 853547 ms. Total solver calls (SAT/UNSAT): 6445843(9886/6435957)
Jun 02, 2017 11:49:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3326/3728 took 854765 ms. Total solver calls (SAT/UNSAT): 6455183(9901/6445282)
Jun 02, 2017 11:49:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3331/3728 took 855984 ms. Total solver calls (SAT/UNSAT): 6464523(9916/6454607)
Jun 02, 2017 11:49:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3335/3728 took 857162 ms. Total solver calls (SAT/UNSAT): 6473517(9928/6463589)
Jun 02, 2017 11:49:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3340/3728 took 858384 ms. Total solver calls (SAT/UNSAT): 6482857(9943/6472914)
Jun 02, 2017 11:49:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3345/3728 took 859604 ms. Total solver calls (SAT/UNSAT): 6492197(9958/6482239)
Jun 02, 2017 11:49:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3350/3728 took 860825 ms. Total solver calls (SAT/UNSAT): 6501537(9973/6491564)
Jun 02, 2017 11:49:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3355/3728 took 862224 ms. Total solver calls (SAT/UNSAT): 6512398(9988/6502410)
Jun 02, 2017 11:49:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3360/3728 took 863439 ms. Total solver calls (SAT/UNSAT): 6521739(10003/6511736)
Jun 02, 2017 11:49:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3365/3728 took 864656 ms. Total solver calls (SAT/UNSAT): 6531079(10018/6521061)
Jun 02, 2017 11:49:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3370/3728 took 865859 ms. Total solver calls (SAT/UNSAT): 6540419(10033/6530386)
Jun 02, 2017 11:49:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3375/3728 took 867076 ms. Total solver calls (SAT/UNSAT): 6549759(10048/6539711)
Jun 02, 2017 11:49:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3379/3728 took 868244 ms. Total solver calls (SAT/UNSAT): 6558753(10060/6548693)
Jun 02, 2017 11:49:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3384/3728 took 869453 ms. Total solver calls (SAT/UNSAT): 6568093(10075/6558018)
Jun 02, 2017 11:49:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3389/3728 took 870672 ms. Total solver calls (SAT/UNSAT): 6577433(10090/6567343)
Jun 02, 2017 11:49:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3394/3728 took 871890 ms. Total solver calls (SAT/UNSAT): 6586773(10105/6576668)
Jun 02, 2017 11:49:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3398/3728 took 873058 ms. Total solver calls (SAT/UNSAT): 6595767(10117/6585650)
Jun 02, 2017 11:49:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3403/3728 took 874280 ms. Total solver calls (SAT/UNSAT): 6605107(10132/6594975)
Jun 02, 2017 11:49:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3408/3728 took 875498 ms. Total solver calls (SAT/UNSAT): 6614447(10147/6604300)
Jun 02, 2017 11:49:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3413/3728 took 876721 ms. Total solver calls (SAT/UNSAT): 6623787(10162/6613625)
Jun 02, 2017 11:49:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3418/3728 took 878136 ms. Total solver calls (SAT/UNSAT): 6634648(10177/6624471)
Jun 02, 2017 11:49:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3423/3728 took 879354 ms. Total solver calls (SAT/UNSAT): 6643989(10192/6633797)
Jun 02, 2017 11:49:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3428/3728 took 880574 ms. Total solver calls (SAT/UNSAT): 6653329(10207/6643122)
Jun 02, 2017 11:49:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3433/3728 took 881784 ms. Total solver calls (SAT/UNSAT): 6662669(10222/6652447)
Jun 02, 2017 11:49:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3438/3728 took 882989 ms. Total solver calls (SAT/UNSAT): 6672009(10237/6661772)
Jun 02, 2017 11:49:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3454/3728 took 884006 ms. Total solver calls (SAT/UNSAT): 6679358(10255/6669103)
Jun 02, 2017 11:49:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3471/3728 took 885041 ms. Total solver calls (SAT/UNSAT): 6686886(10272/6676614)
Jun 02, 2017 12:33:07 PM fr.lip6.move.gal.itstools.ProcessController$1 run
WARNING: null
Jun 02, 2017 12:33:07 PM fr.lip6.move.gal.itstools.ProcessController forwardStream
WARNING: Stream closed
Jun 02, 2017 12:33:07 PM fr.lip6.move.gal.itstools.ProcessController forwardStream
WARNING: Stream closed
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_BridgeAndVehicles-COL-V80P20N20"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/S_BridgeAndVehicles-COL-V80P20N20.tgz
mv S_BridgeAndVehicles-COL-V80P20N20 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is S_BridgeAndVehicles-COL-V80P20N20, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r090-csrt-149441076700393"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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 ;