Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is S_BridgeAndVehicles-PT-V80P20N20, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r090-csrt-149441076900537
=====================================================================

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


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 02, 2017 4:05:39 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 02, 2017 4:05:39 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 324 ms
Jun 02, 2017 4:05:39 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 198 places.
Jun 02, 2017 4:05:40 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 3728 transitions.
Jun 02, 2017 4:05:41 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 679 ms
Jun 02, 2017 4:05:41 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 77 ms
Jun 02, 2017 4:05:41 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 36 ms
Jun 02, 2017 4:05:44 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 391 ms
Jun 02, 2017 4:05:59 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 198 variables to be positive in 15209 ms
Jun 02, 2017 4:05:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 3728 transitions.
Jun 02, 2017 4:05:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3728 took 293 ms. Total solver calls (SAT/UNSAT): 1943(2/1941)
Jun 02, 2017 4:06:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/3728 took 1521 ms. Total solver calls (SAT/UNSAT): 9715(10/9705)
Jun 02, 2017 4:06:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/3728 took 2660 ms. Total solver calls (SAT/UNSAT): 17487(18/17469)
Jun 02, 2017 4:06:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/3728 took 3749 ms. Total solver calls (SAT/UNSAT): 25259(26/25233)
Jun 02, 2017 4:06:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :16/3728 took 4832 ms. Total solver calls (SAT/UNSAT): 33031(34/32997)
Jun 02, 2017 4:06:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/3728 took 5922 ms. Total solver calls (SAT/UNSAT): 40803(42/40761)
Jun 02, 2017 4:06:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/3728 took 6978 ms. Total solver calls (SAT/UNSAT): 48575(50/48525)
Jun 02, 2017 4:06:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/3728 took 8030 ms. Total solver calls (SAT/UNSAT): 56347(58/56289)
Jun 02, 2017 4:06:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/3728 took 9075 ms. Total solver calls (SAT/UNSAT): 64119(66/64053)
Jun 02, 2017 4:06:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/3728 took 10112 ms. Total solver calls (SAT/UNSAT): 71891(74/71817)
Jun 02, 2017 4:06:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/3728 took 11146 ms. Total solver calls (SAT/UNSAT): 79663(82/79581)
Jun 02, 2017 4:06:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/3728 took 12187 ms. Total solver calls (SAT/UNSAT): 87435(90/87345)
Jun 02, 2017 4:06:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/3728 took 13233 ms. Total solver calls (SAT/UNSAT): 95207(98/95109)
Jun 02, 2017 4:06:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/3728 took 14280 ms. Total solver calls (SAT/UNSAT): 102979(106/102873)
Jun 02, 2017 4:06:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/3728 took 15389 ms. Total solver calls (SAT/UNSAT): 110751(114/110637)
Jun 02, 2017 4:06:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/3728 took 16446 ms. Total solver calls (SAT/UNSAT): 118523(122/118401)
Jun 02, 2017 4:06:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/3728 took 17498 ms. Total solver calls (SAT/UNSAT): 126295(130/126165)
Jun 02, 2017 4:06:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/3728 took 18550 ms. Total solver calls (SAT/UNSAT): 134067(138/133929)
Jun 02, 2017 4:06:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/3728 took 19597 ms. Total solver calls (SAT/UNSAT): 141839(146/141693)
Jun 02, 2017 4:06:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/3728 took 20648 ms. Total solver calls (SAT/UNSAT): 149611(154/149457)
Jun 02, 2017 4:06:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/3728 took 21690 ms. Total solver calls (SAT/UNSAT): 157308(163/157145)
Jun 02, 2017 4:06:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/3728 took 22698 ms. Total solver calls (SAT/UNSAT): 164784(175/164609)
Jun 02, 2017 4:06:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/3728 took 23699 ms. Total solver calls (SAT/UNSAT): 172260(187/172073)
Jun 02, 2017 4:06:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :93/3728 took 24946 ms. Total solver calls (SAT/UNSAT): 181605(202/181403)
Jun 02, 2017 4:06:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :97/3728 took 25948 ms. Total solver calls (SAT/UNSAT): 189081(214/188867)
Jun 02, 2017 4:06:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/3728 took 26951 ms. Total solver calls (SAT/UNSAT): 196557(226/196331)
Jun 02, 2017 4:06:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :105/3728 took 27952 ms. Total solver calls (SAT/UNSAT): 204033(238/203795)
Jun 02, 2017 4:06:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/3728 took 29201 ms. Total solver calls (SAT/UNSAT): 213378(253/213125)
Jun 02, 2017 4:06:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :114/3728 took 30201 ms. Total solver calls (SAT/UNSAT): 220854(265/220589)
Jun 02, 2017 4:06:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :118/3728 took 31224 ms. Total solver calls (SAT/UNSAT): 228330(277/228053)
Jun 02, 2017 4:06:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/3728 took 32248 ms. Total solver calls (SAT/UNSAT): 235806(289/235517)
Jun 02, 2017 4:06:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :126/3728 took 33253 ms. Total solver calls (SAT/UNSAT): 243282(301/242981)
Jun 02, 2017 4:06:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/3728 took 34255 ms. Total solver calls (SAT/UNSAT): 250758(313/250445)
Jun 02, 2017 4:06:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/3728 took 35323 ms. Total solver calls (SAT/UNSAT): 258234(325/257909)
Jun 02, 2017 4:06:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/3728 took 36326 ms. Total solver calls (SAT/UNSAT): 265710(337/265373)
Jun 02, 2017 4:06:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :142/3728 took 37326 ms. Total solver calls (SAT/UNSAT): 273186(349/272837)
Jun 02, 2017 4:06:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/3728 took 38327 ms. Total solver calls (SAT/UNSAT): 280662(361/280301)
Jun 02, 2017 4:06:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/3728 took 39329 ms. Total solver calls (SAT/UNSAT): 288138(373/287765)
Jun 02, 2017 4:06:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :154/3728 took 40331 ms. Total solver calls (SAT/UNSAT): 295614(385/295229)
Jun 02, 2017 4:06:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/3728 took 41334 ms. Total solver calls (SAT/UNSAT): 303090(397/302693)
Jun 02, 2017 4:06:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :163/3728 took 42582 ms. Total solver calls (SAT/UNSAT): 312430(412/312018)
Jun 02, 2017 4:06:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/3728 took 43586 ms. Total solver calls (SAT/UNSAT): 319902(424/319478)
Jun 02, 2017 4:06:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/3728 took 44589 ms. Total solver calls (SAT/UNSAT): 327374(436/326938)
Jun 02, 2017 4:06:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :175/3728 took 45591 ms. Total solver calls (SAT/UNSAT): 334846(448/334398)
Jun 02, 2017 4:06:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/3728 took 46594 ms. Total solver calls (SAT/UNSAT): 342318(460/341858)
Jun 02, 2017 4:06:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/3728 took 47597 ms. Total solver calls (SAT/UNSAT): 349790(472/349318)
Jun 02, 2017 4:06:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :187/3728 took 48603 ms. Total solver calls (SAT/UNSAT): 357262(484/356778)
Jun 02, 2017 4:06:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :191/3728 took 49610 ms. Total solver calls (SAT/UNSAT): 364734(496/364238)
Jun 02, 2017 4:06:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/3728 took 50616 ms. Total solver calls (SAT/UNSAT): 372206(508/371698)
Jun 02, 2017 4:06:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/3728 took 51622 ms. Total solver calls (SAT/UNSAT): 379678(520/379158)
Jun 02, 2017 4:06:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :203/3728 took 52624 ms. Total solver calls (SAT/UNSAT): 387150(532/386618)
Jun 02, 2017 4:06:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :207/3728 took 53638 ms. Total solver calls (SAT/UNSAT): 394622(544/394078)
Jun 02, 2017 4:06:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :211/3728 took 54661 ms. Total solver calls (SAT/UNSAT): 402094(556/401538)
Jun 02, 2017 4:06:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :215/3728 took 55673 ms. Total solver calls (SAT/UNSAT): 409566(568/408998)
Jun 02, 2017 4:06:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/3728 took 56676 ms. Total solver calls (SAT/UNSAT): 417038(580/416458)
Jun 02, 2017 4:06:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/3728 took 57678 ms. Total solver calls (SAT/UNSAT): 424510(592/423918)
Jun 02, 2017 4:06:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :227/3728 took 58727 ms. Total solver calls (SAT/UNSAT): 431982(604/431378)
Jun 02, 2017 4:06:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/3728 took 59736 ms. Total solver calls (SAT/UNSAT): 439454(616/438838)
Jun 02, 2017 4:06:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :235/3728 took 60741 ms. Total solver calls (SAT/UNSAT): 446926(628/446298)
Jun 02, 2017 4:07:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :239/3728 took 61745 ms. Total solver calls (SAT/UNSAT): 454398(640/453758)
Jun 02, 2017 4:07:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/3728 took 62749 ms. Total solver calls (SAT/UNSAT): 461869(652/461217)
Jun 02, 2017 4:07:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :247/3728 took 63754 ms. Total solver calls (SAT/UNSAT): 469341(664/468677)
Jun 02, 2017 4:07:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :251/3728 took 64758 ms. Total solver calls (SAT/UNSAT): 476813(676/476137)
Jun 02, 2017 4:07:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :255/3728 took 65764 ms. Total solver calls (SAT/UNSAT): 484285(688/483597)
Jun 02, 2017 4:07:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :260/3728 took 67017 ms. Total solver calls (SAT/UNSAT): 493625(703/492922)
Jun 02, 2017 4:07:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :264/3728 took 68018 ms. Total solver calls (SAT/UNSAT): 501097(715/500382)
Jun 02, 2017 4:07:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :268/3728 took 69058 ms. Total solver calls (SAT/UNSAT): 508569(727/507842)
Jun 02, 2017 4:07:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :272/3728 took 70128 ms. Total solver calls (SAT/UNSAT): 516041(739/515302)
Jun 02, 2017 4:07:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :276/3728 took 71132 ms. Total solver calls (SAT/UNSAT): 523513(751/522762)
Jun 02, 2017 4:07:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :280/3728 took 72132 ms. Total solver calls (SAT/UNSAT): 530985(763/530222)
Jun 02, 2017 4:07:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :285/3728 took 73379 ms. Total solver calls (SAT/UNSAT): 540325(778/539547)
Jun 02, 2017 4:07:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :290/3728 took 74625 ms. Total solver calls (SAT/UNSAT): 549665(793/548872)
Jun 02, 2017 4:07:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :295/3728 took 75874 ms. Total solver calls (SAT/UNSAT): 559005(808/558197)
Jun 02, 2017 4:07:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :299/3728 took 76875 ms. Total solver calls (SAT/UNSAT): 566477(820/565657)
Jun 02, 2017 4:07:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :303/3728 took 77876 ms. Total solver calls (SAT/UNSAT): 573949(832/573117)
Jun 02, 2017 4:07:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/3728 took 79125 ms. Total solver calls (SAT/UNSAT): 583289(847/582442)
Jun 02, 2017 4:07:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :312/3728 took 80149 ms. Total solver calls (SAT/UNSAT): 590761(859/589902)
Jun 02, 2017 4:07:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/3728 took 81151 ms. Total solver calls (SAT/UNSAT): 598233(871/597362)
Jun 02, 2017 4:07:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/3728 took 82398 ms. Total solver calls (SAT/UNSAT): 607572(886/606686)
Jun 02, 2017 4:07:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :325/3728 took 83398 ms. Total solver calls (SAT/UNSAT): 615044(898/614146)
Jun 02, 2017 4:07:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :330/3728 took 84642 ms. Total solver calls (SAT/UNSAT): 624384(913/623471)
Jun 02, 2017 4:07:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :335/3728 took 85892 ms. Total solver calls (SAT/UNSAT): 633724(928/632796)
Jun 02, 2017 4:07:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :340/3728 took 87141 ms. Total solver calls (SAT/UNSAT): 643064(943/642121)
Jun 02, 2017 4:07:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :344/3728 took 88196 ms. Total solver calls (SAT/UNSAT): 650536(955/649581)
Jun 02, 2017 4:07:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/3728 took 89267 ms. Total solver calls (SAT/UNSAT): 658008(967/657041)
Jun 02, 2017 4:07:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/3728 took 90271 ms. Total solver calls (SAT/UNSAT): 665480(979/664501)
Jun 02, 2017 4:07:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/3728 took 91277 ms. Total solver calls (SAT/UNSAT): 672952(991/671961)
Jun 02, 2017 4:07:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/3728 took 92282 ms. Total solver calls (SAT/UNSAT): 680424(1003/679421)
Jun 02, 2017 4:07:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/3728 took 93347 ms. Total solver calls (SAT/UNSAT): 687896(1015/686881)
Jun 02, 2017 4:07:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/3728 took 94407 ms. Total solver calls (SAT/UNSAT): 695368(1027/694341)
Jun 02, 2017 4:07:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/3728 took 95427 ms. Total solver calls (SAT/UNSAT): 702840(1039/701801)
Jun 02, 2017 4:07:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/3728 took 96438 ms. Total solver calls (SAT/UNSAT): 710312(1051/709261)
Jun 02, 2017 4:07:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/3728 took 97450 ms. Total solver calls (SAT/UNSAT): 717784(1063/716721)
Jun 02, 2017 4:07:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/3728 took 98468 ms. Total solver calls (SAT/UNSAT): 725256(1075/724181)
Jun 02, 2017 4:07:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/3728 took 99484 ms. Total solver calls (SAT/UNSAT): 732728(1087/731641)
Jun 02, 2017 4:07:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/3728 took 100488 ms. Total solver calls (SAT/UNSAT): 740200(1099/739101)
Jun 02, 2017 4:07:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/3728 took 101491 ms. Total solver calls (SAT/UNSAT): 747672(1111/746561)
Jun 02, 2017 4:07:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/3728 took 102533 ms. Total solver calls (SAT/UNSAT): 755143(1123/754020)
Jun 02, 2017 4:07:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/3728 took 103769 ms. Total solver calls (SAT/UNSAT): 764483(1138/763345)
Jun 02, 2017 4:07:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/3728 took 105002 ms. Total solver calls (SAT/UNSAT): 773823(1153/772670)
Jun 02, 2017 4:07:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/3728 took 106233 ms. Total solver calls (SAT/UNSAT): 783163(1168/781995)
Jun 02, 2017 4:07:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/3728 took 107477 ms. Total solver calls (SAT/UNSAT): 792503(1183/791320)
Jun 02, 2017 4:07:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/3728 took 108710 ms. Total solver calls (SAT/UNSAT): 801843(1198/800645)
Jun 02, 2017 4:07:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :430/3728 took 109944 ms. Total solver calls (SAT/UNSAT): 811183(1213/809970)
Jun 02, 2017 4:07:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/3728 took 111178 ms. Total solver calls (SAT/UNSAT): 820523(1228/819295)
Jun 02, 2017 4:07:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/3728 took 112412 ms. Total solver calls (SAT/UNSAT): 829863(1243/828620)
Jun 02, 2017 4:07:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/3728 took 113647 ms. Total solver calls (SAT/UNSAT): 839203(1258/837945)
Jun 02, 2017 4:07:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/3728 took 114881 ms. Total solver calls (SAT/UNSAT): 848543(1273/847270)
Jun 02, 2017 4:07:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/3728 took 116115 ms. Total solver calls (SAT/UNSAT): 857883(1288/856595)
Jun 02, 2017 4:07:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/3728 took 117346 ms. Total solver calls (SAT/UNSAT): 867223(1303/865920)
Jun 02, 2017 4:07:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/3728 took 118579 ms. Total solver calls (SAT/UNSAT): 876563(1318/875245)
Jun 02, 2017 4:07:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/3728 took 119809 ms. Total solver calls (SAT/UNSAT): 885903(1333/884570)
Jun 02, 2017 4:07:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :474/3728 took 120822 ms. Total solver calls (SAT/UNSAT): 893375(1345/892030)
Jun 02, 2017 4:08:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/3728 took 122053 ms. Total solver calls (SAT/UNSAT): 902715(1360/901355)
Jun 02, 2017 4:08:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/3728 took 123286 ms. Total solver calls (SAT/UNSAT): 912054(1375/910679)
Jun 02, 2017 4:08:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/3728 took 124520 ms. Total solver calls (SAT/UNSAT): 921394(1390/920004)
Jun 02, 2017 4:08:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/3728 took 125750 ms. Total solver calls (SAT/UNSAT): 930734(1405/929329)
Jun 02, 2017 4:08:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/3728 took 126800 ms. Total solver calls (SAT/UNSAT): 938206(1417/936789)
Jun 02, 2017 4:08:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :502/3728 took 127814 ms. Total solver calls (SAT/UNSAT): 945678(1429/944249)
Jun 02, 2017 4:08:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/3728 took 128827 ms. Total solver calls (SAT/UNSAT): 953150(1441/951709)
Jun 02, 2017 4:08:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/3728 took 129883 ms. Total solver calls (SAT/UNSAT): 960622(1453/959169)
Jun 02, 2017 4:08:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/3728 took 131130 ms. Total solver calls (SAT/UNSAT): 969962(1468/968494)
Jun 02, 2017 4:08:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/3728 took 132368 ms. Total solver calls (SAT/UNSAT): 979302(1483/977819)
Jun 02, 2017 4:08:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/3728 took 133601 ms. Total solver calls (SAT/UNSAT): 988642(1498/987144)
Jun 02, 2017 4:08:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/3728 took 134701 ms. Total solver calls (SAT/UNSAT): 996114(1510/994604)
Jun 02, 2017 4:08:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/3728 took 135708 ms. Total solver calls (SAT/UNSAT): 1003586(1522/1002064)
Jun 02, 2017 4:08:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :537/3728 took 136715 ms. Total solver calls (SAT/UNSAT): 1011058(1534/1009524)
Jun 02, 2017 4:08:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/3728 took 137723 ms. Total solver calls (SAT/UNSAT): 1018530(1546/1016984)
Jun 02, 2017 4:08:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/3728 took 138765 ms. Total solver calls (SAT/UNSAT): 1026002(1558/1024444)
Jun 02, 2017 4:08:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/3728 took 140007 ms. Total solver calls (SAT/UNSAT): 1035342(1573/1033769)
Jun 02, 2017 4:08:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/3728 took 141238 ms. Total solver calls (SAT/UNSAT): 1044682(1588/1043094)
Jun 02, 2017 4:08:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/3728 took 142471 ms. Total solver calls (SAT/UNSAT): 1054021(1603/1052418)
Jun 02, 2017 4:08:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/3728 took 143748 ms. Total solver calls (SAT/UNSAT): 1063361(1618/1061743)
Jun 02, 2017 4:08:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/3728 took 144817 ms. Total solver calls (SAT/UNSAT): 1070833(1630/1069203)
Jun 02, 2017 4:08:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/3728 took 145845 ms. Total solver calls (SAT/UNSAT): 1078305(1642/1076663)
Jun 02, 2017 4:08:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :577/3728 took 146872 ms. Total solver calls (SAT/UNSAT): 1085777(1654/1084123)
Jun 02, 2017 4:08:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/3728 took 147907 ms. Total solver calls (SAT/UNSAT): 1093249(1666/1091583)
Jun 02, 2017 4:08:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/3728 took 148926 ms. Total solver calls (SAT/UNSAT): 1100721(1678/1099043)
Jun 02, 2017 4:08:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/3728 took 149941 ms. Total solver calls (SAT/UNSAT): 1108193(1690/1106503)
Jun 02, 2017 4:08:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :593/3728 took 150957 ms. Total solver calls (SAT/UNSAT): 1115665(1702/1113963)
Jun 02, 2017 4:08:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :597/3728 took 151975 ms. Total solver calls (SAT/UNSAT): 1123137(1714/1121423)
Jun 02, 2017 4:08:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :601/3728 took 152993 ms. Total solver calls (SAT/UNSAT): 1130609(1726/1128883)
Jun 02, 2017 4:08:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :605/3728 took 154012 ms. Total solver calls (SAT/UNSAT): 1138081(1738/1136343)
Jun 02, 2017 4:08:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :609/3728 took 155025 ms. Total solver calls (SAT/UNSAT): 1145553(1750/1143803)
Jun 02, 2017 4:08:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :613/3728 took 156039 ms. Total solver calls (SAT/UNSAT): 1153025(1762/1151263)
Jun 02, 2017 4:08:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :617/3728 took 157055 ms. Total solver calls (SAT/UNSAT): 1160497(1774/1158723)
Jun 02, 2017 4:08:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :621/3728 took 158070 ms. Total solver calls (SAT/UNSAT): 1167969(1786/1166183)
Jun 02, 2017 4:08:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :625/3728 took 159084 ms. Total solver calls (SAT/UNSAT): 1175441(1798/1173643)
Jun 02, 2017 4:08:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :629/3728 took 160100 ms. Total solver calls (SAT/UNSAT): 1182913(1810/1181103)
Jun 02, 2017 4:08:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :633/3728 took 161123 ms. Total solver calls (SAT/UNSAT): 1190385(1822/1188563)
Jun 02, 2017 4:08:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :637/3728 took 162139 ms. Total solver calls (SAT/UNSAT): 1197857(1834/1196023)
Jun 02, 2017 4:08:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :641/3728 took 163155 ms. Total solver calls (SAT/UNSAT): 1205328(1846/1203482)
Jun 02, 2017 4:08:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :645/3728 took 164172 ms. Total solver calls (SAT/UNSAT): 1212800(1858/1210942)
Jun 02, 2017 4:08:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :649/3728 took 165191 ms. Total solver calls (SAT/UNSAT): 1220272(1870/1218402)
Jun 02, 2017 4:08:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :653/3728 took 166210 ms. Total solver calls (SAT/UNSAT): 1227744(1882/1225862)
Jun 02, 2017 4:08:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :657/3728 took 167227 ms. Total solver calls (SAT/UNSAT): 1235216(1894/1233322)
Jun 02, 2017 4:08:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :661/3728 took 168242 ms. Total solver calls (SAT/UNSAT): 1242688(1906/1240782)
Jun 02, 2017 4:08:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :665/3728 took 169257 ms. Total solver calls (SAT/UNSAT): 1250160(1918/1248242)
Jun 02, 2017 4:08:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :669/3728 took 170274 ms. Total solver calls (SAT/UNSAT): 1257632(1930/1255702)
Jun 02, 2017 4:08:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :673/3728 took 171289 ms. Total solver calls (SAT/UNSAT): 1265104(1942/1263162)
Jun 02, 2017 4:08:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :677/3728 took 172304 ms. Total solver calls (SAT/UNSAT): 1272576(1954/1270622)
Jun 02, 2017 4:08:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :681/3728 took 173331 ms. Total solver calls (SAT/UNSAT): 1280048(1966/1278082)
Jun 02, 2017 4:08:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :685/3728 took 174357 ms. Total solver calls (SAT/UNSAT): 1287520(1978/1285542)
Jun 02, 2017 4:08:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :689/3728 took 175383 ms. Total solver calls (SAT/UNSAT): 1294992(1990/1293002)
Jun 02, 2017 4:08:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :693/3728 took 176402 ms. Total solver calls (SAT/UNSAT): 1302464(2002/1300462)
Jun 02, 2017 4:08:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :697/3728 took 177420 ms. Total solver calls (SAT/UNSAT): 1309936(2014/1307922)
Jun 02, 2017 4:08:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :701/3728 took 178435 ms. Total solver calls (SAT/UNSAT): 1317408(2026/1315382)
Jun 02, 2017 4:08:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :705/3728 took 179450 ms. Total solver calls (SAT/UNSAT): 1324880(2038/1322842)
Jun 02, 2017 4:08:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :709/3728 took 180464 ms. Total solver calls (SAT/UNSAT): 1332352(2050/1330302)
Jun 02, 2017 4:09:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :713/3728 took 181478 ms. Total solver calls (SAT/UNSAT): 1339824(2062/1337762)
Jun 02, 2017 4:09:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :717/3728 took 182493 ms. Total solver calls (SAT/UNSAT): 1347296(2074/1345222)
Jun 02, 2017 4:09:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :721/3728 took 183506 ms. Total solver calls (SAT/UNSAT): 1354767(2086/1352681)
Jun 02, 2017 4:09:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :725/3728 took 184530 ms. Total solver calls (SAT/UNSAT): 1362239(2098/1360141)
Jun 02, 2017 4:09:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :729/3728 took 185553 ms. Total solver calls (SAT/UNSAT): 1369711(2110/1367601)
Jun 02, 2017 4:09:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :733/3728 took 186579 ms. Total solver calls (SAT/UNSAT): 1377183(2122/1375061)
Jun 02, 2017 4:09:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :737/3728 took 187604 ms. Total solver calls (SAT/UNSAT): 1384655(2134/1382521)
Jun 02, 2017 4:09:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :741/3728 took 188620 ms. Total solver calls (SAT/UNSAT): 1392127(2146/1389981)
Jun 02, 2017 4:09:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :745/3728 took 189634 ms. Total solver calls (SAT/UNSAT): 1399599(2158/1397441)
Jun 02, 2017 4:09:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :749/3728 took 190647 ms. Total solver calls (SAT/UNSAT): 1407071(2170/1404901)
Jun 02, 2017 4:09:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :753/3728 took 191664 ms. Total solver calls (SAT/UNSAT): 1414543(2182/1412361)
Jun 02, 2017 4:09:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :757/3728 took 192681 ms. Total solver calls (SAT/UNSAT): 1422015(2194/1419821)
Jun 02, 2017 4:09:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :761/3728 took 193698 ms. Total solver calls (SAT/UNSAT): 1429487(2206/1427281)
Jun 02, 2017 4:09:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :765/3728 took 194714 ms. Total solver calls (SAT/UNSAT): 1436959(2218/1434741)
Jun 02, 2017 4:09:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :769/3728 took 195732 ms. Total solver calls (SAT/UNSAT): 1444431(2230/1442201)
Jun 02, 2017 4:09:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :773/3728 took 196762 ms. Total solver calls (SAT/UNSAT): 1451903(2242/1449661)
Jun 02, 2017 4:09:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :777/3728 took 197790 ms. Total solver calls (SAT/UNSAT): 1459375(2254/1457121)
Jun 02, 2017 4:09:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :781/3728 took 198815 ms. Total solver calls (SAT/UNSAT): 1466847(2266/1464581)
Jun 02, 2017 4:09:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :785/3728 took 199840 ms. Total solver calls (SAT/UNSAT): 1474319(2278/1472041)
Jun 02, 2017 4:09:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :789/3728 took 200854 ms. Total solver calls (SAT/UNSAT): 1481791(2290/1479501)
Jun 02, 2017 4:09:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :793/3728 took 201868 ms. Total solver calls (SAT/UNSAT): 1489263(2302/1486961)
Jun 02, 2017 4:09:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :797/3728 took 202882 ms. Total solver calls (SAT/UNSAT): 1496735(2314/1494421)
Jun 02, 2017 4:09:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :801/3728 took 203896 ms. Total solver calls (SAT/UNSAT): 1504206(2326/1501880)
Jun 02, 2017 4:09:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :805/3728 took 204910 ms. Total solver calls (SAT/UNSAT): 1511678(2338/1509340)
Jun 02, 2017 4:09:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :809/3728 took 205926 ms. Total solver calls (SAT/UNSAT): 1519150(2350/1516800)
Jun 02, 2017 4:09:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :813/3728 took 206953 ms. Total solver calls (SAT/UNSAT): 1526622(2362/1524260)
Jun 02, 2017 4:09:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :817/3728 took 207978 ms. Total solver calls (SAT/UNSAT): 1534094(2374/1531720)
Jun 02, 2017 4:09:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :821/3728 took 208991 ms. Total solver calls (SAT/UNSAT): 1541566(2386/1539180)
Jun 02, 2017 4:09:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :825/3728 took 210006 ms. Total solver calls (SAT/UNSAT): 1549038(2398/1546640)
Jun 02, 2017 4:09:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :829/3728 took 211020 ms. Total solver calls (SAT/UNSAT): 1556510(2410/1554100)
Jun 02, 2017 4:09:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :833/3728 took 212035 ms. Total solver calls (SAT/UNSAT): 1563982(2422/1561560)
Jun 02, 2017 4:09:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :837/3728 took 213052 ms. Total solver calls (SAT/UNSAT): 1571454(2434/1569020)
Jun 02, 2017 4:09:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :841/3728 took 214112 ms. Total solver calls (SAT/UNSAT): 1578926(2446/1576480)
Jun 02, 2017 4:09:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :845/3728 took 215119 ms. Total solver calls (SAT/UNSAT): 1586398(2458/1583940)
Jun 02, 2017 4:09:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :849/3728 took 216126 ms. Total solver calls (SAT/UNSAT): 1593870(2470/1591400)
Jun 02, 2017 4:09:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :853/3728 took 217139 ms. Total solver calls (SAT/UNSAT): 1601342(2482/1598860)
Jun 02, 2017 4:09:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :857/3728 took 218145 ms. Total solver calls (SAT/UNSAT): 1608814(2494/1606320)
Jun 02, 2017 4:09:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :861/3728 took 219154 ms. Total solver calls (SAT/UNSAT): 1616286(2506/1613780)
Jun 02, 2017 4:09:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :865/3728 took 220165 ms. Total solver calls (SAT/UNSAT): 1623758(2518/1621240)
Jun 02, 2017 4:09:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :869/3728 took 221178 ms. Total solver calls (SAT/UNSAT): 1631230(2530/1628700)
Jun 02, 2017 4:09:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :873/3728 took 222191 ms. Total solver calls (SAT/UNSAT): 1638702(2542/1636160)
Jun 02, 2017 4:09:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :877/3728 took 223201 ms. Total solver calls (SAT/UNSAT): 1646174(2554/1643620)
Jun 02, 2017 4:09:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :881/3728 took 224213 ms. Total solver calls (SAT/UNSAT): 1653645(2566/1651079)
Jun 02, 2017 4:09:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :885/3728 took 225224 ms. Total solver calls (SAT/UNSAT): 1661117(2578/1658539)
Jun 02, 2017 4:09:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :889/3728 took 226233 ms. Total solver calls (SAT/UNSAT): 1668589(2590/1665999)
Jun 02, 2017 4:09:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :893/3728 took 227252 ms. Total solver calls (SAT/UNSAT): 1676061(2602/1673459)
Jun 02, 2017 4:09:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :897/3728 took 228261 ms. Total solver calls (SAT/UNSAT): 1683533(2614/1680919)
Jun 02, 2017 4:09:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :901/3728 took 229269 ms. Total solver calls (SAT/UNSAT): 1691005(2626/1688379)
Jun 02, 2017 4:09:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :905/3728 took 230276 ms. Total solver calls (SAT/UNSAT): 1698477(2638/1695839)
Jun 02, 2017 4:09:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :909/3728 took 231288 ms. Total solver calls (SAT/UNSAT): 1705949(2650/1703299)
Jun 02, 2017 4:09:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :913/3728 took 232295 ms. Total solver calls (SAT/UNSAT): 1713421(2662/1710759)
Jun 02, 2017 4:09:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :917/3728 took 233306 ms. Total solver calls (SAT/UNSAT): 1720893(2674/1718219)
Jun 02, 2017 4:09:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :921/3728 took 234314 ms. Total solver calls (SAT/UNSAT): 1728365(2686/1725679)
Jun 02, 2017 4:09:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :925/3728 took 235324 ms. Total solver calls (SAT/UNSAT): 1735837(2698/1733139)
Jun 02, 2017 4:09:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :929/3728 took 236337 ms. Total solver calls (SAT/UNSAT): 1743309(2710/1740599)
Jun 02, 2017 4:09:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :933/3728 took 237350 ms. Total solver calls (SAT/UNSAT): 1750781(2722/1748059)
Jun 02, 2017 4:09:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :937/3728 took 238361 ms. Total solver calls (SAT/UNSAT): 1758253(2734/1755519)
Jun 02, 2017 4:09:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :941/3728 took 239371 ms. Total solver calls (SAT/UNSAT): 1765725(2746/1762979)
Jun 02, 2017 4:09:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :945/3728 took 240378 ms. Total solver calls (SAT/UNSAT): 1773197(2758/1770439)
Jun 02, 2017 4:10:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :949/3728 took 241387 ms. Total solver calls (SAT/UNSAT): 1780669(2770/1777899)
Jun 02, 2017 4:10:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :953/3728 took 242397 ms. Total solver calls (SAT/UNSAT): 1788141(2782/1785359)
Jun 02, 2017 4:10:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :957/3728 took 243406 ms. Total solver calls (SAT/UNSAT): 1795613(2794/1792819)
Jun 02, 2017 4:10:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :961/3728 took 244414 ms. Total solver calls (SAT/UNSAT): 1803084(2806/1800278)
Jun 02, 2017 4:10:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :965/3728 took 245427 ms. Total solver calls (SAT/UNSAT): 1810556(2818/1807738)
Jun 02, 2017 4:10:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :969/3728 took 246437 ms. Total solver calls (SAT/UNSAT): 1818028(2830/1815198)
Jun 02, 2017 4:10:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :973/3728 took 247449 ms. Total solver calls (SAT/UNSAT): 1825500(2842/1822658)
Jun 02, 2017 4:10:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :977/3728 took 248462 ms. Total solver calls (SAT/UNSAT): 1832972(2854/1830118)
Jun 02, 2017 4:10:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :981/3728 took 249475 ms. Total solver calls (SAT/UNSAT): 1840444(2866/1837578)
Jun 02, 2017 4:10:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :985/3728 took 250489 ms. Total solver calls (SAT/UNSAT): 1847916(2878/1845038)
Jun 02, 2017 4:10:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :989/3728 took 251502 ms. Total solver calls (SAT/UNSAT): 1855388(2890/1852498)
Jun 02, 2017 4:10:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :993/3728 took 252512 ms. Total solver calls (SAT/UNSAT): 1862860(2902/1859958)
Jun 02, 2017 4:10:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :997/3728 took 253527 ms. Total solver calls (SAT/UNSAT): 1870332(2914/1867418)
Jun 02, 2017 4:10:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1001/3728 took 254536 ms. Total solver calls (SAT/UNSAT): 1877804(2926/1874878)
Jun 02, 2017 4:10:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1005/3728 took 255547 ms. Total solver calls (SAT/UNSAT): 1885276(2938/1882338)
Jun 02, 2017 4:10:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1009/3728 took 256556 ms. Total solver calls (SAT/UNSAT): 1892748(2950/1889798)
Jun 02, 2017 4:10:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1013/3728 took 257629 ms. Total solver calls (SAT/UNSAT): 1900220(2962/1897258)
Jun 02, 2017 4:10:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1017/3728 took 258661 ms. Total solver calls (SAT/UNSAT): 1907692(2974/1904718)
Jun 02, 2017 4:10:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1021/3728 took 259720 ms. Total solver calls (SAT/UNSAT): 1915164(2986/1912178)
Jun 02, 2017 4:10:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1026/3728 took 260956 ms. Total solver calls (SAT/UNSAT): 1924504(3001/1921503)
Jun 02, 2017 4:10:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1030/3728 took 261994 ms. Total solver calls (SAT/UNSAT): 1931976(3013/1928963)
Jun 02, 2017 4:10:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1035/3728 took 263229 ms. Total solver calls (SAT/UNSAT): 1941316(3028/1938288)
Jun 02, 2017 4:10:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1040/3728 took 264464 ms. Total solver calls (SAT/UNSAT): 1950655(3043/1947612)
Jun 02, 2017 4:10:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1045/3728 took 265700 ms. Total solver calls (SAT/UNSAT): 1959995(3058/1956937)
Jun 02, 2017 4:10:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1050/3728 took 266939 ms. Total solver calls (SAT/UNSAT): 1969335(3073/1966262)
Jun 02, 2017 4:10:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1055/3728 took 268176 ms. Total solver calls (SAT/UNSAT): 1978675(3088/1975587)
Jun 02, 2017 4:10:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1060/3728 took 269423 ms. Total solver calls (SAT/UNSAT): 1988015(3103/1984912)
Jun 02, 2017 4:10:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1065/3728 took 270671 ms. Total solver calls (SAT/UNSAT): 1997355(3118/1994237)
Jun 02, 2017 4:10:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1070/3728 took 271917 ms. Total solver calls (SAT/UNSAT): 2006695(3133/2003562)
Jun 02, 2017 4:10:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1074/3728 took 272950 ms. Total solver calls (SAT/UNSAT): 2014167(3145/2011022)
Jun 02, 2017 4:10:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1078/3728 took 274009 ms. Total solver calls (SAT/UNSAT): 2021639(3157/2018482)
Jun 02, 2017 4:10:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1082/3728 took 275019 ms. Total solver calls (SAT/UNSAT): 2029111(3169/2025942)
Jun 02, 2017 4:10:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1086/3728 took 276032 ms. Total solver calls (SAT/UNSAT): 2036583(3181/2033402)
Jun 02, 2017 4:10:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1090/3728 took 277054 ms. Total solver calls (SAT/UNSAT): 2044055(3193/2040862)
Jun 02, 2017 4:10:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1094/3728 took 278068 ms. Total solver calls (SAT/UNSAT): 2051527(3205/2048322)
Jun 02, 2017 4:10:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1098/3728 took 279079 ms. Total solver calls (SAT/UNSAT): 2058999(3217/2055782)
Jun 02, 2017 4:10:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1102/3728 took 280092 ms. Total solver calls (SAT/UNSAT): 2066471(3229/2063242)
Jun 02, 2017 4:10:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1106/3728 took 281105 ms. Total solver calls (SAT/UNSAT): 2073943(3241/2070702)
Jun 02, 2017 4:10:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1110/3728 took 282121 ms. Total solver calls (SAT/UNSAT): 2081415(3253/2078162)
Jun 02, 2017 4:10:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1114/3728 took 283133 ms. Total solver calls (SAT/UNSAT): 2088887(3265/2085622)
Jun 02, 2017 4:10:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1118/3728 took 284156 ms. Total solver calls (SAT/UNSAT): 2096359(3277/2093082)
Jun 02, 2017 4:10:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1122/3728 took 285171 ms. Total solver calls (SAT/UNSAT): 2103830(3289/2100541)
Jun 02, 2017 4:10:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1126/3728 took 286182 ms. Total solver calls (SAT/UNSAT): 2111302(3301/2108001)
Jun 02, 2017 4:10:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1130/3728 took 287197 ms. Total solver calls (SAT/UNSAT): 2118774(3313/2115461)
Jun 02, 2017 4:10:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1134/3728 took 288209 ms. Total solver calls (SAT/UNSAT): 2126246(3325/2122921)
Jun 02, 2017 4:10:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1138/3728 took 289221 ms. Total solver calls (SAT/UNSAT): 2133718(3337/2130381)
Jun 02, 2017 4:10:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1142/3728 took 290235 ms. Total solver calls (SAT/UNSAT): 2141190(3349/2137841)
Jun 02, 2017 4:10:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1146/3728 took 291255 ms. Total solver calls (SAT/UNSAT): 2148662(3361/2145301)
Jun 02, 2017 4:10:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1150/3728 took 292266 ms. Total solver calls (SAT/UNSAT): 2156134(3373/2152761)
Jun 02, 2017 4:10:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1154/3728 took 293277 ms. Total solver calls (SAT/UNSAT): 2163606(3385/2160221)
Jun 02, 2017 4:10:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1158/3728 took 294290 ms. Total solver calls (SAT/UNSAT): 2171078(3397/2167681)
Jun 02, 2017 4:10:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1162/3728 took 295304 ms. Total solver calls (SAT/UNSAT): 2178550(3409/2175141)
Jun 02, 2017 4:10:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1166/3728 took 296318 ms. Total solver calls (SAT/UNSAT): 2186022(3421/2182601)
Jun 02, 2017 4:10:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1170/3728 took 297335 ms. Total solver calls (SAT/UNSAT): 2193494(3433/2190061)
Jun 02, 2017 4:10:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1174/3728 took 298359 ms. Total solver calls (SAT/UNSAT): 2200966(3445/2197521)
Jun 02, 2017 4:10:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1178/3728 took 299374 ms. Total solver calls (SAT/UNSAT): 2208438(3457/2204981)
Jun 02, 2017 4:10:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1182/3728 took 300391 ms. Total solver calls (SAT/UNSAT): 2215910(3469/2212441)
Jun 02, 2017 4:11:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1186/3728 took 301404 ms. Total solver calls (SAT/UNSAT): 2223382(3481/2219901)
Jun 02, 2017 4:11:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1190/3728 took 302419 ms. Total solver calls (SAT/UNSAT): 2230854(3493/2227361)
Jun 02, 2017 4:11:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1194/3728 took 303473 ms. Total solver calls (SAT/UNSAT): 2238326(3505/2234821)
Jun 02, 2017 4:11:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1198/3728 took 304477 ms. Total solver calls (SAT/UNSAT): 2245798(3517/2242281)
Jun 02, 2017 4:11:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1203/3728 took 305720 ms. Total solver calls (SAT/UNSAT): 2255137(3532/2251605)
Jun 02, 2017 4:11:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1208/3728 took 306957 ms. Total solver calls (SAT/UNSAT): 2264477(3547/2260930)
Jun 02, 2017 4:11:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1213/3728 took 308196 ms. Total solver calls (SAT/UNSAT): 2273817(3562/2270255)
Jun 02, 2017 4:11:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1218/3728 took 309436 ms. Total solver calls (SAT/UNSAT): 2283157(3577/2279580)
Jun 02, 2017 4:11:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1223/3728 took 310679 ms. Total solver calls (SAT/UNSAT): 2292497(3592/2288905)
Jun 02, 2017 4:11:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1228/3728 took 311917 ms. Total solver calls (SAT/UNSAT): 2301837(3607/2298230)
Jun 02, 2017 4:11:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1233/3728 took 313156 ms. Total solver calls (SAT/UNSAT): 2311177(3622/2307555)
Jun 02, 2017 4:11:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1238/3728 took 314396 ms. Total solver calls (SAT/UNSAT): 2320517(3637/2316880)
Jun 02, 2017 4:11:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1243/3728 took 315641 ms. Total solver calls (SAT/UNSAT): 2329857(3652/2326205)
Jun 02, 2017 4:11:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1248/3728 took 316878 ms. Total solver calls (SAT/UNSAT): 2339197(3667/2335530)
Jun 02, 2017 4:11:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1253/3728 took 318113 ms. Total solver calls (SAT/UNSAT): 2348537(3682/2344855)
Jun 02, 2017 4:11:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1258/3728 took 319350 ms. Total solver calls (SAT/UNSAT): 2357877(3697/2354180)
Jun 02, 2017 4:11:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1263/3728 took 320588 ms. Total solver calls (SAT/UNSAT): 2367217(3712/2363505)
Jun 02, 2017 4:11:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1267/3728 took 321591 ms. Total solver calls (SAT/UNSAT): 2374689(3724/2370965)
Jun 02, 2017 4:11:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1271/3728 took 322594 ms. Total solver calls (SAT/UNSAT): 2382161(3736/2378425)
Jun 02, 2017 4:11:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1275/3728 took 323599 ms. Total solver calls (SAT/UNSAT): 2389633(3748/2385885)
Jun 02, 2017 4:11:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1280/3728 took 324839 ms. Total solver calls (SAT/UNSAT): 2398972(3763/2395209)
Jun 02, 2017 4:11:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1285/3728 took 326080 ms. Total solver calls (SAT/UNSAT): 2408312(3778/2404534)
Jun 02, 2017 4:11:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1289/3728 took 327083 ms. Total solver calls (SAT/UNSAT): 2415784(3790/2411994)
Jun 02, 2017 4:11:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1294/3728 took 328329 ms. Total solver calls (SAT/UNSAT): 2425124(3805/2421319)
Jun 02, 2017 4:11:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1299/3728 took 329569 ms. Total solver calls (SAT/UNSAT): 2434464(3820/2430644)
Jun 02, 2017 4:11:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1304/3728 took 330807 ms. Total solver calls (SAT/UNSAT): 2443804(3835/2439969)
Jun 02, 2017 4:11:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1309/3728 took 332053 ms. Total solver calls (SAT/UNSAT): 2453144(3850/2449294)
Jun 02, 2017 4:11:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1314/3728 took 333289 ms. Total solver calls (SAT/UNSAT): 2462484(3865/2458619)
Jun 02, 2017 4:11:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1319/3728 took 334526 ms. Total solver calls (SAT/UNSAT): 2471824(3880/2467944)
Jun 02, 2017 4:11:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1324/3728 took 335763 ms. Total solver calls (SAT/UNSAT): 2481164(3895/2477269)
Jun 02, 2017 4:11:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1329/3728 took 337006 ms. Total solver calls (SAT/UNSAT): 2490504(3910/2486594)
Jun 02, 2017 4:11:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1334/3728 took 338244 ms. Total solver calls (SAT/UNSAT): 2499844(3925/2495919)
Jun 02, 2017 4:11:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1339/3728 took 339483 ms. Total solver calls (SAT/UNSAT): 2509184(3940/2505244)
Jun 02, 2017 4:11:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1343/3728 took 340529 ms. Total solver calls (SAT/UNSAT): 2516656(3952/2512704)
Jun 02, 2017 4:11:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1347/3728 took 341530 ms. Total solver calls (SAT/UNSAT): 2524128(3964/2520164)
Jun 02, 2017 4:11:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1352/3728 took 342770 ms. Total solver calls (SAT/UNSAT): 2533468(3979/2529489)
Jun 02, 2017 4:11:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1357/3728 took 344004 ms. Total solver calls (SAT/UNSAT): 2542808(3994/2538814)
Jun 02, 2017 4:11:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1362/3728 took 345239 ms. Total solver calls (SAT/UNSAT): 2552147(4009/2548138)
Jun 02, 2017 4:11:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1367/3728 took 346482 ms. Total solver calls (SAT/UNSAT): 2561487(4024/2557463)
Jun 02, 2017 4:11:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1372/3728 took 347716 ms. Total solver calls (SAT/UNSAT): 2570827(4039/2566788)
Jun 02, 2017 4:11:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1377/3728 took 348952 ms. Total solver calls (SAT/UNSAT): 2580167(4054/2576113)
Jun 02, 2017 4:11:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1381/3728 took 349962 ms. Total solver calls (SAT/UNSAT): 2587639(4066/2583573)
Jun 02, 2017 4:11:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1386/3728 took 351197 ms. Total solver calls (SAT/UNSAT): 2596979(4081/2592898)
Jun 02, 2017 4:11:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1391/3728 took 352431 ms. Total solver calls (SAT/UNSAT): 2606319(4096/2602223)
Jun 02, 2017 4:11:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1396/3728 took 353665 ms. Total solver calls (SAT/UNSAT): 2615659(4111/2611548)
Jun 02, 2017 4:11:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1401/3728 took 354908 ms. Total solver calls (SAT/UNSAT): 2624999(4126/2620873)
Jun 02, 2017 4:11:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1406/3728 took 356144 ms. Total solver calls (SAT/UNSAT): 2634339(4141/2630198)
Jun 02, 2017 4:11:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1410/3728 took 357194 ms. Total solver calls (SAT/UNSAT): 2641811(4153/2637658)
Jun 02, 2017 4:11:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1414/3728 took 358250 ms. Total solver calls (SAT/UNSAT): 2649283(4165/2645118)
Jun 02, 2017 4:11:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1418/3728 took 359257 ms. Total solver calls (SAT/UNSAT): 2656755(4177/2652578)
Jun 02, 2017 4:11:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1422/3728 took 360268 ms. Total solver calls (SAT/UNSAT): 2664227(4189/2660038)
Jun 02, 2017 4:12:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1426/3728 took 361281 ms. Total solver calls (SAT/UNSAT): 2671699(4201/2667498)
Jun 02, 2017 4:12:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1430/3728 took 362295 ms. Total solver calls (SAT/UNSAT): 2679171(4213/2674958)
Jun 02, 2017 4:12:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1434/3728 took 363306 ms. Total solver calls (SAT/UNSAT): 2686643(4225/2682418)
Jun 02, 2017 4:12:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1438/3728 took 364319 ms. Total solver calls (SAT/UNSAT): 2694115(4237/2689878)
Jun 02, 2017 4:12:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1442/3728 took 365330 ms. Total solver calls (SAT/UNSAT): 2701586(4249/2697337)
Jun 02, 2017 4:12:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1446/3728 took 366346 ms. Total solver calls (SAT/UNSAT): 2709058(4261/2704797)
Jun 02, 2017 4:12:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1450/3728 took 367471 ms. Total solver calls (SAT/UNSAT): 2716530(4273/2712257)
Jun 02, 2017 4:12:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1454/3728 took 368625 ms. Total solver calls (SAT/UNSAT): 2724002(4285/2719717)
Jun 02, 2017 4:12:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1458/3728 took 369635 ms. Total solver calls (SAT/UNSAT): 2731474(4297/2727177)
Jun 02, 2017 4:12:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1462/3728 took 370639 ms. Total solver calls (SAT/UNSAT): 2738946(4309/2734637)
Jun 02, 2017 4:12:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1466/3728 took 371640 ms. Total solver calls (SAT/UNSAT): 2746418(4321/2742097)
Jun 02, 2017 4:12:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1471/3728 took 372877 ms. Total solver calls (SAT/UNSAT): 2755758(4336/2751422)
Jun 02, 2017 4:12:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1475/3728 took 373883 ms. Total solver calls (SAT/UNSAT): 2763230(4348/2758882)
Jun 02, 2017 4:12:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1479/3728 took 374887 ms. Total solver calls (SAT/UNSAT): 2770702(4360/2766342)
Jun 02, 2017 4:12:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1484/3728 took 376131 ms. Total solver calls (SAT/UNSAT): 2780042(4375/2775667)
Jun 02, 2017 4:12:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1488/3728 took 377136 ms. Total solver calls (SAT/UNSAT): 2787514(4387/2783127)
Jun 02, 2017 4:12:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1492/3728 took 378139 ms. Total solver calls (SAT/UNSAT): 2794986(4399/2790587)
Jun 02, 2017 4:12:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1496/3728 took 379143 ms. Total solver calls (SAT/UNSAT): 2802458(4411/2798047)
Jun 02, 2017 4:12:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1500/3728 took 380150 ms. Total solver calls (SAT/UNSAT): 2809930(4423/2805507)
Jun 02, 2017 4:12:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1504/3728 took 381150 ms. Total solver calls (SAT/UNSAT): 2817402(4435/2812967)
Jun 02, 2017 4:12:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1508/3728 took 382155 ms. Total solver calls (SAT/UNSAT): 2824874(4447/2820427)
Jun 02, 2017 4:12:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1512/3728 took 383259 ms. Total solver calls (SAT/UNSAT): 2832346(4459/2827887)
Jun 02, 2017 4:12:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1517/3728 took 384507 ms. Total solver calls (SAT/UNSAT): 2841686(4474/2837212)
Jun 02, 2017 4:12:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1522/3728 took 385756 ms. Total solver calls (SAT/UNSAT): 2851025(4489/2846536)
Jun 02, 2017 4:12:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1526/3728 took 386768 ms. Total solver calls (SAT/UNSAT): 2858497(4501/2853996)
Jun 02, 2017 4:12:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1530/3728 took 387880 ms. Total solver calls (SAT/UNSAT): 2865969(4513/2861456)
Jun 02, 2017 4:12:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1534/3728 took 388900 ms. Total solver calls (SAT/UNSAT): 2873441(4525/2868916)
Jun 02, 2017 4:12:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1538/3728 took 389976 ms. Total solver calls (SAT/UNSAT): 2880913(4537/2876376)
Jun 02, 2017 4:12:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1542/3728 took 391039 ms. Total solver calls (SAT/UNSAT): 2888385(4549/2883836)
Jun 02, 2017 4:12:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1546/3728 took 392107 ms. Total solver calls (SAT/UNSAT): 2895857(4561/2891296)
Jun 02, 2017 4:12:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1550/3728 took 393160 ms. Total solver calls (SAT/UNSAT): 2903329(4573/2898756)
Jun 02, 2017 4:12:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1554/3728 took 394169 ms. Total solver calls (SAT/UNSAT): 2910801(4585/2906216)
Jun 02, 2017 4:12:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1558/3728 took 395178 ms. Total solver calls (SAT/UNSAT): 2918273(4597/2913676)
Jun 02, 2017 4:12:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1563/3728 took 396422 ms. Total solver calls (SAT/UNSAT): 2927613(4612/2923001)
Jun 02, 2017 4:12:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1568/3728 took 397672 ms. Total solver calls (SAT/UNSAT): 2936953(4627/2932326)
Jun 02, 2017 4:12:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1573/3728 took 398911 ms. Total solver calls (SAT/UNSAT): 2946293(4642/2941651)
Jun 02, 2017 4:12:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1578/3728 took 400156 ms. Total solver calls (SAT/UNSAT): 2955633(4657/2950976)
Jun 02, 2017 4:12:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1582/3728 took 401156 ms. Total solver calls (SAT/UNSAT): 2963105(4669/2958436)
Jun 02, 2017 4:12:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1586/3728 took 402252 ms. Total solver calls (SAT/UNSAT): 2970577(4681/2965896)
Jun 02, 2017 4:12:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1590/3728 took 403349 ms. Total solver calls (SAT/UNSAT): 2978049(4693/2973356)
Jun 02, 2017 4:12:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1595/3728 took 404587 ms. Total solver calls (SAT/UNSAT): 2987389(4708/2982681)
Jun 02, 2017 4:12:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1599/3728 took 405640 ms. Total solver calls (SAT/UNSAT): 2994861(4720/2990141)
Jun 02, 2017 4:12:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1603/3728 took 406661 ms. Total solver calls (SAT/UNSAT): 3002332(4732/2997600)
Jun 02, 2017 4:12:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1607/3728 took 407787 ms. Total solver calls (SAT/UNSAT): 3009804(4744/3005060)
Jun 02, 2017 4:12:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1611/3728 took 408805 ms. Total solver calls (SAT/UNSAT): 3017276(4756/3012520)
Jun 02, 2017 4:12:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1615/3728 took 409829 ms. Total solver calls (SAT/UNSAT): 3024748(4768/3019980)
Jun 02, 2017 4:12:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1619/3728 took 410853 ms. Total solver calls (SAT/UNSAT): 3032220(4780/3027440)
Jun 02, 2017 4:12:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1623/3728 took 411876 ms. Total solver calls (SAT/UNSAT): 3039692(4792/3034900)
Jun 02, 2017 4:12:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1627/3728 took 412951 ms. Total solver calls (SAT/UNSAT): 3047164(4804/3042360)
Jun 02, 2017 4:12:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1631/3728 took 413978 ms. Total solver calls (SAT/UNSAT): 3054636(4816/3049820)
Jun 02, 2017 4:12:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1635/3728 took 414989 ms. Total solver calls (SAT/UNSAT): 3062108(4828/3057280)
Jun 02, 2017 4:12:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1639/3728 took 416092 ms. Total solver calls (SAT/UNSAT): 3069580(4840/3064740)
Jun 02, 2017 4:12:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1643/3728 took 417098 ms. Total solver calls (SAT/UNSAT): 3077052(4852/3072200)
Jun 02, 2017 4:12:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1647/3728 took 418134 ms. Total solver calls (SAT/UNSAT): 3084524(4864/3079660)
Jun 02, 2017 4:12:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1651/3728 took 419271 ms. Total solver calls (SAT/UNSAT): 3091996(4876/3087120)
Jun 02, 2017 4:12:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1655/3728 took 420320 ms. Total solver calls (SAT/UNSAT): 3099468(4888/3094580)
Jun 02, 2017 4:13:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1659/3728 took 421334 ms. Total solver calls (SAT/UNSAT): 3106940(4900/3102040)
Jun 02, 2017 4:13:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1663/3728 took 422412 ms. Total solver calls (SAT/UNSAT): 3114412(4912/3109500)
Jun 02, 2017 4:13:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1667/3728 took 423430 ms. Total solver calls (SAT/UNSAT): 3121884(4924/3116960)
Jun 02, 2017 4:13:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1671/3728 took 424534 ms. Total solver calls (SAT/UNSAT): 3129356(4936/3124420)
Jun 02, 2017 4:13:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1675/3728 took 425544 ms. Total solver calls (SAT/UNSAT): 3136828(4948/3131880)
Jun 02, 2017 4:13:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1679/3728 took 426565 ms. Total solver calls (SAT/UNSAT): 3144300(4960/3139340)
Jun 02, 2017 4:13:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1682/3728 took 427933 ms. Total solver calls (SAT/UNSAT): 3154466(4969/3149497)
Jun 02, 2017 4:13:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1685/3728 took 429345 ms. Total solver calls (SAT/UNSAT): 3164633(4978/3159655)
Jun 02, 2017 4:13:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1688/3728 took 430745 ms. Total solver calls (SAT/UNSAT): 3174800(4987/3169813)
Jun 02, 2017 4:13:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1691/3728 took 432136 ms. Total solver calls (SAT/UNSAT): 3184967(4996/3179971)
Jun 02, 2017 4:13:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1693/3728 took 433142 ms. Total solver calls (SAT/UNSAT): 3191745(5002/3186743)
Jun 02, 2017 4:13:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1696/3728 took 434578 ms. Total solver calls (SAT/UNSAT): 3201912(5011/3196901)
Jun 02, 2017 4:13:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1699/3728 took 436002 ms. Total solver calls (SAT/UNSAT): 3212079(5020/3207059)
Jun 02, 2017 4:13:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1702/3728 took 437385 ms. Total solver calls (SAT/UNSAT): 3222246(5029/3217217)
Jun 02, 2017 4:13:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1705/3728 took 438765 ms. Total solver calls (SAT/UNSAT): 3232413(5038/3227375)
Jun 02, 2017 4:13:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1708/3728 took 440148 ms. Total solver calls (SAT/UNSAT): 3242580(5047/3237533)
Jun 02, 2017 4:13:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1711/3728 took 441522 ms. Total solver calls (SAT/UNSAT): 3252747(5056/3247691)
Jun 02, 2017 4:13:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1714/3728 took 442916 ms. Total solver calls (SAT/UNSAT): 3262914(5065/3257849)
Jun 02, 2017 4:13:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1717/3728 took 444290 ms. Total solver calls (SAT/UNSAT): 3273081(5074/3268007)
Jun 02, 2017 4:13:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1720/3728 took 445676 ms. Total solver calls (SAT/UNSAT): 3283248(5083/3278165)
Jun 02, 2017 4:13:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1723/3728 took 447056 ms. Total solver calls (SAT/UNSAT): 3293415(5092/3288323)
Jun 02, 2017 4:13:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1726/3728 took 448437 ms. Total solver calls (SAT/UNSAT): 3303582(5101/3298481)
Jun 02, 2017 4:13:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1729/3728 took 449863 ms. Total solver calls (SAT/UNSAT): 3313749(5110/3308639)
Jun 02, 2017 4:13:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1732/3728 took 451280 ms. Total solver calls (SAT/UNSAT): 3323916(5119/3318797)
Jun 02, 2017 4:13:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1735/3728 took 452628 ms. Total solver calls (SAT/UNSAT): 3334083(5128/3328955)
Jun 02, 2017 4:13:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1737/3728 took 453634 ms. Total solver calls (SAT/UNSAT): 3340861(5134/3335727)
Jun 02, 2017 4:13:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1740/3728 took 454990 ms. Total solver calls (SAT/UNSAT): 3351028(5143/3345885)
Jun 02, 2017 4:13:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1743/3728 took 456343 ms. Total solver calls (SAT/UNSAT): 3361195(5152/3356043)
Jun 02, 2017 4:13:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1746/3728 took 457690 ms. Total solver calls (SAT/UNSAT): 3371362(5161/3366201)
Jun 02, 2017 4:13:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1749/3728 took 459041 ms. Total solver calls (SAT/UNSAT): 3381529(5170/3376359)
Jun 02, 2017 4:13:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1752/3728 took 460471 ms. Total solver calls (SAT/UNSAT): 3391696(5179/3386517)
Jun 02, 2017 4:13:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1755/3728 took 461879 ms. Total solver calls (SAT/UNSAT): 3401863(5188/3396675)
Jun 02, 2017 4:13:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1758/3728 took 463285 ms. Total solver calls (SAT/UNSAT): 3412030(5197/3406833)
Jun 02, 2017 4:13:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1761/3728 took 464290 ms. Total solver calls (SAT/UNSAT): 3419154(5206/3413948)
Jun 02, 2017 4:13:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1766/3728 took 465524 ms. Total solver calls (SAT/UNSAT): 3428489(5221/3423268)
Jun 02, 2017 4:13:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1771/3728 took 466763 ms. Total solver calls (SAT/UNSAT): 3437824(5236/3432588)
Jun 02, 2017 4:13:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1776/3728 took 467995 ms. Total solver calls (SAT/UNSAT): 3447159(5251/3441908)
Jun 02, 2017 4:13:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1780/3728 took 469171 ms. Total solver calls (SAT/UNSAT): 3456148(5263/3450885)
Jun 02, 2017 4:13:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1784/3728 took 470276 ms. Total solver calls (SAT/UNSAT): 3463621(5275/3458346)
Jun 02, 2017 4:13:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1788/3728 took 471355 ms. Total solver calls (SAT/UNSAT): 3471093(5287/3465806)
Jun 02, 2017 4:13:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1792/3728 took 472375 ms. Total solver calls (SAT/UNSAT): 3478565(5299/3473266)
Jun 02, 2017 4:13:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1796/3728 took 473393 ms. Total solver calls (SAT/UNSAT): 3486037(5311/3480726)
Jun 02, 2017 4:13:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1800/3728 took 474458 ms. Total solver calls (SAT/UNSAT): 3493509(5323/3488186)
Jun 02, 2017 4:13:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1804/3728 took 475698 ms. Total solver calls (SAT/UNSAT): 3502503(5335/3497168)
Jun 02, 2017 4:13:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1808/3728 took 476711 ms. Total solver calls (SAT/UNSAT): 3509975(5347/3504628)
Jun 02, 2017 4:13:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1812/3728 took 477724 ms. Total solver calls (SAT/UNSAT): 3517447(5359/3512088)
Jun 02, 2017 4:13:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1816/3728 took 478739 ms. Total solver calls (SAT/UNSAT): 3524919(5371/3519548)
Jun 02, 2017 4:13:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1820/3728 took 479751 ms. Total solver calls (SAT/UNSAT): 3532391(5383/3527008)
Jun 02, 2017 4:14:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1824/3728 took 480971 ms. Total solver calls (SAT/UNSAT): 3541385(5395/3535990)
Jun 02, 2017 4:14:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1828/3728 took 481985 ms. Total solver calls (SAT/UNSAT): 3548857(5407/3543450)
Jun 02, 2017 4:14:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1832/3728 took 483000 ms. Total solver calls (SAT/UNSAT): 3556329(5419/3550910)
Jun 02, 2017 4:14:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1836/3728 took 484015 ms. Total solver calls (SAT/UNSAT): 3563801(5431/3558370)
Jun 02, 2017 4:14:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1840/3728 took 485026 ms. Total solver calls (SAT/UNSAT): 3571273(5443/3565830)
Jun 02, 2017 4:14:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1844/3728 took 486246 ms. Total solver calls (SAT/UNSAT): 3580267(5455/3574812)
Jun 02, 2017 4:14:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1848/3728 took 487263 ms. Total solver calls (SAT/UNSAT): 3587739(5467/3582272)
Jun 02, 2017 4:14:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1852/3728 took 488280 ms. Total solver calls (SAT/UNSAT): 3595211(5479/3589732)
Jun 02, 2017 4:14:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1856/3728 took 489294 ms. Total solver calls (SAT/UNSAT): 3602683(5491/3597192)
Jun 02, 2017 4:14:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1860/3728 took 490310 ms. Total solver calls (SAT/UNSAT): 3610155(5503/3604652)
Jun 02, 2017 4:14:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1864/3728 took 491529 ms. Total solver calls (SAT/UNSAT): 3619148(5515/3613633)
Jun 02, 2017 4:14:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1868/3728 took 492547 ms. Total solver calls (SAT/UNSAT): 3626621(5527/3621094)
Jun 02, 2017 4:14:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1872/3728 took 493558 ms. Total solver calls (SAT/UNSAT): 3634093(5539/3628554)
Jun 02, 2017 4:14:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1876/3728 took 494576 ms. Total solver calls (SAT/UNSAT): 3641565(5551/3636014)
Jun 02, 2017 4:14:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1880/3728 took 495596 ms. Total solver calls (SAT/UNSAT): 3649037(5563/3643474)
Jun 02, 2017 4:14:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1884/3728 took 496656 ms. Total solver calls (SAT/UNSAT): 3656509(5575/3650934)
Jun 02, 2017 4:14:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1888/3728 took 497881 ms. Total solver calls (SAT/UNSAT): 3665503(5587/3659916)
Jun 02, 2017 4:14:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1892/3728 took 498907 ms. Total solver calls (SAT/UNSAT): 3672975(5599/3667376)
Jun 02, 2017 4:14:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1896/3728 took 499918 ms. Total solver calls (SAT/UNSAT): 3680447(5611/3674836)
Jun 02, 2017 4:14:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1900/3728 took 500928 ms. Total solver calls (SAT/UNSAT): 3687919(5623/3682296)
Jun 02, 2017 4:14:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1904/3728 took 501952 ms. Total solver calls (SAT/UNSAT): 3695391(5635/3689756)
Jun 02, 2017 4:14:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1908/3728 took 503179 ms. Total solver calls (SAT/UNSAT): 3704385(5647/3698738)
Jun 02, 2017 4:14:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1912/3728 took 504202 ms. Total solver calls (SAT/UNSAT): 3711857(5659/3706198)
Jun 02, 2017 4:14:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1916/3728 took 505222 ms. Total solver calls (SAT/UNSAT): 3719329(5671/3713658)
Jun 02, 2017 4:14:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1920/3728 took 506243 ms. Total solver calls (SAT/UNSAT): 3726801(5683/3721118)
Jun 02, 2017 4:14:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1924/3728 took 507260 ms. Total solver calls (SAT/UNSAT): 3734273(5695/3728578)
Jun 02, 2017 4:14:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1928/3728 took 508476 ms. Total solver calls (SAT/UNSAT): 3743267(5707/3737560)
Jun 02, 2017 4:14:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1932/3728 took 509487 ms. Total solver calls (SAT/UNSAT): 3750739(5719/3745020)
Jun 02, 2017 4:14:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1936/3728 took 510500 ms. Total solver calls (SAT/UNSAT): 3758211(5731/3752480)
Jun 02, 2017 4:14:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1940/3728 took 511511 ms. Total solver calls (SAT/UNSAT): 3765683(5743/3759940)
Jun 02, 2017 4:14:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1944/3728 took 512520 ms. Total solver calls (SAT/UNSAT): 3773155(5755/3767400)
Jun 02, 2017 4:14:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1948/3728 took 513758 ms. Total solver calls (SAT/UNSAT): 3782148(5767/3776381)
Jun 02, 2017 4:14:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1953/3728 took 515003 ms. Total solver calls (SAT/UNSAT): 3791489(5782/3785707)
Jun 02, 2017 4:14:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1958/3728 took 516247 ms. Total solver calls (SAT/UNSAT): 3800829(5797/3795032)
Jun 02, 2017 4:14:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1963/3728 took 517482 ms. Total solver calls (SAT/UNSAT): 3810169(5812/3804357)
Jun 02, 2017 4:14:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1968/3728 took 518722 ms. Total solver calls (SAT/UNSAT): 3819509(5827/3813682)
Jun 02, 2017 4:14:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1972/3728 took 519913 ms. Total solver calls (SAT/UNSAT): 3828503(5839/3822664)
Jun 02, 2017 4:14:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1977/3728 took 521146 ms. Total solver calls (SAT/UNSAT): 3837843(5854/3831989)
Jun 02, 2017 4:14:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1982/3728 took 522384 ms. Total solver calls (SAT/UNSAT): 3847183(5869/3841314)
Jun 02, 2017 4:14:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1987/3728 took 523619 ms. Total solver calls (SAT/UNSAT): 3856523(5884/3850639)
Jun 02, 2017 4:14:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1991/3728 took 524810 ms. Total solver calls (SAT/UNSAT): 3865517(5896/3859621)
Jun 02, 2017 4:14:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1996/3728 took 526045 ms. Total solver calls (SAT/UNSAT): 3874857(5911/3868946)
Jun 02, 2017 4:14:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2001/3728 took 527279 ms. Total solver calls (SAT/UNSAT): 3884197(5926/3878271)
Jun 02, 2017 4:14:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2006/3728 took 528515 ms. Total solver calls (SAT/UNSAT): 3893537(5941/3887596)
Jun 02, 2017 4:14:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2011/3728 took 529957 ms. Total solver calls (SAT/UNSAT): 3904398(5956/3898442)
Jun 02, 2017 4:14:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2015/3728 took 531000 ms. Total solver calls (SAT/UNSAT): 3911871(5968/3905903)
Jun 02, 2017 4:14:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2019/3728 took 532059 ms. Total solver calls (SAT/UNSAT): 3919343(5980/3913363)
Jun 02, 2017 4:14:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2024/3728 took 533290 ms. Total solver calls (SAT/UNSAT): 3928683(5995/3922688)
Jun 02, 2017 4:14:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2029/3728 took 534523 ms. Total solver calls (SAT/UNSAT): 3938023(6010/3932013)
Jun 02, 2017 4:14:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2033/3728 took 535710 ms. Total solver calls (SAT/UNSAT): 3947017(6022/3940995)
Jun 02, 2017 4:14:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2038/3728 took 536941 ms. Total solver calls (SAT/UNSAT): 3956357(6037/3950320)
Jun 02, 2017 4:14:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2043/3728 took 538174 ms. Total solver calls (SAT/UNSAT): 3965697(6052/3959645)
Jun 02, 2017 4:14:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2048/3728 took 539404 ms. Total solver calls (SAT/UNSAT): 3975037(6067/3968970)
Jun 02, 2017 4:14:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2053/3728 took 540842 ms. Total solver calls (SAT/UNSAT): 3985898(6082/3979816)
Jun 02, 2017 4:15:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2058/3728 took 542072 ms. Total solver calls (SAT/UNSAT): 3995239(6097/3989142)
Jun 02, 2017 4:15:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2063/3728 took 543311 ms. Total solver calls (SAT/UNSAT): 4004579(6112/3998467)
Jun 02, 2017 4:15:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2068/3728 took 544541 ms. Total solver calls (SAT/UNSAT): 4013919(6127/4007792)
Jun 02, 2017 4:15:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2073/3728 took 545775 ms. Total solver calls (SAT/UNSAT): 4023259(6142/4017117)
Jun 02, 2017 4:15:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2077/3728 took 546974 ms. Total solver calls (SAT/UNSAT): 4032253(6154/4026099)
Jun 02, 2017 4:15:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2082/3728 took 548210 ms. Total solver calls (SAT/UNSAT): 4041593(6169/4035424)
Jun 02, 2017 4:15:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2087/3728 took 549452 ms. Total solver calls (SAT/UNSAT): 4050933(6184/4044749)
Jun 02, 2017 4:15:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2092/3728 took 550688 ms. Total solver calls (SAT/UNSAT): 4060273(6199/4054074)
Jun 02, 2017 4:15:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2096/3728 took 551880 ms. Total solver calls (SAT/UNSAT): 4069267(6211/4063056)
Jun 02, 2017 4:15:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2100/3728 took 552921 ms. Total solver calls (SAT/UNSAT): 4076739(6223/4070516)
Jun 02, 2017 4:15:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2104/3728 took 553922 ms. Total solver calls (SAT/UNSAT): 4084211(6235/4077976)
Jun 02, 2017 4:15:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2109/3728 took 555171 ms. Total solver calls (SAT/UNSAT): 4093551(6250/4087301)
Jun 02, 2017 4:15:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2113/3728 took 556175 ms. Total solver calls (SAT/UNSAT): 4101023(6262/4094761)
Jun 02, 2017 4:15:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2117/3728 took 557376 ms. Total solver calls (SAT/UNSAT): 4110017(6274/4103743)
Jun 02, 2017 4:15:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2121/3728 took 558376 ms. Total solver calls (SAT/UNSAT): 4117489(6286/4111203)
Jun 02, 2017 4:15:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2125/3728 took 559376 ms. Total solver calls (SAT/UNSAT): 4124961(6298/4118663)
Jun 02, 2017 4:15:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2129/3728 took 560376 ms. Total solver calls (SAT/UNSAT): 4132433(6310/4126123)
Jun 02, 2017 4:15:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2133/3728 took 561376 ms. Total solver calls (SAT/UNSAT): 4139905(6322/4133583)
Jun 02, 2017 4:15:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2137/3728 took 562584 ms. Total solver calls (SAT/UNSAT): 4148898(6334/4142564)
Jun 02, 2017 4:15:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2142/3728 took 563830 ms. Total solver calls (SAT/UNSAT): 4158239(6349/4151890)
Jun 02, 2017 4:15:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2147/3728 took 565075 ms. Total solver calls (SAT/UNSAT): 4167579(6364/4161215)
Jun 02, 2017 4:15:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2151/3728 took 566086 ms. Total solver calls (SAT/UNSAT): 4175051(6376/4168675)
Jun 02, 2017 4:15:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2156/3728 took 567329 ms. Total solver calls (SAT/UNSAT): 4184391(6391/4178000)
Jun 02, 2017 4:15:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2160/3728 took 568527 ms. Total solver calls (SAT/UNSAT): 4193385(6403/4186982)
Jun 02, 2017 4:15:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2164/3728 took 569572 ms. Total solver calls (SAT/UNSAT): 4200857(6415/4194442)
Jun 02, 2017 4:15:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2169/3728 took 570810 ms. Total solver calls (SAT/UNSAT): 4210197(6430/4203767)
Jun 02, 2017 4:15:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2174/3728 took 572048 ms. Total solver calls (SAT/UNSAT): 4219537(6445/4213092)
Jun 02, 2017 4:15:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2179/3728 took 573495 ms. Total solver calls (SAT/UNSAT): 4230398(6460/4223938)
Jun 02, 2017 4:15:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2183/3728 took 574514 ms. Total solver calls (SAT/UNSAT): 4237871(6472/4231399)
Jun 02, 2017 4:15:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2187/3728 took 575522 ms. Total solver calls (SAT/UNSAT): 4245343(6484/4238859)
Jun 02, 2017 4:15:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2192/3728 took 576768 ms. Total solver calls (SAT/UNSAT): 4254683(6499/4248184)
Jun 02, 2017 4:15:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2196/3728 took 577771 ms. Total solver calls (SAT/UNSAT): 4262155(6511/4255644)
Jun 02, 2017 4:15:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2200/3728 took 579008 ms. Total solver calls (SAT/UNSAT): 4271148(6523/4264625)
Jun 02, 2017 4:15:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2204/3728 took 580140 ms. Total solver calls (SAT/UNSAT): 4278621(6535/4272086)
Jun 02, 2017 4:15:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2209/3728 took 581387 ms. Total solver calls (SAT/UNSAT): 4287961(6550/4281411)
Jun 02, 2017 4:15:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2213/3728 took 582392 ms. Total solver calls (SAT/UNSAT): 4295433(6562/4288871)
Jun 02, 2017 4:15:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2217/3728 took 583438 ms. Total solver calls (SAT/UNSAT): 4302905(6574/4296331)
Jun 02, 2017 4:15:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2221/3728 took 584732 ms. Total solver calls (SAT/UNSAT): 4311898(6586/4305312)
Jun 02, 2017 4:15:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2225/3728 took 585733 ms. Total solver calls (SAT/UNSAT): 4319371(6598/4312773)
Jun 02, 2017 4:15:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2229/3728 took 586737 ms. Total solver calls (SAT/UNSAT): 4326843(6610/4320233)
Jun 02, 2017 4:15:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2234/3728 took 587976 ms. Total solver calls (SAT/UNSAT): 4336183(6625/4329558)
Jun 02, 2017 4:15:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2239/3728 took 589217 ms. Total solver calls (SAT/UNSAT): 4345523(6640/4338883)
Jun 02, 2017 4:15:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2243/3728 took 590418 ms. Total solver calls (SAT/UNSAT): 4354517(6652/4347865)
Jun 02, 2017 4:15:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2248/3728 took 591657 ms. Total solver calls (SAT/UNSAT): 4363857(6667/4357190)
Jun 02, 2017 4:15:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2253/3728 took 592947 ms. Total solver calls (SAT/UNSAT): 4373197(6682/4366515)
Jun 02, 2017 4:15:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2257/3728 took 593947 ms. Total solver calls (SAT/UNSAT): 4380669(6694/4373975)
Jun 02, 2017 4:15:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2262/3728 took 595194 ms. Total solver calls (SAT/UNSAT): 4390009(6709/4383300)
Jun 02, 2017 4:15:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2266/3728 took 596395 ms. Total solver calls (SAT/UNSAT): 4399003(6721/4392282)
Jun 02, 2017 4:15:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2271/3728 took 597639 ms. Total solver calls (SAT/UNSAT): 4408343(6736/4401607)
Jun 02, 2017 4:15:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2276/3728 took 598881 ms. Total solver calls (SAT/UNSAT): 4417683(6751/4410932)
Jun 02, 2017 4:15:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2281/3728 took 600123 ms. Total solver calls (SAT/UNSAT): 4427023(6766/4420257)
Jun 02, 2017 4:16:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2285/3728 took 601319 ms. Total solver calls (SAT/UNSAT): 4436017(6778/4429239)
Jun 02, 2017 4:16:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2290/3728 took 602559 ms. Total solver calls (SAT/UNSAT): 4445357(6793/4438564)
Jun 02, 2017 4:16:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2294/3728 took 603560 ms. Total solver calls (SAT/UNSAT): 4452829(6805/4446024)
Jun 02, 2017 4:16:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2299/3728 took 604800 ms. Total solver calls (SAT/UNSAT): 4462169(6820/4455349)
Jun 02, 2017 4:16:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2304/3728 took 606039 ms. Total solver calls (SAT/UNSAT): 4471509(6835/4464674)
Jun 02, 2017 4:16:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2308/3728 took 607252 ms. Total solver calls (SAT/UNSAT): 4480503(6847/4473656)
Jun 02, 2017 4:16:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2313/3728 took 608491 ms. Total solver calls (SAT/UNSAT): 4489843(6862/4482981)
Jun 02, 2017 4:16:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2318/3728 took 609730 ms. Total solver calls (SAT/UNSAT): 4499183(6877/4492306)
Jun 02, 2017 4:16:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2322/3728 took 610767 ms. Total solver calls (SAT/UNSAT): 4506655(6889/4499766)
Jun 02, 2017 4:16:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2326/3728 took 611955 ms. Total solver calls (SAT/UNSAT): 4515648(6901/4508747)
Jun 02, 2017 4:16:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2331/3728 took 613183 ms. Total solver calls (SAT/UNSAT): 4524989(6916/4518073)
Jun 02, 2017 4:16:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2336/3728 took 614418 ms. Total solver calls (SAT/UNSAT): 4534329(6931/4527398)
Jun 02, 2017 4:16:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2340/3728 took 615440 ms. Total solver calls (SAT/UNSAT): 4541801(6943/4534858)
Jun 02, 2017 4:16:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2344/3728 took 616450 ms. Total solver calls (SAT/UNSAT): 4549273(6955/4542318)
Jun 02, 2017 4:16:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2348/3728 took 617698 ms. Total solver calls (SAT/UNSAT): 4558267(6967/4551300)
Jun 02, 2017 4:16:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2353/3728 took 618946 ms. Total solver calls (SAT/UNSAT): 4567607(6982/4560625)
Jun 02, 2017 4:16:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2357/3728 took 619982 ms. Total solver calls (SAT/UNSAT): 4575079(6994/4568085)
Jun 02, 2017 4:16:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2361/3728 took 621015 ms. Total solver calls (SAT/UNSAT): 4582551(7006/4575545)
Jun 02, 2017 4:16:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2366/3728 took 622260 ms. Total solver calls (SAT/UNSAT): 4591891(7021/4584870)
Jun 02, 2017 4:16:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2370/3728 took 623449 ms. Total solver calls (SAT/UNSAT): 4600885(7033/4593852)
Jun 02, 2017 4:16:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2375/3728 took 624683 ms. Total solver calls (SAT/UNSAT): 4610225(7048/4603177)
Jun 02, 2017 4:16:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2380/3728 took 625921 ms. Total solver calls (SAT/UNSAT): 4619565(7063/4612502)
Jun 02, 2017 4:16:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2384/3728 took 627014 ms. Total solver calls (SAT/UNSAT): 4627037(7075/4619962)
Jun 02, 2017 4:16:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2388/3728 took 628015 ms. Total solver calls (SAT/UNSAT): 4634509(7087/4627422)
Jun 02, 2017 4:16:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2392/3728 took 629227 ms. Total solver calls (SAT/UNSAT): 4643503(7099/4636404)
Jun 02, 2017 4:16:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2397/3728 took 630471 ms. Total solver calls (SAT/UNSAT): 4652843(7114/4645729)
Jun 02, 2017 4:16:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2402/3728 took 631709 ms. Total solver calls (SAT/UNSAT): 4662183(7129/4655054)
Jun 02, 2017 4:16:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2407/3728 took 632952 ms. Total solver calls (SAT/UNSAT): 4671523(7144/4664379)
Jun 02, 2017 4:16:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2411/3728 took 634140 ms. Total solver calls (SAT/UNSAT): 4680517(7156/4673361)
Jun 02, 2017 4:16:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2416/3728 took 635371 ms. Total solver calls (SAT/UNSAT): 4689857(7171/4682686)
Jun 02, 2017 4:16:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2421/3728 took 636610 ms. Total solver calls (SAT/UNSAT): 4699197(7186/4692011)
Jun 02, 2017 4:16:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2426/3728 took 637849 ms. Total solver calls (SAT/UNSAT): 4708537(7201/4701336)
Jun 02, 2017 4:16:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2431/3728 took 639284 ms. Total solver calls (SAT/UNSAT): 4719398(7216/4712182)
Jun 02, 2017 4:16:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2436/3728 took 640527 ms. Total solver calls (SAT/UNSAT): 4728739(7231/4721508)
Jun 02, 2017 4:16:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2441/3728 took 641776 ms. Total solver calls (SAT/UNSAT): 4738079(7246/4730833)
Jun 02, 2017 4:16:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2446/3728 took 643015 ms. Total solver calls (SAT/UNSAT): 4747419(7261/4740158)
Jun 02, 2017 4:16:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2451/3728 took 644255 ms. Total solver calls (SAT/UNSAT): 4756759(7276/4749483)
Jun 02, 2017 4:16:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2455/3728 took 645443 ms. Total solver calls (SAT/UNSAT): 4765753(7288/4758465)
Jun 02, 2017 4:16:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2460/3728 took 646684 ms. Total solver calls (SAT/UNSAT): 4775093(7303/4767790)
Jun 02, 2017 4:16:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2465/3728 took 647926 ms. Total solver calls (SAT/UNSAT): 4784433(7318/4777115)
Jun 02, 2017 4:16:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2470/3728 took 649160 ms. Total solver calls (SAT/UNSAT): 4793773(7333/4786440)
Jun 02, 2017 4:16:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2474/3728 took 650349 ms. Total solver calls (SAT/UNSAT): 4802767(7345/4795422)
Jun 02, 2017 4:16:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2479/3728 took 651583 ms. Total solver calls (SAT/UNSAT): 4812107(7360/4804747)
Jun 02, 2017 4:16:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2484/3728 took 652824 ms. Total solver calls (SAT/UNSAT): 4821447(7375/4814072)
Jun 02, 2017 4:16:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2489/3728 took 654058 ms. Total solver calls (SAT/UNSAT): 4830787(7390/4823397)
Jun 02, 2017 4:16:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2494/3728 took 655492 ms. Total solver calls (SAT/UNSAT): 4841648(7405/4834243)
Jun 02, 2017 4:16:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2499/3728 took 656738 ms. Total solver calls (SAT/UNSAT): 4850989(7420/4843569)
Jun 02, 2017 4:16:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2504/3728 took 657971 ms. Total solver calls (SAT/UNSAT): 4860329(7435/4852894)
Jun 02, 2017 4:16:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2509/3728 took 659205 ms. Total solver calls (SAT/UNSAT): 4869669(7450/4862219)
Jun 02, 2017 4:16:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2514/3728 took 660440 ms. Total solver calls (SAT/UNSAT): 4879009(7465/4871544)
Jun 02, 2017 4:17:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2518/3728 took 661624 ms. Total solver calls (SAT/UNSAT): 4888003(7477/4880526)
Jun 02, 2017 4:17:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2523/3728 took 662860 ms. Total solver calls (SAT/UNSAT): 4897343(7492/4889851)
Jun 02, 2017 4:17:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2528/3728 took 664103 ms. Total solver calls (SAT/UNSAT): 4906683(7507/4899176)
Jun 02, 2017 4:17:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2533/3728 took 665335 ms. Total solver calls (SAT/UNSAT): 4916023(7522/4908501)
Jun 02, 2017 4:17:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2537/3728 took 666522 ms. Total solver calls (SAT/UNSAT): 4925017(7534/4917483)
Jun 02, 2017 4:17:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2542/3728 took 667766 ms. Total solver calls (SAT/UNSAT): 4934357(7549/4926808)
Jun 02, 2017 4:17:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2547/3728 took 668998 ms. Total solver calls (SAT/UNSAT): 4943697(7564/4936133)
Jun 02, 2017 4:17:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2552/3728 took 670231 ms. Total solver calls (SAT/UNSAT): 4953037(7579/4945458)
Jun 02, 2017 4:17:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2557/3728 took 671677 ms. Total solver calls (SAT/UNSAT): 4963898(7594/4956304)
Jun 02, 2017 4:17:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2562/3728 took 672909 ms. Total solver calls (SAT/UNSAT): 4973239(7609/4965630)
Jun 02, 2017 4:17:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2567/3728 took 674139 ms. Total solver calls (SAT/UNSAT): 4982579(7624/4974955)
Jun 02, 2017 4:17:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2572/3728 took 675375 ms. Total solver calls (SAT/UNSAT): 4991919(7639/4984280)
Jun 02, 2017 4:17:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2577/3728 took 676610 ms. Total solver calls (SAT/UNSAT): 5001259(7654/4993605)
Jun 02, 2017 4:17:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2581/3728 took 677799 ms. Total solver calls (SAT/UNSAT): 5010253(7666/5002587)
Jun 02, 2017 4:17:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2586/3728 took 679032 ms. Total solver calls (SAT/UNSAT): 5019593(7681/5011912)
Jun 02, 2017 4:17:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2591/3728 took 680276 ms. Total solver calls (SAT/UNSAT): 5028933(7696/5021237)
Jun 02, 2017 4:17:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2596/3728 took 681529 ms. Total solver calls (SAT/UNSAT): 5038273(7711/5030562)
Jun 02, 2017 4:17:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2600/3728 took 682762 ms. Total solver calls (SAT/UNSAT): 5047267(7723/5039544)
Jun 02, 2017 4:17:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2604/3728 took 683780 ms. Total solver calls (SAT/UNSAT): 5054739(7735/5047004)
Jun 02, 2017 4:17:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2608/3728 took 684899 ms. Total solver calls (SAT/UNSAT): 5062211(7747/5054464)
Jun 02, 2017 4:17:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2612/3728 took 686051 ms. Total solver calls (SAT/UNSAT): 5069683(7759/5061924)
Jun 02, 2017 4:17:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2616/3728 took 687118 ms. Total solver calls (SAT/UNSAT): 5077155(7771/5069384)
Jun 02, 2017 4:17:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2620/3728 took 688354 ms. Total solver calls (SAT/UNSAT): 5086148(7783/5078365)
Jun 02, 2017 4:17:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2624/3728 took 689410 ms. Total solver calls (SAT/UNSAT): 5093621(7795/5085826)
Jun 02, 2017 4:17:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2629/3728 took 690649 ms. Total solver calls (SAT/UNSAT): 5102961(7810/5095151)
Jun 02, 2017 4:17:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2634/3728 took 691883 ms. Total solver calls (SAT/UNSAT): 5112301(7825/5104476)
Jun 02, 2017 4:17:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2639/3728 took 693117 ms. Total solver calls (SAT/UNSAT): 5121641(7840/5113801)
Jun 02, 2017 4:17:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2643/3728 took 694301 ms. Total solver calls (SAT/UNSAT): 5130635(7852/5122783)
Jun 02, 2017 4:17:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2648/3728 took 695529 ms. Total solver calls (SAT/UNSAT): 5139975(7867/5132108)
Jun 02, 2017 4:17:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2652/3728 took 696529 ms. Total solver calls (SAT/UNSAT): 5147447(7879/5139568)
Jun 02, 2017 4:17:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2657/3728 took 697756 ms. Total solver calls (SAT/UNSAT): 5156787(7894/5148893)
Jun 02, 2017 4:17:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2661/3728 took 698756 ms. Total solver calls (SAT/UNSAT): 5164259(7906/5156353)
Jun 02, 2017 4:17:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2665/3728 took 700015 ms. Total solver calls (SAT/UNSAT): 5173253(7918/5165335)
Jun 02, 2017 4:17:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2669/3728 took 701092 ms. Total solver calls (SAT/UNSAT): 5180725(7930/5172795)
Jun 02, 2017 4:17:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2674/3728 took 702323 ms. Total solver calls (SAT/UNSAT): 5190065(7945/5182120)
Jun 02, 2017 4:17:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2679/3728 took 703549 ms. Total solver calls (SAT/UNSAT): 5199405(7960/5191445)
Jun 02, 2017 4:17:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2683/3728 took 704739 ms. Total solver calls (SAT/UNSAT): 5208398(7972/5200426)
Jun 02, 2017 4:17:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2688/3728 took 705980 ms. Total solver calls (SAT/UNSAT): 5217739(7987/5209752)
Jun 02, 2017 4:17:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2693/3728 took 707213 ms. Total solver calls (SAT/UNSAT): 5227079(8002/5219077)
Jun 02, 2017 4:17:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2697/3728 took 708247 ms. Total solver calls (SAT/UNSAT): 5234551(8014/5226537)
Jun 02, 2017 4:17:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2701/3728 took 709288 ms. Total solver calls (SAT/UNSAT): 5242023(8026/5233997)
Jun 02, 2017 4:17:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2705/3728 took 710481 ms. Total solver calls (SAT/UNSAT): 5251017(8038/5242979)
Jun 02, 2017 4:17:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2710/3728 took 711715 ms. Total solver calls (SAT/UNSAT): 5260357(8053/5252304)
Jun 02, 2017 4:17:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2715/3728 took 712945 ms. Total solver calls (SAT/UNSAT): 5269697(8068/5261629)
Jun 02, 2017 4:17:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2719/3728 took 713952 ms. Total solver calls (SAT/UNSAT): 5277169(8080/5269089)
Jun 02, 2017 4:17:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2724/3728 took 715187 ms. Total solver calls (SAT/UNSAT): 5286509(8095/5278414)
Jun 02, 2017 4:17:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2728/3728 took 716370 ms. Total solver calls (SAT/UNSAT): 5295503(8107/5287396)
Jun 02, 2017 4:17:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2733/3728 took 717611 ms. Total solver calls (SAT/UNSAT): 5304843(8122/5296721)
Jun 02, 2017 4:17:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2738/3728 took 718855 ms. Total solver calls (SAT/UNSAT): 5314183(8137/5306046)
Jun 02, 2017 4:17:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2743/3728 took 720093 ms. Total solver calls (SAT/UNSAT): 5323523(8152/5315371)
Jun 02, 2017 4:18:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2747/3728 took 721279 ms. Total solver calls (SAT/UNSAT): 5332517(8164/5324353)
Jun 02, 2017 4:18:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2751/3728 took 722355 ms. Total solver calls (SAT/UNSAT): 5339989(8176/5331813)
Jun 02, 2017 4:18:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2755/3728 took 723397 ms. Total solver calls (SAT/UNSAT): 5347461(8188/5339273)
Jun 02, 2017 4:18:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2759/3728 took 724432 ms. Total solver calls (SAT/UNSAT): 5354933(8200/5346733)
Jun 02, 2017 4:18:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2764/3728 took 725663 ms. Total solver calls (SAT/UNSAT): 5364273(8215/5356058)
Jun 02, 2017 4:18:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2768/3728 took 726859 ms. Total solver calls (SAT/UNSAT): 5373267(8227/5365040)
Jun 02, 2017 4:18:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2773/3728 took 728088 ms. Total solver calls (SAT/UNSAT): 5382607(8242/5374365)
Jun 02, 2017 4:18:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2778/3728 took 729314 ms. Total solver calls (SAT/UNSAT): 5391947(8257/5383690)
Jun 02, 2017 4:18:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2783/3728 took 730551 ms. Total solver calls (SAT/UNSAT): 5401287(8272/5393015)
Jun 02, 2017 4:18:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2788/3728 took 731977 ms. Total solver calls (SAT/UNSAT): 5412148(8287/5403861)
Jun 02, 2017 4:18:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2793/3728 took 733210 ms. Total solver calls (SAT/UNSAT): 5421489(8302/5413187)
Jun 02, 2017 4:18:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2798/3728 took 734442 ms. Total solver calls (SAT/UNSAT): 5430829(8317/5422512)
Jun 02, 2017 4:18:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2803/3728 took 735679 ms. Total solver calls (SAT/UNSAT): 5440169(8332/5431837)
Jun 02, 2017 4:18:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2808/3728 took 736908 ms. Total solver calls (SAT/UNSAT): 5449509(8347/5441162)
Jun 02, 2017 4:18:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2812/3728 took 738093 ms. Total solver calls (SAT/UNSAT): 5458503(8359/5450144)
Jun 02, 2017 4:18:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2816/3728 took 739093 ms. Total solver calls (SAT/UNSAT): 5465975(8371/5457604)
Jun 02, 2017 4:18:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2821/3728 took 740332 ms. Total solver calls (SAT/UNSAT): 5475315(8386/5466929)
Jun 02, 2017 4:18:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2825/3728 took 741365 ms. Total solver calls (SAT/UNSAT): 5482787(8398/5474389)
Jun 02, 2017 4:18:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2830/3728 took 742801 ms. Total solver calls (SAT/UNSAT): 5493648(8413/5485235)
Jun 02, 2017 4:18:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2835/3728 took 744036 ms. Total solver calls (SAT/UNSAT): 5502989(8428/5494561)
Jun 02, 2017 4:18:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2840/3728 took 745268 ms. Total solver calls (SAT/UNSAT): 5512329(8443/5503886)
Jun 02, 2017 4:18:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2845/3728 took 746499 ms. Total solver calls (SAT/UNSAT): 5521669(8458/5513211)
Jun 02, 2017 4:18:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2850/3728 took 747730 ms. Total solver calls (SAT/UNSAT): 5531009(8473/5522536)
Jun 02, 2017 4:18:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2854/3728 took 748988 ms. Total solver calls (SAT/UNSAT): 5540003(8485/5531518)
Jun 02, 2017 4:18:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2859/3728 took 750226 ms. Total solver calls (SAT/UNSAT): 5549343(8500/5540843)
Jun 02, 2017 4:18:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2863/3728 took 751235 ms. Total solver calls (SAT/UNSAT): 5556815(8512/5548303)
Jun 02, 2017 4:18:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2867/3728 took 752243 ms. Total solver calls (SAT/UNSAT): 5564287(8524/5555763)
Jun 02, 2017 4:18:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2872/3728 took 753694 ms. Total solver calls (SAT/UNSAT): 5575148(8539/5566609)
Jun 02, 2017 4:18:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2877/3728 took 754930 ms. Total solver calls (SAT/UNSAT): 5584489(8554/5575935)
Jun 02, 2017 4:18:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2882/3728 took 756164 ms. Total solver calls (SAT/UNSAT): 5593829(8569/5585260)
Jun 02, 2017 4:18:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2887/3728 took 757402 ms. Total solver calls (SAT/UNSAT): 5603169(8584/5594585)
Jun 02, 2017 4:18:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2892/3728 took 758644 ms. Total solver calls (SAT/UNSAT): 5612509(8599/5603910)
Jun 02, 2017 4:18:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2896/3728 took 759836 ms. Total solver calls (SAT/UNSAT): 5621503(8611/5612892)
Jun 02, 2017 4:18:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2901/3728 took 761073 ms. Total solver calls (SAT/UNSAT): 5630843(8626/5622217)
Jun 02, 2017 4:18:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2906/3728 took 762316 ms. Total solver calls (SAT/UNSAT): 5640183(8641/5631542)
Jun 02, 2017 4:18:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2911/3728 took 763553 ms. Total solver calls (SAT/UNSAT): 5649523(8656/5640867)
Jun 02, 2017 4:18:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2915/3728 took 764746 ms. Total solver calls (SAT/UNSAT): 5658517(8668/5649849)
Jun 02, 2017 4:18:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2920/3728 took 765982 ms. Total solver calls (SAT/UNSAT): 5667857(8683/5659174)
Jun 02, 2017 4:18:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2924/3728 took 766984 ms. Total solver calls (SAT/UNSAT): 5675329(8695/5666634)
Jun 02, 2017 4:18:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2929/3728 took 768222 ms. Total solver calls (SAT/UNSAT): 5684669(8710/5675959)
Jun 02, 2017 4:18:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2934/3728 took 769455 ms. Total solver calls (SAT/UNSAT): 5694009(8725/5685284)
Jun 02, 2017 4:18:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2938/3728 took 770647 ms. Total solver calls (SAT/UNSAT): 5703003(8737/5694266)
Jun 02, 2017 4:18:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2943/3728 took 771889 ms. Total solver calls (SAT/UNSAT): 5712343(8752/5703591)
Jun 02, 2017 4:18:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2948/3728 took 773123 ms. Total solver calls (SAT/UNSAT): 5721683(8767/5712916)
Jun 02, 2017 4:18:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2953/3728 took 774358 ms. Total solver calls (SAT/UNSAT): 5731023(8782/5722241)
Jun 02, 2017 4:18:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2957/3728 took 775550 ms. Total solver calls (SAT/UNSAT): 5740017(8794/5731223)
Jun 02, 2017 4:18:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2962/3728 took 776794 ms. Total solver calls (SAT/UNSAT): 5749357(8809/5740548)
Jun 02, 2017 4:18:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2967/3728 took 778026 ms. Total solver calls (SAT/UNSAT): 5758697(8824/5749873)
Jun 02, 2017 4:18:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2972/3728 took 779259 ms. Total solver calls (SAT/UNSAT): 5768037(8839/5759198)
Jun 02, 2017 4:18:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2977/3728 took 780699 ms. Total solver calls (SAT/UNSAT): 5778898(8854/5770044)
Jun 02, 2017 4:19:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2982/3728 took 781929 ms. Total solver calls (SAT/UNSAT): 5788239(8869/5779370)
Jun 02, 2017 4:19:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2987/3728 took 783160 ms. Total solver calls (SAT/UNSAT): 5797579(8884/5788695)
Jun 02, 2017 4:19:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2992/3728 took 784391 ms. Total solver calls (SAT/UNSAT): 5806919(8899/5798020)
Jun 02, 2017 4:19:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2997/3728 took 785626 ms. Total solver calls (SAT/UNSAT): 5816259(8914/5807345)
Jun 02, 2017 4:19:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3001/3728 took 786810 ms. Total solver calls (SAT/UNSAT): 5825253(8926/5816327)
Jun 02, 2017 4:19:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3006/3728 took 788043 ms. Total solver calls (SAT/UNSAT): 5834593(8941/5825652)
Jun 02, 2017 4:19:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3011/3728 took 789276 ms. Total solver calls (SAT/UNSAT): 5843933(8956/5834977)
Jun 02, 2017 4:19:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3016/3728 took 790517 ms. Total solver calls (SAT/UNSAT): 5853273(8971/5844302)
Jun 02, 2017 4:19:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3020/3728 took 791705 ms. Total solver calls (SAT/UNSAT): 5862267(8983/5853284)
Jun 02, 2017 4:19:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3025/3728 took 792937 ms. Total solver calls (SAT/UNSAT): 5871607(8998/5862609)
Jun 02, 2017 4:19:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3030/3728 took 794170 ms. Total solver calls (SAT/UNSAT): 5880947(9013/5871934)
Jun 02, 2017 4:19:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3035/3728 took 795407 ms. Total solver calls (SAT/UNSAT): 5890287(9028/5881259)
Jun 02, 2017 4:19:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3040/3728 took 796839 ms. Total solver calls (SAT/UNSAT): 5901148(9043/5892105)
Jun 02, 2017 4:19:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3045/3728 took 798069 ms. Total solver calls (SAT/UNSAT): 5910489(9058/5901431)
Jun 02, 2017 4:19:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3050/3728 took 799308 ms. Total solver calls (SAT/UNSAT): 5919829(9073/5910756)
Jun 02, 2017 4:19:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3055/3728 took 800536 ms. Total solver calls (SAT/UNSAT): 5929169(9088/5920081)
Jun 02, 2017 4:19:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3060/3728 took 801763 ms. Total solver calls (SAT/UNSAT): 5938509(9103/5929406)
Jun 02, 2017 4:19:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3064/3728 took 802948 ms. Total solver calls (SAT/UNSAT): 5947503(9115/5938388)
Jun 02, 2017 4:19:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3069/3728 took 804182 ms. Total solver calls (SAT/UNSAT): 5956843(9130/5947713)
Jun 02, 2017 4:19:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3074/3728 took 805409 ms. Total solver calls (SAT/UNSAT): 5966183(9145/5957038)
Jun 02, 2017 4:19:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3078/3728 took 806433 ms. Total solver calls (SAT/UNSAT): 5973655(9157/5964498)
Jun 02, 2017 4:19:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3082/3728 took 807627 ms. Total solver calls (SAT/UNSAT): 5982648(9169/5973479)
Jun 02, 2017 4:19:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3087/3728 took 808863 ms. Total solver calls (SAT/UNSAT): 5991989(9184/5982805)
Jun 02, 2017 4:19:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3092/3728 took 810090 ms. Total solver calls (SAT/UNSAT): 6001329(9199/5992130)
Jun 02, 2017 4:19:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3097/3728 took 811319 ms. Total solver calls (SAT/UNSAT): 6010669(9214/6001455)
Jun 02, 2017 4:19:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3102/3728 took 812552 ms. Total solver calls (SAT/UNSAT): 6020009(9229/6010780)
Jun 02, 2017 4:19:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3106/3728 took 813748 ms. Total solver calls (SAT/UNSAT): 6029003(9241/6019762)
Jun 02, 2017 4:19:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3111/3728 took 814979 ms. Total solver calls (SAT/UNSAT): 6038343(9256/6029087)
Jun 02, 2017 4:19:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3116/3728 took 816207 ms. Total solver calls (SAT/UNSAT): 6047683(9271/6038412)
Jun 02, 2017 4:19:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3121/3728 took 817436 ms. Total solver calls (SAT/UNSAT): 6057023(9286/6047737)
Jun 02, 2017 4:19:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3125/3728 took 818628 ms. Total solver calls (SAT/UNSAT): 6066017(9298/6056719)
Jun 02, 2017 4:19:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3130/3728 took 819864 ms. Total solver calls (SAT/UNSAT): 6075357(9313/6066044)
Jun 02, 2017 4:19:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3135/3728 took 821093 ms. Total solver calls (SAT/UNSAT): 6084697(9328/6075369)
Jun 02, 2017 4:19:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3140/3728 took 822324 ms. Total solver calls (SAT/UNSAT): 6094037(9343/6084694)
Jun 02, 2017 4:19:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3145/3728 took 823763 ms. Total solver calls (SAT/UNSAT): 6104898(9358/6095540)
Jun 02, 2017 4:19:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3150/3728 took 824996 ms. Total solver calls (SAT/UNSAT): 6114239(9373/6104866)
Jun 02, 2017 4:19:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3155/3728 took 826226 ms. Total solver calls (SAT/UNSAT): 6123579(9388/6114191)
Jun 02, 2017 4:19:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3160/3728 took 827458 ms. Total solver calls (SAT/UNSAT): 6132919(9403/6123516)
Jun 02, 2017 4:19:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3165/3728 took 828696 ms. Total solver calls (SAT/UNSAT): 6142259(9418/6132841)
Jun 02, 2017 4:19:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3169/3728 took 829883 ms. Total solver calls (SAT/UNSAT): 6151253(9430/6141823)
Jun 02, 2017 4:19:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3174/3728 took 831117 ms. Total solver calls (SAT/UNSAT): 6160593(9445/6151148)
Jun 02, 2017 4:19:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3179/3728 took 832348 ms. Total solver calls (SAT/UNSAT): 6169933(9460/6160473)
Jun 02, 2017 4:19:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3184/3728 took 833591 ms. Total solver calls (SAT/UNSAT): 6179273(9475/6169798)
Jun 02, 2017 4:19:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3188/3728 took 834796 ms. Total solver calls (SAT/UNSAT): 6188267(9487/6178780)
Jun 02, 2017 4:19:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3193/3728 took 836023 ms. Total solver calls (SAT/UNSAT): 6197607(9502/6188105)
Jun 02, 2017 4:19:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3198/3728 took 837253 ms. Total solver calls (SAT/UNSAT): 6206947(9517/6197430)
Jun 02, 2017 4:19:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3203/3728 took 838489 ms. Total solver calls (SAT/UNSAT): 6216287(9532/6206755)
Jun 02, 2017 4:19:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3208/3728 took 839920 ms. Total solver calls (SAT/UNSAT): 6227148(9547/6217601)
Jun 02, 2017 4:20:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3213/3728 took 841147 ms. Total solver calls (SAT/UNSAT): 6236489(9562/6226927)
Jun 02, 2017 4:20:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3218/3728 took 842376 ms. Total solver calls (SAT/UNSAT): 6245829(9577/6236252)
Jun 02, 2017 4:20:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3223/3728 took 843615 ms. Total solver calls (SAT/UNSAT): 6255169(9592/6245577)
Jun 02, 2017 4:20:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3228/3728 took 844845 ms. Total solver calls (SAT/UNSAT): 6264509(9607/6254902)
Jun 02, 2017 4:20:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3232/3728 took 846029 ms. Total solver calls (SAT/UNSAT): 6273503(9619/6263884)
Jun 02, 2017 4:20:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3237/3728 took 847259 ms. Total solver calls (SAT/UNSAT): 6282843(9634/6273209)
Jun 02, 2017 4:20:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3242/3728 took 848494 ms. Total solver calls (SAT/UNSAT): 6292183(9649/6282534)
Jun 02, 2017 4:20:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3247/3728 took 849722 ms. Total solver calls (SAT/UNSAT): 6301523(9664/6291859)
Jun 02, 2017 4:20:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3251/3728 took 850904 ms. Total solver calls (SAT/UNSAT): 6310517(9676/6300841)
Jun 02, 2017 4:20:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3256/3728 took 852133 ms. Total solver calls (SAT/UNSAT): 6319857(9691/6310166)
Jun 02, 2017 4:20:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3261/3728 took 853371 ms. Total solver calls (SAT/UNSAT): 6329197(9706/6319491)
Jun 02, 2017 4:20:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3266/3728 took 854601 ms. Total solver calls (SAT/UNSAT): 6338537(9721/6328816)
Jun 02, 2017 4:20:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3271/3728 took 856036 ms. Total solver calls (SAT/UNSAT): 6349398(9736/6339662)
Jun 02, 2017 4:20:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3276/3728 took 857266 ms. Total solver calls (SAT/UNSAT): 6358739(9751/6348988)
Jun 02, 2017 4:20:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3281/3728 took 858505 ms. Total solver calls (SAT/UNSAT): 6368079(9766/6358313)
Jun 02, 2017 4:20:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3286/3728 took 859738 ms. Total solver calls (SAT/UNSAT): 6377419(9781/6367638)
Jun 02, 2017 4:20:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3291/3728 took 860967 ms. Total solver calls (SAT/UNSAT): 6386759(9796/6376963)
Jun 02, 2017 4:20:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3295/3728 took 862149 ms. Total solver calls (SAT/UNSAT): 6395753(9808/6385945)
Jun 02, 2017 4:20:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3300/3728 took 863393 ms. Total solver calls (SAT/UNSAT): 6405093(9823/6395270)
Jun 02, 2017 4:20:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3305/3728 took 864619 ms. Total solver calls (SAT/UNSAT): 6414433(9838/6404595)
Jun 02, 2017 4:20:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3310/3728 took 865846 ms. Total solver calls (SAT/UNSAT): 6423773(9853/6413920)
Jun 02, 2017 4:20:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3314/3728 took 867026 ms. Total solver calls (SAT/UNSAT): 6432767(9865/6422902)
Jun 02, 2017 4:20:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3319/3728 took 868262 ms. Total solver calls (SAT/UNSAT): 6442107(9880/6432227)
Jun 02, 2017 4:20:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3324/3728 took 869499 ms. Total solver calls (SAT/UNSAT): 6451447(9895/6441552)
Jun 02, 2017 4:20:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3329/3728 took 870738 ms. Total solver calls (SAT/UNSAT): 6460787(9910/6450877)
Jun 02, 2017 4:20:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3334/3728 took 872166 ms. Total solver calls (SAT/UNSAT): 6471648(9925/6461723)
Jun 02, 2017 4:20:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3339/3728 took 873447 ms. Total solver calls (SAT/UNSAT): 6480989(9940/6471049)
Jun 02, 2017 4:20:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3343/3728 took 874486 ms. Total solver calls (SAT/UNSAT): 6488461(9952/6478509)
Jun 02, 2017 4:20:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3347/3728 took 875547 ms. Total solver calls (SAT/UNSAT): 6495933(9964/6485969)
Jun 02, 2017 4:20:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3351/3728 took 876599 ms. Total solver calls (SAT/UNSAT): 6503405(9976/6493429)
Jun 02, 2017 4:20:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3355/3728 took 877779 ms. Total solver calls (SAT/UNSAT): 6512398(9988/6502410)
Jun 02, 2017 4:20:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3360/3728 took 879010 ms. Total solver calls (SAT/UNSAT): 6521739(10003/6511736)
Jun 02, 2017 4:20:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3365/3728 took 880246 ms. Total solver calls (SAT/UNSAT): 6531079(10018/6521061)
Jun 02, 2017 4:20:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3370/3728 took 881480 ms. Total solver calls (SAT/UNSAT): 6540419(10033/6530386)
Jun 02, 2017 4:20:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3375/3728 took 882713 ms. Total solver calls (SAT/UNSAT): 6549759(10048/6539711)
Jun 02, 2017 4:20:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3379/3728 took 883898 ms. Total solver calls (SAT/UNSAT): 6558753(10060/6548693)
Jun 02, 2017 4:20:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3384/3728 took 885124 ms. Total solver calls (SAT/UNSAT): 6568093(10075/6558018)
Jun 02, 2017 4:20:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3389/3728 took 886352 ms. Total solver calls (SAT/UNSAT): 6577433(10090/6567343)
Jun 02, 2017 4:20:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3394/3728 took 887584 ms. Total solver calls (SAT/UNSAT): 6586773(10105/6576668)
Jun 02, 2017 4:20:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3398/3728 took 888774 ms. Total solver calls (SAT/UNSAT): 6595767(10117/6585650)
Jun 02, 2017 4:20:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3403/3728 took 890005 ms. Total solver calls (SAT/UNSAT): 6605107(10132/6594975)
Jun 02, 2017 4:20:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3408/3728 took 891234 ms. Total solver calls (SAT/UNSAT): 6614447(10147/6604300)
Jun 02, 2017 4:20:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3413/3728 took 892465 ms. Total solver calls (SAT/UNSAT): 6623787(10162/6613625)
Jun 02, 2017 4:20:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3418/3728 took 893904 ms. Total solver calls (SAT/UNSAT): 6634648(10177/6624471)
Jun 02, 2017 4:20:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3423/3728 took 895130 ms. Total solver calls (SAT/UNSAT): 6643989(10192/6633797)
Jun 02, 2017 4:20:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3428/3728 took 896386 ms. Total solver calls (SAT/UNSAT): 6653329(10207/6643122)
Jun 02, 2017 4:20:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3433/3728 took 897620 ms. Total solver calls (SAT/UNSAT): 6662669(10222/6652447)
Jun 02, 2017 4:20:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3438/3728 took 898864 ms. Total solver calls (SAT/UNSAT): 6672009(10237/6661772)
Jun 02, 2017 4:20:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3454/3728 took 899889 ms. Total solver calls (SAT/UNSAT): 6679358(10255/6669103)
Jun 02, 2017 4:21:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3480/3728 took 901281 ms. Total solver calls (SAT/UNSAT): 6689262(10281/6678981)
Jun 02, 2017 5:04:08 PM fr.lip6.move.gal.itstools.ProcessController forwardStream
WARNING: Stream closed
Jun 02, 2017 5:04:08 PM fr.lip6.move.gal.itstools.ProcessController forwardStream
WARNING: Stream closed
Jun 02, 2017 5:04:08 PM 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="S_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/S_BridgeAndVehicles-PT-V80P20N20.tgz
mv S_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 S_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 r090-csrt-149441076900537"
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 ;