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-PT-V80P20N20, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r010-csrt-149436129800537
=====================================================================

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


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((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((("NB_ATTENTE_B_0>=1")&&("ROUTE_B>=1"))||(("NB_ATTENTE_B_1>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_2>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_3>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_4>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_5>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_6>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_7>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_8>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_9>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_10>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_11>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_12>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_13>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_14>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_15>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_16>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_17>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_18>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_19>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_20>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_21>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_22>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_23>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_24>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_25>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_26>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_27>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_28>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_29>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_30>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_31>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_32>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_33>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_34>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_35>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_36>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_37>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_38>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_39>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_40>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_41>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_42>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_43>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_44>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_45>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_46>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_47>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_48>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_49>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_50>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_51>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_52>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_53>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_54>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_55>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_56>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_57>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_58>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_59>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_60>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_61>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_62>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_63>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_64>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_65>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_66>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_67>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_68>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_69>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_70>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_71>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_72>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_73>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_74>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_75>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_76>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_77>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_78>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_79>=1")&&("ROUTE_B>=1")))||(("NB_ATTENTE_B_80>=1")&&("ROUTE_B>=1")))U((("CAPACITE>=20")&&("VIDANGE_1>=1"))||(("CAPACITE>=20")&&("VIDANGE_2>=1"))))))))
Formula 0 simplified : !GFG((("NB_ATTENTE_B_0>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_1>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_2>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_3>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_4>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_5>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_6>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_7>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_8>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_9>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_10>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_11>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_12>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_13>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_14>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_15>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_16>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_17>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_18>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_19>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_20>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_21>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_22>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_23>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_24>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_25>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_26>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_27>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_28>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_29>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_30>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_31>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_32>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_33>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_34>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_35>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_36>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_37>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_38>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_39>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_40>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_41>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_42>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_43>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_44>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_45>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_46>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_47>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_48>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_49>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_50>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_51>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_52>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_53>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_54>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_55>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_56>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_57>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_58>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_59>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_60>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_61>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_62>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_63>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_64>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_65>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_66>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_67>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_68>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_69>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_70>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_71>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_72>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_73>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_74>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_75>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_76>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_77>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_78>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_79>=1" & "ROUTE_B>=1") | ("NB_ATTENTE_B_80>=1" & "ROUTE_B>=1")) U (("CAPACITE>=20" & "VIDANGE_1>=1") | ("CAPACITE>=20" & "VIDANGE_2>=1")))
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 3728 rows 198 cols
invariant : 1'NB_ATTENTE_B_0 + 1'NB_ATTENTE_B_1 + 1'NB_ATTENTE_B_2 + 1'NB_ATTENTE_B_3 + 1'NB_ATTENTE_B_4 + 1'NB_ATTENTE_B_5 + 1'NB_ATTENTE_B_6 + 1'NB_ATTENTE_B_7 + 1'NB_ATTENTE_B_8 + 1'NB_ATTENTE_B_9 + 1'NB_ATTENTE_B_10 + 1'NB_ATTENTE_B_11 + 1'NB_ATTENTE_B_12 + 1'NB_ATTENTE_B_13 + 1'NB_ATTENTE_B_14 + 1'NB_ATTENTE_B_15 + 1'NB_ATTENTE_B_16 + 1'NB_ATTENTE_B_17 + 1'NB_ATTENTE_B_18 + 1'NB_ATTENTE_B_19 + 1'NB_ATTENTE_B_20 + 1'NB_ATTENTE_B_21 + 1'NB_ATTENTE_B_22 + 1'NB_ATTENTE_B_23 + 1'NB_ATTENTE_B_24 + 1'NB_ATTENTE_B_25 + 1'NB_ATTENTE_B_26 + 1'NB_ATTENTE_B_27 + 1'NB_ATTENTE_B_28 + 1'NB_ATTENTE_B_29 + 1'NB_ATTENTE_B_30 + 1'NB_ATTENTE_B_31 + 1'NB_ATTENTE_B_32 + 1'NB_ATTENTE_B_33 + 1'NB_ATTENTE_B_34 + 1'NB_ATTENTE_B_35 + 1'NB_ATTENTE_B_36 + 1'NB_ATTENTE_B_37 + 1'NB_ATTENTE_B_38 + 1'NB_ATTENTE_B_39 + 1'NB_ATTENTE_B_40 + 1'NB_ATTENTE_B_41 + 1'NB_ATTENTE_B_42 + 1'NB_ATTENTE_B_43 + 1'NB_ATTENTE_B_44 + 1'NB_ATTENTE_B_45 + 1'NB_ATTENTE_B_46 + 1'NB_ATTENTE_B_47 + 1'NB_ATTENTE_B_48 + 1'NB_ATTENTE_B_49 + 1'NB_ATTENTE_B_50 + 1'NB_ATTENTE_B_51 + 1'NB_ATTENTE_B_52 + 1'NB_ATTENTE_B_53 + 1'NB_ATTENTE_B_54 + 1'NB_ATTENTE_B_55 + 1'NB_ATTENTE_B_56 + 1'NB_ATTENTE_B_57 + 1'NB_ATTENTE_B_58 + 1'NB_ATTENTE_B_59 + 1'NB_ATTENTE_B_60 + 1'NB_ATTENTE_B_61 + 1'NB_ATTENTE_B_62 + 1'NB_ATTENTE_B_63 + 1'NB_ATTENTE_B_64 + 1'NB_ATTENTE_B_65 + 1'NB_ATTENTE_B_66 + 1'NB_ATTENTE_B_67 + 1'NB_ATTENTE_B_68 + 1'NB_ATTENTE_B_69 + 1'NB_ATTENTE_B_70 + 1'NB_ATTENTE_B_71 + 1'NB_ATTENTE_B_72 + 1'NB_ATTENTE_B_73 + 1'NB_ATTENTE_B_74 + 1'NB_ATTENTE_B_75 + 1'NB_ATTENTE_B_76 + 1'NB_ATTENTE_B_77 + 1'NB_ATTENTE_B_78 + 1'NB_ATTENTE_B_79 + 1'NB_ATTENTE_B_80= 1
invariant : 1'ROUTE_A + 1'ATTENTE_A + 1'SUR_PONT_A + 1'SORTI_A= 80
invariant : 1'COMPTEUR_0 + 1'COMPTEUR_1 + 1'COMPTEUR_2 + 1'COMPTEUR_3 + 1'COMPTEUR_4 + 1'COMPTEUR_5 + 1'COMPTEUR_6 + 1'COMPTEUR_7 + 1'COMPTEUR_8 + 1'COMPTEUR_9 + 1'COMPTEUR_10 + 1'COMPTEUR_11 + 1'COMPTEUR_12 + 1'COMPTEUR_13 + 1'COMPTEUR_14 + 1'COMPTEUR_15 + 1'COMPTEUR_16 + 1'COMPTEUR_17 + 1'COMPTEUR_18 + 1'COMPTEUR_19 + 1'COMPTEUR_20= 1
invariant : 1'SUR_PONT_A + 1'CAPACITE + 1'SUR_PONT_B= 20
invariant : -1'SUR_PONT_A + -1'CAPACITE + 1'ATTENTE_B + 1'SORTI_B + 1'ROUTE_B= 60
invariant : 1'NB_ATTENTE_A_0 + 1'NB_ATTENTE_A_1 + 1'NB_ATTENTE_A_2 + 1'NB_ATTENTE_A_3 + 1'NB_ATTENTE_A_4 + 1'NB_ATTENTE_A_5 + 1'NB_ATTENTE_A_6 + 1'NB_ATTENTE_A_7 + 1'NB_ATTENTE_A_8 + 1'NB_ATTENTE_A_9 + 1'NB_ATTENTE_A_10 + 1'NB_ATTENTE_A_11 + 1'NB_ATTENTE_A_12 + 1'NB_ATTENTE_A_13 + 1'NB_ATTENTE_A_14 + 1'NB_ATTENTE_A_15 + 1'NB_ATTENTE_A_16 + 1'NB_ATTENTE_A_17 + 1'NB_ATTENTE_A_18 + 1'NB_ATTENTE_A_19 + 1'NB_ATTENTE_A_20 + 1'NB_ATTENTE_A_21 + 1'NB_ATTENTE_A_22 + 1'NB_ATTENTE_A_23 + 1'NB_ATTENTE_A_24 + 1'NB_ATTENTE_A_25 + 1'NB_ATTENTE_A_26 + 1'NB_ATTENTE_A_27 + 1'NB_ATTENTE_A_28 + 1'NB_ATTENTE_A_29 + 1'NB_ATTENTE_A_30 + 1'NB_ATTENTE_A_31 + 1'NB_ATTENTE_A_32 + 1'NB_ATTENTE_A_33 + 1'NB_ATTENTE_A_34 + 1'NB_ATTENTE_A_35 + 1'NB_ATTENTE_A_36 + 1'NB_ATTENTE_A_37 + 1'NB_ATTENTE_A_38 + 1'NB_ATTENTE_A_39 + 1'NB_ATTENTE_A_40 + 1'NB_ATTENTE_A_41 + 1'NB_ATTENTE_A_42 + 1'NB_ATTENTE_A_43 + 1'NB_ATTENTE_A_44 + 1'NB_ATTENTE_A_45 + 1'NB_ATTENTE_A_46 + 1'NB_ATTENTE_A_47 + 1'NB_ATTENTE_A_48 + 1'NB_ATTENTE_A_49 + 1'NB_ATTENTE_A_50 + 1'NB_ATTENTE_A_51 + 1'NB_ATTENTE_A_52 + 1'NB_ATTENTE_A_53 + 1'NB_ATTENTE_A_54 + 1'NB_ATTENTE_A_55 + 1'NB_ATTENTE_A_56 + 1'NB_ATTENTE_A_57 + 1'NB_ATTENTE_A_58 + 1'NB_ATTENTE_A_59 + 1'NB_ATTENTE_A_60 + 1'NB_ATTENTE_A_61 + 1'NB_ATTENTE_A_62 + 1'NB_ATTENTE_A_63 + 1'NB_ATTENTE_A_64 + 1'NB_ATTENTE_A_65 + 1'NB_ATTENTE_A_66 + 1'NB_ATTENTE_A_67 + 1'NB_ATTENTE_A_68 + 1'NB_ATTENTE_A_69 + 1'NB_ATTENTE_A_70 + 1'NB_ATTENTE_A_71 + 1'NB_ATTENTE_A_72 + 1'NB_ATTENTE_A_73 + 1'NB_ATTENTE_A_74 + 1'NB_ATTENTE_A_75 + 1'NB_ATTENTE_A_76 + 1'NB_ATTENTE_A_77 + 1'NB_ATTENTE_A_78 + 1'NB_ATTENTE_A_79 + 1'NB_ATTENTE_A_80= 1
invariant : 1'CONTROLEUR_1 + 1'CONTROLEUR_2 + 1'CHOIX_1 + 1'CHOIX_2 + 1'VIDANGE_1 + 1'VIDANGE_2= 1
Detected timeout of ITS tools.

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLFireability -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 01, 2017 2:00:13 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 2:00:14 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 333 ms
Jun 01, 2017 2:00:14 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 198 places.
Jun 01, 2017 2:00:14 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 3728 transitions.
Jun 01, 2017 2:00:16 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 768 ms
Jun 01, 2017 2:00:16 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 73 ms
Jun 01, 2017 2:00:16 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 37 ms
Jun 01, 2017 2:00:18 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 440 ms
Jun 01, 2017 2:00:33 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 198 variables to be positive in 15230 ms
Jun 01, 2017 2:00:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 3728 transitions.
Jun 01, 2017 2:00:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3728 took 288 ms. Total solver calls (SAT/UNSAT): 1943(2/1941)
Jun 01, 2017 2:00:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/3728 took 1410 ms. Total solver calls (SAT/UNSAT): 9715(10/9705)
Jun 01, 2017 2:00:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/3728 took 2576 ms. Total solver calls (SAT/UNSAT): 17487(18/17469)
Jun 01, 2017 2:00:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/3728 took 3698 ms. Total solver calls (SAT/UNSAT): 25259(26/25233)
Jun 01, 2017 2:00:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :16/3728 took 4799 ms. Total solver calls (SAT/UNSAT): 33031(34/32997)
Jun 01, 2017 2:00:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/3728 took 5876 ms. Total solver calls (SAT/UNSAT): 40803(42/40761)
Jun 01, 2017 2:00:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/3728 took 6951 ms. Total solver calls (SAT/UNSAT): 48575(50/48525)
Jun 01, 2017 2:00:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/3728 took 8021 ms. Total solver calls (SAT/UNSAT): 56347(58/56289)
Jun 01, 2017 2:00:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/3728 took 9090 ms. Total solver calls (SAT/UNSAT): 64119(66/64053)
Jun 01, 2017 2:00:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/3728 took 10182 ms. Total solver calls (SAT/UNSAT): 71891(74/71817)
Jun 01, 2017 2:00:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/3728 took 11253 ms. Total solver calls (SAT/UNSAT): 79663(82/79581)
Jun 01, 2017 2:00:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/3728 took 12320 ms. Total solver calls (SAT/UNSAT): 87435(90/87345)
Jun 01, 2017 2:00:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/3728 took 13383 ms. Total solver calls (SAT/UNSAT): 95207(98/95109)
Jun 01, 2017 2:00:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/3728 took 14452 ms. Total solver calls (SAT/UNSAT): 102979(106/102873)
Jun 01, 2017 2:00:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/3728 took 15513 ms. Total solver calls (SAT/UNSAT): 110751(114/110637)
Jun 01, 2017 2:00:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/3728 took 16587 ms. Total solver calls (SAT/UNSAT): 118523(122/118401)
Jun 01, 2017 2:00:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/3728 took 17655 ms. Total solver calls (SAT/UNSAT): 126295(130/126165)
Jun 01, 2017 2:00:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/3728 took 18727 ms. Total solver calls (SAT/UNSAT): 134067(138/133929)
Jun 01, 2017 2:00:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/3728 took 19813 ms. Total solver calls (SAT/UNSAT): 141839(146/141693)
Jun 01, 2017 2:00:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/3728 took 20919 ms. Total solver calls (SAT/UNSAT): 149611(154/149457)
Jun 01, 2017 2:00:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/3728 took 21985 ms. Total solver calls (SAT/UNSAT): 157308(163/157145)
Jun 01, 2017 2:00:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/3728 took 23054 ms. Total solver calls (SAT/UNSAT): 164784(175/164609)
Jun 01, 2017 2:00:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/3728 took 24070 ms. Total solver calls (SAT/UNSAT): 172260(187/172073)
Jun 01, 2017 2:00:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/3728 took 25075 ms. Total solver calls (SAT/UNSAT): 179736(199/179537)
Jun 01, 2017 2:00:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/3728 took 26090 ms. Total solver calls (SAT/UNSAT): 187212(211/187001)
Jun 01, 2017 2:01:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/3728 took 27120 ms. Total solver calls (SAT/UNSAT): 194688(223/194465)
Jun 01, 2017 2:01:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/3728 took 28149 ms. Total solver calls (SAT/UNSAT): 202164(235/201929)
Jun 01, 2017 2:01:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/3728 took 29153 ms. Total solver calls (SAT/UNSAT): 209640(247/209393)
Jun 01, 2017 2:01:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/3728 took 30160 ms. Total solver calls (SAT/UNSAT): 217116(259/216857)
Jun 01, 2017 2:01:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/3728 took 31164 ms. Total solver calls (SAT/UNSAT): 224592(271/224321)
Jun 01, 2017 2:01:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/3728 took 32169 ms. Total solver calls (SAT/UNSAT): 232068(283/231785)
Jun 01, 2017 2:01:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/3728 took 33174 ms. Total solver calls (SAT/UNSAT): 239544(295/239249)
Jun 01, 2017 2:01:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/3728 took 34180 ms. Total solver calls (SAT/UNSAT): 247020(307/246713)
Jun 01, 2017 2:01:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/3728 took 35188 ms. Total solver calls (SAT/UNSAT): 254496(319/254177)
Jun 01, 2017 2:01:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/3728 took 36194 ms. Total solver calls (SAT/UNSAT): 261972(331/261641)
Jun 01, 2017 2:01:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/3728 took 37211 ms. Total solver calls (SAT/UNSAT): 269448(343/269105)
Jun 01, 2017 2:01:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/3728 took 38225 ms. Total solver calls (SAT/UNSAT): 276924(355/276569)
Jun 01, 2017 2:01:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/3728 took 39245 ms. Total solver calls (SAT/UNSAT): 284400(367/284033)
Jun 01, 2017 2:01:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/3728 took 40259 ms. Total solver calls (SAT/UNSAT): 291876(379/291497)
Jun 01, 2017 2:01:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/3728 took 41268 ms. Total solver calls (SAT/UNSAT): 299352(391/298961)
Jun 01, 2017 2:01:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :160/3728 took 42274 ms. Total solver calls (SAT/UNSAT): 306826(403/306423)
Jun 01, 2017 2:01:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/3728 took 43277 ms. Total solver calls (SAT/UNSAT): 314298(415/313883)
Jun 01, 2017 2:01:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/3728 took 44281 ms. Total solver calls (SAT/UNSAT): 321770(427/321343)
Jun 01, 2017 2:01:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/3728 took 45287 ms. Total solver calls (SAT/UNSAT): 329242(439/328803)
Jun 01, 2017 2:01:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/3728 took 46291 ms. Total solver calls (SAT/UNSAT): 336714(451/336263)
Jun 01, 2017 2:01:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/3728 took 47310 ms. Total solver calls (SAT/UNSAT): 344186(463/343723)
Jun 01, 2017 2:01:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :184/3728 took 48338 ms. Total solver calls (SAT/UNSAT): 351658(475/351183)
Jun 01, 2017 2:01:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :188/3728 took 49353 ms. Total solver calls (SAT/UNSAT): 359130(487/358643)
Jun 01, 2017 2:01:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/3728 took 50361 ms. Total solver calls (SAT/UNSAT): 366602(499/366103)
Jun 01, 2017 2:01:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/3728 took 51370 ms. Total solver calls (SAT/UNSAT): 374074(511/373563)
Jun 01, 2017 2:01:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/3728 took 52379 ms. Total solver calls (SAT/UNSAT): 381546(523/381023)
Jun 01, 2017 2:01:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/3728 took 53384 ms. Total solver calls (SAT/UNSAT): 389018(535/388483)
Jun 01, 2017 2:01:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :208/3728 took 54393 ms. Total solver calls (SAT/UNSAT): 396490(547/395943)
Jun 01, 2017 2:01:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :212/3728 took 55400 ms. Total solver calls (SAT/UNSAT): 403962(559/403403)
Jun 01, 2017 2:01:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/3728 took 56409 ms. Total solver calls (SAT/UNSAT): 411434(571/410863)
Jun 01, 2017 2:01:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/3728 took 57418 ms. Total solver calls (SAT/UNSAT): 418906(583/418323)
Jun 01, 2017 2:01:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :224/3728 took 58480 ms. Total solver calls (SAT/UNSAT): 426378(595/425783)
Jun 01, 2017 2:01:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/3728 took 59524 ms. Total solver calls (SAT/UNSAT): 433850(607/433243)
Jun 01, 2017 2:01:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :232/3728 took 60566 ms. Total solver calls (SAT/UNSAT): 441322(619/440703)
Jun 01, 2017 2:01:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/3728 took 61606 ms. Total solver calls (SAT/UNSAT): 448794(631/448163)
Jun 01, 2017 2:01:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/3728 took 62644 ms. Total solver calls (SAT/UNSAT): 456265(643/455622)
Jun 01, 2017 2:01:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :244/3728 took 63686 ms. Total solver calls (SAT/UNSAT): 463737(655/463082)
Jun 01, 2017 2:01:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/3728 took 64727 ms. Total solver calls (SAT/UNSAT): 471209(667/470542)
Jun 01, 2017 2:01:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/3728 took 65777 ms. Total solver calls (SAT/UNSAT): 478681(679/478002)
Jun 01, 2017 2:01:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :256/3728 took 66824 ms. Total solver calls (SAT/UNSAT): 486153(691/485462)
Jun 01, 2017 2:01:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :260/3728 took 67867 ms. Total solver calls (SAT/UNSAT): 493625(703/492922)
Jun 01, 2017 2:01:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :264/3728 took 68907 ms. Total solver calls (SAT/UNSAT): 501097(715/500382)
Jun 01, 2017 2:01:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :268/3728 took 69949 ms. Total solver calls (SAT/UNSAT): 508569(727/507842)
Jun 01, 2017 2:01:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :272/3728 took 70991 ms. Total solver calls (SAT/UNSAT): 516041(739/515302)
Jun 01, 2017 2:01:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :276/3728 took 72052 ms. Total solver calls (SAT/UNSAT): 523513(751/522762)
Jun 01, 2017 2:01:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :280/3728 took 73091 ms. Total solver calls (SAT/UNSAT): 530985(763/530222)
Jun 01, 2017 2:01:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :284/3728 took 74131 ms. Total solver calls (SAT/UNSAT): 538457(775/537682)
Jun 01, 2017 2:01:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :288/3728 took 75171 ms. Total solver calls (SAT/UNSAT): 545929(787/545142)
Jun 01, 2017 2:01:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/3728 took 76210 ms. Total solver calls (SAT/UNSAT): 553401(799/552602)
Jun 01, 2017 2:01:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/3728 took 77250 ms. Total solver calls (SAT/UNSAT): 560873(811/560062)
Jun 01, 2017 2:01:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :300/3728 took 78289 ms. Total solver calls (SAT/UNSAT): 568345(823/567522)
Jun 01, 2017 2:01:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/3728 took 79328 ms. Total solver calls (SAT/UNSAT): 575817(835/574982)
Jun 01, 2017 2:01:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/3728 took 80366 ms. Total solver calls (SAT/UNSAT): 583289(847/582442)
Jun 01, 2017 2:01:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :312/3728 took 81403 ms. Total solver calls (SAT/UNSAT): 590761(859/589902)
Jun 01, 2017 2:01:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/3728 took 82442 ms. Total solver calls (SAT/UNSAT): 598233(871/597362)
Jun 01, 2017 2:01:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :320/3728 took 83478 ms. Total solver calls (SAT/UNSAT): 605704(883/604821)
Jun 01, 2017 2:01:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/3728 took 84520 ms. Total solver calls (SAT/UNSAT): 613176(895/612281)
Jun 01, 2017 2:01:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :328/3728 took 85554 ms. Total solver calls (SAT/UNSAT): 620648(907/619741)
Jun 01, 2017 2:02:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/3728 took 86589 ms. Total solver calls (SAT/UNSAT): 628120(919/627201)
Jun 01, 2017 2:02:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/3728 took 87627 ms. Total solver calls (SAT/UNSAT): 635592(931/634661)
Jun 01, 2017 2:02:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :340/3728 took 88664 ms. Total solver calls (SAT/UNSAT): 643064(943/642121)
Jun 01, 2017 2:02:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :344/3728 took 89702 ms. Total solver calls (SAT/UNSAT): 650536(955/649581)
Jun 01, 2017 2:02:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/3728 took 90739 ms. Total solver calls (SAT/UNSAT): 658008(967/657041)
Jun 01, 2017 2:02:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/3728 took 91789 ms. Total solver calls (SAT/UNSAT): 665480(979/664501)
Jun 01, 2017 2:02:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/3728 took 92861 ms. Total solver calls (SAT/UNSAT): 672952(991/671961)
Jun 01, 2017 2:02:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/3728 took 93873 ms. Total solver calls (SAT/UNSAT): 680424(1003/679421)
Jun 01, 2017 2:02:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/3728 took 94933 ms. Total solver calls (SAT/UNSAT): 687896(1015/686881)
Jun 01, 2017 2:02:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/3728 took 95949 ms. Total solver calls (SAT/UNSAT): 695368(1027/694341)
Jun 01, 2017 2:02:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/3728 took 96955 ms. Total solver calls (SAT/UNSAT): 702840(1039/701801)
Jun 01, 2017 2:02:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/3728 took 97985 ms. Total solver calls (SAT/UNSAT): 710312(1051/709261)
Jun 01, 2017 2:02:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/3728 took 99004 ms. Total solver calls (SAT/UNSAT): 717784(1063/716721)
Jun 01, 2017 2:02:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/3728 took 100021 ms. Total solver calls (SAT/UNSAT): 725256(1075/724181)
Jun 01, 2017 2:02:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/3728 took 101030 ms. Total solver calls (SAT/UNSAT): 732728(1087/731641)
Jun 01, 2017 2:02:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/3728 took 102037 ms. Total solver calls (SAT/UNSAT): 740200(1099/739101)
Jun 01, 2017 2:02:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/3728 took 103045 ms. Total solver calls (SAT/UNSAT): 747672(1111/746561)
Jun 01, 2017 2:02:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/3728 took 104052 ms. Total solver calls (SAT/UNSAT): 755143(1123/754020)
Jun 01, 2017 2:02:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/3728 took 105063 ms. Total solver calls (SAT/UNSAT): 762615(1135/761480)
Jun 01, 2017 2:02:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/3728 took 106076 ms. Total solver calls (SAT/UNSAT): 770087(1147/768940)
Jun 01, 2017 2:02:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/3728 took 107087 ms. Total solver calls (SAT/UNSAT): 777559(1159/776400)
Jun 01, 2017 2:02:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/3728 took 108096 ms. Total solver calls (SAT/UNSAT): 785031(1171/783860)
Jun 01, 2017 2:02:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/3728 took 109110 ms. Total solver calls (SAT/UNSAT): 792503(1183/791320)
Jun 01, 2017 2:02:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/3728 took 110134 ms. Total solver calls (SAT/UNSAT): 799975(1195/798780)
Jun 01, 2017 2:02:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/3728 took 111158 ms. Total solver calls (SAT/UNSAT): 807447(1207/806240)
Jun 01, 2017 2:02:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/3728 took 112176 ms. Total solver calls (SAT/UNSAT): 814919(1219/813700)
Jun 01, 2017 2:02:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/3728 took 113187 ms. Total solver calls (SAT/UNSAT): 822391(1231/821160)
Jun 01, 2017 2:02:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/3728 took 114200 ms. Total solver calls (SAT/UNSAT): 829863(1243/828620)
Jun 01, 2017 2:02:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/3728 took 115262 ms. Total solver calls (SAT/UNSAT): 837335(1255/836080)
Jun 01, 2017 2:02:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/3728 took 116277 ms. Total solver calls (SAT/UNSAT): 844807(1267/843540)
Jun 01, 2017 2:02:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/3728 took 117289 ms. Total solver calls (SAT/UNSAT): 852279(1279/851000)
Jun 01, 2017 2:02:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/3728 took 118301 ms. Total solver calls (SAT/UNSAT): 859751(1291/858460)
Jun 01, 2017 2:02:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/3728 took 119315 ms. Total solver calls (SAT/UNSAT): 867223(1303/865920)
Jun 01, 2017 2:02:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/3728 took 120330 ms. Total solver calls (SAT/UNSAT): 874695(1315/873380)
Jun 01, 2017 2:02:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/3728 took 121345 ms. Total solver calls (SAT/UNSAT): 882167(1327/880840)
Jun 01, 2017 2:02:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/3728 took 122357 ms. Total solver calls (SAT/UNSAT): 889639(1339/888300)
Jun 01, 2017 2:02:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/3728 took 123381 ms. Total solver calls (SAT/UNSAT): 897111(1351/895760)
Jun 01, 2017 2:02:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/3728 took 124394 ms. Total solver calls (SAT/UNSAT): 904582(1363/903219)
Jun 01, 2017 2:02:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/3728 took 125409 ms. Total solver calls (SAT/UNSAT): 912054(1375/910679)
Jun 01, 2017 2:02:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/3728 took 126422 ms. Total solver calls (SAT/UNSAT): 919526(1387/918139)
Jun 01, 2017 2:02:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/3728 took 127437 ms. Total solver calls (SAT/UNSAT): 926998(1399/925599)
Jun 01, 2017 2:02:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/3728 took 128450 ms. Total solver calls (SAT/UNSAT): 934470(1411/933059)
Jun 01, 2017 2:02:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/3728 took 129508 ms. Total solver calls (SAT/UNSAT): 941942(1423/940519)
Jun 01, 2017 2:02:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/3728 took 130532 ms. Total solver calls (SAT/UNSAT): 949414(1435/947979)
Jun 01, 2017 2:02:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/3728 took 131553 ms. Total solver calls (SAT/UNSAT): 956886(1447/955439)
Jun 01, 2017 2:02:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/3728 took 132568 ms. Total solver calls (SAT/UNSAT): 964358(1459/962899)
Jun 01, 2017 2:02:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/3728 took 133582 ms. Total solver calls (SAT/UNSAT): 971830(1471/970359)
Jun 01, 2017 2:02:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/3728 took 134641 ms. Total solver calls (SAT/UNSAT): 979302(1483/977819)
Jun 01, 2017 2:02:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/3728 took 135666 ms. Total solver calls (SAT/UNSAT): 986774(1495/985279)
Jun 01, 2017 2:02:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/3728 took 136691 ms. Total solver calls (SAT/UNSAT): 994246(1507/992739)
Jun 01, 2017 2:02:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/3728 took 137707 ms. Total solver calls (SAT/UNSAT): 1001718(1519/1000199)
Jun 01, 2017 2:02:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/3728 took 138723 ms. Total solver calls (SAT/UNSAT): 1009190(1531/1007659)
Jun 01, 2017 2:02:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/3728 took 139739 ms. Total solver calls (SAT/UNSAT): 1016662(1543/1015119)
Jun 01, 2017 2:02:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/3728 took 140797 ms. Total solver calls (SAT/UNSAT): 1024134(1555/1022579)
Jun 01, 2017 2:02:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/3728 took 141809 ms. Total solver calls (SAT/UNSAT): 1031606(1567/1030039)
Jun 01, 2017 2:02:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/3728 took 142821 ms. Total solver calls (SAT/UNSAT): 1039078(1579/1037499)
Jun 01, 2017 2:02:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/3728 took 143833 ms. Total solver calls (SAT/UNSAT): 1046550(1591/1044959)
Jun 01, 2017 2:02:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/3728 took 144844 ms. Total solver calls (SAT/UNSAT): 1054021(1603/1052418)
Jun 01, 2017 2:02:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/3728 took 145855 ms. Total solver calls (SAT/UNSAT): 1061493(1615/1059878)
Jun 01, 2017 2:03:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/3728 took 146867 ms. Total solver calls (SAT/UNSAT): 1068965(1627/1067338)
Jun 01, 2017 2:03:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/3728 took 147880 ms. Total solver calls (SAT/UNSAT): 1076437(1639/1074798)
Jun 01, 2017 2:03:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/3728 took 148893 ms. Total solver calls (SAT/UNSAT): 1083909(1651/1082258)
Jun 01, 2017 2:03:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/3728 took 149912 ms. Total solver calls (SAT/UNSAT): 1091381(1663/1089718)
Jun 01, 2017 2:03:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/3728 took 150931 ms. Total solver calls (SAT/UNSAT): 1098853(1675/1097178)
Jun 01, 2017 2:03:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/3728 took 151946 ms. Total solver calls (SAT/UNSAT): 1106325(1687/1104638)
Jun 01, 2017 2:03:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :592/3728 took 152956 ms. Total solver calls (SAT/UNSAT): 1113797(1699/1112098)
Jun 01, 2017 2:03:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :596/3728 took 153963 ms. Total solver calls (SAT/UNSAT): 1121269(1711/1119558)
Jun 01, 2017 2:03:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :600/3728 took 154972 ms. Total solver calls (SAT/UNSAT): 1128741(1723/1127018)
Jun 01, 2017 2:03:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :604/3728 took 155984 ms. Total solver calls (SAT/UNSAT): 1136213(1735/1134478)
Jun 01, 2017 2:03:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :608/3728 took 156992 ms. Total solver calls (SAT/UNSAT): 1143685(1747/1141938)
Jun 01, 2017 2:03:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :612/3728 took 158001 ms. Total solver calls (SAT/UNSAT): 1151157(1759/1149398)
Jun 01, 2017 2:03:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :616/3728 took 159010 ms. Total solver calls (SAT/UNSAT): 1158629(1771/1156858)
Jun 01, 2017 2:03:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :620/3728 took 160019 ms. Total solver calls (SAT/UNSAT): 1166101(1783/1164318)
Jun 01, 2017 2:03:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :624/3728 took 161027 ms. Total solver calls (SAT/UNSAT): 1173573(1795/1171778)
Jun 01, 2017 2:03:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :628/3728 took 162036 ms. Total solver calls (SAT/UNSAT): 1181045(1807/1179238)
Jun 01, 2017 2:03:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :632/3728 took 163106 ms. Total solver calls (SAT/UNSAT): 1188517(1819/1186698)
Jun 01, 2017 2:03:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :636/3728 took 164127 ms. Total solver calls (SAT/UNSAT): 1195989(1831/1194158)
Jun 01, 2017 2:03:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :640/3728 took 165142 ms. Total solver calls (SAT/UNSAT): 1203460(1843/1201617)
Jun 01, 2017 2:03:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :644/3728 took 166158 ms. Total solver calls (SAT/UNSAT): 1210932(1855/1209077)
Jun 01, 2017 2:03:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :648/3728 took 167173 ms. Total solver calls (SAT/UNSAT): 1218404(1867/1216537)
Jun 01, 2017 2:03:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :652/3728 took 168187 ms. Total solver calls (SAT/UNSAT): 1225876(1879/1223997)
Jun 01, 2017 2:03:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :656/3728 took 169202 ms. Total solver calls (SAT/UNSAT): 1233348(1891/1231457)
Jun 01, 2017 2:03:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :660/3728 took 170217 ms. Total solver calls (SAT/UNSAT): 1240820(1903/1238917)
Jun 01, 2017 2:03:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :664/3728 took 171234 ms. Total solver calls (SAT/UNSAT): 1248292(1915/1246377)
Jun 01, 2017 2:03:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :668/3728 took 172252 ms. Total solver calls (SAT/UNSAT): 1255764(1927/1253837)
Jun 01, 2017 2:03:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :672/3728 took 173266 ms. Total solver calls (SAT/UNSAT): 1263236(1939/1261297)
Jun 01, 2017 2:03:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :676/3728 took 174282 ms. Total solver calls (SAT/UNSAT): 1270708(1951/1268757)
Jun 01, 2017 2:03:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :680/3728 took 175301 ms. Total solver calls (SAT/UNSAT): 1278180(1963/1276217)
Jun 01, 2017 2:03:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :684/3728 took 176318 ms. Total solver calls (SAT/UNSAT): 1285652(1975/1283677)
Jun 01, 2017 2:03:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :688/3728 took 177331 ms. Total solver calls (SAT/UNSAT): 1293124(1987/1291137)
Jun 01, 2017 2:03:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :692/3728 took 178343 ms. Total solver calls (SAT/UNSAT): 1300596(1999/1298597)
Jun 01, 2017 2:03:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :696/3728 took 179356 ms. Total solver calls (SAT/UNSAT): 1308068(2011/1306057)
Jun 01, 2017 2:03:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :700/3728 took 180370 ms. Total solver calls (SAT/UNSAT): 1315540(2023/1313517)
Jun 01, 2017 2:03:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :704/3728 took 181381 ms. Total solver calls (SAT/UNSAT): 1323012(2035/1320977)
Jun 01, 2017 2:03:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :708/3728 took 182397 ms. Total solver calls (SAT/UNSAT): 1330484(2047/1328437)
Jun 01, 2017 2:03:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :712/3728 took 183410 ms. Total solver calls (SAT/UNSAT): 1337956(2059/1335897)
Jun 01, 2017 2:03:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :716/3728 took 184424 ms. Total solver calls (SAT/UNSAT): 1345428(2071/1343357)
Jun 01, 2017 2:03:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :720/3728 took 185438 ms. Total solver calls (SAT/UNSAT): 1352899(2083/1350816)
Jun 01, 2017 2:03:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :724/3728 took 186457 ms. Total solver calls (SAT/UNSAT): 1360371(2095/1358276)
Jun 01, 2017 2:03:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :728/3728 took 187472 ms. Total solver calls (SAT/UNSAT): 1367843(2107/1365736)
Jun 01, 2017 2:03:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :732/3728 took 188484 ms. Total solver calls (SAT/UNSAT): 1375315(2119/1373196)
Jun 01, 2017 2:03:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :736/3728 took 189498 ms. Total solver calls (SAT/UNSAT): 1382787(2131/1380656)
Jun 01, 2017 2:03:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :740/3728 took 190510 ms. Total solver calls (SAT/UNSAT): 1390259(2143/1388116)
Jun 01, 2017 2:03:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :744/3728 took 191523 ms. Total solver calls (SAT/UNSAT): 1397731(2155/1395576)
Jun 01, 2017 2:03:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :748/3728 took 192534 ms. Total solver calls (SAT/UNSAT): 1405203(2167/1403036)
Jun 01, 2017 2:03:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :752/3728 took 193545 ms. Total solver calls (SAT/UNSAT): 1412675(2179/1410496)
Jun 01, 2017 2:03:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :756/3728 took 194560 ms. Total solver calls (SAT/UNSAT): 1420147(2191/1417956)
Jun 01, 2017 2:03:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :760/3728 took 195574 ms. Total solver calls (SAT/UNSAT): 1427619(2203/1425416)
Jun 01, 2017 2:03:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :764/3728 took 196591 ms. Total solver calls (SAT/UNSAT): 1435091(2215/1432876)
Jun 01, 2017 2:03:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :768/3728 took 197616 ms. Total solver calls (SAT/UNSAT): 1442563(2227/1440336)
Jun 01, 2017 2:03:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :772/3728 took 198628 ms. Total solver calls (SAT/UNSAT): 1450035(2239/1447796)
Jun 01, 2017 2:03:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :776/3728 took 199643 ms. Total solver calls (SAT/UNSAT): 1457507(2251/1455256)
Jun 01, 2017 2:03:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :780/3728 took 200709 ms. Total solver calls (SAT/UNSAT): 1464979(2263/1462716)
Jun 01, 2017 2:03:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :784/3728 took 201753 ms. Total solver calls (SAT/UNSAT): 1472451(2275/1470176)
Jun 01, 2017 2:03:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :788/3728 took 202797 ms. Total solver calls (SAT/UNSAT): 1479923(2287/1477636)
Jun 01, 2017 2:03:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :792/3728 took 203840 ms. Total solver calls (SAT/UNSAT): 1487395(2299/1485096)
Jun 01, 2017 2:03:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :796/3728 took 204872 ms. Total solver calls (SAT/UNSAT): 1494867(2311/1492556)
Jun 01, 2017 2:03:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :800/3728 took 205903 ms. Total solver calls (SAT/UNSAT): 1502338(2323/1500015)
Jun 01, 2017 2:04:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :804/3728 took 206934 ms. Total solver calls (SAT/UNSAT): 1509810(2335/1507475)
Jun 01, 2017 2:04:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :808/3728 took 207967 ms. Total solver calls (SAT/UNSAT): 1517282(2347/1514935)
Jun 01, 2017 2:04:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :812/3728 took 209005 ms. Total solver calls (SAT/UNSAT): 1524754(2359/1522395)
Jun 01, 2017 2:04:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :816/3728 took 210037 ms. Total solver calls (SAT/UNSAT): 1532226(2371/1529855)
Jun 01, 2017 2:04:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :820/3728 took 211070 ms. Total solver calls (SAT/UNSAT): 1539698(2383/1537315)
Jun 01, 2017 2:04:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :824/3728 took 212104 ms. Total solver calls (SAT/UNSAT): 1547170(2395/1544775)
Jun 01, 2017 2:04:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :828/3728 took 213138 ms. Total solver calls (SAT/UNSAT): 1554642(2407/1552235)
Jun 01, 2017 2:04:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :832/3728 took 214172 ms. Total solver calls (SAT/UNSAT): 1562114(2419/1559695)
Jun 01, 2017 2:04:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :836/3728 took 215207 ms. Total solver calls (SAT/UNSAT): 1569586(2431/1567155)
Jun 01, 2017 2:04:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :840/3728 took 216242 ms. Total solver calls (SAT/UNSAT): 1577058(2443/1574615)
Jun 01, 2017 2:04:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :844/3728 took 217277 ms. Total solver calls (SAT/UNSAT): 1584530(2455/1582075)
Jun 01, 2017 2:04:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :848/3728 took 218314 ms. Total solver calls (SAT/UNSAT): 1592002(2467/1589535)
Jun 01, 2017 2:04:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :852/3728 took 219352 ms. Total solver calls (SAT/UNSAT): 1599474(2479/1596995)
Jun 01, 2017 2:04:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :856/3728 took 220385 ms. Total solver calls (SAT/UNSAT): 1606946(2491/1604455)
Jun 01, 2017 2:04:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :860/3728 took 221419 ms. Total solver calls (SAT/UNSAT): 1614418(2503/1611915)
Jun 01, 2017 2:04:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :864/3728 took 222451 ms. Total solver calls (SAT/UNSAT): 1621890(2515/1619375)
Jun 01, 2017 2:04:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :868/3728 took 223485 ms. Total solver calls (SAT/UNSAT): 1629362(2527/1626835)
Jun 01, 2017 2:04:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :872/3728 took 224516 ms. Total solver calls (SAT/UNSAT): 1636834(2539/1634295)
Jun 01, 2017 2:04:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :876/3728 took 225548 ms. Total solver calls (SAT/UNSAT): 1644306(2551/1641755)
Jun 01, 2017 2:04:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :880/3728 took 226582 ms. Total solver calls (SAT/UNSAT): 1651777(2563/1649214)
Jun 01, 2017 2:04:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :884/3728 took 227618 ms. Total solver calls (SAT/UNSAT): 1659249(2575/1656674)
Jun 01, 2017 2:04:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :888/3728 took 228659 ms. Total solver calls (SAT/UNSAT): 1666721(2587/1664134)
Jun 01, 2017 2:04:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :892/3728 took 229699 ms. Total solver calls (SAT/UNSAT): 1674193(2599/1671594)
Jun 01, 2017 2:04:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :896/3728 took 230740 ms. Total solver calls (SAT/UNSAT): 1681665(2611/1679054)
Jun 01, 2017 2:04:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :900/3728 took 231782 ms. Total solver calls (SAT/UNSAT): 1689137(2623/1686514)
Jun 01, 2017 2:04:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :904/3728 took 232815 ms. Total solver calls (SAT/UNSAT): 1696609(2635/1693974)
Jun 01, 2017 2:04:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :908/3728 took 233846 ms. Total solver calls (SAT/UNSAT): 1704081(2647/1701434)
Jun 01, 2017 2:04:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :912/3728 took 234878 ms. Total solver calls (SAT/UNSAT): 1711553(2659/1708894)
Jun 01, 2017 2:04:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :916/3728 took 235911 ms. Total solver calls (SAT/UNSAT): 1719025(2671/1716354)
Jun 01, 2017 2:04:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :920/3728 took 236944 ms. Total solver calls (SAT/UNSAT): 1726497(2683/1723814)
Jun 01, 2017 2:04:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :924/3728 took 237987 ms. Total solver calls (SAT/UNSAT): 1733969(2695/1731274)
Jun 01, 2017 2:04:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :928/3728 took 239031 ms. Total solver calls (SAT/UNSAT): 1741441(2707/1738734)
Jun 01, 2017 2:04:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :932/3728 took 240070 ms. Total solver calls (SAT/UNSAT): 1748913(2719/1746194)
Jun 01, 2017 2:04:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :936/3728 took 241102 ms. Total solver calls (SAT/UNSAT): 1756385(2731/1753654)
Jun 01, 2017 2:04:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :940/3728 took 242136 ms. Total solver calls (SAT/UNSAT): 1763857(2743/1761114)
Jun 01, 2017 2:04:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :944/3728 took 243170 ms. Total solver calls (SAT/UNSAT): 1771329(2755/1768574)
Jun 01, 2017 2:04:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :948/3728 took 244206 ms. Total solver calls (SAT/UNSAT): 1778801(2767/1776034)
Jun 01, 2017 2:04:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :952/3728 took 245242 ms. Total solver calls (SAT/UNSAT): 1786273(2779/1783494)
Jun 01, 2017 2:04:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :956/3728 took 246276 ms. Total solver calls (SAT/UNSAT): 1793745(2791/1790954)
Jun 01, 2017 2:04:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :960/3728 took 247321 ms. Total solver calls (SAT/UNSAT): 1801216(2803/1798413)
Jun 01, 2017 2:04:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :964/3728 took 248361 ms. Total solver calls (SAT/UNSAT): 1808688(2815/1805873)
Jun 01, 2017 2:04:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :968/3728 took 249397 ms. Total solver calls (SAT/UNSAT): 1816160(2827/1813333)
Jun 01, 2017 2:04:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :972/3728 took 250432 ms. Total solver calls (SAT/UNSAT): 1823632(2839/1820793)
Jun 01, 2017 2:04:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :976/3728 took 251468 ms. Total solver calls (SAT/UNSAT): 1831104(2851/1828253)
Jun 01, 2017 2:04:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :980/3728 took 252504 ms. Total solver calls (SAT/UNSAT): 1838576(2863/1835713)
Jun 01, 2017 2:04:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :984/3728 took 253571 ms. Total solver calls (SAT/UNSAT): 1846048(2875/1843173)
Jun 01, 2017 2:04:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :988/3728 took 254592 ms. Total solver calls (SAT/UNSAT): 1853520(2887/1850633)
Jun 01, 2017 2:04:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :992/3728 took 255609 ms. Total solver calls (SAT/UNSAT): 1860992(2899/1858093)
Jun 01, 2017 2:04:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :996/3728 took 256617 ms. Total solver calls (SAT/UNSAT): 1868464(2911/1865553)
Jun 01, 2017 2:04:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1000/3728 took 257624 ms. Total solver calls (SAT/UNSAT): 1875936(2923/1873013)
Jun 01, 2017 2:04:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1004/3728 took 258633 ms. Total solver calls (SAT/UNSAT): 1883408(2935/1880473)
Jun 01, 2017 2:04:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1008/3728 took 259643 ms. Total solver calls (SAT/UNSAT): 1890880(2947/1887933)
Jun 01, 2017 2:04:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1012/3728 took 260652 ms. Total solver calls (SAT/UNSAT): 1898352(2959/1895393)
Jun 01, 2017 2:04:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1016/3728 took 261662 ms. Total solver calls (SAT/UNSAT): 1905824(2971/1902853)
Jun 01, 2017 2:04:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1020/3728 took 262675 ms. Total solver calls (SAT/UNSAT): 1913296(2983/1910313)
Jun 01, 2017 2:04:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1024/3728 took 263699 ms. Total solver calls (SAT/UNSAT): 1920768(2995/1917773)
Jun 01, 2017 2:04:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1028/3728 took 264708 ms. Total solver calls (SAT/UNSAT): 1928240(3007/1925233)
Jun 01, 2017 2:04:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1032/3728 took 265717 ms. Total solver calls (SAT/UNSAT): 1935712(3019/1932693)
Jun 01, 2017 2:05:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1036/3728 took 266729 ms. Total solver calls (SAT/UNSAT): 1943184(3031/1940153)
Jun 01, 2017 2:05:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1040/3728 took 267740 ms. Total solver calls (SAT/UNSAT): 1950655(3043/1947612)
Jun 01, 2017 2:05:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1044/3728 took 268747 ms. Total solver calls (SAT/UNSAT): 1958127(3055/1955072)
Jun 01, 2017 2:05:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1048/3728 took 269756 ms. Total solver calls (SAT/UNSAT): 1965599(3067/1962532)
Jun 01, 2017 2:05:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1052/3728 took 270764 ms. Total solver calls (SAT/UNSAT): 1973071(3079/1969992)
Jun 01, 2017 2:05:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1056/3728 took 271788 ms. Total solver calls (SAT/UNSAT): 1980543(3091/1977452)
Jun 01, 2017 2:05:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1060/3728 took 272799 ms. Total solver calls (SAT/UNSAT): 1988015(3103/1984912)
Jun 01, 2017 2:05:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1064/3728 took 273807 ms. Total solver calls (SAT/UNSAT): 1995487(3115/1992372)
Jun 01, 2017 2:05:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1068/3728 took 274816 ms. Total solver calls (SAT/UNSAT): 2002959(3127/1999832)
Jun 01, 2017 2:05:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1072/3728 took 275827 ms. Total solver calls (SAT/UNSAT): 2010431(3139/2007292)
Jun 01, 2017 2:05:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1076/3728 took 276839 ms. Total solver calls (SAT/UNSAT): 2017903(3151/2014752)
Jun 01, 2017 2:05:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1080/3728 took 277849 ms. Total solver calls (SAT/UNSAT): 2025375(3163/2022212)
Jun 01, 2017 2:05:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1084/3728 took 278908 ms. Total solver calls (SAT/UNSAT): 2032847(3175/2029672)
Jun 01, 2017 2:05:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1088/3728 took 279954 ms. Total solver calls (SAT/UNSAT): 2040319(3187/2037132)
Jun 01, 2017 2:05:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1092/3728 took 280990 ms. Total solver calls (SAT/UNSAT): 2047791(3199/2044592)
Jun 01, 2017 2:05:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1096/3728 took 282047 ms. Total solver calls (SAT/UNSAT): 2055263(3211/2052052)
Jun 01, 2017 2:05:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1100/3728 took 283152 ms. Total solver calls (SAT/UNSAT): 2062735(3223/2059512)
Jun 01, 2017 2:05:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1104/3728 took 284201 ms. Total solver calls (SAT/UNSAT): 2070207(3235/2066972)
Jun 01, 2017 2:05:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1108/3728 took 285245 ms. Total solver calls (SAT/UNSAT): 2077679(3247/2074432)
Jun 01, 2017 2:05:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1112/3728 took 286293 ms. Total solver calls (SAT/UNSAT): 2085151(3259/2081892)
Jun 01, 2017 2:05:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1116/3728 took 287344 ms. Total solver calls (SAT/UNSAT): 2092623(3271/2089352)
Jun 01, 2017 2:05:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1120/3728 took 288390 ms. Total solver calls (SAT/UNSAT): 2100094(3283/2096811)
Jun 01, 2017 2:05:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1124/3728 took 289431 ms. Total solver calls (SAT/UNSAT): 2107566(3295/2104271)
Jun 01, 2017 2:05:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1128/3728 took 290470 ms. Total solver calls (SAT/UNSAT): 2115038(3307/2111731)
Jun 01, 2017 2:05:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1132/3728 took 291510 ms. Total solver calls (SAT/UNSAT): 2122510(3319/2119191)
Jun 01, 2017 2:05:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1136/3728 took 292550 ms. Total solver calls (SAT/UNSAT): 2129982(3331/2126651)
Jun 01, 2017 2:05:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1140/3728 took 293599 ms. Total solver calls (SAT/UNSAT): 2137454(3343/2134111)
Jun 01, 2017 2:05:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1144/3728 took 294646 ms. Total solver calls (SAT/UNSAT): 2144926(3355/2141571)
Jun 01, 2017 2:05:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1148/3728 took 295694 ms. Total solver calls (SAT/UNSAT): 2152398(3367/2149031)
Jun 01, 2017 2:05:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1152/3728 took 296734 ms. Total solver calls (SAT/UNSAT): 2159870(3379/2156491)
Jun 01, 2017 2:05:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1156/3728 took 297775 ms. Total solver calls (SAT/UNSAT): 2167342(3391/2163951)
Jun 01, 2017 2:05:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1160/3728 took 298814 ms. Total solver calls (SAT/UNSAT): 2174814(3403/2171411)
Jun 01, 2017 2:05:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1164/3728 took 299853 ms. Total solver calls (SAT/UNSAT): 2182286(3415/2178871)
Jun 01, 2017 2:05:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1168/3728 took 300908 ms. Total solver calls (SAT/UNSAT): 2189758(3427/2186331)
Jun 01, 2017 2:05:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1172/3728 took 301958 ms. Total solver calls (SAT/UNSAT): 2197230(3439/2193791)
Jun 01, 2017 2:05:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1176/3728 took 303005 ms. Total solver calls (SAT/UNSAT): 2204702(3451/2201251)
Jun 01, 2017 2:05:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1180/3728 took 304044 ms. Total solver calls (SAT/UNSAT): 2212174(3463/2208711)
Jun 01, 2017 2:05:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1184/3728 took 305082 ms. Total solver calls (SAT/UNSAT): 2219646(3475/2216171)
Jun 01, 2017 2:05:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1188/3728 took 306119 ms. Total solver calls (SAT/UNSAT): 2227118(3487/2223631)
Jun 01, 2017 2:05:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1192/3728 took 307165 ms. Total solver calls (SAT/UNSAT): 2234590(3499/2231091)
Jun 01, 2017 2:05:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1196/3728 took 308206 ms. Total solver calls (SAT/UNSAT): 2242062(3511/2238551)
Jun 01, 2017 2:05:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1200/3728 took 309247 ms. Total solver calls (SAT/UNSAT): 2249533(3523/2246010)
Jun 01, 2017 2:05:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1204/3728 took 310285 ms. Total solver calls (SAT/UNSAT): 2257005(3535/2253470)
Jun 01, 2017 2:05:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1208/3728 took 311324 ms. Total solver calls (SAT/UNSAT): 2264477(3547/2260930)
Jun 01, 2017 2:05:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1212/3728 took 312364 ms. Total solver calls (SAT/UNSAT): 2271949(3559/2268390)
Jun 01, 2017 2:05:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1216/3728 took 313421 ms. Total solver calls (SAT/UNSAT): 2279421(3571/2275850)
Jun 01, 2017 2:05:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1220/3728 took 314460 ms. Total solver calls (SAT/UNSAT): 2286893(3583/2283310)
Jun 01, 2017 2:05:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1224/3728 took 315502 ms. Total solver calls (SAT/UNSAT): 2294365(3595/2290770)
Jun 01, 2017 2:05:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1228/3728 took 316543 ms. Total solver calls (SAT/UNSAT): 2301837(3607/2298230)
Jun 01, 2017 2:05:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1232/3728 took 317585 ms. Total solver calls (SAT/UNSAT): 2309309(3619/2305690)
Jun 01, 2017 2:05:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1236/3728 took 318627 ms. Total solver calls (SAT/UNSAT): 2316781(3631/2313150)
Jun 01, 2017 2:05:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1240/3728 took 319689 ms. Total solver calls (SAT/UNSAT): 2324253(3643/2320610)
Jun 01, 2017 2:05:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1244/3728 took 320729 ms. Total solver calls (SAT/UNSAT): 2331725(3655/2328070)
Jun 01, 2017 2:05:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1248/3728 took 321771 ms. Total solver calls (SAT/UNSAT): 2339197(3667/2335530)
Jun 01, 2017 2:05:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1252/3728 took 322811 ms. Total solver calls (SAT/UNSAT): 2346669(3679/2342990)
Jun 01, 2017 2:05:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1256/3728 took 323853 ms. Total solver calls (SAT/UNSAT): 2354141(3691/2350450)
Jun 01, 2017 2:05:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1260/3728 took 324918 ms. Total solver calls (SAT/UNSAT): 2361613(3703/2357910)
Jun 01, 2017 2:05:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1264/3728 took 325971 ms. Total solver calls (SAT/UNSAT): 2369085(3715/2365370)
Jun 01, 2017 2:06:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1268/3728 took 327023 ms. Total solver calls (SAT/UNSAT): 2376557(3727/2372830)
Jun 01, 2017 2:06:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1272/3728 took 328074 ms. Total solver calls (SAT/UNSAT): 2384029(3739/2380290)
Jun 01, 2017 2:06:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1276/3728 took 329115 ms. Total solver calls (SAT/UNSAT): 2391501(3751/2387750)
Jun 01, 2017 2:06:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1280/3728 took 330177 ms. Total solver calls (SAT/UNSAT): 2398972(3763/2395209)
Jun 01, 2017 2:06:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1284/3728 took 331227 ms. Total solver calls (SAT/UNSAT): 2406444(3775/2402669)
Jun 01, 2017 2:06:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1288/3728 took 332276 ms. Total solver calls (SAT/UNSAT): 2413916(3787/2410129)
Jun 01, 2017 2:06:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1292/3728 took 333317 ms. Total solver calls (SAT/UNSAT): 2421388(3799/2417589)
Jun 01, 2017 2:06:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1296/3728 took 334357 ms. Total solver calls (SAT/UNSAT): 2428860(3811/2425049)
Jun 01, 2017 2:06:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1300/3728 took 335453 ms. Total solver calls (SAT/UNSAT): 2436332(3823/2432509)
Jun 01, 2017 2:06:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1304/3728 took 336496 ms. Total solver calls (SAT/UNSAT): 2443804(3835/2439969)
Jun 01, 2017 2:06:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1308/3728 took 337533 ms. Total solver calls (SAT/UNSAT): 2451276(3847/2447429)
Jun 01, 2017 2:06:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1312/3728 took 338572 ms. Total solver calls (SAT/UNSAT): 2458748(3859/2454889)
Jun 01, 2017 2:06:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1316/3728 took 339609 ms. Total solver calls (SAT/UNSAT): 2466220(3871/2462349)
Jun 01, 2017 2:06:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1320/3728 took 340701 ms. Total solver calls (SAT/UNSAT): 2473692(3883/2469809)
Jun 01, 2017 2:06:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1324/3728 took 341750 ms. Total solver calls (SAT/UNSAT): 2481164(3895/2477269)
Jun 01, 2017 2:06:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1328/3728 took 342799 ms. Total solver calls (SAT/UNSAT): 2488636(3907/2484729)
Jun 01, 2017 2:06:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1332/3728 took 343888 ms. Total solver calls (SAT/UNSAT): 2496108(3919/2492189)
Jun 01, 2017 2:06:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1336/3728 took 344924 ms. Total solver calls (SAT/UNSAT): 2503580(3931/2499649)
Jun 01, 2017 2:06:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1340/3728 took 345963 ms. Total solver calls (SAT/UNSAT): 2511052(3943/2507109)
Jun 01, 2017 2:06:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1344/3728 took 347001 ms. Total solver calls (SAT/UNSAT): 2518524(3955/2514569)
Jun 01, 2017 2:06:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1348/3728 took 348040 ms. Total solver calls (SAT/UNSAT): 2525996(3967/2522029)
Jun 01, 2017 2:06:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1352/3728 took 349127 ms. Total solver calls (SAT/UNSAT): 2533468(3979/2529489)
Jun 01, 2017 2:06:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1356/3728 took 350180 ms. Total solver calls (SAT/UNSAT): 2540940(3991/2536949)
Jun 01, 2017 2:06:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1360/3728 took 351227 ms. Total solver calls (SAT/UNSAT): 2548411(4003/2544408)
Jun 01, 2017 2:06:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1364/3728 took 352273 ms. Total solver calls (SAT/UNSAT): 2555883(4015/2551868)
Jun 01, 2017 2:06:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1368/3728 took 353312 ms. Total solver calls (SAT/UNSAT): 2563355(4027/2559328)
Jun 01, 2017 2:06:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1372/3728 took 354354 ms. Total solver calls (SAT/UNSAT): 2570827(4039/2566788)
Jun 01, 2017 2:06:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1376/3728 took 355405 ms. Total solver calls (SAT/UNSAT): 2578299(4051/2574248)
Jun 01, 2017 2:06:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1380/3728 took 356453 ms. Total solver calls (SAT/UNSAT): 2585771(4063/2581708)
Jun 01, 2017 2:06:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1384/3728 took 357495 ms. Total solver calls (SAT/UNSAT): 2593243(4075/2589168)
Jun 01, 2017 2:06:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1388/3728 took 358538 ms. Total solver calls (SAT/UNSAT): 2600715(4087/2596628)
Jun 01, 2017 2:06:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1392/3728 took 359595 ms. Total solver calls (SAT/UNSAT): 2608187(4099/2604088)
Jun 01, 2017 2:06:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1396/3728 took 360640 ms. Total solver calls (SAT/UNSAT): 2615659(4111/2611548)
Jun 01, 2017 2:06:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1400/3728 took 361684 ms. Total solver calls (SAT/UNSAT): 2623131(4123/2619008)
Jun 01, 2017 2:06:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1404/3728 took 362726 ms. Total solver calls (SAT/UNSAT): 2630603(4135/2626468)
Jun 01, 2017 2:06:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1408/3728 took 363785 ms. Total solver calls (SAT/UNSAT): 2638075(4147/2633928)
Jun 01, 2017 2:06:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1412/3728 took 364827 ms. Total solver calls (SAT/UNSAT): 2645547(4159/2641388)
Jun 01, 2017 2:06:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1416/3728 took 365870 ms. Total solver calls (SAT/UNSAT): 2653019(4171/2648848)
Jun 01, 2017 2:06:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1420/3728 took 366911 ms. Total solver calls (SAT/UNSAT): 2660491(4183/2656308)
Jun 01, 2017 2:06:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1424/3728 took 367975 ms. Total solver calls (SAT/UNSAT): 2667963(4195/2663768)
Jun 01, 2017 2:06:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1428/3728 took 369016 ms. Total solver calls (SAT/UNSAT): 2675435(4207/2671228)
Jun 01, 2017 2:06:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1432/3728 took 370058 ms. Total solver calls (SAT/UNSAT): 2682907(4219/2678688)
Jun 01, 2017 2:06:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1436/3728 took 371098 ms. Total solver calls (SAT/UNSAT): 2690379(4231/2686148)
Jun 01, 2017 2:06:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1440/3728 took 372148 ms. Total solver calls (SAT/UNSAT): 2697850(4243/2693607)
Jun 01, 2017 2:06:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1444/3728 took 373191 ms. Total solver calls (SAT/UNSAT): 2705322(4255/2701067)
Jun 01, 2017 2:06:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1448/3728 took 374232 ms. Total solver calls (SAT/UNSAT): 2712794(4267/2708527)
Jun 01, 2017 2:06:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1452/3728 took 375285 ms. Total solver calls (SAT/UNSAT): 2720266(4279/2715987)
Jun 01, 2017 2:06:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1456/3728 took 376331 ms. Total solver calls (SAT/UNSAT): 2727738(4291/2723447)
Jun 01, 2017 2:06:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1460/3728 took 377371 ms. Total solver calls (SAT/UNSAT): 2735210(4303/2730907)
Jun 01, 2017 2:06:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1464/3728 took 378408 ms. Total solver calls (SAT/UNSAT): 2742682(4315/2738367)
Jun 01, 2017 2:06:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1468/3728 took 379467 ms. Total solver calls (SAT/UNSAT): 2750154(4327/2745827)
Jun 01, 2017 2:06:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1472/3728 took 380507 ms. Total solver calls (SAT/UNSAT): 2757626(4339/2753287)
Jun 01, 2017 2:06:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1476/3728 took 381548 ms. Total solver calls (SAT/UNSAT): 2765098(4351/2760747)
Jun 01, 2017 2:06:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1480/3728 took 382596 ms. Total solver calls (SAT/UNSAT): 2772570(4363/2768207)
Jun 01, 2017 2:06:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1484/3728 took 383639 ms. Total solver calls (SAT/UNSAT): 2780042(4375/2775667)
Jun 01, 2017 2:06:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1488/3728 took 384682 ms. Total solver calls (SAT/UNSAT): 2787514(4387/2783127)
Jun 01, 2017 2:06:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1492/3728 took 385731 ms. Total solver calls (SAT/UNSAT): 2794986(4399/2790587)
Jun 01, 2017 2:07:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1496/3728 took 386808 ms. Total solver calls (SAT/UNSAT): 2802458(4411/2798047)
Jun 01, 2017 2:07:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1500/3728 took 387820 ms. Total solver calls (SAT/UNSAT): 2809930(4423/2805507)
Jun 01, 2017 2:07:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1504/3728 took 388836 ms. Total solver calls (SAT/UNSAT): 2817402(4435/2812967)
Jun 01, 2017 2:07:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1508/3728 took 389849 ms. Total solver calls (SAT/UNSAT): 2824874(4447/2820427)
Jun 01, 2017 2:07:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1512/3728 took 390862 ms. Total solver calls (SAT/UNSAT): 2832346(4459/2827887)
Jun 01, 2017 2:07:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1516/3728 took 391879 ms. Total solver calls (SAT/UNSAT): 2839818(4471/2835347)
Jun 01, 2017 2:07:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1520/3728 took 392889 ms. Total solver calls (SAT/UNSAT): 2847289(4483/2842806)
Jun 01, 2017 2:07:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1524/3728 took 393900 ms. Total solver calls (SAT/UNSAT): 2854761(4495/2850266)
Jun 01, 2017 2:07:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1528/3728 took 394916 ms. Total solver calls (SAT/UNSAT): 2862233(4507/2857726)
Jun 01, 2017 2:07:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1532/3728 took 395935 ms. Total solver calls (SAT/UNSAT): 2869705(4519/2865186)
Jun 01, 2017 2:07:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1536/3728 took 396944 ms. Total solver calls (SAT/UNSAT): 2877177(4531/2872646)
Jun 01, 2017 2:07:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1540/3728 took 397961 ms. Total solver calls (SAT/UNSAT): 2884649(4543/2880106)
Jun 01, 2017 2:07:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1544/3728 took 398979 ms. Total solver calls (SAT/UNSAT): 2892121(4555/2887566)
Jun 01, 2017 2:07:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1548/3728 took 399997 ms. Total solver calls (SAT/UNSAT): 2899593(4567/2895026)
Jun 01, 2017 2:07:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1552/3728 took 401018 ms. Total solver calls (SAT/UNSAT): 2907065(4579/2902486)
Jun 01, 2017 2:07:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1556/3728 took 402039 ms. Total solver calls (SAT/UNSAT): 2914537(4591/2909946)
Jun 01, 2017 2:07:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1560/3728 took 403060 ms. Total solver calls (SAT/UNSAT): 2922009(4603/2917406)
Jun 01, 2017 2:07:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1564/3728 took 404085 ms. Total solver calls (SAT/UNSAT): 2929481(4615/2924866)
Jun 01, 2017 2:07:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1568/3728 took 405098 ms. Total solver calls (SAT/UNSAT): 2936953(4627/2932326)
Jun 01, 2017 2:07:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1572/3728 took 406118 ms. Total solver calls (SAT/UNSAT): 2944425(4639/2939786)
Jun 01, 2017 2:07:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1576/3728 took 407138 ms. Total solver calls (SAT/UNSAT): 2951897(4651/2947246)
Jun 01, 2017 2:07:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1580/3728 took 408155 ms. Total solver calls (SAT/UNSAT): 2959369(4663/2954706)
Jun 01, 2017 2:07:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1584/3728 took 409178 ms. Total solver calls (SAT/UNSAT): 2966841(4675/2962166)
Jun 01, 2017 2:07:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1588/3728 took 410199 ms. Total solver calls (SAT/UNSAT): 2974313(4687/2969626)
Jun 01, 2017 2:07:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1592/3728 took 411226 ms. Total solver calls (SAT/UNSAT): 2981785(4699/2977086)
Jun 01, 2017 2:07:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1596/3728 took 412245 ms. Total solver calls (SAT/UNSAT): 2989257(4711/2984546)
Jun 01, 2017 2:07:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1600/3728 took 413256 ms. Total solver calls (SAT/UNSAT): 2996728(4723/2992005)
Jun 01, 2017 2:07:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1604/3728 took 414279 ms. Total solver calls (SAT/UNSAT): 3004200(4735/2999465)
Jun 01, 2017 2:07:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1608/3728 took 415298 ms. Total solver calls (SAT/UNSAT): 3011672(4747/3006925)
Jun 01, 2017 2:07:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1612/3728 took 416315 ms. Total solver calls (SAT/UNSAT): 3019144(4759/3014385)
Jun 01, 2017 2:07:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1616/3728 took 417323 ms. Total solver calls (SAT/UNSAT): 3026616(4771/3021845)
Jun 01, 2017 2:07:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1620/3728 took 418342 ms. Total solver calls (SAT/UNSAT): 3034088(4783/3029305)
Jun 01, 2017 2:07:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1624/3728 took 419360 ms. Total solver calls (SAT/UNSAT): 3041560(4795/3036765)
Jun 01, 2017 2:07:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1628/3728 took 420382 ms. Total solver calls (SAT/UNSAT): 3049032(4807/3044225)
Jun 01, 2017 2:07:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1632/3728 took 421401 ms. Total solver calls (SAT/UNSAT): 3056504(4819/3051685)
Jun 01, 2017 2:07:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1636/3728 took 422426 ms. Total solver calls (SAT/UNSAT): 3063976(4831/3059145)
Jun 01, 2017 2:07:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1640/3728 took 423445 ms. Total solver calls (SAT/UNSAT): 3071448(4843/3066605)
Jun 01, 2017 2:07:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1644/3728 took 424459 ms. Total solver calls (SAT/UNSAT): 3078920(4855/3074065)
Jun 01, 2017 2:07:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1648/3728 took 425482 ms. Total solver calls (SAT/UNSAT): 3086392(4867/3081525)
Jun 01, 2017 2:07:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1652/3728 took 426501 ms. Total solver calls (SAT/UNSAT): 3093864(4879/3088985)
Jun 01, 2017 2:07:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1656/3728 took 427525 ms. Total solver calls (SAT/UNSAT): 3101336(4891/3096445)
Jun 01, 2017 2:07:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1660/3728 took 428541 ms. Total solver calls (SAT/UNSAT): 3108808(4903/3103905)
Jun 01, 2017 2:07:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1664/3728 took 429557 ms. Total solver calls (SAT/UNSAT): 3116280(4915/3111365)
Jun 01, 2017 2:07:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1668/3728 took 430583 ms. Total solver calls (SAT/UNSAT): 3123752(4927/3118825)
Jun 01, 2017 2:07:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1672/3728 took 431604 ms. Total solver calls (SAT/UNSAT): 3131224(4939/3126285)
Jun 01, 2017 2:07:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1676/3728 took 432629 ms. Total solver calls (SAT/UNSAT): 3138696(4951/3133745)
Jun 01, 2017 2:07:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1680/3728 took 433852 ms. Total solver calls (SAT/UNSAT): 3147688(4963/3142725)
Jun 01, 2017 2:07:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1683/3728 took 435233 ms. Total solver calls (SAT/UNSAT): 3157855(4972/3152883)
Jun 01, 2017 2:07:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1686/3728 took 436615 ms. Total solver calls (SAT/UNSAT): 3168022(4981/3163041)
Jun 01, 2017 2:07:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1689/3728 took 437992 ms. Total solver calls (SAT/UNSAT): 3178189(4990/3173199)
Jun 01, 2017 2:07:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1692/3728 took 439362 ms. Total solver calls (SAT/UNSAT): 3188356(4999/3183357)
Jun 01, 2017 2:07:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1695/3728 took 440735 ms. Total solver calls (SAT/UNSAT): 3198523(5008/3193515)
Jun 01, 2017 2:07:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1698/3728 took 442105 ms. Total solver calls (SAT/UNSAT): 3208690(5017/3203673)
Jun 01, 2017 2:07:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1701/3728 took 443479 ms. Total solver calls (SAT/UNSAT): 3218857(5026/3213831)
Jun 01, 2017 2:07:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1704/3728 took 444854 ms. Total solver calls (SAT/UNSAT): 3229024(5035/3223989)
Jun 01, 2017 2:08:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1707/3728 took 446231 ms. Total solver calls (SAT/UNSAT): 3239191(5044/3234147)
Jun 01, 2017 2:08:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1710/3728 took 447604 ms. Total solver calls (SAT/UNSAT): 3249358(5053/3244305)
Jun 01, 2017 2:08:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1713/3728 took 448976 ms. Total solver calls (SAT/UNSAT): 3259525(5062/3254463)
Jun 01, 2017 2:08:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1716/3728 took 450344 ms. Total solver calls (SAT/UNSAT): 3269692(5071/3264621)
Jun 01, 2017 2:08:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1719/3728 took 451722 ms. Total solver calls (SAT/UNSAT): 3279859(5080/3274779)
Jun 01, 2017 2:08:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1722/3728 took 453091 ms. Total solver calls (SAT/UNSAT): 3290026(5089/3284937)
Jun 01, 2017 2:08:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1725/3728 took 454474 ms. Total solver calls (SAT/UNSAT): 3300193(5098/3295095)
Jun 01, 2017 2:08:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1728/3728 took 455892 ms. Total solver calls (SAT/UNSAT): 3310360(5107/3305253)
Jun 01, 2017 2:08:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1731/3728 took 457313 ms. Total solver calls (SAT/UNSAT): 3320527(5116/3315411)
Jun 01, 2017 2:08:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1734/3728 took 458740 ms. Total solver calls (SAT/UNSAT): 3330694(5125/3325569)
Jun 01, 2017 2:08:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1737/3728 took 460162 ms. Total solver calls (SAT/UNSAT): 3340861(5134/3335727)
Jun 01, 2017 2:08:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1740/3728 took 461583 ms. Total solver calls (SAT/UNSAT): 3351028(5143/3345885)
Jun 01, 2017 2:08:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1743/3728 took 463018 ms. Total solver calls (SAT/UNSAT): 3361195(5152/3356043)
Jun 01, 2017 2:08:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1746/3728 took 464438 ms. Total solver calls (SAT/UNSAT): 3371362(5161/3366201)
Jun 01, 2017 2:08:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1749/3728 took 465852 ms. Total solver calls (SAT/UNSAT): 3381529(5170/3376359)
Jun 01, 2017 2:08:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1752/3728 took 467267 ms. Total solver calls (SAT/UNSAT): 3391696(5179/3386517)
Jun 01, 2017 2:08:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1755/3728 took 468677 ms. Total solver calls (SAT/UNSAT): 3401863(5188/3396675)
Jun 01, 2017 2:08:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1758/3728 took 470090 ms. Total solver calls (SAT/UNSAT): 3412030(5197/3406833)
Jun 01, 2017 2:08:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1762/3728 took 471335 ms. Total solver calls (SAT/UNSAT): 3421021(5209/3415812)
Jun 01, 2017 2:08:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1766/3728 took 472373 ms. Total solver calls (SAT/UNSAT): 3428489(5221/3423268)
Jun 01, 2017 2:08:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1770/3728 took 473411 ms. Total solver calls (SAT/UNSAT): 3435957(5233/3430724)
Jun 01, 2017 2:08:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1774/3728 took 474445 ms. Total solver calls (SAT/UNSAT): 3443425(5245/3438180)
Jun 01, 2017 2:08:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1778/3728 took 475480 ms. Total solver calls (SAT/UNSAT): 3450893(5257/3445636)
Jun 01, 2017 2:08:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1782/3728 took 476729 ms. Total solver calls (SAT/UNSAT): 3459885(5269/3454616)
Jun 01, 2017 2:08:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1786/3728 took 477768 ms. Total solver calls (SAT/UNSAT): 3467357(5281/3462076)
Jun 01, 2017 2:08:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1790/3728 took 478807 ms. Total solver calls (SAT/UNSAT): 3474829(5293/3469536)
Jun 01, 2017 2:08:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1794/3728 took 479841 ms. Total solver calls (SAT/UNSAT): 3482301(5305/3476996)
Jun 01, 2017 2:08:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1798/3728 took 480875 ms. Total solver calls (SAT/UNSAT): 3489773(5317/3484456)
Jun 01, 2017 2:08:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1802/3728 took 482130 ms. Total solver calls (SAT/UNSAT): 3498767(5329/3493438)
Jun 01, 2017 2:08:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1806/3728 took 483173 ms. Total solver calls (SAT/UNSAT): 3506239(5341/3500898)
Jun 01, 2017 2:08:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1810/3728 took 484228 ms. Total solver calls (SAT/UNSAT): 3513711(5353/3508358)
Jun 01, 2017 2:08:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1814/3728 took 485282 ms. Total solver calls (SAT/UNSAT): 3521183(5365/3515818)
Jun 01, 2017 2:08:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1818/3728 took 486327 ms. Total solver calls (SAT/UNSAT): 3528655(5377/3523278)
Jun 01, 2017 2:08:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1822/3728 took 487585 ms. Total solver calls (SAT/UNSAT): 3537648(5389/3532259)
Jun 01, 2017 2:08:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1826/3728 took 488637 ms. Total solver calls (SAT/UNSAT): 3545121(5401/3539720)
Jun 01, 2017 2:08:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1830/3728 took 489683 ms. Total solver calls (SAT/UNSAT): 3552593(5413/3547180)
Jun 01, 2017 2:08:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1834/3728 took 490727 ms. Total solver calls (SAT/UNSAT): 3560065(5425/3554640)
Jun 01, 2017 2:08:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1838/3728 took 491775 ms. Total solver calls (SAT/UNSAT): 3567537(5437/3562100)
Jun 01, 2017 2:08:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1842/3728 took 492814 ms. Total solver calls (SAT/UNSAT): 3575009(5449/3569560)
Jun 01, 2017 2:08:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1846/3728 took 494072 ms. Total solver calls (SAT/UNSAT): 3584003(5461/3578542)
Jun 01, 2017 2:08:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1850/3728 took 495121 ms. Total solver calls (SAT/UNSAT): 3591475(5473/3586002)
Jun 01, 2017 2:08:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1854/3728 took 496169 ms. Total solver calls (SAT/UNSAT): 3598947(5485/3593462)
Jun 01, 2017 2:08:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1858/3728 took 497209 ms. Total solver calls (SAT/UNSAT): 3606419(5497/3600922)
Jun 01, 2017 2:08:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1862/3728 took 498254 ms. Total solver calls (SAT/UNSAT): 3613891(5509/3608382)
Jun 01, 2017 2:08:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1866/3728 took 499512 ms. Total solver calls (SAT/UNSAT): 3622885(5521/3617364)
Jun 01, 2017 2:08:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1870/3728 took 500550 ms. Total solver calls (SAT/UNSAT): 3630357(5533/3624824)
Jun 01, 2017 2:08:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1874/3728 took 501594 ms. Total solver calls (SAT/UNSAT): 3637829(5545/3632284)
Jun 01, 2017 2:08:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1878/3728 took 502643 ms. Total solver calls (SAT/UNSAT): 3645301(5557/3639744)
Jun 01, 2017 2:08:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1882/3728 took 503688 ms. Total solver calls (SAT/UNSAT): 3652773(5569/3647204)
Jun 01, 2017 2:08:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1885/3728 took 504688 ms. Total solver calls (SAT/UNSAT): 3659898(5578/3654320)
Jun 01, 2017 2:08:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1889/3728 took 505735 ms. Total solver calls (SAT/UNSAT): 3667371(5590/3661781)
Jun 01, 2017 2:09:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1893/3728 took 506783 ms. Total solver calls (SAT/UNSAT): 3674843(5602/3669241)
Jun 01, 2017 2:09:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1897/3728 took 507832 ms. Total solver calls (SAT/UNSAT): 3682315(5614/3676701)
Jun 01, 2017 2:09:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1901/3728 took 508875 ms. Total solver calls (SAT/UNSAT): 3689787(5626/3684161)
Jun 01, 2017 2:09:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1905/3728 took 509927 ms. Total solver calls (SAT/UNSAT): 3697259(5638/3691621)
Jun 01, 2017 2:09:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1908/3728 took 510967 ms. Total solver calls (SAT/UNSAT): 3704385(5647/3698738)
Jun 01, 2017 2:09:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1912/3728 took 512012 ms. Total solver calls (SAT/UNSAT): 3711857(5659/3706198)
Jun 01, 2017 2:09:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1916/3728 took 513060 ms. Total solver calls (SAT/UNSAT): 3719329(5671/3713658)
Jun 01, 2017 2:09:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1920/3728 took 514104 ms. Total solver calls (SAT/UNSAT): 3726801(5683/3721118)
Jun 01, 2017 2:09:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1924/3728 took 515147 ms. Total solver calls (SAT/UNSAT): 3734273(5695/3728578)
Jun 01, 2017 2:09:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1928/3728 took 516395 ms. Total solver calls (SAT/UNSAT): 3743267(5707/3737560)
Jun 01, 2017 2:09:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1932/3728 took 517435 ms. Total solver calls (SAT/UNSAT): 3750739(5719/3745020)
Jun 01, 2017 2:09:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1936/3728 took 518476 ms. Total solver calls (SAT/UNSAT): 3758211(5731/3752480)
Jun 01, 2017 2:09:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1940/3728 took 519511 ms. Total solver calls (SAT/UNSAT): 3765683(5743/3759940)
Jun 01, 2017 2:09:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1944/3728 took 520546 ms. Total solver calls (SAT/UNSAT): 3773155(5755/3767400)
Jun 01, 2017 2:09:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1948/3728 took 521789 ms. Total solver calls (SAT/UNSAT): 3782148(5767/3776381)
Jun 01, 2017 2:09:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1952/3728 took 522834 ms. Total solver calls (SAT/UNSAT): 3789621(5779/3783842)
Jun 01, 2017 2:09:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1956/3728 took 523952 ms. Total solver calls (SAT/UNSAT): 3797093(5791/3791302)
Jun 01, 2017 2:09:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1960/3728 took 524977 ms. Total solver calls (SAT/UNSAT): 3804565(5803/3798762)
Jun 01, 2017 2:09:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1964/3728 took 526001 ms. Total solver calls (SAT/UNSAT): 3812037(5815/3806222)
Jun 01, 2017 2:09:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1968/3728 took 527030 ms. Total solver calls (SAT/UNSAT): 3819509(5827/3813682)
Jun 01, 2017 2:09:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1972/3728 took 528261 ms. Total solver calls (SAT/UNSAT): 3828503(5839/3822664)
Jun 01, 2017 2:09:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1976/3728 took 529289 ms. Total solver calls (SAT/UNSAT): 3835975(5851/3830124)
Jun 01, 2017 2:09:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1980/3728 took 530314 ms. Total solver calls (SAT/UNSAT): 3843447(5863/3837584)
Jun 01, 2017 2:09:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1984/3728 took 531387 ms. Total solver calls (SAT/UNSAT): 3850919(5875/3845044)
Jun 01, 2017 2:09:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1988/3728 took 532404 ms. Total solver calls (SAT/UNSAT): 3858391(5887/3852504)
Jun 01, 2017 2:09:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1992/3728 took 533629 ms. Total solver calls (SAT/UNSAT): 3867385(5899/3861486)
Jun 01, 2017 2:09:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1996/3728 took 534647 ms. Total solver calls (SAT/UNSAT): 3874857(5911/3868946)
Jun 01, 2017 2:09:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2000/3728 took 535669 ms. Total solver calls (SAT/UNSAT): 3882329(5923/3876406)
Jun 01, 2017 2:09:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2004/3728 took 536684 ms. Total solver calls (SAT/UNSAT): 3889801(5935/3883866)
Jun 01, 2017 2:09:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2008/3728 took 537703 ms. Total solver calls (SAT/UNSAT): 3897273(5947/3891326)
Jun 01, 2017 2:09:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2012/3728 took 538924 ms. Total solver calls (SAT/UNSAT): 3906267(5959/3900308)
Jun 01, 2017 2:09:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2016/3728 took 539938 ms. Total solver calls (SAT/UNSAT): 3913739(5971/3907768)
Jun 01, 2017 2:09:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2020/3728 took 540955 ms. Total solver calls (SAT/UNSAT): 3921211(5983/3915228)
Jun 01, 2017 2:09:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2024/3728 took 541972 ms. Total solver calls (SAT/UNSAT): 3928683(5995/3922688)
Jun 01, 2017 2:09:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2028/3728 took 542998 ms. Total solver calls (SAT/UNSAT): 3936155(6007/3930148)
Jun 01, 2017 2:09:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2032/3728 took 544215 ms. Total solver calls (SAT/UNSAT): 3945148(6019/3939129)
Jun 01, 2017 2:09:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2036/3728 took 545317 ms. Total solver calls (SAT/UNSAT): 3952621(6031/3946590)
Jun 01, 2017 2:09:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2040/3728 took 546343 ms. Total solver calls (SAT/UNSAT): 3960093(6043/3954050)
Jun 01, 2017 2:09:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2044/3728 took 547362 ms. Total solver calls (SAT/UNSAT): 3967565(6055/3961510)
Jun 01, 2017 2:09:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2048/3728 took 548377 ms. Total solver calls (SAT/UNSAT): 3975037(6067/3968970)
Jun 01, 2017 2:09:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2052/3728 took 549396 ms. Total solver calls (SAT/UNSAT): 3982509(6079/3976430)
Jun 01, 2017 2:09:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2056/3728 took 550631 ms. Total solver calls (SAT/UNSAT): 3991503(6091/3985412)
Jun 01, 2017 2:09:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2060/3728 took 551651 ms. Total solver calls (SAT/UNSAT): 3998975(6103/3992872)
Jun 01, 2017 2:09:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2064/3728 took 552671 ms. Total solver calls (SAT/UNSAT): 4006447(6115/4000332)
Jun 01, 2017 2:09:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2068/3728 took 553693 ms. Total solver calls (SAT/UNSAT): 4013919(6127/4007792)
Jun 01, 2017 2:09:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2072/3728 took 554715 ms. Total solver calls (SAT/UNSAT): 4021391(6139/4015252)
Jun 01, 2017 2:09:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2076/3728 took 555939 ms. Total solver calls (SAT/UNSAT): 4030385(6151/4024234)
Jun 01, 2017 2:09:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2080/3728 took 556960 ms. Total solver calls (SAT/UNSAT): 4037857(6163/4031694)
Jun 01, 2017 2:09:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2084/3728 took 557980 ms. Total solver calls (SAT/UNSAT): 4045329(6175/4039154)
Jun 01, 2017 2:09:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2088/3728 took 559001 ms. Total solver calls (SAT/UNSAT): 4052801(6187/4046614)
Jun 01, 2017 2:09:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2092/3728 took 560021 ms. Total solver calls (SAT/UNSAT): 4060273(6199/4054074)
Jun 01, 2017 2:09:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2096/3728 took 561248 ms. Total solver calls (SAT/UNSAT): 4069267(6211/4063056)
Jun 01, 2017 2:09:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2100/3728 took 562321 ms. Total solver calls (SAT/UNSAT): 4076739(6223/4070516)
Jun 01, 2017 2:09:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2104/3728 took 563369 ms. Total solver calls (SAT/UNSAT): 4084211(6235/4077976)
Jun 01, 2017 2:09:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2108/3728 took 564414 ms. Total solver calls (SAT/UNSAT): 4091683(6247/4085436)
Jun 01, 2017 2:09:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2112/3728 took 565460 ms. Total solver calls (SAT/UNSAT): 4099155(6259/4092896)
Jun 01, 2017 2:10:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2116/3728 took 566718 ms. Total solver calls (SAT/UNSAT): 4108148(6271/4101877)
Jun 01, 2017 2:10:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2120/3728 took 567765 ms. Total solver calls (SAT/UNSAT): 4115621(6283/4109338)
Jun 01, 2017 2:10:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2124/3728 took 568807 ms. Total solver calls (SAT/UNSAT): 4123093(6295/4116798)
Jun 01, 2017 2:10:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2128/3728 took 569855 ms. Total solver calls (SAT/UNSAT): 4130565(6307/4124258)
Jun 01, 2017 2:10:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2132/3728 took 570903 ms. Total solver calls (SAT/UNSAT): 4138037(6319/4131718)
Jun 01, 2017 2:10:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2136/3728 took 571951 ms. Total solver calls (SAT/UNSAT): 4145509(6331/4139178)
Jun 01, 2017 2:10:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2140/3728 took 573203 ms. Total solver calls (SAT/UNSAT): 4154503(6343/4148160)
Jun 01, 2017 2:10:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2144/3728 took 574252 ms. Total solver calls (SAT/UNSAT): 4161975(6355/4155620)
Jun 01, 2017 2:10:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2148/3728 took 575300 ms. Total solver calls (SAT/UNSAT): 4169447(6367/4163080)
Jun 01, 2017 2:10:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2152/3728 took 576347 ms. Total solver calls (SAT/UNSAT): 4176919(6379/4170540)
Jun 01, 2017 2:10:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2156/3728 took 577389 ms. Total solver calls (SAT/UNSAT): 4184391(6391/4178000)
Jun 01, 2017 2:10:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2160/3728 took 578645 ms. Total solver calls (SAT/UNSAT): 4193385(6403/4186982)
Jun 01, 2017 2:10:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2164/3728 took 579695 ms. Total solver calls (SAT/UNSAT): 4200857(6415/4194442)
Jun 01, 2017 2:10:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2168/3728 took 580738 ms. Total solver calls (SAT/UNSAT): 4208329(6427/4201902)
Jun 01, 2017 2:10:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2172/3728 took 581783 ms. Total solver calls (SAT/UNSAT): 4215801(6439/4209362)
Jun 01, 2017 2:10:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2176/3728 took 582831 ms. Total solver calls (SAT/UNSAT): 4223273(6451/4216822)
Jun 01, 2017 2:10:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2179/3728 took 583833 ms. Total solver calls (SAT/UNSAT): 4230398(6460/4223938)
Jun 01, 2017 2:10:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2183/3728 took 584877 ms. Total solver calls (SAT/UNSAT): 4237871(6472/4231399)
Jun 01, 2017 2:10:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2187/3728 took 585924 ms. Total solver calls (SAT/UNSAT): 4245343(6484/4238859)
Jun 01, 2017 2:10:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2191/3728 took 586973 ms. Total solver calls (SAT/UNSAT): 4252815(6496/4246319)
Jun 01, 2017 2:10:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2195/3728 took 588023 ms. Total solver calls (SAT/UNSAT): 4260287(6508/4253779)
Jun 01, 2017 2:10:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2199/3728 took 589065 ms. Total solver calls (SAT/UNSAT): 4267759(6520/4261239)
Jun 01, 2017 2:10:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2203/3728 took 590323 ms. Total solver calls (SAT/UNSAT): 4276753(6532/4270221)
Jun 01, 2017 2:10:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2207/3728 took 591377 ms. Total solver calls (SAT/UNSAT): 4284225(6544/4277681)
Jun 01, 2017 2:10:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2211/3728 took 592443 ms. Total solver calls (SAT/UNSAT): 4291697(6556/4285141)
Jun 01, 2017 2:10:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2215/3728 took 593472 ms. Total solver calls (SAT/UNSAT): 4299169(6568/4292601)
Jun 01, 2017 2:10:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2219/3728 took 594500 ms. Total solver calls (SAT/UNSAT): 4306641(6580/4300061)
Jun 01, 2017 2:10:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2223/3728 took 595733 ms. Total solver calls (SAT/UNSAT): 4315635(6592/4309043)
Jun 01, 2017 2:10:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2227/3728 took 596759 ms. Total solver calls (SAT/UNSAT): 4323107(6604/4316503)
Jun 01, 2017 2:10:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2231/3728 took 597844 ms. Total solver calls (SAT/UNSAT): 4330579(6616/4323963)
Jun 01, 2017 2:10:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2235/3728 took 598895 ms. Total solver calls (SAT/UNSAT): 4338051(6628/4331423)
Jun 01, 2017 2:10:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2239/3728 took 599949 ms. Total solver calls (SAT/UNSAT): 4345523(6640/4338883)
Jun 01, 2017 2:10:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2242/3728 took 600953 ms. Total solver calls (SAT/UNSAT): 4352648(6649/4345999)
Jun 01, 2017 2:10:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2246/3728 took 602005 ms. Total solver calls (SAT/UNSAT): 4360121(6661/4353460)
Jun 01, 2017 2:10:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2250/3728 took 603054 ms. Total solver calls (SAT/UNSAT): 4367593(6673/4360920)
Jun 01, 2017 2:10:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2254/3728 took 604098 ms. Total solver calls (SAT/UNSAT): 4375065(6685/4368380)
Jun 01, 2017 2:10:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2258/3728 took 605146 ms. Total solver calls (SAT/UNSAT): 4382537(6697/4375840)
Jun 01, 2017 2:10:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2262/3728 took 606196 ms. Total solver calls (SAT/UNSAT): 4390009(6709/4383300)
Jun 01, 2017 2:10:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2265/3728 took 607197 ms. Total solver calls (SAT/UNSAT): 4397135(6718/4390417)
Jun 01, 2017 2:10:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2269/3728 took 608243 ms. Total solver calls (SAT/UNSAT): 4404607(6730/4397877)
Jun 01, 2017 2:10:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2273/3728 took 609288 ms. Total solver calls (SAT/UNSAT): 4412079(6742/4405337)
Jun 01, 2017 2:10:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2277/3728 took 610362 ms. Total solver calls (SAT/UNSAT): 4419551(6754/4412797)
Jun 01, 2017 2:10:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2281/3728 took 611387 ms. Total solver calls (SAT/UNSAT): 4427023(6766/4420257)
Jun 01, 2017 2:10:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2285/3728 took 612611 ms. Total solver calls (SAT/UNSAT): 4436017(6778/4429239)
Jun 01, 2017 2:10:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2289/3728 took 613635 ms. Total solver calls (SAT/UNSAT): 4443489(6790/4436699)
Jun 01, 2017 2:10:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2293/3728 took 614658 ms. Total solver calls (SAT/UNSAT): 4450961(6802/4444159)
Jun 01, 2017 2:10:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2297/3728 took 615679 ms. Total solver calls (SAT/UNSAT): 4458433(6814/4451619)
Jun 01, 2017 2:10:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2301/3728 took 616696 ms. Total solver calls (SAT/UNSAT): 4465905(6826/4459079)
Jun 01, 2017 2:10:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2305/3728 took 617927 ms. Total solver calls (SAT/UNSAT): 4474898(6838/4468060)
Jun 01, 2017 2:10:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2309/3728 took 618959 ms. Total solver calls (SAT/UNSAT): 4482371(6850/4475521)
Jun 01, 2017 2:10:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2313/3728 took 619982 ms. Total solver calls (SAT/UNSAT): 4489843(6862/4482981)
Jun 01, 2017 2:10:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2317/3728 took 621006 ms. Total solver calls (SAT/UNSAT): 4497315(6874/4490441)
Jun 01, 2017 2:10:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2321/3728 took 622030 ms. Total solver calls (SAT/UNSAT): 4504787(6886/4497901)
Jun 01, 2017 2:10:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2325/3728 took 623054 ms. Total solver calls (SAT/UNSAT): 4512259(6898/4505361)
Jun 01, 2017 2:10:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2329/3728 took 624278 ms. Total solver calls (SAT/UNSAT): 4521253(6910/4514343)
Jun 01, 2017 2:10:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2333/3728 took 625298 ms. Total solver calls (SAT/UNSAT): 4528725(6922/4521803)
Jun 01, 2017 2:11:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2337/3728 took 626318 ms. Total solver calls (SAT/UNSAT): 4536197(6934/4529263)
Jun 01, 2017 2:11:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2341/3728 took 627339 ms. Total solver calls (SAT/UNSAT): 4543669(6946/4536723)
Jun 01, 2017 2:11:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2345/3728 took 628358 ms. Total solver calls (SAT/UNSAT): 4551141(6958/4544183)
Jun 01, 2017 2:11:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2349/3728 took 629589 ms. Total solver calls (SAT/UNSAT): 4560135(6970/4553165)
Jun 01, 2017 2:11:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2353/3728 took 630611 ms. Total solver calls (SAT/UNSAT): 4567607(6982/4560625)
Jun 01, 2017 2:11:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2357/3728 took 631635 ms. Total solver calls (SAT/UNSAT): 4575079(6994/4568085)
Jun 01, 2017 2:11:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2361/3728 took 632655 ms. Total solver calls (SAT/UNSAT): 4582551(7006/4575545)
Jun 01, 2017 2:11:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2365/3728 took 633677 ms. Total solver calls (SAT/UNSAT): 4590023(7018/4583005)
Jun 01, 2017 2:11:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2369/3728 took 634903 ms. Total solver calls (SAT/UNSAT): 4599017(7030/4591987)
Jun 01, 2017 2:11:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2373/3728 took 635917 ms. Total solver calls (SAT/UNSAT): 4606489(7042/4599447)
Jun 01, 2017 2:11:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2377/3728 took 636938 ms. Total solver calls (SAT/UNSAT): 4613961(7054/4606907)
Jun 01, 2017 2:11:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2381/3728 took 637957 ms. Total solver calls (SAT/UNSAT): 4621433(7066/4614367)
Jun 01, 2017 2:11:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2385/3728 took 638979 ms. Total solver calls (SAT/UNSAT): 4628905(7078/4621827)
Jun 01, 2017 2:11:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2389/3728 took 640203 ms. Total solver calls (SAT/UNSAT): 4637898(7090/4630808)
Jun 01, 2017 2:11:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2393/3728 took 641221 ms. Total solver calls (SAT/UNSAT): 4645371(7102/4638269)
Jun 01, 2017 2:11:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2397/3728 took 642240 ms. Total solver calls (SAT/UNSAT): 4652843(7114/4645729)
Jun 01, 2017 2:11:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2401/3728 took 643258 ms. Total solver calls (SAT/UNSAT): 4660315(7126/4653189)
Jun 01, 2017 2:11:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2405/3728 took 644277 ms. Total solver calls (SAT/UNSAT): 4667787(7138/4660649)
Jun 01, 2017 2:11:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2409/3728 took 645296 ms. Total solver calls (SAT/UNSAT): 4675259(7150/4668109)
Jun 01, 2017 2:11:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2413/3728 took 646522 ms. Total solver calls (SAT/UNSAT): 4684253(7162/4677091)
Jun 01, 2017 2:11:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2417/3728 took 647539 ms. Total solver calls (SAT/UNSAT): 4691725(7174/4684551)
Jun 01, 2017 2:11:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2421/3728 took 648554 ms. Total solver calls (SAT/UNSAT): 4699197(7186/4692011)
Jun 01, 2017 2:11:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2425/3728 took 649572 ms. Total solver calls (SAT/UNSAT): 4706669(7198/4699471)
Jun 01, 2017 2:11:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2429/3728 took 650590 ms. Total solver calls (SAT/UNSAT): 4714141(7210/4706931)
Jun 01, 2017 2:11:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2433/3728 took 651820 ms. Total solver calls (SAT/UNSAT): 4723135(7222/4715913)
Jun 01, 2017 2:11:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2437/3728 took 652830 ms. Total solver calls (SAT/UNSAT): 4730607(7234/4723373)
Jun 01, 2017 2:11:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2441/3728 took 653842 ms. Total solver calls (SAT/UNSAT): 4738079(7246/4730833)
Jun 01, 2017 2:11:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2445/3728 took 654854 ms. Total solver calls (SAT/UNSAT): 4745551(7258/4738293)
Jun 01, 2017 2:11:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2449/3728 took 655866 ms. Total solver calls (SAT/UNSAT): 4753023(7270/4745753)
Jun 01, 2017 2:11:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2453/3728 took 657079 ms. Total solver calls (SAT/UNSAT): 4762017(7282/4754735)
Jun 01, 2017 2:11:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2457/3728 took 658093 ms. Total solver calls (SAT/UNSAT): 4769489(7294/4762195)
Jun 01, 2017 2:11:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2461/3728 took 659104 ms. Total solver calls (SAT/UNSAT): 4776961(7306/4769655)
Jun 01, 2017 2:11:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2465/3728 took 660113 ms. Total solver calls (SAT/UNSAT): 4784433(7318/4777115)
Jun 01, 2017 2:11:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2469/3728 took 661176 ms. Total solver calls (SAT/UNSAT): 4791905(7330/4784575)
Jun 01, 2017 2:11:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2473/3728 took 662424 ms. Total solver calls (SAT/UNSAT): 4800898(7342/4793556)
Jun 01, 2017 2:11:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2477/3728 took 663495 ms. Total solver calls (SAT/UNSAT): 4808371(7354/4801017)
Jun 01, 2017 2:11:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2481/3728 took 664508 ms. Total solver calls (SAT/UNSAT): 4815843(7366/4808477)
Jun 01, 2017 2:11:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2485/3728 took 665519 ms. Total solver calls (SAT/UNSAT): 4823315(7378/4815937)
Jun 01, 2017 2:11:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2489/3728 took 666531 ms. Total solver calls (SAT/UNSAT): 4830787(7390/4823397)
Jun 01, 2017 2:11:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2493/3728 took 667544 ms. Total solver calls (SAT/UNSAT): 4838259(7402/4830857)
Jun 01, 2017 2:11:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2497/3728 took 668768 ms. Total solver calls (SAT/UNSAT): 4847253(7414/4839839)
Jun 01, 2017 2:11:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2501/3728 took 669789 ms. Total solver calls (SAT/UNSAT): 4854725(7426/4847299)
Jun 01, 2017 2:11:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2505/3728 took 670814 ms. Total solver calls (SAT/UNSAT): 4862197(7438/4854759)
Jun 01, 2017 2:11:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2509/3728 took 671842 ms. Total solver calls (SAT/UNSAT): 4869669(7450/4862219)
Jun 01, 2017 2:11:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2513/3728 took 672860 ms. Total solver calls (SAT/UNSAT): 4877141(7462/4869679)
Jun 01, 2017 2:11:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2517/3728 took 674088 ms. Total solver calls (SAT/UNSAT): 4886135(7474/4878661)
Jun 01, 2017 2:11:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2521/3728 took 675108 ms. Total solver calls (SAT/UNSAT): 4893607(7486/4886121)
Jun 01, 2017 2:11:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2525/3728 took 676126 ms. Total solver calls (SAT/UNSAT): 4901079(7498/4893581)
Jun 01, 2017 2:11:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2529/3728 took 677149 ms. Total solver calls (SAT/UNSAT): 4908551(7510/4901041)
Jun 01, 2017 2:11:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2533/3728 took 678171 ms. Total solver calls (SAT/UNSAT): 4916023(7522/4908501)
Jun 01, 2017 2:11:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2537/3728 took 679399 ms. Total solver calls (SAT/UNSAT): 4925017(7534/4917483)
Jun 01, 2017 2:11:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2541/3728 took 680416 ms. Total solver calls (SAT/UNSAT): 4932489(7546/4924943)
Jun 01, 2017 2:11:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2545/3728 took 681435 ms. Total solver calls (SAT/UNSAT): 4939961(7558/4932403)
Jun 01, 2017 2:11:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2549/3728 took 682459 ms. Total solver calls (SAT/UNSAT): 4947433(7570/4939863)
Jun 01, 2017 2:11:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2553/3728 took 683519 ms. Total solver calls (SAT/UNSAT): 4954905(7582/4947323)
Jun 01, 2017 2:11:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2557/3728 took 684799 ms. Total solver calls (SAT/UNSAT): 4963898(7594/4956304)
Jun 01, 2017 2:11:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2561/3728 took 685825 ms. Total solver calls (SAT/UNSAT): 4971371(7606/4963765)
Jun 01, 2017 2:12:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2565/3728 took 686850 ms. Total solver calls (SAT/UNSAT): 4978843(7618/4971225)
Jun 01, 2017 2:12:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2569/3728 took 687877 ms. Total solver calls (SAT/UNSAT): 4986315(7630/4978685)
Jun 01, 2017 2:12:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2573/3728 took 688902 ms. Total solver calls (SAT/UNSAT): 4993787(7642/4986145)
Jun 01, 2017 2:12:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2577/3728 took 689927 ms. Total solver calls (SAT/UNSAT): 5001259(7654/4993605)
Jun 01, 2017 2:12:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2581/3728 took 691165 ms. Total solver calls (SAT/UNSAT): 5010253(7666/5002587)
Jun 01, 2017 2:12:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2585/3728 took 692197 ms. Total solver calls (SAT/UNSAT): 5017725(7678/5010047)
Jun 01, 2017 2:12:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2589/3728 took 693235 ms. Total solver calls (SAT/UNSAT): 5025197(7690/5017507)
Jun 01, 2017 2:12:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2593/3728 took 694272 ms. Total solver calls (SAT/UNSAT): 5032669(7702/5024967)
Jun 01, 2017 2:12:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2597/3728 took 695309 ms. Total solver calls (SAT/UNSAT): 5040141(7714/5032427)
Jun 01, 2017 2:12:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2601/3728 took 696554 ms. Total solver calls (SAT/UNSAT): 5049135(7726/5041409)
Jun 01, 2017 2:12:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2605/3728 took 697586 ms. Total solver calls (SAT/UNSAT): 5056607(7738/5048869)
Jun 01, 2017 2:12:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2609/3728 took 698620 ms. Total solver calls (SAT/UNSAT): 5064079(7750/5056329)
Jun 01, 2017 2:12:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2613/3728 took 699653 ms. Total solver calls (SAT/UNSAT): 5071551(7762/5063789)
Jun 01, 2017 2:12:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2617/3728 took 700684 ms. Total solver calls (SAT/UNSAT): 5079023(7774/5071249)
Jun 01, 2017 2:12:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2621/3728 took 701926 ms. Total solver calls (SAT/UNSAT): 5088017(7786/5080231)
Jun 01, 2017 2:12:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2625/3728 took 702961 ms. Total solver calls (SAT/UNSAT): 5095489(7798/5087691)
Jun 01, 2017 2:12:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2629/3728 took 703993 ms. Total solver calls (SAT/UNSAT): 5102961(7810/5095151)
Jun 01, 2017 2:12:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2633/3728 took 705030 ms. Total solver calls (SAT/UNSAT): 5110433(7822/5102611)
Jun 01, 2017 2:12:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2637/3728 took 706063 ms. Total solver calls (SAT/UNSAT): 5117905(7834/5110071)
Jun 01, 2017 2:12:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2641/3728 took 707336 ms. Total solver calls (SAT/UNSAT): 5126898(7846/5119052)
Jun 01, 2017 2:12:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2645/3728 took 708352 ms. Total solver calls (SAT/UNSAT): 5134371(7858/5126513)
Jun 01, 2017 2:12:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2649/3728 took 709372 ms. Total solver calls (SAT/UNSAT): 5141843(7870/5133973)
Jun 01, 2017 2:12:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2653/3728 took 710392 ms. Total solver calls (SAT/UNSAT): 5149315(7882/5141433)
Jun 01, 2017 2:12:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2657/3728 took 711405 ms. Total solver calls (SAT/UNSAT): 5156787(7894/5148893)
Jun 01, 2017 2:12:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2661/3728 took 712420 ms. Total solver calls (SAT/UNSAT): 5164259(7906/5156353)
Jun 01, 2017 2:12:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2665/3728 took 713671 ms. Total solver calls (SAT/UNSAT): 5173253(7918/5165335)
Jun 01, 2017 2:12:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2669/3728 took 714703 ms. Total solver calls (SAT/UNSAT): 5180725(7930/5172795)
Jun 01, 2017 2:12:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2673/3728 took 715727 ms. Total solver calls (SAT/UNSAT): 5188197(7942/5180255)
Jun 01, 2017 2:12:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2677/3728 took 716747 ms. Total solver calls (SAT/UNSAT): 5195669(7954/5187715)
Jun 01, 2017 2:12:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2681/3728 took 717761 ms. Total solver calls (SAT/UNSAT): 5203141(7966/5195175)
Jun 01, 2017 2:12:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2685/3728 took 718993 ms. Total solver calls (SAT/UNSAT): 5212135(7978/5204157)
Jun 01, 2017 2:12:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2689/3728 took 720027 ms. Total solver calls (SAT/UNSAT): 5219607(7990/5211617)
Jun 01, 2017 2:12:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2693/3728 took 721049 ms. Total solver calls (SAT/UNSAT): 5227079(8002/5219077)
Jun 01, 2017 2:12:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2697/3728 took 722127 ms. Total solver calls (SAT/UNSAT): 5234551(8014/5226537)
Jun 01, 2017 2:12:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2701/3728 took 723162 ms. Total solver calls (SAT/UNSAT): 5242023(8026/5233997)
Jun 01, 2017 2:12:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2705/3728 took 724400 ms. Total solver calls (SAT/UNSAT): 5251017(8038/5242979)
Jun 01, 2017 2:12:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2709/3728 took 725421 ms. Total solver calls (SAT/UNSAT): 5258489(8050/5250439)
Jun 01, 2017 2:12:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2713/3728 took 726441 ms. Total solver calls (SAT/UNSAT): 5265961(8062/5257899)
Jun 01, 2017 2:12:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2717/3728 took 727468 ms. Total solver calls (SAT/UNSAT): 5273433(8074/5265359)
Jun 01, 2017 2:12:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2721/3728 took 728491 ms. Total solver calls (SAT/UNSAT): 5280905(8086/5272819)
Jun 01, 2017 2:12:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2725/3728 took 729724 ms. Total solver calls (SAT/UNSAT): 5289898(8098/5281800)
Jun 01, 2017 2:12:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2729/3728 took 730764 ms. Total solver calls (SAT/UNSAT): 5297371(8110/5289261)
Jun 01, 2017 2:12:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2733/3728 took 731799 ms. Total solver calls (SAT/UNSAT): 5304843(8122/5296721)
Jun 01, 2017 2:12:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2737/3728 took 732839 ms. Total solver calls (SAT/UNSAT): 5312315(8134/5304181)
Jun 01, 2017 2:12:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2741/3728 took 733883 ms. Total solver calls (SAT/UNSAT): 5319787(8146/5311641)
Jun 01, 2017 2:12:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2745/3728 took 735045 ms. Total solver calls (SAT/UNSAT): 5327259(8158/5319101)
Jun 01, 2017 2:12:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2749/3728 took 736277 ms. Total solver calls (SAT/UNSAT): 5336253(8170/5328083)
Jun 01, 2017 2:12:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2753/3728 took 737307 ms. Total solver calls (SAT/UNSAT): 5343725(8182/5335543)
Jun 01, 2017 2:12:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2757/3728 took 738335 ms. Total solver calls (SAT/UNSAT): 5351197(8194/5343003)
Jun 01, 2017 2:12:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2761/3728 took 739363 ms. Total solver calls (SAT/UNSAT): 5358669(8206/5350463)
Jun 01, 2017 2:12:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2765/3728 took 740389 ms. Total solver calls (SAT/UNSAT): 5366141(8218/5357923)
Jun 01, 2017 2:12:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2769/3728 took 741628 ms. Total solver calls (SAT/UNSAT): 5375135(8230/5366905)
Jun 01, 2017 2:12:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2773/3728 took 742661 ms. Total solver calls (SAT/UNSAT): 5382607(8242/5374365)
Jun 01, 2017 2:12:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2777/3728 took 743690 ms. Total solver calls (SAT/UNSAT): 5390079(8254/5381825)
Jun 01, 2017 2:12:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2781/3728 took 744711 ms. Total solver calls (SAT/UNSAT): 5397551(8266/5389285)
Jun 01, 2017 2:12:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2785/3728 took 745733 ms. Total solver calls (SAT/UNSAT): 5405023(8278/5396745)
Jun 01, 2017 2:13:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2789/3728 took 746973 ms. Total solver calls (SAT/UNSAT): 5414017(8290/5405727)
Jun 01, 2017 2:13:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2793/3728 took 748001 ms. Total solver calls (SAT/UNSAT): 5421489(8302/5413187)
Jun 01, 2017 2:13:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2797/3728 took 749033 ms. Total solver calls (SAT/UNSAT): 5428961(8314/5420647)
Jun 01, 2017 2:13:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2801/3728 took 750060 ms. Total solver calls (SAT/UNSAT): 5436433(8326/5428107)
Jun 01, 2017 2:13:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2805/3728 took 751086 ms. Total solver calls (SAT/UNSAT): 5443905(8338/5435567)
Jun 01, 2017 2:13:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2809/3728 took 752321 ms. Total solver calls (SAT/UNSAT): 5452898(8350/5444548)
Jun 01, 2017 2:13:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2813/3728 took 753353 ms. Total solver calls (SAT/UNSAT): 5460371(8362/5452009)
Jun 01, 2017 2:13:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2817/3728 took 754389 ms. Total solver calls (SAT/UNSAT): 5467843(8374/5459469)
Jun 01, 2017 2:13:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2821/3728 took 755459 ms. Total solver calls (SAT/UNSAT): 5475315(8386/5466929)
Jun 01, 2017 2:13:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2825/3728 took 756465 ms. Total solver calls (SAT/UNSAT): 5482787(8398/5474389)
Jun 01, 2017 2:13:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2829/3728 took 757477 ms. Total solver calls (SAT/UNSAT): 5490259(8410/5481849)
Jun 01, 2017 2:13:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2833/3728 took 758689 ms. Total solver calls (SAT/UNSAT): 5499253(8422/5490831)
Jun 01, 2017 2:13:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2837/3728 took 759698 ms. Total solver calls (SAT/UNSAT): 5506725(8434/5498291)
Jun 01, 2017 2:13:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2841/3728 took 760702 ms. Total solver calls (SAT/UNSAT): 5514197(8446/5505751)
Jun 01, 2017 2:13:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2845/3728 took 761712 ms. Total solver calls (SAT/UNSAT): 5521669(8458/5513211)
Jun 01, 2017 2:13:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2849/3728 took 762769 ms. Total solver calls (SAT/UNSAT): 5529141(8470/5520671)
Jun 01, 2017 2:13:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2852/3728 took 763782 ms. Total solver calls (SAT/UNSAT): 5536267(8479/5527788)
Jun 01, 2017 2:13:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2856/3728 took 764800 ms. Total solver calls (SAT/UNSAT): 5543739(8491/5535248)
Jun 01, 2017 2:13:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2860/3728 took 765825 ms. Total solver calls (SAT/UNSAT): 5551211(8503/5542708)
Jun 01, 2017 2:13:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2864/3728 took 766842 ms. Total solver calls (SAT/UNSAT): 5558683(8515/5550168)
Jun 01, 2017 2:13:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2868/3728 took 767871 ms. Total solver calls (SAT/UNSAT): 5566155(8527/5557628)
Jun 01, 2017 2:13:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2872/3728 took 769089 ms. Total solver calls (SAT/UNSAT): 5575148(8539/5566609)
Jun 01, 2017 2:13:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2876/3728 took 770105 ms. Total solver calls (SAT/UNSAT): 5582621(8551/5574070)
Jun 01, 2017 2:13:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2880/3728 took 771127 ms. Total solver calls (SAT/UNSAT): 5590093(8563/5581530)
Jun 01, 2017 2:13:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2884/3728 took 772141 ms. Total solver calls (SAT/UNSAT): 5597565(8575/5588990)
Jun 01, 2017 2:13:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2888/3728 took 773161 ms. Total solver calls (SAT/UNSAT): 5605037(8587/5596450)
Jun 01, 2017 2:13:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2892/3728 took 774179 ms. Total solver calls (SAT/UNSAT): 5612509(8599/5603910)
Jun 01, 2017 2:13:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2896/3728 took 775402 ms. Total solver calls (SAT/UNSAT): 5621503(8611/5612892)
Jun 01, 2017 2:13:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2900/3728 took 776417 ms. Total solver calls (SAT/UNSAT): 5628975(8623/5620352)
Jun 01, 2017 2:13:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2904/3728 took 777425 ms. Total solver calls (SAT/UNSAT): 5636447(8635/5627812)
Jun 01, 2017 2:13:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2908/3728 took 778445 ms. Total solver calls (SAT/UNSAT): 5643919(8647/5635272)
Jun 01, 2017 2:13:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2912/3728 took 779467 ms. Total solver calls (SAT/UNSAT): 5651391(8659/5642732)
Jun 01, 2017 2:13:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2916/3728 took 780684 ms. Total solver calls (SAT/UNSAT): 5660385(8671/5651714)
Jun 01, 2017 2:13:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2920/3728 took 781706 ms. Total solver calls (SAT/UNSAT): 5667857(8683/5659174)
Jun 01, 2017 2:13:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2924/3728 took 782719 ms. Total solver calls (SAT/UNSAT): 5675329(8695/5666634)
Jun 01, 2017 2:13:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2928/3728 took 783743 ms. Total solver calls (SAT/UNSAT): 5682801(8707/5674094)
Jun 01, 2017 2:13:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2932/3728 took 784796 ms. Total solver calls (SAT/UNSAT): 5690273(8719/5681554)
Jun 01, 2017 2:13:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2936/3728 took 786013 ms. Total solver calls (SAT/UNSAT): 5699267(8731/5690536)
Jun 01, 2017 2:13:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2940/3728 took 787030 ms. Total solver calls (SAT/UNSAT): 5706739(8743/5697996)
Jun 01, 2017 2:13:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2944/3728 took 788040 ms. Total solver calls (SAT/UNSAT): 5714211(8755/5705456)
Jun 01, 2017 2:13:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2948/3728 took 789055 ms. Total solver calls (SAT/UNSAT): 5721683(8767/5712916)
Jun 01, 2017 2:13:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2952/3728 took 790067 ms. Total solver calls (SAT/UNSAT): 5729155(8779/5720376)
Jun 01, 2017 2:13:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2956/3728 took 791289 ms. Total solver calls (SAT/UNSAT): 5738148(8791/5729357)
Jun 01, 2017 2:13:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2960/3728 took 792307 ms. Total solver calls (SAT/UNSAT): 5745621(8803/5736818)
Jun 01, 2017 2:13:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2964/3728 took 793319 ms. Total solver calls (SAT/UNSAT): 5753093(8815/5744278)
Jun 01, 2017 2:13:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2968/3728 took 794336 ms. Total solver calls (SAT/UNSAT): 5760565(8827/5751738)
Jun 01, 2017 2:13:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2972/3728 took 795344 ms. Total solver calls (SAT/UNSAT): 5768037(8839/5759198)
Jun 01, 2017 2:13:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2976/3728 took 796355 ms. Total solver calls (SAT/UNSAT): 5775509(8851/5766658)
Jun 01, 2017 2:13:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2980/3728 took 797571 ms. Total solver calls (SAT/UNSAT): 5784503(8863/5775640)
Jun 01, 2017 2:13:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2984/3728 took 798593 ms. Total solver calls (SAT/UNSAT): 5791975(8875/5783100)
Jun 01, 2017 2:13:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2988/3728 took 799602 ms. Total solver calls (SAT/UNSAT): 5799447(8887/5790560)
Jun 01, 2017 2:13:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2992/3728 took 800617 ms. Total solver calls (SAT/UNSAT): 5806919(8899/5798020)
Jun 01, 2017 2:13:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2996/3728 took 801628 ms. Total solver calls (SAT/UNSAT): 5814391(8911/5805480)
Jun 01, 2017 2:13:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3000/3728 took 802851 ms. Total solver calls (SAT/UNSAT): 5823385(8923/5814462)
Jun 01, 2017 2:13:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3004/3728 took 803862 ms. Total solver calls (SAT/UNSAT): 5830857(8935/5821922)
Jun 01, 2017 2:13:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3008/3728 took 804878 ms. Total solver calls (SAT/UNSAT): 5838329(8947/5829382)
Jun 01, 2017 2:13:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3012/3728 took 805888 ms. Total solver calls (SAT/UNSAT): 5845801(8959/5836842)
Jun 01, 2017 2:14:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3016/3728 took 806905 ms. Total solver calls (SAT/UNSAT): 5853273(8971/5844302)
Jun 01, 2017 2:14:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3020/3728 took 808118 ms. Total solver calls (SAT/UNSAT): 5862267(8983/5853284)
Jun 01, 2017 2:14:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3024/3728 took 809134 ms. Total solver calls (SAT/UNSAT): 5869739(8995/5860744)
Jun 01, 2017 2:14:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3028/3728 took 810147 ms. Total solver calls (SAT/UNSAT): 5877211(9007/5868204)
Jun 01, 2017 2:14:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3032/3728 took 811163 ms. Total solver calls (SAT/UNSAT): 5884683(9019/5875664)
Jun 01, 2017 2:14:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3036/3728 took 812171 ms. Total solver calls (SAT/UNSAT): 5892155(9031/5883124)
Jun 01, 2017 2:14:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3040/3728 took 813389 ms. Total solver calls (SAT/UNSAT): 5901148(9043/5892105)
Jun 01, 2017 2:14:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3044/3728 took 814397 ms. Total solver calls (SAT/UNSAT): 5908621(9055/5899566)
Jun 01, 2017 2:14:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3048/3728 took 815413 ms. Total solver calls (SAT/UNSAT): 5916093(9067/5907026)
Jun 01, 2017 2:14:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3052/3728 took 816417 ms. Total solver calls (SAT/UNSAT): 5923565(9079/5914486)
Jun 01, 2017 2:14:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3056/3728 took 817429 ms. Total solver calls (SAT/UNSAT): 5931037(9091/5921946)
Jun 01, 2017 2:14:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3060/3728 took 818439 ms. Total solver calls (SAT/UNSAT): 5938509(9103/5929406)
Jun 01, 2017 2:14:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3063/3728 took 819447 ms. Total solver calls (SAT/UNSAT): 5945635(9112/5936523)
Jun 01, 2017 2:14:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3067/3728 took 820453 ms. Total solver calls (SAT/UNSAT): 5953107(9124/5943983)
Jun 01, 2017 2:14:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3071/3728 took 821460 ms. Total solver calls (SAT/UNSAT): 5960579(9136/5951443)
Jun 01, 2017 2:14:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3075/3728 took 822475 ms. Total solver calls (SAT/UNSAT): 5968051(9148/5958903)
Jun 01, 2017 2:14:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3079/3728 took 823489 ms. Total solver calls (SAT/UNSAT): 5975523(9160/5966363)
Jun 01, 2017 2:14:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3083/3728 took 824714 ms. Total solver calls (SAT/UNSAT): 5984517(9172/5975345)
Jun 01, 2017 2:14:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3087/3728 took 825727 ms. Total solver calls (SAT/UNSAT): 5991989(9184/5982805)
Jun 01, 2017 2:14:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3091/3728 took 826743 ms. Total solver calls (SAT/UNSAT): 5999461(9196/5990265)
Jun 01, 2017 2:14:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3095/3728 took 827753 ms. Total solver calls (SAT/UNSAT): 6006933(9208/5997725)
Jun 01, 2017 2:14:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3099/3728 took 828764 ms. Total solver calls (SAT/UNSAT): 6014405(9220/6005185)
Jun 01, 2017 2:14:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3103/3728 took 829973 ms. Total solver calls (SAT/UNSAT): 6023398(9232/6014166)
Jun 01, 2017 2:14:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3107/3728 took 830993 ms. Total solver calls (SAT/UNSAT): 6030871(9244/6021627)
Jun 01, 2017 2:14:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3111/3728 took 831997 ms. Total solver calls (SAT/UNSAT): 6038343(9256/6029087)
Jun 01, 2017 2:14:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3115/3728 took 833003 ms. Total solver calls (SAT/UNSAT): 6045815(9268/6036547)
Jun 01, 2017 2:14:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3119/3728 took 834032 ms. Total solver calls (SAT/UNSAT): 6053287(9280/6044007)
Jun 01, 2017 2:14:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3123/3728 took 835037 ms. Total solver calls (SAT/UNSAT): 6060759(9292/6051467)
Jun 01, 2017 2:14:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3127/3728 took 836251 ms. Total solver calls (SAT/UNSAT): 6069753(9304/6060449)
Jun 01, 2017 2:14:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3131/3728 took 837256 ms. Total solver calls (SAT/UNSAT): 6077225(9316/6067909)
Jun 01, 2017 2:14:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3135/3728 took 838273 ms. Total solver calls (SAT/UNSAT): 6084697(9328/6075369)
Jun 01, 2017 2:14:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3139/3728 took 839282 ms. Total solver calls (SAT/UNSAT): 6092169(9340/6082829)
Jun 01, 2017 2:14:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3143/3728 took 840288 ms. Total solver calls (SAT/UNSAT): 6099641(9352/6090289)
Jun 01, 2017 2:14:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3147/3728 took 841515 ms. Total solver calls (SAT/UNSAT): 6108635(9364/6099271)
Jun 01, 2017 2:14:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3151/3728 took 842522 ms. Total solver calls (SAT/UNSAT): 6116107(9376/6106731)
Jun 01, 2017 2:14:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3155/3728 took 843543 ms. Total solver calls (SAT/UNSAT): 6123579(9388/6114191)
Jun 01, 2017 2:14:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3159/3728 took 844549 ms. Total solver calls (SAT/UNSAT): 6131051(9400/6121651)
Jun 01, 2017 2:14:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3163/3728 took 845561 ms. Total solver calls (SAT/UNSAT): 6138523(9412/6129111)
Jun 01, 2017 2:14:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3167/3728 took 846776 ms. Total solver calls (SAT/UNSAT): 6147517(9424/6138093)
Jun 01, 2017 2:14:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3171/3728 took 847788 ms. Total solver calls (SAT/UNSAT): 6154989(9436/6145553)
Jun 01, 2017 2:14:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3175/3728 took 848800 ms. Total solver calls (SAT/UNSAT): 6162461(9448/6153013)
Jun 01, 2017 2:14:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3179/3728 took 849804 ms. Total solver calls (SAT/UNSAT): 6169933(9460/6160473)
Jun 01, 2017 2:14:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3183/3728 took 850815 ms. Total solver calls (SAT/UNSAT): 6177405(9472/6167933)
Jun 01, 2017 2:14:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3187/3728 took 852023 ms. Total solver calls (SAT/UNSAT): 6186398(9484/6176914)
Jun 01, 2017 2:14:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3191/3728 took 853029 ms. Total solver calls (SAT/UNSAT): 6193871(9496/6184375)
Jun 01, 2017 2:14:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3195/3728 took 854039 ms. Total solver calls (SAT/UNSAT): 6201343(9508/6191835)
Jun 01, 2017 2:14:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3199/3728 took 855043 ms. Total solver calls (SAT/UNSAT): 6208815(9520/6199295)
Jun 01, 2017 2:14:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3203/3728 took 856060 ms. Total solver calls (SAT/UNSAT): 6216287(9532/6206755)
Jun 01, 2017 2:14:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3207/3728 took 857066 ms. Total solver calls (SAT/UNSAT): 6223759(9544/6214215)
Jun 01, 2017 2:14:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3211/3728 took 858278 ms. Total solver calls (SAT/UNSAT): 6232753(9556/6223197)
Jun 01, 2017 2:14:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3215/3728 took 859298 ms. Total solver calls (SAT/UNSAT): 6240225(9568/6230657)
Jun 01, 2017 2:14:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3219/3728 took 860306 ms. Total solver calls (SAT/UNSAT): 6247697(9580/6238117)
Jun 01, 2017 2:14:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3223/3728 took 861325 ms. Total solver calls (SAT/UNSAT): 6255169(9592/6245577)
Jun 01, 2017 2:14:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3227/3728 took 862340 ms. Total solver calls (SAT/UNSAT): 6262641(9604/6253037)
Jun 01, 2017 2:14:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3231/3728 took 863560 ms. Total solver calls (SAT/UNSAT): 6271635(9616/6262019)
Jun 01, 2017 2:14:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3235/3728 took 864577 ms. Total solver calls (SAT/UNSAT): 6279107(9628/6269479)
Jun 01, 2017 2:14:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3239/3728 took 865587 ms. Total solver calls (SAT/UNSAT): 6286579(9640/6276939)
Jun 01, 2017 2:15:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3243/3728 took 866596 ms. Total solver calls (SAT/UNSAT): 6294051(9652/6284399)
Jun 01, 2017 2:15:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3247/3728 took 867659 ms. Total solver calls (SAT/UNSAT): 6301523(9664/6291859)
Jun 01, 2017 2:15:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3251/3728 took 868873 ms. Total solver calls (SAT/UNSAT): 6310517(9676/6300841)
Jun 01, 2017 2:15:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3255/3728 took 869892 ms. Total solver calls (SAT/UNSAT): 6317989(9688/6308301)
Jun 01, 2017 2:15:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3259/3728 took 870911 ms. Total solver calls (SAT/UNSAT): 6325461(9700/6315761)
Jun 01, 2017 2:15:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3263/3728 took 871927 ms. Total solver calls (SAT/UNSAT): 6332933(9712/6323221)
Jun 01, 2017 2:15:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3267/3728 took 872943 ms. Total solver calls (SAT/UNSAT): 6340405(9724/6330681)
Jun 01, 2017 2:15:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3271/3728 took 874159 ms. Total solver calls (SAT/UNSAT): 6349398(9736/6339662)
Jun 01, 2017 2:15:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3275/3728 took 875177 ms. Total solver calls (SAT/UNSAT): 6356871(9748/6347123)
Jun 01, 2017 2:15:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3279/3728 took 876191 ms. Total solver calls (SAT/UNSAT): 6364343(9760/6354583)
Jun 01, 2017 2:15:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3283/3728 took 877199 ms. Total solver calls (SAT/UNSAT): 6371815(9772/6362043)
Jun 01, 2017 2:15:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3287/3728 took 878213 ms. Total solver calls (SAT/UNSAT): 6379287(9784/6369503)
Jun 01, 2017 2:15:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3291/3728 took 879219 ms. Total solver calls (SAT/UNSAT): 6386759(9796/6376963)
Jun 01, 2017 2:15:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3295/3728 took 880431 ms. Total solver calls (SAT/UNSAT): 6395753(9808/6385945)
Jun 01, 2017 2:15:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3299/3728 took 881445 ms. Total solver calls (SAT/UNSAT): 6403225(9820/6393405)
Jun 01, 2017 2:15:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3303/3728 took 882454 ms. Total solver calls (SAT/UNSAT): 6410697(9832/6400865)
Jun 01, 2017 2:15:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3307/3728 took 883463 ms. Total solver calls (SAT/UNSAT): 6418169(9844/6408325)
Jun 01, 2017 2:15:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3311/3728 took 884483 ms. Total solver calls (SAT/UNSAT): 6425641(9856/6415785)
Jun 01, 2017 2:15:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3315/3728 took 885702 ms. Total solver calls (SAT/UNSAT): 6434635(9868/6424767)
Jun 01, 2017 2:15:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3319/3728 took 886713 ms. Total solver calls (SAT/UNSAT): 6442107(9880/6432227)
Jun 01, 2017 2:15:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3323/3728 took 887722 ms. Total solver calls (SAT/UNSAT): 6449579(9892/6439687)
Jun 01, 2017 2:15:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3327/3728 took 888728 ms. Total solver calls (SAT/UNSAT): 6457051(9904/6447147)
Jun 01, 2017 2:15:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3331/3728 took 889741 ms. Total solver calls (SAT/UNSAT): 6464523(9916/6454607)
Jun 01, 2017 2:15:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3335/3728 took 890960 ms. Total solver calls (SAT/UNSAT): 6473517(9928/6463589)
Jun 01, 2017 2:15:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3339/3728 took 891971 ms. Total solver calls (SAT/UNSAT): 6480989(9940/6471049)
Jun 01, 2017 2:15:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3343/3728 took 892995 ms. Total solver calls (SAT/UNSAT): 6488461(9952/6478509)
Jun 01, 2017 2:15:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3347/3728 took 894008 ms. Total solver calls (SAT/UNSAT): 6495933(9964/6485969)
Jun 01, 2017 2:15:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3351/3728 took 895024 ms. Total solver calls (SAT/UNSAT): 6503405(9976/6493429)
Jun 01, 2017 2:15:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3355/3728 took 896251 ms. Total solver calls (SAT/UNSAT): 6512398(9988/6502410)
Jun 01, 2017 2:15:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3359/3728 took 897258 ms. Total solver calls (SAT/UNSAT): 6519871(10000/6509871)
Jun 01, 2017 2:15:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3363/3728 took 898265 ms. Total solver calls (SAT/UNSAT): 6527343(10012/6517331)
Jun 01, 2017 2:15:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3367/3728 took 899284 ms. Total solver calls (SAT/UNSAT): 6534815(10024/6524791)
Jun 01, 2017 2:15:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3371/3728 took 900294 ms. Total solver calls (SAT/UNSAT): 6542287(10036/6532251)
Jun 01, 2017 2:15:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3375/3728 took 901301 ms. Total solver calls (SAT/UNSAT): 6549759(10048/6539711)
Jun 01, 2017 2:15:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3379/3728 took 902525 ms. Total solver calls (SAT/UNSAT): 6558753(10060/6548693)
Jun 01, 2017 2:15:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3383/3728 took 903541 ms. Total solver calls (SAT/UNSAT): 6566225(10072/6556153)
Jun 01, 2017 2:15:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3387/3728 took 904552 ms. Total solver calls (SAT/UNSAT): 6573697(10084/6563613)
Jun 01, 2017 2:15:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3391/3728 took 905571 ms. Total solver calls (SAT/UNSAT): 6581169(10096/6571073)
Jun 01, 2017 2:15:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3395/3728 took 906585 ms. Total solver calls (SAT/UNSAT): 6588641(10108/6578533)
Jun 01, 2017 2:15:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3399/3728 took 907818 ms. Total solver calls (SAT/UNSAT): 6597635(10120/6587515)
Jun 01, 2017 2:15:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3403/3728 took 908826 ms. Total solver calls (SAT/UNSAT): 6605107(10132/6594975)
Jun 01, 2017 2:15:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3407/3728 took 909833 ms. Total solver calls (SAT/UNSAT): 6612579(10144/6602435)
Jun 01, 2017 2:15:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3411/3728 took 910846 ms. Total solver calls (SAT/UNSAT): 6620051(10156/6609895)
Jun 01, 2017 2:15:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3415/3728 took 911853 ms. Total solver calls (SAT/UNSAT): 6627523(10168/6617355)
Jun 01, 2017 2:15:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3419/3728 took 913068 ms. Total solver calls (SAT/UNSAT): 6636517(10180/6626337)
Jun 01, 2017 2:15:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3423/3728 took 914078 ms. Total solver calls (SAT/UNSAT): 6643989(10192/6633797)
Jun 01, 2017 2:15:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3427/3728 took 915093 ms. Total solver calls (SAT/UNSAT): 6651461(10204/6641257)
Jun 01, 2017 2:15:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3431/3728 took 916107 ms. Total solver calls (SAT/UNSAT): 6658933(10216/6648717)
Jun 01, 2017 2:15:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3435/3728 took 917113 ms. Total solver calls (SAT/UNSAT): 6666405(10228/6656177)
Jun 01, 2017 2:15:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3439/3728 took 918340 ms. Total solver calls (SAT/UNSAT): 6675398(10240/6665158)
Jun 01, 2017 2:15:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3465/3728 took 919367 ms. Total solver calls (SAT/UNSAT): 6682262(10266/6671996)
Jun 01, 2017 2:15:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3481/3728 took 920809 ms. Total solver calls (SAT/UNSAT): 6692566(10282/6682284)
Jun 01, 2017 2:58:43 AM fr.lip6.move.gal.itstools.ProcessController forwardStream
WARNING: Stream closed
Jun 01, 2017 2:58:43 AM fr.lip6.move.gal.itstools.ProcessController forwardStream
WARNING: Stream closed
Jun 01, 2017 2:58:43 AM fr.lip6.move.gal.itstools.ProcessController$1 run
WARNING: null

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-PT-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-PT-V80P20N20.tgz
mv BridgeAndVehicles-PT-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-PT-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-149436129800537"
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 '' LTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;