About the Execution of ITS-Tools for BridgeAndVehicles-COL-V80P20N20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3832.500 | 3600000.00 | 7137559.00 | 389.90 | [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 BridgeAndVehicles-COL-V80P20N20, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r010-csrt-149436129600393
=====================================================================
--------------------
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 1496265735513
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
May 31, 2017 9:22:17 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
May 31, 2017 9:22:17 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
May 31, 2017 9:22:18 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1384 ms
May 31, 2017 9:22:18 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 15 places.
May 31, 2017 9:22:18 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
May 31, 2017 9:22:18 PM 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,
May 31, 2017 9:22:18 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 11 transitions.
May 31, 2017 9:22:18 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
May 31, 2017 9:22:19 PM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
May 31, 2017 9:22:20 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
May 31, 2017 9:22:20 PM 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
May 31, 2017 9:22:20 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 136 ms
May 31, 2017 9:22:22 PM 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.
May 31, 2017 9:22:23 PM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 405 redundant transitions.
May 31, 2017 9:22:23 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 27 ms
May 31, 2017 9:22:23 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 79 ms
May 31, 2017 9:22:25 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 309 ms
May 31, 2017 9:22:40 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 198 variables to be positive in 14690 ms
May 31, 2017 9:22:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 3728 transitions.
May 31, 2017 9:22:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3728 took 297 ms. Total solver calls (SAT/UNSAT): 1943(2/1941)
May 31, 2017 9:22:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/3728 took 1543 ms. Total solver calls (SAT/UNSAT): 9715(10/9705)
May 31, 2017 9:22:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/3728 took 2647 ms. Total solver calls (SAT/UNSAT): 17487(18/17469)
May 31, 2017 9:22:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/3728 took 3750 ms. Total solver calls (SAT/UNSAT): 25259(26/25233)
May 31, 2017 9:22:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :16/3728 took 4854 ms. Total solver calls (SAT/UNSAT): 33031(34/32997)
May 31, 2017 9:22:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/3728 took 5959 ms. Total solver calls (SAT/UNSAT): 40803(42/40761)
May 31, 2017 9:22:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/3728 took 7169 ms. Total solver calls (SAT/UNSAT): 48575(50/48525)
May 31, 2017 9:22:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/3728 took 8267 ms. Total solver calls (SAT/UNSAT): 56347(58/56289)
May 31, 2017 9:22:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/3728 took 9358 ms. Total solver calls (SAT/UNSAT): 64119(66/64053)
May 31, 2017 9:22:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/3728 took 10439 ms. Total solver calls (SAT/UNSAT): 71891(74/71817)
May 31, 2017 9:22:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/3728 took 11518 ms. Total solver calls (SAT/UNSAT): 79663(82/79581)
May 31, 2017 9:22:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/3728 took 12645 ms. Total solver calls (SAT/UNSAT): 87435(90/87345)
May 31, 2017 9:22:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/3728 took 13750 ms. Total solver calls (SAT/UNSAT): 95207(98/95109)
May 31, 2017 9:22:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/3728 took 14826 ms. Total solver calls (SAT/UNSAT): 102979(106/102873)
May 31, 2017 9:22:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/3728 took 15904 ms. Total solver calls (SAT/UNSAT): 110751(114/110637)
May 31, 2017 9:22:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/3728 took 16981 ms. Total solver calls (SAT/UNSAT): 118523(122/118401)
May 31, 2017 9:22:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/3728 took 18061 ms. Total solver calls (SAT/UNSAT): 126295(130/126165)
May 31, 2017 9:22:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/3728 took 19154 ms. Total solver calls (SAT/UNSAT): 134067(138/133929)
May 31, 2017 9:23:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/3728 took 20257 ms. Total solver calls (SAT/UNSAT): 141839(146/141693)
May 31, 2017 9:23:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/3728 took 21352 ms. Total solver calls (SAT/UNSAT): 149611(154/149457)
May 31, 2017 9:23:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/3728 took 22434 ms. Total solver calls (SAT/UNSAT): 157308(163/157145)
May 31, 2017 9:23:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/3728 took 23578 ms. Total solver calls (SAT/UNSAT): 164776(175/164601)
May 31, 2017 9:23:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/3728 took 24604 ms. Total solver calls (SAT/UNSAT): 172244(187/172057)
May 31, 2017 9:23:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/3728 took 25624 ms. Total solver calls (SAT/UNSAT): 179712(199/179513)
May 31, 2017 9:23:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/3728 took 26643 ms. Total solver calls (SAT/UNSAT): 187180(211/186969)
May 31, 2017 9:23:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/3728 took 27962 ms. Total solver calls (SAT/UNSAT): 196169(223/195946)
May 31, 2017 9:23:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/3728 took 29117 ms. Total solver calls (SAT/UNSAT): 203642(235/203407)
May 31, 2017 9:23:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/3728 took 30141 ms. Total solver calls (SAT/UNSAT): 211114(247/210867)
May 31, 2017 9:23:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/3728 took 31165 ms. Total solver calls (SAT/UNSAT): 218586(259/218327)
May 31, 2017 9:23:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/3728 took 32192 ms. Total solver calls (SAT/UNSAT): 226058(271/225787)
May 31, 2017 9:23:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/3728 took 33259 ms. Total solver calls (SAT/UNSAT): 233530(283/233247)
May 31, 2017 9:23:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/3728 took 34556 ms. Total solver calls (SAT/UNSAT): 242524(295/242229)
May 31, 2017 9:23:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/3728 took 35625 ms. Total solver calls (SAT/UNSAT): 249996(307/249689)
May 31, 2017 9:23:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/3728 took 36669 ms. Total solver calls (SAT/UNSAT): 257468(319/257149)
May 31, 2017 9:23:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/3728 took 37755 ms. Total solver calls (SAT/UNSAT): 264940(331/264609)
May 31, 2017 9:23:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/3728 took 38844 ms. Total solver calls (SAT/UNSAT): 272412(343/272069)
May 31, 2017 9:23:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/3728 took 39929 ms. Total solver calls (SAT/UNSAT): 279538(352/279186)
May 31, 2017 9:23:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/3728 took 40952 ms. Total solver calls (SAT/UNSAT): 287010(364/286646)
May 31, 2017 9:23:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :151/3728 took 42020 ms. Total solver calls (SAT/UNSAT): 294482(376/294106)
May 31, 2017 9:23:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/3728 took 43080 ms. Total solver calls (SAT/UNSAT): 301954(388/301566)
May 31, 2017 9:23:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :159/3728 took 44095 ms. Total solver calls (SAT/UNSAT): 309426(400/309026)
May 31, 2017 9:23:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :163/3728 took 45311 ms. Total solver calls (SAT/UNSAT): 318419(412/318007)
May 31, 2017 9:23:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/3728 took 46326 ms. Total solver calls (SAT/UNSAT): 325892(424/325468)
May 31, 2017 9:23:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/3728 took 47338 ms. Total solver calls (SAT/UNSAT): 333364(436/332928)
May 31, 2017 9:23:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :175/3728 took 48397 ms. Total solver calls (SAT/UNSAT): 340836(448/340388)
May 31, 2017 9:23:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/3728 took 49480 ms. Total solver calls (SAT/UNSAT): 348308(460/347848)
May 31, 2017 9:23:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/3728 took 50532 ms. Total solver calls (SAT/UNSAT): 355780(472/355308)
May 31, 2017 9:23:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/3728 took 51570 ms. Total solver calls (SAT/UNSAT): 362906(481/362425)
May 31, 2017 9:23:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :190/3728 took 52608 ms. Total solver calls (SAT/UNSAT): 370378(493/369885)
May 31, 2017 9:23:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/3728 took 53646 ms. Total solver calls (SAT/UNSAT): 377850(505/377345)
May 31, 2017 9:23:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :198/3728 took 54676 ms. Total solver calls (SAT/UNSAT): 385322(517/384805)
May 31, 2017 9:23:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :202/3728 took 55705 ms. Total solver calls (SAT/UNSAT): 392794(529/392265)
May 31, 2017 9:23:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :206/3728 took 56939 ms. Total solver calls (SAT/UNSAT): 401788(541/401247)
May 31, 2017 9:23:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/3728 took 57967 ms. Total solver calls (SAT/UNSAT): 409260(553/408707)
May 31, 2017 9:23:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/3728 took 59004 ms. Total solver calls (SAT/UNSAT): 416732(565/416167)
May 31, 2017 9:23:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :218/3728 took 60024 ms. Total solver calls (SAT/UNSAT): 424204(577/423627)
May 31, 2017 9:23:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/3728 took 61092 ms. Total solver calls (SAT/UNSAT): 431676(589/431087)
May 31, 2017 9:23:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/3728 took 62366 ms. Total solver calls (SAT/UNSAT): 440669(601/440068)
May 31, 2017 9:23:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :230/3728 took 63383 ms. Total solver calls (SAT/UNSAT): 448142(613/447529)
May 31, 2017 9:23:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/3728 took 64449 ms. Total solver calls (SAT/UNSAT): 455614(625/454989)
May 31, 2017 9:23:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :238/3728 took 65460 ms. Total solver calls (SAT/UNSAT): 463086(637/462449)
May 31, 2017 9:23:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :242/3728 took 66570 ms. Total solver calls (SAT/UNSAT): 470558(649/469909)
May 31, 2017 9:23:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/3728 took 67654 ms. Total solver calls (SAT/UNSAT): 478030(661/477369)
May 31, 2017 9:23:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :249/3728 took 68745 ms. Total solver calls (SAT/UNSAT): 485156(670/484486)
May 31, 2017 9:23:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :253/3728 took 69752 ms. Total solver calls (SAT/UNSAT): 492628(682/491946)
May 31, 2017 9:23:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :257/3728 took 70753 ms. Total solver calls (SAT/UNSAT): 500100(694/499406)
May 31, 2017 9:23:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :261/3728 took 71753 ms. Total solver calls (SAT/UNSAT): 507572(706/506866)
May 31, 2017 9:23:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :266/3728 took 73001 ms. Total solver calls (SAT/UNSAT): 516912(721/516191)
May 31, 2017 9:23:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :269/3728 took 74041 ms. Total solver calls (SAT/UNSAT): 524038(730/523308)
May 31, 2017 9:23:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :273/3728 took 75104 ms. Total solver calls (SAT/UNSAT): 531510(742/530768)
May 31, 2017 9:23:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :277/3728 took 76145 ms. Total solver calls (SAT/UNSAT): 538982(754/538228)
May 31, 2017 9:23:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/3728 took 77167 ms. Total solver calls (SAT/UNSAT): 546454(766/545688)
May 31, 2017 9:23:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :285/3728 took 78255 ms. Total solver calls (SAT/UNSAT): 553926(778/553148)
May 31, 2017 9:23:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :289/3728 took 79460 ms. Total solver calls (SAT/UNSAT): 562919(790/562129)
May 31, 2017 9:24:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :293/3728 took 80465 ms. Total solver calls (SAT/UNSAT): 570392(802/569590)
May 31, 2017 9:24:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :297/3728 took 81471 ms. Total solver calls (SAT/UNSAT): 577864(814/577050)
May 31, 2017 9:24:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :301/3728 took 82483 ms. Total solver calls (SAT/UNSAT): 585336(826/584510)
May 31, 2017 9:24:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :305/3728 took 83493 ms. Total solver calls (SAT/UNSAT): 592808(838/591970)
May 31, 2017 9:24:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :309/3728 took 84500 ms. Total solver calls (SAT/UNSAT): 600280(850/599430)
May 31, 2017 9:24:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :313/3728 took 85731 ms. Total solver calls (SAT/UNSAT): 609274(862/608412)
May 31, 2017 9:24:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :317/3728 took 86736 ms. Total solver calls (SAT/UNSAT): 616746(874/615872)
May 31, 2017 9:24:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/3728 took 87839 ms. Total solver calls (SAT/UNSAT): 624218(886/623332)
May 31, 2017 9:24:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :325/3728 took 88856 ms. Total solver calls (SAT/UNSAT): 631690(898/630792)
May 31, 2017 9:24:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/3728 took 89873 ms. Total solver calls (SAT/UNSAT): 639162(910/638252)
May 31, 2017 9:24:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :333/3728 took 91082 ms. Total solver calls (SAT/UNSAT): 648156(922/647234)
May 31, 2017 9:24:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/3728 took 92087 ms. Total solver calls (SAT/UNSAT): 655628(934/654694)
May 31, 2017 9:24:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :341/3728 took 93095 ms. Total solver calls (SAT/UNSAT): 663100(946/662154)
May 31, 2017 9:24:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :345/3728 took 94146 ms. Total solver calls (SAT/UNSAT): 670572(958/669614)
May 31, 2017 9:24:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/3728 took 95222 ms. Total solver calls (SAT/UNSAT): 678044(970/677074)
May 31, 2017 9:24:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/3728 took 96232 ms. Total solver calls (SAT/UNSAT): 685169(979/684190)
May 31, 2017 9:24:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/3728 took 97243 ms. Total solver calls (SAT/UNSAT): 692642(991/691651)
May 31, 2017 9:24:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/3728 took 98253 ms. Total solver calls (SAT/UNSAT): 700114(1003/699111)
May 31, 2017 9:24:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/3728 took 99263 ms. Total solver calls (SAT/UNSAT): 707586(1015/706571)
May 31, 2017 9:24:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/3728 took 100271 ms. Total solver calls (SAT/UNSAT): 715058(1027/714031)
May 31, 2017 9:24:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/3728 took 101279 ms. Total solver calls (SAT/UNSAT): 722530(1039/721491)
May 31, 2017 9:24:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/3728 took 102497 ms. Total solver calls (SAT/UNSAT): 731524(1051/730473)
May 31, 2017 9:24:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/3728 took 103542 ms. Total solver calls (SAT/UNSAT): 738996(1063/737933)
May 31, 2017 9:24:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/3728 took 104575 ms. Total solver calls (SAT/UNSAT): 746468(1075/745393)
May 31, 2017 9:24:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/3728 took 105584 ms. Total solver calls (SAT/UNSAT): 753940(1087/752853)
May 31, 2017 9:24:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/3728 took 106634 ms. Total solver calls (SAT/UNSAT): 761412(1099/760313)
May 31, 2017 9:24:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/3728 took 107840 ms. Total solver calls (SAT/UNSAT): 770406(1111/769295)
May 31, 2017 9:24:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/3728 took 108924 ms. Total solver calls (SAT/UNSAT): 777878(1123/776755)
May 31, 2017 9:24:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/3728 took 109935 ms. Total solver calls (SAT/UNSAT): 785350(1135/784215)
May 31, 2017 9:24:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/3728 took 110943 ms. Total solver calls (SAT/UNSAT): 792822(1147/791675)
May 31, 2017 9:24:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/3728 took 111946 ms. Total solver calls (SAT/UNSAT): 800294(1159/799135)
May 31, 2017 9:24:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/3728 took 113149 ms. Total solver calls (SAT/UNSAT): 809288(1171/808117)
May 31, 2017 9:24:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/3728 took 114159 ms. Total solver calls (SAT/UNSAT): 816760(1183/815577)
May 31, 2017 9:24:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/3728 took 115165 ms. Total solver calls (SAT/UNSAT): 824232(1195/823037)
May 31, 2017 9:24:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/3728 took 116172 ms. Total solver calls (SAT/UNSAT): 831704(1207/830497)
May 31, 2017 9:24:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/3728 took 117177 ms. Total solver calls (SAT/UNSAT): 839176(1219/837957)
May 31, 2017 9:24:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/3728 took 118382 ms. Total solver calls (SAT/UNSAT): 848169(1231/846938)
May 31, 2017 9:24:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/3728 took 119388 ms. Total solver calls (SAT/UNSAT): 855642(1243/854399)
May 31, 2017 9:24:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/3728 took 120396 ms. Total solver calls (SAT/UNSAT): 863114(1255/861859)
May 31, 2017 9:24:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/3728 took 121403 ms. Total solver calls (SAT/UNSAT): 870586(1267/869319)
May 31, 2017 9:24:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/3728 took 122414 ms. Total solver calls (SAT/UNSAT): 878058(1279/876779)
May 31, 2017 9:24:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/3728 took 123419 ms. Total solver calls (SAT/UNSAT): 885530(1291/884239)
May 31, 2017 9:24:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/3728 took 124627 ms. Total solver calls (SAT/UNSAT): 894524(1303/893221)
May 31, 2017 9:24:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/3728 took 125634 ms. Total solver calls (SAT/UNSAT): 901996(1315/900681)
May 31, 2017 9:24:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/3728 took 126641 ms. Total solver calls (SAT/UNSAT): 909468(1327/908141)
May 31, 2017 9:24:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/3728 took 127647 ms. Total solver calls (SAT/UNSAT): 916940(1339/915601)
May 31, 2017 9:24:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/3728 took 128651 ms. Total solver calls (SAT/UNSAT): 924412(1351/923061)
May 31, 2017 9:24:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/3728 took 129858 ms. Total solver calls (SAT/UNSAT): 933406(1363/932043)
May 31, 2017 9:24:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/3728 took 130862 ms. Total solver calls (SAT/UNSAT): 940878(1375/939503)
May 31, 2017 9:24:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/3728 took 131865 ms. Total solver calls (SAT/UNSAT): 948350(1387/946963)
May 31, 2017 9:24:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/3728 took 132869 ms. Total solver calls (SAT/UNSAT): 955822(1399/954423)
May 31, 2017 9:24:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/3728 took 133873 ms. Total solver calls (SAT/UNSAT): 963294(1411/961883)
May 31, 2017 9:24:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/3728 took 135075 ms. Total solver calls (SAT/UNSAT): 972288(1423/970865)
May 31, 2017 9:24:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/3728 took 136077 ms. Total solver calls (SAT/UNSAT): 979760(1435/978325)
May 31, 2017 9:24:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/3728 took 137080 ms. Total solver calls (SAT/UNSAT): 987232(1447/985785)
May 31, 2017 9:24:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/3728 took 138084 ms. Total solver calls (SAT/UNSAT): 994704(1459/993245)
May 31, 2017 9:24:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/3728 took 139088 ms. Total solver calls (SAT/UNSAT): 1002176(1471/1000705)
May 31, 2017 9:25:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/3728 took 140311 ms. Total solver calls (SAT/UNSAT): 1011169(1483/1009686)
May 31, 2017 9:25:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/3728 took 141316 ms. Total solver calls (SAT/UNSAT): 1018642(1495/1017147)
May 31, 2017 9:25:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/3728 took 142322 ms. Total solver calls (SAT/UNSAT): 1026114(1507/1024607)
May 31, 2017 9:25:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/3728 took 143329 ms. Total solver calls (SAT/UNSAT): 1033586(1519/1032067)
May 31, 2017 9:25:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/3728 took 144336 ms. Total solver calls (SAT/UNSAT): 1041058(1531/1039527)
May 31, 2017 9:25:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/3728 took 145341 ms. Total solver calls (SAT/UNSAT): 1048530(1543/1046987)
May 31, 2017 9:25:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/3728 took 146549 ms. Total solver calls (SAT/UNSAT): 1057524(1555/1055969)
May 31, 2017 9:25:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/3728 took 147551 ms. Total solver calls (SAT/UNSAT): 1064996(1567/1063429)
May 31, 2017 9:25:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/3728 took 148555 ms. Total solver calls (SAT/UNSAT): 1072468(1579/1070889)
May 31, 2017 9:25:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/3728 took 149558 ms. Total solver calls (SAT/UNSAT): 1079940(1591/1078349)
May 31, 2017 9:25:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/3728 took 150562 ms. Total solver calls (SAT/UNSAT): 1087412(1603/1085809)
May 31, 2017 9:25:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/3728 took 151763 ms. Total solver calls (SAT/UNSAT): 1096406(1615/1094791)
May 31, 2017 9:25:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/3728 took 152768 ms. Total solver calls (SAT/UNSAT): 1103878(1627/1102251)
May 31, 2017 9:25:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/3728 took 153771 ms. Total solver calls (SAT/UNSAT): 1111350(1639/1109711)
May 31, 2017 9:25:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/3728 took 154774 ms. Total solver calls (SAT/UNSAT): 1118822(1651/1117171)
May 31, 2017 9:25:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/3728 took 155777 ms. Total solver calls (SAT/UNSAT): 1126294(1663/1124631)
May 31, 2017 9:25:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/3728 took 156980 ms. Total solver calls (SAT/UNSAT): 1135288(1675/1133613)
May 31, 2017 9:25:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/3728 took 157987 ms. Total solver calls (SAT/UNSAT): 1142760(1687/1141073)
May 31, 2017 9:25:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :592/3728 took 158993 ms. Total solver calls (SAT/UNSAT): 1150232(1699/1148533)
May 31, 2017 9:25:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :596/3728 took 160007 ms. Total solver calls (SAT/UNSAT): 1157704(1711/1155993)
May 31, 2017 9:25:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :600/3728 took 161011 ms. Total solver calls (SAT/UNSAT): 1165176(1723/1163453)
May 31, 2017 9:25:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :604/3728 took 162213 ms. Total solver calls (SAT/UNSAT): 1174169(1735/1172434)
May 31, 2017 9:25:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :608/3728 took 163220 ms. Total solver calls (SAT/UNSAT): 1181642(1747/1179895)
May 31, 2017 9:25:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :612/3728 took 164226 ms. Total solver calls (SAT/UNSAT): 1189114(1759/1187355)
May 31, 2017 9:25:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :616/3728 took 165233 ms. Total solver calls (SAT/UNSAT): 1196586(1771/1194815)
May 31, 2017 9:25:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :620/3728 took 166239 ms. Total solver calls (SAT/UNSAT): 1204058(1783/1202275)
May 31, 2017 9:25:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :624/3728 took 167247 ms. Total solver calls (SAT/UNSAT): 1211530(1795/1209735)
May 31, 2017 9:25:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :628/3728 took 168458 ms. Total solver calls (SAT/UNSAT): 1220524(1807/1218717)
May 31, 2017 9:25:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :632/3728 took 169466 ms. Total solver calls (SAT/UNSAT): 1227996(1819/1226177)
May 31, 2017 9:25:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :636/3728 took 170472 ms. Total solver calls (SAT/UNSAT): 1235468(1831/1233637)
May 31, 2017 9:25:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :640/3728 took 171480 ms. Total solver calls (SAT/UNSAT): 1242940(1843/1241097)
May 31, 2017 9:25:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :644/3728 took 172486 ms. Total solver calls (SAT/UNSAT): 1250412(1855/1248557)
May 31, 2017 9:25:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :648/3728 took 173694 ms. Total solver calls (SAT/UNSAT): 1259406(1867/1257539)
May 31, 2017 9:25:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :652/3728 took 174702 ms. Total solver calls (SAT/UNSAT): 1266878(1879/1264999)
May 31, 2017 9:25:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :656/3728 took 175710 ms. Total solver calls (SAT/UNSAT): 1274350(1891/1272459)
May 31, 2017 9:25:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :660/3728 took 176717 ms. Total solver calls (SAT/UNSAT): 1281822(1903/1279919)
May 31, 2017 9:25:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :664/3728 took 177723 ms. Total solver calls (SAT/UNSAT): 1289294(1915/1287379)
May 31, 2017 9:25:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :668/3728 took 178938 ms. Total solver calls (SAT/UNSAT): 1298288(1927/1296361)
May 31, 2017 9:25:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :672/3728 took 179946 ms. Total solver calls (SAT/UNSAT): 1305760(1939/1303821)
May 31, 2017 9:25:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :676/3728 took 180953 ms. Total solver calls (SAT/UNSAT): 1313232(1951/1311281)
May 31, 2017 9:25:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :680/3728 took 181960 ms. Total solver calls (SAT/UNSAT): 1320704(1963/1318741)
May 31, 2017 9:25:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :684/3728 took 182968 ms. Total solver calls (SAT/UNSAT): 1328176(1975/1326201)
May 31, 2017 9:25:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :688/3728 took 184173 ms. Total solver calls (SAT/UNSAT): 1337169(1987/1335182)
May 31, 2017 9:25:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :692/3728 took 185182 ms. Total solver calls (SAT/UNSAT): 1344642(1999/1342643)
May 31, 2017 9:25:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :696/3728 took 186191 ms. Total solver calls (SAT/UNSAT): 1352114(2011/1350103)
May 31, 2017 9:25:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :700/3728 took 187198 ms. Total solver calls (SAT/UNSAT): 1359586(2023/1357563)
May 31, 2017 9:25:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :704/3728 took 188205 ms. Total solver calls (SAT/UNSAT): 1367058(2035/1365023)
May 31, 2017 9:25:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :708/3728 took 189208 ms. Total solver calls (SAT/UNSAT): 1374530(2047/1372483)
May 31, 2017 9:25:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :712/3728 took 190415 ms. Total solver calls (SAT/UNSAT): 1383524(2059/1381465)
May 31, 2017 9:25:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :716/3728 took 191422 ms. Total solver calls (SAT/UNSAT): 1390996(2071/1388925)
May 31, 2017 9:25:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :720/3728 took 192427 ms. Total solver calls (SAT/UNSAT): 1398468(2083/1396385)
May 31, 2017 9:25:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :724/3728 took 193433 ms. Total solver calls (SAT/UNSAT): 1405940(2095/1403845)
May 31, 2017 9:25:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :728/3728 took 194440 ms. Total solver calls (SAT/UNSAT): 1413412(2107/1411305)
May 31, 2017 9:25:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :732/3728 took 195645 ms. Total solver calls (SAT/UNSAT): 1422406(2119/1420287)
May 31, 2017 9:25:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :736/3728 took 196651 ms. Total solver calls (SAT/UNSAT): 1429878(2131/1427747)
May 31, 2017 9:25:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :740/3728 took 197711 ms. Total solver calls (SAT/UNSAT): 1437350(2143/1435207)
May 31, 2017 9:25:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :744/3728 took 198712 ms. Total solver calls (SAT/UNSAT): 1444822(2155/1442667)
May 31, 2017 9:25:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :748/3728 took 199712 ms. Total solver calls (SAT/UNSAT): 1452294(2167/1450127)
May 31, 2017 9:26:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :752/3728 took 200912 ms. Total solver calls (SAT/UNSAT): 1461288(2179/1459109)
May 31, 2017 9:26:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :756/3728 took 201913 ms. Total solver calls (SAT/UNSAT): 1468760(2191/1466569)
May 31, 2017 9:26:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :760/3728 took 202914 ms. Total solver calls (SAT/UNSAT): 1476232(2203/1474029)
May 31, 2017 9:26:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :764/3728 took 203964 ms. Total solver calls (SAT/UNSAT): 1483704(2215/1481489)
May 31, 2017 9:26:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :768/3728 took 204982 ms. Total solver calls (SAT/UNSAT): 1491176(2227/1488949)
May 31, 2017 9:26:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :772/3728 took 206198 ms. Total solver calls (SAT/UNSAT): 1500169(2239/1497930)
May 31, 2017 9:26:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :776/3728 took 207295 ms. Total solver calls (SAT/UNSAT): 1507642(2251/1505391)
May 31, 2017 9:26:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :780/3728 took 208304 ms. Total solver calls (SAT/UNSAT): 1515114(2263/1512851)
May 31, 2017 9:26:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :784/3728 took 209312 ms. Total solver calls (SAT/UNSAT): 1522586(2275/1520311)
May 31, 2017 9:26:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :788/3728 took 210321 ms. Total solver calls (SAT/UNSAT): 1530058(2287/1527771)
May 31, 2017 9:26:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :792/3728 took 211329 ms. Total solver calls (SAT/UNSAT): 1537530(2299/1535231)
May 31, 2017 9:26:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :796/3728 took 212540 ms. Total solver calls (SAT/UNSAT): 1546524(2311/1544213)
May 31, 2017 9:26:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :800/3728 took 213549 ms. Total solver calls (SAT/UNSAT): 1553996(2323/1551673)
May 31, 2017 9:26:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :804/3728 took 214558 ms. Total solver calls (SAT/UNSAT): 1561468(2335/1559133)
May 31, 2017 9:26:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :808/3728 took 215566 ms. Total solver calls (SAT/UNSAT): 1568940(2347/1566593)
May 31, 2017 9:26:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :812/3728 took 216572 ms. Total solver calls (SAT/UNSAT): 1576412(2359/1574053)
May 31, 2017 9:26:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :816/3728 took 217788 ms. Total solver calls (SAT/UNSAT): 1585406(2371/1583035)
May 31, 2017 9:26:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :820/3728 took 218800 ms. Total solver calls (SAT/UNSAT): 1592878(2383/1590495)
May 31, 2017 9:26:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :824/3728 took 219809 ms. Total solver calls (SAT/UNSAT): 1600350(2395/1597955)
May 31, 2017 9:26:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :828/3728 took 220817 ms. Total solver calls (SAT/UNSAT): 1607822(2407/1605415)
May 31, 2017 9:26:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :832/3728 took 221828 ms. Total solver calls (SAT/UNSAT): 1615294(2419/1612875)
May 31, 2017 9:26:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :836/3728 took 223039 ms. Total solver calls (SAT/UNSAT): 1624288(2431/1621857)
May 31, 2017 9:26:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :840/3728 took 224051 ms. Total solver calls (SAT/UNSAT): 1631760(2443/1629317)
May 31, 2017 9:26:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :844/3728 took 225059 ms. Total solver calls (SAT/UNSAT): 1639232(2455/1636777)
May 31, 2017 9:26:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :848/3728 took 226068 ms. Total solver calls (SAT/UNSAT): 1646704(2467/1644237)
May 31, 2017 9:26:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :852/3728 took 227076 ms. Total solver calls (SAT/UNSAT): 1654176(2479/1651697)
May 31, 2017 9:26:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :856/3728 took 228286 ms. Total solver calls (SAT/UNSAT): 1663169(2491/1660678)
May 31, 2017 9:26:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :860/3728 took 229295 ms. Total solver calls (SAT/UNSAT): 1670642(2503/1668139)
May 31, 2017 9:26:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :864/3728 took 230304 ms. Total solver calls (SAT/UNSAT): 1678114(2515/1675599)
May 31, 2017 9:26:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :868/3728 took 231313 ms. Total solver calls (SAT/UNSAT): 1685586(2527/1683059)
May 31, 2017 9:26:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :872/3728 took 232322 ms. Total solver calls (SAT/UNSAT): 1693058(2539/1690519)
May 31, 2017 9:26:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :876/3728 took 233332 ms. Total solver calls (SAT/UNSAT): 1700530(2551/1697979)
May 31, 2017 9:26:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :880/3728 took 234548 ms. Total solver calls (SAT/UNSAT): 1709524(2563/1706961)
May 31, 2017 9:26:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :884/3728 took 235560 ms. Total solver calls (SAT/UNSAT): 1716996(2575/1714421)
May 31, 2017 9:26:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :888/3728 took 236577 ms. Total solver calls (SAT/UNSAT): 1724468(2587/1721881)
May 31, 2017 9:26:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :892/3728 took 237588 ms. Total solver calls (SAT/UNSAT): 1731940(2599/1729341)
May 31, 2017 9:26:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :896/3728 took 238600 ms. Total solver calls (SAT/UNSAT): 1739412(2611/1736801)
May 31, 2017 9:26:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :900/3728 took 239816 ms. Total solver calls (SAT/UNSAT): 1748406(2623/1745783)
May 31, 2017 9:26:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :904/3728 took 240829 ms. Total solver calls (SAT/UNSAT): 1755878(2635/1753243)
May 31, 2017 9:26:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :908/3728 took 241841 ms. Total solver calls (SAT/UNSAT): 1763350(2647/1760703)
May 31, 2017 9:26:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :912/3728 took 242855 ms. Total solver calls (SAT/UNSAT): 1770822(2659/1768163)
May 31, 2017 9:26:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :916/3728 took 243864 ms. Total solver calls (SAT/UNSAT): 1778294(2671/1775623)
May 31, 2017 9:26:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :920/3728 took 245078 ms. Total solver calls (SAT/UNSAT): 1787288(2683/1784605)
May 31, 2017 9:26:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :924/3728 took 246090 ms. Total solver calls (SAT/UNSAT): 1794760(2695/1792065)
May 31, 2017 9:26:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :928/3728 took 247105 ms. Total solver calls (SAT/UNSAT): 1802232(2707/1799525)
May 31, 2017 9:26:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :932/3728 took 248118 ms. Total solver calls (SAT/UNSAT): 1809704(2719/1806985)
May 31, 2017 9:26:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :936/3728 took 249129 ms. Total solver calls (SAT/UNSAT): 1817176(2731/1814445)
May 31, 2017 9:26:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :940/3728 took 250340 ms. Total solver calls (SAT/UNSAT): 1826169(2743/1823426)
May 31, 2017 9:26:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :944/3728 took 251409 ms. Total solver calls (SAT/UNSAT): 1833642(2755/1830887)
May 31, 2017 9:26:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :948/3728 took 252524 ms. Total solver calls (SAT/UNSAT): 1841114(2767/1838347)
May 31, 2017 9:26:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :952/3728 took 253565 ms. Total solver calls (SAT/UNSAT): 1848586(2779/1845807)
May 31, 2017 9:26:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :956/3728 took 254607 ms. Total solver calls (SAT/UNSAT): 1856058(2791/1853267)
May 31, 2017 9:26:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :960/3728 took 255634 ms. Total solver calls (SAT/UNSAT): 1863530(2803/1860727)
May 31, 2017 9:26:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :964/3728 took 256864 ms. Total solver calls (SAT/UNSAT): 1872524(2815/1869709)
May 31, 2017 9:26:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :968/3728 took 257888 ms. Total solver calls (SAT/UNSAT): 1879996(2827/1877169)
May 31, 2017 9:26:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :972/3728 took 258915 ms. Total solver calls (SAT/UNSAT): 1887468(2839/1884629)
May 31, 2017 9:27:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :976/3728 took 259943 ms. Total solver calls (SAT/UNSAT): 1894940(2851/1892089)
May 31, 2017 9:27:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :980/3728 took 260973 ms. Total solver calls (SAT/UNSAT): 1902412(2863/1899549)
May 31, 2017 9:27:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :984/3728 took 262206 ms. Total solver calls (SAT/UNSAT): 1911406(2875/1908531)
May 31, 2017 9:27:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :988/3728 took 263233 ms. Total solver calls (SAT/UNSAT): 1918878(2887/1915991)
May 31, 2017 9:27:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :992/3728 took 264262 ms. Total solver calls (SAT/UNSAT): 1926350(2899/1923451)
May 31, 2017 9:27:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :996/3728 took 265291 ms. Total solver calls (SAT/UNSAT): 1933822(2911/1930911)
May 31, 2017 9:27:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1000/3728 took 266317 ms. Total solver calls (SAT/UNSAT): 1941294(2923/1938371)
May 31, 2017 9:27:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1004/3728 took 267548 ms. Total solver calls (SAT/UNSAT): 1950288(2935/1947353)
May 31, 2017 9:27:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1008/3728 took 268576 ms. Total solver calls (SAT/UNSAT): 1957760(2947/1954813)
May 31, 2017 9:27:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1012/3728 took 269604 ms. Total solver calls (SAT/UNSAT): 1965232(2959/1962273)
May 31, 2017 9:27:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1016/3728 took 270634 ms. Total solver calls (SAT/UNSAT): 1972704(2971/1969733)
May 31, 2017 9:27:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1020/3728 took 271668 ms. Total solver calls (SAT/UNSAT): 1980176(2983/1977193)
May 31, 2017 9:27:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1024/3728 took 272902 ms. Total solver calls (SAT/UNSAT): 1989169(2995/1986174)
May 31, 2017 9:27:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1028/3728 took 273931 ms. Total solver calls (SAT/UNSAT): 1996642(3007/1993635)
May 31, 2017 9:27:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1032/3728 took 274961 ms. Total solver calls (SAT/UNSAT): 2004114(3019/2001095)
May 31, 2017 9:27:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1036/3728 took 275990 ms. Total solver calls (SAT/UNSAT): 2011586(3031/2008555)
May 31, 2017 9:27:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1040/3728 took 277066 ms. Total solver calls (SAT/UNSAT): 2019058(3043/2016015)
May 31, 2017 9:27:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1044/3728 took 278102 ms. Total solver calls (SAT/UNSAT): 2026530(3055/2023475)
May 31, 2017 9:27:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1048/3728 took 279335 ms. Total solver calls (SAT/UNSAT): 2035524(3067/2032457)
May 31, 2017 9:27:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1052/3728 took 280364 ms. Total solver calls (SAT/UNSAT): 2042996(3079/2039917)
May 31, 2017 9:27:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1056/3728 took 281393 ms. Total solver calls (SAT/UNSAT): 2050468(3091/2047377)
May 31, 2017 9:27:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1060/3728 took 282422 ms. Total solver calls (SAT/UNSAT): 2057940(3103/2054837)
May 31, 2017 9:27:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1064/3728 took 283452 ms. Total solver calls (SAT/UNSAT): 2065412(3115/2062297)
May 31, 2017 9:27:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1068/3728 took 284686 ms. Total solver calls (SAT/UNSAT): 2074406(3127/2071279)
May 31, 2017 9:27:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1072/3728 took 285714 ms. Total solver calls (SAT/UNSAT): 2081878(3139/2078739)
May 31, 2017 9:27:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1076/3728 took 286741 ms. Total solver calls (SAT/UNSAT): 2089350(3151/2086199)
May 31, 2017 9:27:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1080/3728 took 287775 ms. Total solver calls (SAT/UNSAT): 2096822(3163/2093659)
May 31, 2017 9:27:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1084/3728 took 288817 ms. Total solver calls (SAT/UNSAT): 2104294(3175/2101119)
May 31, 2017 9:27:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1088/3728 took 290063 ms. Total solver calls (SAT/UNSAT): 2113288(3187/2110101)
May 31, 2017 9:27:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1092/3728 took 291092 ms. Total solver calls (SAT/UNSAT): 2120760(3199/2117561)
May 31, 2017 9:27:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1096/3728 took 292119 ms. Total solver calls (SAT/UNSAT): 2128232(3211/2125021)
May 31, 2017 9:27:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1100/3728 took 293146 ms. Total solver calls (SAT/UNSAT): 2135704(3223/2132481)
May 31, 2017 9:27:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1104/3728 took 294174 ms. Total solver calls (SAT/UNSAT): 2143176(3235/2139941)
May 31, 2017 9:27:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1108/3728 took 295409 ms. Total solver calls (SAT/UNSAT): 2152169(3247/2148922)
May 31, 2017 9:27:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1112/3728 took 296441 ms. Total solver calls (SAT/UNSAT): 2159642(3259/2156383)
May 31, 2017 9:27:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1116/3728 took 297473 ms. Total solver calls (SAT/UNSAT): 2167114(3271/2163843)
May 31, 2017 9:27:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1120/3728 took 298505 ms. Total solver calls (SAT/UNSAT): 2174586(3283/2171303)
May 31, 2017 9:27:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1124/3728 took 299536 ms. Total solver calls (SAT/UNSAT): 2182058(3295/2178763)
May 31, 2017 9:27:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1128/3728 took 300566 ms. Total solver calls (SAT/UNSAT): 2189530(3307/2186223)
May 31, 2017 9:27:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1132/3728 took 301801 ms. Total solver calls (SAT/UNSAT): 2198524(3319/2195205)
May 31, 2017 9:27:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1136/3728 took 302832 ms. Total solver calls (SAT/UNSAT): 2205996(3331/2202665)
May 31, 2017 9:27:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1140/3728 took 303873 ms. Total solver calls (SAT/UNSAT): 2213468(3343/2210125)
May 31, 2017 9:27:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1144/3728 took 304912 ms. Total solver calls (SAT/UNSAT): 2220940(3355/2217585)
May 31, 2017 9:27:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1148/3728 took 305954 ms. Total solver calls (SAT/UNSAT): 2228412(3367/2225045)
May 31, 2017 9:27:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1152/3728 took 307190 ms. Total solver calls (SAT/UNSAT): 2237406(3379/2234027)
May 31, 2017 9:27:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1156/3728 took 308220 ms. Total solver calls (SAT/UNSAT): 2244878(3391/2241487)
May 31, 2017 9:27:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1160/3728 took 309251 ms. Total solver calls (SAT/UNSAT): 2252350(3403/2248947)
May 31, 2017 9:27:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1164/3728 took 310281 ms. Total solver calls (SAT/UNSAT): 2259822(3415/2256407)
May 31, 2017 9:27:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1168/3728 took 311311 ms. Total solver calls (SAT/UNSAT): 2267294(3427/2263867)
May 31, 2017 9:27:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1172/3728 took 312545 ms. Total solver calls (SAT/UNSAT): 2276288(3439/2272849)
May 31, 2017 9:27:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1176/3728 took 313575 ms. Total solver calls (SAT/UNSAT): 2283760(3451/2280309)
May 31, 2017 9:27:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1180/3728 took 314605 ms. Total solver calls (SAT/UNSAT): 2291232(3463/2287769)
May 31, 2017 9:27:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1184/3728 took 315634 ms. Total solver calls (SAT/UNSAT): 2298704(3475/2295229)
May 31, 2017 9:27:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1188/3728 took 316665 ms. Total solver calls (SAT/UNSAT): 2306176(3487/2302689)
May 31, 2017 9:27:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1192/3728 took 317900 ms. Total solver calls (SAT/UNSAT): 2315169(3499/2311670)
May 31, 2017 9:27:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1196/3728 took 318943 ms. Total solver calls (SAT/UNSAT): 2322642(3511/2319131)
May 31, 2017 9:28:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1200/3728 took 319986 ms. Total solver calls (SAT/UNSAT): 2330114(3523/2326591)
May 31, 2017 9:28:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1204/3728 took 321029 ms. Total solver calls (SAT/UNSAT): 2337586(3535/2334051)
May 31, 2017 9:28:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1208/3728 took 322068 ms. Total solver calls (SAT/UNSAT): 2345058(3547/2341511)
May 31, 2017 9:28:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1212/3728 took 323099 ms. Total solver calls (SAT/UNSAT): 2352530(3559/2348971)
May 31, 2017 9:28:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1216/3728 took 324335 ms. Total solver calls (SAT/UNSAT): 2361524(3571/2357953)
May 31, 2017 9:28:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1220/3728 took 325366 ms. Total solver calls (SAT/UNSAT): 2368996(3583/2365413)
May 31, 2017 9:28:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1224/3728 took 326399 ms. Total solver calls (SAT/UNSAT): 2376468(3595/2372873)
May 31, 2017 9:28:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1228/3728 took 327428 ms. Total solver calls (SAT/UNSAT): 2383940(3607/2380333)
May 31, 2017 9:28:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1232/3728 took 328459 ms. Total solver calls (SAT/UNSAT): 2391412(3619/2387793)
May 31, 2017 9:28:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1236/3728 took 329695 ms. Total solver calls (SAT/UNSAT): 2400406(3631/2396775)
May 31, 2017 9:28:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1240/3728 took 330726 ms. Total solver calls (SAT/UNSAT): 2407878(3643/2404235)
May 31, 2017 9:28:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1244/3728 took 331757 ms. Total solver calls (SAT/UNSAT): 2415350(3655/2411695)
May 31, 2017 9:28:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1248/3728 took 332792 ms. Total solver calls (SAT/UNSAT): 2422822(3667/2419155)
May 31, 2017 9:28:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1252/3728 took 333840 ms. Total solver calls (SAT/UNSAT): 2430294(3679/2426615)
May 31, 2017 9:28:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1256/3728 took 335077 ms. Total solver calls (SAT/UNSAT): 2439288(3691/2435597)
May 31, 2017 9:28:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1260/3728 took 336107 ms. Total solver calls (SAT/UNSAT): 2446760(3703/2443057)
May 31, 2017 9:28:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1264/3728 took 337138 ms. Total solver calls (SAT/UNSAT): 2454232(3715/2450517)
May 31, 2017 9:28:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1268/3728 took 338170 ms. Total solver calls (SAT/UNSAT): 2461704(3727/2457977)
May 31, 2017 9:28:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1272/3728 took 339203 ms. Total solver calls (SAT/UNSAT): 2469176(3739/2465437)
May 31, 2017 9:28:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1276/3728 took 340442 ms. Total solver calls (SAT/UNSAT): 2478169(3751/2474418)
May 31, 2017 9:28:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1280/3728 took 341473 ms. Total solver calls (SAT/UNSAT): 2485642(3763/2481879)
May 31, 2017 9:28:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1284/3728 took 342508 ms. Total solver calls (SAT/UNSAT): 2493114(3775/2489339)
May 31, 2017 9:28:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1288/3728 took 343541 ms. Total solver calls (SAT/UNSAT): 2500586(3787/2496799)
May 31, 2017 9:28:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1292/3728 took 344611 ms. Total solver calls (SAT/UNSAT): 2508058(3799/2504259)
May 31, 2017 9:28:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1296/3728 took 345628 ms. Total solver calls (SAT/UNSAT): 2515530(3811/2511719)
May 31, 2017 9:28:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1300/3728 took 346844 ms. Total solver calls (SAT/UNSAT): 2524524(3823/2520701)
May 31, 2017 9:28:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1304/3728 took 347854 ms. Total solver calls (SAT/UNSAT): 2531996(3835/2528161)
May 31, 2017 9:28:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1308/3728 took 348864 ms. Total solver calls (SAT/UNSAT): 2539468(3847/2535621)
May 31, 2017 9:28:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1312/3728 took 349876 ms. Total solver calls (SAT/UNSAT): 2546940(3859/2543081)
May 31, 2017 9:28:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1316/3728 took 350890 ms. Total solver calls (SAT/UNSAT): 2554412(3871/2550541)
May 31, 2017 9:28:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1320/3728 took 352103 ms. Total solver calls (SAT/UNSAT): 2563406(3883/2559523)
May 31, 2017 9:28:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1324/3728 took 353116 ms. Total solver calls (SAT/UNSAT): 2570878(3895/2566983)
May 31, 2017 9:28:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1328/3728 took 354124 ms. Total solver calls (SAT/UNSAT): 2578350(3907/2574443)
May 31, 2017 9:28:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1332/3728 took 355131 ms. Total solver calls (SAT/UNSAT): 2585822(3919/2581903)
May 31, 2017 9:28:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1336/3728 took 356140 ms. Total solver calls (SAT/UNSAT): 2593294(3931/2589363)
May 31, 2017 9:28:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1340/3728 took 357349 ms. Total solver calls (SAT/UNSAT): 2602288(3943/2598345)
May 31, 2017 9:28:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1344/3728 took 358356 ms. Total solver calls (SAT/UNSAT): 2609760(3955/2605805)
May 31, 2017 9:28:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1348/3728 took 359365 ms. Total solver calls (SAT/UNSAT): 2617232(3967/2613265)
May 31, 2017 9:28:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1352/3728 took 360378 ms. Total solver calls (SAT/UNSAT): 2624704(3979/2620725)
May 31, 2017 9:28:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1356/3728 took 361389 ms. Total solver calls (SAT/UNSAT): 2632176(3991/2628185)
May 31, 2017 9:28:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1360/3728 took 362601 ms. Total solver calls (SAT/UNSAT): 2641169(4003/2637166)
May 31, 2017 9:28:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1364/3728 took 363611 ms. Total solver calls (SAT/UNSAT): 2648642(4015/2644627)
May 31, 2017 9:28:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1368/3728 took 364622 ms. Total solver calls (SAT/UNSAT): 2656114(4027/2652087)
May 31, 2017 9:28:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1372/3728 took 365633 ms. Total solver calls (SAT/UNSAT): 2663586(4039/2659547)
May 31, 2017 9:28:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1376/3728 took 366647 ms. Total solver calls (SAT/UNSAT): 2671058(4051/2667007)
May 31, 2017 9:28:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1380/3728 took 367661 ms. Total solver calls (SAT/UNSAT): 2678530(4063/2674467)
May 31, 2017 9:28:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1384/3728 took 368875 ms. Total solver calls (SAT/UNSAT): 2687524(4075/2683449)
May 31, 2017 9:28:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1388/3728 took 369888 ms. Total solver calls (SAT/UNSAT): 2694996(4087/2690909)
May 31, 2017 9:28:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1392/3728 took 370901 ms. Total solver calls (SAT/UNSAT): 2702468(4099/2698369)
May 31, 2017 9:28:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1396/3728 took 371930 ms. Total solver calls (SAT/UNSAT): 2709940(4111/2705829)
May 31, 2017 9:28:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1400/3728 took 372941 ms. Total solver calls (SAT/UNSAT): 2717412(4123/2713289)
May 31, 2017 9:28:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1404/3728 took 374152 ms. Total solver calls (SAT/UNSAT): 2726406(4135/2722271)
May 31, 2017 9:28:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1408/3728 took 375164 ms. Total solver calls (SAT/UNSAT): 2733878(4147/2729731)
May 31, 2017 9:28:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1412/3728 took 376175 ms. Total solver calls (SAT/UNSAT): 2741350(4159/2737191)
May 31, 2017 9:28:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1416/3728 took 377186 ms. Total solver calls (SAT/UNSAT): 2748822(4171/2744651)
May 31, 2017 9:28:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1420/3728 took 378198 ms. Total solver calls (SAT/UNSAT): 2756294(4183/2752111)
May 31, 2017 9:28:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1424/3728 took 379417 ms. Total solver calls (SAT/UNSAT): 2765288(4195/2761093)
May 31, 2017 9:29:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1428/3728 took 380432 ms. Total solver calls (SAT/UNSAT): 2772760(4207/2768553)
May 31, 2017 9:29:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1432/3728 took 381445 ms. Total solver calls (SAT/UNSAT): 2780232(4219/2776013)
May 31, 2017 9:29:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1436/3728 took 382456 ms. Total solver calls (SAT/UNSAT): 2787704(4231/2783473)
May 31, 2017 9:29:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1440/3728 took 383469 ms. Total solver calls (SAT/UNSAT): 2795176(4243/2790933)
May 31, 2017 9:29:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1444/3728 took 384709 ms. Total solver calls (SAT/UNSAT): 2804169(4255/2799914)
May 31, 2017 9:29:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1448/3728 took 385729 ms. Total solver calls (SAT/UNSAT): 2811642(4267/2807375)
May 31, 2017 9:29:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1452/3728 took 386739 ms. Total solver calls (SAT/UNSAT): 2819114(4279/2814835)
May 31, 2017 9:29:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1456/3728 took 387749 ms. Total solver calls (SAT/UNSAT): 2826586(4291/2822295)
May 31, 2017 9:29:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1460/3728 took 388806 ms. Total solver calls (SAT/UNSAT): 2834058(4303/2829755)
May 31, 2017 9:29:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1464/3728 took 389849 ms. Total solver calls (SAT/UNSAT): 2841530(4315/2837215)
May 31, 2017 9:29:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1468/3728 took 391086 ms. Total solver calls (SAT/UNSAT): 2850524(4327/2846197)
May 31, 2017 9:29:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1472/3728 took 392116 ms. Total solver calls (SAT/UNSAT): 2857996(4339/2853657)
May 31, 2017 9:29:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1476/3728 took 393147 ms. Total solver calls (SAT/UNSAT): 2865468(4351/2861117)
May 31, 2017 9:29:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1480/3728 took 394180 ms. Total solver calls (SAT/UNSAT): 2872940(4363/2868577)
May 31, 2017 9:29:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1484/3728 took 395221 ms. Total solver calls (SAT/UNSAT): 2880412(4375/2876037)
May 31, 2017 9:29:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1488/3728 took 396470 ms. Total solver calls (SAT/UNSAT): 2889406(4387/2885019)
May 31, 2017 9:29:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1492/3728 took 397505 ms. Total solver calls (SAT/UNSAT): 2896878(4399/2892479)
May 31, 2017 9:29:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1496/3728 took 398538 ms. Total solver calls (SAT/UNSAT): 2904350(4411/2899939)
May 31, 2017 9:29:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1500/3728 took 399569 ms. Total solver calls (SAT/UNSAT): 2911822(4423/2907399)
May 31, 2017 9:29:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1504/3728 took 400597 ms. Total solver calls (SAT/UNSAT): 2919294(4435/2914859)
May 31, 2017 9:29:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1508/3728 took 401832 ms. Total solver calls (SAT/UNSAT): 2928288(4447/2923841)
May 31, 2017 9:29:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1512/3728 took 402861 ms. Total solver calls (SAT/UNSAT): 2935760(4459/2931301)
May 31, 2017 9:29:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1516/3728 took 403892 ms. Total solver calls (SAT/UNSAT): 2943232(4471/2938761)
May 31, 2017 9:29:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1520/3728 took 404923 ms. Total solver calls (SAT/UNSAT): 2950704(4483/2946221)
May 31, 2017 9:29:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1524/3728 took 405955 ms. Total solver calls (SAT/UNSAT): 2958176(4495/2953681)
May 31, 2017 9:29:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1528/3728 took 407198 ms. Total solver calls (SAT/UNSAT): 2967169(4507/2962662)
May 31, 2017 9:29:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1532/3728 took 408227 ms. Total solver calls (SAT/UNSAT): 2974642(4519/2970123)
May 31, 2017 9:29:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1536/3728 took 409258 ms. Total solver calls (SAT/UNSAT): 2982114(4531/2977583)
May 31, 2017 9:29:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1540/3728 took 410287 ms. Total solver calls (SAT/UNSAT): 2989586(4543/2985043)
May 31, 2017 9:29:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1544/3728 took 411316 ms. Total solver calls (SAT/UNSAT): 2997058(4555/2992503)
May 31, 2017 9:29:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1548/3728 took 412342 ms. Total solver calls (SAT/UNSAT): 3004530(4567/2999963)
May 31, 2017 9:29:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1552/3728 took 413574 ms. Total solver calls (SAT/UNSAT): 3013524(4579/3008945)
May 31, 2017 9:29:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1556/3728 took 414602 ms. Total solver calls (SAT/UNSAT): 3020996(4591/3016405)
May 31, 2017 9:29:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1560/3728 took 415629 ms. Total solver calls (SAT/UNSAT): 3028468(4603/3023865)
May 31, 2017 9:29:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1564/3728 took 416666 ms. Total solver calls (SAT/UNSAT): 3035940(4615/3031325)
May 31, 2017 9:29:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1568/3728 took 417703 ms. Total solver calls (SAT/UNSAT): 3043412(4627/3038785)
May 31, 2017 9:29:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1572/3728 took 418935 ms. Total solver calls (SAT/UNSAT): 3052406(4639/3047767)
May 31, 2017 9:29:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1576/3728 took 419963 ms. Total solver calls (SAT/UNSAT): 3059878(4651/3055227)
May 31, 2017 9:29:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1580/3728 took 421026 ms. Total solver calls (SAT/UNSAT): 3067350(4663/3062687)
May 31, 2017 9:29:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1584/3728 took 422040 ms. Total solver calls (SAT/UNSAT): 3074822(4675/3070147)
May 31, 2017 9:29:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1588/3728 took 423048 ms. Total solver calls (SAT/UNSAT): 3082294(4687/3077607)
May 31, 2017 9:29:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1592/3728 took 424258 ms. Total solver calls (SAT/UNSAT): 3091288(4699/3086589)
May 31, 2017 9:29:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1596/3728 took 425268 ms. Total solver calls (SAT/UNSAT): 3098760(4711/3094049)
May 31, 2017 9:29:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1600/3728 took 426277 ms. Total solver calls (SAT/UNSAT): 3106232(4723/3101509)
May 31, 2017 9:29:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1604/3728 took 427291 ms. Total solver calls (SAT/UNSAT): 3113704(4735/3108969)
May 31, 2017 9:29:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1608/3728 took 428302 ms. Total solver calls (SAT/UNSAT): 3121176(4747/3116429)
May 31, 2017 9:29:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1612/3728 took 429513 ms. Total solver calls (SAT/UNSAT): 3130169(4759/3125410)
May 31, 2017 9:29:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1616/3728 took 430522 ms. Total solver calls (SAT/UNSAT): 3137642(4771/3132871)
May 31, 2017 9:29:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1620/3728 took 431531 ms. Total solver calls (SAT/UNSAT): 3145114(4783/3140331)
May 31, 2017 9:29:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1624/3728 took 432539 ms. Total solver calls (SAT/UNSAT): 3152586(4795/3147791)
May 31, 2017 9:29:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1628/3728 took 433550 ms. Total solver calls (SAT/UNSAT): 3160058(4807/3155251)
May 31, 2017 9:29:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1632/3728 took 434559 ms. Total solver calls (SAT/UNSAT): 3167530(4819/3162711)
May 31, 2017 9:29:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1636/3728 took 435776 ms. Total solver calls (SAT/UNSAT): 3176524(4831/3171693)
May 31, 2017 9:29:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1640/3728 took 436785 ms. Total solver calls (SAT/UNSAT): 3183996(4843/3179153)
May 31, 2017 9:29:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1644/3728 took 437796 ms. Total solver calls (SAT/UNSAT): 3191468(4855/3186613)
May 31, 2017 9:29:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1648/3728 took 438806 ms. Total solver calls (SAT/UNSAT): 3198940(4867/3194073)
May 31, 2017 9:29:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1652/3728 took 439816 ms. Total solver calls (SAT/UNSAT): 3206412(4879/3201533)
May 31, 2017 9:30:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1656/3728 took 441027 ms. Total solver calls (SAT/UNSAT): 3215406(4891/3210515)
May 31, 2017 9:30:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1660/3728 took 442036 ms. Total solver calls (SAT/UNSAT): 3222878(4903/3217975)
May 31, 2017 9:30:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1664/3728 took 443049 ms. Total solver calls (SAT/UNSAT): 3230350(4915/3225435)
May 31, 2017 9:30:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1668/3728 took 444062 ms. Total solver calls (SAT/UNSAT): 3237822(4927/3232895)
May 31, 2017 9:30:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1672/3728 took 445079 ms. Total solver calls (SAT/UNSAT): 3245294(4939/3240355)
May 31, 2017 9:30:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1676/3728 took 446292 ms. Total solver calls (SAT/UNSAT): 3254288(4951/3249337)
May 31, 2017 9:30:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1680/3728 took 447305 ms. Total solver calls (SAT/UNSAT): 3261760(4963/3256797)
May 31, 2017 9:30:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1684/3728 took 448316 ms. Total solver calls (SAT/UNSAT): 3269232(4975/3264257)
May 31, 2017 9:30:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1688/3728 took 449328 ms. Total solver calls (SAT/UNSAT): 3276704(4987/3271717)
May 31, 2017 9:30:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1692/3728 took 450339 ms. Total solver calls (SAT/UNSAT): 3284176(4999/3279177)
May 31, 2017 9:30:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1696/3728 took 451551 ms. Total solver calls (SAT/UNSAT): 3293169(5011/3288158)
May 31, 2017 9:30:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1700/3728 took 452562 ms. Total solver calls (SAT/UNSAT): 3300642(5023/3295619)
May 31, 2017 9:30:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1704/3728 took 453580 ms. Total solver calls (SAT/UNSAT): 3308114(5035/3303079)
May 31, 2017 9:30:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1708/3728 took 454589 ms. Total solver calls (SAT/UNSAT): 3315586(5047/3310539)
May 31, 2017 9:30:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1712/3728 took 455599 ms. Total solver calls (SAT/UNSAT): 3323058(5059/3317999)
May 31, 2017 9:30:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1716/3728 took 456610 ms. Total solver calls (SAT/UNSAT): 3330530(5071/3325459)
May 31, 2017 9:30:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1720/3728 took 457820 ms. Total solver calls (SAT/UNSAT): 3339524(5083/3334441)
May 31, 2017 9:30:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1724/3728 took 458829 ms. Total solver calls (SAT/UNSAT): 3346996(5095/3341901)
May 31, 2017 9:30:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1728/3728 took 459838 ms. Total solver calls (SAT/UNSAT): 3354468(5107/3349361)
May 31, 2017 9:30:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1732/3728 took 460846 ms. Total solver calls (SAT/UNSAT): 3361940(5119/3356821)
May 31, 2017 9:30:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1736/3728 took 461866 ms. Total solver calls (SAT/UNSAT): 3369412(5131/3364281)
May 31, 2017 9:30:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1740/3728 took 463076 ms. Total solver calls (SAT/UNSAT): 3378406(5143/3373263)
May 31, 2017 9:30:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1744/3728 took 464086 ms. Total solver calls (SAT/UNSAT): 3385878(5155/3380723)
May 31, 2017 9:30:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1748/3728 took 465095 ms. Total solver calls (SAT/UNSAT): 3393350(5167/3388183)
May 31, 2017 9:30:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1752/3728 took 466105 ms. Total solver calls (SAT/UNSAT): 3400822(5179/3395643)
May 31, 2017 9:30:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1756/3728 took 467116 ms. Total solver calls (SAT/UNSAT): 3408294(5191/3403103)
May 31, 2017 9:30:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1760/3728 took 468324 ms. Total solver calls (SAT/UNSAT): 3417287(5203/3412084)
May 31, 2017 9:30:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1764/3728 took 469325 ms. Total solver calls (SAT/UNSAT): 3424755(5215/3419540)
May 31, 2017 9:30:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1768/3728 took 470333 ms. Total solver calls (SAT/UNSAT): 3432223(5227/3426996)
May 31, 2017 9:30:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1772/3728 took 471335 ms. Total solver calls (SAT/UNSAT): 3439691(5239/3434452)
May 31, 2017 9:30:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1776/3728 took 472337 ms. Total solver calls (SAT/UNSAT): 3447159(5251/3441908)
May 31, 2017 9:30:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1780/3728 took 473543 ms. Total solver calls (SAT/UNSAT): 3456148(5263/3450885)
May 31, 2017 9:30:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1784/3728 took 474547 ms. Total solver calls (SAT/UNSAT): 3463621(5275/3458346)
May 31, 2017 9:30:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1788/3728 took 475550 ms. Total solver calls (SAT/UNSAT): 3471093(5287/3465806)
May 31, 2017 9:30:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1792/3728 took 476554 ms. Total solver calls (SAT/UNSAT): 3478565(5299/3473266)
May 31, 2017 9:30:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1796/3728 took 477566 ms. Total solver calls (SAT/UNSAT): 3486037(5311/3480726)
May 31, 2017 9:30:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1800/3728 took 478568 ms. Total solver calls (SAT/UNSAT): 3493509(5323/3488186)
May 31, 2017 9:30:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1804/3728 took 479774 ms. Total solver calls (SAT/UNSAT): 3502503(5335/3497168)
May 31, 2017 9:30:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1808/3728 took 480778 ms. Total solver calls (SAT/UNSAT): 3509975(5347/3504628)
May 31, 2017 9:30:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1812/3728 took 481781 ms. Total solver calls (SAT/UNSAT): 3517447(5359/3512088)
May 31, 2017 9:30:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1816/3728 took 482784 ms. Total solver calls (SAT/UNSAT): 3524919(5371/3519548)
May 31, 2017 9:30:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1820/3728 took 483789 ms. Total solver calls (SAT/UNSAT): 3532391(5383/3527008)
May 31, 2017 9:30:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1824/3728 took 485000 ms. Total solver calls (SAT/UNSAT): 3541385(5395/3535990)
May 31, 2017 9:30:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1828/3728 took 486005 ms. Total solver calls (SAT/UNSAT): 3548857(5407/3543450)
May 31, 2017 9:30:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1832/3728 took 487011 ms. Total solver calls (SAT/UNSAT): 3556329(5419/3550910)
May 31, 2017 9:30:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1836/3728 took 488017 ms. Total solver calls (SAT/UNSAT): 3563801(5431/3558370)
May 31, 2017 9:30:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1840/3728 took 489021 ms. Total solver calls (SAT/UNSAT): 3571273(5443/3565830)
May 31, 2017 9:30:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1844/3728 took 490226 ms. Total solver calls (SAT/UNSAT): 3580267(5455/3574812)
May 31, 2017 9:30:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1848/3728 took 491235 ms. Total solver calls (SAT/UNSAT): 3587739(5467/3582272)
May 31, 2017 9:30:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1852/3728 took 492239 ms. Total solver calls (SAT/UNSAT): 3595211(5479/3589732)
May 31, 2017 9:30:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1856/3728 took 493244 ms. Total solver calls (SAT/UNSAT): 3602683(5491/3597192)
May 31, 2017 9:30:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1860/3728 took 494249 ms. Total solver calls (SAT/UNSAT): 3610155(5503/3604652)
May 31, 2017 9:30:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1864/3728 took 495457 ms. Total solver calls (SAT/UNSAT): 3619148(5515/3613633)
May 31, 2017 9:30:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1868/3728 took 496462 ms. Total solver calls (SAT/UNSAT): 3626621(5527/3621094)
May 31, 2017 9:30:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1872/3728 took 497470 ms. Total solver calls (SAT/UNSAT): 3634093(5539/3628554)
May 31, 2017 9:30:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1876/3728 took 498478 ms. Total solver calls (SAT/UNSAT): 3641565(5551/3636014)
May 31, 2017 9:30:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1880/3728 took 499483 ms. Total solver calls (SAT/UNSAT): 3649037(5563/3643474)
May 31, 2017 9:31:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1884/3728 took 500486 ms. Total solver calls (SAT/UNSAT): 3656509(5575/3650934)
May 31, 2017 9:31:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1888/3728 took 501690 ms. Total solver calls (SAT/UNSAT): 3665503(5587/3659916)
May 31, 2017 9:31:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1892/3728 took 502693 ms. Total solver calls (SAT/UNSAT): 3672975(5599/3667376)
May 31, 2017 9:31:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1896/3728 took 503696 ms. Total solver calls (SAT/UNSAT): 3680447(5611/3674836)
May 31, 2017 9:31:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1900/3728 took 504718 ms. Total solver calls (SAT/UNSAT): 3687919(5623/3682296)
May 31, 2017 9:31:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1904/3728 took 505733 ms. Total solver calls (SAT/UNSAT): 3695391(5635/3689756)
May 31, 2017 9:31:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1908/3728 took 506941 ms. Total solver calls (SAT/UNSAT): 3704385(5647/3698738)
May 31, 2017 9:31:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1912/3728 took 507945 ms. Total solver calls (SAT/UNSAT): 3711857(5659/3706198)
May 31, 2017 9:31:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1916/3728 took 508950 ms. Total solver calls (SAT/UNSAT): 3719329(5671/3713658)
May 31, 2017 9:31:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1920/3728 took 509953 ms. Total solver calls (SAT/UNSAT): 3726801(5683/3721118)
May 31, 2017 9:31:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1924/3728 took 510966 ms. Total solver calls (SAT/UNSAT): 3734273(5695/3728578)
May 31, 2017 9:31:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1928/3728 took 512167 ms. Total solver calls (SAT/UNSAT): 3743267(5707/3737560)
May 31, 2017 9:31:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1932/3728 took 513171 ms. Total solver calls (SAT/UNSAT): 3750739(5719/3745020)
May 31, 2017 9:31:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1936/3728 took 514175 ms. Total solver calls (SAT/UNSAT): 3758211(5731/3752480)
May 31, 2017 9:31:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1940/3728 took 515180 ms. Total solver calls (SAT/UNSAT): 3765683(5743/3759940)
May 31, 2017 9:31:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1944/3728 took 516190 ms. Total solver calls (SAT/UNSAT): 3773155(5755/3767400)
May 31, 2017 9:31:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1948/3728 took 517405 ms. Total solver calls (SAT/UNSAT): 3782148(5767/3776381)
May 31, 2017 9:31:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1952/3728 took 518409 ms. Total solver calls (SAT/UNSAT): 3789621(5779/3783842)
May 31, 2017 9:31:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1956/3728 took 519410 ms. Total solver calls (SAT/UNSAT): 3797093(5791/3791302)
May 31, 2017 9:31:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1960/3728 took 520414 ms. Total solver calls (SAT/UNSAT): 3804565(5803/3798762)
May 31, 2017 9:31:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1964/3728 took 521417 ms. Total solver calls (SAT/UNSAT): 3812037(5815/3806222)
May 31, 2017 9:31:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1968/3728 took 522428 ms. Total solver calls (SAT/UNSAT): 3819509(5827/3813682)
May 31, 2017 9:31:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1972/3728 took 523631 ms. Total solver calls (SAT/UNSAT): 3828503(5839/3822664)
May 31, 2017 9:31:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1976/3728 took 524633 ms. Total solver calls (SAT/UNSAT): 3835975(5851/3830124)
May 31, 2017 9:31:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1981/3728 took 525882 ms. Total solver calls (SAT/UNSAT): 3845315(5866/3839449)
May 31, 2017 9:31:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1985/3728 took 526882 ms. Total solver calls (SAT/UNSAT): 3852787(5878/3846909)
May 31, 2017 9:31:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1989/3728 took 527901 ms. Total solver calls (SAT/UNSAT): 3860259(5890/3854369)
May 31, 2017 9:31:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1993/3728 took 529118 ms. Total solver calls (SAT/UNSAT): 3869253(5902/3863351)
May 31, 2017 9:31:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1997/3728 took 530127 ms. Total solver calls (SAT/UNSAT): 3876725(5914/3870811)
May 31, 2017 9:31:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2001/3728 took 531128 ms. Total solver calls (SAT/UNSAT): 3884197(5926/3878271)
May 31, 2017 9:31:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2006/3728 took 532385 ms. Total solver calls (SAT/UNSAT): 3893537(5941/3887596)
May 31, 2017 9:31:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2010/3728 took 533397 ms. Total solver calls (SAT/UNSAT): 3901009(5953/3895056)
May 31, 2017 9:31:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2014/3728 took 534606 ms. Total solver calls (SAT/UNSAT): 3910003(5965/3904038)
May 31, 2017 9:31:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2018/3728 took 535610 ms. Total solver calls (SAT/UNSAT): 3917475(5977/3911498)
May 31, 2017 9:31:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2022/3728 took 536615 ms. Total solver calls (SAT/UNSAT): 3924947(5989/3918958)
May 31, 2017 9:31:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2026/3728 took 537635 ms. Total solver calls (SAT/UNSAT): 3932419(6001/3926418)
May 31, 2017 9:31:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2030/3728 took 538640 ms. Total solver calls (SAT/UNSAT): 3939891(6013/3933878)
May 31, 2017 9:31:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2034/3728 took 539844 ms. Total solver calls (SAT/UNSAT): 3948885(6025/3942860)
May 31, 2017 9:31:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2038/3728 took 540847 ms. Total solver calls (SAT/UNSAT): 3956357(6037/3950320)
May 31, 2017 9:31:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2042/3728 took 541852 ms. Total solver calls (SAT/UNSAT): 3963829(6049/3957780)
May 31, 2017 9:31:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2046/3728 took 542875 ms. Total solver calls (SAT/UNSAT): 3971301(6061/3965240)
May 31, 2017 9:31:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2050/3728 took 543888 ms. Total solver calls (SAT/UNSAT): 3978773(6073/3972700)
May 31, 2017 9:31:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2054/3728 took 545104 ms. Total solver calls (SAT/UNSAT): 3987767(6085/3981682)
May 31, 2017 9:31:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2058/3728 took 546113 ms. Total solver calls (SAT/UNSAT): 3995239(6097/3989142)
May 31, 2017 9:31:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2062/3728 took 547122 ms. Total solver calls (SAT/UNSAT): 4002711(6109/3996602)
May 31, 2017 9:31:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2066/3728 took 548128 ms. Total solver calls (SAT/UNSAT): 4010183(6121/4004062)
May 31, 2017 9:31:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2070/3728 took 549133 ms. Total solver calls (SAT/UNSAT): 4017655(6133/4011522)
May 31, 2017 9:31:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2074/3728 took 550338 ms. Total solver calls (SAT/UNSAT): 4026648(6145/4020503)
May 31, 2017 9:31:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2078/3728 took 551346 ms. Total solver calls (SAT/UNSAT): 4034121(6157/4027964)
May 31, 2017 9:31:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2082/3728 took 552350 ms. Total solver calls (SAT/UNSAT): 4041593(6169/4035424)
May 31, 2017 9:31:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2086/3728 took 553355 ms. Total solver calls (SAT/UNSAT): 4049065(6181/4042884)
May 31, 2017 9:31:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2090/3728 took 554361 ms. Total solver calls (SAT/UNSAT): 4056537(6193/4050344)
May 31, 2017 9:31:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2094/3728 took 555369 ms. Total solver calls (SAT/UNSAT): 4064009(6205/4057804)
May 31, 2017 9:31:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2098/3728 took 556576 ms. Total solver calls (SAT/UNSAT): 4073003(6217/4066786)
May 31, 2017 9:31:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2102/3728 took 557582 ms. Total solver calls (SAT/UNSAT): 4080475(6229/4074246)
May 31, 2017 9:31:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2106/3728 took 558587 ms. Total solver calls (SAT/UNSAT): 4087947(6241/4081706)
May 31, 2017 9:31:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2110/3728 took 559597 ms. Total solver calls (SAT/UNSAT): 4095419(6253/4089166)
May 31, 2017 9:32:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2114/3728 took 560611 ms. Total solver calls (SAT/UNSAT): 4102891(6265/4096626)
May 31, 2017 9:32:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2118/3728 took 561828 ms. Total solver calls (SAT/UNSAT): 4111885(6277/4105608)
May 31, 2017 9:32:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2122/3728 took 562832 ms. Total solver calls (SAT/UNSAT): 4119357(6289/4113068)
May 31, 2017 9:32:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2126/3728 took 563851 ms. Total solver calls (SAT/UNSAT): 4126829(6301/4120528)
May 31, 2017 9:32:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2130/3728 took 564866 ms. Total solver calls (SAT/UNSAT): 4134301(6313/4127988)
May 31, 2017 9:32:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2134/3728 took 565880 ms. Total solver calls (SAT/UNSAT): 4141773(6325/4135448)
May 31, 2017 9:32:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2138/3728 took 567085 ms. Total solver calls (SAT/UNSAT): 4150767(6337/4144430)
May 31, 2017 9:32:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2142/3728 took 568103 ms. Total solver calls (SAT/UNSAT): 4158239(6349/4151890)
May 31, 2017 9:32:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2146/3728 took 569119 ms. Total solver calls (SAT/UNSAT): 4165711(6361/4159350)
May 31, 2017 9:32:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2150/3728 took 570128 ms. Total solver calls (SAT/UNSAT): 4173183(6373/4166810)
May 31, 2017 9:32:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2154/3728 took 571139 ms. Total solver calls (SAT/UNSAT): 4180655(6385/4174270)
May 31, 2017 9:32:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2158/3728 took 572352 ms. Total solver calls (SAT/UNSAT): 4189648(6397/4183251)
May 31, 2017 9:32:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2162/3728 took 573363 ms. Total solver calls (SAT/UNSAT): 4197121(6409/4190712)
May 31, 2017 9:32:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2166/3728 took 574370 ms. Total solver calls (SAT/UNSAT): 4204593(6421/4198172)
May 31, 2017 9:32:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2170/3728 took 575391 ms. Total solver calls (SAT/UNSAT): 4212065(6433/4205632)
May 31, 2017 9:32:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2174/3728 took 576405 ms. Total solver calls (SAT/UNSAT): 4219537(6445/4213092)
May 31, 2017 9:32:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2178/3728 took 577421 ms. Total solver calls (SAT/UNSAT): 4227009(6457/4220552)
May 31, 2017 9:32:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2182/3728 took 578640 ms. Total solver calls (SAT/UNSAT): 4236003(6469/4229534)
May 31, 2017 9:32:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2186/3728 took 579657 ms. Total solver calls (SAT/UNSAT): 4243475(6481/4236994)
May 31, 2017 9:32:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2190/3728 took 580673 ms. Total solver calls (SAT/UNSAT): 4250947(6493/4244454)
May 31, 2017 9:32:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2194/3728 took 581698 ms. Total solver calls (SAT/UNSAT): 4258419(6505/4251914)
May 31, 2017 9:32:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2198/3728 took 582700 ms. Total solver calls (SAT/UNSAT): 4265891(6517/4259374)
May 31, 2017 9:32:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2202/3728 took 583902 ms. Total solver calls (SAT/UNSAT): 4274885(6529/4268356)
May 31, 2017 9:32:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2206/3728 took 584926 ms. Total solver calls (SAT/UNSAT): 4282357(6541/4275816)
May 31, 2017 9:32:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2210/3728 took 585937 ms. Total solver calls (SAT/UNSAT): 4289829(6553/4283276)
May 31, 2017 9:32:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2214/3728 took 586939 ms. Total solver calls (SAT/UNSAT): 4297301(6565/4290736)
May 31, 2017 9:32:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2218/3728 took 587983 ms. Total solver calls (SAT/UNSAT): 4304773(6577/4298196)
May 31, 2017 9:32:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2222/3728 took 589207 ms. Total solver calls (SAT/UNSAT): 4313767(6589/4307178)
May 31, 2017 9:32:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2226/3728 took 590215 ms. Total solver calls (SAT/UNSAT): 4321239(6601/4314638)
May 31, 2017 9:32:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2230/3728 took 591239 ms. Total solver calls (SAT/UNSAT): 4328711(6613/4322098)
May 31, 2017 9:32:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2234/3728 took 592251 ms. Total solver calls (SAT/UNSAT): 4336183(6625/4329558)
May 31, 2017 9:32:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2238/3728 took 593304 ms. Total solver calls (SAT/UNSAT): 4343655(6637/4337018)
May 31, 2017 9:32:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2242/3728 took 594550 ms. Total solver calls (SAT/UNSAT): 4352648(6649/4345999)
May 31, 2017 9:32:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2246/3728 took 595580 ms. Total solver calls (SAT/UNSAT): 4360121(6661/4353460)
May 31, 2017 9:32:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2250/3728 took 596610 ms. Total solver calls (SAT/UNSAT): 4367593(6673/4360920)
May 31, 2017 9:32:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2254/3728 took 597649 ms. Total solver calls (SAT/UNSAT): 4375065(6685/4368380)
May 31, 2017 9:32:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2258/3728 took 598677 ms. Total solver calls (SAT/UNSAT): 4382537(6697/4375840)
May 31, 2017 9:32:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2262/3728 took 599711 ms. Total solver calls (SAT/UNSAT): 4390009(6709/4383300)
May 31, 2017 9:32:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2265/3728 took 600738 ms. Total solver calls (SAT/UNSAT): 4397135(6718/4390417)
May 31, 2017 9:32:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2269/3728 took 601761 ms. Total solver calls (SAT/UNSAT): 4404607(6730/4397877)
May 31, 2017 9:32:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2273/3728 took 602825 ms. Total solver calls (SAT/UNSAT): 4412079(6742/4405337)
May 31, 2017 9:32:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2277/3728 took 603836 ms. Total solver calls (SAT/UNSAT): 4419551(6754/4412797)
May 31, 2017 9:32:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2281/3728 took 604847 ms. Total solver calls (SAT/UNSAT): 4427023(6766/4420257)
May 31, 2017 9:32:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2285/3728 took 606064 ms. Total solver calls (SAT/UNSAT): 4436017(6778/4429239)
May 31, 2017 9:32:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2289/3728 took 607068 ms. Total solver calls (SAT/UNSAT): 4443489(6790/4436699)
May 31, 2017 9:32:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2293/3728 took 608077 ms. Total solver calls (SAT/UNSAT): 4450961(6802/4444159)
May 31, 2017 9:32:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2297/3728 took 609085 ms. Total solver calls (SAT/UNSAT): 4458433(6814/4451619)
May 31, 2017 9:32:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2301/3728 took 610093 ms. Total solver calls (SAT/UNSAT): 4465905(6826/4459079)
May 31, 2017 9:32:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2305/3728 took 611300 ms. Total solver calls (SAT/UNSAT): 4474898(6838/4468060)
May 31, 2017 9:32:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2309/3728 took 612305 ms. Total solver calls (SAT/UNSAT): 4482371(6850/4475521)
May 31, 2017 9:32:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2313/3728 took 613385 ms. Total solver calls (SAT/UNSAT): 4489843(6862/4482981)
May 31, 2017 9:32:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2317/3728 took 614412 ms. Total solver calls (SAT/UNSAT): 4497315(6874/4490441)
May 31, 2017 9:32:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2321/3728 took 615455 ms. Total solver calls (SAT/UNSAT): 4504787(6886/4497901)
May 31, 2017 9:32:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2325/3728 took 616488 ms. Total solver calls (SAT/UNSAT): 4512259(6898/4505361)
May 31, 2017 9:32:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2329/3728 took 617736 ms. Total solver calls (SAT/UNSAT): 4521253(6910/4514343)
May 31, 2017 9:32:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2333/3728 took 618758 ms. Total solver calls (SAT/UNSAT): 4528725(6922/4521803)
May 31, 2017 9:32:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2337/3728 took 619793 ms. Total solver calls (SAT/UNSAT): 4536197(6934/4529263)
May 31, 2017 9:33:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2341/3728 took 620827 ms. Total solver calls (SAT/UNSAT): 4543669(6946/4536723)
May 31, 2017 9:33:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2345/3728 took 621863 ms. Total solver calls (SAT/UNSAT): 4551141(6958/4544183)
May 31, 2017 9:33:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2349/3728 took 623087 ms. Total solver calls (SAT/UNSAT): 4560135(6970/4553165)
May 31, 2017 9:33:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2353/3728 took 624116 ms. Total solver calls (SAT/UNSAT): 4567607(6982/4560625)
May 31, 2017 9:33:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2357/3728 took 625136 ms. Total solver calls (SAT/UNSAT): 4575079(6994/4568085)
May 31, 2017 9:33:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2361/3728 took 626164 ms. Total solver calls (SAT/UNSAT): 4582551(7006/4575545)
May 31, 2017 9:33:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2365/3728 took 627230 ms. Total solver calls (SAT/UNSAT): 4590023(7018/4583005)
May 31, 2017 9:33:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2369/3728 took 628455 ms. Total solver calls (SAT/UNSAT): 4599017(7030/4591987)
May 31, 2017 9:33:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2373/3728 took 629477 ms. Total solver calls (SAT/UNSAT): 4606489(7042/4599447)
May 31, 2017 9:33:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2377/3728 took 630482 ms. Total solver calls (SAT/UNSAT): 4613961(7054/4606907)
May 31, 2017 9:33:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2381/3728 took 631495 ms. Total solver calls (SAT/UNSAT): 4621433(7066/4614367)
May 31, 2017 9:33:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2385/3728 took 632500 ms. Total solver calls (SAT/UNSAT): 4628905(7078/4621827)
May 31, 2017 9:33:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2389/3728 took 633718 ms. Total solver calls (SAT/UNSAT): 4637898(7090/4630808)
May 31, 2017 9:33:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2393/3728 took 634723 ms. Total solver calls (SAT/UNSAT): 4645371(7102/4638269)
May 31, 2017 9:33:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2397/3728 took 635732 ms. Total solver calls (SAT/UNSAT): 4652843(7114/4645729)
May 31, 2017 9:33:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2401/3728 took 636743 ms. Total solver calls (SAT/UNSAT): 4660315(7126/4653189)
May 31, 2017 9:33:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2405/3728 took 637751 ms. Total solver calls (SAT/UNSAT): 4667787(7138/4660649)
May 31, 2017 9:33:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2409/3728 took 638761 ms. Total solver calls (SAT/UNSAT): 4675259(7150/4668109)
May 31, 2017 9:33:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2413/3728 took 639974 ms. Total solver calls (SAT/UNSAT): 4684253(7162/4677091)
May 31, 2017 9:33:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2417/3728 took 640982 ms. Total solver calls (SAT/UNSAT): 4691725(7174/4684551)
May 31, 2017 9:33:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2421/3728 took 641994 ms. Total solver calls (SAT/UNSAT): 4699197(7186/4692011)
May 31, 2017 9:33:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2425/3728 took 643003 ms. Total solver calls (SAT/UNSAT): 4706669(7198/4699471)
May 31, 2017 9:33:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2429/3728 took 644013 ms. Total solver calls (SAT/UNSAT): 4714141(7210/4706931)
May 31, 2017 9:33:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2433/3728 took 645226 ms. Total solver calls (SAT/UNSAT): 4723135(7222/4715913)
May 31, 2017 9:33:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2437/3728 took 646236 ms. Total solver calls (SAT/UNSAT): 4730607(7234/4723373)
May 31, 2017 9:33:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2441/3728 took 647245 ms. Total solver calls (SAT/UNSAT): 4738079(7246/4730833)
May 31, 2017 9:33:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2445/3728 took 648255 ms. Total solver calls (SAT/UNSAT): 4745551(7258/4738293)
May 31, 2017 9:33:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2449/3728 took 649265 ms. Total solver calls (SAT/UNSAT): 4753023(7270/4745753)
May 31, 2017 9:33:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2453/3728 took 650473 ms. Total solver calls (SAT/UNSAT): 4762017(7282/4754735)
May 31, 2017 9:33:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2457/3728 took 651482 ms. Total solver calls (SAT/UNSAT): 4769489(7294/4762195)
May 31, 2017 9:33:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2461/3728 took 652495 ms. Total solver calls (SAT/UNSAT): 4776961(7306/4769655)
May 31, 2017 9:33:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2465/3728 took 653513 ms. Total solver calls (SAT/UNSAT): 4784433(7318/4777115)
May 31, 2017 9:33:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2469/3728 took 654524 ms. Total solver calls (SAT/UNSAT): 4791905(7330/4784575)
May 31, 2017 9:33:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2473/3728 took 655737 ms. Total solver calls (SAT/UNSAT): 4800898(7342/4793556)
May 31, 2017 9:33:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2477/3728 took 656747 ms. Total solver calls (SAT/UNSAT): 4808371(7354/4801017)
May 31, 2017 9:33:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2481/3728 took 657756 ms. Total solver calls (SAT/UNSAT): 4815843(7366/4808477)
May 31, 2017 9:33:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2485/3728 took 658761 ms. Total solver calls (SAT/UNSAT): 4823315(7378/4815937)
May 31, 2017 9:33:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2489/3728 took 659771 ms. Total solver calls (SAT/UNSAT): 4830787(7390/4823397)
May 31, 2017 9:33:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2493/3728 took 660780 ms. Total solver calls (SAT/UNSAT): 4838259(7402/4830857)
May 31, 2017 9:33:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2497/3728 took 661991 ms. Total solver calls (SAT/UNSAT): 4847253(7414/4839839)
May 31, 2017 9:33:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2501/3728 took 663001 ms. Total solver calls (SAT/UNSAT): 4854725(7426/4847299)
May 31, 2017 9:33:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2505/3728 took 664011 ms. Total solver calls (SAT/UNSAT): 4862197(7438/4854759)
May 31, 2017 9:33:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2509/3728 took 665018 ms. Total solver calls (SAT/UNSAT): 4869669(7450/4862219)
May 31, 2017 9:33:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2513/3728 took 666028 ms. Total solver calls (SAT/UNSAT): 4877141(7462/4869679)
May 31, 2017 9:33:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2517/3728 took 667241 ms. Total solver calls (SAT/UNSAT): 4886135(7474/4878661)
May 31, 2017 9:33:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2521/3728 took 668251 ms. Total solver calls (SAT/UNSAT): 4893607(7486/4886121)
May 31, 2017 9:33:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2525/3728 took 669261 ms. Total solver calls (SAT/UNSAT): 4901079(7498/4893581)
May 31, 2017 9:33:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2529/3728 took 670271 ms. Total solver calls (SAT/UNSAT): 4908551(7510/4901041)
May 31, 2017 9:33:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2533/3728 took 671282 ms. Total solver calls (SAT/UNSAT): 4916023(7522/4908501)
May 31, 2017 9:33:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2537/3728 took 672494 ms. Total solver calls (SAT/UNSAT): 4925017(7534/4917483)
May 31, 2017 9:33:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2541/3728 took 673504 ms. Total solver calls (SAT/UNSAT): 4932489(7546/4924943)
May 31, 2017 9:33:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2545/3728 took 674512 ms. Total solver calls (SAT/UNSAT): 4939961(7558/4932403)
May 31, 2017 9:33:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2549/3728 took 675524 ms. Total solver calls (SAT/UNSAT): 4947433(7570/4939863)
May 31, 2017 9:33:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2553/3728 took 676536 ms. Total solver calls (SAT/UNSAT): 4954905(7582/4947323)
May 31, 2017 9:33:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2557/3728 took 677758 ms. Total solver calls (SAT/UNSAT): 4963898(7594/4956304)
May 31, 2017 9:33:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2561/3728 took 678773 ms. Total solver calls (SAT/UNSAT): 4971371(7606/4963765)
May 31, 2017 9:33:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2565/3728 took 679793 ms. Total solver calls (SAT/UNSAT): 4978843(7618/4971225)
May 31, 2017 9:34:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2569/3728 took 680811 ms. Total solver calls (SAT/UNSAT): 4986315(7630/4978685)
May 31, 2017 9:34:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2573/3728 took 681829 ms. Total solver calls (SAT/UNSAT): 4993787(7642/4986145)
May 31, 2017 9:34:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2577/3728 took 682845 ms. Total solver calls (SAT/UNSAT): 5001259(7654/4993605)
May 31, 2017 9:34:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2581/3728 took 684071 ms. Total solver calls (SAT/UNSAT): 5010253(7666/5002587)
May 31, 2017 9:34:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2585/3728 took 685092 ms. Total solver calls (SAT/UNSAT): 5017725(7678/5010047)
May 31, 2017 9:34:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2589/3728 took 686107 ms. Total solver calls (SAT/UNSAT): 5025197(7690/5017507)
May 31, 2017 9:34:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2593/3728 took 687124 ms. Total solver calls (SAT/UNSAT): 5032669(7702/5024967)
May 31, 2017 9:34:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2597/3728 took 688144 ms. Total solver calls (SAT/UNSAT): 5040141(7714/5032427)
May 31, 2017 9:34:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2601/3728 took 689367 ms. Total solver calls (SAT/UNSAT): 5049135(7726/5041409)
May 31, 2017 9:34:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2605/3728 took 690382 ms. Total solver calls (SAT/UNSAT): 5056607(7738/5048869)
May 31, 2017 9:34:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2609/3728 took 691399 ms. Total solver calls (SAT/UNSAT): 5064079(7750/5056329)
May 31, 2017 9:34:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2613/3728 took 692421 ms. Total solver calls (SAT/UNSAT): 5071551(7762/5063789)
May 31, 2017 9:34:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2617/3728 took 693440 ms. Total solver calls (SAT/UNSAT): 5079023(7774/5071249)
May 31, 2017 9:34:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2621/3728 took 694661 ms. Total solver calls (SAT/UNSAT): 5088017(7786/5080231)
May 31, 2017 9:34:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2625/3728 took 695681 ms. Total solver calls (SAT/UNSAT): 5095489(7798/5087691)
May 31, 2017 9:34:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2629/3728 took 696701 ms. Total solver calls (SAT/UNSAT): 5102961(7810/5095151)
May 31, 2017 9:34:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2633/3728 took 697724 ms. Total solver calls (SAT/UNSAT): 5110433(7822/5102611)
May 31, 2017 9:34:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2637/3728 took 698747 ms. Total solver calls (SAT/UNSAT): 5117905(7834/5110071)
May 31, 2017 9:34:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2641/3728 took 699970 ms. Total solver calls (SAT/UNSAT): 5126898(7846/5119052)
May 31, 2017 9:34:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2645/3728 took 700991 ms. Total solver calls (SAT/UNSAT): 5134371(7858/5126513)
May 31, 2017 9:34:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2649/3728 took 702007 ms. Total solver calls (SAT/UNSAT): 5141843(7870/5133973)
May 31, 2017 9:34:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2653/3728 took 703211 ms. Total solver calls (SAT/UNSAT): 5149315(7882/5141433)
May 31, 2017 9:34:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2657/3728 took 704229 ms. Total solver calls (SAT/UNSAT): 5156787(7894/5148893)
May 31, 2017 9:34:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2661/3728 took 705249 ms. Total solver calls (SAT/UNSAT): 5164259(7906/5156353)
May 31, 2017 9:34:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2665/3728 took 706465 ms. Total solver calls (SAT/UNSAT): 5173253(7918/5165335)
May 31, 2017 9:34:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2669/3728 took 707485 ms. Total solver calls (SAT/UNSAT): 5180725(7930/5172795)
May 31, 2017 9:34:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2673/3728 took 708509 ms. Total solver calls (SAT/UNSAT): 5188197(7942/5180255)
May 31, 2017 9:34:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2677/3728 took 709528 ms. Total solver calls (SAT/UNSAT): 5195669(7954/5187715)
May 31, 2017 9:34:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2681/3728 took 710542 ms. Total solver calls (SAT/UNSAT): 5203141(7966/5195175)
May 31, 2017 9:34:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2685/3728 took 711764 ms. Total solver calls (SAT/UNSAT): 5212135(7978/5204157)
May 31, 2017 9:34:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2689/3728 took 712804 ms. Total solver calls (SAT/UNSAT): 5219607(7990/5211617)
May 31, 2017 9:34:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2693/3728 took 713826 ms. Total solver calls (SAT/UNSAT): 5227079(8002/5219077)
May 31, 2017 9:34:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2697/3728 took 714834 ms. Total solver calls (SAT/UNSAT): 5234551(8014/5226537)
May 31, 2017 9:34:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2701/3728 took 715856 ms. Total solver calls (SAT/UNSAT): 5242023(8026/5233997)
May 31, 2017 9:34:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2705/3728 took 717079 ms. Total solver calls (SAT/UNSAT): 5251017(8038/5242979)
May 31, 2017 9:34:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2709/3728 took 718098 ms. Total solver calls (SAT/UNSAT): 5258489(8050/5250439)
May 31, 2017 9:34:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2713/3728 took 719113 ms. Total solver calls (SAT/UNSAT): 5265961(8062/5257899)
May 31, 2017 9:34:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2717/3728 took 720132 ms. Total solver calls (SAT/UNSAT): 5273433(8074/5265359)
May 31, 2017 9:34:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2721/3728 took 721153 ms. Total solver calls (SAT/UNSAT): 5280905(8086/5272819)
May 31, 2017 9:34:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2725/3728 took 722376 ms. Total solver calls (SAT/UNSAT): 5289898(8098/5281800)
May 31, 2017 9:34:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2729/3728 took 723389 ms. Total solver calls (SAT/UNSAT): 5297371(8110/5289261)
May 31, 2017 9:34:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2733/3728 took 724396 ms. Total solver calls (SAT/UNSAT): 5304843(8122/5296721)
May 31, 2017 9:34:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2737/3728 took 725406 ms. Total solver calls (SAT/UNSAT): 5312315(8134/5304181)
May 31, 2017 9:34:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2741/3728 took 726423 ms. Total solver calls (SAT/UNSAT): 5319787(8146/5311641)
May 31, 2017 9:34:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2745/3728 took 727439 ms. Total solver calls (SAT/UNSAT): 5327259(8158/5319101)
May 31, 2017 9:34:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2749/3728 took 728665 ms. Total solver calls (SAT/UNSAT): 5336253(8170/5328083)
May 31, 2017 9:34:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2753/3728 took 729685 ms. Total solver calls (SAT/UNSAT): 5343725(8182/5335543)
May 31, 2017 9:34:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2757/3728 took 730703 ms. Total solver calls (SAT/UNSAT): 5351197(8194/5343003)
May 31, 2017 9:34:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2761/3728 took 731720 ms. Total solver calls (SAT/UNSAT): 5358669(8206/5350463)
May 31, 2017 9:34:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2765/3728 took 732748 ms. Total solver calls (SAT/UNSAT): 5366141(8218/5357923)
May 31, 2017 9:34:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2769/3728 took 733977 ms. Total solver calls (SAT/UNSAT): 5375135(8230/5366905)
May 31, 2017 9:34:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2773/3728 took 734984 ms. Total solver calls (SAT/UNSAT): 5382607(8242/5374365)
May 31, 2017 9:34:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2777/3728 took 736005 ms. Total solver calls (SAT/UNSAT): 5390079(8254/5381825)
May 31, 2017 9:34:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2781/3728 took 737033 ms. Total solver calls (SAT/UNSAT): 5397551(8266/5389285)
May 31, 2017 9:34:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2785/3728 took 738049 ms. Total solver calls (SAT/UNSAT): 5405023(8278/5396745)
May 31, 2017 9:34:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2789/3728 took 739270 ms. Total solver calls (SAT/UNSAT): 5414017(8290/5405727)
May 31, 2017 9:35:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2793/3728 took 740292 ms. Total solver calls (SAT/UNSAT): 5421489(8302/5413187)
May 31, 2017 9:35:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2797/3728 took 741306 ms. Total solver calls (SAT/UNSAT): 5428961(8314/5420647)
May 31, 2017 9:35:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2801/3728 took 742320 ms. Total solver calls (SAT/UNSAT): 5436433(8326/5428107)
May 31, 2017 9:35:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2805/3728 took 743325 ms. Total solver calls (SAT/UNSAT): 5443905(8338/5435567)
May 31, 2017 9:35:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2809/3728 took 744550 ms. Total solver calls (SAT/UNSAT): 5452898(8350/5444548)
May 31, 2017 9:35:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2813/3728 took 745572 ms. Total solver calls (SAT/UNSAT): 5460371(8362/5452009)
May 31, 2017 9:35:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2817/3728 took 746580 ms. Total solver calls (SAT/UNSAT): 5467843(8374/5459469)
May 31, 2017 9:35:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2821/3728 took 747596 ms. Total solver calls (SAT/UNSAT): 5475315(8386/5466929)
May 31, 2017 9:35:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2825/3728 took 748612 ms. Total solver calls (SAT/UNSAT): 5482787(8398/5474389)
May 31, 2017 9:35:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2829/3728 took 749635 ms. Total solver calls (SAT/UNSAT): 5490259(8410/5481849)
May 31, 2017 9:35:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2833/3728 took 750854 ms. Total solver calls (SAT/UNSAT): 5499253(8422/5490831)
May 31, 2017 9:35:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2837/3728 took 751870 ms. Total solver calls (SAT/UNSAT): 5506725(8434/5498291)
May 31, 2017 9:35:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2841/3728 took 752890 ms. Total solver calls (SAT/UNSAT): 5514197(8446/5505751)
May 31, 2017 9:35:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2845/3728 took 753906 ms. Total solver calls (SAT/UNSAT): 5521669(8458/5513211)
May 31, 2017 9:35:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2849/3728 took 754927 ms. Total solver calls (SAT/UNSAT): 5529141(8470/5520671)
May 31, 2017 9:35:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2853/3728 took 756147 ms. Total solver calls (SAT/UNSAT): 5538135(8482/5529653)
May 31, 2017 9:35:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2857/3728 took 757168 ms. Total solver calls (SAT/UNSAT): 5545607(8494/5537113)
May 31, 2017 9:35:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2861/3728 took 758185 ms. Total solver calls (SAT/UNSAT): 5553079(8506/5544573)
May 31, 2017 9:35:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2865/3728 took 759200 ms. Total solver calls (SAT/UNSAT): 5560551(8518/5552033)
May 31, 2017 9:35:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2869/3728 took 760222 ms. Total solver calls (SAT/UNSAT): 5568023(8530/5559493)
May 31, 2017 9:35:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2873/3728 took 761442 ms. Total solver calls (SAT/UNSAT): 5577017(8542/5568475)
May 31, 2017 9:35:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2877/3728 took 762463 ms. Total solver calls (SAT/UNSAT): 5584489(8554/5575935)
May 31, 2017 9:35:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2881/3728 took 763480 ms. Total solver calls (SAT/UNSAT): 5591961(8566/5583395)
May 31, 2017 9:35:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2885/3728 took 764503 ms. Total solver calls (SAT/UNSAT): 5599433(8578/5590855)
May 31, 2017 9:35:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2889/3728 took 765521 ms. Total solver calls (SAT/UNSAT): 5606905(8590/5598315)
May 31, 2017 9:35:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2893/3728 took 766740 ms. Total solver calls (SAT/UNSAT): 5615898(8602/5607296)
May 31, 2017 9:35:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2897/3728 took 767748 ms. Total solver calls (SAT/UNSAT): 5623371(8614/5614757)
May 31, 2017 9:35:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2901/3728 took 768768 ms. Total solver calls (SAT/UNSAT): 5630843(8626/5622217)
May 31, 2017 9:35:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2905/3728 took 769784 ms. Total solver calls (SAT/UNSAT): 5638315(8638/5629677)
May 31, 2017 9:35:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2909/3728 took 770802 ms. Total solver calls (SAT/UNSAT): 5645787(8650/5637137)
May 31, 2017 9:35:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2913/3728 took 771819 ms. Total solver calls (SAT/UNSAT): 5653259(8662/5644597)
May 31, 2017 9:35:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2917/3728 took 773046 ms. Total solver calls (SAT/UNSAT): 5662253(8674/5653579)
May 31, 2017 9:35:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2921/3728 took 774061 ms. Total solver calls (SAT/UNSAT): 5669725(8686/5661039)
May 31, 2017 9:35:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2925/3728 took 775079 ms. Total solver calls (SAT/UNSAT): 5677197(8698/5668499)
May 31, 2017 9:35:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2929/3728 took 776097 ms. Total solver calls (SAT/UNSAT): 5684669(8710/5675959)
May 31, 2017 9:35:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2933/3728 took 777121 ms. Total solver calls (SAT/UNSAT): 5692141(8722/5683419)
May 31, 2017 9:35:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2937/3728 took 778332 ms. Total solver calls (SAT/UNSAT): 5701135(8734/5692401)
May 31, 2017 9:35:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2941/3728 took 779352 ms. Total solver calls (SAT/UNSAT): 5708607(8746/5699861)
May 31, 2017 9:35:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2945/3728 took 780366 ms. Total solver calls (SAT/UNSAT): 5716079(8758/5707321)
May 31, 2017 9:35:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2949/3728 took 781429 ms. Total solver calls (SAT/UNSAT): 5723551(8770/5714781)
May 31, 2017 9:35:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2953/3728 took 782435 ms. Total solver calls (SAT/UNSAT): 5731023(8782/5722241)
May 31, 2017 9:35:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2957/3728 took 783666 ms. Total solver calls (SAT/UNSAT): 5740017(8794/5731223)
May 31, 2017 9:35:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2961/3728 took 784679 ms. Total solver calls (SAT/UNSAT): 5747489(8806/5738683)
May 31, 2017 9:35:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2965/3728 took 785703 ms. Total solver calls (SAT/UNSAT): 5754961(8818/5746143)
May 31, 2017 9:35:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2969/3728 took 786709 ms. Total solver calls (SAT/UNSAT): 5762433(8830/5753603)
May 31, 2017 9:35:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2973/3728 took 787730 ms. Total solver calls (SAT/UNSAT): 5769905(8842/5761063)
May 31, 2017 9:35:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2977/3728 took 788947 ms. Total solver calls (SAT/UNSAT): 5778898(8854/5770044)
May 31, 2017 9:35:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2981/3728 took 789970 ms. Total solver calls (SAT/UNSAT): 5786371(8866/5777505)
May 31, 2017 9:35:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2985/3728 took 790975 ms. Total solver calls (SAT/UNSAT): 5793843(8878/5784965)
May 31, 2017 9:35:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2989/3728 took 791990 ms. Total solver calls (SAT/UNSAT): 5801315(8890/5792425)
May 31, 2017 9:35:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2993/3728 took 793005 ms. Total solver calls (SAT/UNSAT): 5808787(8902/5799885)
May 31, 2017 9:35:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2997/3728 took 794020 ms. Total solver calls (SAT/UNSAT): 5816259(8914/5807345)
May 31, 2017 9:35:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3001/3728 took 795242 ms. Total solver calls (SAT/UNSAT): 5825253(8926/5816327)
May 31, 2017 9:35:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3005/3728 took 796257 ms. Total solver calls (SAT/UNSAT): 5832725(8938/5823787)
May 31, 2017 9:35:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3009/3728 took 797277 ms. Total solver calls (SAT/UNSAT): 5840197(8950/5831247)
May 31, 2017 9:35:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3013/3728 took 798289 ms. Total solver calls (SAT/UNSAT): 5847669(8962/5838707)
May 31, 2017 9:35:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3017/3728 took 799304 ms. Total solver calls (SAT/UNSAT): 5855141(8974/5846167)
May 31, 2017 9:36:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3021/3728 took 800521 ms. Total solver calls (SAT/UNSAT): 5864135(8986/5855149)
May 31, 2017 9:36:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3025/3728 took 801543 ms. Total solver calls (SAT/UNSAT): 5871607(8998/5862609)
May 31, 2017 9:36:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3029/3728 took 802551 ms. Total solver calls (SAT/UNSAT): 5879079(9010/5870069)
May 31, 2017 9:36:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3033/3728 took 803558 ms. Total solver calls (SAT/UNSAT): 5886551(9022/5877529)
May 31, 2017 9:36:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3037/3728 took 804577 ms. Total solver calls (SAT/UNSAT): 5894023(9034/5884989)
May 31, 2017 9:36:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3041/3728 took 805797 ms. Total solver calls (SAT/UNSAT): 5903017(9046/5893971)
May 31, 2017 9:36:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3045/3728 took 806817 ms. Total solver calls (SAT/UNSAT): 5910489(9058/5901431)
May 31, 2017 9:36:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3049/3728 took 807836 ms. Total solver calls (SAT/UNSAT): 5917961(9070/5908891)
May 31, 2017 9:36:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3053/3728 took 808855 ms. Total solver calls (SAT/UNSAT): 5925433(9082/5916351)
May 31, 2017 9:36:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3057/3728 took 809877 ms. Total solver calls (SAT/UNSAT): 5932905(9094/5923811)
May 31, 2017 9:36:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3061/3728 took 811088 ms. Total solver calls (SAT/UNSAT): 5941898(9106/5932792)
May 31, 2017 9:36:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3065/3728 took 812105 ms. Total solver calls (SAT/UNSAT): 5949371(9118/5940253)
May 31, 2017 9:36:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3069/3728 took 813124 ms. Total solver calls (SAT/UNSAT): 5956843(9130/5947713)
May 31, 2017 9:36:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3073/3728 took 814137 ms. Total solver calls (SAT/UNSAT): 5964315(9142/5955173)
May 31, 2017 9:36:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3077/3728 took 815157 ms. Total solver calls (SAT/UNSAT): 5971787(9154/5962633)
May 31, 2017 9:36:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3081/3728 took 816175 ms. Total solver calls (SAT/UNSAT): 5979259(9166/5970093)
May 31, 2017 9:36:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3085/3728 took 817400 ms. Total solver calls (SAT/UNSAT): 5988253(9178/5979075)
May 31, 2017 9:36:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3089/3728 took 818410 ms. Total solver calls (SAT/UNSAT): 5995725(9190/5986535)
May 31, 2017 9:36:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3093/3728 took 819422 ms. Total solver calls (SAT/UNSAT): 6003197(9202/5993995)
May 31, 2017 9:36:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3097/3728 took 820447 ms. Total solver calls (SAT/UNSAT): 6010669(9214/6001455)
May 31, 2017 9:36:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3101/3728 took 821466 ms. Total solver calls (SAT/UNSAT): 6018141(9226/6008915)
May 31, 2017 9:36:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3105/3728 took 822687 ms. Total solver calls (SAT/UNSAT): 6027135(9238/6017897)
May 31, 2017 9:36:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3109/3728 took 823704 ms. Total solver calls (SAT/UNSAT): 6034607(9250/6025357)
May 31, 2017 9:36:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3113/3728 took 824720 ms. Total solver calls (SAT/UNSAT): 6042079(9262/6032817)
May 31, 2017 9:36:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3117/3728 took 825747 ms. Total solver calls (SAT/UNSAT): 6049551(9274/6040277)
May 31, 2017 9:36:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3121/3728 took 826755 ms. Total solver calls (SAT/UNSAT): 6057023(9286/6047737)
May 31, 2017 9:36:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3125/3728 took 827972 ms. Total solver calls (SAT/UNSAT): 6066017(9298/6056719)
May 31, 2017 9:36:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3129/3728 took 828986 ms. Total solver calls (SAT/UNSAT): 6073489(9310/6064179)
May 31, 2017 9:36:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3133/3728 took 829994 ms. Total solver calls (SAT/UNSAT): 6080961(9322/6071639)
May 31, 2017 9:36:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3137/3728 took 831019 ms. Total solver calls (SAT/UNSAT): 6088433(9334/6079099)
May 31, 2017 9:36:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3141/3728 took 832035 ms. Total solver calls (SAT/UNSAT): 6095905(9346/6086559)
May 31, 2017 9:36:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3145/3728 took 833255 ms. Total solver calls (SAT/UNSAT): 6104898(9358/6095540)
May 31, 2017 9:36:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3149/3728 took 834274 ms. Total solver calls (SAT/UNSAT): 6112371(9370/6103001)
May 31, 2017 9:36:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3153/3728 took 835283 ms. Total solver calls (SAT/UNSAT): 6119843(9382/6110461)
May 31, 2017 9:36:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3157/3728 took 836300 ms. Total solver calls (SAT/UNSAT): 6127315(9394/6117921)
May 31, 2017 9:36:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3161/3728 took 837317 ms. Total solver calls (SAT/UNSAT): 6134787(9406/6125381)
May 31, 2017 9:36:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3165/3728 took 838329 ms. Total solver calls (SAT/UNSAT): 6142259(9418/6132841)
May 31, 2017 9:36:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3169/3728 took 839551 ms. Total solver calls (SAT/UNSAT): 6151253(9430/6141823)
May 31, 2017 9:36:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3173/3728 took 840567 ms. Total solver calls (SAT/UNSAT): 6158725(9442/6149283)
May 31, 2017 9:36:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3177/3728 took 841585 ms. Total solver calls (SAT/UNSAT): 6166197(9454/6156743)
May 31, 2017 9:36:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3181/3728 took 842610 ms. Total solver calls (SAT/UNSAT): 6173669(9466/6164203)
May 31, 2017 9:36:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3185/3728 took 843629 ms. Total solver calls (SAT/UNSAT): 6181141(9478/6171663)
May 31, 2017 9:36:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3189/3728 took 844867 ms. Total solver calls (SAT/UNSAT): 6190135(9490/6180645)
May 31, 2017 9:36:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3193/3728 took 845884 ms. Total solver calls (SAT/UNSAT): 6197607(9502/6188105)
May 31, 2017 9:36:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3197/3728 took 846893 ms. Total solver calls (SAT/UNSAT): 6205079(9514/6195565)
May 31, 2017 9:36:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3201/3728 took 847963 ms. Total solver calls (SAT/UNSAT): 6212551(9526/6203025)
May 31, 2017 9:36:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3205/3728 took 848979 ms. Total solver calls (SAT/UNSAT): 6220023(9538/6210485)
May 31, 2017 9:36:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3209/3728 took 850196 ms. Total solver calls (SAT/UNSAT): 6229017(9550/6219467)
May 31, 2017 9:36:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3213/3728 took 851212 ms. Total solver calls (SAT/UNSAT): 6236489(9562/6226927)
May 31, 2017 9:36:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3217/3728 took 852233 ms. Total solver calls (SAT/UNSAT): 6243961(9574/6234387)
May 31, 2017 9:36:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3221/3728 took 853254 ms. Total solver calls (SAT/UNSAT): 6251433(9586/6241847)
May 31, 2017 9:36:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3225/3728 took 854278 ms. Total solver calls (SAT/UNSAT): 6258905(9598/6249307)
May 31, 2017 9:36:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3229/3728 took 855498 ms. Total solver calls (SAT/UNSAT): 6267898(9610/6258288)
May 31, 2017 9:36:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3233/3728 took 856510 ms. Total solver calls (SAT/UNSAT): 6275371(9622/6265749)
May 31, 2017 9:36:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3237/3728 took 857528 ms. Total solver calls (SAT/UNSAT): 6282843(9634/6273209)
May 31, 2017 9:36:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3241/3728 took 858537 ms. Total solver calls (SAT/UNSAT): 6290315(9646/6280669)
May 31, 2017 9:36:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3245/3728 took 859545 ms. Total solver calls (SAT/UNSAT): 6297787(9658/6288129)
May 31, 2017 9:37:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3249/3728 took 860567 ms. Total solver calls (SAT/UNSAT): 6305259(9670/6295589)
May 31, 2017 9:37:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3253/3728 took 861779 ms. Total solver calls (SAT/UNSAT): 6314253(9682/6304571)
May 31, 2017 9:37:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3257/3728 took 862788 ms. Total solver calls (SAT/UNSAT): 6321725(9694/6312031)
May 31, 2017 9:37:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3261/3728 took 863804 ms. Total solver calls (SAT/UNSAT): 6329197(9706/6319491)
May 31, 2017 9:37:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3265/3728 took 864813 ms. Total solver calls (SAT/UNSAT): 6336669(9718/6326951)
May 31, 2017 9:37:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3269/3728 took 865822 ms. Total solver calls (SAT/UNSAT): 6344141(9730/6334411)
May 31, 2017 9:37:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3273/3728 took 867041 ms. Total solver calls (SAT/UNSAT): 6353135(9742/6343393)
May 31, 2017 9:37:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3277/3728 took 868051 ms. Total solver calls (SAT/UNSAT): 6360607(9754/6350853)
May 31, 2017 9:37:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3281/3728 took 869061 ms. Total solver calls (SAT/UNSAT): 6368079(9766/6358313)
May 31, 2017 9:37:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3285/3728 took 870083 ms. Total solver calls (SAT/UNSAT): 6375551(9778/6365773)
May 31, 2017 9:37:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3289/3728 took 871091 ms. Total solver calls (SAT/UNSAT): 6383023(9790/6373233)
May 31, 2017 9:37:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3293/3728 took 872300 ms. Total solver calls (SAT/UNSAT): 6392017(9802/6382215)
May 31, 2017 9:37:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3297/3728 took 873331 ms. Total solver calls (SAT/UNSAT): 6399489(9814/6389675)
May 31, 2017 9:37:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3301/3728 took 874344 ms. Total solver calls (SAT/UNSAT): 6406961(9826/6397135)
May 31, 2017 9:37:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3305/3728 took 875351 ms. Total solver calls (SAT/UNSAT): 6414433(9838/6404595)
May 31, 2017 9:37:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3309/3728 took 876369 ms. Total solver calls (SAT/UNSAT): 6421905(9850/6412055)
May 31, 2017 9:37:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3313/3728 took 877593 ms. Total solver calls (SAT/UNSAT): 6430898(9862/6421036)
May 31, 2017 9:37:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3317/3728 took 878607 ms. Total solver calls (SAT/UNSAT): 6438371(9874/6428497)
May 31, 2017 9:37:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3321/3728 took 879629 ms. Total solver calls (SAT/UNSAT): 6445843(9886/6435957)
May 31, 2017 9:37:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3325/3728 took 880650 ms. Total solver calls (SAT/UNSAT): 6453315(9898/6443417)
May 31, 2017 9:37:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3329/3728 took 881673 ms. Total solver calls (SAT/UNSAT): 6460787(9910/6450877)
May 31, 2017 9:37:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3333/3728 took 882737 ms. Total solver calls (SAT/UNSAT): 6468259(9922/6458337)
May 31, 2017 9:37:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3337/3728 took 883956 ms. Total solver calls (SAT/UNSAT): 6477253(9934/6467319)
May 31, 2017 9:37:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3341/3728 took 884968 ms. Total solver calls (SAT/UNSAT): 6484725(9946/6474779)
May 31, 2017 9:37:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3345/3728 took 885983 ms. Total solver calls (SAT/UNSAT): 6492197(9958/6482239)
May 31, 2017 9:37:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3349/3728 took 886997 ms. Total solver calls (SAT/UNSAT): 6499669(9970/6489699)
May 31, 2017 9:37:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3353/3728 took 888008 ms. Total solver calls (SAT/UNSAT): 6507141(9982/6497159)
May 31, 2017 9:37:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3357/3728 took 889221 ms. Total solver calls (SAT/UNSAT): 6516135(9994/6506141)
May 31, 2017 9:37:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3361/3728 took 890239 ms. Total solver calls (SAT/UNSAT): 6523607(10006/6513601)
May 31, 2017 9:37:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3365/3728 took 891252 ms. Total solver calls (SAT/UNSAT): 6531079(10018/6521061)
May 31, 2017 9:37:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3369/3728 took 892265 ms. Total solver calls (SAT/UNSAT): 6538551(10030/6528521)
May 31, 2017 9:37:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3373/3728 took 893282 ms. Total solver calls (SAT/UNSAT): 6546023(10042/6535981)
May 31, 2017 9:37:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3377/3728 took 894499 ms. Total solver calls (SAT/UNSAT): 6555017(10054/6544963)
May 31, 2017 9:37:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3381/3728 took 895512 ms. Total solver calls (SAT/UNSAT): 6562489(10066/6552423)
May 31, 2017 9:37:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3385/3728 took 896531 ms. Total solver calls (SAT/UNSAT): 6569961(10078/6559883)
May 31, 2017 9:37:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3389/3728 took 897542 ms. Total solver calls (SAT/UNSAT): 6577433(10090/6567343)
May 31, 2017 9:37:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3393/3728 took 898555 ms. Total solver calls (SAT/UNSAT): 6584905(10102/6574803)
May 31, 2017 9:37:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3397/3728 took 899771 ms. Total solver calls (SAT/UNSAT): 6593898(10114/6583784)
May 31, 2017 9:37:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3401/3728 took 900786 ms. Total solver calls (SAT/UNSAT): 6601371(10126/6591245)
May 31, 2017 9:37:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3405/3728 took 901800 ms. Total solver calls (SAT/UNSAT): 6608843(10138/6598705)
May 31, 2017 9:37:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3409/3728 took 902817 ms. Total solver calls (SAT/UNSAT): 6616315(10150/6606165)
May 31, 2017 9:37:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3413/3728 took 903834 ms. Total solver calls (SAT/UNSAT): 6623787(10162/6613625)
May 31, 2017 9:37:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3417/3728 took 904848 ms. Total solver calls (SAT/UNSAT): 6631259(10174/6621085)
May 31, 2017 9:37:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3421/3728 took 906063 ms. Total solver calls (SAT/UNSAT): 6640253(10186/6630067)
May 31, 2017 9:37:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3425/3728 took 907125 ms. Total solver calls (SAT/UNSAT): 6647725(10198/6637527)
May 31, 2017 9:37:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3429/3728 took 908156 ms. Total solver calls (SAT/UNSAT): 6655197(10210/6644987)
May 31, 2017 9:37:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3433/3728 took 909188 ms. Total solver calls (SAT/UNSAT): 6662669(10222/6652447)
May 31, 2017 9:37:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3437/3728 took 910220 ms. Total solver calls (SAT/UNSAT): 6670141(10234/6659907)
May 31, 2017 9:37:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3446/3728 took 911228 ms. Total solver calls (SAT/UNSAT): 6677246(10247/6666999)
May 31, 2017 9:37:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3461/3728 took 912245 ms. Total solver calls (SAT/UNSAT): 6684246(10262/6673984)
May 31, 2017 9:37:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3481/3728 took 913455 ms. Total solver calls (SAT/UNSAT): 6692566(10282/6682284)
May 31, 2017 10:20:49 PM fr.lip6.move.gal.itstools.ProcessController$1 run
WARNING: null
May 31, 2017 10:20:49 PM fr.lip6.move.gal.itstools.ProcessController forwardStream
WARNING: Stream closed
May 31, 2017 10:20:49 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="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/BridgeAndVehicles-COL-V80P20N20.tgz
mv 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 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 r010-csrt-149436129600393"
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 ;