About the Execution of ITS-Tools for BridgeAndVehicles-COL-V80P20N20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15931.540 | 3600000.00 | 5414000.00 | 423.50 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is BridgeAndVehicles-COL-V80P20N20, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r010-csrt-149436129600395
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1496266202976
Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ctl command run as :
/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/ReachabilityDeadlock.pnml.gal -t CGAL -ctl DEADLOCK
No direction supplied, using forward translation only.
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]= -60
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]= 140
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
+ [[ ReachabilityDeadlock = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution ReachabilityDeadlock -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 ReachabilityDeadlock -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
May 31, 2017 9:30:04 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
May 31, 2017 9:30:04 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 9:30:05 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1435 ms
May 31, 2017 9:30:05 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 15 places.
May 31, 2017 9:30:05 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
May 31, 2017 9:30:05 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 9:30:05 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 11 transitions.
May 31, 2017 9:30:05 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
May 31, 2017 9:30:06 PM fr.lip6.move.gal.logic.togal.ToGalTransformer toGal
WARNING: Unknown predicate type in boolean expression fr.lip6.move.gal.logic.impl.DeadlockImpl
May 31, 2017 9:30:06 PM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
May 31, 2017 9:30:06 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
May 31, 2017 9:30:06 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 9:30:06 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property BridgeAndVehicles-COL-V80P20N20-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
May 31, 2017 9:30:06 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 132 ms
May 31, 2017 9:30:06 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 9:30:06 PM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 405 redundant transitions.
May 31, 2017 9:30:06 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property BridgeAndVehicles-COL-V80P20N20-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
May 31, 2017 9:30:06 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityDeadlock.pnml.gal : 22 ms
May 31, 2017 9:30:08 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 380 ms
May 31, 2017 9:30:23 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 198 variables to be positive in 15491 ms
May 31, 2017 9:30:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 3728 transitions.
May 31, 2017 9:30:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3728 took 316 ms. Total solver calls (SAT/UNSAT): 1943(2/1941)
May 31, 2017 9:30:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/3728 took 1526 ms. Total solver calls (SAT/UNSAT): 9715(10/9705)
May 31, 2017 9:30:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :7/3728 took 2560 ms. Total solver calls (SAT/UNSAT): 15544(16/15528)
May 31, 2017 9:30:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/3728 took 3775 ms. Total solver calls (SAT/UNSAT): 23316(24/23292)
May 31, 2017 9:30:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/3728 took 4932 ms. Total solver calls (SAT/UNSAT): 31088(32/31056)
May 31, 2017 9:30:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :19/3728 took 6066 ms. Total solver calls (SAT/UNSAT): 38860(40/38820)
May 31, 2017 9:30:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/3728 took 7194 ms. Total solver calls (SAT/UNSAT): 46632(48/46584)
May 31, 2017 9:30:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/3728 took 8322 ms. Total solver calls (SAT/UNSAT): 54404(56/54348)
May 31, 2017 9:30:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :31/3728 took 9446 ms. Total solver calls (SAT/UNSAT): 62176(64/62112)
May 31, 2017 9:30:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/3728 took 10548 ms. Total solver calls (SAT/UNSAT): 69948(72/69876)
May 31, 2017 9:30:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/3728 took 11648 ms. Total solver calls (SAT/UNSAT): 77720(80/77640)
May 31, 2017 9:30:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/3728 took 12740 ms. Total solver calls (SAT/UNSAT): 85492(88/85404)
May 31, 2017 9:30:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/3728 took 13829 ms. Total solver calls (SAT/UNSAT): 93264(96/93168)
May 31, 2017 9:30:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :51/3728 took 14914 ms. Total solver calls (SAT/UNSAT): 101036(104/100932)
May 31, 2017 9:30:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/3728 took 16004 ms. Total solver calls (SAT/UNSAT): 108808(112/108696)
May 31, 2017 9:30:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/3728 took 17100 ms. Total solver calls (SAT/UNSAT): 116580(120/116460)
May 31, 2017 9:30:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :63/3728 took 18256 ms. Total solver calls (SAT/UNSAT): 124352(128/124224)
May 31, 2017 9:30:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :67/3728 took 19359 ms. Total solver calls (SAT/UNSAT): 132124(136/131988)
May 31, 2017 9:30:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/3728 took 20495 ms. Total solver calls (SAT/UNSAT): 139896(144/139752)
May 31, 2017 9:30:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :75/3728 took 21569 ms. Total solver calls (SAT/UNSAT): 147668(152/147516)
May 31, 2017 9:30:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :79/3728 took 22703 ms. Total solver calls (SAT/UNSAT): 155440(160/155280)
May 31, 2017 9:30:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/3728 took 23733 ms. Total solver calls (SAT/UNSAT): 162909(172/162737)
May 31, 2017 9:30:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :87/3728 took 24762 ms. Total solver calls (SAT/UNSAT): 170377(184/170193)
May 31, 2017 9:30:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :91/3728 took 25832 ms. Total solver calls (SAT/UNSAT): 177845(196/177649)
May 31, 2017 9:30:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/3728 took 26839 ms. Total solver calls (SAT/UNSAT): 185313(208/185105)
May 31, 2017 9:30:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :99/3728 took 27858 ms. Total solver calls (SAT/UNSAT): 192781(220/192561)
May 31, 2017 9:30:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :103/3728 took 29067 ms. Total solver calls (SAT/UNSAT): 201774(232/201542)
May 31, 2017 9:30:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/3728 took 30068 ms. Total solver calls (SAT/UNSAT): 209246(244/209002)
May 31, 2017 9:30:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :111/3728 took 31072 ms. Total solver calls (SAT/UNSAT): 216718(256/216462)
May 31, 2017 9:30:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/3728 took 32126 ms. Total solver calls (SAT/UNSAT): 224190(268/223922)
May 31, 2017 9:30:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/3728 took 33171 ms. Total solver calls (SAT/UNSAT): 231662(280/231382)
May 31, 2017 9:30:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :123/3728 took 34409 ms. Total solver calls (SAT/UNSAT): 240656(292/240364)
May 31, 2017 9:30:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/3728 took 35442 ms. Total solver calls (SAT/UNSAT): 248128(304/247824)
May 31, 2017 9:31:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/3728 took 36475 ms. Total solver calls (SAT/UNSAT): 255600(316/255284)
May 31, 2017 9:31:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/3728 took 37506 ms. Total solver calls (SAT/UNSAT): 263072(328/262744)
May 31, 2017 9:31:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :139/3728 took 38540 ms. Total solver calls (SAT/UNSAT): 270544(340/270204)
May 31, 2017 9:31:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/3728 took 39774 ms. Total solver calls (SAT/UNSAT): 279538(352/279186)
May 31, 2017 9:31:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/3728 took 40806 ms. Total solver calls (SAT/UNSAT): 287010(364/286646)
May 31, 2017 9:31:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :151/3728 took 41837 ms. Total solver calls (SAT/UNSAT): 294482(376/294106)
May 31, 2017 9:31:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/3728 took 42868 ms. Total solver calls (SAT/UNSAT): 301954(388/301566)
May 31, 2017 9:31:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :159/3728 took 43907 ms. Total solver calls (SAT/UNSAT): 309426(400/309026)
May 31, 2017 9:31:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :163/3728 took 45188 ms. Total solver calls (SAT/UNSAT): 318419(412/318007)
May 31, 2017 9:31:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/3728 took 46195 ms. Total solver calls (SAT/UNSAT): 325892(424/325468)
May 31, 2017 9:31:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/3728 took 47201 ms. Total solver calls (SAT/UNSAT): 333364(436/332928)
May 31, 2017 9:31:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :175/3728 took 48215 ms. Total solver calls (SAT/UNSAT): 340836(448/340388)
May 31, 2017 9:31:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/3728 took 49224 ms. Total solver calls (SAT/UNSAT): 348308(460/347848)
May 31, 2017 9:31:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/3728 took 50249 ms. Total solver calls (SAT/UNSAT): 355780(472/355308)
May 31, 2017 9:31:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :187/3728 took 51456 ms. Total solver calls (SAT/UNSAT): 364774(484/364290)
May 31, 2017 9:31:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :191/3728 took 52536 ms. Total solver calls (SAT/UNSAT): 372246(496/371750)
May 31, 2017 9:31:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/3728 took 53630 ms. Total solver calls (SAT/UNSAT): 379718(508/379210)
May 31, 2017 9:31:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/3728 took 54673 ms. Total solver calls (SAT/UNSAT): 387190(520/386670)
May 31, 2017 9:31:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :203/3728 took 55715 ms. Total solver calls (SAT/UNSAT): 394662(532/394130)
May 31, 2017 9:31:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :207/3728 took 56962 ms. Total solver calls (SAT/UNSAT): 403656(544/403112)
May 31, 2017 9:31:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :211/3728 took 58094 ms. Total solver calls (SAT/UNSAT): 411128(556/410572)
May 31, 2017 9:31:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :215/3728 took 59158 ms. Total solver calls (SAT/UNSAT): 418600(568/418032)
May 31, 2017 9:31:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/3728 took 60185 ms. Total solver calls (SAT/UNSAT): 426072(580/425492)
May 31, 2017 9:31:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/3728 took 61212 ms. Total solver calls (SAT/UNSAT): 433544(592/432952)
May 31, 2017 9:31:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/3728 took 62273 ms. Total solver calls (SAT/UNSAT): 440669(601/440068)
May 31, 2017 9:31:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :230/3728 took 63359 ms. Total solver calls (SAT/UNSAT): 448142(613/447529)
May 31, 2017 9:31:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/3728 took 64425 ms. Total solver calls (SAT/UNSAT): 455614(625/454989)
May 31, 2017 9:31:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :238/3728 took 65430 ms. Total solver calls (SAT/UNSAT): 463086(637/462449)
May 31, 2017 9:31:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :242/3728 took 66432 ms. Total solver calls (SAT/UNSAT): 470558(649/469909)
May 31, 2017 9:31:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/3728 took 67450 ms. Total solver calls (SAT/UNSAT): 478030(661/477369)
May 31, 2017 9:31:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :250/3728 took 68664 ms. Total solver calls (SAT/UNSAT): 487024(673/486351)
May 31, 2017 9:31:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :254/3728 took 69666 ms. Total solver calls (SAT/UNSAT): 494496(685/493811)
May 31, 2017 9:31:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :258/3728 took 70670 ms. Total solver calls (SAT/UNSAT): 501968(697/501271)
May 31, 2017 9:31:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :262/3728 took 71676 ms. Total solver calls (SAT/UNSAT): 509440(709/508731)
May 31, 2017 9:31:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :266/3728 took 72682 ms. Total solver calls (SAT/UNSAT): 516912(721/516191)
May 31, 2017 9:31:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :270/3728 took 73916 ms. Total solver calls (SAT/UNSAT): 525906(733/525173)
May 31, 2017 9:31:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :274/3728 took 74943 ms. Total solver calls (SAT/UNSAT): 533378(745/532633)
May 31, 2017 9:31:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :278/3728 took 76003 ms. Total solver calls (SAT/UNSAT): 540850(757/540093)
May 31, 2017 9:31:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :282/3728 took 77018 ms. Total solver calls (SAT/UNSAT): 548322(769/547553)
May 31, 2017 9:31:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :286/3728 took 78018 ms. Total solver calls (SAT/UNSAT): 555794(781/555013)
May 31, 2017 9:31:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :290/3728 took 79229 ms. Total solver calls (SAT/UNSAT): 564788(793/563995)
May 31, 2017 9:31:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :294/3728 took 80236 ms. Total solver calls (SAT/UNSAT): 572260(805/571455)
May 31, 2017 9:31:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :298/3728 took 81280 ms. Total solver calls (SAT/UNSAT): 579732(817/578915)
May 31, 2017 9:31:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :302/3728 took 82293 ms. Total solver calls (SAT/UNSAT): 587204(829/586375)
May 31, 2017 9:31:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :306/3728 took 83350 ms. Total solver calls (SAT/UNSAT): 594676(841/593835)
May 31, 2017 9:31:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :310/3728 took 84582 ms. Total solver calls (SAT/UNSAT): 603669(853/602816)
May 31, 2017 9:31:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :314/3728 took 85615 ms. Total solver calls (SAT/UNSAT): 611142(865/610277)
May 31, 2017 9:31:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/3728 took 86641 ms. Total solver calls (SAT/UNSAT): 618614(877/617737)
May 31, 2017 9:31:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/3728 took 87656 ms. Total solver calls (SAT/UNSAT): 626086(889/625197)
May 31, 2017 9:31:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :326/3728 took 88671 ms. Total solver calls (SAT/UNSAT): 633558(901/632657)
May 31, 2017 9:31:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :330/3728 took 89681 ms. Total solver calls (SAT/UNSAT): 641030(913/640117)
May 31, 2017 9:31:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :334/3728 took 90893 ms. Total solver calls (SAT/UNSAT): 650024(925/649099)
May 31, 2017 9:31:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :338/3728 took 91925 ms. Total solver calls (SAT/UNSAT): 657496(937/656559)
May 31, 2017 9:31:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :342/3728 took 92955 ms. Total solver calls (SAT/UNSAT): 664968(949/664019)
May 31, 2017 9:31:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :346/3728 took 93980 ms. Total solver calls (SAT/UNSAT): 672440(961/671479)
May 31, 2017 9:31:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/3728 took 94999 ms. Total solver calls (SAT/UNSAT): 679912(973/678939)
May 31, 2017 9:31:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/3728 took 96033 ms. Total solver calls (SAT/UNSAT): 687038(982/686056)
May 31, 2017 9:32:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/3728 took 97309 ms. Total solver calls (SAT/UNSAT): 694510(994/693516)
May 31, 2017 9:32:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :361/3728 took 98389 ms. Total solver calls (SAT/UNSAT): 701982(1006/700976)
May 31, 2017 9:32:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/3728 took 99414 ms. Total solver calls (SAT/UNSAT): 709454(1018/708436)
May 31, 2017 9:32:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/3728 took 100440 ms. Total solver calls (SAT/UNSAT): 716926(1030/715896)
May 31, 2017 9:32:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :373/3728 took 101667 ms. Total solver calls (SAT/UNSAT): 725919(1042/724877)
May 31, 2017 9:32:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/3728 took 102704 ms. Total solver calls (SAT/UNSAT): 733392(1054/732338)
May 31, 2017 9:32:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/3728 took 103714 ms. Total solver calls (SAT/UNSAT): 740864(1066/739798)
May 31, 2017 9:32:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :385/3728 took 104776 ms. Total solver calls (SAT/UNSAT): 748336(1078/747258)
May 31, 2017 9:32:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/3728 took 105797 ms. Total solver calls (SAT/UNSAT): 755808(1090/754718)
May 31, 2017 9:32:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/3728 took 106812 ms. Total solver calls (SAT/UNSAT): 763280(1102/762178)
May 31, 2017 9:32:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/3728 took 107838 ms. Total solver calls (SAT/UNSAT): 770406(1111/769295)
May 31, 2017 9:32:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/3728 took 108860 ms. Total solver calls (SAT/UNSAT): 777878(1123/776755)
May 31, 2017 9:32:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/3728 took 109899 ms. Total solver calls (SAT/UNSAT): 785350(1135/784215)
May 31, 2017 9:32:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/3728 took 110963 ms. Total solver calls (SAT/UNSAT): 792822(1147/791675)
May 31, 2017 9:32:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/3728 took 112053 ms. Total solver calls (SAT/UNSAT): 800294(1159/799135)
May 31, 2017 9:32:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/3728 took 113056 ms. Total solver calls (SAT/UNSAT): 807419(1168/806251)
May 31, 2017 9:32:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/3728 took 114304 ms. Total solver calls (SAT/UNSAT): 816760(1183/815577)
May 31, 2017 9:32:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/3728 took 115304 ms. Total solver calls (SAT/UNSAT): 824232(1195/823037)
May 31, 2017 9:32:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/3728 took 116407 ms. Total solver calls (SAT/UNSAT): 831704(1207/830497)
May 31, 2017 9:32:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/3728 took 117617 ms. Total solver calls (SAT/UNSAT): 839176(1219/837957)
May 31, 2017 9:32:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/3728 took 118884 ms. Total solver calls (SAT/UNSAT): 848169(1231/846938)
May 31, 2017 9:32:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/3728 took 120135 ms. Total solver calls (SAT/UNSAT): 857510(1246/856264)
May 31, 2017 9:32:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/3728 took 121136 ms. Total solver calls (SAT/UNSAT): 864982(1258/863724)
May 31, 2017 9:32:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/3728 took 122181 ms. Total solver calls (SAT/UNSAT): 872454(1270/871184)
May 31, 2017 9:32:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/3728 took 123252 ms. Total solver calls (SAT/UNSAT): 879926(1282/878644)
May 31, 2017 9:32:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/3728 took 124484 ms. Total solver calls (SAT/UNSAT): 888919(1294/887625)
May 31, 2017 9:32:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/3728 took 125509 ms. Total solver calls (SAT/UNSAT): 896392(1306/895086)
May 31, 2017 9:32:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/3728 took 126532 ms. Total solver calls (SAT/UNSAT): 903864(1318/902546)
May 31, 2017 9:32:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/3728 took 127562 ms. Total solver calls (SAT/UNSAT): 911336(1330/910006)
May 31, 2017 9:32:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/3728 took 128617 ms. Total solver calls (SAT/UNSAT): 918808(1342/917466)
May 31, 2017 9:32:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/3728 took 129617 ms. Total solver calls (SAT/UNSAT): 926280(1354/924926)
May 31, 2017 9:32:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/3728 took 130813 ms. Total solver calls (SAT/UNSAT): 935274(1366/933908)
May 31, 2017 9:32:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/3728 took 132058 ms. Total solver calls (SAT/UNSAT): 944614(1381/943233)
May 31, 2017 9:32:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/3728 took 133309 ms. Total solver calls (SAT/UNSAT): 953954(1396/952558)
May 31, 2017 9:32:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/3728 took 134364 ms. Total solver calls (SAT/UNSAT): 961426(1408/960018)
May 31, 2017 9:32:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/3728 took 135568 ms. Total solver calls (SAT/UNSAT): 970419(1420/968999)
May 31, 2017 9:32:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/3728 took 136573 ms. Total solver calls (SAT/UNSAT): 977892(1432/976460)
May 31, 2017 9:32:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/3728 took 137577 ms. Total solver calls (SAT/UNSAT): 985364(1444/983920)
May 31, 2017 9:32:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/3728 took 138583 ms. Total solver calls (SAT/UNSAT): 992836(1456/991380)
May 31, 2017 9:32:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/3728 took 139590 ms. Total solver calls (SAT/UNSAT): 1000308(1468/998840)
May 31, 2017 9:32:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/3728 took 140600 ms. Total solver calls (SAT/UNSAT): 1007780(1480/1006300)
May 31, 2017 9:32:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/3728 took 141802 ms. Total solver calls (SAT/UNSAT): 1016774(1492/1015282)
May 31, 2017 9:32:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/3728 took 142810 ms. Total solver calls (SAT/UNSAT): 1024246(1504/1022742)
May 31, 2017 9:32:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/3728 took 143818 ms. Total solver calls (SAT/UNSAT): 1031718(1516/1030202)
May 31, 2017 9:32:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/3728 took 144850 ms. Total solver calls (SAT/UNSAT): 1039190(1528/1037662)
May 31, 2017 9:32:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/3728 took 145905 ms. Total solver calls (SAT/UNSAT): 1046662(1540/1045122)
May 31, 2017 9:32:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/3728 took 147109 ms. Total solver calls (SAT/UNSAT): 1055656(1552/1054104)
May 31, 2017 9:32:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :547/3728 took 148109 ms. Total solver calls (SAT/UNSAT): 1063128(1564/1061564)
May 31, 2017 9:32:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/3728 took 149109 ms. Total solver calls (SAT/UNSAT): 1070600(1576/1069024)
May 31, 2017 9:32:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/3728 took 150121 ms. Total solver calls (SAT/UNSAT): 1078072(1588/1076484)
May 31, 2017 9:32:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/3728 took 151135 ms. Total solver calls (SAT/UNSAT): 1085544(1600/1083944)
May 31, 2017 9:32:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/3728 took 152352 ms. Total solver calls (SAT/UNSAT): 1094538(1612/1092926)
May 31, 2017 9:32:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/3728 took 153422 ms. Total solver calls (SAT/UNSAT): 1102010(1624/1100386)
May 31, 2017 9:32:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :571/3728 took 154458 ms. Total solver calls (SAT/UNSAT): 1109482(1636/1107846)
May 31, 2017 9:32:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/3728 took 155485 ms. Total solver calls (SAT/UNSAT): 1116954(1648/1115306)
May 31, 2017 9:33:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/3728 took 156516 ms. Total solver calls (SAT/UNSAT): 1124426(1660/1122766)
May 31, 2017 9:33:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/3728 took 157746 ms. Total solver calls (SAT/UNSAT): 1133419(1672/1131747)
May 31, 2017 9:33:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/3728 took 158775 ms. Total solver calls (SAT/UNSAT): 1140892(1684/1139208)
May 31, 2017 9:33:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/3728 took 159800 ms. Total solver calls (SAT/UNSAT): 1148364(1696/1146668)
May 31, 2017 9:33:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :595/3728 took 160874 ms. Total solver calls (SAT/UNSAT): 1155836(1708/1154128)
May 31, 2017 9:33:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :599/3728 took 161894 ms. Total solver calls (SAT/UNSAT): 1163308(1720/1161588)
May 31, 2017 9:33:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :603/3728 took 162905 ms. Total solver calls (SAT/UNSAT): 1170780(1732/1169048)
May 31, 2017 9:33:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :606/3728 took 163910 ms. Total solver calls (SAT/UNSAT): 1177906(1741/1176165)
May 31, 2017 9:33:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :610/3728 took 164935 ms. Total solver calls (SAT/UNSAT): 1185378(1753/1183625)
May 31, 2017 9:33:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :614/3728 took 165961 ms. Total solver calls (SAT/UNSAT): 1192850(1765/1191085)
May 31, 2017 9:33:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :618/3728 took 166983 ms. Total solver calls (SAT/UNSAT): 1200322(1777/1198545)
May 31, 2017 9:33:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :622/3728 took 168005 ms. Total solver calls (SAT/UNSAT): 1207794(1789/1206005)
May 31, 2017 9:33:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :626/3728 took 169230 ms. Total solver calls (SAT/UNSAT): 1216788(1801/1214987)
May 31, 2017 9:33:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :630/3728 took 170251 ms. Total solver calls (SAT/UNSAT): 1224260(1813/1222447)
May 31, 2017 9:33:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :634/3728 took 171276 ms. Total solver calls (SAT/UNSAT): 1231732(1825/1229907)
May 31, 2017 9:33:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :638/3728 took 172297 ms. Total solver calls (SAT/UNSAT): 1239204(1837/1237367)
May 31, 2017 9:33:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :642/3728 took 173319 ms. Total solver calls (SAT/UNSAT): 1246676(1849/1244827)
May 31, 2017 9:33:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :646/3728 took 174541 ms. Total solver calls (SAT/UNSAT): 1255669(1861/1253808)
May 31, 2017 9:33:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :650/3728 took 175559 ms. Total solver calls (SAT/UNSAT): 1263142(1873/1261269)
May 31, 2017 9:33:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :654/3728 took 176580 ms. Total solver calls (SAT/UNSAT): 1270614(1885/1268729)
May 31, 2017 9:33:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :658/3728 took 177615 ms. Total solver calls (SAT/UNSAT): 1278086(1897/1276189)
May 31, 2017 9:33:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :662/3728 took 178644 ms. Total solver calls (SAT/UNSAT): 1285558(1909/1283649)
May 31, 2017 9:33:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :666/3728 took 179664 ms. Total solver calls (SAT/UNSAT): 1293030(1921/1291109)
May 31, 2017 9:33:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :670/3728 took 180890 ms. Total solver calls (SAT/UNSAT): 1302024(1933/1300091)
May 31, 2017 9:33:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :674/3728 took 181912 ms. Total solver calls (SAT/UNSAT): 1309496(1945/1307551)
May 31, 2017 9:33:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :678/3728 took 182933 ms. Total solver calls (SAT/UNSAT): 1316968(1957/1315011)
May 31, 2017 9:33:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :682/3728 took 183966 ms. Total solver calls (SAT/UNSAT): 1324440(1969/1322471)
May 31, 2017 9:33:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :686/3728 took 184988 ms. Total solver calls (SAT/UNSAT): 1331912(1981/1329931)
May 31, 2017 9:33:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :690/3728 took 186221 ms. Total solver calls (SAT/UNSAT): 1340906(1993/1338913)
May 31, 2017 9:33:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :694/3728 took 187255 ms. Total solver calls (SAT/UNSAT): 1348378(2005/1346373)
May 31, 2017 9:33:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :698/3728 took 188278 ms. Total solver calls (SAT/UNSAT): 1355850(2017/1353833)
May 31, 2017 9:33:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :702/3728 took 189300 ms. Total solver calls (SAT/UNSAT): 1363322(2029/1361293)
May 31, 2017 9:33:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :706/3728 took 190341 ms. Total solver calls (SAT/UNSAT): 1370794(2041/1368753)
May 31, 2017 9:33:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :710/3728 took 191566 ms. Total solver calls (SAT/UNSAT): 1379788(2053/1377735)
May 31, 2017 9:33:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :714/3728 took 192590 ms. Total solver calls (SAT/UNSAT): 1387260(2065/1385195)
May 31, 2017 9:33:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :718/3728 took 193613 ms. Total solver calls (SAT/UNSAT): 1394732(2077/1392655)
May 31, 2017 9:33:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :722/3728 took 194637 ms. Total solver calls (SAT/UNSAT): 1402204(2089/1400115)
May 31, 2017 9:33:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :726/3728 took 195658 ms. Total solver calls (SAT/UNSAT): 1409676(2101/1407575)
May 31, 2017 9:33:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :730/3728 took 196900 ms. Total solver calls (SAT/UNSAT): 1418669(2113/1416556)
May 31, 2017 9:33:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :734/3728 took 197931 ms. Total solver calls (SAT/UNSAT): 1426142(2125/1424017)
May 31, 2017 9:33:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :738/3728 took 198954 ms. Total solver calls (SAT/UNSAT): 1433614(2137/1431477)
May 31, 2017 9:33:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :742/3728 took 199994 ms. Total solver calls (SAT/UNSAT): 1441086(2149/1438937)
May 31, 2017 9:33:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :746/3728 took 201077 ms. Total solver calls (SAT/UNSAT): 1448558(2161/1446397)
May 31, 2017 9:33:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :750/3728 took 202114 ms. Total solver calls (SAT/UNSAT): 1456030(2173/1453857)
May 31, 2017 9:33:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :754/3728 took 203350 ms. Total solver calls (SAT/UNSAT): 1465024(2185/1462839)
May 31, 2017 9:33:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :758/3728 took 204385 ms. Total solver calls (SAT/UNSAT): 1472496(2197/1470299)
May 31, 2017 9:33:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :762/3728 took 205422 ms. Total solver calls (SAT/UNSAT): 1479968(2209/1477759)
May 31, 2017 9:33:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :766/3728 took 206454 ms. Total solver calls (SAT/UNSAT): 1487440(2221/1485219)
May 31, 2017 9:33:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :770/3728 took 207488 ms. Total solver calls (SAT/UNSAT): 1494912(2233/1492679)
May 31, 2017 9:33:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :774/3728 took 208746 ms. Total solver calls (SAT/UNSAT): 1503906(2245/1501661)
May 31, 2017 9:33:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :778/3728 took 209788 ms. Total solver calls (SAT/UNSAT): 1511378(2257/1509121)
May 31, 2017 9:33:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :782/3728 took 210820 ms. Total solver calls (SAT/UNSAT): 1518850(2269/1516581)
May 31, 2017 9:33:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :786/3728 took 211850 ms. Total solver calls (SAT/UNSAT): 1526322(2281/1524041)
May 31, 2017 9:33:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :790/3728 took 212916 ms. Total solver calls (SAT/UNSAT): 1533794(2293/1531501)
May 31, 2017 9:33:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :794/3728 took 214141 ms. Total solver calls (SAT/UNSAT): 1542788(2305/1540483)
May 31, 2017 9:33:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :798/3728 took 215169 ms. Total solver calls (SAT/UNSAT): 1550260(2317/1547943)
May 31, 2017 9:34:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :802/3728 took 216186 ms. Total solver calls (SAT/UNSAT): 1557732(2329/1555403)
May 31, 2017 9:34:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :806/3728 took 217203 ms. Total solver calls (SAT/UNSAT): 1565204(2341/1562863)
May 31, 2017 9:34:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :810/3728 took 218219 ms. Total solver calls (SAT/UNSAT): 1572676(2353/1570323)
May 31, 2017 9:34:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :814/3728 took 219435 ms. Total solver calls (SAT/UNSAT): 1581669(2365/1579304)
May 31, 2017 9:34:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :818/3728 took 220465 ms. Total solver calls (SAT/UNSAT): 1589142(2377/1586765)
May 31, 2017 9:34:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :822/3728 took 221482 ms. Total solver calls (SAT/UNSAT): 1596614(2389/1594225)
May 31, 2017 9:34:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :826/3728 took 222500 ms. Total solver calls (SAT/UNSAT): 1604086(2401/1601685)
May 31, 2017 9:34:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :830/3728 took 223517 ms. Total solver calls (SAT/UNSAT): 1611558(2413/1609145)
May 31, 2017 9:34:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :834/3728 took 224532 ms. Total solver calls (SAT/UNSAT): 1619030(2425/1616605)
May 31, 2017 9:34:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :838/3728 took 225776 ms. Total solver calls (SAT/UNSAT): 1628024(2437/1625587)
May 31, 2017 9:34:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :842/3728 took 226808 ms. Total solver calls (SAT/UNSAT): 1635496(2449/1633047)
May 31, 2017 9:34:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :846/3728 took 227837 ms. Total solver calls (SAT/UNSAT): 1642968(2461/1640507)
May 31, 2017 9:34:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :850/3728 took 228866 ms. Total solver calls (SAT/UNSAT): 1650440(2473/1647967)
May 31, 2017 9:34:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :854/3728 took 229897 ms. Total solver calls (SAT/UNSAT): 1657912(2485/1655427)
May 31, 2017 9:34:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :858/3728 took 231145 ms. Total solver calls (SAT/UNSAT): 1666906(2497/1664409)
May 31, 2017 9:34:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :862/3728 took 232181 ms. Total solver calls (SAT/UNSAT): 1674378(2509/1671869)
May 31, 2017 9:34:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :866/3728 took 233262 ms. Total solver calls (SAT/UNSAT): 1681850(2521/1679329)
May 31, 2017 9:34:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :870/3728 took 234273 ms. Total solver calls (SAT/UNSAT): 1689322(2533/1686789)
May 31, 2017 9:34:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :874/3728 took 235273 ms. Total solver calls (SAT/UNSAT): 1696794(2545/1694249)
May 31, 2017 9:34:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :878/3728 took 236482 ms. Total solver calls (SAT/UNSAT): 1705788(2557/1703231)
May 31, 2017 9:34:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :882/3728 took 237536 ms. Total solver calls (SAT/UNSAT): 1713260(2569/1710691)
May 31, 2017 9:34:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :886/3728 took 238570 ms. Total solver calls (SAT/UNSAT): 1720732(2581/1718151)
May 31, 2017 9:34:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :890/3728 took 239597 ms. Total solver calls (SAT/UNSAT): 1728204(2593/1725611)
May 31, 2017 9:34:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :894/3728 took 240624 ms. Total solver calls (SAT/UNSAT): 1735676(2605/1733071)
May 31, 2017 9:34:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :898/3728 took 241875 ms. Total solver calls (SAT/UNSAT): 1744669(2617/1742052)
May 31, 2017 9:34:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :902/3728 took 242907 ms. Total solver calls (SAT/UNSAT): 1752142(2629/1749513)
May 31, 2017 9:34:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :906/3728 took 243938 ms. Total solver calls (SAT/UNSAT): 1759614(2641/1756973)
May 31, 2017 9:34:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :910/3728 took 244966 ms. Total solver calls (SAT/UNSAT): 1767086(2653/1764433)
May 31, 2017 9:34:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :914/3728 took 246049 ms. Total solver calls (SAT/UNSAT): 1774558(2665/1771893)
May 31, 2017 9:34:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :918/3728 took 247051 ms. Total solver calls (SAT/UNSAT): 1782030(2677/1779353)
May 31, 2017 9:34:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :922/3728 took 248251 ms. Total solver calls (SAT/UNSAT): 1791024(2689/1788335)
May 31, 2017 9:34:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :926/3728 took 249251 ms. Total solver calls (SAT/UNSAT): 1798496(2701/1795795)
May 31, 2017 9:34:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :930/3728 took 250252 ms. Total solver calls (SAT/UNSAT): 1805968(2713/1803255)
May 31, 2017 9:34:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :934/3728 took 251263 ms. Total solver calls (SAT/UNSAT): 1813440(2725/1810715)
May 31, 2017 9:34:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :938/3728 took 252272 ms. Total solver calls (SAT/UNSAT): 1820912(2737/1818175)
May 31, 2017 9:34:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :942/3728 took 253521 ms. Total solver calls (SAT/UNSAT): 1829906(2749/1827157)
May 31, 2017 9:34:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :946/3728 took 254528 ms. Total solver calls (SAT/UNSAT): 1837378(2761/1834617)
May 31, 2017 9:34:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :950/3728 took 255532 ms. Total solver calls (SAT/UNSAT): 1844850(2773/1842077)
May 31, 2017 9:34:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :954/3728 took 256585 ms. Total solver calls (SAT/UNSAT): 1852322(2785/1849537)
May 31, 2017 9:34:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :958/3728 took 257590 ms. Total solver calls (SAT/UNSAT): 1859794(2797/1856997)
May 31, 2017 9:34:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :962/3728 took 258798 ms. Total solver calls (SAT/UNSAT): 1868788(2809/1865979)
May 31, 2017 9:34:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :966/3728 took 259815 ms. Total solver calls (SAT/UNSAT): 1876260(2821/1873439)
May 31, 2017 9:34:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :970/3728 took 260835 ms. Total solver calls (SAT/UNSAT): 1883732(2833/1880899)
May 31, 2017 9:34:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :974/3728 took 261846 ms. Total solver calls (SAT/UNSAT): 1891204(2845/1888359)
May 31, 2017 9:34:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :978/3728 took 262852 ms. Total solver calls (SAT/UNSAT): 1898676(2857/1895819)
May 31, 2017 9:34:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :982/3728 took 264068 ms. Total solver calls (SAT/UNSAT): 1907669(2869/1904800)
May 31, 2017 9:34:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :986/3728 took 265085 ms. Total solver calls (SAT/UNSAT): 1915142(2881/1912261)
May 31, 2017 9:34:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :990/3728 took 266139 ms. Total solver calls (SAT/UNSAT): 1922614(2893/1919721)
May 31, 2017 9:34:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :994/3728 took 267144 ms. Total solver calls (SAT/UNSAT): 1930086(2905/1927181)
May 31, 2017 9:34:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :998/3728 took 268156 ms. Total solver calls (SAT/UNSAT): 1937558(2917/1934641)
May 31, 2017 9:34:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1002/3728 took 269233 ms. Total solver calls (SAT/UNSAT): 1945030(2929/1942101)
May 31, 2017 9:34:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1006/3728 took 270468 ms. Total solver calls (SAT/UNSAT): 1954024(2941/1951083)
May 31, 2017 9:34:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1010/3728 took 271500 ms. Total solver calls (SAT/UNSAT): 1961496(2953/1958543)
May 31, 2017 9:34:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1014/3728 took 272521 ms. Total solver calls (SAT/UNSAT): 1968968(2965/1966003)
May 31, 2017 9:34:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1018/3728 took 273542 ms. Total solver calls (SAT/UNSAT): 1976440(2977/1973463)
May 31, 2017 9:34:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1022/3728 took 274567 ms. Total solver calls (SAT/UNSAT): 1983912(2989/1980923)
May 31, 2017 9:34:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1026/3728 took 275797 ms. Total solver calls (SAT/UNSAT): 1992906(3001/1989905)
May 31, 2017 9:35:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1030/3728 took 276817 ms. Total solver calls (SAT/UNSAT): 2000378(3013/1997365)
May 31, 2017 9:35:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1034/3728 took 277840 ms. Total solver calls (SAT/UNSAT): 2007850(3025/2004825)
May 31, 2017 9:35:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1038/3728 took 278873 ms. Total solver calls (SAT/UNSAT): 2015322(3037/2012285)
May 31, 2017 9:35:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1042/3728 took 279902 ms. Total solver calls (SAT/UNSAT): 2022794(3049/2019745)
May 31, 2017 9:35:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1046/3728 took 281129 ms. Total solver calls (SAT/UNSAT): 2031788(3061/2028727)
May 31, 2017 9:35:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1050/3728 took 282160 ms. Total solver calls (SAT/UNSAT): 2039260(3073/2036187)
May 31, 2017 9:35:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1054/3728 took 283183 ms. Total solver calls (SAT/UNSAT): 2046732(3085/2043647)
May 31, 2017 9:35:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1058/3728 took 284204 ms. Total solver calls (SAT/UNSAT): 2054204(3097/2051107)
May 31, 2017 9:35:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1062/3728 took 285226 ms. Total solver calls (SAT/UNSAT): 2061676(3109/2058567)
May 31, 2017 9:35:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1066/3728 took 286467 ms. Total solver calls (SAT/UNSAT): 2070669(3121/2067548)
May 31, 2017 9:35:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1070/3728 took 287488 ms. Total solver calls (SAT/UNSAT): 2078142(3133/2075009)
May 31, 2017 9:35:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1074/3728 took 288510 ms. Total solver calls (SAT/UNSAT): 2085614(3145/2082469)
May 31, 2017 9:35:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1078/3728 took 289546 ms. Total solver calls (SAT/UNSAT): 2093086(3157/2089929)
May 31, 2017 9:35:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1082/3728 took 290570 ms. Total solver calls (SAT/UNSAT): 2100558(3169/2097389)
May 31, 2017 9:35:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1086/3728 took 291625 ms. Total solver calls (SAT/UNSAT): 2108030(3181/2104849)
May 31, 2017 9:35:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1090/3728 took 292850 ms. Total solver calls (SAT/UNSAT): 2117024(3193/2113831)
May 31, 2017 9:35:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1094/3728 took 293860 ms. Total solver calls (SAT/UNSAT): 2124496(3205/2121291)
May 31, 2017 9:35:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1098/3728 took 294873 ms. Total solver calls (SAT/UNSAT): 2131968(3217/2128751)
May 31, 2017 9:35:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1102/3728 took 295887 ms. Total solver calls (SAT/UNSAT): 2139440(3229/2136211)
May 31, 2017 9:35:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1106/3728 took 296898 ms. Total solver calls (SAT/UNSAT): 2146912(3241/2143671)
May 31, 2017 9:35:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1110/3728 took 298106 ms. Total solver calls (SAT/UNSAT): 2155906(3253/2152653)
May 31, 2017 9:35:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1114/3728 took 299109 ms. Total solver calls (SAT/UNSAT): 2163378(3265/2160113)
May 31, 2017 9:35:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1118/3728 took 300116 ms. Total solver calls (SAT/UNSAT): 2170850(3277/2167573)
May 31, 2017 9:35:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1122/3728 took 301131 ms. Total solver calls (SAT/UNSAT): 2178322(3289/2175033)
May 31, 2017 9:35:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1126/3728 took 302137 ms. Total solver calls (SAT/UNSAT): 2185794(3301/2182493)
May 31, 2017 9:35:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1130/3728 took 303351 ms. Total solver calls (SAT/UNSAT): 2194788(3313/2191475)
May 31, 2017 9:35:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1134/3728 took 304367 ms. Total solver calls (SAT/UNSAT): 2202260(3325/2198935)
May 31, 2017 9:35:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1138/3728 took 305377 ms. Total solver calls (SAT/UNSAT): 2209732(3337/2206395)
May 31, 2017 9:35:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1142/3728 took 306400 ms. Total solver calls (SAT/UNSAT): 2217204(3349/2213855)
May 31, 2017 9:35:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1146/3728 took 307456 ms. Total solver calls (SAT/UNSAT): 2224676(3361/2221315)
May 31, 2017 9:35:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1150/3728 took 308698 ms. Total solver calls (SAT/UNSAT): 2233669(3373/2230296)
May 31, 2017 9:35:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1154/3728 took 309728 ms. Total solver calls (SAT/UNSAT): 2241142(3385/2237757)
May 31, 2017 9:35:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1158/3728 took 310753 ms. Total solver calls (SAT/UNSAT): 2248614(3397/2245217)
May 31, 2017 9:35:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1162/3728 took 311790 ms. Total solver calls (SAT/UNSAT): 2256086(3409/2252677)
May 31, 2017 9:35:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1166/3728 took 312812 ms. Total solver calls (SAT/UNSAT): 2263558(3421/2260137)
May 31, 2017 9:35:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1170/3728 took 313840 ms. Total solver calls (SAT/UNSAT): 2271030(3433/2267597)
May 31, 2017 9:35:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1174/3728 took 315063 ms. Total solver calls (SAT/UNSAT): 2280024(3445/2276579)
May 31, 2017 9:35:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1178/3728 took 316093 ms. Total solver calls (SAT/UNSAT): 2287496(3457/2284039)
May 31, 2017 9:35:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1182/3728 took 317122 ms. Total solver calls (SAT/UNSAT): 2294968(3469/2291499)
May 31, 2017 9:35:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1186/3728 took 318144 ms. Total solver calls (SAT/UNSAT): 2302440(3481/2298959)
May 31, 2017 9:35:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1190/3728 took 319172 ms. Total solver calls (SAT/UNSAT): 2309912(3493/2306419)
May 31, 2017 9:35:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1194/3728 took 320396 ms. Total solver calls (SAT/UNSAT): 2318906(3505/2315401)
May 31, 2017 9:35:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1198/3728 took 321440 ms. Total solver calls (SAT/UNSAT): 2326378(3517/2322861)
May 31, 2017 9:35:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1202/3728 took 322463 ms. Total solver calls (SAT/UNSAT): 2333850(3529/2330321)
May 31, 2017 9:35:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1206/3728 took 323512 ms. Total solver calls (SAT/UNSAT): 2341322(3541/2337781)
May 31, 2017 9:35:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1210/3728 took 324542 ms. Total solver calls (SAT/UNSAT): 2348794(3553/2345241)
May 31, 2017 9:35:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1214/3728 took 325774 ms. Total solver calls (SAT/UNSAT): 2357788(3565/2354223)
May 31, 2017 9:35:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1218/3728 took 326878 ms. Total solver calls (SAT/UNSAT): 2365260(3577/2361683)
May 31, 2017 9:35:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1222/3728 took 327929 ms. Total solver calls (SAT/UNSAT): 2372732(3589/2369143)
May 31, 2017 9:35:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1226/3728 took 328964 ms. Total solver calls (SAT/UNSAT): 2380204(3601/2376603)
May 31, 2017 9:35:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1230/3728 took 330012 ms. Total solver calls (SAT/UNSAT): 2387676(3613/2384063)
May 31, 2017 9:35:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1234/3728 took 331249 ms. Total solver calls (SAT/UNSAT): 2396669(3625/2393044)
May 31, 2017 9:35:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1238/3728 took 332304 ms. Total solver calls (SAT/UNSAT): 2404142(3637/2400505)
May 31, 2017 9:35:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1242/3728 took 333341 ms. Total solver calls (SAT/UNSAT): 2411614(3649/2407965)
May 31, 2017 9:35:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1246/3728 took 334398 ms. Total solver calls (SAT/UNSAT): 2419086(3661/2415425)
May 31, 2017 9:35:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1250/3728 took 335437 ms. Total solver calls (SAT/UNSAT): 2426558(3673/2422885)
May 31, 2017 9:36:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1254/3728 took 336475 ms. Total solver calls (SAT/UNSAT): 2434030(3685/2430345)
May 31, 2017 9:36:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1258/3728 took 337729 ms. Total solver calls (SAT/UNSAT): 2443024(3697/2439327)
May 31, 2017 9:36:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1262/3728 took 338766 ms. Total solver calls (SAT/UNSAT): 2450496(3709/2446787)
May 31, 2017 9:36:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1266/3728 took 339866 ms. Total solver calls (SAT/UNSAT): 2457968(3721/2454247)
May 31, 2017 9:36:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1270/3728 took 340976 ms. Total solver calls (SAT/UNSAT): 2465440(3733/2461707)
May 31, 2017 9:36:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1274/3728 took 342102 ms. Total solver calls (SAT/UNSAT): 2472912(3745/2469167)
May 31, 2017 9:36:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1277/3728 took 343180 ms. Total solver calls (SAT/UNSAT): 2480038(3754/2476284)
May 31, 2017 9:36:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1281/3728 took 344330 ms. Total solver calls (SAT/UNSAT): 2487510(3766/2483744)
May 31, 2017 9:36:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1285/3728 took 345466 ms. Total solver calls (SAT/UNSAT): 2494982(3778/2491204)
May 31, 2017 9:36:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1289/3728 took 346478 ms. Total solver calls (SAT/UNSAT): 2502454(3790/2498664)
May 31, 2017 9:36:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1293/3728 took 347481 ms. Total solver calls (SAT/UNSAT): 2509926(3802/2506124)
May 31, 2017 9:36:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1297/3728 took 348682 ms. Total solver calls (SAT/UNSAT): 2518919(3814/2515105)
May 31, 2017 9:36:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1301/3728 took 349688 ms. Total solver calls (SAT/UNSAT): 2526392(3826/2522566)
May 31, 2017 9:36:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1305/3728 took 350692 ms. Total solver calls (SAT/UNSAT): 2533864(3838/2530026)
May 31, 2017 9:36:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1309/3728 took 351701 ms. Total solver calls (SAT/UNSAT): 2541336(3850/2537486)
May 31, 2017 9:36:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1313/3728 took 352705 ms. Total solver calls (SAT/UNSAT): 2548808(3862/2544946)
May 31, 2017 9:36:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1317/3728 took 353710 ms. Total solver calls (SAT/UNSAT): 2556280(3874/2552406)
May 31, 2017 9:36:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1321/3728 took 354917 ms. Total solver calls (SAT/UNSAT): 2565274(3886/2561388)
May 31, 2017 9:36:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1325/3728 took 355919 ms. Total solver calls (SAT/UNSAT): 2572746(3898/2568848)
May 31, 2017 9:36:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1329/3728 took 356925 ms. Total solver calls (SAT/UNSAT): 2580218(3910/2576308)
May 31, 2017 9:36:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1333/3728 took 357926 ms. Total solver calls (SAT/UNSAT): 2587690(3922/2583768)
May 31, 2017 9:36:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1337/3728 took 358932 ms. Total solver calls (SAT/UNSAT): 2595162(3934/2591228)
May 31, 2017 9:36:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1341/3728 took 360145 ms. Total solver calls (SAT/UNSAT): 2604156(3946/2600210)
May 31, 2017 9:36:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1345/3728 took 361162 ms. Total solver calls (SAT/UNSAT): 2611628(3958/2607670)
May 31, 2017 9:36:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1349/3728 took 362171 ms. Total solver calls (SAT/UNSAT): 2619100(3970/2615130)
May 31, 2017 9:36:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1353/3728 took 363234 ms. Total solver calls (SAT/UNSAT): 2626572(3982/2622590)
May 31, 2017 9:36:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1357/3728 took 364256 ms. Total solver calls (SAT/UNSAT): 2634044(3994/2630050)
May 31, 2017 9:36:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1361/3728 took 365494 ms. Total solver calls (SAT/UNSAT): 2643038(4006/2639032)
May 31, 2017 9:36:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1365/3728 took 366528 ms. Total solver calls (SAT/UNSAT): 2650510(4018/2646492)
May 31, 2017 9:36:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1369/3728 took 367554 ms. Total solver calls (SAT/UNSAT): 2657982(4030/2653952)
May 31, 2017 9:36:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1373/3728 took 368577 ms. Total solver calls (SAT/UNSAT): 2665454(4042/2661412)
May 31, 2017 9:36:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1377/3728 took 369616 ms. Total solver calls (SAT/UNSAT): 2672926(4054/2668872)
May 31, 2017 9:36:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1381/3728 took 370849 ms. Total solver calls (SAT/UNSAT): 2681919(4066/2677853)
May 31, 2017 9:36:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1385/3728 took 371883 ms. Total solver calls (SAT/UNSAT): 2689392(4078/2685314)
May 31, 2017 9:36:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1389/3728 took 372911 ms. Total solver calls (SAT/UNSAT): 2696864(4090/2692774)
May 31, 2017 9:36:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1393/3728 took 373940 ms. Total solver calls (SAT/UNSAT): 2704336(4102/2700234)
May 31, 2017 9:36:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1397/3728 took 374993 ms. Total solver calls (SAT/UNSAT): 2711808(4114/2707694)
May 31, 2017 9:36:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1401/3728 took 376007 ms. Total solver calls (SAT/UNSAT): 2719280(4126/2715154)
May 31, 2017 9:36:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1405/3728 took 377221 ms. Total solver calls (SAT/UNSAT): 2728274(4138/2724136)
May 31, 2017 9:36:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1409/3728 took 378228 ms. Total solver calls (SAT/UNSAT): 2735746(4150/2731596)
May 31, 2017 9:36:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1413/3728 took 379237 ms. Total solver calls (SAT/UNSAT): 2743218(4162/2739056)
May 31, 2017 9:36:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1417/3728 took 380252 ms. Total solver calls (SAT/UNSAT): 2750690(4174/2746516)
May 31, 2017 9:36:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1421/3728 took 381271 ms. Total solver calls (SAT/UNSAT): 2758162(4186/2753976)
May 31, 2017 9:36:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1425/3728 took 382484 ms. Total solver calls (SAT/UNSAT): 2767156(4198/2762958)
May 31, 2017 9:36:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1429/3728 took 383492 ms. Total solver calls (SAT/UNSAT): 2774628(4210/2770418)
May 31, 2017 9:36:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1433/3728 took 384500 ms. Total solver calls (SAT/UNSAT): 2782100(4222/2777878)
May 31, 2017 9:36:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1437/3728 took 385523 ms. Total solver calls (SAT/UNSAT): 2789572(4234/2785338)
May 31, 2017 9:36:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1441/3728 took 386531 ms. Total solver calls (SAT/UNSAT): 2797044(4246/2792798)
May 31, 2017 9:36:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1445/3728 took 387741 ms. Total solver calls (SAT/UNSAT): 2806038(4258/2801780)
May 31, 2017 9:36:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1449/3728 took 388802 ms. Total solver calls (SAT/UNSAT): 2813510(4270/2809240)
May 31, 2017 9:36:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1453/3728 took 389828 ms. Total solver calls (SAT/UNSAT): 2820982(4282/2816700)
May 31, 2017 9:36:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1457/3728 took 390861 ms. Total solver calls (SAT/UNSAT): 2828454(4294/2824160)
May 31, 2017 9:36:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1461/3728 took 391887 ms. Total solver calls (SAT/UNSAT): 2835926(4306/2831620)
May 31, 2017 9:36:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1465/3728 took 393118 ms. Total solver calls (SAT/UNSAT): 2844919(4318/2840601)
May 31, 2017 9:36:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1469/3728 took 394141 ms. Total solver calls (SAT/UNSAT): 2852392(4330/2848062)
May 31, 2017 9:36:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1473/3728 took 395174 ms. Total solver calls (SAT/UNSAT): 2859864(4342/2855522)
May 31, 2017 9:37:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1477/3728 took 396190 ms. Total solver calls (SAT/UNSAT): 2867336(4354/2862982)
May 31, 2017 9:37:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1481/3728 took 397206 ms. Total solver calls (SAT/UNSAT): 2874808(4366/2870442)
May 31, 2017 9:37:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1485/3728 took 398213 ms. Total solver calls (SAT/UNSAT): 2882280(4378/2877902)
May 31, 2017 9:37:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1489/3728 took 399427 ms. Total solver calls (SAT/UNSAT): 2891274(4390/2886884)
May 31, 2017 9:37:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1493/3728 took 400446 ms. Total solver calls (SAT/UNSAT): 2898746(4402/2894344)
May 31, 2017 9:37:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1497/3728 took 401498 ms. Total solver calls (SAT/UNSAT): 2906218(4414/2901804)
May 31, 2017 9:37:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1501/3728 took 402514 ms. Total solver calls (SAT/UNSAT): 2913690(4426/2909264)
May 31, 2017 9:37:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1505/3728 took 403529 ms. Total solver calls (SAT/UNSAT): 2921162(4438/2916724)
May 31, 2017 9:37:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1509/3728 took 404747 ms. Total solver calls (SAT/UNSAT): 2930156(4450/2925706)
May 31, 2017 9:37:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1513/3728 took 405769 ms. Total solver calls (SAT/UNSAT): 2937628(4462/2933166)
May 31, 2017 9:37:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1517/3728 took 406844 ms. Total solver calls (SAT/UNSAT): 2945100(4474/2940626)
May 31, 2017 9:37:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1521/3728 took 407888 ms. Total solver calls (SAT/UNSAT): 2952572(4486/2948086)
May 31, 2017 9:37:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1525/3728 took 408925 ms. Total solver calls (SAT/UNSAT): 2960044(4498/2955546)
May 31, 2017 9:37:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1529/3728 took 410170 ms. Total solver calls (SAT/UNSAT): 2969038(4510/2964528)
May 31, 2017 9:37:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1533/3728 took 411203 ms. Total solver calls (SAT/UNSAT): 2976510(4522/2971988)
May 31, 2017 9:37:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1537/3728 took 412241 ms. Total solver calls (SAT/UNSAT): 2983982(4534/2979448)
May 31, 2017 9:37:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1541/3728 took 413276 ms. Total solver calls (SAT/UNSAT): 2991454(4546/2986908)
May 31, 2017 9:37:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1545/3728 took 414317 ms. Total solver calls (SAT/UNSAT): 2998926(4558/2994368)
May 31, 2017 9:37:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1549/3728 took 415564 ms. Total solver calls (SAT/UNSAT): 3007919(4570/3003349)
May 31, 2017 9:37:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1553/3728 took 416606 ms. Total solver calls (SAT/UNSAT): 3015392(4582/3010810)
May 31, 2017 9:37:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1557/3728 took 417682 ms. Total solver calls (SAT/UNSAT): 3022864(4594/3018270)
May 31, 2017 9:37:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1561/3728 took 418698 ms. Total solver calls (SAT/UNSAT): 3030336(4606/3025730)
May 31, 2017 9:37:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1565/3728 took 419719 ms. Total solver calls (SAT/UNSAT): 3037808(4618/3033190)
May 31, 2017 9:37:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1569/3728 took 420741 ms. Total solver calls (SAT/UNSAT): 3045280(4630/3040650)
May 31, 2017 9:37:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1572/3728 took 421778 ms. Total solver calls (SAT/UNSAT): 3052406(4639/3047767)
May 31, 2017 9:37:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1576/3728 took 422787 ms. Total solver calls (SAT/UNSAT): 3059878(4651/3055227)
May 31, 2017 9:37:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1580/3728 took 423805 ms. Total solver calls (SAT/UNSAT): 3067350(4663/3062687)
May 31, 2017 9:37:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1584/3728 took 424823 ms. Total solver calls (SAT/UNSAT): 3074822(4675/3070147)
May 31, 2017 9:37:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1588/3728 took 425840 ms. Total solver calls (SAT/UNSAT): 3082294(4687/3077607)
May 31, 2017 9:37:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1592/3728 took 427054 ms. Total solver calls (SAT/UNSAT): 3091288(4699/3086589)
May 31, 2017 9:37:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1596/3728 took 428068 ms. Total solver calls (SAT/UNSAT): 3098760(4711/3094049)
May 31, 2017 9:37:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1600/3728 took 429092 ms. Total solver calls (SAT/UNSAT): 3106232(4723/3101509)
May 31, 2017 9:37:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1604/3728 took 430103 ms. Total solver calls (SAT/UNSAT): 3113704(4735/3108969)
May 31, 2017 9:37:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1608/3728 took 431118 ms. Total solver calls (SAT/UNSAT): 3121176(4747/3116429)
May 31, 2017 9:37:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1612/3728 took 432397 ms. Total solver calls (SAT/UNSAT): 3130169(4759/3125410)
May 31, 2017 9:37:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1616/3728 took 433430 ms. Total solver calls (SAT/UNSAT): 3137642(4771/3132871)
May 31, 2017 9:37:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1620/3728 took 434459 ms. Total solver calls (SAT/UNSAT): 3145114(4783/3140331)
May 31, 2017 9:37:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1624/3728 took 435495 ms. Total solver calls (SAT/UNSAT): 3152586(4795/3147791)
May 31, 2017 9:37:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1628/3728 took 436524 ms. Total solver calls (SAT/UNSAT): 3160058(4807/3155251)
May 31, 2017 9:37:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1632/3728 took 437557 ms. Total solver calls (SAT/UNSAT): 3167530(4819/3162711)
May 31, 2017 9:37:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1635/3728 took 438581 ms. Total solver calls (SAT/UNSAT): 3174656(4828/3169828)
May 31, 2017 9:37:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1639/3728 took 439627 ms. Total solver calls (SAT/UNSAT): 3182128(4840/3177288)
May 31, 2017 9:37:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1643/3728 took 440660 ms. Total solver calls (SAT/UNSAT): 3189600(4852/3184748)
May 31, 2017 9:37:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1647/3728 took 441697 ms. Total solver calls (SAT/UNSAT): 3197072(4864/3192208)
May 31, 2017 9:37:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1651/3728 took 442730 ms. Total solver calls (SAT/UNSAT): 3204544(4876/3199668)
May 31, 2017 9:37:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1655/3728 took 443969 ms. Total solver calls (SAT/UNSAT): 3213538(4888/3208650)
May 31, 2017 9:37:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1659/3728 took 445003 ms. Total solver calls (SAT/UNSAT): 3221010(4900/3216110)
May 31, 2017 9:37:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1663/3728 took 446044 ms. Total solver calls (SAT/UNSAT): 3228482(4912/3223570)
May 31, 2017 9:37:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1667/3728 took 447082 ms. Total solver calls (SAT/UNSAT): 3235954(4924/3231030)
May 31, 2017 9:37:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1671/3728 took 448127 ms. Total solver calls (SAT/UNSAT): 3243426(4936/3238490)
May 31, 2017 9:37:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1675/3728 took 449379 ms. Total solver calls (SAT/UNSAT): 3252419(4948/3247471)
May 31, 2017 9:37:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1679/3728 took 450411 ms. Total solver calls (SAT/UNSAT): 3259892(4960/3254932)
May 31, 2017 9:37:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1683/3728 took 451446 ms. Total solver calls (SAT/UNSAT): 3267364(4972/3262392)
May 31, 2017 9:37:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1687/3728 took 452488 ms. Total solver calls (SAT/UNSAT): 3274836(4984/3269852)
May 31, 2017 9:37:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1691/3728 took 453525 ms. Total solver calls (SAT/UNSAT): 3282308(4996/3277312)
May 31, 2017 9:37:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1695/3728 took 454565 ms. Total solver calls (SAT/UNSAT): 3289780(5008/3284772)
May 31, 2017 9:37:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1699/3728 took 455818 ms. Total solver calls (SAT/UNSAT): 3298774(5020/3293754)
May 31, 2017 9:38:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1703/3728 took 456864 ms. Total solver calls (SAT/UNSAT): 3306246(5032/3301214)
May 31, 2017 9:38:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1707/3728 took 457903 ms. Total solver calls (SAT/UNSAT): 3313718(5044/3308674)
May 31, 2017 9:38:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1711/3728 took 458931 ms. Total solver calls (SAT/UNSAT): 3321190(5056/3316134)
May 31, 2017 9:38:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1715/3728 took 459963 ms. Total solver calls (SAT/UNSAT): 3328662(5068/3323594)
May 31, 2017 9:38:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1719/3728 took 461212 ms. Total solver calls (SAT/UNSAT): 3337656(5080/3332576)
May 31, 2017 9:38:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1723/3728 took 462245 ms. Total solver calls (SAT/UNSAT): 3345128(5092/3340036)
May 31, 2017 9:38:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1727/3728 took 463283 ms. Total solver calls (SAT/UNSAT): 3352600(5104/3347496)
May 31, 2017 9:38:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1731/3728 took 464317 ms. Total solver calls (SAT/UNSAT): 3360072(5116/3354956)
May 31, 2017 9:38:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1735/3728 took 465358 ms. Total solver calls (SAT/UNSAT): 3367544(5128/3362416)
May 31, 2017 9:38:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1739/3728 took 466601 ms. Total solver calls (SAT/UNSAT): 3376538(5140/3371398)
May 31, 2017 9:38:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1743/3728 took 467639 ms. Total solver calls (SAT/UNSAT): 3384010(5152/3378858)
May 31, 2017 9:38:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1747/3728 took 468682 ms. Total solver calls (SAT/UNSAT): 3391482(5164/3386318)
May 31, 2017 9:38:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1751/3728 took 469715 ms. Total solver calls (SAT/UNSAT): 3398954(5176/3393778)
May 31, 2017 9:38:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1755/3728 took 470822 ms. Total solver calls (SAT/UNSAT): 3406426(5188/3401238)
May 31, 2017 9:38:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1759/3728 took 472037 ms. Total solver calls (SAT/UNSAT): 3415419(5200/3410219)
May 31, 2017 9:38:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1763/3728 took 473037 ms. Total solver calls (SAT/UNSAT): 3422888(5212/3417676)
May 31, 2017 9:38:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1767/3728 took 474046 ms. Total solver calls (SAT/UNSAT): 3430356(5224/3425132)
May 31, 2017 9:38:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1771/3728 took 475054 ms. Total solver calls (SAT/UNSAT): 3437824(5236/3432588)
May 31, 2017 9:38:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1775/3728 took 476065 ms. Total solver calls (SAT/UNSAT): 3445292(5248/3440044)
May 31, 2017 9:38:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1779/3728 took 477065 ms. Total solver calls (SAT/UNSAT): 3452760(5260/3447500)
May 31, 2017 9:38:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1783/3728 took 478272 ms. Total solver calls (SAT/UNSAT): 3461753(5272/3456481)
May 31, 2017 9:38:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1787/3728 took 479327 ms. Total solver calls (SAT/UNSAT): 3469225(5284/3463941)
May 31, 2017 9:38:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1791/3728 took 480337 ms. Total solver calls (SAT/UNSAT): 3476697(5296/3471401)
May 31, 2017 9:38:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1795/3728 took 481349 ms. Total solver calls (SAT/UNSAT): 3484169(5308/3478861)
May 31, 2017 9:38:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1799/3728 took 482354 ms. Total solver calls (SAT/UNSAT): 3491641(5320/3486321)
May 31, 2017 9:38:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1803/3728 took 483560 ms. Total solver calls (SAT/UNSAT): 3500635(5332/3495303)
May 31, 2017 9:38:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1807/3728 took 484569 ms. Total solver calls (SAT/UNSAT): 3508107(5344/3502763)
May 31, 2017 9:38:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1811/3728 took 485576 ms. Total solver calls (SAT/UNSAT): 3515579(5356/3510223)
May 31, 2017 9:38:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1815/3728 took 486580 ms. Total solver calls (SAT/UNSAT): 3523051(5368/3517683)
May 31, 2017 9:38:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1819/3728 took 487597 ms. Total solver calls (SAT/UNSAT): 3530523(5380/3525143)
May 31, 2017 9:38:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1823/3728 took 488815 ms. Total solver calls (SAT/UNSAT): 3539517(5392/3534125)
May 31, 2017 9:38:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1827/3728 took 489825 ms. Total solver calls (SAT/UNSAT): 3546989(5404/3541585)
May 31, 2017 9:38:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1831/3728 took 490833 ms. Total solver calls (SAT/UNSAT): 3554461(5416/3549045)
May 31, 2017 9:38:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1835/3728 took 491845 ms. Total solver calls (SAT/UNSAT): 3561933(5428/3556505)
May 31, 2017 9:38:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1839/3728 took 492875 ms. Total solver calls (SAT/UNSAT): 3569405(5440/3563965)
May 31, 2017 9:38:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1843/3728 took 494145 ms. Total solver calls (SAT/UNSAT): 3578398(5452/3572946)
May 31, 2017 9:38:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1847/3728 took 495149 ms. Total solver calls (SAT/UNSAT): 3585871(5464/3580407)
May 31, 2017 9:38:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1851/3728 took 496160 ms. Total solver calls (SAT/UNSAT): 3593343(5476/3587867)
May 31, 2017 9:38:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1855/3728 took 497160 ms. Total solver calls (SAT/UNSAT): 3600815(5488/3595327)
May 31, 2017 9:38:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1859/3728 took 498174 ms. Total solver calls (SAT/UNSAT): 3608287(5500/3602787)
May 31, 2017 9:38:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1863/3728 took 499179 ms. Total solver calls (SAT/UNSAT): 3615759(5512/3610247)
May 31, 2017 9:38:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1867/3728 took 500394 ms. Total solver calls (SAT/UNSAT): 3624753(5524/3619229)
May 31, 2017 9:38:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1871/3728 took 501409 ms. Total solver calls (SAT/UNSAT): 3632225(5536/3626689)
May 31, 2017 9:38:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1875/3728 took 502413 ms. Total solver calls (SAT/UNSAT): 3639697(5548/3634149)
May 31, 2017 9:38:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1879/3728 took 503419 ms. Total solver calls (SAT/UNSAT): 3647169(5560/3641609)
May 31, 2017 9:38:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1883/3728 took 504429 ms. Total solver calls (SAT/UNSAT): 3654641(5572/3649069)
May 31, 2017 9:38:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1887/3728 took 505640 ms. Total solver calls (SAT/UNSAT): 3663635(5584/3658051)
May 31, 2017 9:38:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1891/3728 took 506648 ms. Total solver calls (SAT/UNSAT): 3671107(5596/3665511)
May 31, 2017 9:38:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1896/3728 took 507904 ms. Total solver calls (SAT/UNSAT): 3680447(5611/3674836)
May 31, 2017 9:38:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1900/3728 took 508906 ms. Total solver calls (SAT/UNSAT): 3687919(5623/3682296)
May 31, 2017 9:38:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1904/3728 took 509910 ms. Total solver calls (SAT/UNSAT): 3695391(5635/3689756)
May 31, 2017 9:38:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1908/3728 took 511120 ms. Total solver calls (SAT/UNSAT): 3704385(5647/3698738)
May 31, 2017 9:38:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1912/3728 took 512137 ms. Total solver calls (SAT/UNSAT): 3711857(5659/3706198)
May 31, 2017 9:38:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1916/3728 took 513141 ms. Total solver calls (SAT/UNSAT): 3719329(5671/3713658)
May 31, 2017 9:38:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1920/3728 took 514149 ms. Total solver calls (SAT/UNSAT): 3726801(5683/3721118)
May 31, 2017 9:38:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1924/3728 took 515157 ms. Total solver calls (SAT/UNSAT): 3734273(5695/3728578)
May 31, 2017 9:39:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1928/3728 took 516368 ms. Total solver calls (SAT/UNSAT): 3743267(5707/3737560)
May 31, 2017 9:39:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1932/3728 took 517384 ms. Total solver calls (SAT/UNSAT): 3750739(5719/3745020)
May 31, 2017 9:39:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1936/3728 took 518386 ms. Total solver calls (SAT/UNSAT): 3758211(5731/3752480)
May 31, 2017 9:39:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1940/3728 took 519389 ms. Total solver calls (SAT/UNSAT): 3765683(5743/3759940)
May 31, 2017 9:39:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1944/3728 took 520390 ms. Total solver calls (SAT/UNSAT): 3773155(5755/3767400)
May 31, 2017 9:39:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1948/3728 took 521591 ms. Total solver calls (SAT/UNSAT): 3782148(5767/3776381)
May 31, 2017 9:39:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1952/3728 took 522601 ms. Total solver calls (SAT/UNSAT): 3789621(5779/3783842)
May 31, 2017 9:39:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1956/3728 took 523606 ms. Total solver calls (SAT/UNSAT): 3797093(5791/3791302)
May 31, 2017 9:39:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1960/3728 took 524609 ms. Total solver calls (SAT/UNSAT): 3804565(5803/3798762)
May 31, 2017 9:39:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1964/3728 took 525620 ms. Total solver calls (SAT/UNSAT): 3812037(5815/3806222)
May 31, 2017 9:39:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1968/3728 took 526630 ms. Total solver calls (SAT/UNSAT): 3819509(5827/3813682)
May 31, 2017 9:39:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1972/3728 took 527844 ms. Total solver calls (SAT/UNSAT): 3828503(5839/3822664)
May 31, 2017 9:39:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1976/3728 took 528854 ms. Total solver calls (SAT/UNSAT): 3835975(5851/3830124)
May 31, 2017 9:39:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1980/3728 took 529858 ms. Total solver calls (SAT/UNSAT): 3843447(5863/3837584)
May 31, 2017 9:39:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1984/3728 took 530861 ms. Total solver calls (SAT/UNSAT): 3850919(5875/3845044)
May 31, 2017 9:39:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1988/3728 took 531869 ms. Total solver calls (SAT/UNSAT): 3858391(5887/3852504)
May 31, 2017 9:39:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1992/3728 took 533078 ms. Total solver calls (SAT/UNSAT): 3867385(5899/3861486)
May 31, 2017 9:39:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1996/3728 took 534088 ms. Total solver calls (SAT/UNSAT): 3874857(5911/3868946)
May 31, 2017 9:39:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2000/3728 took 535098 ms. Total solver calls (SAT/UNSAT): 3882329(5923/3876406)
May 31, 2017 9:39:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2004/3728 took 536109 ms. Total solver calls (SAT/UNSAT): 3889801(5935/3883866)
May 31, 2017 9:39:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2008/3728 took 537117 ms. Total solver calls (SAT/UNSAT): 3897273(5947/3891326)
May 31, 2017 9:39:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2012/3728 took 538327 ms. Total solver calls (SAT/UNSAT): 3906267(5959/3900308)
May 31, 2017 9:39:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2016/3728 took 539329 ms. Total solver calls (SAT/UNSAT): 3913739(5971/3907768)
May 31, 2017 9:39:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2020/3728 took 540346 ms. Total solver calls (SAT/UNSAT): 3921211(5983/3915228)
May 31, 2017 9:39:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2024/3728 took 541354 ms. Total solver calls (SAT/UNSAT): 3928683(5995/3922688)
May 31, 2017 9:39:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2028/3728 took 542366 ms. Total solver calls (SAT/UNSAT): 3936155(6007/3930148)
May 31, 2017 9:39:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2032/3728 took 543572 ms. Total solver calls (SAT/UNSAT): 3945148(6019/3939129)
May 31, 2017 9:39:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2036/3728 took 544644 ms. Total solver calls (SAT/UNSAT): 3952621(6031/3946590)
May 31, 2017 9:39:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2040/3728 took 545667 ms. Total solver calls (SAT/UNSAT): 3960093(6043/3954050)
May 31, 2017 9:39:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2044/3728 took 546682 ms. Total solver calls (SAT/UNSAT): 3967565(6055/3961510)
May 31, 2017 9:39:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2048/3728 took 547737 ms. Total solver calls (SAT/UNSAT): 3975037(6067/3968970)
May 31, 2017 9:39:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2052/3728 took 548822 ms. Total solver calls (SAT/UNSAT): 3982509(6079/3976430)
May 31, 2017 9:39:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2056/3728 took 550073 ms. Total solver calls (SAT/UNSAT): 3991503(6091/3985412)
May 31, 2017 9:39:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2060/3728 took 551127 ms. Total solver calls (SAT/UNSAT): 3998975(6103/3992872)
May 31, 2017 9:39:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2064/3728 took 552130 ms. Total solver calls (SAT/UNSAT): 4006447(6115/4000332)
May 31, 2017 9:39:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2068/3728 took 553136 ms. Total solver calls (SAT/UNSAT): 4013919(6127/4007792)
May 31, 2017 9:39:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2072/3728 took 554142 ms. Total solver calls (SAT/UNSAT): 4021391(6139/4015252)
May 31, 2017 9:39:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2076/3728 took 555353 ms. Total solver calls (SAT/UNSAT): 4030385(6151/4024234)
May 31, 2017 9:39:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2080/3728 took 556357 ms. Total solver calls (SAT/UNSAT): 4037857(6163/4031694)
May 31, 2017 9:39:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2084/3728 took 557363 ms. Total solver calls (SAT/UNSAT): 4045329(6175/4039154)
May 31, 2017 9:39:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2088/3728 took 558368 ms. Total solver calls (SAT/UNSAT): 4052801(6187/4046614)
May 31, 2017 9:39:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2093/3728 took 559617 ms. Total solver calls (SAT/UNSAT): 4062141(6202/4055939)
May 31, 2017 9:39:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2097/3728 took 560823 ms. Total solver calls (SAT/UNSAT): 4071135(6214/4064921)
May 31, 2017 9:39:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2101/3728 took 561828 ms. Total solver calls (SAT/UNSAT): 4078607(6226/4072381)
May 31, 2017 9:39:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2105/3728 took 562830 ms. Total solver calls (SAT/UNSAT): 4086079(6238/4079841)
May 31, 2017 9:39:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2109/3728 took 563831 ms. Total solver calls (SAT/UNSAT): 4093551(6250/4087301)
May 31, 2017 9:39:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2113/3728 took 564842 ms. Total solver calls (SAT/UNSAT): 4101023(6262/4094761)
May 31, 2017 9:39:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2117/3728 took 566051 ms. Total solver calls (SAT/UNSAT): 4110017(6274/4103743)
May 31, 2017 9:39:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2121/3728 took 567200 ms. Total solver calls (SAT/UNSAT): 4117489(6286/4111203)
May 31, 2017 9:39:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2125/3728 took 568235 ms. Total solver calls (SAT/UNSAT): 4124961(6298/4118663)
May 31, 2017 9:39:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2129/3728 took 569276 ms. Total solver calls (SAT/UNSAT): 4132433(6310/4126123)
May 31, 2017 9:39:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2133/3728 took 570311 ms. Total solver calls (SAT/UNSAT): 4139905(6322/4133583)
May 31, 2017 9:39:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2137/3728 took 571546 ms. Total solver calls (SAT/UNSAT): 4148898(6334/4142564)
May 31, 2017 9:39:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2141/3728 took 572586 ms. Total solver calls (SAT/UNSAT): 4156371(6346/4150025)
May 31, 2017 9:39:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2145/3728 took 573622 ms. Total solver calls (SAT/UNSAT): 4163843(6358/4157485)
May 31, 2017 9:39:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2149/3728 took 574658 ms. Total solver calls (SAT/UNSAT): 4171315(6370/4164945)
May 31, 2017 9:39:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2153/3728 took 575692 ms. Total solver calls (SAT/UNSAT): 4178787(6382/4172405)
May 31, 2017 9:40:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2157/3728 took 576734 ms. Total solver calls (SAT/UNSAT): 4186259(6394/4179865)
May 31, 2017 9:40:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2161/3728 took 577980 ms. Total solver calls (SAT/UNSAT): 4195253(6406/4188847)
May 31, 2017 9:40:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2165/3728 took 579011 ms. Total solver calls (SAT/UNSAT): 4202725(6418/4196307)
May 31, 2017 9:40:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2169/3728 took 580038 ms. Total solver calls (SAT/UNSAT): 4210197(6430/4203767)
May 31, 2017 9:40:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2173/3728 took 581064 ms. Total solver calls (SAT/UNSAT): 4217669(6442/4211227)
May 31, 2017 9:40:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2177/3728 took 582103 ms. Total solver calls (SAT/UNSAT): 4225141(6454/4218687)
May 31, 2017 9:40:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2181/3728 took 583333 ms. Total solver calls (SAT/UNSAT): 4234135(6466/4227669)
May 31, 2017 9:40:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2185/3728 took 584365 ms. Total solver calls (SAT/UNSAT): 4241607(6478/4235129)
May 31, 2017 9:40:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2189/3728 took 585398 ms. Total solver calls (SAT/UNSAT): 4249079(6490/4242589)
May 31, 2017 9:40:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2193/3728 took 586431 ms. Total solver calls (SAT/UNSAT): 4256551(6502/4250049)
May 31, 2017 9:40:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2197/3728 took 587462 ms. Total solver calls (SAT/UNSAT): 4264023(6514/4257509)
May 31, 2017 9:40:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2200/3728 took 588476 ms. Total solver calls (SAT/UNSAT): 4271148(6523/4264625)
May 31, 2017 9:40:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2204/3728 took 589550 ms. Total solver calls (SAT/UNSAT): 4278621(6535/4272086)
May 31, 2017 9:40:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2208/3728 took 590584 ms. Total solver calls (SAT/UNSAT): 4286093(6547/4279546)
May 31, 2017 9:40:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2212/3728 took 591619 ms. Total solver calls (SAT/UNSAT): 4293565(6559/4287006)
May 31, 2017 9:40:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2216/3728 took 592650 ms. Total solver calls (SAT/UNSAT): 4301037(6571/4294466)
May 31, 2017 9:40:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2220/3728 took 593691 ms. Total solver calls (SAT/UNSAT): 4308509(6583/4301926)
May 31, 2017 9:40:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2224/3728 took 594934 ms. Total solver calls (SAT/UNSAT): 4317503(6595/4310908)
May 31, 2017 9:40:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2228/3728 took 595973 ms. Total solver calls (SAT/UNSAT): 4324975(6607/4318368)
May 31, 2017 9:40:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2232/3728 took 597017 ms. Total solver calls (SAT/UNSAT): 4332447(6619/4325828)
May 31, 2017 9:40:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2236/3728 took 598050 ms. Total solver calls (SAT/UNSAT): 4339919(6631/4333288)
May 31, 2017 9:40:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2240/3728 took 599059 ms. Total solver calls (SAT/UNSAT): 4347391(6643/4340748)
May 31, 2017 9:40:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2244/3728 took 600277 ms. Total solver calls (SAT/UNSAT): 4356385(6655/4349730)
May 31, 2017 9:40:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2248/3728 took 601285 ms. Total solver calls (SAT/UNSAT): 4363857(6667/4357190)
May 31, 2017 9:40:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2252/3728 took 602316 ms. Total solver calls (SAT/UNSAT): 4371329(6679/4364650)
May 31, 2017 9:40:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2256/3728 took 603420 ms. Total solver calls (SAT/UNSAT): 4378801(6691/4372110)
May 31, 2017 9:40:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2260/3728 took 604433 ms. Total solver calls (SAT/UNSAT): 4386273(6703/4379570)
May 31, 2017 9:40:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2263/3728 took 605442 ms. Total solver calls (SAT/UNSAT): 4393398(6712/4386686)
May 31, 2017 9:40:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2267/3728 took 606490 ms. Total solver calls (SAT/UNSAT): 4400871(6724/4394147)
May 31, 2017 9:40:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2271/3728 took 607541 ms. Total solver calls (SAT/UNSAT): 4408343(6736/4401607)
May 31, 2017 9:40:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2275/3728 took 608609 ms. Total solver calls (SAT/UNSAT): 4415815(6748/4409067)
May 31, 2017 9:40:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2279/3728 took 609625 ms. Total solver calls (SAT/UNSAT): 4423287(6760/4416527)
May 31, 2017 9:40:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2283/3728 took 610659 ms. Total solver calls (SAT/UNSAT): 4430759(6772/4423987)
May 31, 2017 9:40:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2286/3728 took 611681 ms. Total solver calls (SAT/UNSAT): 4437885(6781/4431104)
May 31, 2017 9:40:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2290/3728 took 612717 ms. Total solver calls (SAT/UNSAT): 4445357(6793/4438564)
May 31, 2017 9:40:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2294/3728 took 613746 ms. Total solver calls (SAT/UNSAT): 4452829(6805/4446024)
May 31, 2017 9:40:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2298/3728 took 614799 ms. Total solver calls (SAT/UNSAT): 4460301(6817/4453484)
May 31, 2017 9:40:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2302/3728 took 615821 ms. Total solver calls (SAT/UNSAT): 4467773(6829/4460944)
May 31, 2017 9:40:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2306/3728 took 617039 ms. Total solver calls (SAT/UNSAT): 4476767(6841/4469926)
May 31, 2017 9:40:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2310/3728 took 618052 ms. Total solver calls (SAT/UNSAT): 4484239(6853/4477386)
May 31, 2017 9:40:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2314/3728 took 619069 ms. Total solver calls (SAT/UNSAT): 4491711(6865/4484846)
May 31, 2017 9:40:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2318/3728 took 620157 ms. Total solver calls (SAT/UNSAT): 4499183(6877/4492306)
May 31, 2017 9:40:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2322/3728 took 621176 ms. Total solver calls (SAT/UNSAT): 4506655(6889/4499766)
May 31, 2017 9:40:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2326/3728 took 622394 ms. Total solver calls (SAT/UNSAT): 4515648(6901/4508747)
May 31, 2017 9:40:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2330/3728 took 623476 ms. Total solver calls (SAT/UNSAT): 4523121(6913/4516208)
May 31, 2017 9:40:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2334/3728 took 624547 ms. Total solver calls (SAT/UNSAT): 4530593(6925/4523668)
May 31, 2017 9:40:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2338/3728 took 625628 ms. Total solver calls (SAT/UNSAT): 4538065(6937/4531128)
May 31, 2017 9:40:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2342/3728 took 626672 ms. Total solver calls (SAT/UNSAT): 4545537(6949/4538588)
May 31, 2017 9:40:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2346/3728 took 627698 ms. Total solver calls (SAT/UNSAT): 4553009(6961/4546048)
May 31, 2017 9:40:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2350/3728 took 628941 ms. Total solver calls (SAT/UNSAT): 4562003(6973/4555030)
May 31, 2017 9:40:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2354/3728 took 629982 ms. Total solver calls (SAT/UNSAT): 4569475(6985/4562490)
May 31, 2017 9:40:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2358/3728 took 631018 ms. Total solver calls (SAT/UNSAT): 4576947(6997/4569950)
May 31, 2017 9:40:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2362/3728 took 632050 ms. Total solver calls (SAT/UNSAT): 4584419(7009/4577410)
May 31, 2017 9:40:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2366/3728 took 633089 ms. Total solver calls (SAT/UNSAT): 4591891(7021/4584870)
May 31, 2017 9:40:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2370/3728 took 634334 ms. Total solver calls (SAT/UNSAT): 4600885(7033/4593852)
May 31, 2017 9:40:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2374/3728 took 635401 ms. Total solver calls (SAT/UNSAT): 4608357(7045/4601312)
May 31, 2017 9:41:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2378/3728 took 636505 ms. Total solver calls (SAT/UNSAT): 4615829(7057/4608772)
May 31, 2017 9:41:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2382/3728 took 637535 ms. Total solver calls (SAT/UNSAT): 4623301(7069/4616232)
May 31, 2017 9:41:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2386/3728 took 638561 ms. Total solver calls (SAT/UNSAT): 4630773(7081/4623692)
May 31, 2017 9:41:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2390/3728 took 639797 ms. Total solver calls (SAT/UNSAT): 4639767(7093/4632674)
May 31, 2017 9:41:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2394/3728 took 640825 ms. Total solver calls (SAT/UNSAT): 4647239(7105/4640134)
May 31, 2017 9:41:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2398/3728 took 641854 ms. Total solver calls (SAT/UNSAT): 4654711(7117/4647594)
May 31, 2017 9:41:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2402/3728 took 642879 ms. Total solver calls (SAT/UNSAT): 4662183(7129/4655054)
May 31, 2017 9:41:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2406/3728 took 643913 ms. Total solver calls (SAT/UNSAT): 4669655(7141/4662514)
May 31, 2017 9:41:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2410/3728 took 645148 ms. Total solver calls (SAT/UNSAT): 4678648(7153/4671495)
May 31, 2017 9:41:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2414/3728 took 646180 ms. Total solver calls (SAT/UNSAT): 4686121(7165/4678956)
May 31, 2017 9:41:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2418/3728 took 647205 ms. Total solver calls (SAT/UNSAT): 4693593(7177/4686416)
May 31, 2017 9:41:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2422/3728 took 648240 ms. Total solver calls (SAT/UNSAT): 4701065(7189/4693876)
May 31, 2017 9:41:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2426/3728 took 649270 ms. Total solver calls (SAT/UNSAT): 4708537(7201/4701336)
May 31, 2017 9:41:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2430/3728 took 650294 ms. Total solver calls (SAT/UNSAT): 4716009(7213/4708796)
May 31, 2017 9:41:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2434/3728 took 651519 ms. Total solver calls (SAT/UNSAT): 4725003(7225/4717778)
May 31, 2017 9:41:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2438/3728 took 652545 ms. Total solver calls (SAT/UNSAT): 4732475(7237/4725238)
May 31, 2017 9:41:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2442/3728 took 653575 ms. Total solver calls (SAT/UNSAT): 4739947(7249/4732698)
May 31, 2017 9:41:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2446/3728 took 654600 ms. Total solver calls (SAT/UNSAT): 4747419(7261/4740158)
May 31, 2017 9:41:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2450/3728 took 655624 ms. Total solver calls (SAT/UNSAT): 4754891(7273/4747618)
May 31, 2017 9:41:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2454/3728 took 656852 ms. Total solver calls (SAT/UNSAT): 4763885(7285/4756600)
May 31, 2017 9:41:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2458/3728 took 657877 ms. Total solver calls (SAT/UNSAT): 4771357(7297/4764060)
May 31, 2017 9:41:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2462/3728 took 658903 ms. Total solver calls (SAT/UNSAT): 4778829(7309/4771520)
May 31, 2017 9:41:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2466/3728 took 659927 ms. Total solver calls (SAT/UNSAT): 4786301(7321/4778980)
May 31, 2017 9:41:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2470/3728 took 660950 ms. Total solver calls (SAT/UNSAT): 4793773(7333/4786440)
May 31, 2017 9:41:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2474/3728 took 662181 ms. Total solver calls (SAT/UNSAT): 4802767(7345/4795422)
May 31, 2017 9:41:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2478/3728 took 663226 ms. Total solver calls (SAT/UNSAT): 4810239(7357/4802882)
May 31, 2017 9:41:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2482/3728 took 664312 ms. Total solver calls (SAT/UNSAT): 4817711(7369/4810342)
May 31, 2017 9:41:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2486/3728 took 665359 ms. Total solver calls (SAT/UNSAT): 4825183(7381/4817802)
May 31, 2017 9:41:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2490/3728 took 666389 ms. Total solver calls (SAT/UNSAT): 4832655(7393/4825262)
May 31, 2017 9:41:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2494/3728 took 667644 ms. Total solver calls (SAT/UNSAT): 4841648(7405/4834243)
May 31, 2017 9:41:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2498/3728 took 668691 ms. Total solver calls (SAT/UNSAT): 4849121(7417/4841704)
May 31, 2017 9:41:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2502/3728 took 669733 ms. Total solver calls (SAT/UNSAT): 4856593(7429/4849164)
May 31, 2017 9:41:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2506/3728 took 670768 ms. Total solver calls (SAT/UNSAT): 4864065(7441/4856624)
May 31, 2017 9:41:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2510/3728 took 671811 ms. Total solver calls (SAT/UNSAT): 4871537(7453/4864084)
May 31, 2017 9:41:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2514/3728 took 672858 ms. Total solver calls (SAT/UNSAT): 4879009(7465/4871544)
May 31, 2017 9:41:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2518/3728 took 674112 ms. Total solver calls (SAT/UNSAT): 4888003(7477/4880526)
May 31, 2017 9:41:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2522/3728 took 675147 ms. Total solver calls (SAT/UNSAT): 4895475(7489/4887986)
May 31, 2017 9:41:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2526/3728 took 676184 ms. Total solver calls (SAT/UNSAT): 4902947(7501/4895446)
May 31, 2017 9:41:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2530/3728 took 677230 ms. Total solver calls (SAT/UNSAT): 4910419(7513/4902906)
May 31, 2017 9:41:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2534/3728 took 678277 ms. Total solver calls (SAT/UNSAT): 4917891(7525/4910366)
May 31, 2017 9:41:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2537/3728 took 679385 ms. Total solver calls (SAT/UNSAT): 4925017(7534/4917483)
May 31, 2017 9:41:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2541/3728 took 680471 ms. Total solver calls (SAT/UNSAT): 4932489(7546/4924943)
May 31, 2017 9:41:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2545/3728 took 681511 ms. Total solver calls (SAT/UNSAT): 4939961(7558/4932403)
May 31, 2017 9:41:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2549/3728 took 682548 ms. Total solver calls (SAT/UNSAT): 4947433(7570/4939863)
May 31, 2017 9:41:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2553/3728 took 683584 ms. Total solver calls (SAT/UNSAT): 4954905(7582/4947323)
May 31, 2017 9:41:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2557/3728 took 684831 ms. Total solver calls (SAT/UNSAT): 4963898(7594/4956304)
May 31, 2017 9:41:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2561/3728 took 685868 ms. Total solver calls (SAT/UNSAT): 4971371(7606/4963765)
May 31, 2017 9:41:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2565/3728 took 686907 ms. Total solver calls (SAT/UNSAT): 4978843(7618/4971225)
May 31, 2017 9:41:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2569/3728 took 687947 ms. Total solver calls (SAT/UNSAT): 4986315(7630/4978685)
May 31, 2017 9:41:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2573/3728 took 688989 ms. Total solver calls (SAT/UNSAT): 4993787(7642/4986145)
May 31, 2017 9:41:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2577/3728 took 690029 ms. Total solver calls (SAT/UNSAT): 5001259(7654/4993605)
May 31, 2017 9:41:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2581/3728 took 691285 ms. Total solver calls (SAT/UNSAT): 5010253(7666/5002587)
May 31, 2017 9:41:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2585/3728 took 692333 ms. Total solver calls (SAT/UNSAT): 5017725(7678/5010047)
May 31, 2017 9:41:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2589/3728 took 693382 ms. Total solver calls (SAT/UNSAT): 5025197(7690/5017507)
May 31, 2017 9:41:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2593/3728 took 694421 ms. Total solver calls (SAT/UNSAT): 5032669(7702/5024967)
May 31, 2017 9:41:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2597/3728 took 695462 ms. Total solver calls (SAT/UNSAT): 5040141(7714/5032427)
May 31, 2017 9:42:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2601/3728 took 696711 ms. Total solver calls (SAT/UNSAT): 5049135(7726/5041409)
May 31, 2017 9:42:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2605/3728 took 697753 ms. Total solver calls (SAT/UNSAT): 5056607(7738/5048869)
May 31, 2017 9:42:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2609/3728 took 698808 ms. Total solver calls (SAT/UNSAT): 5064079(7750/5056329)
May 31, 2017 9:42:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2613/3728 took 699845 ms. Total solver calls (SAT/UNSAT): 5071551(7762/5063789)
May 31, 2017 9:42:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2617/3728 took 700885 ms. Total solver calls (SAT/UNSAT): 5079023(7774/5071249)
May 31, 2017 9:42:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2620/3728 took 701910 ms. Total solver calls (SAT/UNSAT): 5086148(7783/5078365)
May 31, 2017 9:42:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2624/3728 took 702924 ms. Total solver calls (SAT/UNSAT): 5093621(7795/5085826)
May 31, 2017 9:42:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2628/3728 took 703945 ms. Total solver calls (SAT/UNSAT): 5101093(7807/5093286)
May 31, 2017 9:42:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2632/3728 took 704958 ms. Total solver calls (SAT/UNSAT): 5108565(7819/5100746)
May 31, 2017 9:42:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2636/3728 took 705974 ms. Total solver calls (SAT/UNSAT): 5116037(7831/5108206)
May 31, 2017 9:42:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2640/3728 took 706992 ms. Total solver calls (SAT/UNSAT): 5123509(7843/5115666)
May 31, 2017 9:42:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2644/3728 took 708264 ms. Total solver calls (SAT/UNSAT): 5132503(7855/5124648)
May 31, 2017 9:42:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2648/3728 took 709307 ms. Total solver calls (SAT/UNSAT): 5139975(7867/5132108)
May 31, 2017 9:42:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2652/3728 took 710342 ms. Total solver calls (SAT/UNSAT): 5147447(7879/5139568)
May 31, 2017 9:42:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2656/3728 took 711390 ms. Total solver calls (SAT/UNSAT): 5154919(7891/5147028)
May 31, 2017 9:42:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2660/3728 took 712422 ms. Total solver calls (SAT/UNSAT): 5162391(7903/5154488)
May 31, 2017 9:42:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2664/3728 took 713660 ms. Total solver calls (SAT/UNSAT): 5171385(7915/5163470)
May 31, 2017 9:42:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2668/3728 took 714691 ms. Total solver calls (SAT/UNSAT): 5178857(7927/5170930)
May 31, 2017 9:42:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2672/3728 took 715724 ms. Total solver calls (SAT/UNSAT): 5186329(7939/5178390)
May 31, 2017 9:42:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2676/3728 took 716844 ms. Total solver calls (SAT/UNSAT): 5193801(7951/5185850)
May 31, 2017 9:42:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2680/3728 took 717854 ms. Total solver calls (SAT/UNSAT): 5201273(7963/5193310)
May 31, 2017 9:42:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2684/3728 took 719078 ms. Total solver calls (SAT/UNSAT): 5210267(7975/5202292)
May 31, 2017 9:42:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2688/3728 took 720169 ms. Total solver calls (SAT/UNSAT): 5217739(7987/5209752)
May 31, 2017 9:42:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2692/3728 took 721226 ms. Total solver calls (SAT/UNSAT): 5225211(7999/5217212)
May 31, 2017 9:42:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2696/3728 took 722245 ms. Total solver calls (SAT/UNSAT): 5232683(8011/5224672)
May 31, 2017 9:42:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2700/3728 took 723270 ms. Total solver calls (SAT/UNSAT): 5240155(8023/5232132)
May 31, 2017 9:42:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2704/3728 took 724498 ms. Total solver calls (SAT/UNSAT): 5249148(8035/5241113)
May 31, 2017 9:42:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2708/3728 took 725517 ms. Total solver calls (SAT/UNSAT): 5256621(8047/5248574)
May 31, 2017 9:42:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2712/3728 took 726538 ms. Total solver calls (SAT/UNSAT): 5264093(8059/5256034)
May 31, 2017 9:42:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2716/3728 took 727555 ms. Total solver calls (SAT/UNSAT): 5271565(8071/5263494)
May 31, 2017 9:42:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2720/3728 took 728612 ms. Total solver calls (SAT/UNSAT): 5279037(8083/5270954)
May 31, 2017 9:42:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2724/3728 took 729627 ms. Total solver calls (SAT/UNSAT): 5286509(8095/5278414)
May 31, 2017 9:42:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2728/3728 took 730848 ms. Total solver calls (SAT/UNSAT): 5295503(8107/5287396)
May 31, 2017 9:42:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2732/3728 took 731869 ms. Total solver calls (SAT/UNSAT): 5302975(8119/5294856)
May 31, 2017 9:42:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2736/3728 took 732888 ms. Total solver calls (SAT/UNSAT): 5310447(8131/5302316)
May 31, 2017 9:42:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2740/3728 took 733911 ms. Total solver calls (SAT/UNSAT): 5317919(8143/5309776)
May 31, 2017 9:42:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2744/3728 took 734932 ms. Total solver calls (SAT/UNSAT): 5325391(8155/5317236)
May 31, 2017 9:42:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2747/3728 took 735942 ms. Total solver calls (SAT/UNSAT): 5332517(8164/5324353)
May 31, 2017 9:42:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2751/3728 took 736957 ms. Total solver calls (SAT/UNSAT): 5339989(8176/5331813)
May 31, 2017 9:42:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2755/3728 took 737973 ms. Total solver calls (SAT/UNSAT): 5347461(8188/5339273)
May 31, 2017 9:42:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2759/3728 took 738987 ms. Total solver calls (SAT/UNSAT): 5354933(8200/5346733)
May 31, 2017 9:42:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2763/3728 took 740005 ms. Total solver calls (SAT/UNSAT): 5362405(8212/5354193)
May 31, 2017 9:42:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2767/3728 took 741277 ms. Total solver calls (SAT/UNSAT): 5371398(8224/5363174)
May 31, 2017 9:42:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2771/3728 took 742318 ms. Total solver calls (SAT/UNSAT): 5378871(8236/5370635)
May 31, 2017 9:42:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2775/3728 took 743366 ms. Total solver calls (SAT/UNSAT): 5386343(8248/5378095)
May 31, 2017 9:42:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2779/3728 took 744414 ms. Total solver calls (SAT/UNSAT): 5393815(8260/5385555)
May 31, 2017 9:42:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2783/3728 took 745458 ms. Total solver calls (SAT/UNSAT): 5401287(8272/5393015)
May 31, 2017 9:42:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2787/3728 took 746505 ms. Total solver calls (SAT/UNSAT): 5408759(8284/5400475)
May 31, 2017 9:42:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2791/3728 took 747758 ms. Total solver calls (SAT/UNSAT): 5417753(8296/5409457)
May 31, 2017 9:42:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2795/3728 took 748806 ms. Total solver calls (SAT/UNSAT): 5425225(8308/5416917)
May 31, 2017 9:42:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2799/3728 took 749843 ms. Total solver calls (SAT/UNSAT): 5432697(8320/5424377)
May 31, 2017 9:42:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2803/3728 took 750996 ms. Total solver calls (SAT/UNSAT): 5440169(8332/5431837)
May 31, 2017 9:42:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2807/3728 took 752042 ms. Total solver calls (SAT/UNSAT): 5447641(8344/5439297)
May 31, 2017 9:42:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2811/3728 took 753298 ms. Total solver calls (SAT/UNSAT): 5456635(8356/5448279)
May 31, 2017 9:42:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2815/3728 took 754345 ms. Total solver calls (SAT/UNSAT): 5464107(8368/5455739)
May 31, 2017 9:42:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2819/3728 took 755392 ms. Total solver calls (SAT/UNSAT): 5471579(8380/5463199)
May 31, 2017 9:43:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2823/3728 took 756440 ms. Total solver calls (SAT/UNSAT): 5479051(8392/5470659)
May 31, 2017 9:43:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2827/3728 took 757492 ms. Total solver calls (SAT/UNSAT): 5486523(8404/5478119)
May 31, 2017 9:43:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2831/3728 took 758745 ms. Total solver calls (SAT/UNSAT): 5495517(8416/5487101)
May 31, 2017 9:43:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2835/3728 took 759785 ms. Total solver calls (SAT/UNSAT): 5502989(8428/5494561)
May 31, 2017 9:43:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2839/3728 took 760836 ms. Total solver calls (SAT/UNSAT): 5510461(8440/5502021)
May 31, 2017 9:43:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2843/3728 took 761883 ms. Total solver calls (SAT/UNSAT): 5517933(8452/5509481)
May 31, 2017 9:43:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2847/3728 took 762933 ms. Total solver calls (SAT/UNSAT): 5525405(8464/5516941)
May 31, 2017 9:43:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2851/3728 took 764192 ms. Total solver calls (SAT/UNSAT): 5534398(8476/5525922)
May 31, 2017 9:43:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2855/3728 took 765373 ms. Total solver calls (SAT/UNSAT): 5541871(8488/5533383)
May 31, 2017 9:43:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2859/3728 took 766427 ms. Total solver calls (SAT/UNSAT): 5549343(8500/5540843)
May 31, 2017 9:43:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2863/3728 took 767466 ms. Total solver calls (SAT/UNSAT): 5556815(8512/5548303)
May 31, 2017 9:43:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2867/3728 took 768504 ms. Total solver calls (SAT/UNSAT): 5564287(8524/5555763)
May 31, 2017 9:43:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2871/3728 took 769550 ms. Total solver calls (SAT/UNSAT): 5571759(8536/5563223)
May 31, 2017 9:43:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2875/3728 took 770806 ms. Total solver calls (SAT/UNSAT): 5580753(8548/5572205)
May 31, 2017 9:43:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2879/3728 took 771850 ms. Total solver calls (SAT/UNSAT): 5588225(8560/5579665)
May 31, 2017 9:43:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2883/3728 took 772910 ms. Total solver calls (SAT/UNSAT): 5595697(8572/5587125)
May 31, 2017 9:43:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2887/3728 took 773962 ms. Total solver calls (SAT/UNSAT): 5603169(8584/5594585)
May 31, 2017 9:43:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2891/3728 took 774998 ms. Total solver calls (SAT/UNSAT): 5610641(8596/5602045)
May 31, 2017 9:43:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2895/3728 took 776250 ms. Total solver calls (SAT/UNSAT): 5619635(8608/5611027)
May 31, 2017 9:43:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2899/3728 took 777298 ms. Total solver calls (SAT/UNSAT): 5627107(8620/5618487)
May 31, 2017 9:43:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2903/3728 took 778345 ms. Total solver calls (SAT/UNSAT): 5634579(8632/5625947)
May 31, 2017 9:43:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2907/3728 took 779392 ms. Total solver calls (SAT/UNSAT): 5642051(8644/5633407)
May 31, 2017 9:43:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2911/3728 took 780437 ms. Total solver calls (SAT/UNSAT): 5649523(8656/5640867)
May 31, 2017 9:43:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2915/3728 took 781694 ms. Total solver calls (SAT/UNSAT): 5658517(8668/5649849)
May 31, 2017 9:43:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2919/3728 took 782791 ms. Total solver calls (SAT/UNSAT): 5665989(8680/5657309)
May 31, 2017 9:43:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2923/3728 took 783859 ms. Total solver calls (SAT/UNSAT): 5673461(8692/5664769)
May 31, 2017 9:43:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2927/3728 took 784919 ms. Total solver calls (SAT/UNSAT): 5680933(8704/5672229)
May 31, 2017 9:43:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2931/3728 took 785975 ms. Total solver calls (SAT/UNSAT): 5688405(8716/5679689)
May 31, 2017 9:43:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2935/3728 took 787310 ms. Total solver calls (SAT/UNSAT): 5697398(8728/5688670)
May 31, 2017 9:43:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2939/3728 took 788406 ms. Total solver calls (SAT/UNSAT): 5704871(8740/5696131)
May 31, 2017 9:43:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2943/3728 took 789451 ms. Total solver calls (SAT/UNSAT): 5712343(8752/5703591)
May 31, 2017 9:43:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2947/3728 took 790491 ms. Total solver calls (SAT/UNSAT): 5719815(8764/5711051)
May 31, 2017 9:43:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2951/3728 took 791530 ms. Total solver calls (SAT/UNSAT): 5727287(8776/5718511)
May 31, 2017 9:43:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2955/3728 took 792572 ms. Total solver calls (SAT/UNSAT): 5734759(8788/5725971)
May 31, 2017 9:43:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2959/3728 took 793817 ms. Total solver calls (SAT/UNSAT): 5743753(8800/5734953)
May 31, 2017 9:43:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2963/3728 took 794855 ms. Total solver calls (SAT/UNSAT): 5751225(8812/5742413)
May 31, 2017 9:43:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2967/3728 took 795901 ms. Total solver calls (SAT/UNSAT): 5758697(8824/5749873)
May 31, 2017 9:43:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2971/3728 took 796936 ms. Total solver calls (SAT/UNSAT): 5766169(8836/5757333)
May 31, 2017 9:43:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2975/3728 took 797977 ms. Total solver calls (SAT/UNSAT): 5773641(8848/5764793)
May 31, 2017 9:43:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2978/3728 took 798995 ms. Total solver calls (SAT/UNSAT): 5780767(8857/5771910)
May 31, 2017 9:43:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2982/3728 took 800001 ms. Total solver calls (SAT/UNSAT): 5788239(8869/5779370)
May 31, 2017 9:43:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2986/3728 took 801012 ms. Total solver calls (SAT/UNSAT): 5795711(8881/5786830)
May 31, 2017 9:43:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2990/3728 took 802067 ms. Total solver calls (SAT/UNSAT): 5803183(8893/5794290)
May 31, 2017 9:43:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2994/3728 took 803074 ms. Total solver calls (SAT/UNSAT): 5810655(8905/5801750)
May 31, 2017 9:43:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2998/3728 took 804278 ms. Total solver calls (SAT/UNSAT): 5819648(8917/5810731)
May 31, 2017 9:43:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3002/3728 took 805292 ms. Total solver calls (SAT/UNSAT): 5827121(8929/5818192)
May 31, 2017 9:43:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3006/3728 took 806297 ms. Total solver calls (SAT/UNSAT): 5834593(8941/5825652)
May 31, 2017 9:43:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3010/3728 took 807306 ms. Total solver calls (SAT/UNSAT): 5842065(8953/5833112)
May 31, 2017 9:43:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3014/3728 took 808315 ms. Total solver calls (SAT/UNSAT): 5849537(8965/5840572)
May 31, 2017 9:43:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3018/3728 took 809327 ms. Total solver calls (SAT/UNSAT): 5857009(8977/5848032)
May 31, 2017 9:43:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3022/3728 took 810535 ms. Total solver calls (SAT/UNSAT): 5866003(8989/5857014)
May 31, 2017 9:43:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3026/3728 took 811650 ms. Total solver calls (SAT/UNSAT): 5873475(9001/5864474)
May 31, 2017 9:43:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3030/3728 took 812690 ms. Total solver calls (SAT/UNSAT): 5880947(9013/5871934)
May 31, 2017 9:43:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3034/3728 took 813734 ms. Total solver calls (SAT/UNSAT): 5888419(9025/5879394)
May 31, 2017 9:43:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3038/3728 took 814768 ms. Total solver calls (SAT/UNSAT): 5895891(9037/5886854)
May 31, 2017 9:43:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3042/3728 took 816022 ms. Total solver calls (SAT/UNSAT): 5904885(9049/5895836)
May 31, 2017 9:44:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3046/3728 took 817063 ms. Total solver calls (SAT/UNSAT): 5912357(9061/5903296)
May 31, 2017 9:44:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3050/3728 took 818107 ms. Total solver calls (SAT/UNSAT): 5919829(9073/5910756)
May 31, 2017 9:44:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3054/3728 took 819142 ms. Total solver calls (SAT/UNSAT): 5927301(9085/5918216)
May 31, 2017 9:44:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3058/3728 took 820184 ms. Total solver calls (SAT/UNSAT): 5934773(9097/5925676)
May 31, 2017 9:44:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3062/3728 took 821432 ms. Total solver calls (SAT/UNSAT): 5943767(9109/5934658)
May 31, 2017 9:44:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3066/3728 took 822471 ms. Total solver calls (SAT/UNSAT): 5951239(9121/5942118)
May 31, 2017 9:44:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3070/3728 took 823517 ms. Total solver calls (SAT/UNSAT): 5958711(9133/5949578)
May 31, 2017 9:44:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3074/3728 took 824556 ms. Total solver calls (SAT/UNSAT): 5966183(9145/5957038)
May 31, 2017 9:44:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3078/3728 took 825592 ms. Total solver calls (SAT/UNSAT): 5973655(9157/5964498)
May 31, 2017 9:44:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3082/3728 took 826836 ms. Total solver calls (SAT/UNSAT): 5982648(9169/5973479)
May 31, 2017 9:44:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3086/3728 took 827876 ms. Total solver calls (SAT/UNSAT): 5990121(9181/5980940)
May 31, 2017 9:44:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3090/3728 took 828916 ms. Total solver calls (SAT/UNSAT): 5997593(9193/5988400)
May 31, 2017 9:44:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3094/3728 took 829958 ms. Total solver calls (SAT/UNSAT): 6005065(9205/5995860)
May 31, 2017 9:44:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3098/3728 took 830991 ms. Total solver calls (SAT/UNSAT): 6012537(9217/6003320)
May 31, 2017 9:44:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3102/3728 took 832034 ms. Total solver calls (SAT/UNSAT): 6020009(9229/6010780)
May 31, 2017 9:44:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3106/3728 took 833285 ms. Total solver calls (SAT/UNSAT): 6029003(9241/6019762)
May 31, 2017 9:44:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3110/3728 took 834322 ms. Total solver calls (SAT/UNSAT): 6036475(9253/6027222)
May 31, 2017 9:44:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3114/3728 took 835359 ms. Total solver calls (SAT/UNSAT): 6043947(9265/6034682)
May 31, 2017 9:44:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3118/3728 took 836405 ms. Total solver calls (SAT/UNSAT): 6051419(9277/6042142)
May 31, 2017 9:44:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3122/3728 took 837438 ms. Total solver calls (SAT/UNSAT): 6058891(9289/6049602)
May 31, 2017 9:44:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3126/3728 took 838685 ms. Total solver calls (SAT/UNSAT): 6067885(9301/6058584)
May 31, 2017 9:44:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3130/3728 took 839717 ms. Total solver calls (SAT/UNSAT): 6075357(9313/6066044)
May 31, 2017 9:44:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3134/3728 took 840764 ms. Total solver calls (SAT/UNSAT): 6082829(9325/6073504)
May 31, 2017 9:44:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3138/3728 took 841809 ms. Total solver calls (SAT/UNSAT): 6090301(9337/6080964)
May 31, 2017 9:44:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3142/3728 took 842848 ms. Total solver calls (SAT/UNSAT): 6097773(9349/6088424)
May 31, 2017 9:44:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3146/3728 took 844098 ms. Total solver calls (SAT/UNSAT): 6106767(9361/6097406)
May 31, 2017 9:44:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3150/3728 took 845133 ms. Total solver calls (SAT/UNSAT): 6114239(9373/6104866)
May 31, 2017 9:44:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3154/3728 took 846180 ms. Total solver calls (SAT/UNSAT): 6121711(9385/6112326)
May 31, 2017 9:44:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3158/3728 took 847220 ms. Total solver calls (SAT/UNSAT): 6129183(9397/6119786)
May 31, 2017 9:44:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3162/3728 took 848256 ms. Total solver calls (SAT/UNSAT): 6136655(9409/6127246)
May 31, 2017 9:44:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3166/3728 took 849509 ms. Total solver calls (SAT/UNSAT): 6145648(9421/6136227)
May 31, 2017 9:44:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3170/3728 took 850542 ms. Total solver calls (SAT/UNSAT): 6153121(9433/6143688)
May 31, 2017 9:44:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3174/3728 took 851588 ms. Total solver calls (SAT/UNSAT): 6160593(9445/6151148)
May 31, 2017 9:44:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3178/3728 took 852626 ms. Total solver calls (SAT/UNSAT): 6168065(9457/6158608)
May 31, 2017 9:44:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3182/3728 took 853658 ms. Total solver calls (SAT/UNSAT): 6175537(9469/6166068)
May 31, 2017 9:44:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3186/3728 took 854696 ms. Total solver calls (SAT/UNSAT): 6183009(9481/6173528)
May 31, 2017 9:44:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3190/3728 took 855934 ms. Total solver calls (SAT/UNSAT): 6192003(9493/6182510)
May 31, 2017 9:44:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3194/3728 took 856978 ms. Total solver calls (SAT/UNSAT): 6199475(9505/6189970)
May 31, 2017 9:44:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3198/3728 took 858010 ms. Total solver calls (SAT/UNSAT): 6206947(9517/6197430)
May 31, 2017 9:44:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3202/3728 took 859047 ms. Total solver calls (SAT/UNSAT): 6214419(9529/6204890)
May 31, 2017 9:44:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3206/3728 took 860082 ms. Total solver calls (SAT/UNSAT): 6221891(9541/6212350)
May 31, 2017 9:44:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3210/3728 took 861326 ms. Total solver calls (SAT/UNSAT): 6230885(9553/6221332)
May 31, 2017 9:44:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3214/3728 took 862362 ms. Total solver calls (SAT/UNSAT): 6238357(9565/6228792)
May 31, 2017 9:44:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3218/3728 took 863393 ms. Total solver calls (SAT/UNSAT): 6245829(9577/6236252)
May 31, 2017 9:44:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3222/3728 took 864442 ms. Total solver calls (SAT/UNSAT): 6253301(9589/6243712)
May 31, 2017 9:44:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3226/3728 took 865482 ms. Total solver calls (SAT/UNSAT): 6260773(9601/6251172)
May 31, 2017 9:44:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3229/3728 took 866486 ms. Total solver calls (SAT/UNSAT): 6267898(9610/6258288)
May 31, 2017 9:44:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3233/3728 took 867517 ms. Total solver calls (SAT/UNSAT): 6275371(9622/6265749)
May 31, 2017 9:44:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3237/3728 took 868562 ms. Total solver calls (SAT/UNSAT): 6282843(9634/6273209)
May 31, 2017 9:44:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3241/3728 took 869593 ms. Total solver calls (SAT/UNSAT): 6290315(9646/6280669)
May 31, 2017 9:44:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3245/3728 took 870632 ms. Total solver calls (SAT/UNSAT): 6297787(9658/6288129)
May 31, 2017 9:44:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3249/3728 took 871665 ms. Total solver calls (SAT/UNSAT): 6305259(9670/6295589)
May 31, 2017 9:44:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3252/3728 took 872695 ms. Total solver calls (SAT/UNSAT): 6312385(9679/6302706)
May 31, 2017 9:44:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3256/3728 took 873719 ms. Total solver calls (SAT/UNSAT): 6319857(9691/6310166)
May 31, 2017 9:44:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3260/3728 took 874730 ms. Total solver calls (SAT/UNSAT): 6327329(9703/6317626)
May 31, 2017 9:44:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3264/3728 took 875855 ms. Total solver calls (SAT/UNSAT): 6334801(9715/6325086)
May 31, 2017 9:45:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3268/3728 took 876902 ms. Total solver calls (SAT/UNSAT): 6342273(9727/6332546)
May 31, 2017 9:45:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3272/3728 took 878151 ms. Total solver calls (SAT/UNSAT): 6351267(9739/6341528)
May 31, 2017 9:45:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3276/3728 took 879177 ms. Total solver calls (SAT/UNSAT): 6358739(9751/6348988)
May 31, 2017 9:45:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3280/3728 took 880215 ms. Total solver calls (SAT/UNSAT): 6366211(9763/6356448)
May 31, 2017 9:45:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3284/3728 took 881249 ms. Total solver calls (SAT/UNSAT): 6373683(9775/6363908)
May 31, 2017 9:45:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3288/3728 took 882296 ms. Total solver calls (SAT/UNSAT): 6381155(9787/6371368)
May 31, 2017 9:45:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3292/3728 took 883526 ms. Total solver calls (SAT/UNSAT): 6390148(9799/6380349)
May 31, 2017 9:45:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3296/3728 took 884563 ms. Total solver calls (SAT/UNSAT): 6397621(9811/6387810)
May 31, 2017 9:45:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3300/3728 took 885654 ms. Total solver calls (SAT/UNSAT): 6405093(9823/6395270)
May 31, 2017 9:45:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3304/3728 took 886668 ms. Total solver calls (SAT/UNSAT): 6412565(9835/6402730)
May 31, 2017 9:45:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3308/3728 took 887676 ms. Total solver calls (SAT/UNSAT): 6420037(9847/6410190)
May 31, 2017 9:45:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3312/3728 took 888689 ms. Total solver calls (SAT/UNSAT): 6427509(9859/6417650)
May 31, 2017 9:45:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3316/3728 took 889898 ms. Total solver calls (SAT/UNSAT): 6436503(9871/6426632)
May 31, 2017 9:45:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3320/3728 took 890911 ms. Total solver calls (SAT/UNSAT): 6443975(9883/6434092)
May 31, 2017 9:45:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3324/3728 took 891924 ms. Total solver calls (SAT/UNSAT): 6451447(9895/6441552)
May 31, 2017 9:45:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3328/3728 took 892944 ms. Total solver calls (SAT/UNSAT): 6458919(9907/6449012)
May 31, 2017 9:45:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3332/3728 took 893951 ms. Total solver calls (SAT/UNSAT): 6466391(9919/6456472)
May 31, 2017 9:45:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3336/3728 took 895169 ms. Total solver calls (SAT/UNSAT): 6475385(9931/6465454)
May 31, 2017 9:45:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3340/3728 took 896172 ms. Total solver calls (SAT/UNSAT): 6482857(9943/6472914)
May 31, 2017 9:45:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3344/3728 took 897178 ms. Total solver calls (SAT/UNSAT): 6490329(9955/6480374)
May 31, 2017 9:45:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3348/3728 took 898182 ms. Total solver calls (SAT/UNSAT): 6497801(9967/6487834)
May 31, 2017 9:45:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3352/3728 took 899187 ms. Total solver calls (SAT/UNSAT): 6505273(9979/6495294)
May 31, 2017 9:45:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3356/3728 took 900397 ms. Total solver calls (SAT/UNSAT): 6514267(9991/6504276)
May 31, 2017 9:45:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3360/3728 took 901402 ms. Total solver calls (SAT/UNSAT): 6521739(10003/6511736)
May 31, 2017 9:45:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3364/3728 took 902420 ms. Total solver calls (SAT/UNSAT): 6529211(10015/6519196)
May 31, 2017 9:45:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3368/3728 took 903424 ms. Total solver calls (SAT/UNSAT): 6536683(10027/6526656)
May 31, 2017 9:45:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3372/3728 took 904443 ms. Total solver calls (SAT/UNSAT): 6544155(10039/6534116)
May 31, 2017 9:45:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3376/3728 took 905647 ms. Total solver calls (SAT/UNSAT): 6553148(10051/6543097)
May 31, 2017 9:45:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3380/3728 took 906655 ms. Total solver calls (SAT/UNSAT): 6560621(10063/6550558)
May 31, 2017 9:45:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3384/3728 took 907661 ms. Total solver calls (SAT/UNSAT): 6568093(10075/6558018)
May 31, 2017 9:45:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3388/3728 took 908680 ms. Total solver calls (SAT/UNSAT): 6575565(10087/6565478)
May 31, 2017 9:45:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3392/3728 took 909691 ms. Total solver calls (SAT/UNSAT): 6583037(10099/6572938)
May 31, 2017 9:45:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3396/3728 took 910703 ms. Total solver calls (SAT/UNSAT): 6590509(10111/6580398)
May 31, 2017 9:45:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3400/3728 took 911918 ms. Total solver calls (SAT/UNSAT): 6599503(10123/6589380)
May 31, 2017 9:45:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3404/3728 took 912933 ms. Total solver calls (SAT/UNSAT): 6606975(10135/6596840)
May 31, 2017 9:45:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3408/3728 took 913934 ms. Total solver calls (SAT/UNSAT): 6614447(10147/6604300)
May 31, 2017 9:45:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3412/3728 took 914942 ms. Total solver calls (SAT/UNSAT): 6621919(10159/6611760)
May 31, 2017 9:45:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3416/3728 took 915948 ms. Total solver calls (SAT/UNSAT): 6629391(10171/6619220)
May 31, 2017 9:45:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3420/3728 took 917153 ms. Total solver calls (SAT/UNSAT): 6638385(10183/6628202)
May 31, 2017 9:45:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3424/3728 took 918229 ms. Total solver calls (SAT/UNSAT): 6645857(10195/6635662)
May 31, 2017 9:45:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3428/3728 took 919246 ms. Total solver calls (SAT/UNSAT): 6653329(10207/6643122)
May 31, 2017 9:45:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3432/3728 took 920267 ms. Total solver calls (SAT/UNSAT): 6660801(10219/6650582)
May 31, 2017 9:45:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3436/3728 took 921287 ms. Total solver calls (SAT/UNSAT): 6668273(10231/6658042)
May 31, 2017 9:45:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3440/3728 took 922303 ms. Total solver calls (SAT/UNSAT): 6675662(10241/6665421)
May 31, 2017 9:45:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3461/3728 took 923545 ms. Total solver calls (SAT/UNSAT): 6684246(10262/6673984)
May 31, 2017 9:45:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3481/3728 took 924747 ms. Total solver calls (SAT/UNSAT): 6692566(10282/6682284)
May 31, 2017 9:59:52 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-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/ReachabilityDeadlock.pnml.gal, -t, CGAL, -ctl, 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-V80P20N20"
export BK_EXAMINATION="ReachabilityDeadlock"
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-V80P20N20.tgz
mv BridgeAndVehicles-COL-V80P20N20 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is BridgeAndVehicles-COL-V80P20N20, examination is ReachabilityDeadlock"
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-149436129600395"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "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 "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.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 '
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 ;