Execution Chart

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

Trace from the execution

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

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

=== Now, execution of the tool begins

BK_START 1496269845423


Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ltl command run as :

/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !(((("sens0.CHOIX_0>=1")&&("compteur20.COMPTEUR_20>=1"))||(("sens1.CHOIX_1>=1")&&("compteur20.COMPTEUR_20>=1"))))
Formula 0 simplified : !(("compteur20.COMPTEUR_20>=1" & "sens0.CHOIX_0>=1") | ("compteur20.COMPTEUR_20>=1" & "sens1.CHOIX_1>=1"))
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 3728 rows 198 cols
invariant : 1'sens0:CONTROLEUR_0 + 1'sens0:CHOIX_0 + 1'sens0:VIDANGE_0 + 1'sens1:CONTROLEUR_1 + 1'sens1:CHOIX_1 + 1'sens1:VIDANGE_1= 1
invariant : 1'CAPACITE:CAPACITE[0] + -1'SORTI_A:SORTI_A[0] + -1'ROUTE_A:ROUTE_A[0] + -1'ATTENTE_A:ATTENTE_A[0] + 1'SUR_PONT_B:SUR_PONT_B[0]= -30
invariant : 1'SORTI_A:SORTI_A[0] + 1'ROUTE_A:ROUTE_A[0] + 1'ATTENTE_A:ATTENTE_A[0] + 1'SUR_PONT_A:SUR_PONT_A[0]= 80
invariant : -1'CAPACITE:CAPACITE[0] + 1'SORTI_A:SORTI_A[0] + 1'ROUTE_A:ROUTE_A[0] + 1'ATTENTE_A:ATTENTE_A[0] + 1'ATTENTE_B:ATTENTE_B[0] + 1'ROUTE_B:ROUTE_B[0] + 1'SORTI_B:SORTI_B[0]= 110
invariant : 1'compteur0:COMPTEUR_0 + 1'compteur1:COMPTEUR_1 + 1'compteur2:COMPTEUR_2 + 1'compteur3:COMPTEUR_3 + 1'compteur4:COMPTEUR_4 + 1'compteur5:COMPTEUR_5 + 1'compteur6:COMPTEUR_6 + 1'compteur7:COMPTEUR_7 + 1'compteur8:COMPTEUR_8 + 1'compteur9:COMPTEUR_9 + 1'compteur10:COMPTEUR_10 + 1'compteur11:COMPTEUR_11 + 1'compteur12:COMPTEUR_12 + 1'compteur13:COMPTEUR_13 + 1'compteur14:COMPTEUR_14 + 1'compteur15:COMPTEUR_15 + 1'compteur16:COMPTEUR_16 + 1'compteur17:COMPTEUR_17 + 1'compteur18:COMPTEUR_18 + 1'compteur19:COMPTEUR_19 + 1'compteur20:COMPTEUR_20= 1
invariant : 1'voitureA0:NB_ATTENTE_A_0 + 1'voitureA1:NB_ATTENTE_A_1 + 1'voitureA2:NB_ATTENTE_A_2 + 1'voitureA3:NB_ATTENTE_A_3 + 1'voitureA4:NB_ATTENTE_A_4 + 1'voitureA5:NB_ATTENTE_A_5 + 1'voitureA6:NB_ATTENTE_A_6 + 1'voitureA7:NB_ATTENTE_A_7 + 1'voitureA8:NB_ATTENTE_A_8 + 1'voitureA9:NB_ATTENTE_A_9 + 1'voitureA10:NB_ATTENTE_A_10 + 1'voitureA11:NB_ATTENTE_A_11 + 1'voitureA12:NB_ATTENTE_A_12 + 1'voitureA13:NB_ATTENTE_A_13 + 1'voitureA14:NB_ATTENTE_A_14 + 1'voitureA15:NB_ATTENTE_A_15 + 1'voitureA16:NB_ATTENTE_A_16 + 1'voitureA17:NB_ATTENTE_A_17 + 1'voitureA18:NB_ATTENTE_A_18 + 1'voitureA19:NB_ATTENTE_A_19 + 1'voitureA20:NB_ATTENTE_A_20 + 1'voitureA21:NB_ATTENTE_A_21 + 1'voitureA22:NB_ATTENTE_A_22 + 1'voitureA23:NB_ATTENTE_A_23 + 1'voitureA24:NB_ATTENTE_A_24 + 1'voitureA25:NB_ATTENTE_A_25 + 1'voitureA26:NB_ATTENTE_A_26 + 1'voitureA27:NB_ATTENTE_A_27 + 1'voitureA28:NB_ATTENTE_A_28 + 1'voitureA29:NB_ATTENTE_A_29 + 1'voitureA30:NB_ATTENTE_A_30 + 1'voitureA31:NB_ATTENTE_A_31 + 1'voitureA32:NB_ATTENTE_A_32 + 1'voitureA33:NB_ATTENTE_A_33 + 1'voitureA34:NB_ATTENTE_A_34 + 1'voitureA35:NB_ATTENTE_A_35 + 1'voitureA36:NB_ATTENTE_A_36 + 1'voitureA37:NB_ATTENTE_A_37 + 1'voitureA38:NB_ATTENTE_A_38 + 1'voitureA39:NB_ATTENTE_A_39 + 1'voitureA40:NB_ATTENTE_A_40 + 1'voitureA41:NB_ATTENTE_A_41 + 1'voitureA42:NB_ATTENTE_A_42 + 1'voitureA43:NB_ATTENTE_A_43 + 1'voitureA44:NB_ATTENTE_A_44 + 1'voitureA45:NB_ATTENTE_A_45 + 1'voitureA46:NB_ATTENTE_A_46 + 1'voitureA47:NB_ATTENTE_A_47 + 1'voitureA48:NB_ATTENTE_A_48 + 1'voitureA49:NB_ATTENTE_A_49 + 1'voitureA50:NB_ATTENTE_A_50 + 1'voitureA51:NB_ATTENTE_A_51 + 1'voitureA52:NB_ATTENTE_A_52 + 1'voitureA53:NB_ATTENTE_A_53 + 1'voitureA54:NB_ATTENTE_A_54 + 1'voitureA55:NB_ATTENTE_A_55 + 1'voitureA56:NB_ATTENTE_A_56 + 1'voitureA57:NB_ATTENTE_A_57 + 1'voitureA58:NB_ATTENTE_A_58 + 1'voitureA59:NB_ATTENTE_A_59 + 1'voitureA60:NB_ATTENTE_A_60 + 1'voitureA61:NB_ATTENTE_A_61 + 1'voitureA62:NB_ATTENTE_A_62 + 1'voitureA63:NB_ATTENTE_A_63 + 1'voitureA64:NB_ATTENTE_A_64 + 1'voitureA65:NB_ATTENTE_A_65 + 1'voitureA66:NB_ATTENTE_A_66 + 1'voitureA67:NB_ATTENTE_A_67 + 1'voitureA68:NB_ATTENTE_A_68 + 1'voitureA69:NB_ATTENTE_A_69 + 1'voitureA70:NB_ATTENTE_A_70 + 1'voitureA71:NB_ATTENTE_A_71 + 1'voitureA72:NB_ATTENTE_A_72 + 1'voitureA73:NB_ATTENTE_A_73 + 1'voitureA74:NB_ATTENTE_A_74 + 1'voitureA75:NB_ATTENTE_A_75 + 1'voitureA76:NB_ATTENTE_A_76 + 1'voitureA77:NB_ATTENTE_A_77 + 1'voitureA78:NB_ATTENTE_A_78 + 1'voitureA79:NB_ATTENTE_A_79 + 1'voitureA80:NB_ATTENTE_A_80= 1
invariant : 1'voitureB0:NB_ATTENTE_B_0 + 1'voitureB1:NB_ATTENTE_B_1 + 1'voitureB2:NB_ATTENTE_B_2 + 1'voitureB3:NB_ATTENTE_B_3 + 1'voitureB4:NB_ATTENTE_B_4 + 1'voitureB5:NB_ATTENTE_B_5 + 1'voitureB6:NB_ATTENTE_B_6 + 1'voitureB7:NB_ATTENTE_B_7 + 1'voitureB8:NB_ATTENTE_B_8 + 1'voitureB9:NB_ATTENTE_B_9 + 1'voitureB10:NB_ATTENTE_B_10 + 1'voitureB11:NB_ATTENTE_B_11 + 1'voitureB12:NB_ATTENTE_B_12 + 1'voitureB13:NB_ATTENTE_B_13 + 1'voitureB14:NB_ATTENTE_B_14 + 1'voitureB15:NB_ATTENTE_B_15 + 1'voitureB16:NB_ATTENTE_B_16 + 1'voitureB17:NB_ATTENTE_B_17 + 1'voitureB18:NB_ATTENTE_B_18 + 1'voitureB19:NB_ATTENTE_B_19 + 1'voitureB20:NB_ATTENTE_B_20 + 1'voitureB21:NB_ATTENTE_B_21 + 1'voitureB22:NB_ATTENTE_B_22 + 1'voitureB23:NB_ATTENTE_B_23 + 1'voitureB24:NB_ATTENTE_B_24 + 1'voitureB25:NB_ATTENTE_B_25 + 1'voitureB26:NB_ATTENTE_B_26 + 1'voitureB27:NB_ATTENTE_B_27 + 1'voitureB28:NB_ATTENTE_B_28 + 1'voitureB29:NB_ATTENTE_B_29 + 1'voitureB30:NB_ATTENTE_B_30 + 1'voitureB31:NB_ATTENTE_B_31 + 1'voitureB32:NB_ATTENTE_B_32 + 1'voitureB33:NB_ATTENTE_B_33 + 1'voitureB34:NB_ATTENTE_B_34 + 1'voitureB35:NB_ATTENTE_B_35 + 1'voitureB36:NB_ATTENTE_B_36 + 1'voitureB37:NB_ATTENTE_B_37 + 1'voitureB38:NB_ATTENTE_B_38 + 1'voitureB39:NB_ATTENTE_B_39 + 1'voitureB40:NB_ATTENTE_B_40 + 1'voitureB41:NB_ATTENTE_B_41 + 1'voitureB42:NB_ATTENTE_B_42 + 1'voitureB43:NB_ATTENTE_B_43 + 1'voitureB44:NB_ATTENTE_B_44 + 1'voitureB45:NB_ATTENTE_B_45 + 1'voitureB46:NB_ATTENTE_B_46 + 1'voitureB47:NB_ATTENTE_B_47 + 1'voitureB48:NB_ATTENTE_B_48 + 1'voitureB49:NB_ATTENTE_B_49 + 1'voitureB50:NB_ATTENTE_B_50 + 1'voitureB51:NB_ATTENTE_B_51 + 1'voitureB52:NB_ATTENTE_B_52 + 1'voitureB53:NB_ATTENTE_B_53 + 1'voitureB54:NB_ATTENTE_B_54 + 1'voitureB55:NB_ATTENTE_B_55 + 1'voitureB56:NB_ATTENTE_B_56 + 1'voitureB57:NB_ATTENTE_B_57 + 1'voitureB58:NB_ATTENTE_B_58 + 1'voitureB59:NB_ATTENTE_B_59 + 1'voitureB60:NB_ATTENTE_B_60 + 1'voitureB61:NB_ATTENTE_B_61 + 1'voitureB62:NB_ATTENTE_B_62 + 1'voitureB63:NB_ATTENTE_B_63 + 1'voitureB64:NB_ATTENTE_B_64 + 1'voitureB65:NB_ATTENTE_B_65 + 1'voitureB66:NB_ATTENTE_B_66 + 1'voitureB67:NB_ATTENTE_B_67 + 1'voitureB68:NB_ATTENTE_B_68 + 1'voitureB69:NB_ATTENTE_B_69 + 1'voitureB70:NB_ATTENTE_B_70 + 1'voitureB71:NB_ATTENTE_B_71 + 1'voitureB72:NB_ATTENTE_B_72 + 1'voitureB73:NB_ATTENTE_B_73 + 1'voitureB74:NB_ATTENTE_B_74 + 1'voitureB75:NB_ATTENTE_B_75 + 1'voitureB76:NB_ATTENTE_B_76 + 1'voitureB77:NB_ATTENTE_B_77 + 1'voitureB78:NB_ATTENTE_B_78 + 1'voitureB79:NB_ATTENTE_B_79 + 1'voitureB80:NB_ATTENTE_B_80= 1
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
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLFireability -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
May 31, 2017 10:30:47 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
May 31, 2017 10:30:47 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
May 31, 2017 10:30:48 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1381 ms
May 31, 2017 10:30:48 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 15 places.
May 31, 2017 10:30:48 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
May 31, 2017 10:30:48 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :sens->CONTROLEUR,CHOIX,VIDANGE,
compteur->COMPTEUR,
Dot->CAPACITE,SORTI_A,ROUTE_A,ATTENTE_A,SUR_PONT_A,SUR_PONT_B,ATTENTE_B,ROUTE_B,SORTI_B,
voitureA->NB_ATTENTE_A,
voitureB->NB_ATTENTE_B,

