MCC'2017 - Execution of r090-csrt-149441076900536

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

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

Execution Chart

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

Trace from the execution

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

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

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 02, 2017 4:02:20 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 02, 2017 4:02:20 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 352 ms
Jun 02, 2017 4:02:20 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 198 places.
Jun 02, 2017 4:02:20 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 3728 transitions.
Jun 02, 2017 4:02:21 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 910 ms
Jun 02, 2017 4:02:22 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 66 ms
Jun 02, 2017 4:02:22 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 2 ms
Jun 02, 2017 4:02:24 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 554 ms
Jun 02, 2017 4:02:39 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 198 variables to be positive in 15356 ms
Jun 02, 2017 4:02:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 3728 transitions.
Jun 02, 2017 4:02:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3728 took 288 ms. Total solver calls (SAT/UNSAT): 1943(2/1941)
Jun 02, 2017 4:02:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/3728 took 1461 ms. Total solver calls (SAT/UNSAT): 9715(10/9705)
Jun 02, 2017 4:02:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/3728 took 2647 ms. Total solver calls (SAT/UNSAT): 17487(18/17469)
Jun 02, 2017 4:02:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/3728 took 3779 ms. Total solver calls (SAT/UNSAT): 25259(26/25233)
Jun 02, 2017 4:02:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :16/3728 took 4910 ms. Total solver calls (SAT/UNSAT): 33031(34/32997)
Jun 02, 2017 4:02:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/3728 took 6006 ms. Total solver calls (SAT/UNSAT): 40803(42/40761)
Jun 02, 2017 4:02:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/3728 took 7097 ms. Total solver calls (SAT/UNSAT): 48575(50/48525)
Jun 02, 2017 4:02:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/3728 took 8276 ms. Total solver calls (SAT/UNSAT): 56347(58/56289)
Jun 02, 2017 4:02:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/3728 took 9371 ms. Total solver calls (SAT/UNSAT): 64119(66/64053)
Jun 02, 2017 4:02:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/3728 took 10482 ms. Total solver calls (SAT/UNSAT): 71891(74/71817)
Jun 02, 2017 4:02:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/3728 took 11538 ms. Total solver calls (SAT/UNSAT): 79663(82/79581)
Jun 02, 2017 4:02:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/3728 took 12586 ms. Total solver calls (SAT/UNSAT): 87435(90/87345)
Jun 02, 2017 4:02:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/3728 took 13643 ms. Total solver calls (SAT/UNSAT): 95207(98/95109)
Jun 02, 2017 4:02:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/3728 took 14725 ms. Total solver calls (SAT/UNSAT): 102979(106/102873)
Jun 02, 2017 4:02:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/3728 took 15782 ms. Total solver calls (SAT/UNSAT): 110751(114/110637)
Jun 02, 2017 4:02:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/3728 took 16834 ms. Total solver calls (SAT/UNSAT): 118523(122/118401)
Jun 02, 2017 4:02:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/3728 took 17893 ms. Total solver calls (SAT/UNSAT): 126295(130/126165)
Jun 02, 2017 4:02:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/3728 took 18944 ms. Total solver calls (SAT/UNSAT): 134067(138/133929)
Jun 02, 2017 4:02:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/3728 took 19995 ms. Total solver calls (SAT/UNSAT): 141839(146/141693)
Jun 02, 2017 4:03:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/3728 took 21132 ms. Total solver calls (SAT/UNSAT): 149611(154/149457)
Jun 02, 2017 4:03:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/3728 took 22238 ms. Total solver calls (SAT/UNSAT): 157308(163/157145)
Jun 02, 2017 4:03:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/3728 took 23249 ms. Total solver calls (SAT/UNSAT): 164784(175/164609)
Jun 02, 2017 4:03:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/3728 took 24250 ms. Total solver calls (SAT/UNSAT): 172260(187/172073)
Jun 02, 2017 4:03:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :93/3728 took 25499 ms. Total solver calls (SAT/UNSAT): 181605(202/181403)
Jun 02, 2017 4:03:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/3728 took 26746 ms. Total solver calls (SAT/UNSAT): 190950(217/190733)
Jun 02, 2017 4:03:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :102/3728 took 27747 ms. Total solver calls (SAT/UNSAT): 198426(229/198197)
Jun 02, 2017 4:03:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :106/3728 took 28841 ms. Total solver calls (SAT/UNSAT): 205902(241/205661)
Jun 02, 2017 4:03:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/3728 took 29853 ms. Total solver calls (SAT/UNSAT): 213378(253/213125)
Jun 02, 2017 4:03:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :114/3728 took 30862 ms. Total solver calls (SAT/UNSAT): 220854(265/220589)
Jun 02, 2017 4:03:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/3728 took 32110 ms. Total solver calls (SAT/UNSAT): 230199(280/229919)
Jun 02, 2017 4:03:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :123/3728 took 33111 ms. Total solver calls (SAT/UNSAT): 237675(292/237383)
Jun 02, 2017 4:03:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/3728 took 34359 ms. Total solver calls (SAT/UNSAT): 247020(307/246713)
Jun 02, 2017 4:03:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/3728 took 35360 ms. Total solver calls (SAT/UNSAT): 254496(319/254177)
Jun 02, 2017 4:03:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/3728 took 36489 ms. Total solver calls (SAT/UNSAT): 261972(331/261641)
Jun 02, 2017 4:03:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/3728 took 37513 ms. Total solver calls (SAT/UNSAT): 269448(343/269105)
Jun 02, 2017 4:03:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/3728 took 38539 ms. Total solver calls (SAT/UNSAT): 276924(355/276569)
Jun 02, 2017 4:03:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/3728 took 39563 ms. Total solver calls (SAT/UNSAT): 284400(367/284033)
Jun 02, 2017 4:03:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/3728 took 40598 ms. Total solver calls (SAT/UNSAT): 291876(379/291497)
Jun 02, 2017 4:03:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/3728 took 41626 ms. Total solver calls (SAT/UNSAT): 299352(391/298961)
Jun 02, 2017 4:03:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :160/3728 took 42648 ms. Total solver calls (SAT/UNSAT): 306826(403/306423)
Jun 02, 2017 4:03:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/3728 took 43703 ms. Total solver calls (SAT/UNSAT): 314298(415/313883)
Jun 02, 2017 4:03:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/3728 took 44739 ms. Total solver calls (SAT/UNSAT): 321770(427/321343)
Jun 02, 2017 4:03:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/3728 took 45746 ms. Total solver calls (SAT/UNSAT): 329242(439/328803)
Jun 02, 2017 4:03:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/3728 took 46748 ms. Total solver calls (SAT/UNSAT): 336714(451/336263)
Jun 02, 2017 4:03:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/3728 took 47751 ms. Total solver calls (SAT/UNSAT): 344186(463/343723)
Jun 02, 2017 4:03:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/3728 took 49001 ms. Total solver calls (SAT/UNSAT): 353526(478/353048)
Jun 02, 2017 4:03:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/3728 took 50005 ms. Total solver calls (SAT/UNSAT): 360998(490/360508)
Jun 02, 2017 4:03:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :193/3728 took 51009 ms. Total solver calls (SAT/UNSAT): 368470(502/367968)
Jun 02, 2017 4:03:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/3728 took 52013 ms. Total solver calls (SAT/UNSAT): 375942(514/375428)
Jun 02, 2017 4:03:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :201/3728 took 53041 ms. Total solver calls (SAT/UNSAT): 383414(526/382888)
Jun 02, 2017 4:03:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :205/3728 took 54047 ms. Total solver calls (SAT/UNSAT): 390886(538/390348)
Jun 02, 2017 4:03:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/3728 took 55054 ms. Total solver calls (SAT/UNSAT): 398358(550/397808)
Jun 02, 2017 4:03:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :213/3728 took 56061 ms. Total solver calls (SAT/UNSAT): 405830(562/405268)
Jun 02, 2017 4:03:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :217/3728 took 57071 ms. Total solver calls (SAT/UNSAT): 413302(574/412728)
Jun 02, 2017 4:03:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/3728 took 58081 ms. Total solver calls (SAT/UNSAT): 420774(586/420188)
Jun 02, 2017 4:03:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/3728 took 59092 ms. Total solver calls (SAT/UNSAT): 428246(598/427648)
Jun 02, 2017 4:03:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :229/3728 took 60106 ms. Total solver calls (SAT/UNSAT): 435718(610/435108)
Jun 02, 2017 4:03:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :233/3728 took 61113 ms. Total solver calls (SAT/UNSAT): 443190(622/442568)
Jun 02, 2017 4:03:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :237/3728 took 62190 ms. Total solver calls (SAT/UNSAT): 450662(634/450028)
Jun 02, 2017 4:03:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/3728 took 63196 ms. Total solver calls (SAT/UNSAT): 458133(646/457487)
Jun 02, 2017 4:03:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :245/3728 took 64201 ms. Total solver calls (SAT/UNSAT): 465605(658/464947)
Jun 02, 2017 4:03:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :249/3728 took 65206 ms. Total solver calls (SAT/UNSAT): 473077(670/472407)
Jun 02, 2017 4:03:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :253/3728 took 66209 ms. Total solver calls (SAT/UNSAT): 480549(682/479867)
Jun 02, 2017 4:03:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :257/3728 took 67213 ms. Total solver calls (SAT/UNSAT): 488021(694/487327)
Jun 02, 2017 4:03:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :261/3728 took 68213 ms. Total solver calls (SAT/UNSAT): 495493(706/494787)
Jun 02, 2017 4:03:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :265/3728 took 69216 ms. Total solver calls (SAT/UNSAT): 502965(718/502247)
Jun 02, 2017 4:03:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :269/3728 took 70220 ms. Total solver calls (SAT/UNSAT): 510437(730/509707)
Jun 02, 2017 4:03:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :273/3728 took 71258 ms. Total solver calls (SAT/UNSAT): 517909(742/517167)
Jun 02, 2017 4:03:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :277/3728 took 72267 ms. Total solver calls (SAT/UNSAT): 525381(754/524627)
Jun 02, 2017 4:03:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/3728 took 73276 ms. Total solver calls (SAT/UNSAT): 532853(766/532087)
Jun 02, 2017 4:03:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :285/3728 took 74284 ms. Total solver calls (SAT/UNSAT): 540325(778/539547)
Jun 02, 2017 4:03:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :289/3728 took 75288 ms. Total solver calls (SAT/UNSAT): 547797(790/547007)
Jun 02, 2017 4:03:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :293/3728 took 76345 ms. Total solver calls (SAT/UNSAT): 555269(802/554467)
Jun 02, 2017 4:03:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :297/3728 took 77369 ms. Total solver calls (SAT/UNSAT): 562741(814/561927)
Jun 02, 2017 4:03:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :301/3728 took 78393 ms. Total solver calls (SAT/UNSAT): 570213(826/569387)
Jun 02, 2017 4:03:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :305/3728 took 79419 ms. Total solver calls (SAT/UNSAT): 577685(838/576847)
Jun 02, 2017 4:03:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :309/3728 took 80515 ms. Total solver calls (SAT/UNSAT): 585157(850/584307)
Jun 02, 2017 4:04:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :313/3728 took 81538 ms. Total solver calls (SAT/UNSAT): 592629(862/591767)
Jun 02, 2017 4:04:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :317/3728 took 82563 ms. Total solver calls (SAT/UNSAT): 600101(874/599227)
Jun 02, 2017 4:04:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/3728 took 83590 ms. Total solver calls (SAT/UNSAT): 607572(886/606686)
Jun 02, 2017 4:04:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :325/3728 took 84615 ms. Total solver calls (SAT/UNSAT): 615044(898/614146)
Jun 02, 2017 4:04:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/3728 took 85636 ms. Total solver calls (SAT/UNSAT): 622516(910/621606)
Jun 02, 2017 4:04:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :333/3728 took 86660 ms. Total solver calls (SAT/UNSAT): 629988(922/629066)
Jun 02, 2017 4:04:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/3728 took 87682 ms. Total solver calls (SAT/UNSAT): 637460(934/636526)
Jun 02, 2017 4:04:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :341/3728 took 88703 ms. Total solver calls (SAT/UNSAT): 644932(946/643986)
Jun 02, 2017 4:04:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :345/3728 took 89725 ms. Total solver calls (SAT/UNSAT): 652404(958/651446)
Jun 02, 2017 4:04:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/3728 took 90835 ms. Total solver calls (SAT/UNSAT): 659876(970/658906)
Jun 02, 2017 4:04:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/3728 took 91857 ms. Total solver calls (SAT/UNSAT): 667348(982/666366)
Jun 02, 2017 4:04:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/3728 took 92879 ms. Total solver calls (SAT/UNSAT): 674820(994/673826)
Jun 02, 2017 4:04:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :361/3728 took 93902 ms. Total solver calls (SAT/UNSAT): 682292(1006/681286)
Jun 02, 2017 4:04:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/3728 took 94924 ms. Total solver calls (SAT/UNSAT): 689764(1018/688746)
Jun 02, 2017 4:04:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/3728 took 95947 ms. Total solver calls (SAT/UNSAT): 697236(1030/696206)
Jun 02, 2017 4:04:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :373/3728 took 96972 ms. Total solver calls (SAT/UNSAT): 704708(1042/703666)
Jun 02, 2017 4:04:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/3728 took 97994 ms. Total solver calls (SAT/UNSAT): 712180(1054/711126)
Jun 02, 2017 4:04:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/3728 took 99056 ms. Total solver calls (SAT/UNSAT): 719652(1066/718586)
Jun 02, 2017 4:04:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :385/3728 took 100094 ms. Total solver calls (SAT/UNSAT): 727124(1078/726046)
Jun 02, 2017 4:04:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/3728 took 101117 ms. Total solver calls (SAT/UNSAT): 734596(1090/733506)
Jun 02, 2017 4:04:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/3728 took 102135 ms. Total solver calls (SAT/UNSAT): 742068(1102/740966)
Jun 02, 2017 4:04:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :397/3728 took 103154 ms. Total solver calls (SAT/UNSAT): 749540(1114/748426)
Jun 02, 2017 4:04:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/3728 took 104174 ms. Total solver calls (SAT/UNSAT): 757011(1126/755885)
Jun 02, 2017 4:04:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :405/3728 took 105193 ms. Total solver calls (SAT/UNSAT): 764483(1138/763345)
Jun 02, 2017 4:04:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :409/3728 took 106214 ms. Total solver calls (SAT/UNSAT): 771955(1150/770805)
Jun 02, 2017 4:04:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :413/3728 took 107231 ms. Total solver calls (SAT/UNSAT): 779427(1162/778265)
Jun 02, 2017 4:04:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/3728 took 108250 ms. Total solver calls (SAT/UNSAT): 786899(1174/785725)
Jun 02, 2017 4:04:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/3728 took 109268 ms. Total solver calls (SAT/UNSAT): 794371(1186/793185)
Jun 02, 2017 4:04:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/3728 took 110331 ms. Total solver calls (SAT/UNSAT): 801843(1198/800645)
Jun 02, 2017 4:04:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/3728 took 111351 ms. Total solver calls (SAT/UNSAT): 809315(1210/808105)
Jun 02, 2017 4:04:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/3728 took 112373 ms. Total solver calls (SAT/UNSAT): 816787(1222/815565)
Jun 02, 2017 4:04:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/3728 took 113393 ms. Total solver calls (SAT/UNSAT): 824259(1234/823025)
Jun 02, 2017 4:04:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/3728 took 114414 ms. Total solver calls (SAT/UNSAT): 831731(1246/830485)
Jun 02, 2017 4:04:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/3728 took 115436 ms. Total solver calls (SAT/UNSAT): 839203(1258/837945)
Jun 02, 2017 4:04:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/3728 took 116457 ms. Total solver calls (SAT/UNSAT): 846675(1270/845405)
Jun 02, 2017 4:04:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/3728 took 117480 ms. Total solver calls (SAT/UNSAT): 854147(1282/852865)
Jun 02, 2017 4:04:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/3728 took 118499 ms. Total solver calls (SAT/UNSAT): 861619(1294/860325)
Jun 02, 2017 4:04:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/3728 took 119555 ms. Total solver calls (SAT/UNSAT): 869091(1306/867785)
Jun 02, 2017 4:04:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/3728 took 120577 ms. Total solver calls (SAT/UNSAT): 876563(1318/875245)
Jun 02, 2017 4:04:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/3728 took 121597 ms. Total solver calls (SAT/UNSAT): 884035(1330/882705)
Jun 02, 2017 4:04:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/3728 took 122618 ms. Total solver calls (SAT/UNSAT): 891507(1342/890165)
Jun 02, 2017 4:04:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/3728 took 123701 ms. Total solver calls (SAT/UNSAT): 898979(1354/897625)
Jun 02, 2017 4:04:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/3728 took 124721 ms. Total solver calls (SAT/UNSAT): 906450(1366/905084)
Jun 02, 2017 4:04:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/3728 took 125741 ms. Total solver calls (SAT/UNSAT): 913922(1378/912544)
Jun 02, 2017 4:04:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/3728 took 126761 ms. Total solver calls (SAT/UNSAT): 921394(1390/920004)
Jun 02, 2017 4:04:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :493/3728 took 127781 ms. Total solver calls (SAT/UNSAT): 928866(1402/927464)
Jun 02, 2017 4:04:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/3728 took 128801 ms. Total solver calls (SAT/UNSAT): 936338(1414/934924)
Jun 02, 2017 4:04:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/3728 took 129826 ms. Total solver calls (SAT/UNSAT): 943810(1426/942384)
Jun 02, 2017 4:04:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :505/3728 took 130846 ms. Total solver calls (SAT/UNSAT): 951282(1438/949844)
Jun 02, 2017 4:04:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/3728 took 131865 ms. Total solver calls (SAT/UNSAT): 958754(1450/957304)
Jun 02, 2017 4:04:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/3728 took 132886 ms. Total solver calls (SAT/UNSAT): 966226(1462/964764)
Jun 02, 2017 4:04:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :517/3728 took 133905 ms. Total solver calls (SAT/UNSAT): 973698(1474/972224)
Jun 02, 2017 4:04:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/3728 took 134924 ms. Total solver calls (SAT/UNSAT): 981170(1486/979684)
Jun 02, 2017 4:04:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/3728 took 135942 ms. Total solver calls (SAT/UNSAT): 988642(1498/987144)
Jun 02, 2017 4:04:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/3728 took 136960 ms. Total solver calls (SAT/UNSAT): 996114(1510/994604)
Jun 02, 2017 4:04:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/3728 took 137980 ms. Total solver calls (SAT/UNSAT): 1003586(1522/1002064)
Jun 02, 2017 4:04:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :537/3728 took 138998 ms. Total solver calls (SAT/UNSAT): 1011058(1534/1009524)
Jun 02, 2017 4:04:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/3728 took 140027 ms. Total solver calls (SAT/UNSAT): 1018530(1546/1016984)
Jun 02, 2017 4:05:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/3728 took 141049 ms. Total solver calls (SAT/UNSAT): 1026002(1558/1024444)
Jun 02, 2017 4:05:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/3728 took 142071 ms. Total solver calls (SAT/UNSAT): 1033474(1570/1031904)
Jun 02, 2017 4:05:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/3728 took 143089 ms. Total solver calls (SAT/UNSAT): 1040946(1582/1039364)
Jun 02, 2017 4:05:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/3728 took 144110 ms. Total solver calls (SAT/UNSAT): 1048418(1594/1046824)
Jun 02, 2017 4:05:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/3728 took 145127 ms. Total solver calls (SAT/UNSAT): 1055889(1606/1054283)
Jun 02, 2017 4:05:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/3728 took 146146 ms. Total solver calls (SAT/UNSAT): 1063361(1618/1061743)
Jun 02, 2017 4:05:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/3728 took 147166 ms. Total solver calls (SAT/UNSAT): 1070833(1630/1069203)
Jun 02, 2017 4:05:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/3728 took 148187 ms. Total solver calls (SAT/UNSAT): 1078305(1642/1076663)
Jun 02, 2017 4:05:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :577/3728 took 149207 ms. Total solver calls (SAT/UNSAT): 1085777(1654/1084123)
Jun 02, 2017 4:05:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/3728 took 150243 ms. Total solver calls (SAT/UNSAT): 1093249(1666/1091583)
Jun 02, 2017 4:05:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/3728 took 151262 ms. Total solver calls (SAT/UNSAT): 1100721(1678/1099043)
Jun 02, 2017 4:05:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/3728 took 152280 ms. Total solver calls (SAT/UNSAT): 1108193(1690/1106503)
Jun 02, 2017 4:05:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :593/3728 took 153299 ms. Total solver calls (SAT/UNSAT): 1115665(1702/1113963)
Jun 02, 2017 4:05:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :597/3728 took 154319 ms. Total solver calls (SAT/UNSAT): 1123137(1714/1121423)
Jun 02, 2017 4:05:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :601/3728 took 155338 ms. Total solver calls (SAT/UNSAT): 1130609(1726/1128883)
Jun 02, 2017 4:05:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :605/3728 took 156359 ms. Total solver calls (SAT/UNSAT): 1138081(1738/1136343)
Jun 02, 2017 4:05:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :609/3728 took 157376 ms. Total solver calls (SAT/UNSAT): 1145553(1750/1143803)
Jun 02, 2017 4:05:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :613/3728 took 158395 ms. Total solver calls (SAT/UNSAT): 1153025(1762/1151263)
Jun 02, 2017 4:05:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :617/3728 took 159419 ms. Total solver calls (SAT/UNSAT): 1160497(1774/1158723)
Jun 02, 2017 4:05:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :621/3728 took 160437 ms. Total solver calls (SAT/UNSAT): 1167969(1786/1166183)
Jun 02, 2017 4:05:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :625/3728 took 161500 ms. Total solver calls (SAT/UNSAT): 1175441(1798/1173643)
Jun 02, 2017 4:05:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :629/3728 took 162529 ms. Total solver calls (SAT/UNSAT): 1182913(1810/1181103)
Jun 02, 2017 4:05:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :633/3728 took 163550 ms. Total solver calls (SAT/UNSAT): 1190385(1822/1188563)
Jun 02, 2017 4:05:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :637/3728 took 164639 ms. Total solver calls (SAT/UNSAT): 1197857(1834/1196023)
Jun 02, 2017 4:05:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :641/3728 took 165765 ms. Total solver calls (SAT/UNSAT): 1205328(1846/1203482)
Jun 02, 2017 4:05:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :645/3728 took 166787 ms. Total solver calls (SAT/UNSAT): 1212800(1858/1210942)
Jun 02, 2017 4:05:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :649/3728 took 167807 ms. Total solver calls (SAT/UNSAT): 1220272(1870/1218402)
Jun 02, 2017 4:05:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :653/3728 took 168833 ms. Total solver calls (SAT/UNSAT): 1227744(1882/1225862)
Jun 02, 2017 4:05:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :657/3728 took 169851 ms. Total solver calls (SAT/UNSAT): 1235216(1894/1233322)
Jun 02, 2017 4:05:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :661/3728 took 170870 ms. Total solver calls (SAT/UNSAT): 1242688(1906/1240782)
Jun 02, 2017 4:05:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :665/3728 took 171886 ms. Total solver calls (SAT/UNSAT): 1250160(1918/1248242)
Jun 02, 2017 4:05:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :669/3728 took 172906 ms. Total solver calls (SAT/UNSAT): 1257632(1930/1255702)
Jun 02, 2017 4:05:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :673/3728 took 173924 ms. Total solver calls (SAT/UNSAT): 1265104(1942/1263162)
Jun 02, 2017 4:05:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :677/3728 took 174942 ms. Total solver calls (SAT/UNSAT): 1272576(1954/1270622)
Jun 02, 2017 4:05:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :681/3728 took 175961 ms. Total solver calls (SAT/UNSAT): 1280048(1966/1278082)
Jun 02, 2017 4:05:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :685/3728 took 176990 ms. Total solver calls (SAT/UNSAT): 1287520(1978/1285542)
Jun 02, 2017 4:05:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :689/3728 took 178013 ms. Total solver calls (SAT/UNSAT): 1294992(1990/1293002)
Jun 02, 2017 4:05:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :693/3728 took 179037 ms. Total solver calls (SAT/UNSAT): 1302464(2002/1300462)
Jun 02, 2017 4:05:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :697/3728 took 180059 ms. Total solver calls (SAT/UNSAT): 1309936(2014/1307922)
Jun 02, 2017 4:05:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :701/3728 took 181079 ms. Total solver calls (SAT/UNSAT): 1317408(2026/1315382)
Jun 02, 2017 4:05:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :705/3728 took 182099 ms. Total solver calls (SAT/UNSAT): 1324880(2038/1322842)
Jun 02, 2017 4:05:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :709/3728 took 183123 ms. Total solver calls (SAT/UNSAT): 1332352(2050/1330302)
Jun 02, 2017 4:05:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :713/3728 took 184145 ms. Total solver calls (SAT/UNSAT): 1339824(2062/1337762)
Jun 02, 2017 4:05:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :717/3728 took 185183 ms. Total solver calls (SAT/UNSAT): 1347296(2074/1345222)
Jun 02, 2017 4:05:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :721/3728 took 186201 ms. Total solver calls (SAT/UNSAT): 1354767(2086/1352681)
Jun 02, 2017 4:05:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :725/3728 took 187219 ms. Total solver calls (SAT/UNSAT): 1362239(2098/1360141)
Jun 02, 2017 4:05:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :729/3728 took 188239 ms. Total solver calls (SAT/UNSAT): 1369711(2110/1367601)
Jun 02, 2017 4:05:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :733/3728 took 189258 ms. Total solver calls (SAT/UNSAT): 1377183(2122/1375061)
Jun 02, 2017 4:05:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :737/3728 took 190283 ms. Total solver calls (SAT/UNSAT): 1384655(2134/1382521)
Jun 02, 2017 4:05:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :741/3728 took 191302 ms. Total solver calls (SAT/UNSAT): 1392127(2146/1389981)
Jun 02, 2017 4:05:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :745/3728 took 192320 ms. Total solver calls (SAT/UNSAT): 1399599(2158/1397441)
Jun 02, 2017 4:05:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :749/3728 took 193352 ms. Total solver calls (SAT/UNSAT): 1407071(2170/1404901)
Jun 02, 2017 4:05:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :753/3728 took 194370 ms. Total solver calls (SAT/UNSAT): 1414543(2182/1412361)
Jun 02, 2017 4:05:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :757/3728 took 195388 ms. Total solver calls (SAT/UNSAT): 1422015(2194/1419821)
Jun 02, 2017 4:05:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :761/3728 took 196411 ms. Total solver calls (SAT/UNSAT): 1429487(2206/1427281)
Jun 02, 2017 4:05:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :765/3728 took 197433 ms. Total solver calls (SAT/UNSAT): 1436959(2218/1434741)
Jun 02, 2017 4:05:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :769/3728 took 198455 ms. Total solver calls (SAT/UNSAT): 1444431(2230/1442201)
Jun 02, 2017 4:05:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :773/3728 took 199477 ms. Total solver calls (SAT/UNSAT): 1451903(2242/1449661)
Jun 02, 2017 4:05:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :777/3728 took 200508 ms. Total solver calls (SAT/UNSAT): 1459375(2254/1457121)
Jun 02, 2017 4:06:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :781/3728 took 201528 ms. Total solver calls (SAT/UNSAT): 1466847(2266/1464581)
Jun 02, 2017 4:06:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :785/3728 took 202549 ms. Total solver calls (SAT/UNSAT): 1474319(2278/1472041)
Jun 02, 2017 4:06:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :789/3728 took 203568 ms. Total solver calls (SAT/UNSAT): 1481791(2290/1479501)
Jun 02, 2017 4:06:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :793/3728 took 204589 ms. Total solver calls (SAT/UNSAT): 1489263(2302/1486961)
Jun 02, 2017 4:06:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :797/3728 took 205606 ms. Total solver calls (SAT/UNSAT): 1496735(2314/1494421)
Jun 02, 2017 4:06:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :801/3728 took 206625 ms. Total solver calls (SAT/UNSAT): 1504206(2326/1501880)
Jun 02, 2017 4:06:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :805/3728 took 207652 ms. Total solver calls (SAT/UNSAT): 1511678(2338/1509340)
Jun 02, 2017 4:06:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :809/3728 took 208724 ms. Total solver calls (SAT/UNSAT): 1519150(2350/1516800)
Jun 02, 2017 4:06:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :813/3728 took 209732 ms. Total solver calls (SAT/UNSAT): 1526622(2362/1524260)
Jun 02, 2017 4:06:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :817/3728 took 210740 ms. Total solver calls (SAT/UNSAT): 1534094(2374/1531720)
Jun 02, 2017 4:06:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :822/3728 took 211988 ms. Total solver calls (SAT/UNSAT): 1543434(2389/1541045)
Jun 02, 2017 4:06:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :827/3728 took 213236 ms. Total solver calls (SAT/UNSAT): 1552774(2404/1550370)
Jun 02, 2017 4:06:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :832/3728 took 214489 ms. Total solver calls (SAT/UNSAT): 1562114(2419/1559695)
Jun 02, 2017 4:06:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :837/3728 took 215737 ms. Total solver calls (SAT/UNSAT): 1571454(2434/1569020)
Jun 02, 2017 4:06:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :842/3728 took 216984 ms. Total solver calls (SAT/UNSAT): 1580794(2449/1578345)
Jun 02, 2017 4:06:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :847/3728 took 218231 ms. Total solver calls (SAT/UNSAT): 1590134(2464/1587670)
Jun 02, 2017 4:06:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :852/3728 took 219476 ms. Total solver calls (SAT/UNSAT): 1599474(2479/1596995)
Jun 02, 2017 4:06:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :857/3728 took 220719 ms. Total solver calls (SAT/UNSAT): 1608814(2494/1606320)
Jun 02, 2017 4:06:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :861/3728 took 221815 ms. Total solver calls (SAT/UNSAT): 1616286(2506/1613780)
Jun 02, 2017 4:06:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :865/3728 took 222820 ms. Total solver calls (SAT/UNSAT): 1623758(2518/1621240)
Jun 02, 2017 4:06:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :869/3728 took 223821 ms. Total solver calls (SAT/UNSAT): 1631230(2530/1628700)
Jun 02, 2017 4:06:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :874/3728 took 225067 ms. Total solver calls (SAT/UNSAT): 1640570(2545/1638025)
Jun 02, 2017 4:06:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :879/3728 took 226316 ms. Total solver calls (SAT/UNSAT): 1649910(2560/1647350)
Jun 02, 2017 4:06:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :883/3728 took 227321 ms. Total solver calls (SAT/UNSAT): 1657381(2572/1654809)
Jun 02, 2017 4:06:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :887/3728 took 228330 ms. Total solver calls (SAT/UNSAT): 1664853(2584/1662269)
Jun 02, 2017 4:06:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :891/3728 took 229337 ms. Total solver calls (SAT/UNSAT): 1672325(2596/1669729)
Jun 02, 2017 4:06:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :895/3728 took 230344 ms. Total solver calls (SAT/UNSAT): 1679797(2608/1677189)
Jun 02, 2017 4:06:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :899/3728 took 231345 ms. Total solver calls (SAT/UNSAT): 1687269(2620/1684649)
Jun 02, 2017 4:06:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :903/3728 took 232345 ms. Total solver calls (SAT/UNSAT): 1694741(2632/1692109)
Jun 02, 2017 4:06:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :907/3728 took 233352 ms. Total solver calls (SAT/UNSAT): 1702213(2644/1699569)
Jun 02, 2017 4:06:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :911/3728 took 234358 ms. Total solver calls (SAT/UNSAT): 1709685(2656/1707029)
Jun 02, 2017 4:06:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :915/3728 took 235360 ms. Total solver calls (SAT/UNSAT): 1717157(2668/1714489)
Jun 02, 2017 4:06:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :920/3728 took 236607 ms. Total solver calls (SAT/UNSAT): 1726497(2683/1723814)
Jun 02, 2017 4:06:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :925/3728 took 237858 ms. Total solver calls (SAT/UNSAT): 1735837(2698/1733139)
Jun 02, 2017 4:06:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :930/3728 took 239113 ms. Total solver calls (SAT/UNSAT): 1745177(2713/1742464)
Jun 02, 2017 4:06:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :934/3728 took 240122 ms. Total solver calls (SAT/UNSAT): 1752649(2725/1749924)
Jun 02, 2017 4:06:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :938/3728 took 241133 ms. Total solver calls (SAT/UNSAT): 1760121(2737/1757384)
Jun 02, 2017 4:06:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :942/3728 took 242141 ms. Total solver calls (SAT/UNSAT): 1767593(2749/1764844)
Jun 02, 2017 4:06:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :946/3728 took 243145 ms. Total solver calls (SAT/UNSAT): 1775065(2761/1772304)
Jun 02, 2017 4:06:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :950/3728 took 244145 ms. Total solver calls (SAT/UNSAT): 1782537(2773/1779764)
Jun 02, 2017 4:06:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :954/3728 took 245155 ms. Total solver calls (SAT/UNSAT): 1790009(2785/1787224)
Jun 02, 2017 4:06:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :958/3728 took 246163 ms. Total solver calls (SAT/UNSAT): 1797481(2797/1794684)
Jun 02, 2017 4:06:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :962/3728 took 247214 ms. Total solver calls (SAT/UNSAT): 1804952(2809/1802143)
Jun 02, 2017 4:06:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :967/3728 took 248460 ms. Total solver calls (SAT/UNSAT): 1814292(2824/1811468)
Jun 02, 2017 4:06:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :972/3728 took 249708 ms. Total solver calls (SAT/UNSAT): 1823632(2839/1820793)
Jun 02, 2017 4:06:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :976/3728 took 250719 ms. Total solver calls (SAT/UNSAT): 1831104(2851/1828253)
Jun 02, 2017 4:06:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :981/3728 took 251966 ms. Total solver calls (SAT/UNSAT): 1840444(2866/1837578)
Jun 02, 2017 4:06:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :986/3728 took 253212 ms. Total solver calls (SAT/UNSAT): 1849784(2881/1846903)
Jun 02, 2017 4:06:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :991/3728 took 254459 ms. Total solver calls (SAT/UNSAT): 1859124(2896/1856228)
Jun 02, 2017 4:06:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :995/3728 took 255463 ms. Total solver calls (SAT/UNSAT): 1866596(2908/1863688)
Jun 02, 2017 4:06:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :999/3728 took 256467 ms. Total solver calls (SAT/UNSAT): 1874068(2920/1871148)
Jun 02, 2017 4:06:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1003/3728 took 257470 ms. Total solver calls (SAT/UNSAT): 1881540(2932/1878608)
Jun 02, 2017 4:06:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1007/3728 took 258513 ms. Total solver calls (SAT/UNSAT): 1889012(2944/1886068)
Jun 02, 2017 4:06:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1012/3728 took 259761 ms. Total solver calls (SAT/UNSAT): 1898352(2959/1895393)
Jun 02, 2017 4:07:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1016/3728 took 260852 ms. Total solver calls (SAT/UNSAT): 1905824(2971/1902853)
Jun 02, 2017 4:07:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1020/3728 took 261916 ms. Total solver calls (SAT/UNSAT): 1913296(2983/1910313)
Jun 02, 2017 4:07:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1024/3728 took 262965 ms. Total solver calls (SAT/UNSAT): 1920768(2995/1917773)
Jun 02, 2017 4:07:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1028/3728 took 263986 ms. Total solver calls (SAT/UNSAT): 1928240(3007/1925233)
Jun 02, 2017 4:07:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1032/3728 took 265042 ms. Total solver calls (SAT/UNSAT): 1935712(3019/1932693)
Jun 02, 2017 4:07:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1036/3728 took 266083 ms. Total solver calls (SAT/UNSAT): 1943184(3031/1940153)
Jun 02, 2017 4:07:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1040/3728 took 267116 ms. Total solver calls (SAT/UNSAT): 1950655(3043/1947612)
Jun 02, 2017 4:07:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1044/3728 took 268147 ms. Total solver calls (SAT/UNSAT): 1958127(3055/1955072)
Jun 02, 2017 4:07:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1048/3728 took 269179 ms. Total solver calls (SAT/UNSAT): 1965599(3067/1962532)
Jun 02, 2017 4:07:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1052/3728 took 270219 ms. Total solver calls (SAT/UNSAT): 1973071(3079/1969992)
Jun 02, 2017 4:07:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1056/3728 took 271250 ms. Total solver calls (SAT/UNSAT): 1980543(3091/1977452)
Jun 02, 2017 4:07:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1060/3728 took 272282 ms. Total solver calls (SAT/UNSAT): 1988015(3103/1984912)
Jun 02, 2017 4:07:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1064/3728 took 273314 ms. Total solver calls (SAT/UNSAT): 1995487(3115/1992372)
Jun 02, 2017 4:07:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1068/3728 took 274346 ms. Total solver calls (SAT/UNSAT): 2002959(3127/1999832)
Jun 02, 2017 4:07:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1072/3728 took 275388 ms. Total solver calls (SAT/UNSAT): 2010431(3139/2007292)
Jun 02, 2017 4:07:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1076/3728 took 276423 ms. Total solver calls (SAT/UNSAT): 2017903(3151/2014752)
Jun 02, 2017 4:07:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1080/3728 took 277454 ms. Total solver calls (SAT/UNSAT): 2025375(3163/2022212)
Jun 02, 2017 4:07:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1084/3728 took 278484 ms. Total solver calls (SAT/UNSAT): 2032847(3175/2029672)
Jun 02, 2017 4:07:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1088/3728 took 279525 ms. Total solver calls (SAT/UNSAT): 2040319(3187/2037132)
Jun 02, 2017 4:07:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1092/3728 took 280556 ms. Total solver calls (SAT/UNSAT): 2047791(3199/2044592)
Jun 02, 2017 4:07:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1096/3728 took 281587 ms. Total solver calls (SAT/UNSAT): 2055263(3211/2052052)
Jun 02, 2017 4:07:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1100/3728 took 282617 ms. Total solver calls (SAT/UNSAT): 2062735(3223/2059512)
Jun 02, 2017 4:07:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1104/3728 took 283651 ms. Total solver calls (SAT/UNSAT): 2070207(3235/2066972)
Jun 02, 2017 4:07:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1108/3728 took 284683 ms. Total solver calls (SAT/UNSAT): 2077679(3247/2074432)
Jun 02, 2017 4:07:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1112/3728 took 285711 ms. Total solver calls (SAT/UNSAT): 2085151(3259/2081892)
Jun 02, 2017 4:07:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1116/3728 took 286742 ms. Total solver calls (SAT/UNSAT): 2092623(3271/2089352)
Jun 02, 2017 4:07:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1120/3728 took 287783 ms. Total solver calls (SAT/UNSAT): 2100094(3283/2096811)
Jun 02, 2017 4:07:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1124/3728 took 288815 ms. Total solver calls (SAT/UNSAT): 2107566(3295/2104271)
Jun 02, 2017 4:07:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1128/3728 took 289844 ms. Total solver calls (SAT/UNSAT): 2115038(3307/2111731)
Jun 02, 2017 4:07:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1132/3728 took 290919 ms. Total solver calls (SAT/UNSAT): 2122510(3319/2119191)
Jun 02, 2017 4:07:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1136/3728 took 291965 ms. Total solver calls (SAT/UNSAT): 2129982(3331/2126651)
Jun 02, 2017 4:07:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1140/3728 took 293017 ms. Total solver calls (SAT/UNSAT): 2137454(3343/2134111)
Jun 02, 2017 4:07:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1145/3728 took 294266 ms. Total solver calls (SAT/UNSAT): 2146794(3358/2143436)
Jun 02, 2017 4:07:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1149/3728 took 295273 ms. Total solver calls (SAT/UNSAT): 2154266(3370/2150896)
Jun 02, 2017 4:07:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1153/3728 took 296273 ms. Total solver calls (SAT/UNSAT): 2161738(3382/2158356)
Jun 02, 2017 4:07:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1158/3728 took 297520 ms. Total solver calls (SAT/UNSAT): 2171078(3397/2167681)
Jun 02, 2017 4:07:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1162/3728 took 298523 ms. Total solver calls (SAT/UNSAT): 2178550(3409/2175141)
Jun 02, 2017 4:07:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1167/3728 took 299770 ms. Total solver calls (SAT/UNSAT): 2187890(3424/2184466)
Jun 02, 2017 4:07:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1171/3728 took 300770 ms. Total solver calls (SAT/UNSAT): 2195362(3436/2191926)
Jun 02, 2017 4:07:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1175/3728 took 301838 ms. Total solver calls (SAT/UNSAT): 2202834(3448/2199386)
Jun 02, 2017 4:07:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1179/3728 took 302870 ms. Total solver calls (SAT/UNSAT): 2210306(3460/2206846)
Jun 02, 2017 4:07:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1183/3728 took 303895 ms. Total solver calls (SAT/UNSAT): 2217778(3472/2214306)
Jun 02, 2017 4:07:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1187/3728 took 304918 ms. Total solver calls (SAT/UNSAT): 2225250(3484/2221766)
Jun 02, 2017 4:07:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1191/3728 took 305955 ms. Total solver calls (SAT/UNSAT): 2232722(3496/2229226)
Jun 02, 2017 4:07:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1195/3728 took 307000 ms. Total solver calls (SAT/UNSAT): 2240194(3508/2236686)
Jun 02, 2017 4:07:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1199/3728 took 308004 ms. Total solver calls (SAT/UNSAT): 2247666(3520/2244146)
Jun 02, 2017 4:07:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1203/3728 took 309010 ms. Total solver calls (SAT/UNSAT): 2255137(3532/2251605)
Jun 02, 2017 4:07:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1208/3728 took 310259 ms. Total solver calls (SAT/UNSAT): 2264477(3547/2260930)
Jun 02, 2017 4:07:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1212/3728 took 311260 ms. Total solver calls (SAT/UNSAT): 2271949(3559/2268390)
Jun 02, 2017 4:07:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1216/3728 took 312271 ms. Total solver calls (SAT/UNSAT): 2279421(3571/2275850)
Jun 02, 2017 4:07:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1220/3728 took 313272 ms. Total solver calls (SAT/UNSAT): 2286893(3583/2283310)
Jun 02, 2017 4:07:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1224/3728 took 314273 ms. Total solver calls (SAT/UNSAT): 2294365(3595/2290770)
Jun 02, 2017 4:07:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1228/3728 took 315280 ms. Total solver calls (SAT/UNSAT): 2301837(3607/2298230)
Jun 02, 2017 4:07:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1232/3728 took 316282 ms. Total solver calls (SAT/UNSAT): 2309309(3619/2305690)
Jun 02, 2017 4:07:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1236/3728 took 317286 ms. Total solver calls (SAT/UNSAT): 2316781(3631/2313150)
Jun 02, 2017 4:07:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1240/3728 took 318293 ms. Total solver calls (SAT/UNSAT): 2324253(3643/2320610)
Jun 02, 2017 4:07:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1244/3728 took 319294 ms. Total solver calls (SAT/UNSAT): 2331725(3655/2328070)
Jun 02, 2017 4:07:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1248/3728 took 320297 ms. Total solver calls (SAT/UNSAT): 2339197(3667/2335530)
Jun 02, 2017 4:08:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1252/3728 took 321301 ms. Total solver calls (SAT/UNSAT): 2346669(3679/2342990)
Jun 02, 2017 4:08:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1256/3728 took 322304 ms. Total solver calls (SAT/UNSAT): 2354141(3691/2350450)
Jun 02, 2017 4:08:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1260/3728 took 323312 ms. Total solver calls (SAT/UNSAT): 2361613(3703/2357910)
Jun 02, 2017 4:08:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1264/3728 took 324315 ms. Total solver calls (SAT/UNSAT): 2369085(3715/2365370)
Jun 02, 2017 4:08:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1268/3728 took 325318 ms. Total solver calls (SAT/UNSAT): 2376557(3727/2372830)
Jun 02, 2017 4:08:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1272/3728 took 326327 ms. Total solver calls (SAT/UNSAT): 2384029(3739/2380290)
Jun 02, 2017 4:08:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1276/3728 took 327329 ms. Total solver calls (SAT/UNSAT): 2391501(3751/2387750)
Jun 02, 2017 4:08:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1280/3728 took 328339 ms. Total solver calls (SAT/UNSAT): 2398972(3763/2395209)
Jun 02, 2017 4:08:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1284/3728 took 329343 ms. Total solver calls (SAT/UNSAT): 2406444(3775/2402669)
Jun 02, 2017 4:08:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1288/3728 took 330345 ms. Total solver calls (SAT/UNSAT): 2413916(3787/2410129)
Jun 02, 2017 4:08:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1292/3728 took 331350 ms. Total solver calls (SAT/UNSAT): 2421388(3799/2417589)
Jun 02, 2017 4:08:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1296/3728 took 332354 ms. Total solver calls (SAT/UNSAT): 2428860(3811/2425049)
Jun 02, 2017 4:08:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1300/3728 took 333414 ms. Total solver calls (SAT/UNSAT): 2436332(3823/2432509)
Jun 02, 2017 4:08:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1304/3728 took 334420 ms. Total solver calls (SAT/UNSAT): 2443804(3835/2439969)
Jun 02, 2017 4:08:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1308/3728 took 335422 ms. Total solver calls (SAT/UNSAT): 2451276(3847/2447429)
Jun 02, 2017 4:08:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1312/3728 took 336438 ms. Total solver calls (SAT/UNSAT): 2458748(3859/2454889)
Jun 02, 2017 4:08:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1316/3728 took 337447 ms. Total solver calls (SAT/UNSAT): 2466220(3871/2462349)
Jun 02, 2017 4:08:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1320/3728 took 338463 ms. Total solver calls (SAT/UNSAT): 2473692(3883/2469809)
Jun 02, 2017 4:08:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1324/3728 took 339468 ms. Total solver calls (SAT/UNSAT): 2481164(3895/2477269)
Jun 02, 2017 4:08:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1328/3728 took 340479 ms. Total solver calls (SAT/UNSAT): 2488636(3907/2484729)
Jun 02, 2017 4:08:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1332/3728 took 341486 ms. Total solver calls (SAT/UNSAT): 2496108(3919/2492189)
Jun 02, 2017 4:08:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1336/3728 took 342497 ms. Total solver calls (SAT/UNSAT): 2503580(3931/2499649)
Jun 02, 2017 4:08:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1340/3728 took 343501 ms. Total solver calls (SAT/UNSAT): 2511052(3943/2507109)
Jun 02, 2017 4:08:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1344/3728 took 344507 ms. Total solver calls (SAT/UNSAT): 2518524(3955/2514569)
Jun 02, 2017 4:08:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1349/3728 took 345756 ms. Total solver calls (SAT/UNSAT): 2527864(3970/2523894)
Jun 02, 2017 4:08:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1353/3728 took 346762 ms. Total solver calls (SAT/UNSAT): 2535336(3982/2531354)
Jun 02, 2017 4:08:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1357/3728 took 347763 ms. Total solver calls (SAT/UNSAT): 2542808(3994/2538814)
Jun 02, 2017 4:08:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1361/3728 took 348811 ms. Total solver calls (SAT/UNSAT): 2550279(4006/2546273)
Jun 02, 2017 4:08:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1366/3728 took 350059 ms. Total solver calls (SAT/UNSAT): 2559619(4021/2555598)
Jun 02, 2017 4:08:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1370/3728 took 351062 ms. Total solver calls (SAT/UNSAT): 2567091(4033/2563058)
Jun 02, 2017 4:08:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1374/3728 took 352106 ms. Total solver calls (SAT/UNSAT): 2574563(4045/2570518)
Jun 02, 2017 4:08:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1378/3728 took 353115 ms. Total solver calls (SAT/UNSAT): 2582035(4057/2577978)
Jun 02, 2017 4:08:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1383/3728 took 354360 ms. Total solver calls (SAT/UNSAT): 2591375(4072/2587303)
Jun 02, 2017 4:08:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1387/3728 took 355370 ms. Total solver calls (SAT/UNSAT): 2598847(4084/2594763)
Jun 02, 2017 4:08:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1391/3728 took 356378 ms. Total solver calls (SAT/UNSAT): 2606319(4096/2602223)
Jun 02, 2017 4:08:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1395/3728 took 357385 ms. Total solver calls (SAT/UNSAT): 2613791(4108/2609683)
Jun 02, 2017 4:08:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1399/3728 took 358395 ms. Total solver calls (SAT/UNSAT): 2621263(4120/2617143)
Jun 02, 2017 4:08:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1403/3728 took 359398 ms. Total solver calls (SAT/UNSAT): 2628735(4132/2624603)
Jun 02, 2017 4:08:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1407/3728 took 360409 ms. Total solver calls (SAT/UNSAT): 2636207(4144/2632063)
Jun 02, 2017 4:08:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1411/3728 took 361418 ms. Total solver calls (SAT/UNSAT): 2643679(4156/2639523)
Jun 02, 2017 4:08:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1415/3728 took 362428 ms. Total solver calls (SAT/UNSAT): 2651151(4168/2646983)
Jun 02, 2017 4:08:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1419/3728 took 363435 ms. Total solver calls (SAT/UNSAT): 2658623(4180/2654443)
Jun 02, 2017 4:08:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1423/3728 took 364437 ms. Total solver calls (SAT/UNSAT): 2666095(4192/2661903)
Jun 02, 2017 4:08:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1427/3728 took 365447 ms. Total solver calls (SAT/UNSAT): 2673567(4204/2669363)
Jun 02, 2017 4:08:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1431/3728 took 366455 ms. Total solver calls (SAT/UNSAT): 2681039(4216/2676823)
Jun 02, 2017 4:08:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1435/3728 took 367456 ms. Total solver calls (SAT/UNSAT): 2688511(4228/2684283)
Jun 02, 2017 4:08:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1439/3728 took 368468 ms. Total solver calls (SAT/UNSAT): 2695983(4240/2691743)
Jun 02, 2017 4:08:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1443/3728 took 369475 ms. Total solver calls (SAT/UNSAT): 2703454(4252/2699202)
Jun 02, 2017 4:08:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1447/3728 took 370478 ms. Total solver calls (SAT/UNSAT): 2710926(4264/2706662)
Jun 02, 2017 4:08:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1451/3728 took 371487 ms. Total solver calls (SAT/UNSAT): 2718398(4276/2714122)
Jun 02, 2017 4:08:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1455/3728 took 372497 ms. Total solver calls (SAT/UNSAT): 2725870(4288/2721582)
Jun 02, 2017 4:08:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1459/3728 took 373501 ms. Total solver calls (SAT/UNSAT): 2733342(4300/2729042)
Jun 02, 2017 4:08:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1463/3728 took 374511 ms. Total solver calls (SAT/UNSAT): 2740814(4312/2736502)
Jun 02, 2017 4:08:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1467/3728 took 375516 ms. Total solver calls (SAT/UNSAT): 2748286(4324/2743962)
Jun 02, 2017 4:08:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1471/3728 took 376521 ms. Total solver calls (SAT/UNSAT): 2755758(4336/2751422)
Jun 02, 2017 4:08:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1475/3728 took 377532 ms. Total solver calls (SAT/UNSAT): 2763230(4348/2758882)
Jun 02, 2017 4:08:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1479/3728 took 378543 ms. Total solver calls (SAT/UNSAT): 2770702(4360/2766342)
Jun 02, 2017 4:08:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1483/3728 took 379546 ms. Total solver calls (SAT/UNSAT): 2778174(4372/2773802)
Jun 02, 2017 4:08:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1487/3728 took 380599 ms. Total solver calls (SAT/UNSAT): 2785646(4384/2781262)
Jun 02, 2017 4:09:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1491/3728 took 381610 ms. Total solver calls (SAT/UNSAT): 2793118(4396/2788722)
Jun 02, 2017 4:09:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1495/3728 took 382620 ms. Total solver calls (SAT/UNSAT): 2800590(4408/2796182)
Jun 02, 2017 4:09:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1499/3728 took 383621 ms. Total solver calls (SAT/UNSAT): 2808062(4420/2803642)
Jun 02, 2017 4:09:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1503/3728 took 384625 ms. Total solver calls (SAT/UNSAT): 2815534(4432/2811102)
Jun 02, 2017 4:09:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1507/3728 took 385630 ms. Total solver calls (SAT/UNSAT): 2823006(4444/2818562)
Jun 02, 2017 4:09:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1511/3728 took 386682 ms. Total solver calls (SAT/UNSAT): 2830478(4456/2826022)
Jun 02, 2017 4:09:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1515/3728 took 387695 ms. Total solver calls (SAT/UNSAT): 2837950(4468/2833482)
Jun 02, 2017 4:09:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1519/3728 took 388708 ms. Total solver calls (SAT/UNSAT): 2845422(4480/2840942)
Jun 02, 2017 4:09:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1523/3728 took 389730 ms. Total solver calls (SAT/UNSAT): 2852893(4492/2848401)
Jun 02, 2017 4:09:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1527/3728 took 390747 ms. Total solver calls (SAT/UNSAT): 2860365(4504/2855861)
Jun 02, 2017 4:09:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1531/3728 took 391805 ms. Total solver calls (SAT/UNSAT): 2867837(4516/2863321)
Jun 02, 2017 4:09:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1535/3728 took 392816 ms. Total solver calls (SAT/UNSAT): 2875309(4528/2870781)
Jun 02, 2017 4:09:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1539/3728 took 393828 ms. Total solver calls (SAT/UNSAT): 2882781(4540/2878241)
Jun 02, 2017 4:09:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1543/3728 took 394838 ms. Total solver calls (SAT/UNSAT): 2890253(4552/2885701)
Jun 02, 2017 4:09:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1547/3728 took 395845 ms. Total solver calls (SAT/UNSAT): 2897725(4564/2893161)
Jun 02, 2017 4:09:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1551/3728 took 396858 ms. Total solver calls (SAT/UNSAT): 2905197(4576/2900621)
Jun 02, 2017 4:09:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1555/3728 took 397918 ms. Total solver calls (SAT/UNSAT): 2912669(4588/2908081)
Jun 02, 2017 4:09:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1559/3728 took 398936 ms. Total solver calls (SAT/UNSAT): 2920141(4600/2915541)
Jun 02, 2017 4:09:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1563/3728 took 399948 ms. Total solver calls (SAT/UNSAT): 2927613(4612/2923001)
Jun 02, 2017 4:09:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1567/3728 took 400969 ms. Total solver calls (SAT/UNSAT): 2935085(4624/2930461)
Jun 02, 2017 4:09:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1571/3728 took 401987 ms. Total solver calls (SAT/UNSAT): 2942557(4636/2937921)
Jun 02, 2017 4:09:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1575/3728 took 403002 ms. Total solver calls (SAT/UNSAT): 2950029(4648/2945381)
Jun 02, 2017 4:09:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1579/3728 took 404021 ms. Total solver calls (SAT/UNSAT): 2957501(4660/2952841)
Jun 02, 2017 4:09:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1583/3728 took 405039 ms. Total solver calls (SAT/UNSAT): 2964973(4672/2960301)
Jun 02, 2017 4:09:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1587/3728 took 406050 ms. Total solver calls (SAT/UNSAT): 2972445(4684/2967761)
Jun 02, 2017 4:09:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1591/3728 took 407065 ms. Total solver calls (SAT/UNSAT): 2979917(4696/2975221)
Jun 02, 2017 4:09:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1595/3728 took 408082 ms. Total solver calls (SAT/UNSAT): 2987389(4708/2982681)
Jun 02, 2017 4:09:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1599/3728 took 409098 ms. Total solver calls (SAT/UNSAT): 2994861(4720/2990141)
Jun 02, 2017 4:09:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1603/3728 took 410116 ms. Total solver calls (SAT/UNSAT): 3002332(4732/2997600)
Jun 02, 2017 4:09:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1607/3728 took 411128 ms. Total solver calls (SAT/UNSAT): 3009804(4744/3005060)
Jun 02, 2017 4:09:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1611/3728 took 412143 ms. Total solver calls (SAT/UNSAT): 3017276(4756/3012520)
Jun 02, 2017 4:09:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1615/3728 took 413162 ms. Total solver calls (SAT/UNSAT): 3024748(4768/3019980)
Jun 02, 2017 4:09:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1619/3728 took 414184 ms. Total solver calls (SAT/UNSAT): 3032220(4780/3027440)
Jun 02, 2017 4:09:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1623/3728 took 415196 ms. Total solver calls (SAT/UNSAT): 3039692(4792/3034900)
Jun 02, 2017 4:09:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1627/3728 took 416211 ms. Total solver calls (SAT/UNSAT): 3047164(4804/3042360)
Jun 02, 2017 4:09:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1631/3728 took 417227 ms. Total solver calls (SAT/UNSAT): 3054636(4816/3049820)
Jun 02, 2017 4:09:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1635/3728 took 418246 ms. Total solver calls (SAT/UNSAT): 3062108(4828/3057280)
Jun 02, 2017 4:09:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1639/3728 took 419259 ms. Total solver calls (SAT/UNSAT): 3069580(4840/3064740)
Jun 02, 2017 4:09:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1643/3728 took 420272 ms. Total solver calls (SAT/UNSAT): 3077052(4852/3072200)
Jun 02, 2017 4:09:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1647/3728 took 421287 ms. Total solver calls (SAT/UNSAT): 3084524(4864/3079660)
Jun 02, 2017 4:09:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1651/3728 took 422302 ms. Total solver calls (SAT/UNSAT): 3091996(4876/3087120)
Jun 02, 2017 4:09:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1655/3728 took 423318 ms. Total solver calls (SAT/UNSAT): 3099468(4888/3094580)
Jun 02, 2017 4:09:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1659/3728 took 424335 ms. Total solver calls (SAT/UNSAT): 3106940(4900/3102040)
Jun 02, 2017 4:09:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1663/3728 took 425352 ms. Total solver calls (SAT/UNSAT): 3114412(4912/3109500)
Jun 02, 2017 4:09:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1667/3728 took 426368 ms. Total solver calls (SAT/UNSAT): 3121884(4924/3116960)
Jun 02, 2017 4:09:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1671/3728 took 427384 ms. Total solver calls (SAT/UNSAT): 3129356(4936/3124420)
Jun 02, 2017 4:09:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1675/3728 took 428442 ms. Total solver calls (SAT/UNSAT): 3136828(4948/3131880)
Jun 02, 2017 4:09:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1679/3728 took 429458 ms. Total solver calls (SAT/UNSAT): 3144300(4960/3139340)
Jun 02, 2017 4:09:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1682/3728 took 430828 ms. Total solver calls (SAT/UNSAT): 3154466(4969/3149497)
Jun 02, 2017 4:09:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1685/3728 took 432222 ms. Total solver calls (SAT/UNSAT): 3164633(4978/3159655)
Jun 02, 2017 4:09:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1688/3728 took 433678 ms. Total solver calls (SAT/UNSAT): 3174800(4987/3169813)
Jun 02, 2017 4:09:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1691/3728 took 435083 ms. Total solver calls (SAT/UNSAT): 3184967(4996/3179971)
Jun 02, 2017 4:09:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1694/3728 took 436492 ms. Total solver calls (SAT/UNSAT): 3195134(5005/3190129)
Jun 02, 2017 4:09:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1697/3728 took 437904 ms. Total solver calls (SAT/UNSAT): 3205301(5014/3200287)
Jun 02, 2017 4:09:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1700/3728 took 439309 ms. Total solver calls (SAT/UNSAT): 3215468(5023/3210445)
Jun 02, 2017 4:09:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1703/3728 took 440711 ms. Total solver calls (SAT/UNSAT): 3225635(5032/3220603)
Jun 02, 2017 4:10:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1706/3728 took 442132 ms. Total solver calls (SAT/UNSAT): 3235802(5041/3230761)
Jun 02, 2017 4:10:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1709/3728 took 443542 ms. Total solver calls (SAT/UNSAT): 3245969(5050/3240919)
Jun 02, 2017 4:10:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1712/3728 took 444950 ms. Total solver calls (SAT/UNSAT): 3256136(5059/3251077)
Jun 02, 2017 4:10:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1715/3728 took 446362 ms. Total solver calls (SAT/UNSAT): 3266303(5068/3261235)
Jun 02, 2017 4:10:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1718/3728 took 447766 ms. Total solver calls (SAT/UNSAT): 3276470(5077/3271393)
Jun 02, 2017 4:10:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1721/3728 took 449197 ms. Total solver calls (SAT/UNSAT): 3286637(5086/3281551)
Jun 02, 2017 4:10:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1724/3728 took 450571 ms. Total solver calls (SAT/UNSAT): 3296804(5095/3291709)
Jun 02, 2017 4:10:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1727/3728 took 451941 ms. Total solver calls (SAT/UNSAT): 3306971(5104/3301867)
Jun 02, 2017 4:10:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1730/3728 took 453319 ms. Total solver calls (SAT/UNSAT): 3317138(5113/3312025)
Jun 02, 2017 4:10:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1733/3728 took 454695 ms. Total solver calls (SAT/UNSAT): 3327305(5122/3322183)
Jun 02, 2017 4:10:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1736/3728 took 456058 ms. Total solver calls (SAT/UNSAT): 3337472(5131/3332341)
Jun 02, 2017 4:10:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1739/3728 took 457434 ms. Total solver calls (SAT/UNSAT): 3347639(5140/3342499)
Jun 02, 2017 4:10:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1741/3728 took 458498 ms. Total solver calls (SAT/UNSAT): 3354417(5146/3349271)
Jun 02, 2017 4:10:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1744/3728 took 459911 ms. Total solver calls (SAT/UNSAT): 3364584(5155/3359429)
Jun 02, 2017 4:10:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1747/3728 took 461320 ms. Total solver calls (SAT/UNSAT): 3374751(5164/3369587)
Jun 02, 2017 4:10:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1750/3728 took 462730 ms. Total solver calls (SAT/UNSAT): 3384918(5173/3379745)
Jun 02, 2017 4:10:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1753/3728 took 464135 ms. Total solver calls (SAT/UNSAT): 3395085(5182/3389903)
Jun 02, 2017 4:10:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1756/3728 took 465554 ms. Total solver calls (SAT/UNSAT): 3405252(5191/3400061)
Jun 02, 2017 4:10:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1759/3728 took 466958 ms. Total solver calls (SAT/UNSAT): 3415419(5200/3410219)
Jun 02, 2017 4:10:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1763/3728 took 467987 ms. Total solver calls (SAT/UNSAT): 3422888(5212/3417676)
Jun 02, 2017 4:10:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1767/3728 took 469018 ms. Total solver calls (SAT/UNSAT): 3430356(5224/3425132)
Jun 02, 2017 4:10:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1771/3728 took 470050 ms. Total solver calls (SAT/UNSAT): 3437824(5236/3432588)
Jun 02, 2017 4:10:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1775/3728 took 471086 ms. Total solver calls (SAT/UNSAT): 3445292(5248/3440044)
Jun 02, 2017 4:10:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1779/3728 took 472117 ms. Total solver calls (SAT/UNSAT): 3452760(5260/3447500)
Jun 02, 2017 4:10:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1783/3728 took 473360 ms. Total solver calls (SAT/UNSAT): 3461753(5272/3456481)
Jun 02, 2017 4:10:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1787/3728 took 474394 ms. Total solver calls (SAT/UNSAT): 3469225(5284/3463941)
Jun 02, 2017 4:10:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1791/3728 took 475423 ms. Total solver calls (SAT/UNSAT): 3476697(5296/3471401)
Jun 02, 2017 4:10:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1795/3728 took 476454 ms. Total solver calls (SAT/UNSAT): 3484169(5308/3478861)
Jun 02, 2017 4:10:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1799/3728 took 477482 ms. Total solver calls (SAT/UNSAT): 3491641(5320/3486321)
Jun 02, 2017 4:10:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1803/3728 took 478727 ms. Total solver calls (SAT/UNSAT): 3500635(5332/3495303)
Jun 02, 2017 4:10:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1807/3728 took 479753 ms. Total solver calls (SAT/UNSAT): 3508107(5344/3502763)
Jun 02, 2017 4:10:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1811/3728 took 480780 ms. Total solver calls (SAT/UNSAT): 3515579(5356/3510223)
Jun 02, 2017 4:10:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1815/3728 took 481811 ms. Total solver calls (SAT/UNSAT): 3523051(5368/3517683)
Jun 02, 2017 4:10:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1819/3728 took 482843 ms. Total solver calls (SAT/UNSAT): 3530523(5380/3525143)
Jun 02, 2017 4:10:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1823/3728 took 484087 ms. Total solver calls (SAT/UNSAT): 3539517(5392/3534125)
Jun 02, 2017 4:10:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1827/3728 took 485115 ms. Total solver calls (SAT/UNSAT): 3546989(5404/3541585)
Jun 02, 2017 4:10:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1831/3728 took 486155 ms. Total solver calls (SAT/UNSAT): 3554461(5416/3549045)
Jun 02, 2017 4:10:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1835/3728 took 487185 ms. Total solver calls (SAT/UNSAT): 3561933(5428/3556505)
Jun 02, 2017 4:10:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1839/3728 took 488220 ms. Total solver calls (SAT/UNSAT): 3569405(5440/3563965)
Jun 02, 2017 4:10:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1843/3728 took 489459 ms. Total solver calls (SAT/UNSAT): 3578398(5452/3572946)
Jun 02, 2017 4:10:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1847/3728 took 490483 ms. Total solver calls (SAT/UNSAT): 3585871(5464/3580407)
Jun 02, 2017 4:10:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1851/3728 took 491510 ms. Total solver calls (SAT/UNSAT): 3593343(5476/3587867)
Jun 02, 2017 4:10:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1855/3728 took 492541 ms. Total solver calls (SAT/UNSAT): 3600815(5488/3595327)
Jun 02, 2017 4:10:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1859/3728 took 493580 ms. Total solver calls (SAT/UNSAT): 3608287(5500/3602787)
Jun 02, 2017 4:10:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1863/3728 took 494613 ms. Total solver calls (SAT/UNSAT): 3615759(5512/3610247)
Jun 02, 2017 4:10:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1867/3728 took 495855 ms. Total solver calls (SAT/UNSAT): 3624753(5524/3619229)
Jun 02, 2017 4:10:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1871/3728 took 496929 ms. Total solver calls (SAT/UNSAT): 3632225(5536/3626689)
Jun 02, 2017 4:10:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1875/3728 took 498036 ms. Total solver calls (SAT/UNSAT): 3639697(5548/3634149)
Jun 02, 2017 4:10:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1879/3728 took 499064 ms. Total solver calls (SAT/UNSAT): 3647169(5560/3641609)
Jun 02, 2017 4:10:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1883/3728 took 500085 ms. Total solver calls (SAT/UNSAT): 3654641(5572/3649069)
Jun 02, 2017 4:11:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1887/3728 took 501320 ms. Total solver calls (SAT/UNSAT): 3663635(5584/3658051)
Jun 02, 2017 4:11:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1891/3728 took 502335 ms. Total solver calls (SAT/UNSAT): 3671107(5596/3665511)
Jun 02, 2017 4:11:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1895/3728 took 503355 ms. Total solver calls (SAT/UNSAT): 3678579(5608/3672971)
Jun 02, 2017 4:11:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1899/3728 took 504377 ms. Total solver calls (SAT/UNSAT): 3686051(5620/3680431)
Jun 02, 2017 4:11:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1903/3728 took 505436 ms. Total solver calls (SAT/UNSAT): 3693523(5632/3687891)
Jun 02, 2017 4:11:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1907/3728 took 506677 ms. Total solver calls (SAT/UNSAT): 3702517(5644/3696873)
Jun 02, 2017 4:11:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1911/3728 took 507711 ms. Total solver calls (SAT/UNSAT): 3709989(5656/3704333)
Jun 02, 2017 4:11:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1915/3728 took 508744 ms. Total solver calls (SAT/UNSAT): 3717461(5668/3711793)
Jun 02, 2017 4:11:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1919/3728 took 509776 ms. Total solver calls (SAT/UNSAT): 3724933(5680/3719253)
Jun 02, 2017 4:11:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1923/3728 took 510810 ms. Total solver calls (SAT/UNSAT): 3732405(5692/3726713)
Jun 02, 2017 4:11:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1927/3728 took 512044 ms. Total solver calls (SAT/UNSAT): 3741398(5704/3735694)
Jun 02, 2017 4:11:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1931/3728 took 513070 ms. Total solver calls (SAT/UNSAT): 3748871(5716/3743155)
Jun 02, 2017 4:11:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1935/3728 took 514106 ms. Total solver calls (SAT/UNSAT): 3756343(5728/3750615)
Jun 02, 2017 4:11:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1939/3728 took 515127 ms. Total solver calls (SAT/UNSAT): 3763815(5740/3758075)
Jun 02, 2017 4:11:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1943/3728 took 516170 ms. Total solver calls (SAT/UNSAT): 3771287(5752/3765535)
Jun 02, 2017 4:11:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1947/3728 took 517197 ms. Total solver calls (SAT/UNSAT): 3778759(5764/3772995)
Jun 02, 2017 4:11:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1951/3728 took 518432 ms. Total solver calls (SAT/UNSAT): 3787753(5776/3781977)
Jun 02, 2017 4:11:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1955/3728 took 519463 ms. Total solver calls (SAT/UNSAT): 3795225(5788/3789437)
Jun 02, 2017 4:11:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1959/3728 took 520489 ms. Total solver calls (SAT/UNSAT): 3802697(5800/3796897)
Jun 02, 2017 4:11:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1963/3728 took 521518 ms. Total solver calls (SAT/UNSAT): 3810169(5812/3804357)
Jun 02, 2017 4:11:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1967/3728 took 522548 ms. Total solver calls (SAT/UNSAT): 3817641(5824/3811817)
Jun 02, 2017 4:11:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1971/3728 took 523774 ms. Total solver calls (SAT/UNSAT): 3826635(5836/3820799)
Jun 02, 2017 4:11:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1975/3728 took 524801 ms. Total solver calls (SAT/UNSAT): 3834107(5848/3828259)
Jun 02, 2017 4:11:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1979/3728 took 525824 ms. Total solver calls (SAT/UNSAT): 3841579(5860/3835719)
Jun 02, 2017 4:11:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1983/3728 took 526851 ms. Total solver calls (SAT/UNSAT): 3849051(5872/3843179)
Jun 02, 2017 4:11:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1987/3728 took 527874 ms. Total solver calls (SAT/UNSAT): 3856523(5884/3850639)
Jun 02, 2017 4:11:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1991/3728 took 529103 ms. Total solver calls (SAT/UNSAT): 3865517(5896/3859621)
Jun 02, 2017 4:11:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1995/3728 took 530131 ms. Total solver calls (SAT/UNSAT): 3872989(5908/3867081)
Jun 02, 2017 4:11:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1999/3728 took 531151 ms. Total solver calls (SAT/UNSAT): 3880461(5920/3874541)
Jun 02, 2017 4:11:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2003/3728 took 532174 ms. Total solver calls (SAT/UNSAT): 3887933(5932/3882001)
Jun 02, 2017 4:11:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2007/3728 took 533199 ms. Total solver calls (SAT/UNSAT): 3895405(5944/3889461)
Jun 02, 2017 4:11:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2011/3728 took 534443 ms. Total solver calls (SAT/UNSAT): 3904398(5956/3898442)
Jun 02, 2017 4:11:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2015/3728 took 535483 ms. Total solver calls (SAT/UNSAT): 3911871(5968/3905903)
Jun 02, 2017 4:11:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2019/3728 took 536537 ms. Total solver calls (SAT/UNSAT): 3919343(5980/3913363)
Jun 02, 2017 4:11:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2023/3728 took 537568 ms. Total solver calls (SAT/UNSAT): 3926815(5992/3920823)
Jun 02, 2017 4:11:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2027/3728 took 538597 ms. Total solver calls (SAT/UNSAT): 3934287(6004/3928283)
Jun 02, 2017 4:11:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2031/3728 took 539709 ms. Total solver calls (SAT/UNSAT): 3941759(6016/3935743)
Jun 02, 2017 4:11:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2034/3728 took 540759 ms. Total solver calls (SAT/UNSAT): 3948885(6025/3942860)
Jun 02, 2017 4:11:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2038/3728 took 541862 ms. Total solver calls (SAT/UNSAT): 3956357(6037/3950320)
Jun 02, 2017 4:11:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2042/3728 took 542945 ms. Total solver calls (SAT/UNSAT): 3963829(6049/3957780)
Jun 02, 2017 4:11:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2046/3728 took 544013 ms. Total solver calls (SAT/UNSAT): 3971301(6061/3965240)
Jun 02, 2017 4:11:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2050/3728 took 545105 ms. Total solver calls (SAT/UNSAT): 3978773(6073/3972700)
Jun 02, 2017 4:11:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2053/3728 took 546253 ms. Total solver calls (SAT/UNSAT): 3985898(6082/3979816)
Jun 02, 2017 4:11:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2057/3728 took 547407 ms. Total solver calls (SAT/UNSAT): 3993371(6094/3987277)
Jun 02, 2017 4:11:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2061/3728 took 548492 ms. Total solver calls (SAT/UNSAT): 4000843(6106/3994737)
Jun 02, 2017 4:11:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2065/3728 took 549528 ms. Total solver calls (SAT/UNSAT): 4008315(6118/4002197)
Jun 02, 2017 4:11:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2069/3728 took 550654 ms. Total solver calls (SAT/UNSAT): 4015787(6130/4009657)
Jun 02, 2017 4:11:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2073/3728 took 551802 ms. Total solver calls (SAT/UNSAT): 4023259(6142/4017117)
Jun 02, 2017 4:11:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2076/3728 took 552906 ms. Total solver calls (SAT/UNSAT): 4030385(6151/4024234)
Jun 02, 2017 4:11:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2080/3728 took 554114 ms. Total solver calls (SAT/UNSAT): 4037857(6163/4031694)
Jun 02, 2017 4:11:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2084/3728 took 555369 ms. Total solver calls (SAT/UNSAT): 4045329(6175/4039154)
Jun 02, 2017 4:11:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2088/3728 took 556525 ms. Total solver calls (SAT/UNSAT): 4052801(6187/4046614)
Jun 02, 2017 4:11:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2092/3728 took 557692 ms. Total solver calls (SAT/UNSAT): 4060273(6199/4054074)
Jun 02, 2017 4:11:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2095/3728 took 558768 ms. Total solver calls (SAT/UNSAT): 4067398(6208/4061190)
Jun 02, 2017 4:11:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2099/3728 took 559794 ms. Total solver calls (SAT/UNSAT): 4074871(6220/4068651)
Jun 02, 2017 4:12:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2103/3728 took 560823 ms. Total solver calls (SAT/UNSAT): 4082343(6232/4076111)
Jun 02, 2017 4:12:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2107/3728 took 561848 ms. Total solver calls (SAT/UNSAT): 4089815(6244/4083571)
Jun 02, 2017 4:12:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2111/3728 took 562981 ms. Total solver calls (SAT/UNSAT): 4097287(6256/4091031)
Jun 02, 2017 4:12:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2115/3728 took 563985 ms. Total solver calls (SAT/UNSAT): 4104759(6268/4098491)
Jun 02, 2017 4:12:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2119/3728 took 565207 ms. Total solver calls (SAT/UNSAT): 4113753(6280/4107473)
Jun 02, 2017 4:12:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2123/3728 took 566313 ms. Total solver calls (SAT/UNSAT): 4121225(6292/4114933)
Jun 02, 2017 4:12:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2127/3728 took 567418 ms. Total solver calls (SAT/UNSAT): 4128697(6304/4122393)
Jun 02, 2017 4:12:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2131/3728 took 568431 ms. Total solver calls (SAT/UNSAT): 4136169(6316/4129853)
Jun 02, 2017 4:12:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2135/3728 took 569450 ms. Total solver calls (SAT/UNSAT): 4143641(6328/4137313)
Jun 02, 2017 4:12:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2139/3728 took 570666 ms. Total solver calls (SAT/UNSAT): 4152635(6340/4146295)
Jun 02, 2017 4:12:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2143/3728 took 571674 ms. Total solver calls (SAT/UNSAT): 4160107(6352/4153755)
Jun 02, 2017 4:12:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2147/3728 took 572688 ms. Total solver calls (SAT/UNSAT): 4167579(6364/4161215)
Jun 02, 2017 4:12:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2151/3728 took 573703 ms. Total solver calls (SAT/UNSAT): 4175051(6376/4168675)
Jun 02, 2017 4:12:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2155/3728 took 574765 ms. Total solver calls (SAT/UNSAT): 4182523(6388/4176135)
Jun 02, 2017 4:12:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2159/3728 took 575965 ms. Total solver calls (SAT/UNSAT): 4191517(6400/4185117)
Jun 02, 2017 4:12:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2163/3728 took 576976 ms. Total solver calls (SAT/UNSAT): 4198989(6412/4192577)
Jun 02, 2017 4:12:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2167/3728 took 577988 ms. Total solver calls (SAT/UNSAT): 4206461(6424/4200037)
Jun 02, 2017 4:12:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2171/3728 took 579187 ms. Total solver calls (SAT/UNSAT): 4213933(6436/4207497)
Jun 02, 2017 4:12:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2175/3728 took 580260 ms. Total solver calls (SAT/UNSAT): 4221405(6448/4214957)
Jun 02, 2017 4:12:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2179/3728 took 581558 ms. Total solver calls (SAT/UNSAT): 4230398(6460/4223938)
Jun 02, 2017 4:12:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2183/3728 took 582630 ms. Total solver calls (SAT/UNSAT): 4237871(6472/4231399)
Jun 02, 2017 4:12:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2187/3728 took 583817 ms. Total solver calls (SAT/UNSAT): 4245343(6484/4238859)
Jun 02, 2017 4:12:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2191/3728 took 584898 ms. Total solver calls (SAT/UNSAT): 4252815(6496/4246319)
Jun 02, 2017 4:12:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2195/3728 took 585908 ms. Total solver calls (SAT/UNSAT): 4260287(6508/4253779)
Jun 02, 2017 4:12:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2199/3728 took 587016 ms. Total solver calls (SAT/UNSAT): 4267759(6520/4261239)
Jun 02, 2017 4:12:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2202/3728 took 588047 ms. Total solver calls (SAT/UNSAT): 4274885(6529/4268356)
Jun 02, 2017 4:12:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2206/3728 took 589272 ms. Total solver calls (SAT/UNSAT): 4282357(6541/4275816)
Jun 02, 2017 4:12:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2210/3728 took 590285 ms. Total solver calls (SAT/UNSAT): 4289829(6553/4283276)
Jun 02, 2017 4:12:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2214/3728 took 591382 ms. Total solver calls (SAT/UNSAT): 4297301(6565/4290736)
Jun 02, 2017 4:12:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2218/3728 took 592399 ms. Total solver calls (SAT/UNSAT): 4304773(6577/4298196)
Jun 02, 2017 4:12:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2221/3728 took 593410 ms. Total solver calls (SAT/UNSAT): 4311898(6586/4305312)
Jun 02, 2017 4:12:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2225/3728 took 594496 ms. Total solver calls (SAT/UNSAT): 4319371(6598/4312773)
Jun 02, 2017 4:12:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2229/3728 took 595565 ms. Total solver calls (SAT/UNSAT): 4326843(6610/4320233)
Jun 02, 2017 4:12:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2233/3728 took 596608 ms. Total solver calls (SAT/UNSAT): 4334315(6622/4327693)
Jun 02, 2017 4:12:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2237/3728 took 597677 ms. Total solver calls (SAT/UNSAT): 4341787(6634/4335153)
Jun 02, 2017 4:12:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2241/3728 took 598846 ms. Total solver calls (SAT/UNSAT): 4349259(6646/4342613)
Jun 02, 2017 4:12:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2244/3728 took 599892 ms. Total solver calls (SAT/UNSAT): 4356385(6655/4349730)
Jun 02, 2017 4:12:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2248/3728 took 600898 ms. Total solver calls (SAT/UNSAT): 4363857(6667/4357190)
Jun 02, 2017 4:12:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2252/3728 took 601901 ms. Total solver calls (SAT/UNSAT): 4371329(6679/4364650)
Jun 02, 2017 4:12:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2256/3728 took 602916 ms. Total solver calls (SAT/UNSAT): 4378801(6691/4372110)
Jun 02, 2017 4:12:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2260/3728 took 603918 ms. Total solver calls (SAT/UNSAT): 4386273(6703/4379570)
Jun 02, 2017 4:12:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2264/3728 took 605213 ms. Total solver calls (SAT/UNSAT): 4395267(6715/4388552)
Jun 02, 2017 4:12:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2268/3728 took 606252 ms. Total solver calls (SAT/UNSAT): 4402739(6727/4396012)
Jun 02, 2017 4:12:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2272/3728 took 607290 ms. Total solver calls (SAT/UNSAT): 4410211(6739/4403472)
Jun 02, 2017 4:12:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2276/3728 took 608352 ms. Total solver calls (SAT/UNSAT): 4417683(6751/4410932)
Jun 02, 2017 4:12:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2280/3728 took 609368 ms. Total solver calls (SAT/UNSAT): 4425155(6763/4418392)
Jun 02, 2017 4:12:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2284/3728 took 610652 ms. Total solver calls (SAT/UNSAT): 4434148(6775/4427373)
Jun 02, 2017 4:12:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2289/3728 took 611896 ms. Total solver calls (SAT/UNSAT): 4443489(6790/4436699)
Jun 02, 2017 4:12:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2293/3728 took 612913 ms. Total solver calls (SAT/UNSAT): 4450961(6802/4444159)
Jun 02, 2017 4:12:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2297/3728 took 613996 ms. Total solver calls (SAT/UNSAT): 4458433(6814/4451619)
Jun 02, 2017 4:12:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2301/3728 took 615027 ms. Total solver calls (SAT/UNSAT): 4465905(6826/4459079)
Jun 02, 2017 4:12:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2305/3728 took 616303 ms. Total solver calls (SAT/UNSAT): 4474898(6838/4468060)
Jun 02, 2017 4:12:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2309/3728 took 617368 ms. Total solver calls (SAT/UNSAT): 4482371(6850/4475521)
Jun 02, 2017 4:12:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2313/3728 took 618378 ms. Total solver calls (SAT/UNSAT): 4489843(6862/4482981)
Jun 02, 2017 4:12:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2317/3728 took 619477 ms. Total solver calls (SAT/UNSAT): 4497315(6874/4490441)
Jun 02, 2017 4:12:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2321/3728 took 620594 ms. Total solver calls (SAT/UNSAT): 4504787(6886/4497901)
Jun 02, 2017 4:13:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2325/3728 took 621688 ms. Total solver calls (SAT/UNSAT): 4512259(6898/4505361)
Jun 02, 2017 4:13:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2329/3728 took 622912 ms. Total solver calls (SAT/UNSAT): 4521253(6910/4514343)
Jun 02, 2017 4:13:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2333/3728 took 623926 ms. Total solver calls (SAT/UNSAT): 4528725(6922/4521803)
Jun 02, 2017 4:13:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2337/3728 took 624962 ms. Total solver calls (SAT/UNSAT): 4536197(6934/4529263)
Jun 02, 2017 4:13:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2341/3728 took 626059 ms. Total solver calls (SAT/UNSAT): 4543669(6946/4536723)
Jun 02, 2017 4:13:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2345/3728 took 627163 ms. Total solver calls (SAT/UNSAT): 4551141(6958/4544183)
Jun 02, 2017 4:13:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2349/3728 took 628390 ms. Total solver calls (SAT/UNSAT): 4560135(6970/4553165)
Jun 02, 2017 4:13:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2353/3728 took 629402 ms. Total solver calls (SAT/UNSAT): 4567607(6982/4560625)
Jun 02, 2017 4:13:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2357/3728 took 630454 ms. Total solver calls (SAT/UNSAT): 4575079(6994/4568085)
Jun 02, 2017 4:13:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2361/3728 took 631567 ms. Total solver calls (SAT/UNSAT): 4582551(7006/4575545)
Jun 02, 2017 4:13:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2365/3728 took 632586 ms. Total solver calls (SAT/UNSAT): 4590023(7018/4583005)
Jun 02, 2017 4:13:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2369/3728 took 633818 ms. Total solver calls (SAT/UNSAT): 4599017(7030/4591987)
Jun 02, 2017 4:13:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2373/3728 took 634892 ms. Total solver calls (SAT/UNSAT): 4606489(7042/4599447)
Jun 02, 2017 4:13:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2377/3728 took 635916 ms. Total solver calls (SAT/UNSAT): 4613961(7054/4606907)
Jun 02, 2017 4:13:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2381/3728 took 636997 ms. Total solver calls (SAT/UNSAT): 4621433(7066/4614367)
Jun 02, 2017 4:13:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2385/3728 took 638148 ms. Total solver calls (SAT/UNSAT): 4628905(7078/4621827)
Jun 02, 2017 4:13:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2389/3728 took 639522 ms. Total solver calls (SAT/UNSAT): 4637898(7090/4630808)
Jun 02, 2017 4:13:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2393/3728 took 640549 ms. Total solver calls (SAT/UNSAT): 4645371(7102/4638269)
Jun 02, 2017 4:13:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2397/3728 took 641574 ms. Total solver calls (SAT/UNSAT): 4652843(7114/4645729)
Jun 02, 2017 4:13:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2401/3728 took 642649 ms. Total solver calls (SAT/UNSAT): 4660315(7126/4653189)
Jun 02, 2017 4:13:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2405/3728 took 643683 ms. Total solver calls (SAT/UNSAT): 4667787(7138/4660649)
Jun 02, 2017 4:13:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2409/3728 took 644718 ms. Total solver calls (SAT/UNSAT): 4675259(7150/4668109)
Jun 02, 2017 4:13:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2413/3728 took 645965 ms. Total solver calls (SAT/UNSAT): 4684253(7162/4677091)
Jun 02, 2017 4:13:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2417/3728 took 647035 ms. Total solver calls (SAT/UNSAT): 4691725(7174/4684551)
Jun 02, 2017 4:13:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2421/3728 took 648153 ms. Total solver calls (SAT/UNSAT): 4699197(7186/4692011)
Jun 02, 2017 4:13:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2425/3728 took 649316 ms. Total solver calls (SAT/UNSAT): 4706669(7198/4699471)
Jun 02, 2017 4:13:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2429/3728 took 650323 ms. Total solver calls (SAT/UNSAT): 4714141(7210/4706931)
Jun 02, 2017 4:13:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2432/3728 took 651334 ms. Total solver calls (SAT/UNSAT): 4721267(7219/4714048)
Jun 02, 2017 4:13:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2436/3728 took 652470 ms. Total solver calls (SAT/UNSAT): 4728739(7231/4721508)
Jun 02, 2017 4:13:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2440/3728 took 653480 ms. Total solver calls (SAT/UNSAT): 4736211(7243/4728968)
Jun 02, 2017 4:13:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2444/3728 took 654559 ms. Total solver calls (SAT/UNSAT): 4743683(7255/4736428)
Jun 02, 2017 4:13:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2448/3728 took 655649 ms. Total solver calls (SAT/UNSAT): 4751155(7267/4743888)
Jun 02, 2017 4:13:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2452/3728 took 656897 ms. Total solver calls (SAT/UNSAT): 4760148(7279/4752869)
Jun 02, 2017 4:13:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2456/3728 took 657933 ms. Total solver calls (SAT/UNSAT): 4767621(7291/4760330)
Jun 02, 2017 4:13:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2460/3728 took 658977 ms. Total solver calls (SAT/UNSAT): 4775093(7303/4767790)
Jun 02, 2017 4:13:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2464/3728 took 660006 ms. Total solver calls (SAT/UNSAT): 4782565(7315/4775250)
Jun 02, 2017 4:13:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2468/3728 took 661161 ms. Total solver calls (SAT/UNSAT): 4790037(7327/4782710)
Jun 02, 2017 4:13:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2472/3728 took 662168 ms. Total solver calls (SAT/UNSAT): 4797509(7339/4790170)
Jun 02, 2017 4:13:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2476/3728 took 663374 ms. Total solver calls (SAT/UNSAT): 4806503(7351/4799152)
Jun 02, 2017 4:13:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2480/3728 took 664389 ms. Total solver calls (SAT/UNSAT): 4813975(7363/4806612)
Jun 02, 2017 4:13:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2484/3728 took 665458 ms. Total solver calls (SAT/UNSAT): 4821447(7375/4814072)
Jun 02, 2017 4:13:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2488/3728 took 666604 ms. Total solver calls (SAT/UNSAT): 4828919(7387/4821532)
Jun 02, 2017 4:13:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2492/3728 took 667626 ms. Total solver calls (SAT/UNSAT): 4836391(7399/4828992)
Jun 02, 2017 4:13:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2495/3728 took 668642 ms. Total solver calls (SAT/UNSAT): 4843517(7408/4836109)
Jun 02, 2017 4:13:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2499/3728 took 669741 ms. Total solver calls (SAT/UNSAT): 4850989(7420/4843569)
Jun 02, 2017 4:13:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2503/3728 took 670886 ms. Total solver calls (SAT/UNSAT): 4858461(7432/4851029)
Jun 02, 2017 4:13:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2507/3728 took 671936 ms. Total solver calls (SAT/UNSAT): 4865933(7444/4858489)
Jun 02, 2017 4:13:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2511/3728 took 673017 ms. Total solver calls (SAT/UNSAT): 4873405(7456/4865949)
Jun 02, 2017 4:13:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2515/3728 took 674267 ms. Total solver calls (SAT/UNSAT): 4882398(7468/4874930)
Jun 02, 2017 4:13:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2519/3728 took 675400 ms. Total solver calls (SAT/UNSAT): 4889871(7480/4882391)
Jun 02, 2017 4:13:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2523/3728 took 676429 ms. Total solver calls (SAT/UNSAT): 4897343(7492/4889851)
Jun 02, 2017 4:13:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2527/3728 took 677460 ms. Total solver calls (SAT/UNSAT): 4904815(7504/4897311)
Jun 02, 2017 4:13:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2531/3728 took 678542 ms. Total solver calls (SAT/UNSAT): 4912287(7516/4904771)
Jun 02, 2017 4:13:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2535/3728 took 679583 ms. Total solver calls (SAT/UNSAT): 4919759(7528/4912231)
Jun 02, 2017 4:14:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2539/3728 took 680814 ms. Total solver calls (SAT/UNSAT): 4928753(7540/4921213)
Jun 02, 2017 4:14:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2543/3728 took 681844 ms. Total solver calls (SAT/UNSAT): 4936225(7552/4928673)
Jun 02, 2017 4:14:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2547/3728 took 682868 ms. Total solver calls (SAT/UNSAT): 4943697(7564/4936133)
Jun 02, 2017 4:14:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2551/3728 took 683911 ms. Total solver calls (SAT/UNSAT): 4951169(7576/4943593)
Jun 02, 2017 4:14:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2555/3728 took 684934 ms. Total solver calls (SAT/UNSAT): 4958641(7588/4951053)
Jun 02, 2017 4:14:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2559/3728 took 686169 ms. Total solver calls (SAT/UNSAT): 4967635(7600/4960035)
Jun 02, 2017 4:14:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2563/3728 took 687195 ms. Total solver calls (SAT/UNSAT): 4975107(7612/4967495)
Jun 02, 2017 4:14:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2567/3728 took 688218 ms. Total solver calls (SAT/UNSAT): 4982579(7624/4974955)
Jun 02, 2017 4:14:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2571/3728 took 689244 ms. Total solver calls (SAT/UNSAT): 4990051(7636/4982415)
Jun 02, 2017 4:14:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2575/3728 took 690266 ms. Total solver calls (SAT/UNSAT): 4997523(7648/4989875)
Jun 02, 2017 4:14:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2579/3728 took 691500 ms. Total solver calls (SAT/UNSAT): 5006517(7660/4998857)
Jun 02, 2017 4:14:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2583/3728 took 692528 ms. Total solver calls (SAT/UNSAT): 5013989(7672/5006317)
Jun 02, 2017 4:14:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2587/3728 took 693555 ms. Total solver calls (SAT/UNSAT): 5021461(7684/5013777)
Jun 02, 2017 4:14:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2591/3728 took 694580 ms. Total solver calls (SAT/UNSAT): 5028933(7696/5021237)
Jun 02, 2017 4:14:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2595/3728 took 695605 ms. Total solver calls (SAT/UNSAT): 5036405(7708/5028697)
Jun 02, 2017 4:14:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2599/3728 took 696838 ms. Total solver calls (SAT/UNSAT): 5045398(7720/5037678)
Jun 02, 2017 4:14:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2603/3728 took 697863 ms. Total solver calls (SAT/UNSAT): 5052871(7732/5045139)
Jun 02, 2017 4:14:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2607/3728 took 698893 ms. Total solver calls (SAT/UNSAT): 5060343(7744/5052599)
Jun 02, 2017 4:14:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2611/3728 took 699917 ms. Total solver calls (SAT/UNSAT): 5067815(7756/5060059)
Jun 02, 2017 4:14:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2615/3728 took 700941 ms. Total solver calls (SAT/UNSAT): 5075287(7768/5067519)
Jun 02, 2017 4:14:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2619/3728 took 701968 ms. Total solver calls (SAT/UNSAT): 5082759(7780/5074979)
Jun 02, 2017 4:14:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2623/3728 took 703202 ms. Total solver calls (SAT/UNSAT): 5091753(7792/5083961)
Jun 02, 2017 4:14:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2627/3728 took 704228 ms. Total solver calls (SAT/UNSAT): 5099225(7804/5091421)
Jun 02, 2017 4:14:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2631/3728 took 705262 ms. Total solver calls (SAT/UNSAT): 5106697(7816/5098881)
Jun 02, 2017 4:14:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2635/3728 took 706286 ms. Total solver calls (SAT/UNSAT): 5114169(7828/5106341)
Jun 02, 2017 4:14:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2639/3728 took 707312 ms. Total solver calls (SAT/UNSAT): 5121641(7840/5113801)
Jun 02, 2017 4:14:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2643/3728 took 708554 ms. Total solver calls (SAT/UNSAT): 5130635(7852/5122783)
Jun 02, 2017 4:14:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2647/3728 took 709583 ms. Total solver calls (SAT/UNSAT): 5138107(7864/5130243)
Jun 02, 2017 4:14:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2651/3728 took 710611 ms. Total solver calls (SAT/UNSAT): 5145579(7876/5137703)
Jun 02, 2017 4:14:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2655/3728 took 711643 ms. Total solver calls (SAT/UNSAT): 5153051(7888/5145163)
Jun 02, 2017 4:14:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2659/3728 took 712670 ms. Total solver calls (SAT/UNSAT): 5160523(7900/5152623)
Jun 02, 2017 4:14:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2663/3728 took 713906 ms. Total solver calls (SAT/UNSAT): 5169517(7912/5161605)
Jun 02, 2017 4:14:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2667/3728 took 714938 ms. Total solver calls (SAT/UNSAT): 5176989(7924/5169065)
Jun 02, 2017 4:14:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2671/3728 took 715968 ms. Total solver calls (SAT/UNSAT): 5184461(7936/5176525)
Jun 02, 2017 4:14:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2675/3728 took 716994 ms. Total solver calls (SAT/UNSAT): 5191933(7948/5183985)
Jun 02, 2017 4:14:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2679/3728 took 718019 ms. Total solver calls (SAT/UNSAT): 5199405(7960/5191445)
Jun 02, 2017 4:14:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2683/3728 took 719289 ms. Total solver calls (SAT/UNSAT): 5208398(7972/5200426)
Jun 02, 2017 4:14:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2687/3728 took 720323 ms. Total solver calls (SAT/UNSAT): 5215871(7984/5207887)
Jun 02, 2017 4:14:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2691/3728 took 721356 ms. Total solver calls (SAT/UNSAT): 5223343(7996/5215347)
Jun 02, 2017 4:14:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2695/3728 took 722392 ms. Total solver calls (SAT/UNSAT): 5230815(8008/5222807)
Jun 02, 2017 4:14:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2699/3728 took 723427 ms. Total solver calls (SAT/UNSAT): 5238287(8020/5230267)
Jun 02, 2017 4:14:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2703/3728 took 724464 ms. Total solver calls (SAT/UNSAT): 5245759(8032/5237727)
Jun 02, 2017 4:14:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2707/3728 took 725713 ms. Total solver calls (SAT/UNSAT): 5254753(8044/5246709)
Jun 02, 2017 4:14:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2711/3728 took 726742 ms. Total solver calls (SAT/UNSAT): 5262225(8056/5254169)
Jun 02, 2017 4:14:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2715/3728 took 727770 ms. Total solver calls (SAT/UNSAT): 5269697(8068/5261629)
Jun 02, 2017 4:14:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2719/3728 took 728801 ms. Total solver calls (SAT/UNSAT): 5277169(8080/5269089)
Jun 02, 2017 4:14:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2723/3728 took 729832 ms. Total solver calls (SAT/UNSAT): 5284641(8092/5276549)
Jun 02, 2017 4:14:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2727/3728 took 731070 ms. Total solver calls (SAT/UNSAT): 5293635(8104/5285531)
Jun 02, 2017 4:14:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2731/3728 took 732107 ms. Total solver calls (SAT/UNSAT): 5301107(8116/5292991)
Jun 02, 2017 4:14:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2735/3728 took 733143 ms. Total solver calls (SAT/UNSAT): 5308579(8128/5300451)
Jun 02, 2017 4:14:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2739/3728 took 734173 ms. Total solver calls (SAT/UNSAT): 5316051(8140/5307911)
Jun 02, 2017 4:14:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2743/3728 took 735203 ms. Total solver calls (SAT/UNSAT): 5323523(8152/5315371)
Jun 02, 2017 4:14:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2747/3728 took 736452 ms. Total solver calls (SAT/UNSAT): 5332517(8164/5324353)
Jun 02, 2017 4:14:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2751/3728 took 737484 ms. Total solver calls (SAT/UNSAT): 5339989(8176/5331813)
Jun 02, 2017 4:14:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2755/3728 took 738515 ms. Total solver calls (SAT/UNSAT): 5347461(8188/5339273)
Jun 02, 2017 4:14:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2759/3728 took 739551 ms. Total solver calls (SAT/UNSAT): 5354933(8200/5346733)
Jun 02, 2017 4:14:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2763/3728 took 740580 ms. Total solver calls (SAT/UNSAT): 5362405(8212/5354193)
Jun 02, 2017 4:15:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2767/3728 took 741818 ms. Total solver calls (SAT/UNSAT): 5371398(8224/5363174)
Jun 02, 2017 4:15:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2771/3728 took 742854 ms. Total solver calls (SAT/UNSAT): 5378871(8236/5370635)
Jun 02, 2017 4:15:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2775/3728 took 743885 ms. Total solver calls (SAT/UNSAT): 5386343(8248/5378095)
Jun 02, 2017 4:15:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2779/3728 took 744914 ms. Total solver calls (SAT/UNSAT): 5393815(8260/5385555)
Jun 02, 2017 4:15:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2783/3728 took 745946 ms. Total solver calls (SAT/UNSAT): 5401287(8272/5393015)
Jun 02, 2017 4:15:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2787/3728 took 746987 ms. Total solver calls (SAT/UNSAT): 5408759(8284/5400475)
Jun 02, 2017 4:15:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2791/3728 took 748224 ms. Total solver calls (SAT/UNSAT): 5417753(8296/5409457)
Jun 02, 2017 4:15:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2795/3728 took 749251 ms. Total solver calls (SAT/UNSAT): 5425225(8308/5416917)
Jun 02, 2017 4:15:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2799/3728 took 750300 ms. Total solver calls (SAT/UNSAT): 5432697(8320/5424377)
Jun 02, 2017 4:15:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2803/3728 took 751336 ms. Total solver calls (SAT/UNSAT): 5440169(8332/5431837)
Jun 02, 2017 4:15:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2807/3728 took 752364 ms. Total solver calls (SAT/UNSAT): 5447641(8344/5439297)
Jun 02, 2017 4:15:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2810/3728 took 753374 ms. Total solver calls (SAT/UNSAT): 5454767(8353/5446414)
Jun 02, 2017 4:15:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2814/3728 took 754415 ms. Total solver calls (SAT/UNSAT): 5462239(8365/5453874)
Jun 02, 2017 4:15:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2818/3728 took 755449 ms. Total solver calls (SAT/UNSAT): 5469711(8377/5461334)
Jun 02, 2017 4:15:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2822/3728 took 756481 ms. Total solver calls (SAT/UNSAT): 5477183(8389/5468794)
Jun 02, 2017 4:15:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2826/3728 took 757526 ms. Total solver calls (SAT/UNSAT): 5484655(8401/5476254)
Jun 02, 2017 4:15:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2830/3728 took 758775 ms. Total solver calls (SAT/UNSAT): 5493648(8413/5485235)
Jun 02, 2017 4:15:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2834/3728 took 759806 ms. Total solver calls (SAT/UNSAT): 5501121(8425/5492696)
Jun 02, 2017 4:15:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2838/3728 took 760847 ms. Total solver calls (SAT/UNSAT): 5508593(8437/5500156)
Jun 02, 2017 4:15:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2842/3728 took 761888 ms. Total solver calls (SAT/UNSAT): 5516065(8449/5507616)
Jun 02, 2017 4:15:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2846/3728 took 762925 ms. Total solver calls (SAT/UNSAT): 5523537(8461/5515076)
Jun 02, 2017 4:15:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2850/3728 took 763953 ms. Total solver calls (SAT/UNSAT): 5531009(8473/5522536)
Jun 02, 2017 4:15:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2854/3728 took 765207 ms. Total solver calls (SAT/UNSAT): 5540003(8485/5531518)
Jun 02, 2017 4:15:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2858/3728 took 766244 ms. Total solver calls (SAT/UNSAT): 5547475(8497/5538978)
Jun 02, 2017 4:15:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2862/3728 took 767276 ms. Total solver calls (SAT/UNSAT): 5554947(8509/5546438)
Jun 02, 2017 4:15:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2866/3728 took 768312 ms. Total solver calls (SAT/UNSAT): 5562419(8521/5553898)
Jun 02, 2017 4:15:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2870/3728 took 769350 ms. Total solver calls (SAT/UNSAT): 5569891(8533/5561358)
Jun 02, 2017 4:15:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2874/3728 took 770602 ms. Total solver calls (SAT/UNSAT): 5578885(8545/5570340)
Jun 02, 2017 4:15:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2878/3728 took 771641 ms. Total solver calls (SAT/UNSAT): 5586357(8557/5577800)
Jun 02, 2017 4:15:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2882/3728 took 772684 ms. Total solver calls (SAT/UNSAT): 5593829(8569/5585260)
Jun 02, 2017 4:15:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2886/3728 took 773724 ms. Total solver calls (SAT/UNSAT): 5601301(8581/5592720)
Jun 02, 2017 4:15:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2890/3728 took 774762 ms. Total solver calls (SAT/UNSAT): 5608773(8593/5600180)
Jun 02, 2017 4:15:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2894/3728 took 776010 ms. Total solver calls (SAT/UNSAT): 5617767(8605/5609162)
Jun 02, 2017 4:15:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2898/3728 took 777050 ms. Total solver calls (SAT/UNSAT): 5625239(8617/5616622)
Jun 02, 2017 4:15:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2902/3728 took 778088 ms. Total solver calls (SAT/UNSAT): 5632711(8629/5624082)
Jun 02, 2017 4:15:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2906/3728 took 779144 ms. Total solver calls (SAT/UNSAT): 5640183(8641/5631542)
Jun 02, 2017 4:15:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2910/3728 took 780181 ms. Total solver calls (SAT/UNSAT): 5647655(8653/5639002)
Jun 02, 2017 4:15:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2914/3728 took 781429 ms. Total solver calls (SAT/UNSAT): 5656648(8665/5647983)
Jun 02, 2017 4:15:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2918/3728 took 782466 ms. Total solver calls (SAT/UNSAT): 5664121(8677/5655444)
Jun 02, 2017 4:15:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2922/3728 took 783558 ms. Total solver calls (SAT/UNSAT): 5671593(8689/5662904)
Jun 02, 2017 4:15:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2926/3728 took 784594 ms. Total solver calls (SAT/UNSAT): 5679065(8701/5670364)
Jun 02, 2017 4:15:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2930/3728 took 785633 ms. Total solver calls (SAT/UNSAT): 5686537(8713/5677824)
Jun 02, 2017 4:15:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2934/3728 took 786671 ms. Total solver calls (SAT/UNSAT): 5694009(8725/5685284)
Jun 02, 2017 4:15:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2938/3728 took 787927 ms. Total solver calls (SAT/UNSAT): 5703003(8737/5694266)
Jun 02, 2017 4:15:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2942/3728 took 788975 ms. Total solver calls (SAT/UNSAT): 5710475(8749/5701726)
Jun 02, 2017 4:15:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2946/3728 took 790008 ms. Total solver calls (SAT/UNSAT): 5717947(8761/5709186)
Jun 02, 2017 4:15:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2950/3728 took 791054 ms. Total solver calls (SAT/UNSAT): 5725419(8773/5716646)
Jun 02, 2017 4:15:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2954/3728 took 792083 ms. Total solver calls (SAT/UNSAT): 5732891(8785/5724106)
Jun 02, 2017 4:15:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2958/3728 took 793308 ms. Total solver calls (SAT/UNSAT): 5741885(8797/5733088)
Jun 02, 2017 4:15:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2962/3728 took 794329 ms. Total solver calls (SAT/UNSAT): 5749357(8809/5740548)
Jun 02, 2017 4:15:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2966/3728 took 795362 ms. Total solver calls (SAT/UNSAT): 5756829(8821/5748008)
Jun 02, 2017 4:15:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2970/3728 took 796378 ms. Total solver calls (SAT/UNSAT): 5764301(8833/5755468)
Jun 02, 2017 4:15:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2974/3728 took 797399 ms. Total solver calls (SAT/UNSAT): 5771773(8845/5762928)
Jun 02, 2017 4:15:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2978/3728 took 798631 ms. Total solver calls (SAT/UNSAT): 5780767(8857/5771910)
Jun 02, 2017 4:15:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2982/3728 took 799653 ms. Total solver calls (SAT/UNSAT): 5788239(8869/5779370)
Jun 02, 2017 4:15:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2986/3728 took 800673 ms. Total solver calls (SAT/UNSAT): 5795711(8881/5786830)
Jun 02, 2017 4:16:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2990/3728 took 801697 ms. Total solver calls (SAT/UNSAT): 5803183(8893/5794290)
Jun 02, 2017 4:16:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2994/3728 took 802726 ms. Total solver calls (SAT/UNSAT): 5810655(8905/5801750)
Jun 02, 2017 4:16:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2998/3728 took 803955 ms. Total solver calls (SAT/UNSAT): 5819648(8917/5810731)
Jun 02, 2017 4:16:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3002/3728 took 804975 ms. Total solver calls (SAT/UNSAT): 5827121(8929/5818192)
Jun 02, 2017 4:16:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3006/3728 took 805996 ms. Total solver calls (SAT/UNSAT): 5834593(8941/5825652)
Jun 02, 2017 4:16:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3010/3728 took 807030 ms. Total solver calls (SAT/UNSAT): 5842065(8953/5833112)
Jun 02, 2017 4:16:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3014/3728 took 808050 ms. Total solver calls (SAT/UNSAT): 5849537(8965/5840572)
Jun 02, 2017 4:16:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3018/3728 took 809070 ms. Total solver calls (SAT/UNSAT): 5857009(8977/5848032)
Jun 02, 2017 4:16:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3022/3728 took 810302 ms. Total solver calls (SAT/UNSAT): 5866003(8989/5857014)
Jun 02, 2017 4:16:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3026/3728 took 811336 ms. Total solver calls (SAT/UNSAT): 5873475(9001/5864474)
Jun 02, 2017 4:16:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3030/3728 took 812354 ms. Total solver calls (SAT/UNSAT): 5880947(9013/5871934)
Jun 02, 2017 4:16:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3034/3728 took 813375 ms. Total solver calls (SAT/UNSAT): 5888419(9025/5879394)
Jun 02, 2017 4:16:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3038/3728 took 814399 ms. Total solver calls (SAT/UNSAT): 5895891(9037/5886854)
Jun 02, 2017 4:16:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3042/3728 took 815630 ms. Total solver calls (SAT/UNSAT): 5904885(9049/5895836)
Jun 02, 2017 4:16:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3046/3728 took 816649 ms. Total solver calls (SAT/UNSAT): 5912357(9061/5903296)
Jun 02, 2017 4:16:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3050/3728 took 817670 ms. Total solver calls (SAT/UNSAT): 5919829(9073/5910756)
Jun 02, 2017 4:16:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3054/3728 took 818697 ms. Total solver calls (SAT/UNSAT): 5927301(9085/5918216)
Jun 02, 2017 4:16:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3058/3728 took 819719 ms. Total solver calls (SAT/UNSAT): 5934773(9097/5925676)
Jun 02, 2017 4:16:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3062/3728 took 820946 ms. Total solver calls (SAT/UNSAT): 5943767(9109/5934658)
Jun 02, 2017 4:16:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3066/3728 took 821964 ms. Total solver calls (SAT/UNSAT): 5951239(9121/5942118)
Jun 02, 2017 4:16:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3070/3728 took 822989 ms. Total solver calls (SAT/UNSAT): 5958711(9133/5949578)
Jun 02, 2017 4:16:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3074/3728 took 824007 ms. Total solver calls (SAT/UNSAT): 5966183(9145/5957038)
Jun 02, 2017 4:16:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3078/3728 took 825025 ms. Total solver calls (SAT/UNSAT): 5973655(9157/5964498)
Jun 02, 2017 4:16:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3082/3728 took 826249 ms. Total solver calls (SAT/UNSAT): 5982648(9169/5973479)
Jun 02, 2017 4:16:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3086/3728 took 827273 ms. Total solver calls (SAT/UNSAT): 5990121(9181/5980940)
Jun 02, 2017 4:16:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3090/3728 took 828288 ms. Total solver calls (SAT/UNSAT): 5997593(9193/5988400)
Jun 02, 2017 4:16:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3094/3728 took 829307 ms. Total solver calls (SAT/UNSAT): 6005065(9205/5995860)
Jun 02, 2017 4:16:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3098/3728 took 830325 ms. Total solver calls (SAT/UNSAT): 6012537(9217/6003320)
Jun 02, 2017 4:16:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3102/3728 took 831396 ms. Total solver calls (SAT/UNSAT): 6020009(9229/6010780)
Jun 02, 2017 4:16:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3106/3728 took 832629 ms. Total solver calls (SAT/UNSAT): 6029003(9241/6019762)
Jun 02, 2017 4:16:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3110/3728 took 833651 ms. Total solver calls (SAT/UNSAT): 6036475(9253/6027222)
Jun 02, 2017 4:16:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3114/3728 took 834676 ms. Total solver calls (SAT/UNSAT): 6043947(9265/6034682)
Jun 02, 2017 4:16:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3118/3728 took 835706 ms. Total solver calls (SAT/UNSAT): 6051419(9277/6042142)
Jun 02, 2017 4:16:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3122/3728 took 836734 ms. Total solver calls (SAT/UNSAT): 6058891(9289/6049602)
Jun 02, 2017 4:16:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3126/3728 took 837971 ms. Total solver calls (SAT/UNSAT): 6067885(9301/6058584)
Jun 02, 2017 4:16:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3130/3728 took 839039 ms. Total solver calls (SAT/UNSAT): 6075357(9313/6066044)
Jun 02, 2017 4:16:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3134/3728 took 840058 ms. Total solver calls (SAT/UNSAT): 6082829(9325/6073504)
Jun 02, 2017 4:16:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3138/3728 took 841074 ms. Total solver calls (SAT/UNSAT): 6090301(9337/6080964)
Jun 02, 2017 4:16:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3142/3728 took 842095 ms. Total solver calls (SAT/UNSAT): 6097773(9349/6088424)
Jun 02, 2017 4:16:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3146/3728 took 843328 ms. Total solver calls (SAT/UNSAT): 6106767(9361/6097406)
Jun 02, 2017 4:16:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3150/3728 took 844346 ms. Total solver calls (SAT/UNSAT): 6114239(9373/6104866)
Jun 02, 2017 4:16:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3154/3728 took 845365 ms. Total solver calls (SAT/UNSAT): 6121711(9385/6112326)
Jun 02, 2017 4:16:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3158/3728 took 846383 ms. Total solver calls (SAT/UNSAT): 6129183(9397/6119786)
Jun 02, 2017 4:16:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3162/3728 took 847405 ms. Total solver calls (SAT/UNSAT): 6136655(9409/6127246)
Jun 02, 2017 4:16:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3166/3728 took 848638 ms. Total solver calls (SAT/UNSAT): 6145648(9421/6136227)
Jun 02, 2017 4:16:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3170/3728 took 849660 ms. Total solver calls (SAT/UNSAT): 6153121(9433/6143688)
Jun 02, 2017 4:16:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3174/3728 took 850687 ms. Total solver calls (SAT/UNSAT): 6160593(9445/6151148)
Jun 02, 2017 4:16:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3178/3728 took 851712 ms. Total solver calls (SAT/UNSAT): 6168065(9457/6158608)
Jun 02, 2017 4:16:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3182/3728 took 852737 ms. Total solver calls (SAT/UNSAT): 6175537(9469/6166068)
Jun 02, 2017 4:16:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3186/3728 took 853764 ms. Total solver calls (SAT/UNSAT): 6183009(9481/6173528)
Jun 02, 2017 4:16:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3190/3728 took 854994 ms. Total solver calls (SAT/UNSAT): 6192003(9493/6182510)
Jun 02, 2017 4:16:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3194/3728 took 856016 ms. Total solver calls (SAT/UNSAT): 6199475(9505/6189970)
Jun 02, 2017 4:16:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3198/3728 took 857040 ms. Total solver calls (SAT/UNSAT): 6206947(9517/6197430)
Jun 02, 2017 4:16:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3202/3728 took 858066 ms. Total solver calls (SAT/UNSAT): 6214419(9529/6204890)
Jun 02, 2017 4:16:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3206/3728 took 859091 ms. Total solver calls (SAT/UNSAT): 6221891(9541/6212350)
Jun 02, 2017 4:16:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3210/3728 took 860320 ms. Total solver calls (SAT/UNSAT): 6230885(9553/6221332)
Jun 02, 2017 4:17:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3214/3728 took 861345 ms. Total solver calls (SAT/UNSAT): 6238357(9565/6228792)
Jun 02, 2017 4:17:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3218/3728 took 862367 ms. Total solver calls (SAT/UNSAT): 6245829(9577/6236252)
Jun 02, 2017 4:17:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3222/3728 took 863386 ms. Total solver calls (SAT/UNSAT): 6253301(9589/6243712)
Jun 02, 2017 4:17:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3226/3728 took 864400 ms. Total solver calls (SAT/UNSAT): 6260773(9601/6251172)
Jun 02, 2017 4:17:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3230/3728 took 865637 ms. Total solver calls (SAT/UNSAT): 6269767(9613/6260154)
Jun 02, 2017 4:17:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3234/3728 took 866667 ms. Total solver calls (SAT/UNSAT): 6277239(9625/6267614)
Jun 02, 2017 4:17:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3238/3728 took 867681 ms. Total solver calls (SAT/UNSAT): 6284711(9637/6275074)
Jun 02, 2017 4:17:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3242/3728 took 868695 ms. Total solver calls (SAT/UNSAT): 6292183(9649/6282534)
Jun 02, 2017 4:17:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3246/3728 took 869725 ms. Total solver calls (SAT/UNSAT): 6299655(9661/6289994)
Jun 02, 2017 4:17:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3250/3728 took 870953 ms. Total solver calls (SAT/UNSAT): 6308648(9673/6298975)
Jun 02, 2017 4:17:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3254/3728 took 871966 ms. Total solver calls (SAT/UNSAT): 6316121(9685/6306436)
Jun 02, 2017 4:17:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3258/3728 took 872978 ms. Total solver calls (SAT/UNSAT): 6323593(9697/6313896)
Jun 02, 2017 4:17:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3262/3728 took 874013 ms. Total solver calls (SAT/UNSAT): 6331065(9709/6321356)
Jun 02, 2017 4:17:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3266/3728 took 875035 ms. Total solver calls (SAT/UNSAT): 6338537(9721/6328816)
Jun 02, 2017 4:17:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3270/3728 took 876054 ms. Total solver calls (SAT/UNSAT): 6346009(9733/6336276)
Jun 02, 2017 4:17:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3273/3728 took 877080 ms. Total solver calls (SAT/UNSAT): 6353135(9742/6343393)
Jun 02, 2017 4:17:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3277/3728 took 878129 ms. Total solver calls (SAT/UNSAT): 6360607(9754/6350853)
Jun 02, 2017 4:17:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3281/3728 took 879156 ms. Total solver calls (SAT/UNSAT): 6368079(9766/6358313)
Jun 02, 2017 4:17:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3285/3728 took 880187 ms. Total solver calls (SAT/UNSAT): 6375551(9778/6365773)
Jun 02, 2017 4:17:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3289/3728 took 881259 ms. Total solver calls (SAT/UNSAT): 6383023(9790/6373233)
Jun 02, 2017 4:17:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3293/3728 took 882502 ms. Total solver calls (SAT/UNSAT): 6392017(9802/6382215)
Jun 02, 2017 4:17:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3297/3728 took 883517 ms. Total solver calls (SAT/UNSAT): 6399489(9814/6389675)
Jun 02, 2017 4:17:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3301/3728 took 884528 ms. Total solver calls (SAT/UNSAT): 6406961(9826/6397135)
Jun 02, 2017 4:17:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3305/3728 took 885542 ms. Total solver calls (SAT/UNSAT): 6414433(9838/6404595)
Jun 02, 2017 4:17:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3309/3728 took 886568 ms. Total solver calls (SAT/UNSAT): 6421905(9850/6412055)
Jun 02, 2017 4:17:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3313/3728 took 887787 ms. Total solver calls (SAT/UNSAT): 6430898(9862/6421036)
Jun 02, 2017 4:17:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3317/3728 took 888800 ms. Total solver calls (SAT/UNSAT): 6438371(9874/6428497)
Jun 02, 2017 4:17:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3321/3728 took 889815 ms. Total solver calls (SAT/UNSAT): 6445843(9886/6435957)
Jun 02, 2017 4:17:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3325/3728 took 890840 ms. Total solver calls (SAT/UNSAT): 6453315(9898/6443417)
Jun 02, 2017 4:17:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3329/3728 took 891863 ms. Total solver calls (SAT/UNSAT): 6460787(9910/6450877)
Jun 02, 2017 4:17:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3333/3728 took 892883 ms. Total solver calls (SAT/UNSAT): 6468259(9922/6458337)
Jun 02, 2017 4:17:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3337/3728 took 894114 ms. Total solver calls (SAT/UNSAT): 6477253(9934/6467319)
Jun 02, 2017 4:17:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3341/3728 took 895128 ms. Total solver calls (SAT/UNSAT): 6484725(9946/6474779)
Jun 02, 2017 4:17:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3345/3728 took 896155 ms. Total solver calls (SAT/UNSAT): 6492197(9958/6482239)
Jun 02, 2017 4:17:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3349/3728 took 897175 ms. Total solver calls (SAT/UNSAT): 6499669(9970/6489699)
Jun 02, 2017 4:17:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3353/3728 took 898198 ms. Total solver calls (SAT/UNSAT): 6507141(9982/6497159)
Jun 02, 2017 4:17:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3357/3728 took 899420 ms. Total solver calls (SAT/UNSAT): 6516135(9994/6506141)
Jun 02, 2017 4:17:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3361/3728 took 900447 ms. Total solver calls (SAT/UNSAT): 6523607(10006/6513601)
Jun 02, 2017 4:17:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3365/3728 took 901469 ms. Total solver calls (SAT/UNSAT): 6531079(10018/6521061)
Jun 02, 2017 4:17:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3369/3728 took 902491 ms. Total solver calls (SAT/UNSAT): 6538551(10030/6528521)
Jun 02, 2017 4:17:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3373/3728 took 903507 ms. Total solver calls (SAT/UNSAT): 6546023(10042/6535981)
Jun 02, 2017 4:17:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3377/3728 took 904734 ms. Total solver calls (SAT/UNSAT): 6555017(10054/6544963)
Jun 02, 2017 4:17:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3381/3728 took 905753 ms. Total solver calls (SAT/UNSAT): 6562489(10066/6552423)
Jun 02, 2017 4:17:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3385/3728 took 906764 ms. Total solver calls (SAT/UNSAT): 6569961(10078/6559883)
Jun 02, 2017 4:17:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3389/3728 took 907776 ms. Total solver calls (SAT/UNSAT): 6577433(10090/6567343)
Jun 02, 2017 4:17:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3393/3728 took 908793 ms. Total solver calls (SAT/UNSAT): 6584905(10102/6574803)
Jun 02, 2017 4:17:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3397/3728 took 910021 ms. Total solver calls (SAT/UNSAT): 6593898(10114/6583784)
Jun 02, 2017 4:17:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3401/3728 took 911035 ms. Total solver calls (SAT/UNSAT): 6601371(10126/6591245)
Jun 02, 2017 4:17:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3405/3728 took 912047 ms. Total solver calls (SAT/UNSAT): 6608843(10138/6598705)
Jun 02, 2017 4:17:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3409/3728 took 913057 ms. Total solver calls (SAT/UNSAT): 6616315(10150/6606165)
Jun 02, 2017 4:17:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3413/3728 took 914081 ms. Total solver calls (SAT/UNSAT): 6623787(10162/6613625)
Jun 02, 2017 4:17:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3417/3728 took 915096 ms. Total solver calls (SAT/UNSAT): 6631259(10174/6621085)
Jun 02, 2017 4:17:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3421/3728 took 916318 ms. Total solver calls (SAT/UNSAT): 6640253(10186/6630067)
Jun 02, 2017 4:17:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3425/3728 took 917328 ms. Total solver calls (SAT/UNSAT): 6647725(10198/6637527)
Jun 02, 2017 4:17:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3429/3728 took 918351 ms. Total solver calls (SAT/UNSAT): 6655197(10210/6644987)
Jun 02, 2017 4:17:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3433/3728 took 919365 ms. Total solver calls (SAT/UNSAT): 6662669(10222/6652447)
Jun 02, 2017 4:17:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3437/3728 took 920380 ms. Total solver calls (SAT/UNSAT): 6670141(10234/6659907)
Jun 02, 2017 4:18:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3447/3728 took 921407 ms. Total solver calls (SAT/UNSAT): 6677510(10248/6667262)
Jun 02, 2017 4:18:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3473/3728 took 922433 ms. Total solver calls (SAT/UNSAT): 6684374(10274/6674100)
Jun 02, 2017 4:18:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3481/3728 took 923573 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="S_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/S_BridgeAndVehicles-PT-V80P20N20.tgz
mv S_BridgeAndVehicles-PT-V80P20N20 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is S_BridgeAndVehicles-PT-V80P20N20, examination is 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 r090-csrt-149441076900536"
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 ;