MCC'2017 - Execution of r010-csrt-149436129800536

About the Execution of ITS-Tools for BridgeAndVehicles-PT-V80P20N20

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15935.840	3600000.00	4761875.00	675.90	[undef]	Time out reached

Execution Chart

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

Trace from the execution

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

--------------------
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-LTLCardinality-0
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLCardinality-1
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLCardinality-10
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLCardinality-11
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLCardinality-12
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLCardinality-13
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLCardinality-14
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLCardinality-15
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLCardinality-2
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLCardinality-3
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLCardinality-4
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLCardinality-5
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLCardinality-6
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLCardinality-7
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLCardinality-8
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-LTLCardinality-9

=== Now, execution of the tool begins

BK_START 1496282220728

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/LTLCardinality.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLCardinality.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((X(F(F("((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((NB_ATTENTE_B_0+NB_ATTENTE_B_1)+NB_ATTENTE_B_2)+NB_ATTENTE_B_3)+NB_ATTENTE_B_4)+NB_ATTENTE_B_5)+NB_ATTENTE_B_6)+NB_ATTENTE_B_7)+NB_ATTENTE_B_8)+NB_ATTENTE_B_9)+NB_ATTENTE_B_10)+NB_ATTENTE_B_11)+NB_ATTENTE_B_12)+NB_ATTENTE_B_13)+NB_ATTENTE_B_14)+NB_ATTENTE_B_15)+NB_ATTENTE_B_16)+NB_ATTENTE_B_17)+NB_ATTENTE_B_18)+NB_ATTENTE_B_19)+NB_ATTENTE_B_20)+NB_ATTENTE_B_21)+NB_ATTENTE_B_22)+NB_ATTENTE_B_23)+NB_ATTENTE_B_24)+NB_ATTENTE_B_25)+NB_ATTENTE_B_26)+NB_ATTENTE_B_27)+NB_ATTENTE_B_28)+NB_ATTENTE_B_29)+NB_ATTENTE_B_30)+NB_ATTENTE_B_31)+NB_ATTENTE_B_32)+NB_ATTENTE_B_33)+NB_ATTENTE_B_34)+NB_ATTENTE_B_35)+NB_ATTENTE_B_36)+NB_ATTENTE_B_37)+NB_ATTENTE_B_38)+NB_ATTENTE_B_39)+NB_ATTENTE_B_40)+NB_ATTENTE_B_41)+NB_ATTENTE_B_42)+NB_ATTENTE_B_43)+NB_ATTENTE_B_44)+NB_ATTENTE_B_45)+NB_ATTENTE_B_46)+NB_ATTENTE_B_47)+NB_ATTENTE_B_48)+NB_ATTENTE_B_49)+NB_ATTENTE_B_50)+NB_ATTENTE_B_51)+NB_ATTENTE_B_52)+NB_ATTENTE_B_53)+NB_ATTENTE_B_54)+NB_ATTENTE_B_55)+NB_ATTENTE_B_56)+NB_ATTENTE_B_57)+NB_ATTENTE_B_58)+NB_ATTENTE_B_59)+NB_ATTENTE_B_60)+NB_ATTENTE_B_61)+NB_ATTENTE_B_62)+NB_ATTENTE_B_63)+NB_ATTENTE_B_64)+NB_ATTENTE_B_65)+NB_ATTENTE_B_66)+NB_ATTENTE_B_67)+NB_ATTENTE_B_68)+NB_ATTENTE_B_69)+NB_ATTENTE_B_70)+NB_ATTENTE_B_71)+NB_ATTENTE_B_72)+NB_ATTENTE_B_73)+NB_ATTENTE_B_74)+NB_ATTENTE_B_75)+NB_ATTENTE_B_76)+NB_ATTENTE_B_77)+NB_ATTENTE_B_78)+NB_ATTENTE_B_79)+NB_ATTENTE_B_80)<=ROUTE_B")))))
Formula 0 simplified : !XF"((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((NB_ATTENTE_B_0+NB_ATTENTE_B_1)+NB_ATTENTE_B_2)+NB_ATTENTE_B_3)+NB_ATTENTE_B_4)+NB_ATTENTE_B_5)+NB_ATTENTE_B_6)+NB_ATTENTE_B_7)+NB_ATTENTE_B_8)+NB_ATTENTE_B_9)+NB_ATTENTE_B_10)+NB_ATTENTE_B_11)+NB_ATTENTE_B_12)+NB_ATTENTE_B_13)+NB_ATTENTE_B_14)+NB_ATTENTE_B_15)+NB_ATTENTE_B_16)+NB_ATTENTE_B_17)+NB_ATTENTE_B_18)+NB_ATTENTE_B_19)+NB_ATTENTE_B_20)+NB_ATTENTE_B_21)+NB_ATTENTE_B_22)+NB_ATTENTE_B_23)+NB_ATTENTE_B_24)+NB_ATTENTE_B_25)+NB_ATTENTE_B_26)+NB_ATTENTE_B_27)+NB_ATTENTE_B_28)+NB_ATTENTE_B_29)+NB_ATTENTE_B_30)+NB_ATTENTE_B_31)+NB_ATTENTE_B_32)+NB_ATTENTE_B_33)+NB_ATTENTE_B_34)+NB_ATTENTE_B_35)+NB_ATTENTE_B_36)+NB_ATTENTE_B_37)+NB_ATTENTE_B_38)+NB_ATTENTE_B_39)+NB_ATTENTE_B_40)+NB_ATTENTE_B_41)+NB_ATTENTE_B_42)+NB_ATTENTE_B_43)+NB_ATTENTE_B_44)+NB_ATTENTE_B_45)+NB_ATTENTE_B_46)+NB_ATTENTE_B_47)+NB_ATTENTE_B_48)+NB_ATTENTE_B_49)+NB_ATTENTE_B_50)+NB_ATTENTE_B_51)+NB_ATTENTE_B_52)+NB_ATTENTE_B_53)+NB_ATTENTE_B_54)+NB_ATTENTE_B_55)+NB_ATTENTE_B_56)+NB_ATTENTE_B_57)+NB_ATTENTE_B_58)+NB_ATTENTE_B_59)+NB_ATTENTE_B_60)+NB_ATTENTE_B_61)+NB_ATTENTE_B_62)+NB_ATTENTE_B_63)+NB_ATTENTE_B_64)+NB_ATTENTE_B_65)+NB_ATTENTE_B_66)+NB_ATTENTE_B_67)+NB_ATTENTE_B_68)+NB_ATTENTE_B_69)+NB_ATTENTE_B_70)+NB_ATTENTE_B_71)+NB_ATTENTE_B_72)+NB_ATTENTE_B_73)+NB_ATTENTE_B_74)+NB_ATTENTE_B_75)+NB_ATTENTE_B_76)+NB_ATTENTE_B_77)+NB_ATTENTE_B_78)+NB_ATTENTE_B_79)+NB_ATTENTE_B_80)<=ROUTE_B"
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
Exit code :137

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
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLCardinality -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 LTLCardinality -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 01, 2017 1:57:02 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 1:57:02 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 329 ms
Jun 01, 2017 1:57:02 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 198 places.
Jun 01, 2017 1:57:03 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 3728 transitions.
Jun 01, 2017 1:57:04 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 817 ms
Jun 01, 2017 1:57:04 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 68 ms
Jun 01, 2017 1:57:04 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 2 ms
Jun 01, 2017 1:57:06 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 489 ms
Jun 01, 2017 1:57:22 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 198 variables to be positive in 15880 ms
Jun 01, 2017 1:57:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 3728 transitions.
Jun 01, 2017 1:57:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3728 took 289 ms. Total solver calls (SAT/UNSAT): 1943(2/1941)
Jun 01, 2017 1:57:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/3728 took 1491 ms. Total solver calls (SAT/UNSAT): 9715(10/9705)
Jun 01, 2017 1:57:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/3728 took 2768 ms. Total solver calls (SAT/UNSAT): 17487(18/17469)
Jun 01, 2017 1:57:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/3728 took 3887 ms. Total solver calls (SAT/UNSAT): 25259(26/25233)
Jun 01, 2017 1:57:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/3728 took 4899 ms. Total solver calls (SAT/UNSAT): 31088(32/31056)
Jun 01, 2017 1:57:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :19/3728 took 6198 ms. Total solver calls (SAT/UNSAT): 38860(40/38820)
Jun 01, 2017 1:57:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/3728 took 7418 ms. Total solver calls (SAT/UNSAT): 46632(48/46584)
Jun 01, 2017 1:57:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/3728 took 8626 ms. Total solver calls (SAT/UNSAT): 54404(56/54348)
Jun 01, 2017 1:57:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :31/3728 took 9821 ms. Total solver calls (SAT/UNSAT): 62176(64/62112)
Jun 01, 2017 1:57:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/3728 took 11000 ms. Total solver calls (SAT/UNSAT): 69948(72/69876)
Jun 01, 2017 1:57:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/3728 took 12180 ms. Total solver calls (SAT/UNSAT): 77720(80/77640)
Jun 01, 2017 1:57:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/3728 took 13324 ms. Total solver calls (SAT/UNSAT): 85492(88/85404)
Jun 01, 2017 1:57:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/3728 took 14552 ms. Total solver calls (SAT/UNSAT): 93264(96/93168)
Jun 01, 2017 1:57:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :51/3728 took 15753 ms. Total solver calls (SAT/UNSAT): 101036(104/100932)
Jun 01, 2017 1:57:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/3728 took 16940 ms. Total solver calls (SAT/UNSAT): 108808(112/108696)
Jun 01, 2017 1:57:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/3728 took 18122 ms. Total solver calls (SAT/UNSAT): 116580(120/116460)
Jun 01, 2017 1:57:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :63/3728 took 19304 ms. Total solver calls (SAT/UNSAT): 124352(128/124224)
Jun 01, 2017 1:57:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :67/3728 took 20503 ms. Total solver calls (SAT/UNSAT): 132124(136/131988)
Jun 01, 2017 1:57:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/3728 took 21676 ms. Total solver calls (SAT/UNSAT): 139896(144/139752)
Jun 01, 2017 1:57:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :75/3728 took 22876 ms. Total solver calls (SAT/UNSAT): 147668(152/147516)
Jun 01, 2017 1:57:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :79/3728 took 24068 ms. Total solver calls (SAT/UNSAT): 155440(160/155280)
Jun 01, 2017 1:57:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/3728 took 25197 ms. Total solver calls (SAT/UNSAT): 162915(172/162743)
Jun 01, 2017 1:57:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :87/3728 took 26326 ms. Total solver calls (SAT/UNSAT): 170391(184/170207)
Jun 01, 2017 1:57:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :91/3728 took 27450 ms. Total solver calls (SAT/UNSAT): 177867(196/177671)
Jun 01, 2017 1:57:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/3728 took 28574 ms. Total solver calls (SAT/UNSAT): 185343(208/185135)
Jun 01, 2017 1:57:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :99/3728 took 29702 ms. Total solver calls (SAT/UNSAT): 192819(220/192599)
Jun 01, 2017 1:57:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :103/3728 took 30824 ms. Total solver calls (SAT/UNSAT): 200295(232/200063)
Jun 01, 2017 1:57:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/3728 took 31948 ms. Total solver calls (SAT/UNSAT): 207771(244/207527)
Jun 01, 2017 1:57:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :111/3728 took 33074 ms. Total solver calls (SAT/UNSAT): 215247(256/214991)
Jun 01, 2017 1:57:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/3728 took 34200 ms. Total solver calls (SAT/UNSAT): 222723(268/222455)
Jun 01, 2017 1:57:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/3728 took 35322 ms. Total solver calls (SAT/UNSAT): 230199(280/229919)
Jun 01, 2017 1:57:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :123/3728 took 36442 ms. Total solver calls (SAT/UNSAT): 237675(292/237383)
Jun 01, 2017 1:57:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/3728 took 37555 ms. Total solver calls (SAT/UNSAT): 245151(304/244847)
Jun 01, 2017 1:58:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/3728 took 38631 ms. Total solver calls (SAT/UNSAT): 252627(316/252311)
Jun 01, 2017 1:58:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/3728 took 39752 ms. Total solver calls (SAT/UNSAT): 260103(328/259775)
Jun 01, 2017 1:58:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :139/3728 took 40931 ms. Total solver calls (SAT/UNSAT): 267579(340/267239)
Jun 01, 2017 1:58:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/3728 took 42061 ms. Total solver calls (SAT/UNSAT): 275055(352/274703)
Jun 01, 2017 1:58:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/3728 took 43190 ms. Total solver calls (SAT/UNSAT): 282531(364/282167)
Jun 01, 2017 1:58:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :151/3728 took 44273 ms. Total solver calls (SAT/UNSAT): 290007(376/289631)
Jun 01, 2017 1:58:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/3728 took 45446 ms. Total solver calls (SAT/UNSAT): 297483(388/297095)
Jun 01, 2017 1:58:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :159/3728 took 46578 ms. Total solver calls (SAT/UNSAT): 304959(400/304559)
Jun 01, 2017 1:58:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :163/3728 took 47655 ms. Total solver calls (SAT/UNSAT): 312430(412/312018)
Jun 01, 2017 1:58:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/3728 took 48663 ms. Total solver calls (SAT/UNSAT): 319902(424/319478)
Jun 01, 2017 1:58:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/3728 took 49671 ms. Total solver calls (SAT/UNSAT): 327374(436/326938)
Jun 01, 2017 1:58:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :175/3728 took 50675 ms. Total solver calls (SAT/UNSAT): 334846(448/334398)
Jun 01, 2017 1:58:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/3728 took 51682 ms. Total solver calls (SAT/UNSAT): 342318(460/341858)
Jun 01, 2017 1:58:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :184/3728 took 52929 ms. Total solver calls (SAT/UNSAT): 351658(475/351183)
Jun 01, 2017 1:58:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :188/3728 took 54069 ms. Total solver calls (SAT/UNSAT): 359130(487/358643)
Jun 01, 2017 1:58:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/3728 took 55230 ms. Total solver calls (SAT/UNSAT): 366602(499/366103)
Jun 01, 2017 1:58:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/3728 took 56388 ms. Total solver calls (SAT/UNSAT): 374074(511/373563)
Jun 01, 2017 1:58:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/3728 took 57500 ms. Total solver calls (SAT/UNSAT): 381546(523/381023)
Jun 01, 2017 1:58:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/3728 took 58576 ms. Total solver calls (SAT/UNSAT): 389018(535/388483)
Jun 01, 2017 1:58:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :208/3728 took 59583 ms. Total solver calls (SAT/UNSAT): 396490(547/395943)
Jun 01, 2017 1:58:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :212/3728 took 60584 ms. Total solver calls (SAT/UNSAT): 403962(559/403403)
Jun 01, 2017 1:58:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/3728 took 61652 ms. Total solver calls (SAT/UNSAT): 411434(571/410863)
Jun 01, 2017 1:58:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/3728 took 62717 ms. Total solver calls (SAT/UNSAT): 418906(583/418323)
Jun 01, 2017 1:58:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :224/3728 took 63721 ms. Total solver calls (SAT/UNSAT): 426378(595/425783)
Jun 01, 2017 1:58:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/3728 took 64905 ms. Total solver calls (SAT/UNSAT): 433850(607/433243)
Jun 01, 2017 1:58:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :232/3728 took 66019 ms. Total solver calls (SAT/UNSAT): 441322(619/440703)
Jun 01, 2017 1:58:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/3728 took 67133 ms. Total solver calls (SAT/UNSAT): 448794(631/448163)
Jun 01, 2017 1:58:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/3728 took 68249 ms. Total solver calls (SAT/UNSAT): 456265(643/455622)
Jun 01, 2017 1:58:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :244/3728 took 69361 ms. Total solver calls (SAT/UNSAT): 463737(655/463082)
Jun 01, 2017 1:58:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/3728 took 70406 ms. Total solver calls (SAT/UNSAT): 471209(667/470542)
Jun 01, 2017 1:58:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/3728 took 71412 ms. Total solver calls (SAT/UNSAT): 478681(679/478002)
Jun 01, 2017 1:58:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :257/3728 took 72657 ms. Total solver calls (SAT/UNSAT): 488021(694/487327)
Jun 01, 2017 1:58:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :262/3728 took 73896 ms. Total solver calls (SAT/UNSAT): 497361(709/496652)
Jun 01, 2017 1:58:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :267/3728 took 75137 ms. Total solver calls (SAT/UNSAT): 506701(724/505977)
Jun 01, 2017 1:58:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :271/3728 took 76213 ms. Total solver calls (SAT/UNSAT): 514173(736/513437)
Jun 01, 2017 1:58:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/3728 took 77327 ms. Total solver calls (SAT/UNSAT): 521645(748/520897)
Jun 01, 2017 1:58:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :279/3728 took 78466 ms. Total solver calls (SAT/UNSAT): 529117(760/528357)
Jun 01, 2017 1:58:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/3728 took 79590 ms. Total solver calls (SAT/UNSAT): 536589(772/535817)
Jun 01, 2017 1:58:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :287/3728 took 80707 ms. Total solver calls (SAT/UNSAT): 544061(784/543277)
Jun 01, 2017 1:58:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :291/3728 took 81820 ms. Total solver calls (SAT/UNSAT): 551533(796/550737)
Jun 01, 2017 1:58:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :295/3728 took 82933 ms. Total solver calls (SAT/UNSAT): 559005(808/558197)
Jun 01, 2017 1:58:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :299/3728 took 84050 ms. Total solver calls (SAT/UNSAT): 566477(820/565657)
Jun 01, 2017 1:58:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :303/3728 took 85163 ms. Total solver calls (SAT/UNSAT): 573949(832/573117)
Jun 01, 2017 1:58:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :307/3728 took 86278 ms. Total solver calls (SAT/UNSAT): 581421(844/580577)
Jun 01, 2017 1:58:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :311/3728 took 87390 ms. Total solver calls (SAT/UNSAT): 588893(856/588037)
Jun 01, 2017 1:58:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/3728 took 88529 ms. Total solver calls (SAT/UNSAT): 596365(868/595497)
Jun 01, 2017 1:58:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/3728 took 89529 ms. Total solver calls (SAT/UNSAT): 603837(880/602957)
Jun 01, 2017 1:58:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :323/3728 took 90530 ms. Total solver calls (SAT/UNSAT): 611308(892/610416)
Jun 01, 2017 1:58:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/3728 took 91549 ms. Total solver calls (SAT/UNSAT): 618780(904/617876)
Jun 01, 2017 1:58:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :331/3728 took 92571 ms. Total solver calls (SAT/UNSAT): 626252(916/625336)
Jun 01, 2017 1:58:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/3728 took 93805 ms. Total solver calls (SAT/UNSAT): 635592(931/634661)
Jun 01, 2017 1:58:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :341/3728 took 95045 ms. Total solver calls (SAT/UNSAT): 644932(946/643986)
Jun 01, 2017 1:58:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :346/3728 took 96286 ms. Total solver calls (SAT/UNSAT): 654272(961/653311)
Jun 01, 2017 1:58:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/3728 took 97528 ms. Total solver calls (SAT/UNSAT): 663612(976/662636)
Jun 01, 2017 1:59:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/3728 took 98533 ms. Total solver calls (SAT/UNSAT): 671084(988/670096)
Jun 01, 2017 1:59:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/3728 took 99780 ms. Total solver calls (SAT/UNSAT): 680424(1003/679421)
Jun 01, 2017 1:59:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/3728 took 101021 ms. Total solver calls (SAT/UNSAT): 689764(1018/688746)
Jun 01, 2017 1:59:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/3728 took 102257 ms. Total solver calls (SAT/UNSAT): 699104(1033/698071)
Jun 01, 2017 1:59:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/3728 took 103493 ms. Total solver calls (SAT/UNSAT): 708444(1048/707396)
Jun 01, 2017 1:59:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/3728 took 104730 ms. Total solver calls (SAT/UNSAT): 717784(1063/716721)
Jun 01, 2017 1:59:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :385/3728 took 105971 ms. Total solver calls (SAT/UNSAT): 727124(1078/726046)
Jun 01, 2017 1:59:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/3728 took 107208 ms. Total solver calls (SAT/UNSAT): 736464(1093/735371)
Jun 01, 2017 1:59:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/3728 took 108210 ms. Total solver calls (SAT/UNSAT): 743936(1105/742831)
Jun 01, 2017 1:59:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/3728 took 109449 ms. Total solver calls (SAT/UNSAT): 753276(1120/752156)
Jun 01, 2017 1:59:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/3728 took 110686 ms. Total solver calls (SAT/UNSAT): 762615(1135/761480)
Jun 01, 2017 1:59:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/3728 took 111928 ms. Total solver calls (SAT/UNSAT): 771955(1150/770805)
Jun 01, 2017 1:59:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/3728 took 112972 ms. Total solver calls (SAT/UNSAT): 779427(1162/778265)
Jun 01, 2017 1:59:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/3728 took 113975 ms. Total solver calls (SAT/UNSAT): 786899(1174/785725)
Jun 01, 2017 1:59:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/3728 took 114977 ms. Total solver calls (SAT/UNSAT): 794371(1186/793185)
Jun 01, 2017 1:59:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/3728 took 116018 ms. Total solver calls (SAT/UNSAT): 801843(1198/800645)
Jun 01, 2017 1:59:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :430/3728 took 117264 ms. Total solver calls (SAT/UNSAT): 811183(1213/809970)
Jun 01, 2017 1:59:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/3728 took 118318 ms. Total solver calls (SAT/UNSAT): 818655(1225/817430)
Jun 01, 2017 1:59:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/3728 took 119324 ms. Total solver calls (SAT/UNSAT): 826127(1237/824890)
Jun 01, 2017 1:59:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/3728 took 120330 ms. Total solver calls (SAT/UNSAT): 833599(1249/832350)
Jun 01, 2017 1:59:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/3728 took 121573 ms. Total solver calls (SAT/UNSAT): 842939(1264/841675)
Jun 01, 2017 1:59:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/3728 took 122818 ms. Total solver calls (SAT/UNSAT): 852279(1279/851000)
Jun 01, 2017 1:59:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/3728 took 124060 ms. Total solver calls (SAT/UNSAT): 861619(1294/860325)
Jun 01, 2017 1:59:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/3728 took 125304 ms. Total solver calls (SAT/UNSAT): 870959(1309/869650)
Jun 01, 2017 1:59:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/3728 took 126551 ms. Total solver calls (SAT/UNSAT): 880299(1324/878975)
Jun 01, 2017 1:59:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/3728 took 127561 ms. Total solver calls (SAT/UNSAT): 887771(1336/886435)
Jun 01, 2017 1:59:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/3728 took 128808 ms. Total solver calls (SAT/UNSAT): 897111(1351/895760)
Jun 01, 2017 1:59:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/3728 took 130053 ms. Total solver calls (SAT/UNSAT): 906450(1366/905084)
Jun 01, 2017 1:59:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/3728 took 131345 ms. Total solver calls (SAT/UNSAT): 915790(1381/914409)
Jun 01, 2017 1:59:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :490/3728 took 132396 ms. Total solver calls (SAT/UNSAT): 923262(1393/921869)
Jun 01, 2017 1:59:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/3728 took 133398 ms. Total solver calls (SAT/UNSAT): 930734(1405/929329)
Jun 01, 2017 1:59:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :498/3728 took 134400 ms. Total solver calls (SAT/UNSAT): 938206(1417/936789)
Jun 01, 2017 1:59:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :502/3728 took 135448 ms. Total solver calls (SAT/UNSAT): 945678(1429/944249)
Jun 01, 2017 1:59:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/3728 took 136485 ms. Total solver calls (SAT/UNSAT): 953150(1441/951709)
Jun 01, 2017 1:59:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :510/3728 took 137493 ms. Total solver calls (SAT/UNSAT): 960622(1453/959169)
Jun 01, 2017 1:59:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :514/3728 took 138497 ms. Total solver calls (SAT/UNSAT): 968094(1465/966629)
Jun 01, 2017 1:59:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/3728 took 139499 ms. Total solver calls (SAT/UNSAT): 975566(1477/974089)
Jun 01, 2017 1:59:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/3728 took 140500 ms. Total solver calls (SAT/UNSAT): 983038(1489/981549)
Jun 01, 2017 1:59:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/3728 took 141739 ms. Total solver calls (SAT/UNSAT): 992378(1504/990874)
Jun 01, 2017 1:59:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/3728 took 142980 ms. Total solver calls (SAT/UNSAT): 1001718(1519/1000199)
Jun 01, 2017 1:59:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :537/3728 took 144218 ms. Total solver calls (SAT/UNSAT): 1011058(1534/1009524)
Jun 01, 2017 1:59:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/3728 took 145259 ms. Total solver calls (SAT/UNSAT): 1018530(1546/1016984)
Jun 01, 2017 1:59:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/3728 took 146348 ms. Total solver calls (SAT/UNSAT): 1026002(1558/1024444)
Jun 01, 2017 1:59:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/3728 took 147354 ms. Total solver calls (SAT/UNSAT): 1033474(1570/1031904)
Jun 01, 2017 1:59:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/3728 took 148362 ms. Total solver calls (SAT/UNSAT): 1040946(1582/1039364)
Jun 01, 2017 1:59:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/3728 took 149602 ms. Total solver calls (SAT/UNSAT): 1050286(1597/1048689)
Jun 01, 2017 1:59:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/3728 took 150842 ms. Total solver calls (SAT/UNSAT): 1059625(1612/1058013)
Jun 01, 2017 1:59:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/3728 took 152082 ms. Total solver calls (SAT/UNSAT): 1068965(1627/1067338)
Jun 01, 2017 1:59:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/3728 took 153322 ms. Total solver calls (SAT/UNSAT): 1078305(1642/1076663)
Jun 01, 2017 1:59:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/3728 took 154567 ms. Total solver calls (SAT/UNSAT): 1087645(1657/1085988)
Jun 01, 2017 1:59:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/3728 took 155811 ms. Total solver calls (SAT/UNSAT): 1096985(1672/1095313)
Jun 01, 2017 1:59:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/3728 took 156845 ms. Total solver calls (SAT/UNSAT): 1104457(1684/1102773)
Jun 01, 2017 2:00:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/3728 took 157850 ms. Total solver calls (SAT/UNSAT): 1111929(1696/1110233)
Jun 01, 2017 2:00:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :596/3728 took 159099 ms. Total solver calls (SAT/UNSAT): 1121269(1711/1119558)
Jun 01, 2017 2:00:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :601/3728 took 160345 ms. Total solver calls (SAT/UNSAT): 1130609(1726/1128883)
Jun 01, 2017 2:00:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :606/3728 took 161582 ms. Total solver calls (SAT/UNSAT): 1139949(1741/1138208)
Jun 01, 2017 2:00:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :611/3728 took 162816 ms. Total solver calls (SAT/UNSAT): 1149289(1756/1147533)
Jun 01, 2017 2:00:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :616/3728 took 164053 ms. Total solver calls (SAT/UNSAT): 1158629(1771/1156858)
Jun 01, 2017 2:00:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :620/3728 took 165171 ms. Total solver calls (SAT/UNSAT): 1166101(1783/1164318)
Jun 01, 2017 2:00:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :624/3728 took 166347 ms. Total solver calls (SAT/UNSAT): 1173573(1795/1171778)
Jun 01, 2017 2:00:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :628/3728 took 167473 ms. Total solver calls (SAT/UNSAT): 1181045(1807/1179238)
Jun 01, 2017 2:00:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :632/3728 took 168602 ms. Total solver calls (SAT/UNSAT): 1188517(1819/1186698)
Jun 01, 2017 2:00:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :636/3728 took 169725 ms. Total solver calls (SAT/UNSAT): 1195989(1831/1194158)
Jun 01, 2017 2:00:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :640/3728 took 170850 ms. Total solver calls (SAT/UNSAT): 1203460(1843/1201617)
Jun 01, 2017 2:00:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :644/3728 took 171975 ms. Total solver calls (SAT/UNSAT): 1210932(1855/1209077)
Jun 01, 2017 2:00:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :648/3728 took 173100 ms. Total solver calls (SAT/UNSAT): 1218404(1867/1216537)
Jun 01, 2017 2:00:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :652/3728 took 174226 ms. Total solver calls (SAT/UNSAT): 1225876(1879/1223997)
Jun 01, 2017 2:00:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :656/3728 took 175353 ms. Total solver calls (SAT/UNSAT): 1233348(1891/1231457)
Jun 01, 2017 2:00:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :660/3728 took 176476 ms. Total solver calls (SAT/UNSAT): 1240820(1903/1238917)
Jun 01, 2017 2:00:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :664/3728 took 177602 ms. Total solver calls (SAT/UNSAT): 1248292(1915/1246377)
Jun 01, 2017 2:00:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :668/3728 took 178728 ms. Total solver calls (SAT/UNSAT): 1255764(1927/1253837)
Jun 01, 2017 2:00:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :672/3728 took 179862 ms. Total solver calls (SAT/UNSAT): 1263236(1939/1261297)
Jun 01, 2017 2:00:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :676/3728 took 180989 ms. Total solver calls (SAT/UNSAT): 1270708(1951/1268757)
Jun 01, 2017 2:00:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :680/3728 took 182113 ms. Total solver calls (SAT/UNSAT): 1278180(1963/1276217)
Jun 01, 2017 2:00:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :684/3728 took 183241 ms. Total solver calls (SAT/UNSAT): 1285652(1975/1283677)
Jun 01, 2017 2:00:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :688/3728 took 184368 ms. Total solver calls (SAT/UNSAT): 1293124(1987/1291137)
Jun 01, 2017 2:00:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :692/3728 took 185494 ms. Total solver calls (SAT/UNSAT): 1300596(1999/1298597)
Jun 01, 2017 2:00:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :696/3728 took 186619 ms. Total solver calls (SAT/UNSAT): 1308068(2011/1306057)
Jun 01, 2017 2:00:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :700/3728 took 187744 ms. Total solver calls (SAT/UNSAT): 1315540(2023/1313517)
Jun 01, 2017 2:00:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :704/3728 took 188865 ms. Total solver calls (SAT/UNSAT): 1323012(2035/1320977)
Jun 01, 2017 2:00:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :708/3728 took 189990 ms. Total solver calls (SAT/UNSAT): 1330484(2047/1328437)
Jun 01, 2017 2:00:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :712/3728 took 191127 ms. Total solver calls (SAT/UNSAT): 1337956(2059/1335897)
Jun 01, 2017 2:00:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :716/3728 took 192251 ms. Total solver calls (SAT/UNSAT): 1345428(2071/1343357)
Jun 01, 2017 2:00:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :720/3728 took 193368 ms. Total solver calls (SAT/UNSAT): 1352899(2083/1350816)
Jun 01, 2017 2:00:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :724/3728 took 194482 ms. Total solver calls (SAT/UNSAT): 1360371(2095/1358276)
Jun 01, 2017 2:00:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :728/3728 took 195597 ms. Total solver calls (SAT/UNSAT): 1367843(2107/1365736)
Jun 01, 2017 2:00:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :732/3728 took 196714 ms. Total solver calls (SAT/UNSAT): 1375315(2119/1373196)
Jun 01, 2017 2:00:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :736/3728 took 197830 ms. Total solver calls (SAT/UNSAT): 1382787(2131/1380656)
Jun 01, 2017 2:00:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :740/3728 took 198947 ms. Total solver calls (SAT/UNSAT): 1390259(2143/1388116)
Jun 01, 2017 2:00:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :744/3728 took 200063 ms. Total solver calls (SAT/UNSAT): 1397731(2155/1395576)
Jun 01, 2017 2:00:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :748/3728 took 201180 ms. Total solver calls (SAT/UNSAT): 1405203(2167/1403036)
Jun 01, 2017 2:00:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :752/3728 took 202310 ms. Total solver calls (SAT/UNSAT): 1412675(2179/1410496)
Jun 01, 2017 2:00:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :756/3728 took 203438 ms. Total solver calls (SAT/UNSAT): 1420147(2191/1417956)
Jun 01, 2017 2:00:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :760/3728 took 204559 ms. Total solver calls (SAT/UNSAT): 1427619(2203/1425416)
Jun 01, 2017 2:00:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :764/3728 took 205675 ms. Total solver calls (SAT/UNSAT): 1435091(2215/1432876)
Jun 01, 2017 2:00:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :768/3728 took 206794 ms. Total solver calls (SAT/UNSAT): 1442563(2227/1440336)
Jun 01, 2017 2:00:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :772/3728 took 207911 ms. Total solver calls (SAT/UNSAT): 1450035(2239/1447796)
Jun 01, 2017 2:00:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :776/3728 took 209031 ms. Total solver calls (SAT/UNSAT): 1457507(2251/1455256)
Jun 01, 2017 2:00:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :780/3728 took 210151 ms. Total solver calls (SAT/UNSAT): 1464979(2263/1462716)
Jun 01, 2017 2:00:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :784/3728 took 211268 ms. Total solver calls (SAT/UNSAT): 1472451(2275/1470176)
Jun 01, 2017 2:00:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :788/3728 took 212395 ms. Total solver calls (SAT/UNSAT): 1479923(2287/1477636)
Jun 01, 2017 2:00:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :792/3728 took 213509 ms. Total solver calls (SAT/UNSAT): 1487395(2299/1485096)
Jun 01, 2017 2:00:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :796/3728 took 214625 ms. Total solver calls (SAT/UNSAT): 1494867(2311/1492556)
Jun 01, 2017 2:00:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :800/3728 took 215740 ms. Total solver calls (SAT/UNSAT): 1502338(2323/1500015)
Jun 01, 2017 2:00:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :804/3728 took 216856 ms. Total solver calls (SAT/UNSAT): 1509810(2335/1507475)
Jun 01, 2017 2:01:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :808/3728 took 217973 ms. Total solver calls (SAT/UNSAT): 1517282(2347/1514935)
Jun 01, 2017 2:01:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :812/3728 took 219091 ms. Total solver calls (SAT/UNSAT): 1524754(2359/1522395)
Jun 01, 2017 2:01:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :816/3728 took 220209 ms. Total solver calls (SAT/UNSAT): 1532226(2371/1529855)
Jun 01, 2017 2:01:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :820/3728 took 221327 ms. Total solver calls (SAT/UNSAT): 1539698(2383/1537315)
Jun 01, 2017 2:01:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :824/3728 took 222460 ms. Total solver calls (SAT/UNSAT): 1547170(2395/1544775)
Jun 01, 2017 2:01:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :828/3728 took 223590 ms. Total solver calls (SAT/UNSAT): 1554642(2407/1552235)
Jun 01, 2017 2:01:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :832/3728 took 224713 ms. Total solver calls (SAT/UNSAT): 1562114(2419/1559695)
Jun 01, 2017 2:01:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :836/3728 took 225831 ms. Total solver calls (SAT/UNSAT): 1569586(2431/1567155)
Jun 01, 2017 2:01:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :840/3728 took 226950 ms. Total solver calls (SAT/UNSAT): 1577058(2443/1574615)
Jun 01, 2017 2:01:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :844/3728 took 228069 ms. Total solver calls (SAT/UNSAT): 1584530(2455/1582075)
Jun 01, 2017 2:01:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :848/3728 took 229188 ms. Total solver calls (SAT/UNSAT): 1592002(2467/1589535)
Jun 01, 2017 2:01:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :852/3728 took 230305 ms. Total solver calls (SAT/UNSAT): 1599474(2479/1596995)
Jun 01, 2017 2:01:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :856/3728 took 231438 ms. Total solver calls (SAT/UNSAT): 1606946(2491/1604455)
Jun 01, 2017 2:01:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :860/3728 took 232559 ms. Total solver calls (SAT/UNSAT): 1614418(2503/1611915)
Jun 01, 2017 2:01:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :864/3728 took 233675 ms. Total solver calls (SAT/UNSAT): 1621890(2515/1619375)
Jun 01, 2017 2:01:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :868/3728 took 234791 ms. Total solver calls (SAT/UNSAT): 1629362(2527/1626835)
Jun 01, 2017 2:01:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :872/3728 took 235907 ms. Total solver calls (SAT/UNSAT): 1636834(2539/1634295)
Jun 01, 2017 2:01:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :876/3728 took 237026 ms. Total solver calls (SAT/UNSAT): 1644306(2551/1641755)
Jun 01, 2017 2:01:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :880/3728 took 238144 ms. Total solver calls (SAT/UNSAT): 1651777(2563/1649214)
Jun 01, 2017 2:01:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :884/3728 took 239265 ms. Total solver calls (SAT/UNSAT): 1659249(2575/1656674)
Jun 01, 2017 2:01:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :888/3728 took 240393 ms. Total solver calls (SAT/UNSAT): 1666721(2587/1664134)
Jun 01, 2017 2:01:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :892/3728 took 241514 ms. Total solver calls (SAT/UNSAT): 1674193(2599/1671594)
Jun 01, 2017 2:01:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :896/3728 took 242633 ms. Total solver calls (SAT/UNSAT): 1681665(2611/1679054)
Jun 01, 2017 2:01:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :900/3728 took 243752 ms. Total solver calls (SAT/UNSAT): 1689137(2623/1686514)
Jun 01, 2017 2:01:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :904/3728 took 244872 ms. Total solver calls (SAT/UNSAT): 1696609(2635/1693974)
Jun 01, 2017 2:01:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :908/3728 took 245992 ms. Total solver calls (SAT/UNSAT): 1704081(2647/1701434)
Jun 01, 2017 2:01:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :912/3728 took 247111 ms. Total solver calls (SAT/UNSAT): 1711553(2659/1708894)
Jun 01, 2017 2:01:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :916/3728 took 248235 ms. Total solver calls (SAT/UNSAT): 1719025(2671/1716354)
Jun 01, 2017 2:01:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :920/3728 took 249311 ms. Total solver calls (SAT/UNSAT): 1726497(2683/1723814)
Jun 01, 2017 2:01:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :924/3728 took 250312 ms. Total solver calls (SAT/UNSAT): 1733969(2695/1731274)
Jun 01, 2017 2:01:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :928/3728 took 251312 ms. Total solver calls (SAT/UNSAT): 1741441(2707/1738734)
Jun 01, 2017 2:01:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :933/3728 took 252561 ms. Total solver calls (SAT/UNSAT): 1750781(2722/1748059)
Jun 01, 2017 2:01:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :938/3728 took 253809 ms. Total solver calls (SAT/UNSAT): 1760121(2737/1757384)
Jun 01, 2017 2:01:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :943/3728 took 255057 ms. Total solver calls (SAT/UNSAT): 1769461(2752/1766709)
Jun 01, 2017 2:01:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :947/3728 took 256063 ms. Total solver calls (SAT/UNSAT): 1776933(2764/1774169)
Jun 01, 2017 2:01:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :952/3728 took 257310 ms. Total solver calls (SAT/UNSAT): 1786273(2779/1783494)
Jun 01, 2017 2:01:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :957/3728 took 258557 ms. Total solver calls (SAT/UNSAT): 1795613(2794/1792819)
Jun 01, 2017 2:01:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :962/3728 took 259803 ms. Total solver calls (SAT/UNSAT): 1804952(2809/1802143)
Jun 01, 2017 2:01:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :967/3728 took 261048 ms. Total solver calls (SAT/UNSAT): 1814292(2824/1811468)
Jun 01, 2017 2:01:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :972/3728 took 262294 ms. Total solver calls (SAT/UNSAT): 1823632(2839/1820793)
Jun 01, 2017 2:01:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :976/3728 took 263300 ms. Total solver calls (SAT/UNSAT): 1831104(2851/1828253)
Jun 01, 2017 2:01:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :981/3728 took 264549 ms. Total solver calls (SAT/UNSAT): 1840444(2866/1837578)
Jun 01, 2017 2:01:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :985/3728 took 265549 ms. Total solver calls (SAT/UNSAT): 1847916(2878/1845038)
Jun 01, 2017 2:01:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :990/3728 took 266796 ms. Total solver calls (SAT/UNSAT): 1857256(2893/1854363)
Jun 01, 2017 2:01:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :995/3728 took 268043 ms. Total solver calls (SAT/UNSAT): 1866596(2908/1863688)
Jun 01, 2017 2:01:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1000/3728 took 269289 ms. Total solver calls (SAT/UNSAT): 1875936(2923/1873013)
Jun 01, 2017 2:01:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1004/3728 took 270296 ms. Total solver calls (SAT/UNSAT): 1883408(2935/1880473)
Jun 01, 2017 2:01:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1008/3728 took 271343 ms. Total solver calls (SAT/UNSAT): 1890880(2947/1887933)
Jun 01, 2017 2:01:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1012/3728 took 272440 ms. Total solver calls (SAT/UNSAT): 1898352(2959/1895393)
Jun 01, 2017 2:01:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1016/3728 took 273541 ms. Total solver calls (SAT/UNSAT): 1905824(2971/1902853)
Jun 01, 2017 2:01:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1020/3728 took 274543 ms. Total solver calls (SAT/UNSAT): 1913296(2983/1910313)
Jun 01, 2017 2:01:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1024/3728 took 275652 ms. Total solver calls (SAT/UNSAT): 1920768(2995/1917773)
Jun 01, 2017 2:01:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1028/3728 took 276751 ms. Total solver calls (SAT/UNSAT): 1928240(3007/1925233)
Jun 01, 2017 2:02:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1032/3728 took 277770 ms. Total solver calls (SAT/UNSAT): 1935712(3019/1932693)
Jun 01, 2017 2:02:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1036/3728 took 278782 ms. Total solver calls (SAT/UNSAT): 1943184(3031/1940153)
Jun 01, 2017 2:02:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1040/3728 took 279794 ms. Total solver calls (SAT/UNSAT): 1950655(3043/1947612)
Jun 01, 2017 2:02:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1044/3728 took 280798 ms. Total solver calls (SAT/UNSAT): 1958127(3055/1955072)
Jun 01, 2017 2:02:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1048/3728 took 281844 ms. Total solver calls (SAT/UNSAT): 1965599(3067/1962532)
Jun 01, 2017 2:02:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1052/3728 took 282844 ms. Total solver calls (SAT/UNSAT): 1973071(3079/1969992)
Jun 01, 2017 2:02:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1056/3728 took 283849 ms. Total solver calls (SAT/UNSAT): 1980543(3091/1977452)
Jun 01, 2017 2:02:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1061/3728 took 285096 ms. Total solver calls (SAT/UNSAT): 1989883(3106/1986777)
Jun 01, 2017 2:02:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1066/3728 took 286344 ms. Total solver calls (SAT/UNSAT): 1999223(3121/1996102)
Jun 01, 2017 2:02:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1070/3728 took 287389 ms. Total solver calls (SAT/UNSAT): 2006695(3133/2003562)
Jun 01, 2017 2:02:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1074/3728 took 288434 ms. Total solver calls (SAT/UNSAT): 2014167(3145/2011022)
Jun 01, 2017 2:02:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1078/3728 took 289435 ms. Total solver calls (SAT/UNSAT): 2021639(3157/2018482)
Jun 01, 2017 2:02:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1082/3728 took 290435 ms. Total solver calls (SAT/UNSAT): 2029111(3169/2025942)
Jun 01, 2017 2:02:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1086/3728 took 291435 ms. Total solver calls (SAT/UNSAT): 2036583(3181/2033402)
Jun 01, 2017 2:02:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1091/3728 took 292679 ms. Total solver calls (SAT/UNSAT): 2045923(3196/2042727)
Jun 01, 2017 2:02:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1096/3728 took 293926 ms. Total solver calls (SAT/UNSAT): 2055263(3211/2052052)
Jun 01, 2017 2:02:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1101/3728 took 295219 ms. Total solver calls (SAT/UNSAT): 2064603(3226/2061377)
Jun 01, 2017 2:02:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1105/3728 took 296250 ms. Total solver calls (SAT/UNSAT): 2072075(3238/2068837)
Jun 01, 2017 2:02:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1109/3728 took 297269 ms. Total solver calls (SAT/UNSAT): 2079547(3250/2076297)
Jun 01, 2017 2:02:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1113/3728 took 298288 ms. Total solver calls (SAT/UNSAT): 2087019(3262/2083757)
Jun 01, 2017 2:02:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1117/3728 took 299308 ms. Total solver calls (SAT/UNSAT): 2094491(3274/2091217)
Jun 01, 2017 2:02:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1121/3728 took 300326 ms. Total solver calls (SAT/UNSAT): 2101962(3286/2098676)
Jun 01, 2017 2:02:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1125/3728 took 301358 ms. Total solver calls (SAT/UNSAT): 2109434(3298/2106136)
Jun 01, 2017 2:02:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1129/3728 took 302390 ms. Total solver calls (SAT/UNSAT): 2116906(3310/2113596)
Jun 01, 2017 2:02:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1133/3728 took 303420 ms. Total solver calls (SAT/UNSAT): 2124378(3322/2121056)
Jun 01, 2017 2:02:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1137/3728 took 304446 ms. Total solver calls (SAT/UNSAT): 2131850(3334/2128516)
Jun 01, 2017 2:02:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1141/3728 took 305467 ms. Total solver calls (SAT/UNSAT): 2139322(3346/2135976)
Jun 01, 2017 2:02:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1145/3728 took 306491 ms. Total solver calls (SAT/UNSAT): 2146794(3358/2143436)
Jun 01, 2017 2:02:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1149/3728 took 307511 ms. Total solver calls (SAT/UNSAT): 2154266(3370/2150896)
Jun 01, 2017 2:02:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1153/3728 took 308530 ms. Total solver calls (SAT/UNSAT): 2161738(3382/2158356)
Jun 01, 2017 2:02:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1157/3728 took 309551 ms. Total solver calls (SAT/UNSAT): 2169210(3394/2165816)
Jun 01, 2017 2:02:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1161/3728 took 310571 ms. Total solver calls (SAT/UNSAT): 2176682(3406/2173276)
Jun 01, 2017 2:02:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1165/3728 took 311594 ms. Total solver calls (SAT/UNSAT): 2184154(3418/2180736)
Jun 01, 2017 2:02:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1169/3728 took 312614 ms. Total solver calls (SAT/UNSAT): 2191626(3430/2188196)
Jun 01, 2017 2:02:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1173/3728 took 313635 ms. Total solver calls (SAT/UNSAT): 2199098(3442/2195656)
Jun 01, 2017 2:02:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1177/3728 took 314656 ms. Total solver calls (SAT/UNSAT): 2206570(3454/2203116)
Jun 01, 2017 2:02:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1181/3728 took 315676 ms. Total solver calls (SAT/UNSAT): 2214042(3466/2210576)
Jun 01, 2017 2:02:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1185/3728 took 316699 ms. Total solver calls (SAT/UNSAT): 2221514(3478/2218036)
Jun 01, 2017 2:02:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1189/3728 took 317720 ms. Total solver calls (SAT/UNSAT): 2228986(3490/2225496)
Jun 01, 2017 2:02:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1193/3728 took 318740 ms. Total solver calls (SAT/UNSAT): 2236458(3502/2232956)
Jun 01, 2017 2:02:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1197/3728 took 319761 ms. Total solver calls (SAT/UNSAT): 2243930(3514/2240416)
Jun 01, 2017 2:02:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1201/3728 took 320781 ms. Total solver calls (SAT/UNSAT): 2251401(3526/2247875)
Jun 01, 2017 2:02:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1205/3728 took 321801 ms. Total solver calls (SAT/UNSAT): 2258873(3538/2255335)
Jun 01, 2017 2:02:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1209/3728 took 322820 ms. Total solver calls (SAT/UNSAT): 2266345(3550/2262795)
Jun 01, 2017 2:02:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1213/3728 took 323839 ms. Total solver calls (SAT/UNSAT): 2273817(3562/2270255)
Jun 01, 2017 2:02:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1217/3728 took 324858 ms. Total solver calls (SAT/UNSAT): 2281289(3574/2277715)
Jun 01, 2017 2:02:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1221/3728 took 325881 ms. Total solver calls (SAT/UNSAT): 2288761(3586/2285175)
Jun 01, 2017 2:02:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1225/3728 took 326902 ms. Total solver calls (SAT/UNSAT): 2296233(3598/2292635)
Jun 01, 2017 2:02:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1229/3728 took 327923 ms. Total solver calls (SAT/UNSAT): 2303705(3610/2300095)
Jun 01, 2017 2:02:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1233/3728 took 328942 ms. Total solver calls (SAT/UNSAT): 2311177(3622/2307555)
Jun 01, 2017 2:02:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1237/3728 took 329960 ms. Total solver calls (SAT/UNSAT): 2318649(3634/2315015)
Jun 01, 2017 2:02:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1241/3728 took 330983 ms. Total solver calls (SAT/UNSAT): 2326121(3646/2322475)
Jun 01, 2017 2:02:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1245/3728 took 332001 ms. Total solver calls (SAT/UNSAT): 2333593(3658/2329935)
Jun 01, 2017 2:02:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1249/3728 took 333019 ms. Total solver calls (SAT/UNSAT): 2341065(3670/2337395)
Jun 01, 2017 2:02:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1253/3728 took 334037 ms. Total solver calls (SAT/UNSAT): 2348537(3682/2344855)
Jun 01, 2017 2:02:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1257/3728 took 335059 ms. Total solver calls (SAT/UNSAT): 2356009(3694/2352315)
Jun 01, 2017 2:02:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1261/3728 took 336078 ms. Total solver calls (SAT/UNSAT): 2363481(3706/2359775)
Jun 01, 2017 2:02:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1265/3728 took 337097 ms. Total solver calls (SAT/UNSAT): 2370953(3718/2367235)
Jun 01, 2017 2:03:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1269/3728 took 338116 ms. Total solver calls (SAT/UNSAT): 2378425(3730/2374695)
Jun 01, 2017 2:03:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1273/3728 took 339137 ms. Total solver calls (SAT/UNSAT): 2385897(3742/2382155)
Jun 01, 2017 2:03:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1277/3728 took 340155 ms. Total solver calls (SAT/UNSAT): 2393369(3754/2389615)
Jun 01, 2017 2:03:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1281/3728 took 341175 ms. Total solver calls (SAT/UNSAT): 2400840(3766/2397074)
Jun 01, 2017 2:03:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1285/3728 took 342195 ms. Total solver calls (SAT/UNSAT): 2408312(3778/2404534)
Jun 01, 2017 2:03:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1289/3728 took 343225 ms. Total solver calls (SAT/UNSAT): 2415784(3790/2411994)
Jun 01, 2017 2:03:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1293/3728 took 344255 ms. Total solver calls (SAT/UNSAT): 2423256(3802/2419454)
Jun 01, 2017 2:03:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1297/3728 took 345275 ms. Total solver calls (SAT/UNSAT): 2430728(3814/2426914)
Jun 01, 2017 2:03:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1301/3728 took 346293 ms. Total solver calls (SAT/UNSAT): 2438200(3826/2434374)
Jun 01, 2017 2:03:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1305/3728 took 347325 ms. Total solver calls (SAT/UNSAT): 2445672(3838/2441834)
Jun 01, 2017 2:03:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1309/3728 took 348349 ms. Total solver calls (SAT/UNSAT): 2453144(3850/2449294)
Jun 01, 2017 2:03:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1313/3728 took 349368 ms. Total solver calls (SAT/UNSAT): 2460616(3862/2456754)
Jun 01, 2017 2:03:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1317/3728 took 350397 ms. Total solver calls (SAT/UNSAT): 2468088(3874/2464214)
Jun 01, 2017 2:03:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1321/3728 took 351424 ms. Total solver calls (SAT/UNSAT): 2475560(3886/2471674)
Jun 01, 2017 2:03:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1325/3728 took 352448 ms. Total solver calls (SAT/UNSAT): 2483032(3898/2479134)
Jun 01, 2017 2:03:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1329/3728 took 353466 ms. Total solver calls (SAT/UNSAT): 2490504(3910/2486594)
Jun 01, 2017 2:03:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1333/3728 took 354499 ms. Total solver calls (SAT/UNSAT): 2497976(3922/2494054)
Jun 01, 2017 2:03:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1337/3728 took 355526 ms. Total solver calls (SAT/UNSAT): 2505448(3934/2501514)
Jun 01, 2017 2:03:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1341/3728 took 356551 ms. Total solver calls (SAT/UNSAT): 2512920(3946/2508974)
Jun 01, 2017 2:03:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1345/3728 took 357579 ms. Total solver calls (SAT/UNSAT): 2520392(3958/2516434)
Jun 01, 2017 2:03:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1349/3728 took 358608 ms. Total solver calls (SAT/UNSAT): 2527864(3970/2523894)
Jun 01, 2017 2:03:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1353/3728 took 359636 ms. Total solver calls (SAT/UNSAT): 2535336(3982/2531354)
Jun 01, 2017 2:03:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1357/3728 took 360665 ms. Total solver calls (SAT/UNSAT): 2542808(3994/2538814)
Jun 01, 2017 2:03:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1361/3728 took 361692 ms. Total solver calls (SAT/UNSAT): 2550279(4006/2546273)
Jun 01, 2017 2:03:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1365/3728 took 362720 ms. Total solver calls (SAT/UNSAT): 2557751(4018/2553733)
Jun 01, 2017 2:03:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1369/3728 took 363753 ms. Total solver calls (SAT/UNSAT): 2565223(4030/2561193)
Jun 01, 2017 2:03:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1373/3728 took 364774 ms. Total solver calls (SAT/UNSAT): 2572695(4042/2568653)
Jun 01, 2017 2:03:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1377/3728 took 365791 ms. Total solver calls (SAT/UNSAT): 2580167(4054/2576113)
Jun 01, 2017 2:03:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1381/3728 took 366809 ms. Total solver calls (SAT/UNSAT): 2587639(4066/2583573)
Jun 01, 2017 2:03:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1385/3728 took 367842 ms. Total solver calls (SAT/UNSAT): 2595111(4078/2591033)
Jun 01, 2017 2:03:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1389/3728 took 368891 ms. Total solver calls (SAT/UNSAT): 2602583(4090/2598493)
Jun 01, 2017 2:03:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1393/3728 took 369946 ms. Total solver calls (SAT/UNSAT): 2610055(4102/2605953)
Jun 01, 2017 2:03:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1397/3728 took 370981 ms. Total solver calls (SAT/UNSAT): 2617527(4114/2613413)
Jun 01, 2017 2:03:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1401/3728 took 372018 ms. Total solver calls (SAT/UNSAT): 2624999(4126/2620873)
Jun 01, 2017 2:03:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1405/3728 took 373048 ms. Total solver calls (SAT/UNSAT): 2632471(4138/2628333)
Jun 01, 2017 2:03:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1409/3728 took 374074 ms. Total solver calls (SAT/UNSAT): 2639943(4150/2635793)
Jun 01, 2017 2:03:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1413/3728 took 375099 ms. Total solver calls (SAT/UNSAT): 2647415(4162/2643253)
Jun 01, 2017 2:03:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1417/3728 took 376125 ms. Total solver calls (SAT/UNSAT): 2654887(4174/2650713)
Jun 01, 2017 2:03:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1421/3728 took 377151 ms. Total solver calls (SAT/UNSAT): 2662359(4186/2658173)
Jun 01, 2017 2:03:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1425/3728 took 378179 ms. Total solver calls (SAT/UNSAT): 2669831(4198/2665633)
Jun 01, 2017 2:03:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1429/3728 took 379206 ms. Total solver calls (SAT/UNSAT): 2677303(4210/2673093)
Jun 01, 2017 2:03:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1433/3728 took 380230 ms. Total solver calls (SAT/UNSAT): 2684775(4222/2680553)
Jun 01, 2017 2:03:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1437/3728 took 381257 ms. Total solver calls (SAT/UNSAT): 2692247(4234/2688013)
Jun 01, 2017 2:03:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1441/3728 took 382284 ms. Total solver calls (SAT/UNSAT): 2699718(4246/2695472)
Jun 01, 2017 2:03:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1445/3728 took 383309 ms. Total solver calls (SAT/UNSAT): 2707190(4258/2702932)
Jun 01, 2017 2:03:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1449/3728 took 384346 ms. Total solver calls (SAT/UNSAT): 2714662(4270/2710392)
Jun 01, 2017 2:03:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1453/3728 took 385370 ms. Total solver calls (SAT/UNSAT): 2722134(4282/2717852)
Jun 01, 2017 2:03:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1457/3728 took 386404 ms. Total solver calls (SAT/UNSAT): 2729606(4294/2725312)
Jun 01, 2017 2:03:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1461/3728 took 387438 ms. Total solver calls (SAT/UNSAT): 2737078(4306/2732772)
Jun 01, 2017 2:03:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1465/3728 took 388468 ms. Total solver calls (SAT/UNSAT): 2744550(4318/2740232)
Jun 01, 2017 2:03:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1469/3728 took 389507 ms. Total solver calls (SAT/UNSAT): 2752022(4330/2747692)
Jun 01, 2017 2:03:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1473/3728 took 390543 ms. Total solver calls (SAT/UNSAT): 2759494(4342/2755152)
Jun 01, 2017 2:03:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1477/3728 took 391584 ms. Total solver calls (SAT/UNSAT): 2766966(4354/2762612)
Jun 01, 2017 2:03:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1481/3728 took 392614 ms. Total solver calls (SAT/UNSAT): 2774438(4366/2770072)
Jun 01, 2017 2:03:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1485/3728 took 393649 ms. Total solver calls (SAT/UNSAT): 2781910(4378/2777532)
Jun 01, 2017 2:03:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1489/3728 took 394683 ms. Total solver calls (SAT/UNSAT): 2789382(4390/2784992)
Jun 01, 2017 2:03:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1493/3728 took 395723 ms. Total solver calls (SAT/UNSAT): 2796854(4402/2792452)
Jun 01, 2017 2:03:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1497/3728 took 396750 ms. Total solver calls (SAT/UNSAT): 2804326(4414/2799912)
Jun 01, 2017 2:04:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1501/3728 took 397782 ms. Total solver calls (SAT/UNSAT): 2811798(4426/2807372)
Jun 01, 2017 2:04:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1505/3728 took 398816 ms. Total solver calls (SAT/UNSAT): 2819270(4438/2814832)
Jun 01, 2017 2:04:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1509/3728 took 399863 ms. Total solver calls (SAT/UNSAT): 2826742(4450/2822292)
Jun 01, 2017 2:04:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1513/3728 took 400887 ms. Total solver calls (SAT/UNSAT): 2834214(4462/2829752)
Jun 01, 2017 2:04:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1517/3728 took 401917 ms. Total solver calls (SAT/UNSAT): 2841686(4474/2837212)
Jun 01, 2017 2:04:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1521/3728 took 402951 ms. Total solver calls (SAT/UNSAT): 2849157(4486/2844671)
Jun 01, 2017 2:04:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1525/3728 took 403994 ms. Total solver calls (SAT/UNSAT): 2856629(4498/2852131)
Jun 01, 2017 2:04:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1529/3728 took 405022 ms. Total solver calls (SAT/UNSAT): 2864101(4510/2859591)
Jun 01, 2017 2:04:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1533/3728 took 406055 ms. Total solver calls (SAT/UNSAT): 2871573(4522/2867051)
Jun 01, 2017 2:04:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1537/3728 took 407091 ms. Total solver calls (SAT/UNSAT): 2879045(4534/2874511)
Jun 01, 2017 2:04:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1541/3728 took 408133 ms. Total solver calls (SAT/UNSAT): 2886517(4546/2881971)
Jun 01, 2017 2:04:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1545/3728 took 409162 ms. Total solver calls (SAT/UNSAT): 2893989(4558/2889431)
Jun 01, 2017 2:04:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1549/3728 took 410203 ms. Total solver calls (SAT/UNSAT): 2901461(4570/2896891)
Jun 01, 2017 2:04:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1553/3728 took 411240 ms. Total solver calls (SAT/UNSAT): 2908933(4582/2904351)
Jun 01, 2017 2:04:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1557/3728 took 412278 ms. Total solver calls (SAT/UNSAT): 2916405(4594/2911811)
Jun 01, 2017 2:04:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1561/3728 took 413310 ms. Total solver calls (SAT/UNSAT): 2923877(4606/2919271)
Jun 01, 2017 2:04:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1565/3728 took 414351 ms. Total solver calls (SAT/UNSAT): 2931349(4618/2926731)
Jun 01, 2017 2:04:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1569/3728 took 415402 ms. Total solver calls (SAT/UNSAT): 2938821(4630/2934191)
Jun 01, 2017 2:04:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1573/3728 took 416435 ms. Total solver calls (SAT/UNSAT): 2946293(4642/2941651)
Jun 01, 2017 2:04:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1577/3728 took 417475 ms. Total solver calls (SAT/UNSAT): 2953765(4654/2949111)
Jun 01, 2017 2:04:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1581/3728 took 418515 ms. Total solver calls (SAT/UNSAT): 2961237(4666/2956571)
Jun 01, 2017 2:04:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1585/3728 took 419549 ms. Total solver calls (SAT/UNSAT): 2968709(4678/2964031)
Jun 01, 2017 2:04:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1589/3728 took 420588 ms. Total solver calls (SAT/UNSAT): 2976181(4690/2971491)
Jun 01, 2017 2:04:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1593/3728 took 421622 ms. Total solver calls (SAT/UNSAT): 2983653(4702/2978951)
Jun 01, 2017 2:04:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1597/3728 took 422657 ms. Total solver calls (SAT/UNSAT): 2991125(4714/2986411)
Jun 01, 2017 2:04:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1601/3728 took 423700 ms. Total solver calls (SAT/UNSAT): 2998596(4726/2993870)
Jun 01, 2017 2:04:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1605/3728 took 424736 ms. Total solver calls (SAT/UNSAT): 3006068(4738/3001330)
Jun 01, 2017 2:04:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1609/3728 took 425772 ms. Total solver calls (SAT/UNSAT): 3013540(4750/3008790)
Jun 01, 2017 2:04:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1613/3728 took 426812 ms. Total solver calls (SAT/UNSAT): 3021012(4762/3016250)
Jun 01, 2017 2:04:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1617/3728 took 427854 ms. Total solver calls (SAT/UNSAT): 3028484(4774/3023710)
Jun 01, 2017 2:04:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1621/3728 took 428886 ms. Total solver calls (SAT/UNSAT): 3035956(4786/3031170)
Jun 01, 2017 2:04:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1625/3728 took 429921 ms. Total solver calls (SAT/UNSAT): 3043428(4798/3038630)
Jun 01, 2017 2:04:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1629/3728 took 430962 ms. Total solver calls (SAT/UNSAT): 3050900(4810/3046090)
Jun 01, 2017 2:04:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1633/3728 took 432005 ms. Total solver calls (SAT/UNSAT): 3058372(4822/3053550)
Jun 01, 2017 2:04:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1637/3728 took 433031 ms. Total solver calls (SAT/UNSAT): 3065844(4834/3061010)
Jun 01, 2017 2:04:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1641/3728 took 434072 ms. Total solver calls (SAT/UNSAT): 3073316(4846/3068470)
Jun 01, 2017 2:04:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1645/3728 took 435115 ms. Total solver calls (SAT/UNSAT): 3080788(4858/3075930)
Jun 01, 2017 2:04:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1649/3728 took 436156 ms. Total solver calls (SAT/UNSAT): 3088260(4870/3083390)
Jun 01, 2017 2:04:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1653/3728 took 437187 ms. Total solver calls (SAT/UNSAT): 3095732(4882/3090850)
Jun 01, 2017 2:04:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1657/3728 took 438222 ms. Total solver calls (SAT/UNSAT): 3103204(4894/3098310)
Jun 01, 2017 2:04:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1661/3728 took 439262 ms. Total solver calls (SAT/UNSAT): 3110676(4906/3105770)
Jun 01, 2017 2:04:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1665/3728 took 440304 ms. Total solver calls (SAT/UNSAT): 3118148(4918/3113230)
Jun 01, 2017 2:04:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1669/3728 took 441339 ms. Total solver calls (SAT/UNSAT): 3125620(4930/3120690)
Jun 01, 2017 2:04:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1673/3728 took 442382 ms. Total solver calls (SAT/UNSAT): 3133092(4942/3128150)
Jun 01, 2017 2:04:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1677/3728 took 443431 ms. Total solver calls (SAT/UNSAT): 3140564(4954/3135610)
Jun 01, 2017 2:04:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1681/3728 took 444884 ms. Total solver calls (SAT/UNSAT): 3151077(4966/3146111)
Jun 01, 2017 2:04:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1684/3728 took 446288 ms. Total solver calls (SAT/UNSAT): 3161244(4975/3156269)
Jun 01, 2017 2:04:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1687/3728 took 447697 ms. Total solver calls (SAT/UNSAT): 3171411(4984/3166427)
Jun 01, 2017 2:04:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1690/3728 took 449095 ms. Total solver calls (SAT/UNSAT): 3181578(4993/3176585)
Jun 01, 2017 2:04:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1693/3728 took 450498 ms. Total solver calls (SAT/UNSAT): 3191745(5002/3186743)
Jun 01, 2017 2:04:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1696/3728 took 451906 ms. Total solver calls (SAT/UNSAT): 3201912(5011/3196901)
Jun 01, 2017 2:04:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1699/3728 took 453301 ms. Total solver calls (SAT/UNSAT): 3212079(5020/3207059)
Jun 01, 2017 2:04:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1702/3728 took 454706 ms. Total solver calls (SAT/UNSAT): 3222246(5029/3217217)
Jun 01, 2017 2:04:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1705/3728 took 456121 ms. Total solver calls (SAT/UNSAT): 3232413(5038/3227375)
Jun 01, 2017 2:04:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1708/3728 took 457516 ms. Total solver calls (SAT/UNSAT): 3242580(5047/3237533)
Jun 01, 2017 2:05:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1711/3728 took 458924 ms. Total solver calls (SAT/UNSAT): 3252747(5056/3247691)
Jun 01, 2017 2:05:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1714/3728 took 460332 ms. Total solver calls (SAT/UNSAT): 3262914(5065/3257849)
Jun 01, 2017 2:05:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1717/3728 took 461737 ms. Total solver calls (SAT/UNSAT): 3273081(5074/3268007)
Jun 01, 2017 2:05:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1720/3728 took 463143 ms. Total solver calls (SAT/UNSAT): 3283248(5083/3278165)
Jun 01, 2017 2:05:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1723/3728 took 464544 ms. Total solver calls (SAT/UNSAT): 3293415(5092/3288323)
Jun 01, 2017 2:05:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1726/3728 took 465947 ms. Total solver calls (SAT/UNSAT): 3303582(5101/3298481)
Jun 01, 2017 2:05:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1729/3728 took 467347 ms. Total solver calls (SAT/UNSAT): 3313749(5110/3308639)
Jun 01, 2017 2:05:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1732/3728 took 468742 ms. Total solver calls (SAT/UNSAT): 3323916(5119/3318797)
Jun 01, 2017 2:05:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1735/3728 took 470153 ms. Total solver calls (SAT/UNSAT): 3334083(5128/3328955)
Jun 01, 2017 2:05:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1738/3728 took 471562 ms. Total solver calls (SAT/UNSAT): 3344250(5137/3339113)
Jun 01, 2017 2:05:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1741/3728 took 472956 ms. Total solver calls (SAT/UNSAT): 3354417(5146/3349271)
Jun 01, 2017 2:05:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1744/3728 took 474362 ms. Total solver calls (SAT/UNSAT): 3364584(5155/3359429)
Jun 01, 2017 2:05:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1747/3728 took 475766 ms. Total solver calls (SAT/UNSAT): 3374751(5164/3369587)
Jun 01, 2017 2:05:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1750/3728 took 477173 ms. Total solver calls (SAT/UNSAT): 3384918(5173/3379745)
Jun 01, 2017 2:05:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1753/3728 took 478586 ms. Total solver calls (SAT/UNSAT): 3395085(5182/3389903)
Jun 01, 2017 2:05:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1756/3728 took 479995 ms. Total solver calls (SAT/UNSAT): 3405252(5191/3400061)
Jun 01, 2017 2:05:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1759/3728 took 481403 ms. Total solver calls (SAT/UNSAT): 3415419(5200/3410219)
Jun 01, 2017 2:05:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1763/3728 took 482432 ms. Total solver calls (SAT/UNSAT): 3422888(5212/3417676)
Jun 01, 2017 2:05:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1767/3728 took 483462 ms. Total solver calls (SAT/UNSAT): 3430356(5224/3425132)
Jun 01, 2017 2:05:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1771/3728 took 484501 ms. Total solver calls (SAT/UNSAT): 3437824(5236/3432588)
Jun 01, 2017 2:05:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1775/3728 took 485531 ms. Total solver calls (SAT/UNSAT): 3445292(5248/3440044)
Jun 01, 2017 2:05:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1779/3728 took 486560 ms. Total solver calls (SAT/UNSAT): 3452760(5260/3447500)
Jun 01, 2017 2:05:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1783/3728 took 487799 ms. Total solver calls (SAT/UNSAT): 3461753(5272/3456481)
Jun 01, 2017 2:05:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1787/3728 took 488826 ms. Total solver calls (SAT/UNSAT): 3469225(5284/3463941)
Jun 01, 2017 2:05:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1791/3728 took 489857 ms. Total solver calls (SAT/UNSAT): 3476697(5296/3471401)
Jun 01, 2017 2:05:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1795/3728 took 490890 ms. Total solver calls (SAT/UNSAT): 3484169(5308/3478861)
Jun 01, 2017 2:05:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1799/3728 took 491929 ms. Total solver calls (SAT/UNSAT): 3491641(5320/3486321)
Jun 01, 2017 2:05:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1803/3728 took 493169 ms. Total solver calls (SAT/UNSAT): 3500635(5332/3495303)
Jun 01, 2017 2:05:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1807/3728 took 494197 ms. Total solver calls (SAT/UNSAT): 3508107(5344/3502763)
Jun 01, 2017 2:05:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1811/3728 took 495233 ms. Total solver calls (SAT/UNSAT): 3515579(5356/3510223)
Jun 01, 2017 2:05:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1815/3728 took 496255 ms. Total solver calls (SAT/UNSAT): 3523051(5368/3517683)
Jun 01, 2017 2:05:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1819/3728 took 497276 ms. Total solver calls (SAT/UNSAT): 3530523(5380/3525143)
Jun 01, 2017 2:05:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1823/3728 took 498514 ms. Total solver calls (SAT/UNSAT): 3539517(5392/3534125)
Jun 01, 2017 2:05:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1827/3728 took 499540 ms. Total solver calls (SAT/UNSAT): 3546989(5404/3541585)
Jun 01, 2017 2:05:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1831/3728 took 500562 ms. Total solver calls (SAT/UNSAT): 3554461(5416/3549045)
Jun 01, 2017 2:05:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1835/3728 took 501584 ms. Total solver calls (SAT/UNSAT): 3561933(5428/3556505)
Jun 01, 2017 2:05:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1839/3728 took 502603 ms. Total solver calls (SAT/UNSAT): 3569405(5440/3563965)
Jun 01, 2017 2:05:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1843/3728 took 503828 ms. Total solver calls (SAT/UNSAT): 3578398(5452/3572946)
Jun 01, 2017 2:05:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1847/3728 took 504848 ms. Total solver calls (SAT/UNSAT): 3585871(5464/3580407)
Jun 01, 2017 2:05:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1851/3728 took 505870 ms. Total solver calls (SAT/UNSAT): 3593343(5476/3587867)
Jun 01, 2017 2:05:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1855/3728 took 506894 ms. Total solver calls (SAT/UNSAT): 3600815(5488/3595327)
Jun 01, 2017 2:05:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1859/3728 took 507912 ms. Total solver calls (SAT/UNSAT): 3608287(5500/3602787)
Jun 01, 2017 2:05:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1863/3728 took 508934 ms. Total solver calls (SAT/UNSAT): 3615759(5512/3610247)
Jun 01, 2017 2:05:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1867/3728 took 510169 ms. Total solver calls (SAT/UNSAT): 3624753(5524/3619229)
Jun 01, 2017 2:05:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1871/3728 took 511192 ms. Total solver calls (SAT/UNSAT): 3632225(5536/3626689)
Jun 01, 2017 2:05:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1875/3728 took 512216 ms. Total solver calls (SAT/UNSAT): 3639697(5548/3634149)
Jun 01, 2017 2:05:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1879/3728 took 513239 ms. Total solver calls (SAT/UNSAT): 3647169(5560/3641609)
Jun 01, 2017 2:05:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1883/3728 took 514268 ms. Total solver calls (SAT/UNSAT): 3654641(5572/3649069)
Jun 01, 2017 2:05:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1887/3728 took 515505 ms. Total solver calls (SAT/UNSAT): 3663635(5584/3658051)
Jun 01, 2017 2:05:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1891/3728 took 516530 ms. Total solver calls (SAT/UNSAT): 3671107(5596/3665511)
Jun 01, 2017 2:05:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1895/3728 took 517554 ms. Total solver calls (SAT/UNSAT): 3678579(5608/3672971)
Jun 01, 2017 2:06:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1899/3728 took 518585 ms. Total solver calls (SAT/UNSAT): 3686051(5620/3680431)
Jun 01, 2017 2:06:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1903/3728 took 519612 ms. Total solver calls (SAT/UNSAT): 3693523(5632/3687891)
Jun 01, 2017 2:06:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1907/3728 took 520840 ms. Total solver calls (SAT/UNSAT): 3702517(5644/3696873)
Jun 01, 2017 2:06:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1911/3728 took 521859 ms. Total solver calls (SAT/UNSAT): 3709989(5656/3704333)
Jun 01, 2017 2:06:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1915/3728 took 522879 ms. Total solver calls (SAT/UNSAT): 3717461(5668/3711793)
Jun 01, 2017 2:06:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1919/3728 took 523897 ms. Total solver calls (SAT/UNSAT): 3724933(5680/3719253)
Jun 01, 2017 2:06:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1923/3728 took 524918 ms. Total solver calls (SAT/UNSAT): 3732405(5692/3726713)
Jun 01, 2017 2:06:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1927/3728 took 526142 ms. Total solver calls (SAT/UNSAT): 3741398(5704/3735694)
Jun 01, 2017 2:06:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1931/3728 took 527159 ms. Total solver calls (SAT/UNSAT): 3748871(5716/3743155)
Jun 01, 2017 2:06:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1935/3728 took 528176 ms. Total solver calls (SAT/UNSAT): 3756343(5728/3750615)
Jun 01, 2017 2:06:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1939/3728 took 529193 ms. Total solver calls (SAT/UNSAT): 3763815(5740/3758075)
Jun 01, 2017 2:06:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1943/3728 took 530211 ms. Total solver calls (SAT/UNSAT): 3771287(5752/3765535)
Jun 01, 2017 2:06:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1947/3728 took 531232 ms. Total solver calls (SAT/UNSAT): 3778759(5764/3772995)
Jun 01, 2017 2:06:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1951/3728 took 532464 ms. Total solver calls (SAT/UNSAT): 3787753(5776/3781977)
Jun 01, 2017 2:06:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1955/3728 took 533489 ms. Total solver calls (SAT/UNSAT): 3795225(5788/3789437)
Jun 01, 2017 2:06:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1959/3728 took 534516 ms. Total solver calls (SAT/UNSAT): 3802697(5800/3796897)
Jun 01, 2017 2:06:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1963/3728 took 535538 ms. Total solver calls (SAT/UNSAT): 3810169(5812/3804357)
Jun 01, 2017 2:06:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1967/3728 took 536562 ms. Total solver calls (SAT/UNSAT): 3817641(5824/3811817)
Jun 01, 2017 2:06:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1971/3728 took 537797 ms. Total solver calls (SAT/UNSAT): 3826635(5836/3820799)
Jun 01, 2017 2:06:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1975/3728 took 538826 ms. Total solver calls (SAT/UNSAT): 3834107(5848/3828259)
Jun 01, 2017 2:06:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1979/3728 took 539861 ms. Total solver calls (SAT/UNSAT): 3841579(5860/3835719)
Jun 01, 2017 2:06:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1983/3728 took 540901 ms. Total solver calls (SAT/UNSAT): 3849051(5872/3843179)
Jun 01, 2017 2:06:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1987/3728 took 541930 ms. Total solver calls (SAT/UNSAT): 3856523(5884/3850639)
Jun 01, 2017 2:06:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1991/3728 took 543167 ms. Total solver calls (SAT/UNSAT): 3865517(5896/3859621)
Jun 01, 2017 2:06:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1995/3728 took 544195 ms. Total solver calls (SAT/UNSAT): 3872989(5908/3867081)
Jun 01, 2017 2:06:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1999/3728 took 545219 ms. Total solver calls (SAT/UNSAT): 3880461(5920/3874541)
Jun 01, 2017 2:06:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2003/3728 took 546251 ms. Total solver calls (SAT/UNSAT): 3887933(5932/3882001)
Jun 01, 2017 2:06:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2007/3728 took 547273 ms. Total solver calls (SAT/UNSAT): 3895405(5944/3889461)
Jun 01, 2017 2:06:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2011/3728 took 548504 ms. Total solver calls (SAT/UNSAT): 3904398(5956/3898442)
Jun 01, 2017 2:06:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2015/3728 took 549531 ms. Total solver calls (SAT/UNSAT): 3911871(5968/3905903)
Jun 01, 2017 2:06:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2019/3728 took 550554 ms. Total solver calls (SAT/UNSAT): 3919343(5980/3913363)
Jun 01, 2017 2:06:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2023/3728 took 551576 ms. Total solver calls (SAT/UNSAT): 3926815(5992/3920823)
Jun 01, 2017 2:06:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2027/3728 took 552597 ms. Total solver calls (SAT/UNSAT): 3934287(6004/3928283)
Jun 01, 2017 2:06:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2031/3728 took 553620 ms. Total solver calls (SAT/UNSAT): 3941759(6016/3935743)
Jun 01, 2017 2:06:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2035/3728 took 554849 ms. Total solver calls (SAT/UNSAT): 3950753(6028/3944725)
Jun 01, 2017 2:06:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2039/3728 took 555869 ms. Total solver calls (SAT/UNSAT): 3958225(6040/3952185)
Jun 01, 2017 2:06:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2043/3728 took 556887 ms. Total solver calls (SAT/UNSAT): 3965697(6052/3959645)
Jun 01, 2017 2:06:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2047/3728 took 557908 ms. Total solver calls (SAT/UNSAT): 3973169(6064/3967105)
Jun 01, 2017 2:06:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2051/3728 took 558936 ms. Total solver calls (SAT/UNSAT): 3980641(6076/3974565)
Jun 01, 2017 2:06:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2055/3728 took 560178 ms. Total solver calls (SAT/UNSAT): 3989635(6088/3983547)
Jun 01, 2017 2:06:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2059/3728 took 561213 ms. Total solver calls (SAT/UNSAT): 3997107(6100/3991007)
Jun 01, 2017 2:06:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2063/3728 took 562243 ms. Total solver calls (SAT/UNSAT): 4004579(6112/3998467)
Jun 01, 2017 2:06:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2067/3728 took 563275 ms. Total solver calls (SAT/UNSAT): 4012051(6124/4005927)
Jun 01, 2017 2:06:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2071/3728 took 564303 ms. Total solver calls (SAT/UNSAT): 4019523(6136/4013387)
Jun 01, 2017 2:06:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2075/3728 took 565533 ms. Total solver calls (SAT/UNSAT): 4028517(6148/4022369)
Jun 01, 2017 2:06:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2079/3728 took 566565 ms. Total solver calls (SAT/UNSAT): 4035989(6160/4029829)
Jun 01, 2017 2:06:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2083/3728 took 567596 ms. Total solver calls (SAT/UNSAT): 4043461(6172/4037289)
Jun 01, 2017 2:06:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2087/3728 took 568621 ms. Total solver calls (SAT/UNSAT): 4050933(6184/4044749)
Jun 01, 2017 2:06:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2091/3728 took 569647 ms. Total solver calls (SAT/UNSAT): 4058405(6196/4052209)
Jun 01, 2017 2:06:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2095/3728 took 570884 ms. Total solver calls (SAT/UNSAT): 4067398(6208/4061190)
Jun 01, 2017 2:06:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2099/3728 took 571912 ms. Total solver calls (SAT/UNSAT): 4074871(6220/4068651)
Jun 01, 2017 2:06:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2103/3728 took 572933 ms. Total solver calls (SAT/UNSAT): 4082343(6232/4076111)
Jun 01, 2017 2:06:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2107/3728 took 573960 ms. Total solver calls (SAT/UNSAT): 4089815(6244/4083571)
Jun 01, 2017 2:06:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2111/3728 took 574991 ms. Total solver calls (SAT/UNSAT): 4097287(6256/4091031)
Jun 01, 2017 2:06:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2115/3728 took 576016 ms. Total solver calls (SAT/UNSAT): 4104759(6268/4098491)
Jun 01, 2017 2:06:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2119/3728 took 577242 ms. Total solver calls (SAT/UNSAT): 4113753(6280/4107473)
Jun 01, 2017 2:07:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2123/3728 took 578261 ms. Total solver calls (SAT/UNSAT): 4121225(6292/4114933)
Jun 01, 2017 2:07:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2127/3728 took 579282 ms. Total solver calls (SAT/UNSAT): 4128697(6304/4122393)
Jun 01, 2017 2:07:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2131/3728 took 580303 ms. Total solver calls (SAT/UNSAT): 4136169(6316/4129853)
Jun 01, 2017 2:07:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2135/3728 took 581334 ms. Total solver calls (SAT/UNSAT): 4143641(6328/4137313)
Jun 01, 2017 2:07:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2139/3728 took 582568 ms. Total solver calls (SAT/UNSAT): 4152635(6340/4146295)
Jun 01, 2017 2:07:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2143/3728 took 583598 ms. Total solver calls (SAT/UNSAT): 4160107(6352/4153755)
Jun 01, 2017 2:07:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2147/3728 took 584622 ms. Total solver calls (SAT/UNSAT): 4167579(6364/4161215)
Jun 01, 2017 2:07:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2151/3728 took 585653 ms. Total solver calls (SAT/UNSAT): 4175051(6376/4168675)
Jun 01, 2017 2:07:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2155/3728 took 586680 ms. Total solver calls (SAT/UNSAT): 4182523(6388/4176135)
Jun 01, 2017 2:07:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2159/3728 took 587926 ms. Total solver calls (SAT/UNSAT): 4191517(6400/4185117)
Jun 01, 2017 2:07:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2163/3728 took 588950 ms. Total solver calls (SAT/UNSAT): 4198989(6412/4192577)
Jun 01, 2017 2:07:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2167/3728 took 590023 ms. Total solver calls (SAT/UNSAT): 4206461(6424/4200037)
Jun 01, 2017 2:07:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2171/3728 took 591052 ms. Total solver calls (SAT/UNSAT): 4213933(6436/4207497)
Jun 01, 2017 2:07:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2175/3728 took 592076 ms. Total solver calls (SAT/UNSAT): 4221405(6448/4214957)
Jun 01, 2017 2:07:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2179/3728 took 593299 ms. Total solver calls (SAT/UNSAT): 4230398(6460/4223938)
Jun 01, 2017 2:07:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2183/3728 took 594318 ms. Total solver calls (SAT/UNSAT): 4237871(6472/4231399)
Jun 01, 2017 2:07:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2187/3728 took 595339 ms. Total solver calls (SAT/UNSAT): 4245343(6484/4238859)
Jun 01, 2017 2:07:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2191/3728 took 596373 ms. Total solver calls (SAT/UNSAT): 4252815(6496/4246319)
Jun 01, 2017 2:07:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2195/3728 took 597403 ms. Total solver calls (SAT/UNSAT): 4260287(6508/4253779)
Jun 01, 2017 2:07:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2199/3728 took 598432 ms. Total solver calls (SAT/UNSAT): 4267759(6520/4261239)
Jun 01, 2017 2:07:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2203/3728 took 599671 ms. Total solver calls (SAT/UNSAT): 4276753(6532/4270221)
Jun 01, 2017 2:07:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2207/3728 took 600696 ms. Total solver calls (SAT/UNSAT): 4284225(6544/4277681)
Jun 01, 2017 2:07:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2211/3728 took 601716 ms. Total solver calls (SAT/UNSAT): 4291697(6556/4285141)
Jun 01, 2017 2:07:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2215/3728 took 602734 ms. Total solver calls (SAT/UNSAT): 4299169(6568/4292601)
Jun 01, 2017 2:07:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2219/3728 took 603752 ms. Total solver calls (SAT/UNSAT): 4306641(6580/4300061)
Jun 01, 2017 2:07:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2223/3728 took 604979 ms. Total solver calls (SAT/UNSAT): 4315635(6592/4309043)
Jun 01, 2017 2:07:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2227/3728 took 606002 ms. Total solver calls (SAT/UNSAT): 4323107(6604/4316503)
Jun 01, 2017 2:07:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2231/3728 took 607034 ms. Total solver calls (SAT/UNSAT): 4330579(6616/4323963)
Jun 01, 2017 2:07:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2235/3728 took 608067 ms. Total solver calls (SAT/UNSAT): 4338051(6628/4331423)
Jun 01, 2017 2:07:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2239/3728 took 609090 ms. Total solver calls (SAT/UNSAT): 4345523(6640/4338883)
Jun 01, 2017 2:07:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2243/3728 took 610325 ms. Total solver calls (SAT/UNSAT): 4354517(6652/4347865)
Jun 01, 2017 2:07:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2247/3728 took 611354 ms. Total solver calls (SAT/UNSAT): 4361989(6664/4355325)
Jun 01, 2017 2:07:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2251/3728 took 612379 ms. Total solver calls (SAT/UNSAT): 4369461(6676/4362785)
Jun 01, 2017 2:07:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2255/3728 took 613409 ms. Total solver calls (SAT/UNSAT): 4376933(6688/4370245)
Jun 01, 2017 2:07:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2259/3728 took 614436 ms. Total solver calls (SAT/UNSAT): 4384405(6700/4377705)
Jun 01, 2017 2:07:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2263/3728 took 615670 ms. Total solver calls (SAT/UNSAT): 4393398(6712/4386686)
Jun 01, 2017 2:07:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2267/3728 took 616696 ms. Total solver calls (SAT/UNSAT): 4400871(6724/4394147)
Jun 01, 2017 2:07:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2271/3728 took 617723 ms. Total solver calls (SAT/UNSAT): 4408343(6736/4401607)
Jun 01, 2017 2:07:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2275/3728 took 618751 ms. Total solver calls (SAT/UNSAT): 4415815(6748/4409067)
Jun 01, 2017 2:07:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2279/3728 took 619782 ms. Total solver calls (SAT/UNSAT): 4423287(6760/4416527)
Jun 01, 2017 2:07:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2283/3728 took 620808 ms. Total solver calls (SAT/UNSAT): 4430759(6772/4423987)
Jun 01, 2017 2:07:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2287/3728 took 622047 ms. Total solver calls (SAT/UNSAT): 4439753(6784/4432969)
Jun 01, 2017 2:07:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2291/3728 took 623077 ms. Total solver calls (SAT/UNSAT): 4447225(6796/4440429)
Jun 01, 2017 2:07:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2295/3728 took 624103 ms. Total solver calls (SAT/UNSAT): 4454697(6808/4447889)
Jun 01, 2017 2:07:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2299/3728 took 625128 ms. Total solver calls (SAT/UNSAT): 4462169(6820/4455349)
Jun 01, 2017 2:07:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2303/3728 took 626153 ms. Total solver calls (SAT/UNSAT): 4469641(6832/4462809)
Jun 01, 2017 2:07:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2307/3728 took 627394 ms. Total solver calls (SAT/UNSAT): 4478635(6844/4471791)
Jun 01, 2017 2:07:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2311/3728 took 628421 ms. Total solver calls (SAT/UNSAT): 4486107(6856/4479251)
Jun 01, 2017 2:07:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2315/3728 took 629442 ms. Total solver calls (SAT/UNSAT): 4493579(6868/4486711)
Jun 01, 2017 2:07:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2319/3728 took 630458 ms. Total solver calls (SAT/UNSAT): 4501051(6880/4494171)
Jun 01, 2017 2:07:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2323/3728 took 631475 ms. Total solver calls (SAT/UNSAT): 4508523(6892/4501631)
Jun 01, 2017 2:07:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2327/3728 took 632695 ms. Total solver calls (SAT/UNSAT): 4517517(6904/4510613)
Jun 01, 2017 2:07:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2331/3728 took 633716 ms. Total solver calls (SAT/UNSAT): 4524989(6916/4518073)
Jun 01, 2017 2:07:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2335/3728 took 634742 ms. Total solver calls (SAT/UNSAT): 4532461(6928/4525533)
Jun 01, 2017 2:07:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2339/3728 took 635764 ms. Total solver calls (SAT/UNSAT): 4539933(6940/4532993)
Jun 01, 2017 2:07:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2343/3728 took 636780 ms. Total solver calls (SAT/UNSAT): 4547405(6952/4540453)
Jun 01, 2017 2:08:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2347/3728 took 638007 ms. Total solver calls (SAT/UNSAT): 4556398(6964/4549434)
Jun 01, 2017 2:08:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2351/3728 took 639028 ms. Total solver calls (SAT/UNSAT): 4563871(6976/4556895)
Jun 01, 2017 2:08:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2355/3728 took 640051 ms. Total solver calls (SAT/UNSAT): 4571343(6988/4564355)
Jun 01, 2017 2:08:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2359/3728 took 641068 ms. Total solver calls (SAT/UNSAT): 4578815(7000/4571815)
Jun 01, 2017 2:08:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2363/3728 took 642094 ms. Total solver calls (SAT/UNSAT): 4586287(7012/4579275)
Jun 01, 2017 2:08:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2367/3728 took 643120 ms. Total solver calls (SAT/UNSAT): 4593759(7024/4586735)
Jun 01, 2017 2:08:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2371/3728 took 644350 ms. Total solver calls (SAT/UNSAT): 4602753(7036/4595717)
Jun 01, 2017 2:08:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2375/3728 took 645371 ms. Total solver calls (SAT/UNSAT): 4610225(7048/4603177)
Jun 01, 2017 2:08:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2379/3728 took 646396 ms. Total solver calls (SAT/UNSAT): 4617697(7060/4610637)
Jun 01, 2017 2:08:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2383/3728 took 647420 ms. Total solver calls (SAT/UNSAT): 4625169(7072/4618097)
Jun 01, 2017 2:08:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2387/3728 took 648440 ms. Total solver calls (SAT/UNSAT): 4632641(7084/4625557)
Jun 01, 2017 2:08:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2391/3728 took 649670 ms. Total solver calls (SAT/UNSAT): 4641635(7096/4634539)
Jun 01, 2017 2:08:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2395/3728 took 650693 ms. Total solver calls (SAT/UNSAT): 4649107(7108/4641999)
Jun 01, 2017 2:08:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2399/3728 took 651722 ms. Total solver calls (SAT/UNSAT): 4656579(7120/4649459)
Jun 01, 2017 2:08:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2403/3728 took 652743 ms. Total solver calls (SAT/UNSAT): 4664051(7132/4656919)
Jun 01, 2017 2:08:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2407/3728 took 653765 ms. Total solver calls (SAT/UNSAT): 4671523(7144/4664379)
Jun 01, 2017 2:08:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2411/3728 took 654991 ms. Total solver calls (SAT/UNSAT): 4680517(7156/4673361)
Jun 01, 2017 2:08:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2415/3728 took 656005 ms. Total solver calls (SAT/UNSAT): 4687989(7168/4680821)
Jun 01, 2017 2:08:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2419/3728 took 657057 ms. Total solver calls (SAT/UNSAT): 4695461(7180/4688281)
Jun 01, 2017 2:08:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2424/3728 took 658302 ms. Total solver calls (SAT/UNSAT): 4704801(7195/4697606)
Jun 01, 2017 2:08:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2429/3728 took 659547 ms. Total solver calls (SAT/UNSAT): 4714141(7210/4706931)
Jun 01, 2017 2:08:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2433/3728 took 660745 ms. Total solver calls (SAT/UNSAT): 4723135(7222/4715913)
Jun 01, 2017 2:08:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2437/3728 took 661784 ms. Total solver calls (SAT/UNSAT): 4730607(7234/4723373)
Jun 01, 2017 2:08:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2442/3728 took 663025 ms. Total solver calls (SAT/UNSAT): 4739947(7249/4732698)
Jun 01, 2017 2:08:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2447/3728 took 664269 ms. Total solver calls (SAT/UNSAT): 4749287(7264/4742023)
Jun 01, 2017 2:08:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2452/3728 took 665720 ms. Total solver calls (SAT/UNSAT): 4760148(7279/4752869)
Jun 01, 2017 2:08:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2457/3728 took 666967 ms. Total solver calls (SAT/UNSAT): 4769489(7294/4762195)
Jun 01, 2017 2:08:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2461/3728 took 668020 ms. Total solver calls (SAT/UNSAT): 4776961(7306/4769655)
Jun 01, 2017 2:08:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2465/3728 took 669020 ms. Total solver calls (SAT/UNSAT): 4784433(7318/4777115)
Jun 01, 2017 2:08:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2470/3728 took 670272 ms. Total solver calls (SAT/UNSAT): 4793773(7333/4786440)
Jun 01, 2017 2:08:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2474/3728 took 671476 ms. Total solver calls (SAT/UNSAT): 4802767(7345/4795422)
Jun 01, 2017 2:08:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2478/3728 took 672488 ms. Total solver calls (SAT/UNSAT): 4810239(7357/4802882)
Jun 01, 2017 2:08:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2482/3728 took 673492 ms. Total solver calls (SAT/UNSAT): 4817711(7369/4810342)
Jun 01, 2017 2:08:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2486/3728 took 674492 ms. Total solver calls (SAT/UNSAT): 4825183(7381/4817802)
Jun 01, 2017 2:08:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2490/3728 took 675497 ms. Total solver calls (SAT/UNSAT): 4832655(7393/4825262)
Jun 01, 2017 2:08:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2494/3728 took 676695 ms. Total solver calls (SAT/UNSAT): 4841648(7405/4834243)
Jun 01, 2017 2:08:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2498/3728 took 677697 ms. Total solver calls (SAT/UNSAT): 4849121(7417/4841704)
Jun 01, 2017 2:08:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2502/3728 took 678706 ms. Total solver calls (SAT/UNSAT): 4856593(7429/4849164)
Jun 01, 2017 2:08:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2506/3728 took 679716 ms. Total solver calls (SAT/UNSAT): 4864065(7441/4856624)
Jun 01, 2017 2:08:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2511/3728 took 680967 ms. Total solver calls (SAT/UNSAT): 4873405(7456/4865949)
Jun 01, 2017 2:08:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2515/3728 took 682171 ms. Total solver calls (SAT/UNSAT): 4882398(7468/4874930)
Jun 01, 2017 2:08:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2519/3728 took 683171 ms. Total solver calls (SAT/UNSAT): 4889871(7480/4882391)
Jun 01, 2017 2:08:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2523/3728 took 684208 ms. Total solver calls (SAT/UNSAT): 4897343(7492/4889851)
Jun 01, 2017 2:08:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2527/3728 took 685263 ms. Total solver calls (SAT/UNSAT): 4904815(7504/4897311)
Jun 01, 2017 2:08:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2531/3728 took 686267 ms. Total solver calls (SAT/UNSAT): 4912287(7516/4904771)
Jun 01, 2017 2:08:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2536/3728 took 687716 ms. Total solver calls (SAT/UNSAT): 4923148(7531/4915617)
Jun 01, 2017 2:08:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2540/3728 took 688716 ms. Total solver calls (SAT/UNSAT): 4930621(7543/4923078)
Jun 01, 2017 2:08:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2544/3728 took 689718 ms. Total solver calls (SAT/UNSAT): 4938093(7555/4930538)
Jun 01, 2017 2:08:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2548/3728 took 690718 ms. Total solver calls (SAT/UNSAT): 4945565(7567/4937998)
Jun 01, 2017 2:08:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2553/3728 took 691965 ms. Total solver calls (SAT/UNSAT): 4954905(7582/4947323)
Jun 01, 2017 2:08:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2557/3728 took 693162 ms. Total solver calls (SAT/UNSAT): 4963898(7594/4956304)
Jun 01, 2017 2:08:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2562/3728 took 694410 ms. Total solver calls (SAT/UNSAT): 4973239(7609/4965630)
Jun 01, 2017 2:08:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2567/3728 took 695662 ms. Total solver calls (SAT/UNSAT): 4982579(7624/4974955)
Jun 01, 2017 2:08:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2571/3728 took 696668 ms. Total solver calls (SAT/UNSAT): 4990051(7636/4982415)
Jun 01, 2017 2:09:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2576/3728 took 697915 ms. Total solver calls (SAT/UNSAT): 4999391(7651/4991740)
Jun 01, 2017 2:09:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2580/3728 took 699116 ms. Total solver calls (SAT/UNSAT): 5008385(7663/5000722)
Jun 01, 2017 2:09:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2584/3728 took 700117 ms. Total solver calls (SAT/UNSAT): 5015857(7675/5008182)
Jun 01, 2017 2:09:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2588/3728 took 701117 ms. Total solver calls (SAT/UNSAT): 5023329(7687/5015642)
Jun 01, 2017 2:09:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2593/3728 took 702364 ms. Total solver calls (SAT/UNSAT): 5032669(7702/5024967)
Jun 01, 2017 2:09:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2597/3728 took 703368 ms. Total solver calls (SAT/UNSAT): 5040141(7714/5032427)
Jun 01, 2017 2:09:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2601/3728 took 704577 ms. Total solver calls (SAT/UNSAT): 5049135(7726/5041409)
Jun 01, 2017 2:09:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2605/3728 took 705577 ms. Total solver calls (SAT/UNSAT): 5056607(7738/5048869)
Jun 01, 2017 2:09:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2610/3728 took 706823 ms. Total solver calls (SAT/UNSAT): 5065947(7753/5058194)
Jun 01, 2017 2:09:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2615/3728 took 708070 ms. Total solver calls (SAT/UNSAT): 5075287(7768/5067519)
Jun 01, 2017 2:09:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2619/3728 took 709070 ms. Total solver calls (SAT/UNSAT): 5082759(7780/5074979)
Jun 01, 2017 2:09:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2623/3728 took 710271 ms. Total solver calls (SAT/UNSAT): 5091753(7792/5083961)
Jun 01, 2017 2:09:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2627/3728 took 711272 ms. Total solver calls (SAT/UNSAT): 5099225(7804/5091421)
Jun 01, 2017 2:09:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2632/3728 took 712521 ms. Total solver calls (SAT/UNSAT): 5108565(7819/5100746)
Jun 01, 2017 2:09:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2637/3728 took 713765 ms. Total solver calls (SAT/UNSAT): 5117905(7834/5110071)
Jun 01, 2017 2:09:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2641/3728 took 714964 ms. Total solver calls (SAT/UNSAT): 5126898(7846/5119052)
Jun 01, 2017 2:09:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2646/3728 took 716211 ms. Total solver calls (SAT/UNSAT): 5136239(7861/5128378)
Jun 01, 2017 2:09:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2651/3728 took 717448 ms. Total solver calls (SAT/UNSAT): 5145579(7876/5137703)
Jun 01, 2017 2:09:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2656/3728 took 718679 ms. Total solver calls (SAT/UNSAT): 5154919(7891/5147028)
Jun 01, 2017 2:09:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2661/3728 took 719908 ms. Total solver calls (SAT/UNSAT): 5164259(7906/5156353)
Jun 01, 2017 2:09:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2665/3728 took 721095 ms. Total solver calls (SAT/UNSAT): 5173253(7918/5165335)
Jun 01, 2017 2:09:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2670/3728 took 722338 ms. Total solver calls (SAT/UNSAT): 5182593(7933/5174660)
Jun 01, 2017 2:09:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2675/3728 took 723582 ms. Total solver calls (SAT/UNSAT): 5191933(7948/5183985)
Jun 01, 2017 2:09:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2680/3728 took 724822 ms. Total solver calls (SAT/UNSAT): 5201273(7963/5193310)
Jun 01, 2017 2:09:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2684/3728 took 726027 ms. Total solver calls (SAT/UNSAT): 5210267(7975/5202292)
Jun 01, 2017 2:09:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2689/3728 took 727274 ms. Total solver calls (SAT/UNSAT): 5219607(7990/5211617)
Jun 01, 2017 2:09:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2693/3728 took 728275 ms. Total solver calls (SAT/UNSAT): 5227079(8002/5219077)
Jun 01, 2017 2:09:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2698/3728 took 729518 ms. Total solver calls (SAT/UNSAT): 5236419(8017/5228402)
Jun 01, 2017 2:09:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2702/3728 took 730518 ms. Total solver calls (SAT/UNSAT): 5243891(8029/5235862)
Jun 01, 2017 2:09:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2706/3728 took 731719 ms. Total solver calls (SAT/UNSAT): 5252885(8041/5244844)
Jun 01, 2017 2:09:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2711/3728 took 732966 ms. Total solver calls (SAT/UNSAT): 5262225(8056/5254169)
Jun 01, 2017 2:09:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2715/3728 took 733975 ms. Total solver calls (SAT/UNSAT): 5269697(8068/5261629)
Jun 01, 2017 2:09:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2720/3728 took 735222 ms. Total solver calls (SAT/UNSAT): 5279037(8083/5270954)
Jun 01, 2017 2:09:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2725/3728 took 736665 ms. Total solver calls (SAT/UNSAT): 5289898(8098/5281800)
Jun 01, 2017 2:09:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2729/3728 took 737665 ms. Total solver calls (SAT/UNSAT): 5297371(8110/5289261)
Jun 01, 2017 2:09:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2733/3728 took 738667 ms. Total solver calls (SAT/UNSAT): 5304843(8122/5296721)
Jun 01, 2017 2:09:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2738/3728 took 739923 ms. Total solver calls (SAT/UNSAT): 5314183(8137/5306046)
Jun 01, 2017 2:09:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2743/3728 took 741166 ms. Total solver calls (SAT/UNSAT): 5323523(8152/5315371)
Jun 01, 2017 2:09:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2747/3728 took 742366 ms. Total solver calls (SAT/UNSAT): 5332517(8164/5324353)
Jun 01, 2017 2:09:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2751/3728 took 743498 ms. Total solver calls (SAT/UNSAT): 5339989(8176/5331813)
Jun 01, 2017 2:09:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2756/3728 took 744741 ms. Total solver calls (SAT/UNSAT): 5349329(8191/5341138)
Jun 01, 2017 2:09:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2761/3728 took 745992 ms. Total solver calls (SAT/UNSAT): 5358669(8206/5350463)
Jun 01, 2017 2:09:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2766/3728 took 747240 ms. Total solver calls (SAT/UNSAT): 5368009(8221/5359788)
Jun 01, 2017 2:09:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2770/3728 took 748438 ms. Total solver calls (SAT/UNSAT): 5377003(8233/5368770)
Jun 01, 2017 2:09:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2775/3728 took 749680 ms. Total solver calls (SAT/UNSAT): 5386343(8248/5378095)
Jun 01, 2017 2:09:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2779/3728 took 750680 ms. Total solver calls (SAT/UNSAT): 5393815(8260/5385555)
Jun 01, 2017 2:09:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2784/3728 took 751925 ms. Total solver calls (SAT/UNSAT): 5403155(8275/5394880)
Jun 01, 2017 2:09:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2788/3728 took 753124 ms. Total solver calls (SAT/UNSAT): 5412148(8287/5403861)
Jun 01, 2017 2:09:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2793/3728 took 754372 ms. Total solver calls (SAT/UNSAT): 5421489(8302/5413187)
Jun 01, 2017 2:09:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2798/3728 took 755615 ms. Total solver calls (SAT/UNSAT): 5430829(8317/5422512)
Jun 01, 2017 2:09:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2803/3728 took 756850 ms. Total solver calls (SAT/UNSAT): 5440169(8332/5431837)
Jun 01, 2017 2:10:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2808/3728 took 758096 ms. Total solver calls (SAT/UNSAT): 5449509(8347/5441162)
Jun 01, 2017 2:10:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2812/3728 took 759294 ms. Total solver calls (SAT/UNSAT): 5458503(8359/5450144)
Jun 01, 2017 2:10:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2817/3728 took 760538 ms. Total solver calls (SAT/UNSAT): 5467843(8374/5459469)
Jun 01, 2017 2:10:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2822/3728 took 761777 ms. Total solver calls (SAT/UNSAT): 5477183(8389/5468794)
Jun 01, 2017 2:10:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2827/3728 took 763015 ms. Total solver calls (SAT/UNSAT): 5486523(8404/5478119)
Jun 01, 2017 2:10:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2831/3728 took 764211 ms. Total solver calls (SAT/UNSAT): 5495517(8416/5487101)
Jun 01, 2017 2:10:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2836/3728 took 765453 ms. Total solver calls (SAT/UNSAT): 5504857(8431/5496426)
Jun 01, 2017 2:10:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2840/3728 took 766455 ms. Total solver calls (SAT/UNSAT): 5512329(8443/5503886)
Jun 01, 2017 2:10:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2845/3728 took 767702 ms. Total solver calls (SAT/UNSAT): 5521669(8458/5513211)
Jun 01, 2017 2:10:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2850/3728 took 768948 ms. Total solver calls (SAT/UNSAT): 5531009(8473/5522536)
Jun 01, 2017 2:10:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2854/3728 took 770145 ms. Total solver calls (SAT/UNSAT): 5540003(8485/5531518)
Jun 01, 2017 2:10:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2859/3728 took 771387 ms. Total solver calls (SAT/UNSAT): 5549343(8500/5540843)
Jun 01, 2017 2:10:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2863/3728 took 772391 ms. Total solver calls (SAT/UNSAT): 5556815(8512/5548303)
Jun 01, 2017 2:10:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2868/3728 took 773638 ms. Total solver calls (SAT/UNSAT): 5566155(8527/5557628)
Jun 01, 2017 2:10:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2872/3728 took 774833 ms. Total solver calls (SAT/UNSAT): 5575148(8539/5566609)
Jun 01, 2017 2:10:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2877/3728 took 776071 ms. Total solver calls (SAT/UNSAT): 5584489(8554/5575935)
Jun 01, 2017 2:10:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2882/3728 took 777310 ms. Total solver calls (SAT/UNSAT): 5593829(8569/5585260)
Jun 01, 2017 2:10:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2887/3728 took 778553 ms. Total solver calls (SAT/UNSAT): 5603169(8584/5594585)
Jun 01, 2017 2:10:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2892/3728 took 779800 ms. Total solver calls (SAT/UNSAT): 5612509(8599/5603910)
Jun 01, 2017 2:10:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2896/3728 took 780992 ms. Total solver calls (SAT/UNSAT): 5621503(8611/5612892)
Jun 01, 2017 2:10:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2901/3728 took 782231 ms. Total solver calls (SAT/UNSAT): 5630843(8626/5622217)
Jun 01, 2017 2:10:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2905/3728 took 783233 ms. Total solver calls (SAT/UNSAT): 5638315(8638/5629677)
Jun 01, 2017 2:10:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2910/3728 took 784465 ms. Total solver calls (SAT/UNSAT): 5647655(8653/5639002)
Jun 01, 2017 2:10:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2914/3728 took 785662 ms. Total solver calls (SAT/UNSAT): 5656648(8665/5647983)
Jun 01, 2017 2:10:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2919/3728 took 786906 ms. Total solver calls (SAT/UNSAT): 5665989(8680/5657309)
Jun 01, 2017 2:10:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2924/3728 took 788149 ms. Total solver calls (SAT/UNSAT): 5675329(8695/5666634)
Jun 01, 2017 2:10:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2929/3728 took 789389 ms. Total solver calls (SAT/UNSAT): 5684669(8710/5675959)
Jun 01, 2017 2:10:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2934/3728 took 790631 ms. Total solver calls (SAT/UNSAT): 5694009(8725/5685284)
Jun 01, 2017 2:10:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2938/3728 took 791825 ms. Total solver calls (SAT/UNSAT): 5703003(8737/5694266)
Jun 01, 2017 2:10:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2943/3728 took 793065 ms. Total solver calls (SAT/UNSAT): 5712343(8752/5703591)
Jun 01, 2017 2:10:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2948/3728 took 794301 ms. Total solver calls (SAT/UNSAT): 5721683(8767/5712916)
Jun 01, 2017 2:10:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2953/3728 took 795542 ms. Total solver calls (SAT/UNSAT): 5731023(8782/5722241)
Jun 01, 2017 2:10:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2957/3728 took 796736 ms. Total solver calls (SAT/UNSAT): 5740017(8794/5731223)
Jun 01, 2017 2:10:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2962/3728 took 797976 ms. Total solver calls (SAT/UNSAT): 5749357(8809/5740548)
Jun 01, 2017 2:10:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2967/3728 took 799209 ms. Total solver calls (SAT/UNSAT): 5758697(8824/5749873)
Jun 01, 2017 2:10:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2972/3728 took 800452 ms. Total solver calls (SAT/UNSAT): 5768037(8839/5759198)
Jun 01, 2017 2:10:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2977/3728 took 801887 ms. Total solver calls (SAT/UNSAT): 5778898(8854/5770044)
Jun 01, 2017 2:10:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2982/3728 took 803129 ms. Total solver calls (SAT/UNSAT): 5788239(8869/5779370)
Jun 01, 2017 2:10:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2987/3728 took 804376 ms. Total solver calls (SAT/UNSAT): 5797579(8884/5788695)
Jun 01, 2017 2:10:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2992/3728 took 805607 ms. Total solver calls (SAT/UNSAT): 5806919(8899/5798020)
Jun 01, 2017 2:10:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2997/3728 took 806850 ms. Total solver calls (SAT/UNSAT): 5816259(8914/5807345)
Jun 01, 2017 2:10:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3001/3728 took 808047 ms. Total solver calls (SAT/UNSAT): 5825253(8926/5816327)
Jun 01, 2017 2:10:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3006/3728 took 809286 ms. Total solver calls (SAT/UNSAT): 5834593(8941/5825652)
Jun 01, 2017 2:10:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3011/3728 took 810529 ms. Total solver calls (SAT/UNSAT): 5843933(8956/5834977)
Jun 01, 2017 2:10:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3016/3728 took 811774 ms. Total solver calls (SAT/UNSAT): 5853273(8971/5844302)
Jun 01, 2017 2:10:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3020/3728 took 812979 ms. Total solver calls (SAT/UNSAT): 5862267(8983/5853284)
Jun 01, 2017 2:10:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3025/3728 took 814228 ms. Total solver calls (SAT/UNSAT): 5871607(8998/5862609)
Jun 01, 2017 2:10:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3030/3728 took 815472 ms. Total solver calls (SAT/UNSAT): 5880947(9013/5871934)
Jun 01, 2017 2:10:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3035/3728 took 816713 ms. Total solver calls (SAT/UNSAT): 5890287(9028/5881259)
Jun 01, 2017 2:11:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3040/3728 took 818154 ms. Total solver calls (SAT/UNSAT): 5901148(9043/5892105)
Jun 01, 2017 2:11:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3045/3728 took 819400 ms. Total solver calls (SAT/UNSAT): 5910489(9058/5901431)
Jun 01, 2017 2:11:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3050/3728 took 820636 ms. Total solver calls (SAT/UNSAT): 5919829(9073/5910756)
Jun 01, 2017 2:11:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3055/3728 took 821876 ms. Total solver calls (SAT/UNSAT): 5929169(9088/5920081)
Jun 01, 2017 2:11:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3060/3728 took 823123 ms. Total solver calls (SAT/UNSAT): 5938509(9103/5929406)
Jun 01, 2017 2:11:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3064/3728 took 824318 ms. Total solver calls (SAT/UNSAT): 5947503(9115/5938388)
Jun 01, 2017 2:11:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3069/3728 took 825553 ms. Total solver calls (SAT/UNSAT): 5956843(9130/5947713)
Jun 01, 2017 2:11:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3074/3728 took 826795 ms. Total solver calls (SAT/UNSAT): 5966183(9145/5957038)
Jun 01, 2017 2:11:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3079/3728 took 828032 ms. Total solver calls (SAT/UNSAT): 5975523(9160/5966363)
Jun 01, 2017 2:11:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3083/3728 took 829223 ms. Total solver calls (SAT/UNSAT): 5984517(9172/5975345)
Jun 01, 2017 2:11:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3088/3728 took 830471 ms. Total solver calls (SAT/UNSAT): 5993857(9187/5984670)
Jun 01, 2017 2:11:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3092/3728 took 831480 ms. Total solver calls (SAT/UNSAT): 6001329(9199/5992130)
Jun 01, 2017 2:11:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3097/3728 took 832713 ms. Total solver calls (SAT/UNSAT): 6010669(9214/6001455)
Jun 01, 2017 2:11:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3102/3728 took 833956 ms. Total solver calls (SAT/UNSAT): 6020009(9229/6010780)
Jun 01, 2017 2:11:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3106/3728 took 835154 ms. Total solver calls (SAT/UNSAT): 6029003(9241/6019762)
Jun 01, 2017 2:11:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3111/3728 took 836387 ms. Total solver calls (SAT/UNSAT): 6038343(9256/6029087)
Jun 01, 2017 2:11:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3115/3728 took 837388 ms. Total solver calls (SAT/UNSAT): 6045815(9268/6036547)
Jun 01, 2017 2:11:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3120/3728 took 838624 ms. Total solver calls (SAT/UNSAT): 6055155(9283/6045872)
Jun 01, 2017 2:11:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3124/3728 took 839822 ms. Total solver calls (SAT/UNSAT): 6064148(9295/6054853)
Jun 01, 2017 2:11:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3129/3728 took 841070 ms. Total solver calls (SAT/UNSAT): 6073489(9310/6064179)
Jun 01, 2017 2:11:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3134/3728 took 842305 ms. Total solver calls (SAT/UNSAT): 6082829(9325/6073504)
Jun 01, 2017 2:11:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3139/3728 took 843551 ms. Total solver calls (SAT/UNSAT): 6092169(9340/6082829)
Jun 01, 2017 2:11:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3143/3728 took 844552 ms. Total solver calls (SAT/UNSAT): 6099641(9352/6090289)
Jun 01, 2017 2:11:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3147/3728 took 845741 ms. Total solver calls (SAT/UNSAT): 6108635(9364/6099271)
Jun 01, 2017 2:11:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3152/3728 took 846981 ms. Total solver calls (SAT/UNSAT): 6117975(9379/6108596)
Jun 01, 2017 2:11:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3157/3728 took 848212 ms. Total solver calls (SAT/UNSAT): 6127315(9394/6117921)
Jun 01, 2017 2:11:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3162/3728 took 849449 ms. Total solver calls (SAT/UNSAT): 6136655(9409/6127246)
Jun 01, 2017 2:11:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3166/3728 took 850638 ms. Total solver calls (SAT/UNSAT): 6145648(9421/6136227)
Jun 01, 2017 2:11:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3171/3728 took 851868 ms. Total solver calls (SAT/UNSAT): 6154989(9436/6145553)
Jun 01, 2017 2:11:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3176/3728 took 853107 ms. Total solver calls (SAT/UNSAT): 6164329(9451/6154878)
Jun 01, 2017 2:11:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3181/3728 took 854337 ms. Total solver calls (SAT/UNSAT): 6173669(9466/6164203)
Jun 01, 2017 2:11:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3186/3728 took 855573 ms. Total solver calls (SAT/UNSAT): 6183009(9481/6173528)
Jun 01, 2017 2:11:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3190/3728 took 856763 ms. Total solver calls (SAT/UNSAT): 6192003(9493/6182510)
Jun 01, 2017 2:11:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3195/3728 took 857995 ms. Total solver calls (SAT/UNSAT): 6201343(9508/6191835)
Jun 01, 2017 2:11:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3200/3728 took 859233 ms. Total solver calls (SAT/UNSAT): 6210683(9523/6201160)
Jun 01, 2017 2:11:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3205/3728 took 860467 ms. Total solver calls (SAT/UNSAT): 6220023(9538/6210485)
Jun 01, 2017 2:11:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3209/3728 took 861670 ms. Total solver calls (SAT/UNSAT): 6229017(9550/6219467)
Jun 01, 2017 2:11:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3214/3728 took 862918 ms. Total solver calls (SAT/UNSAT): 6238357(9565/6228792)
Jun 01, 2017 2:11:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3219/3728 took 864160 ms. Total solver calls (SAT/UNSAT): 6247697(9580/6238117)
Jun 01, 2017 2:11:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3223/3728 took 865166 ms. Total solver calls (SAT/UNSAT): 6255169(9592/6245577)
Jun 01, 2017 2:11:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3228/3728 took 866408 ms. Total solver calls (SAT/UNSAT): 6264509(9607/6254902)
Jun 01, 2017 2:11:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3232/3728 took 867607 ms. Total solver calls (SAT/UNSAT): 6273503(9619/6263884)
Jun 01, 2017 2:11:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3237/3728 took 868843 ms. Total solver calls (SAT/UNSAT): 6282843(9634/6273209)
Jun 01, 2017 2:11:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3241/3728 took 869851 ms. Total solver calls (SAT/UNSAT): 6290315(9646/6280669)
Jun 01, 2017 2:11:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3246/3728 took 871094 ms. Total solver calls (SAT/UNSAT): 6299655(9661/6289994)
Jun 01, 2017 2:11:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3250/3728 took 872291 ms. Total solver calls (SAT/UNSAT): 6308648(9673/6298975)
Jun 01, 2017 2:11:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3254/3728 took 873465 ms. Total solver calls (SAT/UNSAT): 6316121(9685/6306436)
Jun 01, 2017 2:11:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3258/3728 took 874586 ms. Total solver calls (SAT/UNSAT): 6323593(9697/6313896)
Jun 01, 2017 2:11:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3262/3728 took 875704 ms. Total solver calls (SAT/UNSAT): 6331065(9709/6321356)
Jun 01, 2017 2:11:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3266/3728 took 876822 ms. Total solver calls (SAT/UNSAT): 6338537(9721/6328816)
Jun 01, 2017 2:12:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3270/3728 took 877939 ms. Total solver calls (SAT/UNSAT): 6346009(9733/6336276)
Jun 01, 2017 2:12:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3273/3728 took 879016 ms. Total solver calls (SAT/UNSAT): 6353135(9742/6343393)
Jun 01, 2017 2:12:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3277/3728 took 880131 ms. Total solver calls (SAT/UNSAT): 6360607(9754/6350853)
Jun 01, 2017 2:12:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3281/3728 took 881238 ms. Total solver calls (SAT/UNSAT): 6368079(9766/6358313)
Jun 01, 2017 2:12:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3285/3728 took 882358 ms. Total solver calls (SAT/UNSAT): 6375551(9778/6365773)
Jun 01, 2017 2:12:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3289/3728 took 883473 ms. Total solver calls (SAT/UNSAT): 6383023(9790/6373233)
Jun 01, 2017 2:12:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3292/3728 took 884543 ms. Total solver calls (SAT/UNSAT): 6390148(9799/6380349)
Jun 01, 2017 2:12:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3296/3728 took 885661 ms. Total solver calls (SAT/UNSAT): 6397621(9811/6387810)
Jun 01, 2017 2:12:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3300/3728 took 886782 ms. Total solver calls (SAT/UNSAT): 6405093(9823/6395270)
Jun 01, 2017 2:12:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3304/3728 took 887894 ms. Total solver calls (SAT/UNSAT): 6412565(9835/6402730)
Jun 01, 2017 2:12:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3308/3728 took 889004 ms. Total solver calls (SAT/UNSAT): 6420037(9847/6410190)
Jun 01, 2017 2:12:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3312/3728 took 890124 ms. Total solver calls (SAT/UNSAT): 6427509(9859/6417650)
Jun 01, 2017 2:12:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3315/3728 took 891190 ms. Total solver calls (SAT/UNSAT): 6434635(9868/6424767)
Jun 01, 2017 2:12:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3319/3728 took 892308 ms. Total solver calls (SAT/UNSAT): 6442107(9880/6432227)
Jun 01, 2017 2:12:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3323/3728 took 893416 ms. Total solver calls (SAT/UNSAT): 6449579(9892/6439687)
Jun 01, 2017 2:12:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3327/3728 took 894538 ms. Total solver calls (SAT/UNSAT): 6457051(9904/6447147)
Jun 01, 2017 2:12:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3331/3728 took 895653 ms. Total solver calls (SAT/UNSAT): 6464523(9916/6454607)
Jun 01, 2017 2:12:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3334/3728 took 896711 ms. Total solver calls (SAT/UNSAT): 6471648(9925/6461723)
Jun 01, 2017 2:12:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3338/3728 took 897834 ms. Total solver calls (SAT/UNSAT): 6479121(9937/6469184)
Jun 01, 2017 2:12:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3342/3728 took 898947 ms. Total solver calls (SAT/UNSAT): 6486593(9949/6476644)
Jun 01, 2017 2:12:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3346/3728 took 900071 ms. Total solver calls (SAT/UNSAT): 6494065(9961/6484104)
Jun 01, 2017 2:12:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3350/3728 took 901177 ms. Total solver calls (SAT/UNSAT): 6501537(9973/6491564)
Jun 01, 2017 2:12:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3354/3728 took 902284 ms. Total solver calls (SAT/UNSAT): 6509009(9985/6499024)
Jun 01, 2017 2:12:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3357/3728 took 903353 ms. Total solver calls (SAT/UNSAT): 6516135(9994/6506141)
Jun 01, 2017 2:12:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3361/3728 took 904465 ms. Total solver calls (SAT/UNSAT): 6523607(10006/6513601)
Jun 01, 2017 2:12:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3365/3728 took 905582 ms. Total solver calls (SAT/UNSAT): 6531079(10018/6521061)
Jun 01, 2017 2:12:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3369/3728 took 906696 ms. Total solver calls (SAT/UNSAT): 6538551(10030/6528521)
Jun 01, 2017 2:12:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3373/3728 took 907810 ms. Total solver calls (SAT/UNSAT): 6546023(10042/6535981)
Jun 01, 2017 2:12:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3376/3728 took 908870 ms. Total solver calls (SAT/UNSAT): 6553148(10051/6543097)
Jun 01, 2017 2:12:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3380/3728 took 909976 ms. Total solver calls (SAT/UNSAT): 6560621(10063/6550558)
Jun 01, 2017 2:12:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3384/3728 took 911102 ms. Total solver calls (SAT/UNSAT): 6568093(10075/6558018)
Jun 01, 2017 2:12:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3389/3728 took 912344 ms. Total solver calls (SAT/UNSAT): 6577433(10090/6567343)
Jun 01, 2017 2:12:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3394/3728 took 913588 ms. Total solver calls (SAT/UNSAT): 6586773(10105/6576668)
Jun 01, 2017 2:12:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3398/3728 took 914787 ms. Total solver calls (SAT/UNSAT): 6595767(10117/6585650)
Jun 01, 2017 2:12:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3403/3728 took 916033 ms. Total solver calls (SAT/UNSAT): 6605107(10132/6594975)
Jun 01, 2017 2:12:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3408/3728 took 917267 ms. Total solver calls (SAT/UNSAT): 6614447(10147/6604300)
Jun 01, 2017 2:12:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3413/3728 took 918512 ms. Total solver calls (SAT/UNSAT): 6623787(10162/6613625)
Jun 01, 2017 2:12:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3418/3728 took 919959 ms. Total solver calls (SAT/UNSAT): 6634648(10177/6624471)
Jun 01, 2017 2:12:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3422/3728 took 920959 ms. Total solver calls (SAT/UNSAT): 6642121(10189/6631932)
Jun 01, 2017 2:12:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3427/3728 took 922199 ms. Total solver calls (SAT/UNSAT): 6651461(10204/6641257)
Jun 01, 2017 2:12:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3431/3728 took 923204 ms. Total solver calls (SAT/UNSAT): 6658933(10216/6648717)
Jun 01, 2017 2:12:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3436/3728 took 924450 ms. Total solver calls (SAT/UNSAT): 6668273(10231/6658042)
Jun 01, 2017 2:12:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3441/3728 took 925471 ms. Total solver calls (SAT/UNSAT): 6675926(10242/6665684)
Jun 01, 2017 2:12:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3467/3728 took 926484 ms. Total solver calls (SAT/UNSAT): 6682790(10268/6672522)
Jun 01, 2017 2:12:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3481/3728 took 927820 ms. Total solver calls (SAT/UNSAT): 6692566(10282/6682284)

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BridgeAndVehicles-PT-V80P20N20"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V80P20N20.tgz
mv BridgeAndVehicles-PT-V80P20N20 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is BridgeAndVehicles-PT-V80P20N20, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r010-csrt-149436129800536"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 '' LTLCardinality.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 ;