May 31, 2017 10:30:48 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 11 transitions.
May 31, 2017 10:30:48 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
May 31, 2017 10:30:50 PM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
May 31, 2017 10:30:50 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
May 31, 2017 10:30:50 PM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 189 instantiations of transitions. Total transitions/syncs built is 568
May 31, 2017 10:30:50 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 140 ms
May 31, 2017 10:30:54 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays NB_ATTENTE_A, NB_ATTENTE_B, CONTROLEUR, CHOIX, COMPTEUR, VIDANGE to variables to allow decomposition.
May 31, 2017 10:30:55 PM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 405 redundant transitions.
May 31, 2017 10:30:55 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 25 ms
May 31, 2017 10:30:55 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 83 ms
May 31, 2017 10:30:57 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 370 ms
May 31, 2017 10:31:12 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 198 variables to be positive in 15082 ms
May 31, 2017 10:31:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 3728 transitions.
May 31, 2017 10:31:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3728 took 338 ms. Total solver calls (SAT/UNSAT): 1943(2/1941)
May 31, 2017 10:31:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/3728 took 1460 ms. Total solver calls (SAT/UNSAT): 9715(10/9705)
May 31, 2017 10:31:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/3728 took 2561 ms. Total solver calls (SAT/UNSAT): 17487(18/17469)
May 31, 2017 10:31:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/3728 took 3663 ms. Total solver calls (SAT/UNSAT): 25259(26/25233)
May 31, 2017 10:31:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :16/3728 took 4785 ms. Total solver calls (SAT/UNSAT): 33031(34/32997)
May 31, 2017 10:31:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/3728 took 5890 ms. Total solver calls (SAT/UNSAT): 40803(42/40761)
May 31, 2017 10:31:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/3728 took 6988 ms. Total solver calls (SAT/UNSAT): 48575(50/48525)
May 31, 2017 10:31:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/3728 took 8108 ms. Total solver calls (SAT/UNSAT): 56347(58/56289)
May 31, 2017 10:31:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/3728 took 9233 ms. Total solver calls (SAT/UNSAT): 64119(66/64053)
May 31, 2017 10:31:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/3728 took 10287 ms. Total solver calls (SAT/UNSAT): 71891(74/71817)
May 31, 2017 10:31:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/3728 took 11338 ms. Total solver calls (SAT/UNSAT): 79663(82/79581)
May 31, 2017 10:31:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/3728 took 12398 ms. Total solver calls (SAT/UNSAT): 87435(90/87345)
May 31, 2017 10:31:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/3728 took 13457 ms. Total solver calls (SAT/UNSAT): 95207(98/95109)
May 31, 2017 10:31:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/3728 took 14513 ms. Total solver calls (SAT/UNSAT): 102979(106/102873)
May 31, 2017 10:31:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/3728 took 15569 ms. Total solver calls (SAT/UNSAT): 110751(114/110637)
May 31, 2017 10:31:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/3728 took 16624 ms. Total solver calls (SAT/UNSAT): 118523(122/118401)
May 31, 2017 10:31:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/3728 took 17677 ms. Total solver calls (SAT/UNSAT): 126295(130/126165)
May 31, 2017 10:31:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/3728 took 18732 ms. Total solver calls (SAT/UNSAT): 134067(138/133929)
May 31, 2017 10:31:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/3728 took 19787 ms. Total solver calls (SAT/UNSAT): 141839(146/141693)
May 31, 2017 10:31:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/3728 took 20844 ms. Total solver calls (SAT/UNSAT): 149611(154/149457)
May 31, 2017 10:31:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/3728 took 21889 ms. Total solver calls (SAT/UNSAT): 157308(163/157145)
May 31, 2017 10:31:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/3728 took 22930 ms. Total solver calls (SAT/UNSAT): 164776(175/164601)
May 31, 2017 10:31:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :89/3728 took 24176 ms. Total solver calls (SAT/UNSAT): 174111(190/173921)
May 31, 2017 10:31:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :94/3728 took 25422 ms. Total solver calls (SAT/UNSAT): 183446(205/183241)
May 31, 2017 10:31:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :99/3728 took 26668 ms. Total solver calls (SAT/UNSAT): 192781(220/192561)
May 31, 2017 10:31:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :103/3728 took 27862 ms. Total solver calls (SAT/UNSAT): 201774(232/201542)
May 31, 2017 10:31:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/3728 took 29108 ms. Total solver calls (SAT/UNSAT): 211114(247/210867)
May 31, 2017 10:31:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/3728 took 30109 ms. Total solver calls (SAT/UNSAT): 218586(259/218327)
May 31, 2017 10:31:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/3728 took 31109 ms. Total solver calls (SAT/UNSAT): 226058(271/225787)
May 31, 2017 10:31:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/3728 took 32111 ms. Total solver calls (SAT/UNSAT): 233530(283/233247)
May 31, 2017 10:31:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/3728 took 33309 ms. Total solver calls (SAT/UNSAT): 242524(295/242229)
May 31, 2017 10:31:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/3728 took 34310 ms. Total solver calls (SAT/UNSAT): 249996(307/249689)
May 31, 2017 10:31:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/3728 took 35314 ms. Total solver calls (SAT/UNSAT): 257468(319/257149)
May 31, 2017 10:31:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/3728 took 36335 ms. Total solver calls (SAT/UNSAT): 264940(331/264609)
May 31, 2017 10:31:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/3728 took 37405 ms. Total solver calls (SAT/UNSAT): 272412(343/272069)
May 31, 2017 10:31:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/3728 took 38659 ms. Total solver calls (SAT/UNSAT): 281406(355/281051)
May 31, 2017 10:31:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/3728 took 39720 ms. Total solver calls (SAT/UNSAT): 288878(367/288511)
May 31, 2017 10:31:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/3728 took 40755 ms. Total solver calls (SAT/UNSAT): 296350(379/295971)
May 31, 2017 10:31:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/3728 took 41858 ms. Total solver calls (SAT/UNSAT): 303822(391/303431)
May 31, 2017 10:31:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :160/3728 took 42868 ms. Total solver calls (SAT/UNSAT): 311294(403/310891)
May 31, 2017 10:31:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :163/3728 took 43886 ms. Total solver calls (SAT/UNSAT): 318419(412/318007)
May 31, 2017 10:31:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/3728 took 44896 ms. Total solver calls (SAT/UNSAT): 325892(424/325468)
May 31, 2017 10:31:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/3728 took 46145 ms. Total solver calls (SAT/UNSAT): 335232(439/334793)
May 31, 2017 10:31:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/3728 took 47147 ms. Total solver calls (SAT/UNSAT): 342704(451/342253)
May 31, 2017 10:32:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/3728 took 48147 ms. Total solver calls (SAT/UNSAT): 350176(463/349713)
May 31, 2017 10:32:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :184/3728 took 49352 ms. Total solver calls (SAT/UNSAT): 359169(475/358694)
May 31, 2017 10:32:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :188/3728 took 50353 ms. Total solver calls (SAT/UNSAT): 366642(487/366155)
May 31, 2017 10:32:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/3728 took 51355 ms. Total solver calls (SAT/UNSAT): 374114(499/373615)
May 31, 2017 10:32:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/3728 took 52357 ms. Total solver calls (SAT/UNSAT): 381586(511/381075)
May 31, 2017 10:32:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :201/3728 took 53606 ms. Total solver calls (SAT/UNSAT): 390926(526/390400)
May 31, 2017 10:32:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :205/3728 took 54809 ms. Total solver calls (SAT/UNSAT): 399919(538/399381)
May 31, 2017 10:32:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/3728 took 55813 ms. Total solver calls (SAT/UNSAT): 407392(550/406842)
May 31, 2017 10:32:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :213/3728 took 56816 ms. Total solver calls (SAT/UNSAT): 414864(562/414302)
May 31, 2017 10:32:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :217/3728 took 57819 ms. Total solver calls (SAT/UNSAT): 422336(574/421762)
May 31, 2017 10:32:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/3728 took 58822 ms. Total solver calls (SAT/UNSAT): 429808(586/429222)
May 31, 2017 10:32:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/3728 took 59830 ms. Total solver calls (SAT/UNSAT): 437280(598/436682)
May 31, 2017 10:32:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :229/3728 took 61036 ms. Total solver calls (SAT/UNSAT): 446274(610/445664)
May 31, 2017 10:32:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :233/3728 took 62048 ms. Total solver calls (SAT/UNSAT): 453746(622/453124)
May 31, 2017 10:32:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :237/3728 took 63060 ms. Total solver calls (SAT/UNSAT): 461218(634/460584)
May 31, 2017 10:32:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/3728 took 64066 ms. Total solver calls (SAT/UNSAT): 468690(646/468044)
May 31, 2017 10:32:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :245/3728 took 65074 ms. Total solver calls (SAT/UNSAT): 476162(658/475504)
May 31, 2017 10:32:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :249/3728 took 66281 ms. Total solver calls (SAT/UNSAT): 485156(670/484486)
May 31, 2017 10:32:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :253/3728 took 67282 ms. Total solver calls (SAT/UNSAT): 492628(682/491946)
May 31, 2017 10:32:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :257/3728 took 68282 ms. Total solver calls (SAT/UNSAT): 500100(694/499406)
May 31, 2017 10:32:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :261/3728 took 69282 ms. Total solver calls (SAT/UNSAT): 507572(706/506866)
May 31, 2017 10:32:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :266/3728 took 70536 ms. Total solver calls (SAT/UNSAT): 516912(721/516191)
May 31, 2017 10:32:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :270/3728 took 71764 ms. Total solver calls (SAT/UNSAT): 525906(733/525173)
May 31, 2017 10:32:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :274/3728 took 72765 ms. Total solver calls (SAT/UNSAT): 533378(745/532633)
May 31, 2017 10:32:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :278/3728 took 73775 ms. Total solver calls (SAT/UNSAT): 540850(757/540093)
May 31, 2017 10:32:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :282/3728 took 74783 ms. Total solver calls (SAT/UNSAT): 548322(769/547553)
May 31, 2017 10:32:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :287/3728 took 76025 ms. Total solver calls (SAT/UNSAT): 557662(784/556878)
May 31, 2017 10:32:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :291/3728 took 77215 ms. Total solver calls (SAT/UNSAT): 566656(796/565860)
May 31, 2017 10:32:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/3728 took 78457 ms. Total solver calls (SAT/UNSAT): 575996(811/575185)
May 31, 2017 10:32:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :301/3728 took 79699 ms. Total solver calls (SAT/UNSAT): 585336(826/584510)
May 31, 2017 10:32:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :306/3728 took 80940 ms. Total solver calls (SAT/UNSAT): 594676(841/593835)
May 31, 2017 10:32:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :310/3728 took 82127 ms. Total solver calls (SAT/UNSAT): 603669(853/602816)
May 31, 2017 10:32:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/3728 took 83370 ms. Total solver calls (SAT/UNSAT): 613010(868/612142)
May 31, 2017 10:32:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/3728 took 84376 ms. Total solver calls (SAT/UNSAT): 620482(880/619602)
May 31, 2017 10:32:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :323/3728 took 85398 ms. Total solver calls (SAT/UNSAT): 627954(892/627062)
May 31, 2017 10:32:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/3728 took 86424 ms. Total solver calls (SAT/UNSAT): 635426(904/634522)
May 31, 2017 10:32:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :331/3728 took 87685 ms. Total solver calls (SAT/UNSAT): 644419(916/643503)
May 31, 2017 10:32:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :335/3728 took 88851 ms. Total solver calls (SAT/UNSAT): 651892(928/650964)
May 31, 2017 10:32:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :339/3728 took 89976 ms. Total solver calls (SAT/UNSAT): 659364(940/658424)
May 31, 2017 10:32:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :343/3728 took 91097 ms. Total solver calls (SAT/UNSAT): 666836(952/665884)
May 31, 2017 10:32:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/3728 took 92137 ms. Total solver calls (SAT/UNSAT): 674308(964/673344)
May 31, 2017 10:32:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/3728 took 93156 ms. Total solver calls (SAT/UNSAT): 681780(976/680804)
May 31, 2017 10:32:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/3728 took 94382 ms. Total solver calls (SAT/UNSAT): 690774(988/689786)
May 31, 2017 10:32:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/3728 took 95439 ms. Total solver calls (SAT/UNSAT): 698246(1000/697246)
May 31, 2017 10:32:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/3728 took 96442 ms. Total solver calls (SAT/UNSAT): 705718(1012/704706)
May 31, 2017 10:32:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/3728 took 97442 ms. Total solver calls (SAT/UNSAT): 713190(1024/712166)
May 31, 2017 10:32:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/3728 took 98685 ms. Total solver calls (SAT/UNSAT): 722530(1039/721491)
May 31, 2017 10:32:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/3728 took 99879 ms. Total solver calls (SAT/UNSAT): 731524(1051/730473)
May 31, 2017 10:32:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/3728 took 101124 ms. Total solver calls (SAT/UNSAT): 740864(1066/739798)
May 31, 2017 10:32:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/3728 took 102363 ms. Total solver calls (SAT/UNSAT): 750204(1081/749123)
May 31, 2017 10:32:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/3728 took 103604 ms. Total solver calls (SAT/UNSAT): 759544(1096/758448)
May 31, 2017 10:32:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/3728 took 104790 ms. Total solver calls (SAT/UNSAT): 768538(1108/767430)
May 31, 2017 10:32:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/3728 took 105824 ms. Total solver calls (SAT/UNSAT): 776010(1120/774890)
May 31, 2017 10:32:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/3728 took 106928 ms. Total solver calls (SAT/UNSAT): 783482(1132/782350)
May 31, 2017 10:33:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/3728 took 107992 ms. Total solver calls (SAT/UNSAT): 790954(1144/789810)
May 31, 2017 10:33:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/3728 took 109003 ms. Total solver calls (SAT/UNSAT): 798426(1156/797270)
May 31, 2017 10:33:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/3728 took 110205 ms. Total solver calls (SAT/UNSAT): 807419(1168/806251)
May 31, 2017 10:33:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/3728 took 111258 ms. Total solver calls (SAT/UNSAT): 814892(1180/813712)
May 31, 2017 10:33:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/3728 took 112272 ms. Total solver calls (SAT/UNSAT): 822364(1192/821172)
May 31, 2017 10:33:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/3728 took 113308 ms. Total solver calls (SAT/UNSAT): 829836(1204/828632)
May 31, 2017 10:33:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/3728 took 114541 ms. Total solver calls (SAT/UNSAT): 839176(1219/837957)
May 31, 2017 10:33:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/3728 took 115725 ms. Total solver calls (SAT/UNSAT): 848169(1231/846938)
May 31, 2017 10:33:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/3728 took 116804 ms. Total solver calls (SAT/UNSAT): 855642(1243/854399)
May 31, 2017 10:33:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/3728 took 117848 ms. Total solver calls (SAT/UNSAT): 863114(1255/861859)
May 31, 2017 10:33:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/3728 took 118861 ms. Total solver calls (SAT/UNSAT): 870586(1267/869319)
May 31, 2017 10:33:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/3728 took 119870 ms. Total solver calls (SAT/UNSAT): 878058(1279/876779)
May 31, 2017 10:33:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/3728 took 120876 ms. Total solver calls (SAT/UNSAT): 885530(1291/884239)
May 31, 2017 10:33:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/3728 took 122091 ms. Total solver calls (SAT/UNSAT): 894524(1303/893221)
May 31, 2017 10:33:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/3728 took 123097 ms. Total solver calls (SAT/UNSAT): 901996(1315/900681)
May 31, 2017 10:33:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/3728 took 124098 ms. Total solver calls (SAT/UNSAT): 909468(1327/908141)
May 31, 2017 10:33:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/3728 took 125099 ms. Total solver calls (SAT/UNSAT): 916940(1339/915601)
May 31, 2017 10:33:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/3728 took 126104 ms. Total solver calls (SAT/UNSAT): 924412(1351/923061)
May 31, 2017 10:33:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/3728 took 127307 ms. Total solver calls (SAT/UNSAT): 933406(1363/932043)
May 31, 2017 10:33:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/3728 took 128310 ms. Total solver calls (SAT/UNSAT): 940878(1375/939503)
May 31, 2017 10:33:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/3728 took 129314 ms. Total solver calls (SAT/UNSAT): 948350(1387/946963)
May 31, 2017 10:33:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/3728 took 130320 ms. Total solver calls (SAT/UNSAT): 955822(1399/954423)
May 31, 2017 10:33:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/3728 took 131324 ms. Total solver calls (SAT/UNSAT): 963294(1411/961883)
May 31, 2017 10:33:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/3728 took 132523 ms. Total solver calls (SAT/UNSAT): 972288(1423/970865)
May 31, 2017 10:33:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/3728 took 133525 ms. Total solver calls (SAT/UNSAT): 979760(1435/978325)
May 31, 2017 10:33:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/3728 took 134527 ms. Total solver calls (SAT/UNSAT): 987232(1447/985785)
May 31, 2017 10:33:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/3728 took 135529 ms. Total solver calls (SAT/UNSAT): 994704(1459/993245)
May 31, 2017 10:33:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/3728 took 136530 ms. Total solver calls (SAT/UNSAT): 1002176(1471/1000705)
May 31, 2017 10:33:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/3728 took 137736 ms. Total solver calls (SAT/UNSAT): 1011169(1483/1009686)
May 31, 2017 10:33:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/3728 took 138738 ms. Total solver calls (SAT/UNSAT): 1018642(1495/1017147)
May 31, 2017 10:33:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/3728 took 139741 ms. Total solver calls (SAT/UNSAT): 1026114(1507/1024607)
May 31, 2017 10:33:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/3728 took 140743 ms. Total solver calls (SAT/UNSAT): 1033586(1519/1032067)
May 31, 2017 10:33:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/3728 took 141747 ms. Total solver calls (SAT/UNSAT): 1041058(1531/1039527)
May 31, 2017 10:33:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/3728 took 142748 ms. Total solver calls (SAT/UNSAT): 1048530(1543/1046987)
May 31, 2017 10:33:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/3728 took 143948 ms. Total solver calls (SAT/UNSAT): 1057524(1555/1055969)
May 31, 2017 10:33:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/3728 took 144957 ms. Total solver calls (SAT/UNSAT): 1064996(1567/1063429)
May 31, 2017 10:33:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/3728 took 145962 ms. Total solver calls (SAT/UNSAT): 1072468(1579/1070889)
May 31, 2017 10:33:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/3728 took 146964 ms. Total solver calls (SAT/UNSAT): 1079940(1591/1078349)
May 31, 2017 10:33:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/3728 took 147966 ms. Total solver calls (SAT/UNSAT): 1087412(1603/1085809)
May 31, 2017 10:33:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/3728 took 149166 ms. Total solver calls (SAT/UNSAT): 1096406(1615/1094791)
May 31, 2017 10:33:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/3728 took 150166 ms. Total solver calls (SAT/UNSAT): 1103878(1627/1102251)
May 31, 2017 10:33:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/3728 took 151414 ms. Total solver calls (SAT/UNSAT): 1113218(1642/1111576)
May 31, 2017 10:33:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/3728 took 152660 ms. Total solver calls (SAT/UNSAT): 1122558(1657/1120901)
May 31, 2017 10:33:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/3728 took 154106 ms. Total solver calls (SAT/UNSAT): 1133419(1672/1131747)
May 31, 2017 10:33:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/3728 took 155106 ms. Total solver calls (SAT/UNSAT): 1140892(1684/1139208)
May 31, 2017 10:33:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :592/3728 took 156333 ms. Total solver calls (SAT/UNSAT): 1150232(1699/1148533)
May 31, 2017 10:33:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :597/3728 took 157561 ms. Total solver calls (SAT/UNSAT): 1159572(1714/1157858)
May 31, 2017 10:33:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :602/3728 took 158793 ms. Total solver calls (SAT/UNSAT): 1168912(1729/1167183)
May 31, 2017 10:33:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :606/3728 took 159978 ms. Total solver calls (SAT/UNSAT): 1177906(1741/1176165)
May 31, 2017 10:33:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :611/3728 took 161207 ms. Total solver calls (SAT/UNSAT): 1187246(1756/1185490)
May 31, 2017 10:33:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :616/3728 took 162438 ms. Total solver calls (SAT/UNSAT): 1196586(1771/1194815)
May 31, 2017 10:33:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :621/3728 took 163685 ms. Total solver calls (SAT/UNSAT): 1205926(1786/1204140)
May 31, 2017 10:33:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :625/3728 took 164871 ms. Total solver calls (SAT/UNSAT): 1214919(1798/1213121)
May 31, 2017 10:33:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :630/3728 took 166106 ms. Total solver calls (SAT/UNSAT): 1224260(1813/1222447)
May 31, 2017 10:34:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :635/3728 took 167335 ms. Total solver calls (SAT/UNSAT): 1233600(1828/1231772)
May 31, 2017 10:34:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :640/3728 took 168567 ms. Total solver calls (SAT/UNSAT): 1242940(1843/1241097)
May 31, 2017 10:34:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :645/3728 took 169802 ms. Total solver calls (SAT/UNSAT): 1252280(1858/1250422)
May 31, 2017 10:34:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :649/3728 took 170986 ms. Total solver calls (SAT/UNSAT): 1261274(1870/1259404)
May 31, 2017 10:34:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :654/3728 took 172220 ms. Total solver calls (SAT/UNSAT): 1270614(1885/1268729)
May 31, 2017 10:34:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :659/3728 took 173450 ms. Total solver calls (SAT/UNSAT): 1279954(1900/1278054)
May 31, 2017 10:34:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :664/3728 took 174684 ms. Total solver calls (SAT/UNSAT): 1289294(1915/1287379)
May 31, 2017 10:34:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :668/3728 took 175869 ms. Total solver calls (SAT/UNSAT): 1298288(1927/1296361)
May 31, 2017 10:34:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :673/3728 took 177103 ms. Total solver calls (SAT/UNSAT): 1307628(1942/1305686)
May 31, 2017 10:34:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :678/3728 took 178337 ms. Total solver calls (SAT/UNSAT): 1316968(1957/1315011)
May 31, 2017 10:34:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :683/3728 took 179567 ms. Total solver calls (SAT/UNSAT): 1326308(1972/1324336)
May 31, 2017 10:34:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :688/3728 took 181003 ms. Total solver calls (SAT/UNSAT): 1337169(1987/1335182)
May 31, 2017 10:34:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :692/3728 took 182089 ms. Total solver calls (SAT/UNSAT): 1344642(1999/1342643)
May 31, 2017 10:34:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :697/3728 took 183331 ms. Total solver calls (SAT/UNSAT): 1353982(2014/1351968)
May 31, 2017 10:34:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :702/3728 took 184575 ms. Total solver calls (SAT/UNSAT): 1363322(2029/1361293)
May 31, 2017 10:34:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :707/3728 took 185821 ms. Total solver calls (SAT/UNSAT): 1372662(2044/1370618)
May 31, 2017 10:34:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :711/3728 took 187018 ms. Total solver calls (SAT/UNSAT): 1381656(2056/1379600)
May 31, 2017 10:34:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :716/3728 took 188265 ms. Total solver calls (SAT/UNSAT): 1390996(2071/1388925)
May 31, 2017 10:34:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :721/3728 took 189513 ms. Total solver calls (SAT/UNSAT): 1400336(2086/1398250)
May 31, 2017 10:34:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :726/3728 took 190763 ms. Total solver calls (SAT/UNSAT): 1409676(2101/1407575)
May 31, 2017 10:34:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :730/3728 took 191960 ms. Total solver calls (SAT/UNSAT): 1418669(2113/1416556)
May 31, 2017 10:34:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :734/3728 took 193017 ms. Total solver calls (SAT/UNSAT): 1426142(2125/1424017)
May 31, 2017 10:34:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :738/3728 took 194026 ms. Total solver calls (SAT/UNSAT): 1433614(2137/1431477)
May 31, 2017 10:34:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :742/3728 took 195035 ms. Total solver calls (SAT/UNSAT): 1441086(2149/1438937)
May 31, 2017 10:34:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :746/3728 took 196043 ms. Total solver calls (SAT/UNSAT): 1448558(2161/1446397)
May 31, 2017 10:34:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :750/3728 took 197053 ms. Total solver calls (SAT/UNSAT): 1456030(2173/1453857)
May 31, 2017 10:34:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :754/3728 took 198259 ms. Total solver calls (SAT/UNSAT): 1465024(2185/1462839)
May 31, 2017 10:34:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :758/3728 took 199266 ms. Total solver calls (SAT/UNSAT): 1472496(2197/1470299)
May 31, 2017 10:34:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :762/3728 took 200278 ms. Total solver calls (SAT/UNSAT): 1479968(2209/1477759)
May 31, 2017 10:34:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :766/3728 took 201285 ms. Total solver calls (SAT/UNSAT): 1487440(2221/1485219)
May 31, 2017 10:34:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :770/3728 took 202293 ms. Total solver calls (SAT/UNSAT): 1494912(2233/1492679)
May 31, 2017 10:34:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :774/3728 took 203502 ms. Total solver calls (SAT/UNSAT): 1503906(2245/1501661)
May 31, 2017 10:34:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :778/3728 took 204511 ms. Total solver calls (SAT/UNSAT): 1511378(2257/1509121)
May 31, 2017 10:34:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :782/3728 took 205518 ms. Total solver calls (SAT/UNSAT): 1518850(2269/1516581)
May 31, 2017 10:34:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :786/3728 took 206527 ms. Total solver calls (SAT/UNSAT): 1526322(2281/1524041)
May 31, 2017 10:34:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :790/3728 took 207535 ms. Total solver calls (SAT/UNSAT): 1533794(2293/1531501)
May 31, 2017 10:34:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :794/3728 took 208745 ms. Total solver calls (SAT/UNSAT): 1542788(2305/1540483)
May 31, 2017 10:34:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :798/3728 took 209754 ms. Total solver calls (SAT/UNSAT): 1550260(2317/1547943)
May 31, 2017 10:34:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :802/3728 took 210764 ms. Total solver calls (SAT/UNSAT): 1557732(2329/1555403)
May 31, 2017 10:34:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :806/3728 took 211774 ms. Total solver calls (SAT/UNSAT): 1565204(2341/1562863)
May 31, 2017 10:34:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :810/3728 took 212784 ms. Total solver calls (SAT/UNSAT): 1572676(2353/1570323)
May 31, 2017 10:34:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :814/3728 took 213998 ms. Total solver calls (SAT/UNSAT): 1581669(2365/1579304)
May 31, 2017 10:34:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :818/3728 took 215007 ms. Total solver calls (SAT/UNSAT): 1589142(2377/1586765)
May 31, 2017 10:34:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :822/3728 took 216017 ms. Total solver calls (SAT/UNSAT): 1596614(2389/1594225)
May 31, 2017 10:34:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :826/3728 took 217027 ms. Total solver calls (SAT/UNSAT): 1604086(2401/1601685)
May 31, 2017 10:34:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :830/3728 took 218042 ms. Total solver calls (SAT/UNSAT): 1611558(2413/1609145)
May 31, 2017 10:34:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :834/3728 took 219050 ms. Total solver calls (SAT/UNSAT): 1619030(2425/1616605)
May 31, 2017 10:34:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :838/3728 took 220260 ms. Total solver calls (SAT/UNSAT): 1628024(2437/1625587)
May 31, 2017 10:34:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :842/3728 took 221268 ms. Total solver calls (SAT/UNSAT): 1635496(2449/1633047)
May 31, 2017 10:34:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :846/3728 took 222279 ms. Total solver calls (SAT/UNSAT): 1642968(2461/1640507)
May 31, 2017 10:34:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :850/3728 took 223292 ms. Total solver calls (SAT/UNSAT): 1650440(2473/1647967)
May 31, 2017 10:34:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :854/3728 took 224304 ms. Total solver calls (SAT/UNSAT): 1657912(2485/1655427)
May 31, 2017 10:34:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :858/3728 took 225517 ms. Total solver calls (SAT/UNSAT): 1666906(2497/1664409)
May 31, 2017 10:34:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :862/3728 took 226527 ms. Total solver calls (SAT/UNSAT): 1674378(2509/1671869)
May 31, 2017 10:35:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :866/3728 took 227539 ms. Total solver calls (SAT/UNSAT): 1681850(2521/1679329)
May 31, 2017 10:35:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :870/3728 took 228549 ms. Total solver calls (SAT/UNSAT): 1689322(2533/1686789)
May 31, 2017 10:35:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :874/3728 took 229563 ms. Total solver calls (SAT/UNSAT): 1696794(2545/1694249)
May 31, 2017 10:35:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :878/3728 took 230779 ms. Total solver calls (SAT/UNSAT): 1705788(2557/1703231)
May 31, 2017 10:35:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :882/3728 took 231792 ms. Total solver calls (SAT/UNSAT): 1713260(2569/1710691)
May 31, 2017 10:35:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :886/3728 took 232805 ms. Total solver calls (SAT/UNSAT): 1720732(2581/1718151)
May 31, 2017 10:35:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :890/3728 took 233821 ms. Total solver calls (SAT/UNSAT): 1728204(2593/1725611)
May 31, 2017 10:35:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :894/3728 took 234833 ms. Total solver calls (SAT/UNSAT): 1735676(2605/1733071)
May 31, 2017 10:35:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :898/3728 took 236053 ms. Total solver calls (SAT/UNSAT): 1744669(2617/1742052)
May 31, 2017 10:35:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :902/3728 took 237100 ms. Total solver calls (SAT/UNSAT): 1752142(2629/1749513)
May 31, 2017 10:35:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :907/3728 took 238337 ms. Total solver calls (SAT/UNSAT): 1761482(2644/1758838)
May 31, 2017 10:35:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :912/3728 took 239577 ms. Total solver calls (SAT/UNSAT): 1770822(2659/1768163)
May 31, 2017 10:35:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :917/3728 took 240815 ms. Total solver calls (SAT/UNSAT): 1780162(2674/1777488)
May 31, 2017 10:35:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :921/3728 took 242003 ms. Total solver calls (SAT/UNSAT): 1789156(2686/1786470)
May 31, 2017 10:35:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :926/3728 took 243240 ms. Total solver calls (SAT/UNSAT): 1798496(2701/1795795)
May 31, 2017 10:35:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :931/3728 took 244479 ms. Total solver calls (SAT/UNSAT): 1807836(2716/1805120)
May 31, 2017 10:35:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :936/3728 took 245719 ms. Total solver calls (SAT/UNSAT): 1817176(2731/1814445)
May 31, 2017 10:35:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :940/3728 took 246905 ms. Total solver calls (SAT/UNSAT): 1826169(2743/1823426)
May 31, 2017 10:35:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :945/3728 took 248145 ms. Total solver calls (SAT/UNSAT): 1835510(2758/1832752)
May 31, 2017 10:35:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :950/3728 took 249385 ms. Total solver calls (SAT/UNSAT): 1844850(2773/1842077)
May 31, 2017 10:35:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :955/3728 took 250625 ms. Total solver calls (SAT/UNSAT): 1854190(2788/1851402)
May 31, 2017 10:35:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :959/3728 took 251632 ms. Total solver calls (SAT/UNSAT): 1861662(2800/1858862)
May 31, 2017 10:35:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :963/3728 took 252828 ms. Total solver calls (SAT/UNSAT): 1870656(2812/1867844)
May 31, 2017 10:35:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :968/3728 took 254111 ms. Total solver calls (SAT/UNSAT): 1879996(2827/1877169)
May 31, 2017 10:35:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :972/3728 took 255126 ms. Total solver calls (SAT/UNSAT): 1887468(2839/1884629)
May 31, 2017 10:35:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :976/3728 took 256141 ms. Total solver calls (SAT/UNSAT): 1894940(2851/1892089)
May 31, 2017 10:35:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :980/3728 took 257158 ms. Total solver calls (SAT/UNSAT): 1902412(2863/1899549)
May 31, 2017 10:35:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :984/3728 took 258373 ms. Total solver calls (SAT/UNSAT): 1911406(2875/1908531)
May 31, 2017 10:35:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :988/3728 took 259382 ms. Total solver calls (SAT/UNSAT): 1918878(2887/1915991)
May 31, 2017 10:35:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :992/3728 took 260394 ms. Total solver calls (SAT/UNSAT): 1926350(2899/1923451)
May 31, 2017 10:35:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :996/3728 took 261404 ms. Total solver calls (SAT/UNSAT): 1933822(2911/1930911)
May 31, 2017 10:35:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1000/3728 took 262414 ms. Total solver calls (SAT/UNSAT): 1941294(2923/1938371)
May 31, 2017 10:35:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1004/3728 took 263623 ms. Total solver calls (SAT/UNSAT): 1950288(2935/1947353)
May 31, 2017 10:35:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1008/3728 took 264633 ms. Total solver calls (SAT/UNSAT): 1957760(2947/1954813)
May 31, 2017 10:35:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1012/3728 took 265641 ms. Total solver calls (SAT/UNSAT): 1965232(2959/1962273)
May 31, 2017 10:35:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1016/3728 took 266651 ms. Total solver calls (SAT/UNSAT): 1972704(2971/1969733)
May 31, 2017 10:35:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1020/3728 took 267666 ms. Total solver calls (SAT/UNSAT): 1980176(2983/1977193)
May 31, 2017 10:35:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1024/3728 took 268876 ms. Total solver calls (SAT/UNSAT): 1989169(2995/1986174)
May 31, 2017 10:35:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1028/3728 took 269885 ms. Total solver calls (SAT/UNSAT): 1996642(3007/1993635)
May 31, 2017 10:35:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1032/3728 took 270894 ms. Total solver calls (SAT/UNSAT): 2004114(3019/2001095)
May 31, 2017 10:35:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1036/3728 took 271903 ms. Total solver calls (SAT/UNSAT): 2011586(3031/2008555)
May 31, 2017 10:35:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1040/3728 took 272911 ms. Total solver calls (SAT/UNSAT): 2019058(3043/2016015)
May 31, 2017 10:35:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1044/3728 took 273919 ms. Total solver calls (SAT/UNSAT): 2026530(3055/2023475)
May 31, 2017 10:35:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1048/3728 took 275129 ms. Total solver calls (SAT/UNSAT): 2035524(3067/2032457)
May 31, 2017 10:35:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1052/3728 took 276138 ms. Total solver calls (SAT/UNSAT): 2042996(3079/2039917)
May 31, 2017 10:35:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1056/3728 took 277149 ms. Total solver calls (SAT/UNSAT): 2050468(3091/2047377)
May 31, 2017 10:35:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1060/3728 took 278159 ms. Total solver calls (SAT/UNSAT): 2057940(3103/2054837)
May 31, 2017 10:35:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1064/3728 took 279212 ms. Total solver calls (SAT/UNSAT): 2065412(3115/2062297)
May 31, 2017 10:35:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1068/3728 took 280428 ms. Total solver calls (SAT/UNSAT): 2074406(3127/2071279)
May 31, 2017 10:35:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1072/3728 took 281437 ms. Total solver calls (SAT/UNSAT): 2081878(3139/2078739)
May 31, 2017 10:35:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1076/3728 took 282455 ms. Total solver calls (SAT/UNSAT): 2089350(3151/2086199)
May 31, 2017 10:35:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1080/3728 took 283468 ms. Total solver calls (SAT/UNSAT): 2096822(3163/2093659)
May 31, 2017 10:35:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1084/3728 took 284480 ms. Total solver calls (SAT/UNSAT): 2104294(3175/2101119)
May 31, 2017 10:35:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1088/3728 took 285689 ms. Total solver calls (SAT/UNSAT): 2113288(3187/2110101)
May 31, 2017 10:35:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1092/3728 took 286693 ms. Total solver calls (SAT/UNSAT): 2120760(3199/2117561)
May 31, 2017 10:36:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1096/3728 took 287695 ms. Total solver calls (SAT/UNSAT): 2128232(3211/2125021)
May 31, 2017 10:36:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1100/3728 took 288698 ms. Total solver calls (SAT/UNSAT): 2135704(3223/2132481)
May 31, 2017 10:36:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1104/3728 took 289705 ms. Total solver calls (SAT/UNSAT): 2143176(3235/2139941)
May 31, 2017 10:36:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1108/3728 took 290911 ms. Total solver calls (SAT/UNSAT): 2152169(3247/2148922)
May 31, 2017 10:36:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1112/3728 took 291916 ms. Total solver calls (SAT/UNSAT): 2159642(3259/2156383)
May 31, 2017 10:36:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1116/3728 took 292921 ms. Total solver calls (SAT/UNSAT): 2167114(3271/2163843)
May 31, 2017 10:36:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1120/3728 took 293927 ms. Total solver calls (SAT/UNSAT): 2174586(3283/2171303)
May 31, 2017 10:36:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1124/3728 took 294934 ms. Total solver calls (SAT/UNSAT): 2182058(3295/2178763)
May 31, 2017 10:36:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1128/3728 took 295940 ms. Total solver calls (SAT/UNSAT): 2189530(3307/2186223)
May 31, 2017 10:36:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1132/3728 took 297156 ms. Total solver calls (SAT/UNSAT): 2198524(3319/2195205)
May 31, 2017 10:36:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1136/3728 took 298165 ms. Total solver calls (SAT/UNSAT): 2205996(3331/2202665)
May 31, 2017 10:36:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1140/3728 took 299172 ms. Total solver calls (SAT/UNSAT): 2213468(3343/2210125)
May 31, 2017 10:36:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1144/3728 took 300180 ms. Total solver calls (SAT/UNSAT): 2220940(3355/2217585)
May 31, 2017 10:36:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1148/3728 took 301187 ms. Total solver calls (SAT/UNSAT): 2228412(3367/2225045)
May 31, 2017 10:36:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1152/3728 took 302394 ms. Total solver calls (SAT/UNSAT): 2237406(3379/2234027)
May 31, 2017 10:36:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1156/3728 took 303400 ms. Total solver calls (SAT/UNSAT): 2244878(3391/2241487)
May 31, 2017 10:36:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1160/3728 took 304450 ms. Total solver calls (SAT/UNSAT): 2252350(3403/2248947)
May 31, 2017 10:36:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1165/3728 took 305696 ms. Total solver calls (SAT/UNSAT): 2261690(3418/2258272)
May 31, 2017 10:36:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1170/3728 took 306942 ms. Total solver calls (SAT/UNSAT): 2271030(3433/2267597)
May 31, 2017 10:36:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1174/3728 took 308138 ms. Total solver calls (SAT/UNSAT): 2280024(3445/2276579)
May 31, 2017 10:36:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1179/3728 took 309383 ms. Total solver calls (SAT/UNSAT): 2289364(3460/2285904)
May 31, 2017 10:36:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1183/3728 took 310391 ms. Total solver calls (SAT/UNSAT): 2296836(3472/2293364)
May 31, 2017 10:36:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1187/3728 took 311393 ms. Total solver calls (SAT/UNSAT): 2304308(3484/2300824)
May 31, 2017 10:36:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1191/3728 took 312395 ms. Total solver calls (SAT/UNSAT): 2311780(3496/2308284)
May 31, 2017 10:36:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1195/3728 took 313594 ms. Total solver calls (SAT/UNSAT): 2320774(3508/2317266)
May 31, 2017 10:36:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1200/3728 took 314838 ms. Total solver calls (SAT/UNSAT): 2330114(3523/2326591)
May 31, 2017 10:36:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1205/3728 took 316080 ms. Total solver calls (SAT/UNSAT): 2339454(3538/2335916)
May 31, 2017 10:36:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1210/3728 took 317321 ms. Total solver calls (SAT/UNSAT): 2348794(3553/2345241)
May 31, 2017 10:36:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1214/3728 took 318513 ms. Total solver calls (SAT/UNSAT): 2357788(3565/2354223)
May 31, 2017 10:36:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1219/3728 took 319761 ms. Total solver calls (SAT/UNSAT): 2367128(3580/2363548)
May 31, 2017 10:36:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1224/3728 took 321006 ms. Total solver calls (SAT/UNSAT): 2376468(3595/2372873)
May 31, 2017 10:36:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1229/3728 took 322249 ms. Total solver calls (SAT/UNSAT): 2385808(3610/2382198)
May 31, 2017 10:36:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1233/3728 took 323256 ms. Total solver calls (SAT/UNSAT): 2393280(3622/2389658)
May 31, 2017 10:36:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1237/3728 took 324455 ms. Total solver calls (SAT/UNSAT): 2402274(3634/2398640)
May 31, 2017 10:36:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1242/3728 took 325698 ms. Total solver calls (SAT/UNSAT): 2411614(3649/2407965)
May 31, 2017 10:36:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1247/3728 took 326945 ms. Total solver calls (SAT/UNSAT): 2420954(3664/2417290)
May 31, 2017 10:36:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1252/3728 took 328192 ms. Total solver calls (SAT/UNSAT): 2430294(3679/2426615)
May 31, 2017 10:36:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1256/3728 took 329387 ms. Total solver calls (SAT/UNSAT): 2439288(3691/2435597)
May 31, 2017 10:36:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1261/3728 took 330632 ms. Total solver calls (SAT/UNSAT): 2448628(3706/2444922)
May 31, 2017 10:36:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1266/3728 took 331875 ms. Total solver calls (SAT/UNSAT): 2457968(3721/2454247)
May 31, 2017 10:36:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1271/3728 took 333119 ms. Total solver calls (SAT/UNSAT): 2467308(3736/2463572)
May 31, 2017 10:36:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1276/3728 took 334558 ms. Total solver calls (SAT/UNSAT): 2478169(3751/2474418)
May 31, 2017 10:36:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1280/3728 took 335564 ms. Total solver calls (SAT/UNSAT): 2485642(3763/2481879)
May 31, 2017 10:36:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1284/3728 took 336568 ms. Total solver calls (SAT/UNSAT): 2493114(3775/2489339)
May 31, 2017 10:36:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1288/3728 took 337568 ms. Total solver calls (SAT/UNSAT): 2500586(3787/2496799)
May 31, 2017 10:36:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1293/3728 took 338816 ms. Total solver calls (SAT/UNSAT): 2509926(3802/2506124)
May 31, 2017 10:36:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1297/3728 took 340010 ms. Total solver calls (SAT/UNSAT): 2518919(3814/2515105)
May 31, 2017 10:36:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1302/3728 took 341255 ms. Total solver calls (SAT/UNSAT): 2528260(3829/2524431)
May 31, 2017 10:36:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1307/3728 took 342500 ms. Total solver calls (SAT/UNSAT): 2537600(3844/2533756)
May 31, 2017 10:36:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1312/3728 took 343749 ms. Total solver calls (SAT/UNSAT): 2546940(3859/2543081)
May 31, 2017 10:36:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1317/3728 took 344994 ms. Total solver calls (SAT/UNSAT): 2556280(3874/2552406)
May 31, 2017 10:36:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1321/3728 took 346190 ms. Total solver calls (SAT/UNSAT): 2565274(3886/2561388)
May 31, 2017 10:36:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1325/3728 took 347199 ms. Total solver calls (SAT/UNSAT): 2572746(3898/2568848)
May 31, 2017 10:37:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1330/3728 took 348445 ms. Total solver calls (SAT/UNSAT): 2582086(3913/2578173)
May 31, 2017 10:37:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1335/3728 took 349690 ms. Total solver calls (SAT/UNSAT): 2591426(3928/2587498)
May 31, 2017 10:37:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1339/3728 took 350887 ms. Total solver calls (SAT/UNSAT): 2600419(3940/2596479)
May 31, 2017 10:37:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1344/3728 took 352128 ms. Total solver calls (SAT/UNSAT): 2609760(3955/2605805)
May 31, 2017 10:37:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1349/3728 took 353371 ms. Total solver calls (SAT/UNSAT): 2619100(3970/2615130)
May 31, 2017 10:37:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1354/3728 took 354615 ms. Total solver calls (SAT/UNSAT): 2628440(3985/2624455)
May 31, 2017 10:37:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1359/3728 took 355864 ms. Total solver calls (SAT/UNSAT): 2637780(4000/2633780)
May 31, 2017 10:37:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1363/3728 took 357060 ms. Total solver calls (SAT/UNSAT): 2646774(4012/2642762)
May 31, 2017 10:37:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1368/3728 took 358319 ms. Total solver calls (SAT/UNSAT): 2656114(4027/2652087)
May 31, 2017 10:37:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1373/3728 took 359563 ms. Total solver calls (SAT/UNSAT): 2665454(4042/2661412)
May 31, 2017 10:37:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1378/3728 took 360812 ms. Total solver calls (SAT/UNSAT): 2674794(4057/2670737)
May 31, 2017 10:37:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1382/3728 took 362007 ms. Total solver calls (SAT/UNSAT): 2683788(4069/2679719)
May 31, 2017 10:37:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1387/3728 took 363250 ms. Total solver calls (SAT/UNSAT): 2693128(4084/2689044)
May 31, 2017 10:37:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1392/3728 took 364495 ms. Total solver calls (SAT/UNSAT): 2702468(4099/2698369)
May 31, 2017 10:37:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1397/3728 took 365741 ms. Total solver calls (SAT/UNSAT): 2711808(4114/2707694)
May 31, 2017 10:37:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1402/3728 took 367185 ms. Total solver calls (SAT/UNSAT): 2722669(4129/2718540)
May 31, 2017 10:37:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1407/3728 took 368429 ms. Total solver calls (SAT/UNSAT): 2732010(4144/2727866)
May 31, 2017 10:37:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1411/3728 took 369430 ms. Total solver calls (SAT/UNSAT): 2739482(4156/2735326)
May 31, 2017 10:37:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1416/3728 took 370675 ms. Total solver calls (SAT/UNSAT): 2748822(4171/2744651)
May 31, 2017 10:37:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1421/3728 took 371921 ms. Total solver calls (SAT/UNSAT): 2758162(4186/2753976)
May 31, 2017 10:37:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1425/3728 took 373115 ms. Total solver calls (SAT/UNSAT): 2767156(4198/2762958)
May 31, 2017 10:37:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1430/3728 took 374359 ms. Total solver calls (SAT/UNSAT): 2776496(4213/2772283)
May 31, 2017 10:37:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1435/3728 took 375604 ms. Total solver calls (SAT/UNSAT): 2785836(4228/2781608)
May 31, 2017 10:37:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1440/3728 took 376851 ms. Total solver calls (SAT/UNSAT): 2795176(4243/2790933)
May 31, 2017 10:37:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1444/3728 took 378043 ms. Total solver calls (SAT/UNSAT): 2804169(4255/2799914)
May 31, 2017 10:37:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1449/3728 took 379287 ms. Total solver calls (SAT/UNSAT): 2813510(4270/2809240)
May 31, 2017 10:37:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1453/3728 took 380301 ms. Total solver calls (SAT/UNSAT): 2820982(4282/2816700)
May 31, 2017 10:37:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1457/3728 took 381302 ms. Total solver calls (SAT/UNSAT): 2828454(4294/2824160)
May 31, 2017 10:37:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1462/3728 took 382548 ms. Total solver calls (SAT/UNSAT): 2837794(4309/2833485)
May 31, 2017 10:37:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1466/3728 took 383748 ms. Total solver calls (SAT/UNSAT): 2846788(4321/2842467)
May 31, 2017 10:37:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1470/3728 took 384758 ms. Total solver calls (SAT/UNSAT): 2854260(4333/2849927)
May 31, 2017 10:37:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1475/3728 took 386001 ms. Total solver calls (SAT/UNSAT): 2863600(4348/2859252)
May 31, 2017 10:37:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1480/3728 took 387245 ms. Total solver calls (SAT/UNSAT): 2872940(4363/2868577)
May 31, 2017 10:37:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1484/3728 took 388245 ms. Total solver calls (SAT/UNSAT): 2880412(4375/2876037)
May 31, 2017 10:37:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1488/3728 took 389451 ms. Total solver calls (SAT/UNSAT): 2889406(4387/2885019)
May 31, 2017 10:37:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1493/3728 took 390695 ms. Total solver calls (SAT/UNSAT): 2898746(4402/2894344)
May 31, 2017 10:37:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1498/3728 took 391940 ms. Total solver calls (SAT/UNSAT): 2908086(4417/2903669)
May 31, 2017 10:37:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1503/3728 took 393185 ms. Total solver calls (SAT/UNSAT): 2917426(4432/2912994)
May 31, 2017 10:37:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1507/3728 took 394379 ms. Total solver calls (SAT/UNSAT): 2926419(4444/2921975)
May 31, 2017 10:37:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1512/3728 took 395624 ms. Total solver calls (SAT/UNSAT): 2935760(4459/2931301)
May 31, 2017 10:37:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1517/3728 took 396869 ms. Total solver calls (SAT/UNSAT): 2945100(4474/2940626)
May 31, 2017 10:37:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1522/3728 took 398115 ms. Total solver calls (SAT/UNSAT): 2954440(4489/2949951)
May 31, 2017 10:37:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1526/3728 took 399122 ms. Total solver calls (SAT/UNSAT): 2961912(4501/2957411)
May 31, 2017 10:37:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1530/3728 took 400315 ms. Total solver calls (SAT/UNSAT): 2970906(4513/2966393)
May 31, 2017 10:37:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1535/3728 took 401559 ms. Total solver calls (SAT/UNSAT): 2980246(4528/2975718)
May 31, 2017 10:37:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1540/3728 took 402806 ms. Total solver calls (SAT/UNSAT): 2989586(4543/2985043)
May 31, 2017 10:37:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1545/3728 took 404052 ms. Total solver calls (SAT/UNSAT): 2998926(4558/2994368)
May 31, 2017 10:37:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1549/3728 took 405250 ms. Total solver calls (SAT/UNSAT): 3007919(4570/3003349)
May 31, 2017 10:37:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1553/3728 took 406250 ms. Total solver calls (SAT/UNSAT): 3015392(4582/3010810)
May 31, 2017 10:38:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1558/3728 took 407497 ms. Total solver calls (SAT/UNSAT): 3024732(4597/3020135)
May 31, 2017 10:38:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1562/3728 took 408504 ms. Total solver calls (SAT/UNSAT): 3032204(4609/3027595)
May 31, 2017 10:38:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1566/3728 took 409545 ms. Total solver calls (SAT/UNSAT): 3039676(4621/3035055)
May 31, 2017 10:38:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1570/3728 took 410754 ms. Total solver calls (SAT/UNSAT): 3048669(4633/3044036)
May 31, 2017 10:38:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1574/3728 took 411763 ms. Total solver calls (SAT/UNSAT): 3056142(4645/3051497)
May 31, 2017 10:38:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1578/3728 took 412770 ms. Total solver calls (SAT/UNSAT): 3063614(4657/3058957)
May 31, 2017 10:38:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1582/3728 took 413776 ms. Total solver calls (SAT/UNSAT): 3071086(4669/3066417)
May 31, 2017 10:38:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1586/3728 took 414782 ms. Total solver calls (SAT/UNSAT): 3078558(4681/3073877)
May 31, 2017 10:38:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1590/3728 took 415790 ms. Total solver calls (SAT/UNSAT): 3086030(4693/3081337)
May 31, 2017 10:38:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1594/3728 took 417005 ms. Total solver calls (SAT/UNSAT): 3095024(4705/3090319)
May 31, 2017 10:38:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1598/3728 took 418012 ms. Total solver calls (SAT/UNSAT): 3102496(4717/3097779)
May 31, 2017 10:38:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1602/3728 took 419017 ms. Total solver calls (SAT/UNSAT): 3109968(4729/3105239)
May 31, 2017 10:38:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1606/3728 took 420022 ms. Total solver calls (SAT/UNSAT): 3117440(4741/3112699)
May 31, 2017 10:38:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1610/3728 took 421028 ms. Total solver calls (SAT/UNSAT): 3124912(4753/3120159)
May 31, 2017 10:38:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1614/3728 took 422231 ms. Total solver calls (SAT/UNSAT): 3133906(4765/3129141)
May 31, 2017 10:38:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1618/3728 took 423276 ms. Total solver calls (SAT/UNSAT): 3141378(4777/3136601)
May 31, 2017 10:38:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1622/3728 took 424378 ms. Total solver calls (SAT/UNSAT): 3148850(4789/3144061)
May 31, 2017 10:38:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1626/3728 took 425385 ms. Total solver calls (SAT/UNSAT): 3156322(4801/3151521)
May 31, 2017 10:38:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1630/3728 took 426390 ms. Total solver calls (SAT/UNSAT): 3163794(4813/3158981)
May 31, 2017 10:38:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1634/3728 took 427594 ms. Total solver calls (SAT/UNSAT): 3172788(4825/3167963)
May 31, 2017 10:38:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1638/3728 took 428599 ms. Total solver calls (SAT/UNSAT): 3180260(4837/3175423)
May 31, 2017 10:38:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1642/3728 took 429607 ms. Total solver calls (SAT/UNSAT): 3187732(4849/3182883)
May 31, 2017 10:38:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1646/3728 took 430618 ms. Total solver calls (SAT/UNSAT): 3195204(4861/3190343)
May 31, 2017 10:38:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1650/3728 took 431627 ms. Total solver calls (SAT/UNSAT): 3202676(4873/3197803)
May 31, 2017 10:38:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1654/3728 took 432834 ms. Total solver calls (SAT/UNSAT): 3211669(4885/3206784)
May 31, 2017 10:38:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1658/3728 took 433941 ms. Total solver calls (SAT/UNSAT): 3219142(4897/3214245)
May 31, 2017 10:38:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1662/3728 took 434956 ms. Total solver calls (SAT/UNSAT): 3226614(4909/3221705)
May 31, 2017 10:38:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1666/3728 took 435969 ms. Total solver calls (SAT/UNSAT): 3234086(4921/3229165)
May 31, 2017 10:38:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1670/3728 took 436983 ms. Total solver calls (SAT/UNSAT): 3241558(4933/3236625)
May 31, 2017 10:38:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1674/3728 took 437998 ms. Total solver calls (SAT/UNSAT): 3249030(4945/3244085)
May 31, 2017 10:38:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1678/3728 took 439214 ms. Total solver calls (SAT/UNSAT): 3258024(4957/3253067)
May 31, 2017 10:38:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1682/3728 took 440228 ms. Total solver calls (SAT/UNSAT): 3265496(4969/3260527)
May 31, 2017 10:38:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1686/3728 took 441244 ms. Total solver calls (SAT/UNSAT): 3272968(4981/3267987)
May 31, 2017 10:38:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1690/3728 took 442276 ms. Total solver calls (SAT/UNSAT): 3280440(4993/3275447)
May 31, 2017 10:38:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1694/3728 took 443297 ms. Total solver calls (SAT/UNSAT): 3287912(5005/3282907)
May 31, 2017 10:38:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1698/3728 took 444522 ms. Total solver calls (SAT/UNSAT): 3296906(5017/3291889)
May 31, 2017 10:38:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1702/3728 took 445537 ms. Total solver calls (SAT/UNSAT): 3304378(5029/3299349)
May 31, 2017 10:38:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1706/3728 took 446553 ms. Total solver calls (SAT/UNSAT): 3311850(5041/3306809)
May 31, 2017 10:38:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1710/3728 took 447563 ms. Total solver calls (SAT/UNSAT): 3319322(5053/3314269)
May 31, 2017 10:38:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1714/3728 took 448578 ms. Total solver calls (SAT/UNSAT): 3326794(5065/3321729)
May 31, 2017 10:38:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1718/3728 took 449816 ms. Total solver calls (SAT/UNSAT): 3335788(5077/3330711)
May 31, 2017 10:38:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1722/3728 took 450839 ms. Total solver calls (SAT/UNSAT): 3343260(5089/3338171)
May 31, 2017 10:38:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1726/3728 took 451863 ms. Total solver calls (SAT/UNSAT): 3350732(5101/3345631)
May 31, 2017 10:38:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1730/3728 took 452888 ms. Total solver calls (SAT/UNSAT): 3358204(5113/3353091)
May 31, 2017 10:38:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1734/3728 took 453902 ms. Total solver calls (SAT/UNSAT): 3365676(5125/3360551)
May 31, 2017 10:38:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1738/3728 took 455118 ms. Total solver calls (SAT/UNSAT): 3374669(5137/3369532)
May 31, 2017 10:38:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1742/3728 took 456130 ms. Total solver calls (SAT/UNSAT): 3382142(5149/3376993)
May 31, 2017 10:38:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1746/3728 took 457156 ms. Total solver calls (SAT/UNSAT): 3389614(5161/3384453)
May 31, 2017 10:38:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1750/3728 took 458170 ms. Total solver calls (SAT/UNSAT): 3397086(5173/3391913)
May 31, 2017 10:38:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1754/3728 took 459183 ms. Total solver calls (SAT/UNSAT): 3404558(5185/3399373)
May 31, 2017 10:38:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1758/3728 took 460199 ms. Total solver calls (SAT/UNSAT): 3412030(5197/3406833)
May 31, 2017 10:38:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1762/3728 took 461407 ms. Total solver calls (SAT/UNSAT): 3421021(5209/3415812)
May 31, 2017 10:38:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1766/3728 took 462411 ms. Total solver calls (SAT/UNSAT): 3428489(5221/3423268)
May 31, 2017 10:38:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1770/3728 took 463431 ms. Total solver calls (SAT/UNSAT): 3435957(5233/3430724)
May 31, 2017 10:38:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1774/3728 took 464445 ms. Total solver calls (SAT/UNSAT): 3443425(5245/3438180)
May 31, 2017 10:38:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1778/3728 took 465451 ms. Total solver calls (SAT/UNSAT): 3450893(5257/3445636)
May 31, 2017 10:38:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1782/3728 took 466657 ms. Total solver calls (SAT/UNSAT): 3459885(5269/3454616)
May 31, 2017 10:39:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1786/3728 took 467658 ms. Total solver calls (SAT/UNSAT): 3467357(5281/3462076)
May 31, 2017 10:39:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1790/3728 took 468661 ms. Total solver calls (SAT/UNSAT): 3474829(5293/3469536)
May 31, 2017 10:39:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1794/3728 took 469666 ms. Total solver calls (SAT/UNSAT): 3482301(5305/3476996)
May 31, 2017 10:39:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1798/3728 took 470702 ms. Total solver calls (SAT/UNSAT): 3489773(5317/3484456)
May 31, 2017 10:39:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1802/3728 took 471921 ms. Total solver calls (SAT/UNSAT): 3498767(5329/3493438)
May 31, 2017 10:39:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1806/3728 took 472931 ms. Total solver calls (SAT/UNSAT): 3506239(5341/3500898)
May 31, 2017 10:39:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1810/3728 took 473936 ms. Total solver calls (SAT/UNSAT): 3513711(5353/3508358)
May 31, 2017 10:39:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1814/3728 took 474947 ms. Total solver calls (SAT/UNSAT): 3521183(5365/3515818)
May 31, 2017 10:39:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1818/3728 took 475953 ms. Total solver calls (SAT/UNSAT): 3528655(5377/3523278)
May 31, 2017 10:39:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1822/3728 took 477175 ms. Total solver calls (SAT/UNSAT): 3537648(5389/3532259)
May 31, 2017 10:39:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1826/3728 took 478179 ms. Total solver calls (SAT/UNSAT): 3545121(5401/3539720)
May 31, 2017 10:39:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1830/3728 took 479184 ms. Total solver calls (SAT/UNSAT): 3552593(5413/3547180)
May 31, 2017 10:39:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1834/3728 took 480188 ms. Total solver calls (SAT/UNSAT): 3560065(5425/3554640)
May 31, 2017 10:39:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1838/3728 took 481192 ms. Total solver calls (SAT/UNSAT): 3567537(5437/3562100)
May 31, 2017 10:39:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1842/3728 took 482196 ms. Total solver calls (SAT/UNSAT): 3575009(5449/3569560)
May 31, 2017 10:39:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1846/3728 took 483417 ms. Total solver calls (SAT/UNSAT): 3584003(5461/3578542)
May 31, 2017 10:39:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1850/3728 took 484430 ms. Total solver calls (SAT/UNSAT): 3591475(5473/3586002)
May 31, 2017 10:39:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1854/3728 took 485435 ms. Total solver calls (SAT/UNSAT): 3598947(5485/3593462)
May 31, 2017 10:39:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1858/3728 took 486437 ms. Total solver calls (SAT/UNSAT): 3606419(5497/3600922)
May 31, 2017 10:39:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1862/3728 took 487485 ms. Total solver calls (SAT/UNSAT): 3613891(5509/3608382)
May 31, 2017 10:39:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1866/3728 took 488707 ms. Total solver calls (SAT/UNSAT): 3622885(5521/3617364)
May 31, 2017 10:39:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1870/3728 took 489715 ms. Total solver calls (SAT/UNSAT): 3630357(5533/3624824)
May 31, 2017 10:39:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1874/3728 took 490719 ms. Total solver calls (SAT/UNSAT): 3637829(5545/3632284)
May 31, 2017 10:39:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1878/3728 took 491725 ms. Total solver calls (SAT/UNSAT): 3645301(5557/3639744)
May 31, 2017 10:39:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1882/3728 took 492731 ms. Total solver calls (SAT/UNSAT): 3652773(5569/3647204)
May 31, 2017 10:39:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1886/3728 took 493948 ms. Total solver calls (SAT/UNSAT): 3661767(5581/3656186)
May 31, 2017 10:39:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1890/3728 took 494986 ms. Total solver calls (SAT/UNSAT): 3669239(5593/3663646)
May 31, 2017 10:39:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1895/3728 took 496210 ms. Total solver calls (SAT/UNSAT): 3678579(5608/3672971)
May 31, 2017 10:39:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1900/3728 took 497435 ms. Total solver calls (SAT/UNSAT): 3687919(5623/3682296)
May 31, 2017 10:39:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1905/3728 took 498659 ms. Total solver calls (SAT/UNSAT): 3697259(5638/3691621)
May 31, 2017 10:39:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1909/3728 took 499842 ms. Total solver calls (SAT/UNSAT): 3706253(5650/3700603)
May 31, 2017 10:39:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1914/3728 took 501066 ms. Total solver calls (SAT/UNSAT): 3715593(5665/3709928)
May 31, 2017 10:39:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1919/3728 took 502291 ms. Total solver calls (SAT/UNSAT): 3724933(5680/3719253)
May 31, 2017 10:39:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1924/3728 took 503511 ms. Total solver calls (SAT/UNSAT): 3734273(5695/3728578)
May 31, 2017 10:39:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1928/3728 took 504696 ms. Total solver calls (SAT/UNSAT): 3743267(5707/3737560)
May 31, 2017 10:39:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1933/3728 took 505918 ms. Total solver calls (SAT/UNSAT): 3752607(5722/3746885)
May 31, 2017 10:39:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1938/3728 took 507139 ms. Total solver calls (SAT/UNSAT): 3761947(5737/3756210)
May 31, 2017 10:39:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1943/3728 took 508358 ms. Total solver calls (SAT/UNSAT): 3771287(5752/3765535)
May 31, 2017 10:39:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1948/3728 took 509781 ms. Total solver calls (SAT/UNSAT): 3782148(5767/3776381)
May 31, 2017 10:39:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1953/3728 took 510998 ms. Total solver calls (SAT/UNSAT): 3791489(5782/3785707)
May 31, 2017 10:39:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1958/3728 took 512220 ms. Total solver calls (SAT/UNSAT): 3800829(5797/3795032)
May 31, 2017 10:39:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1963/3728 took 513439 ms. Total solver calls (SAT/UNSAT): 3810169(5812/3804357)
May 31, 2017 10:39:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1968/3728 took 514671 ms. Total solver calls (SAT/UNSAT): 3819509(5827/3813682)
May 31, 2017 10:39:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1972/3728 took 515855 ms. Total solver calls (SAT/UNSAT): 3828503(5839/3822664)
May 31, 2017 10:39:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1976/3728 took 516881 ms. Total solver calls (SAT/UNSAT): 3835975(5851/3830124)
May 31, 2017 10:39:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1980/3728 took 517884 ms. Total solver calls (SAT/UNSAT): 3843447(5863/3837584)
May 31, 2017 10:39:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1984/3728 took 518914 ms. Total solver calls (SAT/UNSAT): 3850919(5875/3845044)
May 31, 2017 10:39:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1989/3728 took 520145 ms. Total solver calls (SAT/UNSAT): 3860259(5890/3854369)
May 31, 2017 10:39:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1993/3728 took 521325 ms. Total solver calls (SAT/UNSAT): 3869253(5902/3863351)
May 31, 2017 10:39:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1998/3728 took 522546 ms. Total solver calls (SAT/UNSAT): 3878593(5917/3872676)
May 31, 2017 10:39:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2003/3728 took 523778 ms. Total solver calls (SAT/UNSAT): 3887933(5932/3882001)
May 31, 2017 10:39:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2008/3728 took 525005 ms. Total solver calls (SAT/UNSAT): 3897273(5947/3891326)
May 31, 2017 10:39:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2012/3728 took 526245 ms. Total solver calls (SAT/UNSAT): 3906267(5959/3900308)
May 31, 2017 10:39:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2016/3728 took 527261 ms. Total solver calls (SAT/UNSAT): 3913739(5971/3907768)
May 31, 2017 10:40:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2020/3728 took 528278 ms. Total solver calls (SAT/UNSAT): 3921211(5983/3915228)
May 31, 2017 10:40:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2024/3728 took 529288 ms. Total solver calls (SAT/UNSAT): 3928683(5995/3922688)
May 31, 2017 10:40:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2028/3728 took 530289 ms. Total solver calls (SAT/UNSAT): 3936155(6007/3930148)
May 31, 2017 10:40:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2032/3728 took 531494 ms. Total solver calls (SAT/UNSAT): 3945148(6019/3939129)
May 31, 2017 10:40:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2036/3728 took 532507 ms. Total solver calls (SAT/UNSAT): 3952621(6031/3946590)
May 31, 2017 10:40:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2040/3728 took 533517 ms. Total solver calls (SAT/UNSAT): 3960093(6043/3954050)
May 31, 2017 10:40:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2044/3728 took 534520 ms. Total solver calls (SAT/UNSAT): 3967565(6055/3961510)
May 31, 2017 10:40:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2048/3728 took 535525 ms. Total solver calls (SAT/UNSAT): 3975037(6067/3968970)
May 31, 2017 10:40:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2052/3728 took 536537 ms. Total solver calls (SAT/UNSAT): 3982509(6079/3976430)
May 31, 2017 10:40:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2056/3728 took 537747 ms. Total solver calls (SAT/UNSAT): 3991503(6091/3985412)
May 31, 2017 10:40:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2060/3728 took 538749 ms. Total solver calls (SAT/UNSAT): 3998975(6103/3992872)
May 31, 2017 10:40:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2064/3728 took 539750 ms. Total solver calls (SAT/UNSAT): 4006447(6115/4000332)
May 31, 2017 10:40:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2068/3728 took 540767 ms. Total solver calls (SAT/UNSAT): 4013919(6127/4007792)
May 31, 2017 10:40:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2072/3728 took 541773 ms. Total solver calls (SAT/UNSAT): 4021391(6139/4015252)
May 31, 2017 10:40:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2076/3728 took 542977 ms. Total solver calls (SAT/UNSAT): 4030385(6151/4024234)
May 31, 2017 10:40:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2080/3728 took 543991 ms. Total solver calls (SAT/UNSAT): 4037857(6163/4031694)
May 31, 2017 10:40:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2084/3728 took 545004 ms. Total solver calls (SAT/UNSAT): 4045329(6175/4039154)
May 31, 2017 10:40:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2088/3728 took 546010 ms. Total solver calls (SAT/UNSAT): 4052801(6187/4046614)
May 31, 2017 10:40:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2092/3728 took 547016 ms. Total solver calls (SAT/UNSAT): 4060273(6199/4054074)
May 31, 2017 10:40:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2096/3728 took 548233 ms. Total solver calls (SAT/UNSAT): 4069267(6211/4063056)
May 31, 2017 10:40:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2100/3728 took 549271 ms. Total solver calls (SAT/UNSAT): 4076739(6223/4070516)
May 31, 2017 10:40:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2105/3728 took 550492 ms. Total solver calls (SAT/UNSAT): 4086079(6238/4079841)
May 31, 2017 10:40:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2110/3728 took 551716 ms. Total solver calls (SAT/UNSAT): 4095419(6253/4089166)
May 31, 2017 10:40:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2115/3728 took 552937 ms. Total solver calls (SAT/UNSAT): 4104759(6268/4098491)
May 31, 2017 10:40:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2119/3728 took 554110 ms. Total solver calls (SAT/UNSAT): 4113753(6280/4107473)
May 31, 2017 10:40:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2124/3728 took 555340 ms. Total solver calls (SAT/UNSAT): 4123093(6295/4116798)
May 31, 2017 10:40:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2129/3728 took 556559 ms. Total solver calls (SAT/UNSAT): 4132433(6310/4126123)
May 31, 2017 10:40:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2134/3728 took 557783 ms. Total solver calls (SAT/UNSAT): 4141773(6325/4135448)
May 31, 2017 10:40:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2138/3728 took 558959 ms. Total solver calls (SAT/UNSAT): 4150767(6337/4144430)
May 31, 2017 10:40:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2143/3728 took 560184 ms. Total solver calls (SAT/UNSAT): 4160107(6352/4153755)
May 31, 2017 10:40:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2148/3728 took 561408 ms. Total solver calls (SAT/UNSAT): 4169447(6367/4163080)
May 31, 2017 10:40:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2153/3728 took 562631 ms. Total solver calls (SAT/UNSAT): 4178787(6382/4172405)
May 31, 2017 10:40:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2158/3728 took 564056 ms. Total solver calls (SAT/UNSAT): 4189648(6397/4183251)
May 31, 2017 10:40:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2163/3728 took 565286 ms. Total solver calls (SAT/UNSAT): 4198989(6412/4192577)
May 31, 2017 10:40:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2168/3728 took 566511 ms. Total solver calls (SAT/UNSAT): 4208329(6427/4201902)
May 31, 2017 10:40:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2173/3728 took 567787 ms. Total solver calls (SAT/UNSAT): 4217669(6442/4211227)
May 31, 2017 10:40:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2177/3728 took 568798 ms. Total solver calls (SAT/UNSAT): 4225141(6454/4218687)
May 31, 2017 10:40:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2181/3728 took 569999 ms. Total solver calls (SAT/UNSAT): 4234135(6466/4227669)
May 31, 2017 10:40:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2185/3728 took 571001 ms. Total solver calls (SAT/UNSAT): 4241607(6478/4235129)
May 31, 2017 10:40:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2190/3728 took 572247 ms. Total solver calls (SAT/UNSAT): 4250947(6493/4244454)
May 31, 2017 10:40:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2194/3728 took 573249 ms. Total solver calls (SAT/UNSAT): 4258419(6505/4251914)
May 31, 2017 10:40:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2199/3728 took 574495 ms. Total solver calls (SAT/UNSAT): 4267759(6520/4261239)
May 31, 2017 10:40:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2202/3728 took 575630 ms. Total solver calls (SAT/UNSAT): 4274885(6529/4268356)
May 31, 2017 10:40:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2206/3728 took 576769 ms. Total solver calls (SAT/UNSAT): 4282357(6541/4275816)
May 31, 2017 10:40:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2210/3728 took 577867 ms. Total solver calls (SAT/UNSAT): 4289829(6553/4283276)
May 31, 2017 10:40:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2214/3728 took 578965 ms. Total solver calls (SAT/UNSAT): 4297301(6565/4290736)
May 31, 2017 10:40:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2218/3728 took 580066 ms. Total solver calls (SAT/UNSAT): 4304773(6577/4298196)
May 31, 2017 10:40:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2221/3728 took 581111 ms. Total solver calls (SAT/UNSAT): 4311898(6586/4305312)
May 31, 2017 10:40:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2225/3728 took 582211 ms. Total solver calls (SAT/UNSAT): 4319371(6598/4312773)
May 31, 2017 10:40:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2229/3728 took 583312 ms. Total solver calls (SAT/UNSAT): 4326843(6610/4320233)
May 31, 2017 10:40:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2233/3728 took 584411 ms. Total solver calls (SAT/UNSAT): 4334315(6622/4327693)
May 31, 2017 10:40:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2237/3728 took 585515 ms. Total solver calls (SAT/UNSAT): 4341787(6634/4335153)
May 31, 2017 10:40:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2241/3728 took 586616 ms. Total solver calls (SAT/UNSAT): 4349259(6646/4342613)
May 31, 2017 10:41:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2244/3728 took 587662 ms. Total solver calls (SAT/UNSAT): 4356385(6655/4349730)
May 31, 2017 10:41:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2248/3728 took 588775 ms. Total solver calls (SAT/UNSAT): 4363857(6667/4357190)
May 31, 2017 10:41:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2252/3728 took 589875 ms. Total solver calls (SAT/UNSAT): 4371329(6679/4364650)
May 31, 2017 10:41:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2256/3728 took 590980 ms. Total solver calls (SAT/UNSAT): 4378801(6691/4372110)
May 31, 2017 10:41:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2260/3728 took 592086 ms. Total solver calls (SAT/UNSAT): 4386273(6703/4379570)
May 31, 2017 10:41:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2263/3728 took 593136 ms. Total solver calls (SAT/UNSAT): 4393398(6712/4386686)
May 31, 2017 10:41:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2267/3728 took 594249 ms. Total solver calls (SAT/UNSAT): 4400871(6724/4394147)
May 31, 2017 10:41:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2271/3728 took 595357 ms. Total solver calls (SAT/UNSAT): 4408343(6736/4401607)
May 31, 2017 10:41:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2275/3728 took 596474 ms. Total solver calls (SAT/UNSAT): 4415815(6748/4409067)
May 31, 2017 10:41:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2279/3728 took 597574 ms. Total solver calls (SAT/UNSAT): 4423287(6760/4416527)
May 31, 2017 10:41:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2283/3728 took 598679 ms. Total solver calls (SAT/UNSAT): 4430759(6772/4423987)
May 31, 2017 10:41:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2286/3728 took 599729 ms. Total solver calls (SAT/UNSAT): 4437885(6781/4431104)
May 31, 2017 10:41:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2290/3728 took 600835 ms. Total solver calls (SAT/UNSAT): 4445357(6793/4438564)
May 31, 2017 10:41:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2294/3728 took 601946 ms. Total solver calls (SAT/UNSAT): 4452829(6805/4446024)
May 31, 2017 10:41:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2298/3728 took 603054 ms. Total solver calls (SAT/UNSAT): 4460301(6817/4453484)
May 31, 2017 10:41:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2302/3728 took 604166 ms. Total solver calls (SAT/UNSAT): 4467773(6829/4460944)
May 31, 2017 10:41:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2305/3728 took 605214 ms. Total solver calls (SAT/UNSAT): 4474898(6838/4468060)
May 31, 2017 10:41:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2309/3728 took 606321 ms. Total solver calls (SAT/UNSAT): 4482371(6850/4475521)
May 31, 2017 10:41:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2313/3728 took 607424 ms. Total solver calls (SAT/UNSAT): 4489843(6862/4482981)
May 31, 2017 10:41:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2317/3728 took 608534 ms. Total solver calls (SAT/UNSAT): 4497315(6874/4490441)
May 31, 2017 10:41:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2321/3728 took 609629 ms. Total solver calls (SAT/UNSAT): 4504787(6886/4497901)
May 31, 2017 10:41:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2325/3728 took 610736 ms. Total solver calls (SAT/UNSAT): 4512259(6898/4505361)
May 31, 2017 10:41:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2328/3728 took 611790 ms. Total solver calls (SAT/UNSAT): 4519385(6907/4512478)
May 31, 2017 10:41:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2332/3728 took 612903 ms. Total solver calls (SAT/UNSAT): 4526857(6919/4519938)
May 31, 2017 10:41:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2336/3728 took 614001 ms. Total solver calls (SAT/UNSAT): 4534329(6931/4527398)
May 31, 2017 10:41:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2340/3728 took 615109 ms. Total solver calls (SAT/UNSAT): 4541801(6943/4534858)
May 31, 2017 10:41:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2344/3728 took 616212 ms. Total solver calls (SAT/UNSAT): 4549273(6955/4542318)
May 31, 2017 10:41:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2347/3728 took 617268 ms. Total solver calls (SAT/UNSAT): 4556398(6964/4549434)
May 31, 2017 10:41:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2351/3728 took 618363 ms. Total solver calls (SAT/UNSAT): 4563871(6976/4556895)
May 31, 2017 10:41:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2355/3728 took 619475 ms. Total solver calls (SAT/UNSAT): 4571343(6988/4564355)
May 31, 2017 10:41:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2359/3728 took 620572 ms. Total solver calls (SAT/UNSAT): 4578815(7000/4571815)
May 31, 2017 10:41:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2363/3728 took 621672 ms. Total solver calls (SAT/UNSAT): 4586287(7012/4579275)
May 31, 2017 10:41:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2367/3728 took 622775 ms. Total solver calls (SAT/UNSAT): 4593759(7024/4586735)
May 31, 2017 10:41:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2370/3728 took 623828 ms. Total solver calls (SAT/UNSAT): 4600885(7033/4593852)
May 31, 2017 10:41:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2374/3728 took 624941 ms. Total solver calls (SAT/UNSAT): 4608357(7045/4601312)
May 31, 2017 10:41:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2378/3728 took 626038 ms. Total solver calls (SAT/UNSAT): 4615829(7057/4608772)
May 31, 2017 10:41:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2382/3728 took 627149 ms. Total solver calls (SAT/UNSAT): 4623301(7069/4616232)
May 31, 2017 10:41:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2386/3728 took 628251 ms. Total solver calls (SAT/UNSAT): 4630773(7081/4623692)
May 31, 2017 10:41:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2389/3728 took 629302 ms. Total solver calls (SAT/UNSAT): 4637898(7090/4630808)
May 31, 2017 10:41:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2393/3728 took 630405 ms. Total solver calls (SAT/UNSAT): 4645371(7102/4638269)
May 31, 2017 10:41:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2397/3728 took 631513 ms. Total solver calls (SAT/UNSAT): 4652843(7114/4645729)
May 31, 2017 10:41:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2401/3728 took 632623 ms. Total solver calls (SAT/UNSAT): 4660315(7126/4653189)
May 31, 2017 10:41:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2405/3728 took 633719 ms. Total solver calls (SAT/UNSAT): 4667787(7138/4660649)
May 31, 2017 10:41:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2409/3728 took 634828 ms. Total solver calls (SAT/UNSAT): 4675259(7150/4668109)
May 31, 2017 10:41:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2412/3728 took 635885 ms. Total solver calls (SAT/UNSAT): 4682385(7159/4675226)
May 31, 2017 10:41:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2416/3728 took 636992 ms. Total solver calls (SAT/UNSAT): 4689857(7171/4682686)
May 31, 2017 10:41:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2420/3728 took 638094 ms. Total solver calls (SAT/UNSAT): 4697329(7183/4690146)
May 31, 2017 10:41:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2424/3728 took 639196 ms. Total solver calls (SAT/UNSAT): 4704801(7195/4697606)
May 31, 2017 10:41:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2428/3728 took 640304 ms. Total solver calls (SAT/UNSAT): 4712273(7207/4705066)
May 31, 2017 10:41:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2431/3728 took 641355 ms. Total solver calls (SAT/UNSAT): 4719398(7216/4712182)
May 31, 2017 10:41:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2435/3728 took 642455 ms. Total solver calls (SAT/UNSAT): 4726871(7228/4719643)
May 31, 2017 10:41:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2439/3728 took 643552 ms. Total solver calls (SAT/UNSAT): 4734343(7240/4727103)
May 31, 2017 10:41:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2443/3728 took 644651 ms. Total solver calls (SAT/UNSAT): 4741815(7252/4734563)
May 31, 2017 10:41:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2447/3728 took 645757 ms. Total solver calls (SAT/UNSAT): 4749287(7264/4742023)
May 31, 2017 10:41:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2451/3728 took 646852 ms. Total solver calls (SAT/UNSAT): 4756759(7276/4749483)
May 31, 2017 10:42:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2454/3728 took 647896 ms. Total solver calls (SAT/UNSAT): 4763885(7285/4756600)
May 31, 2017 10:42:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2458/3728 took 648997 ms. Total solver calls (SAT/UNSAT): 4771357(7297/4764060)
May 31, 2017 10:42:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2462/3728 took 650096 ms. Total solver calls (SAT/UNSAT): 4778829(7309/4771520)
May 31, 2017 10:42:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2466/3728 took 651196 ms. Total solver calls (SAT/UNSAT): 4786301(7321/4778980)
May 31, 2017 10:42:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2470/3728 took 652307 ms. Total solver calls (SAT/UNSAT): 4793773(7333/4786440)
May 31, 2017 10:42:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2473/3728 took 653367 ms. Total solver calls (SAT/UNSAT): 4800898(7342/4793556)
May 31, 2017 10:42:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2477/3728 took 654462 ms. Total solver calls (SAT/UNSAT): 4808371(7354/4801017)
May 31, 2017 10:42:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2481/3728 took 655529 ms. Total solver calls (SAT/UNSAT): 4815843(7366/4808477)
May 31, 2017 10:42:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2485/3728 took 656547 ms. Total solver calls (SAT/UNSAT): 4823315(7378/4815937)
May 31, 2017 10:42:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2489/3728 took 657558 ms. Total solver calls (SAT/UNSAT): 4830787(7390/4823397)
May 31, 2017 10:42:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2493/3728 took 658569 ms. Total solver calls (SAT/UNSAT): 4838259(7402/4830857)
May 31, 2017 10:42:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2497/3728 took 659797 ms. Total solver calls (SAT/UNSAT): 4847253(7414/4839839)
May 31, 2017 10:42:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2501/3728 took 660855 ms. Total solver calls (SAT/UNSAT): 4854725(7426/4847299)
May 31, 2017 10:42:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2505/3728 took 661869 ms. Total solver calls (SAT/UNSAT): 4862197(7438/4854759)
May 31, 2017 10:42:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2509/3728 took 662886 ms. Total solver calls (SAT/UNSAT): 4869669(7450/4862219)
May 31, 2017 10:42:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2513/3728 took 663902 ms. Total solver calls (SAT/UNSAT): 4877141(7462/4869679)
May 31, 2017 10:42:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2517/3728 took 665129 ms. Total solver calls (SAT/UNSAT): 4886135(7474/4878661)
May 31, 2017 10:42:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2521/3728 took 666141 ms. Total solver calls (SAT/UNSAT): 4893607(7486/4886121)
May 31, 2017 10:42:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2525/3728 took 667160 ms. Total solver calls (SAT/UNSAT): 4901079(7498/4893581)
May 31, 2017 10:42:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2529/3728 took 668222 ms. Total solver calls (SAT/UNSAT): 4908551(7510/4901041)
May 31, 2017 10:42:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2533/3728 took 669235 ms. Total solver calls (SAT/UNSAT): 4916023(7522/4908501)
May 31, 2017 10:42:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2537/3728 took 670461 ms. Total solver calls (SAT/UNSAT): 4925017(7534/4917483)
May 31, 2017 10:42:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2541/3728 took 671478 ms. Total solver calls (SAT/UNSAT): 4932489(7546/4924943)
May 31, 2017 10:42:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2545/3728 took 672496 ms. Total solver calls (SAT/UNSAT): 4939961(7558/4932403)
May 31, 2017 10:42:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2549/3728 took 673510 ms. Total solver calls (SAT/UNSAT): 4947433(7570/4939863)
May 31, 2017 10:42:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2553/3728 took 674523 ms. Total solver calls (SAT/UNSAT): 4954905(7582/4947323)
May 31, 2017 10:42:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2557/3728 took 675748 ms. Total solver calls (SAT/UNSAT): 4963898(7594/4956304)
May 31, 2017 10:42:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2561/3728 took 676766 ms. Total solver calls (SAT/UNSAT): 4971371(7606/4963765)
May 31, 2017 10:42:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2565/3728 took 677781 ms. Total solver calls (SAT/UNSAT): 4978843(7618/4971225)
May 31, 2017 10:42:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2569/3728 took 678811 ms. Total solver calls (SAT/UNSAT): 4986315(7630/4978685)
May 31, 2017 10:42:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2573/3728 took 679827 ms. Total solver calls (SAT/UNSAT): 4993787(7642/4986145)
May 31, 2017 10:42:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2577/3728 took 680841 ms. Total solver calls (SAT/UNSAT): 5001259(7654/4993605)
May 31, 2017 10:42:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2581/3728 took 682055 ms. Total solver calls (SAT/UNSAT): 5010253(7666/5002587)
May 31, 2017 10:42:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2585/3728 took 683075 ms. Total solver calls (SAT/UNSAT): 5017725(7678/5010047)
May 31, 2017 10:42:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2589/3728 took 684091 ms. Total solver calls (SAT/UNSAT): 5025197(7690/5017507)
May 31, 2017 10:42:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2593/3728 took 685108 ms. Total solver calls (SAT/UNSAT): 5032669(7702/5024967)
May 31, 2017 10:42:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2597/3728 took 686164 ms. Total solver calls (SAT/UNSAT): 5040141(7714/5032427)
May 31, 2017 10:42:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2601/3728 took 687381 ms. Total solver calls (SAT/UNSAT): 5049135(7726/5041409)
May 31, 2017 10:42:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2605/3728 took 688394 ms. Total solver calls (SAT/UNSAT): 5056607(7738/5048869)
May 31, 2017 10:42:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2609/3728 took 689440 ms. Total solver calls (SAT/UNSAT): 5064079(7750/5056329)
May 31, 2017 10:42:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2614/3728 took 690679 ms. Total solver calls (SAT/UNSAT): 5073419(7765/5065654)
May 31, 2017 10:42:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2618/3728 took 691681 ms. Total solver calls (SAT/UNSAT): 5080891(7777/5073114)
May 31, 2017 10:42:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2622/3728 took 692884 ms. Total solver calls (SAT/UNSAT): 5089885(7789/5082096)
May 31, 2017 10:42:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2627/3728 took 694121 ms. Total solver calls (SAT/UNSAT): 5099225(7804/5091421)
May 31, 2017 10:42:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2631/3728 took 695121 ms. Total solver calls (SAT/UNSAT): 5106697(7816/5098881)
May 31, 2017 10:42:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2636/3728 took 696366 ms. Total solver calls (SAT/UNSAT): 5116037(7831/5108206)
May 31, 2017 10:42:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2641/3728 took 697810 ms. Total solver calls (SAT/UNSAT): 5126898(7846/5119052)
May 31, 2017 10:42:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2645/3728 took 698810 ms. Total solver calls (SAT/UNSAT): 5134371(7858/5126513)
May 31, 2017 10:42:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2650/3728 took 700052 ms. Total solver calls (SAT/UNSAT): 5143711(7873/5135838)
May 31, 2017 10:42:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2655/3728 took 701294 ms. Total solver calls (SAT/UNSAT): 5153051(7888/5145163)
May 31, 2017 10:42:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2660/3728 took 702535 ms. Total solver calls (SAT/UNSAT): 5162391(7903/5154488)
May 31, 2017 10:42:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2664/3728 took 703730 ms. Total solver calls (SAT/UNSAT): 5171385(7915/5163470)
May 31, 2017 10:42:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2669/3728 took 704973 ms. Total solver calls (SAT/UNSAT): 5180725(7930/5172795)
May 31, 2017 10:42:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2674/3728 took 706216 ms. Total solver calls (SAT/UNSAT): 5190065(7945/5182120)
May 31, 2017 10:43:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2679/3728 took 707457 ms. Total solver calls (SAT/UNSAT): 5199405(7960/5191445)
May 31, 2017 10:43:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2683/3728 took 708652 ms. Total solver calls (SAT/UNSAT): 5208398(7972/5200426)
May 31, 2017 10:43:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2688/3728 took 709891 ms. Total solver calls (SAT/UNSAT): 5217739(7987/5209752)
May 31, 2017 10:43:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2693/3728 took 711131 ms. Total solver calls (SAT/UNSAT): 5227079(8002/5219077)
May 31, 2017 10:43:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2698/3728 took 712364 ms. Total solver calls (SAT/UNSAT): 5236419(8017/5228402)
May 31, 2017 10:43:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2703/3728 took 713600 ms. Total solver calls (SAT/UNSAT): 5245759(8032/5237727)
May 31, 2017 10:43:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2707/3728 took 714799 ms. Total solver calls (SAT/UNSAT): 5254753(8044/5246709)
May 31, 2017 10:43:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2711/3728 took 715804 ms. Total solver calls (SAT/UNSAT): 5262225(8056/5254169)
May 31, 2017 10:43:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2716/3728 took 717052 ms. Total solver calls (SAT/UNSAT): 5271565(8071/5263494)
May 31, 2017 10:43:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2721/3728 took 718290 ms. Total solver calls (SAT/UNSAT): 5280905(8086/5272819)
May 31, 2017 10:43:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2725/3728 took 719481 ms. Total solver calls (SAT/UNSAT): 5289898(8098/5281800)
May 31, 2017 10:43:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2730/3728 took 720729 ms. Total solver calls (SAT/UNSAT): 5299239(8113/5291126)
May 31, 2017 10:43:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2735/3728 took 721967 ms. Total solver calls (SAT/UNSAT): 5308579(8128/5300451)
May 31, 2017 10:43:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2740/3728 took 723211 ms. Total solver calls (SAT/UNSAT): 5317919(8143/5309776)
May 31, 2017 10:43:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2745/3728 took 724452 ms. Total solver calls (SAT/UNSAT): 5327259(8158/5319101)
May 31, 2017 10:43:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2749/3728 took 725637 ms. Total solver calls (SAT/UNSAT): 5336253(8170/5328083)
May 31, 2017 10:43:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2753/3728 took 726679 ms. Total solver calls (SAT/UNSAT): 5343725(8182/5335543)
May 31, 2017 10:43:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2757/3728 took 727686 ms. Total solver calls (SAT/UNSAT): 5351197(8194/5343003)
May 31, 2017 10:43:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2761/3728 took 728703 ms. Total solver calls (SAT/UNSAT): 5358669(8206/5350463)
May 31, 2017 10:43:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2765/3728 took 729716 ms. Total solver calls (SAT/UNSAT): 5366141(8218/5357923)
May 31, 2017 10:43:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2769/3728 took 730939 ms. Total solver calls (SAT/UNSAT): 5375135(8230/5366905)
May 31, 2017 10:43:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2773/3728 took 731952 ms. Total solver calls (SAT/UNSAT): 5382607(8242/5374365)
May 31, 2017 10:43:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2777/3728 took 732965 ms. Total solver calls (SAT/UNSAT): 5390079(8254/5381825)
May 31, 2017 10:43:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2781/3728 took 733978 ms. Total solver calls (SAT/UNSAT): 5397551(8266/5389285)
May 31, 2017 10:43:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2785/3728 took 734989 ms. Total solver calls (SAT/UNSAT): 5405023(8278/5396745)
May 31, 2017 10:43:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2789/3728 took 736237 ms. Total solver calls (SAT/UNSAT): 5414017(8290/5405727)
May 31, 2017 10:43:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2793/3728 took 737254 ms. Total solver calls (SAT/UNSAT): 5421489(8302/5413187)
May 31, 2017 10:43:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2797/3728 took 738276 ms. Total solver calls (SAT/UNSAT): 5428961(8314/5420647)
May 31, 2017 10:43:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2801/3728 took 739296 ms. Total solver calls (SAT/UNSAT): 5436433(8326/5428107)
May 31, 2017 10:43:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2805/3728 took 740314 ms. Total solver calls (SAT/UNSAT): 5443905(8338/5435567)
May 31, 2017 10:43:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2809/3728 took 741529 ms. Total solver calls (SAT/UNSAT): 5452898(8350/5444548)
May 31, 2017 10:43:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2813/3728 took 742543 ms. Total solver calls (SAT/UNSAT): 5460371(8362/5452009)
May 31, 2017 10:43:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2817/3728 took 743550 ms. Total solver calls (SAT/UNSAT): 5467843(8374/5459469)
May 31, 2017 10:43:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2821/3728 took 744567 ms. Total solver calls (SAT/UNSAT): 5475315(8386/5466929)
May 31, 2017 10:43:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2825/3728 took 745585 ms. Total solver calls (SAT/UNSAT): 5482787(8398/5474389)
May 31, 2017 10:43:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2829/3728 took 746603 ms. Total solver calls (SAT/UNSAT): 5490259(8410/5481849)
May 31, 2017 10:43:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2833/3728 took 747829 ms. Total solver calls (SAT/UNSAT): 5499253(8422/5490831)
May 31, 2017 10:43:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2837/3728 took 748848 ms. Total solver calls (SAT/UNSAT): 5506725(8434/5498291)
May 31, 2017 10:43:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2841/3728 took 749862 ms. Total solver calls (SAT/UNSAT): 5514197(8446/5505751)
May 31, 2017 10:43:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2845/3728 took 750882 ms. Total solver calls (SAT/UNSAT): 5521669(8458/5513211)
May 31, 2017 10:43:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2849/3728 took 751899 ms. Total solver calls (SAT/UNSAT): 5529141(8470/5520671)
May 31, 2017 10:43:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2853/3728 took 753122 ms. Total solver calls (SAT/UNSAT): 5538135(8482/5529653)
May 31, 2017 10:43:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2857/3728 took 754135 ms. Total solver calls (SAT/UNSAT): 5545607(8494/5537113)
May 31, 2017 10:43:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2861/3728 took 755154 ms. Total solver calls (SAT/UNSAT): 5553079(8506/5544573)
May 31, 2017 10:43:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2865/3728 took 756173 ms. Total solver calls (SAT/UNSAT): 5560551(8518/5552033)
May 31, 2017 10:43:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2869/3728 took 757193 ms. Total solver calls (SAT/UNSAT): 5568023(8530/5559493)
May 31, 2017 10:43:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2873/3728 took 758413 ms. Total solver calls (SAT/UNSAT): 5577017(8542/5568475)
May 31, 2017 10:43:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2877/3728 took 759434 ms. Total solver calls (SAT/UNSAT): 5584489(8554/5575935)
May 31, 2017 10:43:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2881/3728 took 760455 ms. Total solver calls (SAT/UNSAT): 5591961(8566/5583395)
May 31, 2017 10:43:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2885/3728 took 761471 ms. Total solver calls (SAT/UNSAT): 5599433(8578/5590855)
May 31, 2017 10:43:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2889/3728 took 762489 ms. Total solver calls (SAT/UNSAT): 5606905(8590/5598315)
May 31, 2017 10:43:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2893/3728 took 763719 ms. Total solver calls (SAT/UNSAT): 5615898(8602/5607296)
May 31, 2017 10:43:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2897/3728 took 764737 ms. Total solver calls (SAT/UNSAT): 5623371(8614/5614757)
May 31, 2017 10:43:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2901/3728 took 765755 ms. Total solver calls (SAT/UNSAT): 5630843(8626/5622217)
May 31, 2017 10:43:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2905/3728 took 766778 ms. Total solver calls (SAT/UNSAT): 5638315(8638/5629677)
May 31, 2017 10:44:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2909/3728 took 767802 ms. Total solver calls (SAT/UNSAT): 5645787(8650/5637137)
May 31, 2017 10:44:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2913/3728 took 768818 ms. Total solver calls (SAT/UNSAT): 5653259(8662/5644597)
May 31, 2017 10:44:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2917/3728 took 770035 ms. Total solver calls (SAT/UNSAT): 5662253(8674/5653579)
May 31, 2017 10:44:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2921/3728 took 771050 ms. Total solver calls (SAT/UNSAT): 5669725(8686/5661039)
May 31, 2017 10:44:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2925/3728 took 772071 ms. Total solver calls (SAT/UNSAT): 5677197(8698/5668499)
May 31, 2017 10:44:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2929/3728 took 773083 ms. Total solver calls (SAT/UNSAT): 5684669(8710/5675959)
May 31, 2017 10:44:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2933/3728 took 774099 ms. Total solver calls (SAT/UNSAT): 5692141(8722/5683419)
May 31, 2017 10:44:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2937/3728 took 775320 ms. Total solver calls (SAT/UNSAT): 5701135(8734/5692401)
May 31, 2017 10:44:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2941/3728 took 776338 ms. Total solver calls (SAT/UNSAT): 5708607(8746/5699861)
May 31, 2017 10:44:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2945/3728 took 777354 ms. Total solver calls (SAT/UNSAT): 5716079(8758/5707321)
May 31, 2017 10:44:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2949/3728 took 778375 ms. Total solver calls (SAT/UNSAT): 5723551(8770/5714781)
May 31, 2017 10:44:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2953/3728 took 779396 ms. Total solver calls (SAT/UNSAT): 5731023(8782/5722241)
May 31, 2017 10:44:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2957/3728 took 780624 ms. Total solver calls (SAT/UNSAT): 5740017(8794/5731223)
May 31, 2017 10:44:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2961/3728 took 781640 ms. Total solver calls (SAT/UNSAT): 5747489(8806/5738683)
May 31, 2017 10:44:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2965/3728 took 782654 ms. Total solver calls (SAT/UNSAT): 5754961(8818/5746143)
May 31, 2017 10:44:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2969/3728 took 783671 ms. Total solver calls (SAT/UNSAT): 5762433(8830/5753603)
May 31, 2017 10:44:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2973/3728 took 784691 ms. Total solver calls (SAT/UNSAT): 5769905(8842/5761063)
May 31, 2017 10:44:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2977/3728 took 785916 ms. Total solver calls (SAT/UNSAT): 5778898(8854/5770044)
May 31, 2017 10:44:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2981/3728 took 786935 ms. Total solver calls (SAT/UNSAT): 5786371(8866/5777505)
May 31, 2017 10:44:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2985/3728 took 787953 ms. Total solver calls (SAT/UNSAT): 5793843(8878/5784965)
May 31, 2017 10:44:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2989/3728 took 788976 ms. Total solver calls (SAT/UNSAT): 5801315(8890/5792425)
May 31, 2017 10:44:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2993/3728 took 789994 ms. Total solver calls (SAT/UNSAT): 5808787(8902/5799885)
May 31, 2017 10:44:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2997/3728 took 791008 ms. Total solver calls (SAT/UNSAT): 5816259(8914/5807345)
May 31, 2017 10:44:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3001/3728 took 792232 ms. Total solver calls (SAT/UNSAT): 5825253(8926/5816327)
May 31, 2017 10:44:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3005/3728 took 793250 ms. Total solver calls (SAT/UNSAT): 5832725(8938/5823787)
May 31, 2017 10:44:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3009/3728 took 794265 ms. Total solver calls (SAT/UNSAT): 5840197(8950/5831247)
May 31, 2017 10:44:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3013/3728 took 795287 ms. Total solver calls (SAT/UNSAT): 5847669(8962/5838707)
May 31, 2017 10:44:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3017/3728 took 796309 ms. Total solver calls (SAT/UNSAT): 5855141(8974/5846167)
May 31, 2017 10:44:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3021/3728 took 797526 ms. Total solver calls (SAT/UNSAT): 5864135(8986/5855149)
May 31, 2017 10:44:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3025/3728 took 798540 ms. Total solver calls (SAT/UNSAT): 5871607(8998/5862609)
May 31, 2017 10:44:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3029/3728 took 799554 ms. Total solver calls (SAT/UNSAT): 5879079(9010/5870069)
May 31, 2017 10:44:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3033/3728 took 800562 ms. Total solver calls (SAT/UNSAT): 5886551(9022/5877529)
May 31, 2017 10:44:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3037/3728 took 801572 ms. Total solver calls (SAT/UNSAT): 5894023(9034/5884989)
May 31, 2017 10:44:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3041/3728 took 802787 ms. Total solver calls (SAT/UNSAT): 5903017(9046/5893971)
May 31, 2017 10:44:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3045/3728 took 803799 ms. Total solver calls (SAT/UNSAT): 5910489(9058/5901431)
May 31, 2017 10:44:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3049/3728 took 804803 ms. Total solver calls (SAT/UNSAT): 5917961(9070/5908891)
May 31, 2017 10:44:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3053/3728 took 805815 ms. Total solver calls (SAT/UNSAT): 5925433(9082/5916351)
May 31, 2017 10:44:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3057/3728 took 806824 ms. Total solver calls (SAT/UNSAT): 5932905(9094/5923811)
May 31, 2017 10:44:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3061/3728 took 808036 ms. Total solver calls (SAT/UNSAT): 5941898(9106/5932792)
May 31, 2017 10:44:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3065/3728 took 809047 ms. Total solver calls (SAT/UNSAT): 5949371(9118/5940253)
May 31, 2017 10:44:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3069/3728 took 810053 ms. Total solver calls (SAT/UNSAT): 5956843(9130/5947713)
May 31, 2017 10:44:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3073/3728 took 811065 ms. Total solver calls (SAT/UNSAT): 5964315(9142/5955173)
May 31, 2017 10:44:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3077/3728 took 812073 ms. Total solver calls (SAT/UNSAT): 5971787(9154/5962633)
May 31, 2017 10:44:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3081/3728 took 813083 ms. Total solver calls (SAT/UNSAT): 5979259(9166/5970093)
May 31, 2017 10:44:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3084/3728 took 814083 ms. Total solver calls (SAT/UNSAT): 5986385(9175/5977210)
May 31, 2017 10:44:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3089/3728 took 815319 ms. Total solver calls (SAT/UNSAT): 5995725(9190/5986535)
May 31, 2017 10:44:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3094/3728 took 816565 ms. Total solver calls (SAT/UNSAT): 6005065(9205/5995860)
May 31, 2017 10:44:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3099/3728 took 817809 ms. Total solver calls (SAT/UNSAT): 6014405(9220/6005185)
May 31, 2017 10:44:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3103/3728 took 819010 ms. Total solver calls (SAT/UNSAT): 6023398(9232/6014166)
May 31, 2017 10:44:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3107/3728 took 820012 ms. Total solver calls (SAT/UNSAT): 6030871(9244/6021627)
May 31, 2017 10:44:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3112/3728 took 821258 ms. Total solver calls (SAT/UNSAT): 6040211(9259/6030952)
May 31, 2017 10:44:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3117/3728 took 822501 ms. Total solver calls (SAT/UNSAT): 6049551(9274/6040277)
May 31, 2017 10:44:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3121/3728 took 823502 ms. Total solver calls (SAT/UNSAT): 6057023(9286/6047737)
May 31, 2017 10:44:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3125/3728 took 824698 ms. Total solver calls (SAT/UNSAT): 6066017(9298/6056719)
May 31, 2017 10:44:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3130/3728 took 825941 ms. Total solver calls (SAT/UNSAT): 6075357(9313/6066044)
May 31, 2017 10:44:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3135/3728 took 827183 ms. Total solver calls (SAT/UNSAT): 6084697(9328/6075369)
May 31, 2017 10:45:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3139/3728 took 828183 ms. Total solver calls (SAT/UNSAT): 6092169(9340/6082829)
May 31, 2017 10:45:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3144/3728 took 829433 ms. Total solver calls (SAT/UNSAT): 6101509(9355/6092154)
May 31, 2017 10:45:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3148/3728 took 830629 ms. Total solver calls (SAT/UNSAT): 6110503(9367/6101136)
May 31, 2017 10:45:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3153/3728 took 831871 ms. Total solver calls (SAT/UNSAT): 6119843(9382/6110461)
May 31, 2017 10:45:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3158/3728 took 833110 ms. Total solver calls (SAT/UNSAT): 6129183(9397/6119786)
May 31, 2017 10:45:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3163/3728 took 834351 ms. Total solver calls (SAT/UNSAT): 6138523(9412/6129111)
May 31, 2017 10:45:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3167/3728 took 835536 ms. Total solver calls (SAT/UNSAT): 6147517(9424/6138093)
May 31, 2017 10:45:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3172/3728 took 836774 ms. Total solver calls (SAT/UNSAT): 6156857(9439/6147418)
May 31, 2017 10:45:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3176/3728 took 837808 ms. Total solver calls (SAT/UNSAT): 6164329(9451/6154878)
May 31, 2017 10:45:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3181/3728 took 839056 ms. Total solver calls (SAT/UNSAT): 6173669(9466/6164203)
May 31, 2017 10:45:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3185/3728 took 840057 ms. Total solver calls (SAT/UNSAT): 6181141(9478/6171663)
May 31, 2017 10:45:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3189/3728 took 841252 ms. Total solver calls (SAT/UNSAT): 6190135(9490/6180645)
May 31, 2017 10:45:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3194/3728 took 842488 ms. Total solver calls (SAT/UNSAT): 6199475(9505/6189970)
May 31, 2017 10:45:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3199/3728 took 843724 ms. Total solver calls (SAT/UNSAT): 6208815(9520/6199295)
May 31, 2017 10:45:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3204/3728 took 844964 ms. Total solver calls (SAT/UNSAT): 6218155(9535/6208620)
May 31, 2017 10:45:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3208/3728 took 846152 ms. Total solver calls (SAT/UNSAT): 6227148(9547/6217601)
May 31, 2017 10:45:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3213/3728 took 847388 ms. Total solver calls (SAT/UNSAT): 6236489(9562/6226927)
May 31, 2017 10:45:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3218/3728 took 848632 ms. Total solver calls (SAT/UNSAT): 6245829(9577/6236252)
May 31, 2017 10:45:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3223/3728 took 849871 ms. Total solver calls (SAT/UNSAT): 6255169(9592/6245577)
May 31, 2017 10:45:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3228/3728 took 851121 ms. Total solver calls (SAT/UNSAT): 6264509(9607/6254902)
May 31, 2017 10:45:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3232/3728 took 852327 ms. Total solver calls (SAT/UNSAT): 6273503(9619/6263884)
May 31, 2017 10:45:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3237/3728 took 853569 ms. Total solver calls (SAT/UNSAT): 6282843(9634/6273209)
May 31, 2017 10:45:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3241/3728 took 854570 ms. Total solver calls (SAT/UNSAT): 6290315(9646/6280669)
May 31, 2017 10:45:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3246/3728 took 855821 ms. Total solver calls (SAT/UNSAT): 6299655(9661/6289994)
May 31, 2017 10:45:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3250/3728 took 857015 ms. Total solver calls (SAT/UNSAT): 6308648(9673/6298975)
May 31, 2017 10:45:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3255/3728 took 858255 ms. Total solver calls (SAT/UNSAT): 6317989(9688/6308301)
May 31, 2017 10:45:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3260/3728 took 859501 ms. Total solver calls (SAT/UNSAT): 6327329(9703/6317626)
May 31, 2017 10:45:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3264/3728 took 860503 ms. Total solver calls (SAT/UNSAT): 6334801(9715/6325086)
May 31, 2017 10:45:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3269/3728 took 861747 ms. Total solver calls (SAT/UNSAT): 6344141(9730/6334411)
May 31, 2017 10:45:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3273/3728 took 862942 ms. Total solver calls (SAT/UNSAT): 6353135(9742/6343393)
May 31, 2017 10:45:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3278/3728 took 864186 ms. Total solver calls (SAT/UNSAT): 6362475(9757/6352718)
May 31, 2017 10:45:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3283/3728 took 865428 ms. Total solver calls (SAT/UNSAT): 6371815(9772/6362043)
May 31, 2017 10:45:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3288/3728 took 866672 ms. Total solver calls (SAT/UNSAT): 6381155(9787/6371368)
May 31, 2017 10:45:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3292/3728 took 867877 ms. Total solver calls (SAT/UNSAT): 6390148(9799/6380349)
May 31, 2017 10:45:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3296/3728 took 869059 ms. Total solver calls (SAT/UNSAT): 6397621(9811/6387810)
May 31, 2017 10:45:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3300/3728 took 870063 ms. Total solver calls (SAT/UNSAT): 6405093(9823/6395270)
May 31, 2017 10:45:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3304/3728 took 871068 ms. Total solver calls (SAT/UNSAT): 6412565(9835/6402730)
May 31, 2017 10:45:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3308/3728 took 872071 ms. Total solver calls (SAT/UNSAT): 6420037(9847/6410190)
May 31, 2017 10:45:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3312/3728 took 873115 ms. Total solver calls (SAT/UNSAT): 6427509(9859/6417650)
May 31, 2017 10:45:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3316/3728 took 874337 ms. Total solver calls (SAT/UNSAT): 6436503(9871/6426632)
May 31, 2017 10:45:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3320/3728 took 875350 ms. Total solver calls (SAT/UNSAT): 6443975(9883/6434092)
May 31, 2017 10:45:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3324/3728 took 876367 ms. Total solver calls (SAT/UNSAT): 6451447(9895/6441552)
May 31, 2017 10:45:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3328/3728 took 877383 ms. Total solver calls (SAT/UNSAT): 6458919(9907/6449012)
May 31, 2017 10:45:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3332/3728 took 878401 ms. Total solver calls (SAT/UNSAT): 6466391(9919/6456472)
May 31, 2017 10:45:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3336/3728 took 879630 ms. Total solver calls (SAT/UNSAT): 6475385(9931/6465454)
May 31, 2017 10:45:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3340/3728 took 880642 ms. Total solver calls (SAT/UNSAT): 6482857(9943/6472914)
May 31, 2017 10:45:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3344/3728 took 881652 ms. Total solver calls (SAT/UNSAT): 6490329(9955/6480374)
May 31, 2017 10:45:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3348/3728 took 882699 ms. Total solver calls (SAT/UNSAT): 6497801(9967/6487834)
May 31, 2017 10:45:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3353/3728 took 883944 ms. Total solver calls (SAT/UNSAT): 6507141(9982/6497159)
May 31, 2017 10:45:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3357/3728 took 885133 ms. Total solver calls (SAT/UNSAT): 6516135(9994/6506141)
May 31, 2017 10:45:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3362/3728 took 886361 ms. Total solver calls (SAT/UNSAT): 6525475(10009/6515466)
May 31, 2017 10:46:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3367/3728 took 887591 ms. Total solver calls (SAT/UNSAT): 6534815(10024/6524791)
May 31, 2017 10:46:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3372/3728 took 888823 ms. Total solver calls (SAT/UNSAT): 6544155(10039/6534116)
May 31, 2017 10:46:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3376/3728 took 890005 ms. Total solver calls (SAT/UNSAT): 6553148(10051/6543097)
May 31, 2017 10:46:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3381/3728 took 891243 ms. Total solver calls (SAT/UNSAT): 6562489(10066/6552423)
May 31, 2017 10:46:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3386/3728 took 892478 ms. Total solver calls (SAT/UNSAT): 6571829(10081/6561748)
May 31, 2017 10:46:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3391/3728 took 893712 ms. Total solver calls (SAT/UNSAT): 6581169(10096/6571073)
May 31, 2017 10:46:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3396/3728 took 894938 ms. Total solver calls (SAT/UNSAT): 6590509(10111/6580398)
May 31, 2017 10:46:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3400/3728 took 896116 ms. Total solver calls (SAT/UNSAT): 6599503(10123/6589380)
May 31, 2017 10:46:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3405/3728 took 897338 ms. Total solver calls (SAT/UNSAT): 6608843(10138/6598705)
May 31, 2017 10:46:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3410/3728 took 898564 ms. Total solver calls (SAT/UNSAT): 6618183(10153/6608030)
May 31, 2017 10:46:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3415/3728 took 899794 ms. Total solver calls (SAT/UNSAT): 6627523(10168/6617355)
May 31, 2017 10:46:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3419/3728 took 900975 ms. Total solver calls (SAT/UNSAT): 6636517(10180/6626337)
May 31, 2017 10:46:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3424/3728 took 902200 ms. Total solver calls (SAT/UNSAT): 6645857(10195/6635662)
May 31, 2017 10:46:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3429/3728 took 903431 ms. Total solver calls (SAT/UNSAT): 6655197(10210/6644987)
May 31, 2017 10:46:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3434/3728 took 904669 ms. Total solver calls (SAT/UNSAT): 6664537(10225/6654312)
May 31, 2017 10:46:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3439/3728 took 906110 ms. Total solver calls (SAT/UNSAT): 6675398(10240/6665158)
May 31, 2017 10:46:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3461/3728 took 907359 ms. Total solver calls (SAT/UNSAT): 6684246(10262/6673984)
May 31, 2017 10:46:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3481/3728 took 908521 ms. Total solver calls (SAT/UNSAT): 6692566(10282/6682284)
May 31, 2017 10:59:26 PM fr.lip6.move.gal.itstools.Runner runTool
INFO: Standard error output from running tool CommandLine [args=[/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLFireability.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLFireability.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
built 539 ordering constraints for composite.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-COL-V80P50N20.tgz
mv BridgeAndVehicles-COL-V80P50N20 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is BridgeAndVehicles-COL-V80P50N20, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r010-csrt-149436129700420"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' LTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;