About the Execution of ITS-Tools for BridgeAndVehicles-COL-V80P50N20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15924.380 | 3600000.00 | 6061311.00 | 624.10 | [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-V80P50N20, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r010-csrt-149436129700422
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1496270225944
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]= -30
invariant : 1'SORTI_A:SORTI_A[0] + 1'ROUTE_A:ROUTE_A[0] + 1'ATTENTE_A:ATTENTE_A[0] + 1'SUR_PONT_A:SUR_PONT_A[0]= 80
invariant : -1'CAPACITE:CAPACITE[0] + 1'SORTI_A:SORTI_A[0] + 1'ROUTE_A:ROUTE_A[0] + 1'ATTENTE_A:ATTENTE_A[0] + 1'ATTENTE_B:ATTENTE_B[0] + 1'ROUTE_B:ROUTE_B[0] + 1'SORTI_B:SORTI_B[0]= 110
invariant : 1'compteur0:COMPTEUR_0 + 1'compteur1:COMPTEUR_1 + 1'compteur2:COMPTEUR_2 + 1'compteur3:COMPTEUR_3 + 1'compteur4:COMPTEUR_4 + 1'compteur5:COMPTEUR_5 + 1'compteur6:COMPTEUR_6 + 1'compteur7:COMPTEUR_7 + 1'compteur8:COMPTEUR_8 + 1'compteur9:COMPTEUR_9 + 1'compteur10:COMPTEUR_10 + 1'compteur11:COMPTEUR_11 + 1'compteur12:COMPTEUR_12 + 1'compteur13:COMPTEUR_13 + 1'compteur14:COMPTEUR_14 + 1'compteur15:COMPTEUR_15 + 1'compteur16:COMPTEUR_16 + 1'compteur17:COMPTEUR_17 + 1'compteur18:COMPTEUR_18 + 1'compteur19:COMPTEUR_19 + 1'compteur20:COMPTEUR_20= 1
invariant : 1'voitureA0:NB_ATTENTE_A_0 + 1'voitureA1:NB_ATTENTE_A_1 + 1'voitureA2:NB_ATTENTE_A_2 + 1'voitureA3:NB_ATTENTE_A_3 + 1'voitureA4:NB_ATTENTE_A_4 + 1'voitureA5:NB_ATTENTE_A_5 + 1'voitureA6:NB_ATTENTE_A_6 + 1'voitureA7:NB_ATTENTE_A_7 + 1'voitureA8:NB_ATTENTE_A_8 + 1'voitureA9:NB_ATTENTE_A_9 + 1'voitureA10:NB_ATTENTE_A_10 + 1'voitureA11:NB_ATTENTE_A_11 + 1'voitureA12:NB_ATTENTE_A_12 + 1'voitureA13:NB_ATTENTE_A_13 + 1'voitureA14:NB_ATTENTE_A_14 + 1'voitureA15:NB_ATTENTE_A_15 + 1'voitureA16:NB_ATTENTE_A_16 + 1'voitureA17:NB_ATTENTE_A_17 + 1'voitureA18:NB_ATTENTE_A_18 + 1'voitureA19:NB_ATTENTE_A_19 + 1'voitureA20:NB_ATTENTE_A_20 + 1'voitureA21:NB_ATTENTE_A_21 + 1'voitureA22:NB_ATTENTE_A_22 + 1'voitureA23:NB_ATTENTE_A_23 + 1'voitureA24:NB_ATTENTE_A_24 + 1'voitureA25:NB_ATTENTE_A_25 + 1'voitureA26:NB_ATTENTE_A_26 + 1'voitureA27:NB_ATTENTE_A_27 + 1'voitureA28:NB_ATTENTE_A_28 + 1'voitureA29:NB_ATTENTE_A_29 + 1'voitureA30:NB_ATTENTE_A_30 + 1'voitureA31:NB_ATTENTE_A_31 + 1'voitureA32:NB_ATTENTE_A_32 + 1'voitureA33:NB_ATTENTE_A_33 + 1'voitureA34:NB_ATTENTE_A_34 + 1'voitureA35:NB_ATTENTE_A_35 + 1'voitureA36:NB_ATTENTE_A_36 + 1'voitureA37:NB_ATTENTE_A_37 + 1'voitureA38:NB_ATTENTE_A_38 + 1'voitureA39:NB_ATTENTE_A_39 + 1'voitureA40:NB_ATTENTE_A_40 + 1'voitureA41:NB_ATTENTE_A_41 + 1'voitureA42:NB_ATTENTE_A_42 + 1'voitureA43:NB_ATTENTE_A_43 + 1'voitureA44:NB_ATTENTE_A_44 + 1'voitureA45:NB_ATTENTE_A_45 + 1'voitureA46:NB_ATTENTE_A_46 + 1'voitureA47:NB_ATTENTE_A_47 + 1'voitureA48:NB_ATTENTE_A_48 + 1'voitureA49:NB_ATTENTE_A_49 + 1'voitureA50:NB_ATTENTE_A_50 + 1'voitureA51:NB_ATTENTE_A_51 + 1'voitureA52:NB_ATTENTE_A_52 + 1'voitureA53:NB_ATTENTE_A_53 + 1'voitureA54:NB_ATTENTE_A_54 + 1'voitureA55:NB_ATTENTE_A_55 + 1'voitureA56:NB_ATTENTE_A_56 + 1'voitureA57:NB_ATTENTE_A_57 + 1'voitureA58:NB_ATTENTE_A_58 + 1'voitureA59:NB_ATTENTE_A_59 + 1'voitureA60:NB_ATTENTE_A_60 + 1'voitureA61:NB_ATTENTE_A_61 + 1'voitureA62:NB_ATTENTE_A_62 + 1'voitureA63:NB_ATTENTE_A_63 + 1'voitureA64:NB_ATTENTE_A_64 + 1'voitureA65:NB_ATTENTE_A_65 + 1'voitureA66:NB_ATTENTE_A_66 + 1'voitureA67:NB_ATTENTE_A_67 + 1'voitureA68:NB_ATTENTE_A_68 + 1'voitureA69:NB_ATTENTE_A_69 + 1'voitureA70:NB_ATTENTE_A_70 + 1'voitureA71:NB_ATTENTE_A_71 + 1'voitureA72:NB_ATTENTE_A_72 + 1'voitureA73:NB_ATTENTE_A_73 + 1'voitureA74:NB_ATTENTE_A_74 + 1'voitureA75:NB_ATTENTE_A_75 + 1'voitureA76:NB_ATTENTE_A_76 + 1'voitureA77:NB_ATTENTE_A_77 + 1'voitureA78:NB_ATTENTE_A_78 + 1'voitureA79:NB_ATTENTE_A_79 + 1'voitureA80:NB_ATTENTE_A_80= 1
invariant : 1'voitureB0:NB_ATTENTE_B_0 + 1'voitureB1:NB_ATTENTE_B_1 + 1'voitureB2:NB_ATTENTE_B_2 + 1'voitureB3:NB_ATTENTE_B_3 + 1'voitureB4:NB_ATTENTE_B_4 + 1'voitureB5:NB_ATTENTE_B_5 + 1'voitureB6:NB_ATTENTE_B_6 + 1'voitureB7:NB_ATTENTE_B_7 + 1'voitureB8:NB_ATTENTE_B_8 + 1'voitureB9:NB_ATTENTE_B_9 + 1'voitureB10:NB_ATTENTE_B_10 + 1'voitureB11:NB_ATTENTE_B_11 + 1'voitureB12:NB_ATTENTE_B_12 + 1'voitureB13:NB_ATTENTE_B_13 + 1'voitureB14:NB_ATTENTE_B_14 + 1'voitureB15:NB_ATTENTE_B_15 + 1'voitureB16:NB_ATTENTE_B_16 + 1'voitureB17:NB_ATTENTE_B_17 + 1'voitureB18:NB_ATTENTE_B_18 + 1'voitureB19:NB_ATTENTE_B_19 + 1'voitureB20:NB_ATTENTE_B_20 + 1'voitureB21:NB_ATTENTE_B_21 + 1'voitureB22:NB_ATTENTE_B_22 + 1'voitureB23:NB_ATTENTE_B_23 + 1'voitureB24:NB_ATTENTE_B_24 + 1'voitureB25:NB_ATTENTE_B_25 + 1'voitureB26:NB_ATTENTE_B_26 + 1'voitureB27:NB_ATTENTE_B_27 + 1'voitureB28:NB_ATTENTE_B_28 + 1'voitureB29:NB_ATTENTE_B_29 + 1'voitureB30:NB_ATTENTE_B_30 + 1'voitureB31:NB_ATTENTE_B_31 + 1'voitureB32:NB_ATTENTE_B_32 + 1'voitureB33:NB_ATTENTE_B_33 + 1'voitureB34:NB_ATTENTE_B_34 + 1'voitureB35:NB_ATTENTE_B_35 + 1'voitureB36:NB_ATTENTE_B_36 + 1'voitureB37:NB_ATTENTE_B_37 + 1'voitureB38:NB_ATTENTE_B_38 + 1'voitureB39:NB_ATTENTE_B_39 + 1'voitureB40:NB_ATTENTE_B_40 + 1'voitureB41:NB_ATTENTE_B_41 + 1'voitureB42:NB_ATTENTE_B_42 + 1'voitureB43:NB_ATTENTE_B_43 + 1'voitureB44:NB_ATTENTE_B_44 + 1'voitureB45:NB_ATTENTE_B_45 + 1'voitureB46:NB_ATTENTE_B_46 + 1'voitureB47:NB_ATTENTE_B_47 + 1'voitureB48:NB_ATTENTE_B_48 + 1'voitureB49:NB_ATTENTE_B_49 + 1'voitureB50:NB_ATTENTE_B_50 + 1'voitureB51:NB_ATTENTE_B_51 + 1'voitureB52:NB_ATTENTE_B_52 + 1'voitureB53:NB_ATTENTE_B_53 + 1'voitureB54:NB_ATTENTE_B_54 + 1'voitureB55:NB_ATTENTE_B_55 + 1'voitureB56:NB_ATTENTE_B_56 + 1'voitureB57:NB_ATTENTE_B_57 + 1'voitureB58:NB_ATTENTE_B_58 + 1'voitureB59:NB_ATTENTE_B_59 + 1'voitureB60:NB_ATTENTE_B_60 + 1'voitureB61:NB_ATTENTE_B_61 + 1'voitureB62:NB_ATTENTE_B_62 + 1'voitureB63:NB_ATTENTE_B_63 + 1'voitureB64:NB_ATTENTE_B_64 + 1'voitureB65:NB_ATTENTE_B_65 + 1'voitureB66:NB_ATTENTE_B_66 + 1'voitureB67:NB_ATTENTE_B_67 + 1'voitureB68:NB_ATTENTE_B_68 + 1'voitureB69:NB_ATTENTE_B_69 + 1'voitureB70:NB_ATTENTE_B_70 + 1'voitureB71:NB_ATTENTE_B_71 + 1'voitureB72:NB_ATTENTE_B_72 + 1'voitureB73:NB_ATTENTE_B_73 + 1'voitureB74:NB_ATTENTE_B_74 + 1'voitureB75:NB_ATTENTE_B_75 + 1'voitureB76:NB_ATTENTE_B_76 + 1'voitureB77:NB_ATTENTE_B_77 + 1'voitureB78:NB_ATTENTE_B_78 + 1'voitureB79:NB_ATTENTE_B_79 + 1'voitureB80:NB_ATTENTE_B_80= 1
Exit code :137
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ 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 10:37:07 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
May 31, 2017 10:37:07 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
May 31, 2017 10:37:09 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1561 ms
May 31, 2017 10:37:09 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 15 places.
May 31, 2017 10:37:09 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
May 31, 2017 10:37:09 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :sens->CONTROLEUR,CHOIX,VIDANGE,
compteur->COMPTEUR,
Dot->CAPACITE,SORTI_A,ROUTE_A,ATTENTE_A,SUR_PONT_A,SUR_PONT_B,ATTENTE_B,ROUTE_B,SORTI_B,
voitureA->NB_ATTENTE_A,
voitureB->NB_ATTENTE_B,
May 31, 2017 10:37:09 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 11 transitions.
May 31, 2017 10:37:09 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
May 31, 2017 10:37:09 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 10:37:09 PM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
May 31, 2017 10:37:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
May 31, 2017 10:37:09 PM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 189 instantiations of transitions. Total transitions/syncs built is 568
May 31, 2017 10:37:09 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property BridgeAndVehicles-COL-V80P50N20-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
May 31, 2017 10:37:09 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 182 ms
May 31, 2017 10:37:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays NB_ATTENTE_A, NB_ATTENTE_B, CONTROLEUR, CHOIX, COMPTEUR, VIDANGE to variables to allow decomposition.
May 31, 2017 10:37:09 PM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 405 redundant transitions.
May 31, 2017 10:37:09 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property BridgeAndVehicles-COL-V80P50N20-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
May 31, 2017 10:37:09 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityDeadlock.pnml.gal : 24 ms
May 31, 2017 10:37:12 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 365 ms
May 31, 2017 10:37:26 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 198 variables to be positive in 15082 ms
May 31, 2017 10:37:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 3728 transitions.
May 31, 2017 10:37:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3728 took 290 ms. Total solver calls (SAT/UNSAT): 1943(2/1941)
May 31, 2017 10:37:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/3728 took 1446 ms. Total solver calls (SAT/UNSAT): 9715(10/9705)
May 31, 2017 10:37:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/3728 took 2561 ms. Total solver calls (SAT/UNSAT): 17487(18/17469)
May 31, 2017 10:37:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/3728 took 3696 ms. Total solver calls (SAT/UNSAT): 25259(26/25233)
May 31, 2017 10:37:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :16/3728 took 4812 ms. Total solver calls (SAT/UNSAT): 33031(34/32997)
May 31, 2017 10:37:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/3728 took 5909 ms. Total solver calls (SAT/UNSAT): 40803(42/40761)
May 31, 2017 10:37:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/3728 took 7001 ms. Total solver calls (SAT/UNSAT): 48575(50/48525)
May 31, 2017 10:37:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/3728 took 8119 ms. Total solver calls (SAT/UNSAT): 56347(58/56289)
May 31, 2017 10:37:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/3728 took 9217 ms. Total solver calls (SAT/UNSAT): 64119(66/64053)
May 31, 2017 10:37:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/3728 took 10317 ms. Total solver calls (SAT/UNSAT): 71891(74/71817)
May 31, 2017 10:37:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/3728 took 11392 ms. Total solver calls (SAT/UNSAT): 79663(82/79581)
May 31, 2017 10:37:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/3728 took 12467 ms. Total solver calls (SAT/UNSAT): 87435(90/87345)
May 31, 2017 10:37:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/3728 took 13559 ms. Total solver calls (SAT/UNSAT): 95207(98/95109)
May 31, 2017 10:37:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/3728 took 14632 ms. Total solver calls (SAT/UNSAT): 102979(106/102873)
May 31, 2017 10:37:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/3728 took 15709 ms. Total solver calls (SAT/UNSAT): 110751(114/110637)
May 31, 2017 10:37:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/3728 took 16781 ms. Total solver calls (SAT/UNSAT): 118523(122/118401)
May 31, 2017 10:37:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/3728 took 17851 ms. Total solver calls (SAT/UNSAT): 126295(130/126165)
May 31, 2017 10:37:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/3728 took 18971 ms. Total solver calls (SAT/UNSAT): 134067(138/133929)
May 31, 2017 10:37:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/3728 took 20079 ms. Total solver calls (SAT/UNSAT): 141839(146/141693)
May 31, 2017 10:37:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/3728 took 21186 ms. Total solver calls (SAT/UNSAT): 149611(154/149457)
May 31, 2017 10:37:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/3728 took 22310 ms. Total solver calls (SAT/UNSAT): 157308(163/157145)
May 31, 2017 10:37:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/3728 took 23340 ms. Total solver calls (SAT/UNSAT): 164776(175/164601)
May 31, 2017 10:37:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/3728 took 24369 ms. Total solver calls (SAT/UNSAT): 172244(187/172057)
May 31, 2017 10:37:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/3728 took 25428 ms. Total solver calls (SAT/UNSAT): 179712(199/179513)
May 31, 2017 10:37:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/3728 took 26468 ms. Total solver calls (SAT/UNSAT): 187180(211/186969)
May 31, 2017 10:37:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/3728 took 27704 ms. Total solver calls (SAT/UNSAT): 196169(223/195946)
May 31, 2017 10:37:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/3728 took 28737 ms. Total solver calls (SAT/UNSAT): 203642(235/203407)
May 31, 2017 10:37:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/3728 took 29768 ms. Total solver calls (SAT/UNSAT): 211114(247/210867)
May 31, 2017 10:37:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/3728 took 30804 ms. Total solver calls (SAT/UNSAT): 218586(259/218327)
May 31, 2017 10:37:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/3728 took 31879 ms. Total solver calls (SAT/UNSAT): 226058(271/225787)
May 31, 2017 10:37:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/3728 took 32899 ms. Total solver calls (SAT/UNSAT): 233530(283/233247)
May 31, 2017 10:38:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/3728 took 34118 ms. Total solver calls (SAT/UNSAT): 242524(295/242229)
May 31, 2017 10:38:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/3728 took 35142 ms. Total solver calls (SAT/UNSAT): 249996(307/249689)
May 31, 2017 10:38:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/3728 took 36162 ms. Total solver calls (SAT/UNSAT): 257468(319/257149)
May 31, 2017 10:38:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/3728 took 37271 ms. Total solver calls (SAT/UNSAT): 264940(331/264609)
May 31, 2017 10:38:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/3728 took 38437 ms. Total solver calls (SAT/UNSAT): 272412(343/272069)
May 31, 2017 10:38:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/3728 took 39521 ms. Total solver calls (SAT/UNSAT): 279538(352/279186)
May 31, 2017 10:38:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/3728 took 40660 ms. Total solver calls (SAT/UNSAT): 287010(364/286646)
May 31, 2017 10:38:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :151/3728 took 41800 ms. Total solver calls (SAT/UNSAT): 294482(376/294106)
May 31, 2017 10:38:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/3728 took 42939 ms. Total solver calls (SAT/UNSAT): 301954(388/301566)
May 31, 2017 10:38:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :159/3728 took 44080 ms. Total solver calls (SAT/UNSAT): 309426(400/309026)
May 31, 2017 10:38:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :163/3728 took 45450 ms. Total solver calls (SAT/UNSAT): 318419(412/318007)
May 31, 2017 10:38:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/3728 took 46596 ms. Total solver calls (SAT/UNSAT): 325892(424/325468)
May 31, 2017 10:38:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/3728 took 47734 ms. Total solver calls (SAT/UNSAT): 333364(436/332928)
May 31, 2017 10:38:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :175/3728 took 48870 ms. Total solver calls (SAT/UNSAT): 340836(448/340388)
May 31, 2017 10:38:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/3728 took 50008 ms. Total solver calls (SAT/UNSAT): 348308(460/347848)
May 31, 2017 10:38:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/3728 took 51145 ms. Total solver calls (SAT/UNSAT): 355780(472/355308)
May 31, 2017 10:38:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/3728 took 52230 ms. Total solver calls (SAT/UNSAT): 362906(481/362425)
May 31, 2017 10:38:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :190/3728 took 53368 ms. Total solver calls (SAT/UNSAT): 370378(493/369885)
May 31, 2017 10:38:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/3728 took 54481 ms. Total solver calls (SAT/UNSAT): 377850(505/377345)
May 31, 2017 10:38:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :198/3728 took 55514 ms. Total solver calls (SAT/UNSAT): 385322(517/384805)
May 31, 2017 10:38:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :202/3728 took 56702 ms. Total solver calls (SAT/UNSAT): 392794(529/392265)
May 31, 2017 10:38:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :205/3728 took 57777 ms. Total solver calls (SAT/UNSAT): 399919(538/399381)
May 31, 2017 10:38:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/3728 took 58911 ms. Total solver calls (SAT/UNSAT): 407392(550/406842)
May 31, 2017 10:38:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :213/3728 took 60042 ms. Total solver calls (SAT/UNSAT): 414864(562/414302)
May 31, 2017 10:38:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :217/3728 took 61184 ms. Total solver calls (SAT/UNSAT): 422336(574/421762)
May 31, 2017 10:38:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/3728 took 62285 ms. Total solver calls (SAT/UNSAT): 429808(586/429222)
May 31, 2017 10:38:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/3728 took 63414 ms. Total solver calls (SAT/UNSAT): 437280(598/436682)
May 31, 2017 10:38:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/3728 took 64494 ms. Total solver calls (SAT/UNSAT): 444406(607/443799)
May 31, 2017 10:38:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :232/3728 took 65627 ms. Total solver calls (SAT/UNSAT): 451878(619/451259)
May 31, 2017 10:38:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/3728 took 66761 ms. Total solver calls (SAT/UNSAT): 459350(631/458719)
May 31, 2017 10:38:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/3728 took 67895 ms. Total solver calls (SAT/UNSAT): 466822(643/466179)
May 31, 2017 10:38:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :244/3728 took 69044 ms. Total solver calls (SAT/UNSAT): 474294(655/473639)
May 31, 2017 10:38:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :247/3728 took 70130 ms. Total solver calls (SAT/UNSAT): 481419(664/480755)
May 31, 2017 10:38:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :251/3728 took 71268 ms. Total solver calls (SAT/UNSAT): 488892(676/488216)
May 31, 2017 10:38:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :255/3728 took 72404 ms. Total solver calls (SAT/UNSAT): 496364(688/495676)
May 31, 2017 10:38:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :259/3728 took 73538 ms. Total solver calls (SAT/UNSAT): 503836(700/503136)
May 31, 2017 10:38:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :263/3728 took 74670 ms. Total solver calls (SAT/UNSAT): 511308(712/510596)
May 31, 2017 10:38:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :267/3728 took 75802 ms. Total solver calls (SAT/UNSAT): 518780(724/518056)
May 31, 2017 10:38:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :270/3728 took 76878 ms. Total solver calls (SAT/UNSAT): 525906(733/525173)
May 31, 2017 10:38:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :274/3728 took 77981 ms. Total solver calls (SAT/UNSAT): 533378(745/532633)
May 31, 2017 10:38:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :278/3728 took 79050 ms. Total solver calls (SAT/UNSAT): 540850(757/540093)
May 31, 2017 10:38:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :282/3728 took 80074 ms. Total solver calls (SAT/UNSAT): 548322(769/547553)
May 31, 2017 10:38:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :286/3728 took 81095 ms. Total solver calls (SAT/UNSAT): 555794(781/555013)
May 31, 2017 10:38:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :290/3728 took 82322 ms. Total solver calls (SAT/UNSAT): 564788(793/563995)
May 31, 2017 10:38:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :294/3728 took 83345 ms. Total solver calls (SAT/UNSAT): 572260(805/571455)
May 31, 2017 10:38:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :298/3728 took 84423 ms. Total solver calls (SAT/UNSAT): 579732(817/578915)
May 31, 2017 10:38:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :302/3728 took 85452 ms. Total solver calls (SAT/UNSAT): 587204(829/586375)
May 31, 2017 10:38:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :306/3728 took 86486 ms. Total solver calls (SAT/UNSAT): 594676(841/593835)
May 31, 2017 10:38:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :310/3728 took 87715 ms. Total solver calls (SAT/UNSAT): 603669(853/602816)
May 31, 2017 10:38:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :314/3728 took 88738 ms. Total solver calls (SAT/UNSAT): 611142(865/610277)
May 31, 2017 10:38:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/3728 took 89761 ms. Total solver calls (SAT/UNSAT): 618614(877/617737)
May 31, 2017 10:38:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/3728 took 90785 ms. Total solver calls (SAT/UNSAT): 626086(889/625197)
May 31, 2017 10:38:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :326/3728 took 91818 ms. Total solver calls (SAT/UNSAT): 633558(901/632657)
May 31, 2017 10:38:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :330/3728 took 92852 ms. Total solver calls (SAT/UNSAT): 641030(913/640117)
May 31, 2017 10:39:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :334/3728 took 94093 ms. Total solver calls (SAT/UNSAT): 650024(925/649099)
May 31, 2017 10:39:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :338/3728 took 95124 ms. Total solver calls (SAT/UNSAT): 657496(937/656559)
May 31, 2017 10:39:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :342/3728 took 96147 ms. Total solver calls (SAT/UNSAT): 664968(949/664019)
May 31, 2017 10:39:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :346/3728 took 97170 ms. Total solver calls (SAT/UNSAT): 672440(961/671479)
May 31, 2017 10:39:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/3728 took 98199 ms. Total solver calls (SAT/UNSAT): 679912(973/678939)
May 31, 2017 10:39:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/3728 took 99225 ms. Total solver calls (SAT/UNSAT): 687038(982/686056)
May 31, 2017 10:39:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/3728 took 100260 ms. Total solver calls (SAT/UNSAT): 694510(994/693516)
May 31, 2017 10:39:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :361/3728 took 101294 ms. Total solver calls (SAT/UNSAT): 701982(1006/700976)
May 31, 2017 10:39:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/3728 took 102327 ms. Total solver calls (SAT/UNSAT): 709454(1018/708436)
May 31, 2017 10:39:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/3728 took 103355 ms. Total solver calls (SAT/UNSAT): 716926(1030/715896)
May 31, 2017 10:39:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :373/3728 took 104579 ms. Total solver calls (SAT/UNSAT): 725919(1042/724877)
May 31, 2017 10:39:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :377/3728 took 105601 ms. Total solver calls (SAT/UNSAT): 733392(1054/732338)
May 31, 2017 10:39:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :381/3728 took 106637 ms. Total solver calls (SAT/UNSAT): 740864(1066/739798)
May 31, 2017 10:39:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :385/3728 took 107661 ms. Total solver calls (SAT/UNSAT): 748336(1078/747258)
May 31, 2017 10:39:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/3728 took 108684 ms. Total solver calls (SAT/UNSAT): 755808(1090/754718)
May 31, 2017 10:39:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/3728 took 109709 ms. Total solver calls (SAT/UNSAT): 763280(1102/762178)
May 31, 2017 10:39:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/3728 took 110742 ms. Total solver calls (SAT/UNSAT): 770406(1111/769295)
May 31, 2017 10:39:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/3728 took 111761 ms. Total solver calls (SAT/UNSAT): 777878(1123/776755)
May 31, 2017 10:39:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/3728 took 112782 ms. Total solver calls (SAT/UNSAT): 785350(1135/784215)
May 31, 2017 10:39:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/3728 took 113801 ms. Total solver calls (SAT/UNSAT): 792822(1147/791675)
May 31, 2017 10:39:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/3728 took 114829 ms. Total solver calls (SAT/UNSAT): 800294(1159/799135)
May 31, 2017 10:39:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/3728 took 116048 ms. Total solver calls (SAT/UNSAT): 809288(1171/808117)
May 31, 2017 10:39:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/3728 took 117065 ms. Total solver calls (SAT/UNSAT): 816760(1183/815577)
May 31, 2017 10:39:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/3728 took 118080 ms. Total solver calls (SAT/UNSAT): 824232(1195/823037)
May 31, 2017 10:39:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/3728 took 119099 ms. Total solver calls (SAT/UNSAT): 831704(1207/830497)
May 31, 2017 10:39:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/3728 took 120119 ms. Total solver calls (SAT/UNSAT): 839176(1219/837957)
May 31, 2017 10:39:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/3728 took 121349 ms. Total solver calls (SAT/UNSAT): 848169(1231/846938)
May 31, 2017 10:39:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/3728 took 122372 ms. Total solver calls (SAT/UNSAT): 855642(1243/854399)
May 31, 2017 10:39:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/3728 took 123393 ms. Total solver calls (SAT/UNSAT): 863114(1255/861859)
May 31, 2017 10:39:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/3728 took 124406 ms. Total solver calls (SAT/UNSAT): 870586(1267/869319)
May 31, 2017 10:39:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/3728 took 125418 ms. Total solver calls (SAT/UNSAT): 878058(1279/876779)
May 31, 2017 10:39:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/3728 took 126432 ms. Total solver calls (SAT/UNSAT): 885530(1291/884239)
May 31, 2017 10:39:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/3728 took 127647 ms. Total solver calls (SAT/UNSAT): 894524(1303/893221)
May 31, 2017 10:39:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/3728 took 128661 ms. Total solver calls (SAT/UNSAT): 901996(1315/900681)
May 31, 2017 10:39:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/3728 took 129676 ms. Total solver calls (SAT/UNSAT): 909468(1327/908141)
May 31, 2017 10:39:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/3728 took 130686 ms. Total solver calls (SAT/UNSAT): 916940(1339/915601)
May 31, 2017 10:39:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/3728 took 131698 ms. Total solver calls (SAT/UNSAT): 924412(1351/923061)
May 31, 2017 10:39:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/3728 took 132910 ms. Total solver calls (SAT/UNSAT): 933406(1363/932043)
May 31, 2017 10:39:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/3728 took 133919 ms. Total solver calls (SAT/UNSAT): 940878(1375/939503)
May 31, 2017 10:39:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/3728 took 134931 ms. Total solver calls (SAT/UNSAT): 948350(1387/946963)
May 31, 2017 10:39:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/3728 took 135946 ms. Total solver calls (SAT/UNSAT): 955822(1399/954423)
May 31, 2017 10:39:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/3728 took 136966 ms. Total solver calls (SAT/UNSAT): 963294(1411/961883)
May 31, 2017 10:39:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/3728 took 138180 ms. Total solver calls (SAT/UNSAT): 972288(1423/970865)
May 31, 2017 10:39:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/3728 took 139198 ms. Total solver calls (SAT/UNSAT): 979760(1435/978325)
May 31, 2017 10:39:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/3728 took 140211 ms. Total solver calls (SAT/UNSAT): 987232(1447/985785)
May 31, 2017 10:39:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/3728 took 141224 ms. Total solver calls (SAT/UNSAT): 994704(1459/993245)
May 31, 2017 10:39:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/3728 took 142240 ms. Total solver calls (SAT/UNSAT): 1002176(1471/1000705)
May 31, 2017 10:39:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/3728 took 143454 ms. Total solver calls (SAT/UNSAT): 1011169(1483/1009686)
May 31, 2017 10:39:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/3728 took 144470 ms. Total solver calls (SAT/UNSAT): 1018642(1495/1017147)
May 31, 2017 10:39:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/3728 took 145484 ms. Total solver calls (SAT/UNSAT): 1026114(1507/1024607)
May 31, 2017 10:39:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/3728 took 146500 ms. Total solver calls (SAT/UNSAT): 1033586(1519/1032067)
May 31, 2017 10:39:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/3728 took 147518 ms. Total solver calls (SAT/UNSAT): 1041058(1531/1039527)
May 31, 2017 10:39:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/3728 took 148532 ms. Total solver calls (SAT/UNSAT): 1048530(1543/1046987)
May 31, 2017 10:39:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/3728 took 149756 ms. Total solver calls (SAT/UNSAT): 1057524(1555/1055969)
May 31, 2017 10:39:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/3728 took 150781 ms. Total solver calls (SAT/UNSAT): 1064996(1567/1063429)
May 31, 2017 10:39:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/3728 took 151808 ms. Total solver calls (SAT/UNSAT): 1072468(1579/1070889)
May 31, 2017 10:39:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/3728 took 152822 ms. Total solver calls (SAT/UNSAT): 1079940(1591/1078349)
May 31, 2017 10:40:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/3728 took 153829 ms. Total solver calls (SAT/UNSAT): 1087412(1603/1085809)
May 31, 2017 10:40:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/3728 took 155040 ms. Total solver calls (SAT/UNSAT): 1096406(1615/1094791)
May 31, 2017 10:40:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/3728 took 156054 ms. Total solver calls (SAT/UNSAT): 1103878(1627/1102251)
May 31, 2017 10:40:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/3728 took 157066 ms. Total solver calls (SAT/UNSAT): 1111350(1639/1109711)
May 31, 2017 10:40:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/3728 took 158082 ms. Total solver calls (SAT/UNSAT): 1118822(1651/1117171)
May 31, 2017 10:40:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/3728 took 159099 ms. Total solver calls (SAT/UNSAT): 1126294(1663/1124631)
May 31, 2017 10:40:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/3728 took 160317 ms. Total solver calls (SAT/UNSAT): 1135288(1675/1133613)
May 31, 2017 10:40:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/3728 took 161332 ms. Total solver calls (SAT/UNSAT): 1142760(1687/1141073)
May 31, 2017 10:40:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :592/3728 took 162351 ms. Total solver calls (SAT/UNSAT): 1150232(1699/1148533)
May 31, 2017 10:40:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :596/3728 took 163369 ms. Total solver calls (SAT/UNSAT): 1157704(1711/1155993)
May 31, 2017 10:40:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :600/3728 took 164388 ms. Total solver calls (SAT/UNSAT): 1165176(1723/1163453)
May 31, 2017 10:40:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :604/3728 took 165606 ms. Total solver calls (SAT/UNSAT): 1174169(1735/1172434)
May 31, 2017 10:40:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :608/3728 took 166704 ms. Total solver calls (SAT/UNSAT): 1181642(1747/1179895)
May 31, 2017 10:40:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :612/3728 took 167755 ms. Total solver calls (SAT/UNSAT): 1189114(1759/1187355)
May 31, 2017 10:40:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :616/3728 took 168803 ms. Total solver calls (SAT/UNSAT): 1196586(1771/1194815)
May 31, 2017 10:40:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :620/3728 took 169850 ms. Total solver calls (SAT/UNSAT): 1204058(1783/1202275)
May 31, 2017 10:40:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :624/3728 took 170888 ms. Total solver calls (SAT/UNSAT): 1211530(1795/1209735)
May 31, 2017 10:40:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :628/3728 took 172137 ms. Total solver calls (SAT/UNSAT): 1220524(1807/1218717)
May 31, 2017 10:40:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :632/3728 took 173186 ms. Total solver calls (SAT/UNSAT): 1227996(1819/1226177)
May 31, 2017 10:40:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :636/3728 took 174237 ms. Total solver calls (SAT/UNSAT): 1235468(1831/1233637)
May 31, 2017 10:40:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :640/3728 took 175282 ms. Total solver calls (SAT/UNSAT): 1242940(1843/1241097)
May 31, 2017 10:40:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :644/3728 took 176319 ms. Total solver calls (SAT/UNSAT): 1250412(1855/1248557)
May 31, 2017 10:40:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :648/3728 took 177566 ms. Total solver calls (SAT/UNSAT): 1259406(1867/1257539)
May 31, 2017 10:40:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :652/3728 took 178603 ms. Total solver calls (SAT/UNSAT): 1266878(1879/1264999)
May 31, 2017 10:40:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :656/3728 took 179642 ms. Total solver calls (SAT/UNSAT): 1274350(1891/1272459)
May 31, 2017 10:40:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :660/3728 took 180697 ms. Total solver calls (SAT/UNSAT): 1281822(1903/1279919)
May 31, 2017 10:40:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :664/3728 took 181746 ms. Total solver calls (SAT/UNSAT): 1289294(1915/1287379)
May 31, 2017 10:40:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :668/3728 took 183004 ms. Total solver calls (SAT/UNSAT): 1298288(1927/1296361)
May 31, 2017 10:40:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :672/3728 took 184042 ms. Total solver calls (SAT/UNSAT): 1305760(1939/1303821)
May 31, 2017 10:40:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :676/3728 took 185080 ms. Total solver calls (SAT/UNSAT): 1313232(1951/1311281)
May 31, 2017 10:40:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :680/3728 took 186132 ms. Total solver calls (SAT/UNSAT): 1320704(1963/1318741)
May 31, 2017 10:40:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :684/3728 took 187222 ms. Total solver calls (SAT/UNSAT): 1328176(1975/1326201)
May 31, 2017 10:40:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :688/3728 took 188465 ms. Total solver calls (SAT/UNSAT): 1337169(1987/1335182)
May 31, 2017 10:40:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :692/3728 took 189559 ms. Total solver calls (SAT/UNSAT): 1344642(1999/1342643)
May 31, 2017 10:40:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :696/3728 took 190607 ms. Total solver calls (SAT/UNSAT): 1352114(2011/1350103)
May 31, 2017 10:40:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :700/3728 took 191650 ms. Total solver calls (SAT/UNSAT): 1359586(2023/1357563)
May 31, 2017 10:40:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :704/3728 took 192725 ms. Total solver calls (SAT/UNSAT): 1367058(2035/1365023)
May 31, 2017 10:40:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :708/3728 took 193747 ms. Total solver calls (SAT/UNSAT): 1374530(2047/1372483)
May 31, 2017 10:40:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :712/3728 took 194975 ms. Total solver calls (SAT/UNSAT): 1383524(2059/1381465)
May 31, 2017 10:40:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :716/3728 took 195988 ms. Total solver calls (SAT/UNSAT): 1390996(2071/1388925)
May 31, 2017 10:40:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :720/3728 took 197005 ms. Total solver calls (SAT/UNSAT): 1398468(2083/1396385)
May 31, 2017 10:40:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :724/3728 took 198019 ms. Total solver calls (SAT/UNSAT): 1405940(2095/1403845)
May 31, 2017 10:40:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :728/3728 took 199048 ms. Total solver calls (SAT/UNSAT): 1413412(2107/1411305)
May 31, 2017 10:40:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :731/3728 took 200059 ms. Total solver calls (SAT/UNSAT): 1420538(2116/1418422)
May 31, 2017 10:40:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :735/3728 took 201079 ms. Total solver calls (SAT/UNSAT): 1428010(2128/1425882)
May 31, 2017 10:40:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :739/3728 took 202105 ms. Total solver calls (SAT/UNSAT): 1435482(2140/1433342)
May 31, 2017 10:40:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :743/3728 took 203119 ms. Total solver calls (SAT/UNSAT): 1442954(2152/1440802)
May 31, 2017 10:40:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :747/3728 took 204129 ms. Total solver calls (SAT/UNSAT): 1450426(2164/1448262)
May 31, 2017 10:40:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :751/3728 took 205349 ms. Total solver calls (SAT/UNSAT): 1459419(2176/1457243)
May 31, 2017 10:40:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :755/3728 took 206365 ms. Total solver calls (SAT/UNSAT): 1466892(2188/1464704)
May 31, 2017 10:40:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :759/3728 took 207375 ms. Total solver calls (SAT/UNSAT): 1474364(2200/1472164)
May 31, 2017 10:40:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :763/3728 took 208380 ms. Total solver calls (SAT/UNSAT): 1481836(2212/1479624)
May 31, 2017 10:40:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :767/3728 took 209387 ms. Total solver calls (SAT/UNSAT): 1489308(2224/1487084)
May 31, 2017 10:40:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :771/3728 took 210410 ms. Total solver calls (SAT/UNSAT): 1496780(2236/1494544)
May 31, 2017 10:40:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :775/3728 took 211617 ms. Total solver calls (SAT/UNSAT): 1505774(2248/1503526)
May 31, 2017 10:40:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :779/3728 took 212624 ms. Total solver calls (SAT/UNSAT): 1513246(2260/1510986)
May 31, 2017 10:41:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :783/3728 took 213631 ms. Total solver calls (SAT/UNSAT): 1520718(2272/1518446)
May 31, 2017 10:41:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :787/3728 took 214639 ms. Total solver calls (SAT/UNSAT): 1528190(2284/1525906)
May 31, 2017 10:41:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :791/3728 took 215654 ms. Total solver calls (SAT/UNSAT): 1535662(2296/1533366)
May 31, 2017 10:41:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :795/3728 took 216862 ms. Total solver calls (SAT/UNSAT): 1544656(2308/1542348)
May 31, 2017 10:41:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :799/3728 took 217870 ms. Total solver calls (SAT/UNSAT): 1552128(2320/1549808)
May 31, 2017 10:41:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :803/3728 took 218878 ms. Total solver calls (SAT/UNSAT): 1559600(2332/1557268)
May 31, 2017 10:41:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :807/3728 took 219897 ms. Total solver calls (SAT/UNSAT): 1567072(2344/1564728)
May 31, 2017 10:41:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :811/3728 took 220963 ms. Total solver calls (SAT/UNSAT): 1574544(2356/1572188)
May 31, 2017 10:41:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :815/3728 took 222215 ms. Total solver calls (SAT/UNSAT): 1583538(2368/1581170)
May 31, 2017 10:41:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :819/3728 took 223256 ms. Total solver calls (SAT/UNSAT): 1591010(2380/1588630)
May 31, 2017 10:41:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :823/3728 took 224289 ms. Total solver calls (SAT/UNSAT): 1598482(2392/1596090)
May 31, 2017 10:41:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :827/3728 took 225325 ms. Total solver calls (SAT/UNSAT): 1605954(2404/1603550)
May 31, 2017 10:41:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :831/3728 took 226359 ms. Total solver calls (SAT/UNSAT): 1613426(2416/1611010)
May 31, 2017 10:41:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :835/3728 took 227598 ms. Total solver calls (SAT/UNSAT): 1622419(2428/1619991)
May 31, 2017 10:41:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :839/3728 took 228634 ms. Total solver calls (SAT/UNSAT): 1629892(2440/1627452)
May 31, 2017 10:41:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :843/3728 took 229670 ms. Total solver calls (SAT/UNSAT): 1637364(2452/1634912)
May 31, 2017 10:41:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :847/3728 took 230705 ms. Total solver calls (SAT/UNSAT): 1644836(2464/1642372)
May 31, 2017 10:41:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :851/3728 took 231738 ms. Total solver calls (SAT/UNSAT): 1652308(2476/1649832)
May 31, 2017 10:41:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :855/3728 took 232772 ms. Total solver calls (SAT/UNSAT): 1659780(2488/1657292)
May 31, 2017 10:41:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :859/3728 took 234019 ms. Total solver calls (SAT/UNSAT): 1668774(2500/1666274)
May 31, 2017 10:41:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :863/3728 took 235059 ms. Total solver calls (SAT/UNSAT): 1676246(2512/1673734)
May 31, 2017 10:41:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :867/3728 took 236092 ms. Total solver calls (SAT/UNSAT): 1683718(2524/1681194)
May 31, 2017 10:41:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :871/3728 took 237125 ms. Total solver calls (SAT/UNSAT): 1691190(2536/1688654)
May 31, 2017 10:41:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :875/3728 took 238164 ms. Total solver calls (SAT/UNSAT): 1698662(2548/1696114)
May 31, 2017 10:41:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :879/3728 took 239409 ms. Total solver calls (SAT/UNSAT): 1707656(2560/1705096)
May 31, 2017 10:41:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :883/3728 took 240442 ms. Total solver calls (SAT/UNSAT): 1715128(2572/1712556)
May 31, 2017 10:41:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :887/3728 took 241473 ms. Total solver calls (SAT/UNSAT): 1722600(2584/1720016)
May 31, 2017 10:41:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :891/3728 took 242511 ms. Total solver calls (SAT/UNSAT): 1730072(2596/1727476)
May 31, 2017 10:41:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :895/3728 took 243548 ms. Total solver calls (SAT/UNSAT): 1737544(2608/1734936)
May 31, 2017 10:41:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :899/3728 took 244782 ms. Total solver calls (SAT/UNSAT): 1746538(2620/1743918)
May 31, 2017 10:41:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :903/3728 took 245812 ms. Total solver calls (SAT/UNSAT): 1754010(2632/1751378)
May 31, 2017 10:41:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :907/3728 took 246855 ms. Total solver calls (SAT/UNSAT): 1761482(2644/1758838)
May 31, 2017 10:41:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :911/3728 took 247887 ms. Total solver calls (SAT/UNSAT): 1768954(2656/1766298)
May 31, 2017 10:41:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :915/3728 took 248919 ms. Total solver calls (SAT/UNSAT): 1776426(2668/1773758)
May 31, 2017 10:41:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :919/3728 took 250156 ms. Total solver calls (SAT/UNSAT): 1785419(2680/1782739)
May 31, 2017 10:41:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :923/3728 took 251204 ms. Total solver calls (SAT/UNSAT): 1792892(2692/1790200)
May 31, 2017 10:41:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :927/3728 took 252238 ms. Total solver calls (SAT/UNSAT): 1800364(2704/1797660)
May 31, 2017 10:41:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :931/3728 took 253273 ms. Total solver calls (SAT/UNSAT): 1807836(2716/1805120)
May 31, 2017 10:41:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :935/3728 took 254319 ms. Total solver calls (SAT/UNSAT): 1815308(2728/1812580)
May 31, 2017 10:41:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :939/3728 took 255360 ms. Total solver calls (SAT/UNSAT): 1822780(2740/1820040)
May 31, 2017 10:41:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :943/3728 took 256595 ms. Total solver calls (SAT/UNSAT): 1831774(2752/1829022)
May 31, 2017 10:41:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :947/3728 took 257628 ms. Total solver calls (SAT/UNSAT): 1839246(2764/1836482)
May 31, 2017 10:41:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :951/3728 took 258678 ms. Total solver calls (SAT/UNSAT): 1846718(2776/1843942)
May 31, 2017 10:41:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :955/3728 took 259712 ms. Total solver calls (SAT/UNSAT): 1854190(2788/1851402)
May 31, 2017 10:41:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :959/3728 took 260742 ms. Total solver calls (SAT/UNSAT): 1861662(2800/1858862)
May 31, 2017 10:41:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :963/3728 took 261996 ms. Total solver calls (SAT/UNSAT): 1870656(2812/1867844)
May 31, 2017 10:41:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :967/3728 took 263037 ms. Total solver calls (SAT/UNSAT): 1878128(2824/1875304)
May 31, 2017 10:41:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :971/3728 took 264067 ms. Total solver calls (SAT/UNSAT): 1885600(2836/1882764)
May 31, 2017 10:41:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :975/3728 took 265117 ms. Total solver calls (SAT/UNSAT): 1893072(2848/1890224)
May 31, 2017 10:41:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :979/3728 took 266161 ms. Total solver calls (SAT/UNSAT): 1900544(2860/1897684)
May 31, 2017 10:41:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :982/3728 took 267185 ms. Total solver calls (SAT/UNSAT): 1907669(2869/1904800)
May 31, 2017 10:41:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :986/3728 took 268216 ms. Total solver calls (SAT/UNSAT): 1915142(2881/1912261)
May 31, 2017 10:41:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :990/3728 took 269243 ms. Total solver calls (SAT/UNSAT): 1922614(2893/1919721)
May 31, 2017 10:41:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :994/3728 took 270272 ms. Total solver calls (SAT/UNSAT): 1930086(2905/1927181)
May 31, 2017 10:41:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :998/3728 took 271303 ms. Total solver calls (SAT/UNSAT): 1937558(2917/1934641)
May 31, 2017 10:41:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1002/3728 took 272332 ms. Total solver calls (SAT/UNSAT): 1945030(2929/1942101)
May 31, 2017 10:42:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1006/3728 took 273563 ms. Total solver calls (SAT/UNSAT): 1954024(2941/1951083)
May 31, 2017 10:42:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1010/3728 took 274598 ms. Total solver calls (SAT/UNSAT): 1961496(2953/1958543)
May 31, 2017 10:42:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1014/3728 took 275629 ms. Total solver calls (SAT/UNSAT): 1968968(2965/1966003)
May 31, 2017 10:42:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1018/3728 took 276661 ms. Total solver calls (SAT/UNSAT): 1976440(2977/1973463)
May 31, 2017 10:42:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1022/3728 took 277696 ms. Total solver calls (SAT/UNSAT): 1983912(2989/1980923)
May 31, 2017 10:42:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1026/3728 took 278932 ms. Total solver calls (SAT/UNSAT): 1992906(3001/1989905)
May 31, 2017 10:42:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1030/3728 took 279961 ms. Total solver calls (SAT/UNSAT): 2000378(3013/1997365)
May 31, 2017 10:42:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1034/3728 took 280996 ms. Total solver calls (SAT/UNSAT): 2007850(3025/2004825)
May 31, 2017 10:42:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1038/3728 took 282024 ms. Total solver calls (SAT/UNSAT): 2015322(3037/2012285)
May 31, 2017 10:42:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1042/3728 took 283063 ms. Total solver calls (SAT/UNSAT): 2022794(3049/2019745)
May 31, 2017 10:42:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1046/3728 took 284302 ms. Total solver calls (SAT/UNSAT): 2031788(3061/2028727)
May 31, 2017 10:42:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1050/3728 took 285331 ms. Total solver calls (SAT/UNSAT): 2039260(3073/2036187)
May 31, 2017 10:42:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1054/3728 took 286369 ms. Total solver calls (SAT/UNSAT): 2046732(3085/2043647)
May 31, 2017 10:42:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1058/3728 took 287441 ms. Total solver calls (SAT/UNSAT): 2054204(3097/2051107)
May 31, 2017 10:42:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1062/3728 took 288466 ms. Total solver calls (SAT/UNSAT): 2061676(3109/2058567)
May 31, 2017 10:42:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1066/3728 took 289686 ms. Total solver calls (SAT/UNSAT): 2070669(3121/2067548)
May 31, 2017 10:42:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1070/3728 took 290708 ms. Total solver calls (SAT/UNSAT): 2078142(3133/2075009)
May 31, 2017 10:42:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1074/3728 took 291717 ms. Total solver calls (SAT/UNSAT): 2085614(3145/2082469)
May 31, 2017 10:42:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1078/3728 took 292726 ms. Total solver calls (SAT/UNSAT): 2093086(3157/2089929)
May 31, 2017 10:42:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1082/3728 took 293750 ms. Total solver calls (SAT/UNSAT): 2100558(3169/2097389)
May 31, 2017 10:42:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1086/3728 took 294804 ms. Total solver calls (SAT/UNSAT): 2108030(3181/2104849)
May 31, 2017 10:42:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1090/3728 took 296011 ms. Total solver calls (SAT/UNSAT): 2117024(3193/2113831)
May 31, 2017 10:42:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1094/3728 took 297014 ms. Total solver calls (SAT/UNSAT): 2124496(3205/2121291)
May 31, 2017 10:42:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1098/3728 took 298026 ms. Total solver calls (SAT/UNSAT): 2131968(3217/2128751)
May 31, 2017 10:42:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1102/3728 took 299035 ms. Total solver calls (SAT/UNSAT): 2139440(3229/2136211)
May 31, 2017 10:42:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1106/3728 took 300043 ms. Total solver calls (SAT/UNSAT): 2146912(3241/2143671)
May 31, 2017 10:42:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1110/3728 took 301260 ms. Total solver calls (SAT/UNSAT): 2155906(3253/2152653)
May 31, 2017 10:42:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1114/3728 took 302276 ms. Total solver calls (SAT/UNSAT): 2163378(3265/2160113)
May 31, 2017 10:42:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1118/3728 took 303282 ms. Total solver calls (SAT/UNSAT): 2170850(3277/2167573)
May 31, 2017 10:42:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1122/3728 took 304293 ms. Total solver calls (SAT/UNSAT): 2178322(3289/2175033)
May 31, 2017 10:42:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1126/3728 took 305305 ms. Total solver calls (SAT/UNSAT): 2185794(3301/2182493)
May 31, 2017 10:42:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1130/3728 took 306524 ms. Total solver calls (SAT/UNSAT): 2194788(3313/2191475)
May 31, 2017 10:42:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1134/3728 took 307529 ms. Total solver calls (SAT/UNSAT): 2202260(3325/2198935)
May 31, 2017 10:42:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1138/3728 took 308540 ms. Total solver calls (SAT/UNSAT): 2209732(3337/2206395)
May 31, 2017 10:42:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1142/3728 took 309553 ms. Total solver calls (SAT/UNSAT): 2217204(3349/2213855)
May 31, 2017 10:42:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1146/3728 took 310560 ms. Total solver calls (SAT/UNSAT): 2224676(3361/2221315)
May 31, 2017 10:42:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1150/3728 took 311765 ms. Total solver calls (SAT/UNSAT): 2233669(3373/2230296)
May 31, 2017 10:42:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1154/3728 took 312770 ms. Total solver calls (SAT/UNSAT): 2241142(3385/2237757)
May 31, 2017 10:42:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1158/3728 took 313776 ms. Total solver calls (SAT/UNSAT): 2248614(3397/2245217)
May 31, 2017 10:42:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1162/3728 took 314779 ms. Total solver calls (SAT/UNSAT): 2256086(3409/2252677)
May 31, 2017 10:42:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1166/3728 took 315785 ms. Total solver calls (SAT/UNSAT): 2263558(3421/2260137)
May 31, 2017 10:42:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1170/3728 took 316786 ms. Total solver calls (SAT/UNSAT): 2271030(3433/2267597)
May 31, 2017 10:42:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1174/3728 took 317993 ms. Total solver calls (SAT/UNSAT): 2280024(3445/2276579)
May 31, 2017 10:42:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1178/3728 took 319000 ms. Total solver calls (SAT/UNSAT): 2287496(3457/2284039)
May 31, 2017 10:42:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1182/3728 took 320005 ms. Total solver calls (SAT/UNSAT): 2294968(3469/2291499)
May 31, 2017 10:42:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1186/3728 took 321011 ms. Total solver calls (SAT/UNSAT): 2302440(3481/2298959)
May 31, 2017 10:42:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1190/3728 took 322016 ms. Total solver calls (SAT/UNSAT): 2309912(3493/2306419)
May 31, 2017 10:42:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1194/3728 took 323226 ms. Total solver calls (SAT/UNSAT): 2318906(3505/2315401)
May 31, 2017 10:42:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1198/3728 took 324240 ms. Total solver calls (SAT/UNSAT): 2326378(3517/2322861)
May 31, 2017 10:42:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1202/3728 took 325257 ms. Total solver calls (SAT/UNSAT): 2333850(3529/2330321)
May 31, 2017 10:42:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1206/3728 took 326279 ms. Total solver calls (SAT/UNSAT): 2341322(3541/2337781)
May 31, 2017 10:42:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1210/3728 took 327300 ms. Total solver calls (SAT/UNSAT): 2348794(3553/2345241)
May 31, 2017 10:42:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1214/3728 took 328518 ms. Total solver calls (SAT/UNSAT): 2357788(3565/2354223)
May 31, 2017 10:42:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1218/3728 took 329535 ms. Total solver calls (SAT/UNSAT): 2365260(3577/2361683)
May 31, 2017 10:42:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1222/3728 took 330557 ms. Total solver calls (SAT/UNSAT): 2372732(3589/2369143)
May 31, 2017 10:42:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1226/3728 took 331572 ms. Total solver calls (SAT/UNSAT): 2380204(3601/2376603)
May 31, 2017 10:42:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1230/3728 took 332587 ms. Total solver calls (SAT/UNSAT): 2387676(3613/2384063)
May 31, 2017 10:43:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1234/3728 took 333816 ms. Total solver calls (SAT/UNSAT): 2396669(3625/2393044)
May 31, 2017 10:43:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1238/3728 took 334835 ms. Total solver calls (SAT/UNSAT): 2404142(3637/2400505)
May 31, 2017 10:43:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1242/3728 took 335851 ms. Total solver calls (SAT/UNSAT): 2411614(3649/2407965)
May 31, 2017 10:43:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1246/3728 took 336866 ms. Total solver calls (SAT/UNSAT): 2419086(3661/2415425)
May 31, 2017 10:43:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1250/3728 took 337886 ms. Total solver calls (SAT/UNSAT): 2426558(3673/2422885)
May 31, 2017 10:43:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1254/3728 took 338905 ms. Total solver calls (SAT/UNSAT): 2434030(3685/2430345)
May 31, 2017 10:43:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1258/3728 took 340120 ms. Total solver calls (SAT/UNSAT): 2443024(3697/2439327)
May 31, 2017 10:43:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1262/3728 took 341141 ms. Total solver calls (SAT/UNSAT): 2450496(3709/2446787)
May 31, 2017 10:43:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1266/3728 took 342156 ms. Total solver calls (SAT/UNSAT): 2457968(3721/2454247)
May 31, 2017 10:43:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1270/3728 took 343172 ms. Total solver calls (SAT/UNSAT): 2465440(3733/2461707)
May 31, 2017 10:43:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1274/3728 took 344188 ms. Total solver calls (SAT/UNSAT): 2472912(3745/2469167)
May 31, 2017 10:43:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1277/3728 took 345217 ms. Total solver calls (SAT/UNSAT): 2480038(3754/2476284)
May 31, 2017 10:43:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1281/3728 took 346271 ms. Total solver calls (SAT/UNSAT): 2487510(3766/2483744)
May 31, 2017 10:43:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1285/3728 took 347321 ms. Total solver calls (SAT/UNSAT): 2494982(3778/2491204)
May 31, 2017 10:43:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1289/3728 took 348373 ms. Total solver calls (SAT/UNSAT): 2502454(3790/2498664)
May 31, 2017 10:43:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1293/3728 took 349427 ms. Total solver calls (SAT/UNSAT): 2509926(3802/2506124)
May 31, 2017 10:43:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1297/3728 took 350692 ms. Total solver calls (SAT/UNSAT): 2518919(3814/2515105)
May 31, 2017 10:43:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1301/3728 took 351747 ms. Total solver calls (SAT/UNSAT): 2526392(3826/2522566)
May 31, 2017 10:43:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1305/3728 took 352806 ms. Total solver calls (SAT/UNSAT): 2533864(3838/2530026)
May 31, 2017 10:43:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1309/3728 took 353896 ms. Total solver calls (SAT/UNSAT): 2541336(3850/2537486)
May 31, 2017 10:43:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1313/3728 took 354937 ms. Total solver calls (SAT/UNSAT): 2548808(3862/2544946)
May 31, 2017 10:43:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1317/3728 took 355979 ms. Total solver calls (SAT/UNSAT): 2556280(3874/2552406)
May 31, 2017 10:43:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1321/3728 took 357238 ms. Total solver calls (SAT/UNSAT): 2565274(3886/2561388)
May 31, 2017 10:43:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1325/3728 took 358280 ms. Total solver calls (SAT/UNSAT): 2572746(3898/2568848)
May 31, 2017 10:43:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1329/3728 took 359324 ms. Total solver calls (SAT/UNSAT): 2580218(3910/2576308)
May 31, 2017 10:43:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1333/3728 took 360367 ms. Total solver calls (SAT/UNSAT): 2587690(3922/2583768)
May 31, 2017 10:43:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1337/3728 took 361403 ms. Total solver calls (SAT/UNSAT): 2595162(3934/2591228)
May 31, 2017 10:43:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1341/3728 took 362644 ms. Total solver calls (SAT/UNSAT): 2604156(3946/2600210)
May 31, 2017 10:43:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1345/3728 took 363676 ms. Total solver calls (SAT/UNSAT): 2611628(3958/2607670)
May 31, 2017 10:43:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1349/3728 took 364708 ms. Total solver calls (SAT/UNSAT): 2619100(3970/2615130)
May 31, 2017 10:43:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1353/3728 took 365750 ms. Total solver calls (SAT/UNSAT): 2626572(3982/2622590)
May 31, 2017 10:43:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1357/3728 took 366784 ms. Total solver calls (SAT/UNSAT): 2634044(3994/2630050)
May 31, 2017 10:43:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1361/3728 took 368022 ms. Total solver calls (SAT/UNSAT): 2643038(4006/2639032)
May 31, 2017 10:43:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1365/3728 took 369056 ms. Total solver calls (SAT/UNSAT): 2650510(4018/2646492)
May 31, 2017 10:43:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1369/3728 took 370096 ms. Total solver calls (SAT/UNSAT): 2657982(4030/2653952)
May 31, 2017 10:43:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1373/3728 took 371128 ms. Total solver calls (SAT/UNSAT): 2665454(4042/2661412)
May 31, 2017 10:43:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1377/3728 took 372163 ms. Total solver calls (SAT/UNSAT): 2672926(4054/2668872)
May 31, 2017 10:43:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1381/3728 took 373403 ms. Total solver calls (SAT/UNSAT): 2681919(4066/2677853)
May 31, 2017 10:43:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1385/3728 took 374433 ms. Total solver calls (SAT/UNSAT): 2689392(4078/2685314)
May 31, 2017 10:43:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1389/3728 took 375470 ms. Total solver calls (SAT/UNSAT): 2696864(4090/2692774)
May 31, 2017 10:43:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1393/3728 took 376525 ms. Total solver calls (SAT/UNSAT): 2704336(4102/2700234)
May 31, 2017 10:43:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1397/3728 took 377568 ms. Total solver calls (SAT/UNSAT): 2711808(4114/2707694)
May 31, 2017 10:43:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1401/3728 took 378611 ms. Total solver calls (SAT/UNSAT): 2719280(4126/2715154)
May 31, 2017 10:43:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1405/3728 took 379864 ms. Total solver calls (SAT/UNSAT): 2728274(4138/2724136)
May 31, 2017 10:43:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1409/3728 took 380908 ms. Total solver calls (SAT/UNSAT): 2735746(4150/2731596)
May 31, 2017 10:43:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1413/3728 took 381950 ms. Total solver calls (SAT/UNSAT): 2743218(4162/2739056)
May 31, 2017 10:43:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1417/3728 took 382989 ms. Total solver calls (SAT/UNSAT): 2750690(4174/2746516)
May 31, 2017 10:43:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1421/3728 took 384020 ms. Total solver calls (SAT/UNSAT): 2758162(4186/2753976)
May 31, 2017 10:43:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1425/3728 took 385254 ms. Total solver calls (SAT/UNSAT): 2767156(4198/2762958)
May 31, 2017 10:43:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1429/3728 took 386285 ms. Total solver calls (SAT/UNSAT): 2774628(4210/2770418)
May 31, 2017 10:43:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1433/3728 took 387314 ms. Total solver calls (SAT/UNSAT): 2782100(4222/2777878)
May 31, 2017 10:43:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1437/3728 took 388343 ms. Total solver calls (SAT/UNSAT): 2789572(4234/2785338)
May 31, 2017 10:43:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1441/3728 took 389373 ms. Total solver calls (SAT/UNSAT): 2797044(4246/2792798)
May 31, 2017 10:43:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1445/3728 took 390606 ms. Total solver calls (SAT/UNSAT): 2806038(4258/2801780)
May 31, 2017 10:43:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1449/3728 took 391633 ms. Total solver calls (SAT/UNSAT): 2813510(4270/2809240)
May 31, 2017 10:43:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1453/3728 took 392662 ms. Total solver calls (SAT/UNSAT): 2820982(4282/2816700)
May 31, 2017 10:44:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1457/3728 took 393690 ms. Total solver calls (SAT/UNSAT): 2828454(4294/2824160)
May 31, 2017 10:44:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1461/3728 took 394717 ms. Total solver calls (SAT/UNSAT): 2835926(4306/2831620)
May 31, 2017 10:44:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1465/3728 took 395954 ms. Total solver calls (SAT/UNSAT): 2844919(4318/2840601)
May 31, 2017 10:44:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1469/3728 took 396983 ms. Total solver calls (SAT/UNSAT): 2852392(4330/2848062)
May 31, 2017 10:44:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1473/3728 took 398021 ms. Total solver calls (SAT/UNSAT): 2859864(4342/2855522)
May 31, 2017 10:44:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1477/3728 took 399051 ms. Total solver calls (SAT/UNSAT): 2867336(4354/2862982)
May 31, 2017 10:44:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1481/3728 took 400093 ms. Total solver calls (SAT/UNSAT): 2874808(4366/2870442)
May 31, 2017 10:44:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1485/3728 took 401137 ms. Total solver calls (SAT/UNSAT): 2882280(4378/2877902)
May 31, 2017 10:44:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1489/3728 took 402394 ms. Total solver calls (SAT/UNSAT): 2891274(4390/2886884)
May 31, 2017 10:44:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1493/3728 took 403429 ms. Total solver calls (SAT/UNSAT): 2898746(4402/2894344)
May 31, 2017 10:44:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1497/3728 took 404461 ms. Total solver calls (SAT/UNSAT): 2906218(4414/2901804)
May 31, 2017 10:44:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1501/3728 took 405504 ms. Total solver calls (SAT/UNSAT): 2913690(4426/2909264)
May 31, 2017 10:44:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1505/3728 took 406541 ms. Total solver calls (SAT/UNSAT): 2921162(4438/2916724)
May 31, 2017 10:44:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1509/3728 took 407783 ms. Total solver calls (SAT/UNSAT): 2930156(4450/2925706)
May 31, 2017 10:44:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1513/3728 took 408832 ms. Total solver calls (SAT/UNSAT): 2937628(4462/2933166)
May 31, 2017 10:44:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1517/3728 took 409880 ms. Total solver calls (SAT/UNSAT): 2945100(4474/2940626)
May 31, 2017 10:44:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1521/3728 took 410940 ms. Total solver calls (SAT/UNSAT): 2952572(4486/2948086)
May 31, 2017 10:44:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1525/3728 took 411991 ms. Total solver calls (SAT/UNSAT): 2960044(4498/2955546)
May 31, 2017 10:44:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1528/3728 took 412992 ms. Total solver calls (SAT/UNSAT): 2967169(4507/2962662)
May 31, 2017 10:44:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1532/3728 took 414050 ms. Total solver calls (SAT/UNSAT): 2974642(4519/2970123)
May 31, 2017 10:44:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1536/3728 took 415104 ms. Total solver calls (SAT/UNSAT): 2982114(4531/2977583)
May 31, 2017 10:44:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1540/3728 took 416157 ms. Total solver calls (SAT/UNSAT): 2989586(4543/2985043)
May 31, 2017 10:44:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1544/3728 took 417218 ms. Total solver calls (SAT/UNSAT): 2997058(4555/2992503)
May 31, 2017 10:44:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1548/3728 took 418273 ms. Total solver calls (SAT/UNSAT): 3004530(4567/2999963)
May 31, 2017 10:44:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1552/3728 took 419522 ms. Total solver calls (SAT/UNSAT): 3013524(4579/3008945)
May 31, 2017 10:44:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1556/3728 took 420569 ms. Total solver calls (SAT/UNSAT): 3020996(4591/3016405)
May 31, 2017 10:44:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1560/3728 took 421668 ms. Total solver calls (SAT/UNSAT): 3028468(4603/3023865)
May 31, 2017 10:44:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1564/3728 took 422677 ms. Total solver calls (SAT/UNSAT): 3035940(4615/3031325)
May 31, 2017 10:44:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1568/3728 took 423688 ms. Total solver calls (SAT/UNSAT): 3043412(4627/3038785)
May 31, 2017 10:44:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1572/3728 took 424902 ms. Total solver calls (SAT/UNSAT): 3052406(4639/3047767)
May 31, 2017 10:44:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1576/3728 took 425921 ms. Total solver calls (SAT/UNSAT): 3059878(4651/3055227)
May 31, 2017 10:44:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1580/3728 took 426937 ms. Total solver calls (SAT/UNSAT): 3067350(4663/3062687)
May 31, 2017 10:44:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1584/3728 took 427960 ms. Total solver calls (SAT/UNSAT): 3074822(4675/3070147)
May 31, 2017 10:44:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1588/3728 took 428987 ms. Total solver calls (SAT/UNSAT): 3082294(4687/3077607)
May 31, 2017 10:44:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1592/3728 took 430204 ms. Total solver calls (SAT/UNSAT): 3091288(4699/3086589)
May 31, 2017 10:44:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1596/3728 took 431220 ms. Total solver calls (SAT/UNSAT): 3098760(4711/3094049)
May 31, 2017 10:44:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1600/3728 took 432245 ms. Total solver calls (SAT/UNSAT): 3106232(4723/3101509)
May 31, 2017 10:44:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1604/3728 took 433310 ms. Total solver calls (SAT/UNSAT): 3113704(4735/3108969)
May 31, 2017 10:44:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1608/3728 took 434330 ms. Total solver calls (SAT/UNSAT): 3121176(4747/3116429)
May 31, 2017 10:44:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1612/3728 took 435548 ms. Total solver calls (SAT/UNSAT): 3130169(4759/3125410)
May 31, 2017 10:44:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1616/3728 took 436565 ms. Total solver calls (SAT/UNSAT): 3137642(4771/3132871)
May 31, 2017 10:44:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1620/3728 took 437585 ms. Total solver calls (SAT/UNSAT): 3145114(4783/3140331)
May 31, 2017 10:44:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1624/3728 took 438605 ms. Total solver calls (SAT/UNSAT): 3152586(4795/3147791)
May 31, 2017 10:44:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1628/3728 took 439628 ms. Total solver calls (SAT/UNSAT): 3160058(4807/3155251)
May 31, 2017 10:44:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1632/3728 took 440642 ms. Total solver calls (SAT/UNSAT): 3167530(4819/3162711)
May 31, 2017 10:44:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1636/3728 took 441872 ms. Total solver calls (SAT/UNSAT): 3176524(4831/3171693)
May 31, 2017 10:44:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1640/3728 took 442891 ms. Total solver calls (SAT/UNSAT): 3183996(4843/3179153)
May 31, 2017 10:44:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1644/3728 took 443910 ms. Total solver calls (SAT/UNSAT): 3191468(4855/3186613)
May 31, 2017 10:44:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1648/3728 took 444923 ms. Total solver calls (SAT/UNSAT): 3198940(4867/3194073)
May 31, 2017 10:44:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1652/3728 took 445940 ms. Total solver calls (SAT/UNSAT): 3206412(4879/3201533)
May 31, 2017 10:44:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1656/3728 took 447172 ms. Total solver calls (SAT/UNSAT): 3215406(4891/3210515)
May 31, 2017 10:44:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1660/3728 took 448193 ms. Total solver calls (SAT/UNSAT): 3222878(4903/3217975)
May 31, 2017 10:44:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1664/3728 took 449213 ms. Total solver calls (SAT/UNSAT): 3230350(4915/3225435)
May 31, 2017 10:44:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1668/3728 took 450244 ms. Total solver calls (SAT/UNSAT): 3237822(4927/3232895)
May 31, 2017 10:44:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1672/3728 took 451255 ms. Total solver calls (SAT/UNSAT): 3245294(4939/3240355)
May 31, 2017 10:44:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1676/3728 took 452467 ms. Total solver calls (SAT/UNSAT): 3254288(4951/3249337)
May 31, 2017 10:45:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1680/3728 took 453483 ms. Total solver calls (SAT/UNSAT): 3261760(4963/3256797)
May 31, 2017 10:45:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1684/3728 took 454497 ms. Total solver calls (SAT/UNSAT): 3269232(4975/3264257)
May 31, 2017 10:45:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1688/3728 took 455508 ms. Total solver calls (SAT/UNSAT): 3276704(4987/3271717)
May 31, 2017 10:45:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1692/3728 took 456527 ms. Total solver calls (SAT/UNSAT): 3284176(4999/3279177)
May 31, 2017 10:45:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1696/3728 took 457739 ms. Total solver calls (SAT/UNSAT): 3293169(5011/3288158)
May 31, 2017 10:45:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1700/3728 took 458752 ms. Total solver calls (SAT/UNSAT): 3300642(5023/3295619)
May 31, 2017 10:45:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1704/3728 took 459765 ms. Total solver calls (SAT/UNSAT): 3308114(5035/3303079)
May 31, 2017 10:45:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1708/3728 took 460783 ms. Total solver calls (SAT/UNSAT): 3315586(5047/3310539)
May 31, 2017 10:45:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1712/3728 took 461795 ms. Total solver calls (SAT/UNSAT): 3323058(5059/3317999)
May 31, 2017 10:45:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1716/3728 took 462809 ms. Total solver calls (SAT/UNSAT): 3330530(5071/3325459)
May 31, 2017 10:45:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1720/3728 took 464026 ms. Total solver calls (SAT/UNSAT): 3339524(5083/3334441)
May 31, 2017 10:45:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1724/3728 took 465046 ms. Total solver calls (SAT/UNSAT): 3346996(5095/3341901)
May 31, 2017 10:45:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1728/3728 took 466059 ms. Total solver calls (SAT/UNSAT): 3354468(5107/3349361)
May 31, 2017 10:45:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1732/3728 took 467078 ms. Total solver calls (SAT/UNSAT): 3361940(5119/3356821)
May 31, 2017 10:45:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1736/3728 took 468097 ms. Total solver calls (SAT/UNSAT): 3369412(5131/3364281)
May 31, 2017 10:45:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1740/3728 took 469323 ms. Total solver calls (SAT/UNSAT): 3378406(5143/3373263)
May 31, 2017 10:45:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1744/3728 took 470363 ms. Total solver calls (SAT/UNSAT): 3385878(5155/3380723)
May 31, 2017 10:45:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1748/3728 took 471369 ms. Total solver calls (SAT/UNSAT): 3393350(5167/3388183)
May 31, 2017 10:45:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1752/3728 took 472388 ms. Total solver calls (SAT/UNSAT): 3400822(5179/3395643)
May 31, 2017 10:45:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1756/3728 took 473408 ms. Total solver calls (SAT/UNSAT): 3408294(5191/3403103)
May 31, 2017 10:45:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1760/3728 took 474634 ms. Total solver calls (SAT/UNSAT): 3417287(5203/3412084)
May 31, 2017 10:45:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1764/3728 took 475651 ms. Total solver calls (SAT/UNSAT): 3424755(5215/3419540)
May 31, 2017 10:45:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1768/3728 took 476670 ms. Total solver calls (SAT/UNSAT): 3432223(5227/3426996)
May 31, 2017 10:45:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1772/3728 took 477685 ms. Total solver calls (SAT/UNSAT): 3439691(5239/3434452)
May 31, 2017 10:45:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1776/3728 took 478702 ms. Total solver calls (SAT/UNSAT): 3447159(5251/3441908)
May 31, 2017 10:45:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1780/3728 took 479914 ms. Total solver calls (SAT/UNSAT): 3456148(5263/3450885)
May 31, 2017 10:45:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1784/3728 took 480973 ms. Total solver calls (SAT/UNSAT): 3463621(5275/3458346)
May 31, 2017 10:45:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1788/3728 took 481995 ms. Total solver calls (SAT/UNSAT): 3471093(5287/3465806)
May 31, 2017 10:45:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1792/3728 took 483022 ms. Total solver calls (SAT/UNSAT): 3478565(5299/3473266)
May 31, 2017 10:45:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1796/3728 took 484038 ms. Total solver calls (SAT/UNSAT): 3486037(5311/3480726)
May 31, 2017 10:45:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1800/3728 took 485063 ms. Total solver calls (SAT/UNSAT): 3493509(5323/3488186)
May 31, 2017 10:45:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1804/3728 took 486288 ms. Total solver calls (SAT/UNSAT): 3502503(5335/3497168)
May 31, 2017 10:45:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1808/3728 took 487307 ms. Total solver calls (SAT/UNSAT): 3509975(5347/3504628)
May 31, 2017 10:45:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1812/3728 took 488330 ms. Total solver calls (SAT/UNSAT): 3517447(5359/3512088)
May 31, 2017 10:45:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1816/3728 took 489355 ms. Total solver calls (SAT/UNSAT): 3524919(5371/3519548)
May 31, 2017 10:45:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1820/3728 took 490380 ms. Total solver calls (SAT/UNSAT): 3532391(5383/3527008)
May 31, 2017 10:45:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1824/3728 took 491605 ms. Total solver calls (SAT/UNSAT): 3541385(5395/3535990)
May 31, 2017 10:45:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1828/3728 took 492629 ms. Total solver calls (SAT/UNSAT): 3548857(5407/3543450)
May 31, 2017 10:45:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1832/3728 took 493658 ms. Total solver calls (SAT/UNSAT): 3556329(5419/3550910)
May 31, 2017 10:45:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1836/3728 took 494686 ms. Total solver calls (SAT/UNSAT): 3563801(5431/3558370)
May 31, 2017 10:45:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1840/3728 took 495703 ms. Total solver calls (SAT/UNSAT): 3571273(5443/3565830)
May 31, 2017 10:45:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1844/3728 took 496935 ms. Total solver calls (SAT/UNSAT): 3580267(5455/3574812)
May 31, 2017 10:45:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1848/3728 took 497963 ms. Total solver calls (SAT/UNSAT): 3587739(5467/3582272)
May 31, 2017 10:45:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1852/3728 took 498987 ms. Total solver calls (SAT/UNSAT): 3595211(5479/3589732)
May 31, 2017 10:45:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1856/3728 took 500012 ms. Total solver calls (SAT/UNSAT): 3602683(5491/3597192)
May 31, 2017 10:45:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1860/3728 took 501040 ms. Total solver calls (SAT/UNSAT): 3610155(5503/3604652)
May 31, 2017 10:45:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1864/3728 took 502278 ms. Total solver calls (SAT/UNSAT): 3619148(5515/3613633)
May 31, 2017 10:45:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1868/3728 took 503299 ms. Total solver calls (SAT/UNSAT): 3626621(5527/3621094)
May 31, 2017 10:45:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1872/3728 took 504327 ms. Total solver calls (SAT/UNSAT): 3634093(5539/3628554)
May 31, 2017 10:45:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1876/3728 took 505353 ms. Total solver calls (SAT/UNSAT): 3641565(5551/3636014)
May 31, 2017 10:45:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1880/3728 took 506371 ms. Total solver calls (SAT/UNSAT): 3649037(5563/3643474)
May 31, 2017 10:45:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1884/3728 took 507400 ms. Total solver calls (SAT/UNSAT): 3656509(5575/3650934)
May 31, 2017 10:45:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1888/3728 took 508630 ms. Total solver calls (SAT/UNSAT): 3665503(5587/3659916)
May 31, 2017 10:45:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1892/3728 took 509658 ms. Total solver calls (SAT/UNSAT): 3672975(5599/3667376)
May 31, 2017 10:45:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1896/3728 took 510683 ms. Total solver calls (SAT/UNSAT): 3680447(5611/3674836)
May 31, 2017 10:45:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1900/3728 took 511721 ms. Total solver calls (SAT/UNSAT): 3687919(5623/3682296)
May 31, 2017 10:45:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1904/3728 took 512790 ms. Total solver calls (SAT/UNSAT): 3695391(5635/3689756)
May 31, 2017 10:46:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1907/3728 took 513793 ms. Total solver calls (SAT/UNSAT): 3702517(5644/3696873)
May 31, 2017 10:46:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1911/3728 took 514849 ms. Total solver calls (SAT/UNSAT): 3709989(5656/3704333)
May 31, 2017 10:46:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1915/3728 took 515856 ms. Total solver calls (SAT/UNSAT): 3717461(5668/3711793)
May 31, 2017 10:46:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1920/3728 took 517071 ms. Total solver calls (SAT/UNSAT): 3726801(5683/3721118)
May 31, 2017 10:46:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1924/3728 took 518140 ms. Total solver calls (SAT/UNSAT): 3734273(5695/3728578)
May 31, 2017 10:46:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1927/3728 took 519153 ms. Total solver calls (SAT/UNSAT): 3741398(5704/3735694)
May 31, 2017 10:46:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1931/3728 took 520177 ms. Total solver calls (SAT/UNSAT): 3748871(5716/3743155)
May 31, 2017 10:46:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1935/3728 took 521194 ms. Total solver calls (SAT/UNSAT): 3756343(5728/3750615)
May 31, 2017 10:46:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1939/3728 took 522225 ms. Total solver calls (SAT/UNSAT): 3763815(5740/3758075)
May 31, 2017 10:46:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1943/3728 took 523271 ms. Total solver calls (SAT/UNSAT): 3771287(5752/3765535)
May 31, 2017 10:46:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1947/3728 took 524310 ms. Total solver calls (SAT/UNSAT): 3778759(5764/3772995)
May 31, 2017 10:46:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1951/3728 took 525560 ms. Total solver calls (SAT/UNSAT): 3787753(5776/3781977)
May 31, 2017 10:46:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1955/3728 took 526659 ms. Total solver calls (SAT/UNSAT): 3795225(5788/3789437)
May 31, 2017 10:46:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1959/3728 took 527731 ms. Total solver calls (SAT/UNSAT): 3802697(5800/3796897)
May 31, 2017 10:46:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1963/3728 took 528795 ms. Total solver calls (SAT/UNSAT): 3810169(5812/3804357)
May 31, 2017 10:46:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1967/3728 took 529860 ms. Total solver calls (SAT/UNSAT): 3817641(5824/3811817)
May 31, 2017 10:46:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1970/3728 took 530874 ms. Total solver calls (SAT/UNSAT): 3824767(5833/3818934)
May 31, 2017 10:46:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1974/3728 took 531982 ms. Total solver calls (SAT/UNSAT): 3832239(5845/3826394)
May 31, 2017 10:46:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1978/3728 took 533048 ms. Total solver calls (SAT/UNSAT): 3839711(5857/3833854)
May 31, 2017 10:46:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1982/3728 took 534091 ms. Total solver calls (SAT/UNSAT): 3847183(5869/3841314)
May 31, 2017 10:46:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1986/3728 took 535145 ms. Total solver calls (SAT/UNSAT): 3854655(5881/3848774)
May 31, 2017 10:46:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1990/3728 took 536418 ms. Total solver calls (SAT/UNSAT): 3863648(5893/3857755)
May 31, 2017 10:46:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1994/3728 took 537486 ms. Total solver calls (SAT/UNSAT): 3871121(5905/3865216)
May 31, 2017 10:46:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1998/3728 took 538560 ms. Total solver calls (SAT/UNSAT): 3878593(5917/3872676)
May 31, 2017 10:46:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2002/3728 took 539602 ms. Total solver calls (SAT/UNSAT): 3886065(5929/3880136)
May 31, 2017 10:46:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2006/3728 took 540654 ms. Total solver calls (SAT/UNSAT): 3893537(5941/3887596)
May 31, 2017 10:46:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2010/3728 took 541712 ms. Total solver calls (SAT/UNSAT): 3901009(5953/3895056)
May 31, 2017 10:46:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2013/3728 took 542714 ms. Total solver calls (SAT/UNSAT): 3908135(5962/3902173)
May 31, 2017 10:46:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2017/3728 took 543778 ms. Total solver calls (SAT/UNSAT): 3915607(5974/3909633)
May 31, 2017 10:46:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2021/3728 took 544785 ms. Total solver calls (SAT/UNSAT): 3923079(5986/3917093)
May 31, 2017 10:46:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2026/3728 took 546039 ms. Total solver calls (SAT/UNSAT): 3932419(6001/3926418)
May 31, 2017 10:46:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2030/3728 took 547065 ms. Total solver calls (SAT/UNSAT): 3939891(6013/3933878)
May 31, 2017 10:46:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2034/3728 took 548313 ms. Total solver calls (SAT/UNSAT): 3948885(6025/3942860)
May 31, 2017 10:46:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2038/3728 took 549357 ms. Total solver calls (SAT/UNSAT): 3956357(6037/3950320)
May 31, 2017 10:46:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2042/3728 took 550398 ms. Total solver calls (SAT/UNSAT): 3963829(6049/3957780)
May 31, 2017 10:46:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2046/3728 took 551416 ms. Total solver calls (SAT/UNSAT): 3971301(6061/3965240)
May 31, 2017 10:46:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2050/3728 took 552443 ms. Total solver calls (SAT/UNSAT): 3978773(6073/3972700)
May 31, 2017 10:46:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2054/3728 took 553671 ms. Total solver calls (SAT/UNSAT): 3987767(6085/3981682)
May 31, 2017 10:46:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2058/3728 took 554699 ms. Total solver calls (SAT/UNSAT): 3995239(6097/3989142)
May 31, 2017 10:46:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2062/3728 took 555727 ms. Total solver calls (SAT/UNSAT): 4002711(6109/3996602)
May 31, 2017 10:46:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2066/3728 took 556774 ms. Total solver calls (SAT/UNSAT): 4010183(6121/4004062)
May 31, 2017 10:46:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2070/3728 took 557812 ms. Total solver calls (SAT/UNSAT): 4017655(6133/4011522)
May 31, 2017 10:46:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2074/3728 took 559060 ms. Total solver calls (SAT/UNSAT): 4026648(6145/4020503)
May 31, 2017 10:46:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2078/3728 took 560100 ms. Total solver calls (SAT/UNSAT): 4034121(6157/4027964)
May 31, 2017 10:46:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2082/3728 took 561139 ms. Total solver calls (SAT/UNSAT): 4041593(6169/4035424)
May 31, 2017 10:46:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2086/3728 took 562222 ms. Total solver calls (SAT/UNSAT): 4049065(6181/4042884)
May 31, 2017 10:46:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2090/3728 took 563274 ms. Total solver calls (SAT/UNSAT): 4056537(6193/4050344)
May 31, 2017 10:46:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2094/3728 took 564322 ms. Total solver calls (SAT/UNSAT): 4064009(6205/4057804)
May 31, 2017 10:46:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2098/3728 took 565568 ms. Total solver calls (SAT/UNSAT): 4073003(6217/4066786)
May 31, 2017 10:46:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2102/3728 took 566616 ms. Total solver calls (SAT/UNSAT): 4080475(6229/4074246)
May 31, 2017 10:46:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2106/3728 took 567647 ms. Total solver calls (SAT/UNSAT): 4087947(6241/4081706)
May 31, 2017 10:46:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2110/3728 took 568685 ms. Total solver calls (SAT/UNSAT): 4095419(6253/4089166)
May 31, 2017 10:46:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2114/3728 took 569715 ms. Total solver calls (SAT/UNSAT): 4102891(6265/4096626)
May 31, 2017 10:46:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2118/3728 took 570965 ms. Total solver calls (SAT/UNSAT): 4111885(6277/4105608)
May 31, 2017 10:46:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2122/3728 took 572011 ms. Total solver calls (SAT/UNSAT): 4119357(6289/4113068)
May 31, 2017 10:46:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2126/3728 took 573044 ms. Total solver calls (SAT/UNSAT): 4126829(6301/4120528)
May 31, 2017 10:47:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2130/3728 took 574081 ms. Total solver calls (SAT/UNSAT): 4134301(6313/4127988)
May 31, 2017 10:47:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2134/3728 took 575116 ms. Total solver calls (SAT/UNSAT): 4141773(6325/4135448)
May 31, 2017 10:47:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2138/3728 took 576359 ms. Total solver calls (SAT/UNSAT): 4150767(6337/4144430)
May 31, 2017 10:47:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2142/3728 took 577399 ms. Total solver calls (SAT/UNSAT): 4158239(6349/4151890)
May 31, 2017 10:47:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2146/3728 took 578448 ms. Total solver calls (SAT/UNSAT): 4165711(6361/4159350)
May 31, 2017 10:47:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2150/3728 took 579480 ms. Total solver calls (SAT/UNSAT): 4173183(6373/4166810)
May 31, 2017 10:47:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2154/3728 took 580526 ms. Total solver calls (SAT/UNSAT): 4180655(6385/4174270)
May 31, 2017 10:47:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2158/3728 took 581780 ms. Total solver calls (SAT/UNSAT): 4189648(6397/4183251)
May 31, 2017 10:47:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2162/3728 took 582823 ms. Total solver calls (SAT/UNSAT): 4197121(6409/4190712)
May 31, 2017 10:47:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2166/3728 took 583844 ms. Total solver calls (SAT/UNSAT): 4204593(6421/4198172)
May 31, 2017 10:47:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2170/3728 took 584869 ms. Total solver calls (SAT/UNSAT): 4212065(6433/4205632)
May 31, 2017 10:47:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2174/3728 took 585890 ms. Total solver calls (SAT/UNSAT): 4219537(6445/4213092)
May 31, 2017 10:47:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2178/3728 took 586911 ms. Total solver calls (SAT/UNSAT): 4227009(6457/4220552)
May 31, 2017 10:47:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2182/3728 took 588134 ms. Total solver calls (SAT/UNSAT): 4236003(6469/4229534)
May 31, 2017 10:47:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2186/3728 took 589152 ms. Total solver calls (SAT/UNSAT): 4243475(6481/4236994)
May 31, 2017 10:47:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2190/3728 took 590172 ms. Total solver calls (SAT/UNSAT): 4250947(6493/4244454)
May 31, 2017 10:47:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2194/3728 took 591174 ms. Total solver calls (SAT/UNSAT): 4258419(6505/4251914)
May 31, 2017 10:47:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2198/3728 took 592175 ms. Total solver calls (SAT/UNSAT): 4265891(6517/4259374)
May 31, 2017 10:47:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2202/3728 took 593398 ms. Total solver calls (SAT/UNSAT): 4274885(6529/4268356)
May 31, 2017 10:47:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2206/3728 took 594426 ms. Total solver calls (SAT/UNSAT): 4282357(6541/4275816)
May 31, 2017 10:47:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2210/3728 took 595459 ms. Total solver calls (SAT/UNSAT): 4289829(6553/4283276)
May 31, 2017 10:47:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2214/3728 took 596531 ms. Total solver calls (SAT/UNSAT): 4297301(6565/4290736)
May 31, 2017 10:47:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2218/3728 took 597571 ms. Total solver calls (SAT/UNSAT): 4304773(6577/4298196)
May 31, 2017 10:47:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2222/3728 took 598810 ms. Total solver calls (SAT/UNSAT): 4313767(6589/4307178)
May 31, 2017 10:47:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2226/3728 took 599831 ms. Total solver calls (SAT/UNSAT): 4321239(6601/4314638)
May 31, 2017 10:47:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2230/3728 took 600856 ms. Total solver calls (SAT/UNSAT): 4328711(6613/4322098)
May 31, 2017 10:47:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2234/3728 took 601858 ms. Total solver calls (SAT/UNSAT): 4336183(6625/4329558)
May 31, 2017 10:47:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2239/3728 took 603103 ms. Total solver calls (SAT/UNSAT): 4345523(6640/4338883)
May 31, 2017 10:47:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2243/3728 took 604375 ms. Total solver calls (SAT/UNSAT): 4354517(6652/4347865)
May 31, 2017 10:47:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2247/3728 took 605396 ms. Total solver calls (SAT/UNSAT): 4361989(6664/4355325)
May 31, 2017 10:47:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2251/3728 took 606425 ms. Total solver calls (SAT/UNSAT): 4369461(6676/4362785)
May 31, 2017 10:47:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2255/3728 took 607452 ms. Total solver calls (SAT/UNSAT): 4376933(6688/4370245)
May 31, 2017 10:47:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2259/3728 took 608490 ms. Total solver calls (SAT/UNSAT): 4384405(6700/4377705)
May 31, 2017 10:47:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2263/3728 took 609741 ms. Total solver calls (SAT/UNSAT): 4393398(6712/4386686)
May 31, 2017 10:47:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2267/3728 took 610781 ms. Total solver calls (SAT/UNSAT): 4400871(6724/4394147)
May 31, 2017 10:47:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2271/3728 took 611808 ms. Total solver calls (SAT/UNSAT): 4408343(6736/4401607)
May 31, 2017 10:47:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2275/3728 took 612833 ms. Total solver calls (SAT/UNSAT): 4415815(6748/4409067)
May 31, 2017 10:47:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2280/3728 took 614076 ms. Total solver calls (SAT/UNSAT): 4425155(6763/4418392)
May 31, 2017 10:47:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2284/3728 took 615290 ms. Total solver calls (SAT/UNSAT): 4434148(6775/4427373)
May 31, 2017 10:47:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2288/3728 took 616298 ms. Total solver calls (SAT/UNSAT): 4441621(6787/4434834)
May 31, 2017 10:47:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2292/3728 took 617326 ms. Total solver calls (SAT/UNSAT): 4449093(6799/4442294)
May 31, 2017 10:47:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2296/3728 took 618381 ms. Total solver calls (SAT/UNSAT): 4456565(6811/4449754)
May 31, 2017 10:47:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2300/3728 took 619402 ms. Total solver calls (SAT/UNSAT): 4464037(6823/4457214)
May 31, 2017 10:47:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2304/3728 took 620438 ms. Total solver calls (SAT/UNSAT): 4471509(6835/4464674)
May 31, 2017 10:47:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2308/3728 took 621677 ms. Total solver calls (SAT/UNSAT): 4480503(6847/4473656)
May 31, 2017 10:47:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2312/3728 took 622701 ms. Total solver calls (SAT/UNSAT): 4487975(6859/4481116)
May 31, 2017 10:47:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2316/3728 took 623740 ms. Total solver calls (SAT/UNSAT): 4495447(6871/4488576)
May 31, 2017 10:47:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2320/3728 took 624786 ms. Total solver calls (SAT/UNSAT): 4502919(6883/4496036)
May 31, 2017 10:47:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2324/3728 took 625834 ms. Total solver calls (SAT/UNSAT): 4510391(6895/4503496)
May 31, 2017 10:47:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2328/3728 took 627081 ms. Total solver calls (SAT/UNSAT): 4519385(6907/4512478)
May 31, 2017 10:47:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2332/3728 took 628142 ms. Total solver calls (SAT/UNSAT): 4526857(6919/4519938)
May 31, 2017 10:47:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2336/3728 took 629182 ms. Total solver calls (SAT/UNSAT): 4534329(6931/4527398)
May 31, 2017 10:47:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2340/3728 took 630204 ms. Total solver calls (SAT/UNSAT): 4541801(6943/4534858)
May 31, 2017 10:47:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2344/3728 took 631218 ms. Total solver calls (SAT/UNSAT): 4549273(6955/4542318)
May 31, 2017 10:47:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2348/3728 took 632433 ms. Total solver calls (SAT/UNSAT): 4558267(6967/4551300)
May 31, 2017 10:48:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2352/3728 took 633439 ms. Total solver calls (SAT/UNSAT): 4565739(6979/4558760)
May 31, 2017 10:48:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2356/3728 took 634444 ms. Total solver calls (SAT/UNSAT): 4573211(6991/4566220)
May 31, 2017 10:48:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2360/3728 took 635508 ms. Total solver calls (SAT/UNSAT): 4580683(7003/4573680)
May 31, 2017 10:48:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2364/3728 took 636532 ms. Total solver calls (SAT/UNSAT): 4588155(7015/4581140)
May 31, 2017 10:48:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2368/3728 took 637772 ms. Total solver calls (SAT/UNSAT): 4597148(7027/4590121)
May 31, 2017 10:48:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2372/3728 took 638805 ms. Total solver calls (SAT/UNSAT): 4604621(7039/4597582)
May 31, 2017 10:48:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2376/3728 took 639827 ms. Total solver calls (SAT/UNSAT): 4612093(7051/4605042)
May 31, 2017 10:48:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2380/3728 took 640850 ms. Total solver calls (SAT/UNSAT): 4619565(7063/4612502)
May 31, 2017 10:48:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2385/3728 took 642150 ms. Total solver calls (SAT/UNSAT): 4628905(7078/4621827)
May 31, 2017 10:48:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2389/3728 took 643368 ms. Total solver calls (SAT/UNSAT): 4637898(7090/4630808)
May 31, 2017 10:48:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2393/3728 took 644394 ms. Total solver calls (SAT/UNSAT): 4645371(7102/4638269)
May 31, 2017 10:48:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2397/3728 took 645427 ms. Total solver calls (SAT/UNSAT): 4652843(7114/4645729)
May 31, 2017 10:48:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2401/3728 took 646487 ms. Total solver calls (SAT/UNSAT): 4660315(7126/4653189)
May 31, 2017 10:48:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2405/3728 took 647514 ms. Total solver calls (SAT/UNSAT): 4667787(7138/4660649)
May 31, 2017 10:48:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2409/3728 took 648550 ms. Total solver calls (SAT/UNSAT): 4675259(7150/4668109)
May 31, 2017 10:48:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2413/3728 took 649786 ms. Total solver calls (SAT/UNSAT): 4684253(7162/4677091)
May 31, 2017 10:48:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2417/3728 took 650818 ms. Total solver calls (SAT/UNSAT): 4691725(7174/4684551)
May 31, 2017 10:48:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2421/3728 took 651846 ms. Total solver calls (SAT/UNSAT): 4699197(7186/4692011)
May 31, 2017 10:48:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2425/3728 took 652877 ms. Total solver calls (SAT/UNSAT): 4706669(7198/4699471)
May 31, 2017 10:48:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2429/3728 took 653892 ms. Total solver calls (SAT/UNSAT): 4714141(7210/4706931)
May 31, 2017 10:48:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2433/3728 took 655136 ms. Total solver calls (SAT/UNSAT): 4723135(7222/4715913)
May 31, 2017 10:48:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2437/3728 took 656179 ms. Total solver calls (SAT/UNSAT): 4730607(7234/4723373)
May 31, 2017 10:48:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2441/3728 took 657209 ms. Total solver calls (SAT/UNSAT): 4738079(7246/4730833)
May 31, 2017 10:48:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2445/3728 took 658223 ms. Total solver calls (SAT/UNSAT): 4745551(7258/4738293)
May 31, 2017 10:48:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2449/3728 took 659229 ms. Total solver calls (SAT/UNSAT): 4753023(7270/4745753)
May 31, 2017 10:48:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2453/3728 took 660450 ms. Total solver calls (SAT/UNSAT): 4762017(7282/4754735)
May 31, 2017 10:48:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2457/3728 took 661451 ms. Total solver calls (SAT/UNSAT): 4769489(7294/4762195)
May 31, 2017 10:48:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2462/3728 took 662695 ms. Total solver calls (SAT/UNSAT): 4778829(7309/4771520)
May 31, 2017 10:48:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2466/3728 took 663750 ms. Total solver calls (SAT/UNSAT): 4786301(7321/4778980)
May 31, 2017 10:48:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2470/3728 took 664782 ms. Total solver calls (SAT/UNSAT): 4793773(7333/4786440)
May 31, 2017 10:48:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2474/3728 took 666022 ms. Total solver calls (SAT/UNSAT): 4802767(7345/4795422)
May 31, 2017 10:48:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2478/3728 took 667060 ms. Total solver calls (SAT/UNSAT): 4810239(7357/4802882)
May 31, 2017 10:48:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2482/3728 took 668094 ms. Total solver calls (SAT/UNSAT): 4817711(7369/4810342)
May 31, 2017 10:48:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2486/3728 took 669151 ms. Total solver calls (SAT/UNSAT): 4825183(7381/4817802)
May 31, 2017 10:48:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2490/3728 took 670178 ms. Total solver calls (SAT/UNSAT): 4832655(7393/4825262)
May 31, 2017 10:48:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2494/3728 took 671401 ms. Total solver calls (SAT/UNSAT): 4841648(7405/4834243)
May 31, 2017 10:48:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2498/3728 took 672405 ms. Total solver calls (SAT/UNSAT): 4849121(7417/4841704)
May 31, 2017 10:48:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2502/3728 took 673432 ms. Total solver calls (SAT/UNSAT): 4856593(7429/4849164)
May 31, 2017 10:48:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2506/3728 took 674465 ms. Total solver calls (SAT/UNSAT): 4864065(7441/4856624)
May 31, 2017 10:48:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2510/3728 took 675493 ms. Total solver calls (SAT/UNSAT): 4871537(7453/4864084)
May 31, 2017 10:48:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2514/3728 took 676525 ms. Total solver calls (SAT/UNSAT): 4879009(7465/4871544)
May 31, 2017 10:48:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2518/3728 took 677754 ms. Total solver calls (SAT/UNSAT): 4888003(7477/4880526)
May 31, 2017 10:48:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2522/3728 took 678780 ms. Total solver calls (SAT/UNSAT): 4895475(7489/4887986)
May 31, 2017 10:48:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2526/3728 took 679815 ms. Total solver calls (SAT/UNSAT): 4902947(7501/4895446)
May 31, 2017 10:48:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2530/3728 took 680851 ms. Total solver calls (SAT/UNSAT): 4910419(7513/4902906)
May 31, 2017 10:48:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2534/3728 took 681934 ms. Total solver calls (SAT/UNSAT): 4917891(7525/4910366)
May 31, 2017 10:48:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2538/3728 took 683181 ms. Total solver calls (SAT/UNSAT): 4926885(7537/4919348)
May 31, 2017 10:48:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2542/3728 took 684219 ms. Total solver calls (SAT/UNSAT): 4934357(7549/4926808)
May 31, 2017 10:48:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2546/3728 took 685258 ms. Total solver calls (SAT/UNSAT): 4941829(7561/4934268)
May 31, 2017 10:48:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2550/3728 took 686308 ms. Total solver calls (SAT/UNSAT): 4949301(7573/4941728)
May 31, 2017 10:48:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2554/3728 took 687328 ms. Total solver calls (SAT/UNSAT): 4956773(7585/4949188)
May 31, 2017 10:48:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2558/3728 took 688585 ms. Total solver calls (SAT/UNSAT): 4965767(7597/4958170)
May 31, 2017 10:48:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2562/3728 took 689619 ms. Total solver calls (SAT/UNSAT): 4973239(7609/4965630)
May 31, 2017 10:48:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2566/3728 took 690654 ms. Total solver calls (SAT/UNSAT): 4980711(7621/4973090)
May 31, 2017 10:48:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2570/3728 took 691694 ms. Total solver calls (SAT/UNSAT): 4988183(7633/4980550)
May 31, 2017 10:48:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2574/3728 took 692749 ms. Total solver calls (SAT/UNSAT): 4995655(7645/4988010)
May 31, 2017 10:49:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2578/3728 took 694005 ms. Total solver calls (SAT/UNSAT): 5004648(7657/4996991)
May 31, 2017 10:49:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2582/3728 took 695042 ms. Total solver calls (SAT/UNSAT): 5012121(7669/5004452)
May 31, 2017 10:49:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2586/3728 took 696069 ms. Total solver calls (SAT/UNSAT): 5019593(7681/5011912)
May 31, 2017 10:49:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2590/3728 took 697103 ms. Total solver calls (SAT/UNSAT): 5027065(7693/5019372)
May 31, 2017 10:49:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2594/3728 took 698138 ms. Total solver calls (SAT/UNSAT): 5034537(7705/5026832)
May 31, 2017 10:49:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2598/3728 took 699175 ms. Total solver calls (SAT/UNSAT): 5042009(7717/5034292)
May 31, 2017 10:49:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2602/3728 took 700420 ms. Total solver calls (SAT/UNSAT): 5051003(7729/5043274)
May 31, 2017 10:49:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2606/3728 took 701465 ms. Total solver calls (SAT/UNSAT): 5058475(7741/5050734)
May 31, 2017 10:49:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2610/3728 took 702506 ms. Total solver calls (SAT/UNSAT): 5065947(7753/5058194)
May 31, 2017 10:49:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2614/3728 took 703531 ms. Total solver calls (SAT/UNSAT): 5073419(7765/5065654)
May 31, 2017 10:49:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2618/3728 took 704567 ms. Total solver calls (SAT/UNSAT): 5080891(7777/5073114)
May 31, 2017 10:49:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2622/3728 took 705811 ms. Total solver calls (SAT/UNSAT): 5089885(7789/5082096)
May 31, 2017 10:49:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2626/3728 took 706835 ms. Total solver calls (SAT/UNSAT): 5097357(7801/5089556)
May 31, 2017 10:49:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2630/3728 took 707843 ms. Total solver calls (SAT/UNSAT): 5104829(7813/5097016)
May 31, 2017 10:49:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2634/3728 took 708878 ms. Total solver calls (SAT/UNSAT): 5112301(7825/5104476)
May 31, 2017 10:49:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2638/3728 took 709911 ms. Total solver calls (SAT/UNSAT): 5119773(7837/5111936)
May 31, 2017 10:49:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2642/3728 took 711150 ms. Total solver calls (SAT/UNSAT): 5128767(7849/5120918)
May 31, 2017 10:49:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2646/3728 took 712195 ms. Total solver calls (SAT/UNSAT): 5136239(7861/5128378)
May 31, 2017 10:49:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2650/3728 took 713233 ms. Total solver calls (SAT/UNSAT): 5143711(7873/5135838)
May 31, 2017 10:49:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2654/3728 took 714264 ms. Total solver calls (SAT/UNSAT): 5151183(7885/5143298)
May 31, 2017 10:49:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2658/3728 took 715291 ms. Total solver calls (SAT/UNSAT): 5158655(7897/5150758)
May 31, 2017 10:49:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2662/3728 took 716529 ms. Total solver calls (SAT/UNSAT): 5167648(7909/5159739)
May 31, 2017 10:49:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2666/3728 took 717564 ms. Total solver calls (SAT/UNSAT): 5175121(7921/5167200)
May 31, 2017 10:49:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2670/3728 took 718593 ms. Total solver calls (SAT/UNSAT): 5182593(7933/5174660)
May 31, 2017 10:49:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2674/3728 took 719614 ms. Total solver calls (SAT/UNSAT): 5190065(7945/5182120)
May 31, 2017 10:49:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2678/3728 took 720640 ms. Total solver calls (SAT/UNSAT): 5197537(7957/5189580)
May 31, 2017 10:49:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2682/3728 took 721674 ms. Total solver calls (SAT/UNSAT): 5205009(7969/5197040)
May 31, 2017 10:49:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2685/3728 took 722818 ms. Total solver calls (SAT/UNSAT): 5212135(7978/5204157)
May 31, 2017 10:49:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2689/3728 took 723843 ms. Total solver calls (SAT/UNSAT): 5219607(7990/5211617)
May 31, 2017 10:49:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2693/3728 took 724870 ms. Total solver calls (SAT/UNSAT): 5227079(8002/5219077)
May 31, 2017 10:49:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2697/3728 took 725899 ms. Total solver calls (SAT/UNSAT): 5234551(8014/5226537)
May 31, 2017 10:49:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2701/3728 took 726919 ms. Total solver calls (SAT/UNSAT): 5242023(8026/5233997)
May 31, 2017 10:49:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2705/3728 took 728135 ms. Total solver calls (SAT/UNSAT): 5251017(8038/5242979)
May 31, 2017 10:49:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2709/3728 took 729144 ms. Total solver calls (SAT/UNSAT): 5258489(8050/5250439)
May 31, 2017 10:49:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2713/3728 took 730150 ms. Total solver calls (SAT/UNSAT): 5265961(8062/5257899)
May 31, 2017 10:49:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2717/3728 took 731162 ms. Total solver calls (SAT/UNSAT): 5273433(8074/5265359)
May 31, 2017 10:49:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2721/3728 took 732189 ms. Total solver calls (SAT/UNSAT): 5280905(8086/5272819)
May 31, 2017 10:49:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2725/3728 took 733431 ms. Total solver calls (SAT/UNSAT): 5289898(8098/5281800)
May 31, 2017 10:49:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2729/3728 took 734518 ms. Total solver calls (SAT/UNSAT): 5297371(8110/5289261)
May 31, 2017 10:49:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2733/3728 took 735556 ms. Total solver calls (SAT/UNSAT): 5304843(8122/5296721)
May 31, 2017 10:49:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2737/3728 took 736601 ms. Total solver calls (SAT/UNSAT): 5312315(8134/5304181)
May 31, 2017 10:49:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2741/3728 took 737630 ms. Total solver calls (SAT/UNSAT): 5319787(8146/5311641)
May 31, 2017 10:49:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2745/3728 took 738669 ms. Total solver calls (SAT/UNSAT): 5327259(8158/5319101)
May 31, 2017 10:49:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2749/3728 took 739918 ms. Total solver calls (SAT/UNSAT): 5336253(8170/5328083)
May 31, 2017 10:49:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2753/3728 took 740972 ms. Total solver calls (SAT/UNSAT): 5343725(8182/5335543)
May 31, 2017 10:49:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2757/3728 took 741992 ms. Total solver calls (SAT/UNSAT): 5351197(8194/5343003)
May 31, 2017 10:49:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2761/3728 took 743014 ms. Total solver calls (SAT/UNSAT): 5358669(8206/5350463)
May 31, 2017 10:49:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2765/3728 took 744042 ms. Total solver calls (SAT/UNSAT): 5366141(8218/5357923)
May 31, 2017 10:49:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2769/3728 took 745285 ms. Total solver calls (SAT/UNSAT): 5375135(8230/5366905)
May 31, 2017 10:49:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2773/3728 took 746320 ms. Total solver calls (SAT/UNSAT): 5382607(8242/5374365)
May 31, 2017 10:49:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2777/3728 took 747349 ms. Total solver calls (SAT/UNSAT): 5390079(8254/5381825)
May 31, 2017 10:49:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2781/3728 took 748358 ms. Total solver calls (SAT/UNSAT): 5397551(8266/5389285)
May 31, 2017 10:49:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2785/3728 took 749375 ms. Total solver calls (SAT/UNSAT): 5405023(8278/5396745)
May 31, 2017 10:49:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2789/3728 took 750598 ms. Total solver calls (SAT/UNSAT): 5414017(8290/5405727)
May 31, 2017 10:49:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2793/3728 took 751620 ms. Total solver calls (SAT/UNSAT): 5421489(8302/5413187)
May 31, 2017 10:49:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2797/3728 took 752652 ms. Total solver calls (SAT/UNSAT): 5428961(8314/5420647)
May 31, 2017 10:50:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2801/3728 took 753703 ms. Total solver calls (SAT/UNSAT): 5436433(8326/5428107)
May 31, 2017 10:50:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2805/3728 took 754772 ms. Total solver calls (SAT/UNSAT): 5443905(8338/5435567)
May 31, 2017 10:50:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2809/3728 took 755971 ms. Total solver calls (SAT/UNSAT): 5452898(8350/5444548)
May 31, 2017 10:50:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2814/3728 took 757214 ms. Total solver calls (SAT/UNSAT): 5462239(8365/5453874)
May 31, 2017 10:50:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2819/3728 took 758432 ms. Total solver calls (SAT/UNSAT): 5471579(8380/5463199)
May 31, 2017 10:50:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2824/3728 took 759645 ms. Total solver calls (SAT/UNSAT): 5480919(8395/5472524)
May 31, 2017 10:50:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2829/3728 took 760874 ms. Total solver calls (SAT/UNSAT): 5490259(8410/5481849)
May 31, 2017 10:50:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2833/3728 took 762076 ms. Total solver calls (SAT/UNSAT): 5499253(8422/5490831)
May 31, 2017 10:50:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2837/3728 took 763080 ms. Total solver calls (SAT/UNSAT): 5506725(8434/5498291)
May 31, 2017 10:50:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2842/3728 took 764318 ms. Total solver calls (SAT/UNSAT): 5516065(8449/5507616)
May 31, 2017 10:50:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2847/3728 took 765562 ms. Total solver calls (SAT/UNSAT): 5525405(8464/5516941)
May 31, 2017 10:50:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2851/3728 took 766766 ms. Total solver calls (SAT/UNSAT): 5534398(8476/5525922)
May 31, 2017 10:50:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2855/3728 took 767826 ms. Total solver calls (SAT/UNSAT): 5541871(8488/5533383)
May 31, 2017 10:50:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2859/3728 took 768892 ms. Total solver calls (SAT/UNSAT): 5549343(8500/5540843)
May 31, 2017 10:50:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2864/3728 took 770125 ms. Total solver calls (SAT/UNSAT): 5558683(8515/5550168)
May 31, 2017 10:50:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2869/3728 took 771354 ms. Total solver calls (SAT/UNSAT): 5568023(8530/5559493)
May 31, 2017 10:50:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2873/3728 took 772564 ms. Total solver calls (SAT/UNSAT): 5577017(8542/5568475)
May 31, 2017 10:50:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2877/3728 took 773567 ms. Total solver calls (SAT/UNSAT): 5584489(8554/5575935)
May 31, 2017 10:50:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2882/3728 took 774818 ms. Total solver calls (SAT/UNSAT): 5593829(8569/5585260)
May 31, 2017 10:50:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2887/3728 took 776051 ms. Total solver calls (SAT/UNSAT): 5603169(8584/5594585)
May 31, 2017 10:50:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2892/3728 took 777300 ms. Total solver calls (SAT/UNSAT): 5612509(8599/5603910)
May 31, 2017 10:50:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2896/3728 took 778513 ms. Total solver calls (SAT/UNSAT): 5621503(8611/5612892)
May 31, 2017 10:50:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2901/3728 took 779758 ms. Total solver calls (SAT/UNSAT): 5630843(8626/5622217)
May 31, 2017 10:50:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2906/3728 took 781006 ms. Total solver calls (SAT/UNSAT): 5640183(8641/5631542)
May 31, 2017 10:50:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2911/3728 took 782249 ms. Total solver calls (SAT/UNSAT): 5649523(8656/5640867)
May 31, 2017 10:50:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2915/3728 took 783451 ms. Total solver calls (SAT/UNSAT): 5658517(8668/5649849)
May 31, 2017 10:50:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2919/3728 took 784456 ms. Total solver calls (SAT/UNSAT): 5665989(8680/5657309)
May 31, 2017 10:50:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2923/3728 took 785467 ms. Total solver calls (SAT/UNSAT): 5673461(8692/5664769)
May 31, 2017 10:50:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2928/3728 took 786684 ms. Total solver calls (SAT/UNSAT): 5682801(8707/5674094)
May 31, 2017 10:50:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2933/3728 took 787938 ms. Total solver calls (SAT/UNSAT): 5692141(8722/5683419)
May 31, 2017 10:50:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2937/3728 took 789133 ms. Total solver calls (SAT/UNSAT): 5701135(8734/5692401)
May 31, 2017 10:50:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2942/3728 took 790375 ms. Total solver calls (SAT/UNSAT): 5710475(8749/5701726)
May 31, 2017 10:50:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2946/3728 took 791415 ms. Total solver calls (SAT/UNSAT): 5717947(8761/5709186)
May 31, 2017 10:50:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2950/3728 took 792431 ms. Total solver calls (SAT/UNSAT): 5725419(8773/5716646)
May 31, 2017 10:50:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2954/3728 took 793432 ms. Total solver calls (SAT/UNSAT): 5732891(8785/5724106)
May 31, 2017 10:50:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2958/3728 took 794626 ms. Total solver calls (SAT/UNSAT): 5741885(8797/5733088)
May 31, 2017 10:50:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2962/3728 took 795633 ms. Total solver calls (SAT/UNSAT): 5749357(8809/5740548)
May 31, 2017 10:50:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2967/3728 took 796878 ms. Total solver calls (SAT/UNSAT): 5758697(8824/5749873)
May 31, 2017 10:50:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2971/3728 took 797883 ms. Total solver calls (SAT/UNSAT): 5766169(8836/5757333)
May 31, 2017 10:50:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2975/3728 took 798884 ms. Total solver calls (SAT/UNSAT): 5773641(8848/5764793)
May 31, 2017 10:50:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2979/3728 took 800088 ms. Total solver calls (SAT/UNSAT): 5782635(8860/5773775)
May 31, 2017 10:50:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2983/3728 took 801105 ms. Total solver calls (SAT/UNSAT): 5790107(8872/5781235)
May 31, 2017 10:50:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2988/3728 took 802356 ms. Total solver calls (SAT/UNSAT): 5799447(8887/5790560)
May 31, 2017 10:50:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2993/3728 took 803591 ms. Total solver calls (SAT/UNSAT): 5808787(8902/5799885)
May 31, 2017 10:50:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2998/3728 took 805041 ms. Total solver calls (SAT/UNSAT): 5819648(8917/5810731)
May 31, 2017 10:50:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3002/3728 took 806124 ms. Total solver calls (SAT/UNSAT): 5827121(8929/5818192)
May 31, 2017 10:50:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3006/3728 took 807133 ms. Total solver calls (SAT/UNSAT): 5834593(8941/5825652)
May 31, 2017 10:50:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3010/3728 took 808144 ms. Total solver calls (SAT/UNSAT): 5842065(8953/5833112)
May 31, 2017 10:50:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3014/3728 took 809163 ms. Total solver calls (SAT/UNSAT): 5849537(8965/5840572)
May 31, 2017 10:50:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3018/3728 took 810184 ms. Total solver calls (SAT/UNSAT): 5857009(8977/5848032)
May 31, 2017 10:50:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3022/3728 took 811389 ms. Total solver calls (SAT/UNSAT): 5866003(8989/5857014)
May 31, 2017 10:50:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3026/3728 took 812396 ms. Total solver calls (SAT/UNSAT): 5873475(9001/5864474)
May 31, 2017 10:51:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3030/3728 took 813401 ms. Total solver calls (SAT/UNSAT): 5880947(9013/5871934)
May 31, 2017 10:51:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3034/3728 took 814404 ms. Total solver calls (SAT/UNSAT): 5888419(9025/5879394)
May 31, 2017 10:51:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3038/3728 took 815414 ms. Total solver calls (SAT/UNSAT): 5895891(9037/5886854)
May 31, 2017 10:51:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3042/3728 took 816614 ms. Total solver calls (SAT/UNSAT): 5904885(9049/5895836)
May 31, 2017 10:51:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3046/3728 took 817618 ms. Total solver calls (SAT/UNSAT): 5912357(9061/5903296)
May 31, 2017 10:51:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3050/3728 took 818620 ms. Total solver calls (SAT/UNSAT): 5919829(9073/5910756)
May 31, 2017 10:51:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3054/3728 took 819635 ms. Total solver calls (SAT/UNSAT): 5927301(9085/5918216)
May 31, 2017 10:51:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3058/3728 took 820640 ms. Total solver calls (SAT/UNSAT): 5934773(9097/5925676)
May 31, 2017 10:51:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3062/3728 took 821848 ms. Total solver calls (SAT/UNSAT): 5943767(9109/5934658)
May 31, 2017 10:51:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3066/3728 took 822851 ms. Total solver calls (SAT/UNSAT): 5951239(9121/5942118)
May 31, 2017 10:51:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3070/3728 took 823858 ms. Total solver calls (SAT/UNSAT): 5958711(9133/5949578)
May 31, 2017 10:51:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3074/3728 took 824860 ms. Total solver calls (SAT/UNSAT): 5966183(9145/5957038)
May 31, 2017 10:51:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3078/3728 took 825867 ms. Total solver calls (SAT/UNSAT): 5973655(9157/5964498)
May 31, 2017 10:51:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3082/3728 took 827074 ms. Total solver calls (SAT/UNSAT): 5982648(9169/5973479)
May 31, 2017 10:51:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3086/3728 took 828074 ms. Total solver calls (SAT/UNSAT): 5990121(9181/5980940)
May 31, 2017 10:51:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3090/3728 took 829080 ms. Total solver calls (SAT/UNSAT): 5997593(9193/5988400)
May 31, 2017 10:51:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3094/3728 took 830085 ms. Total solver calls (SAT/UNSAT): 6005065(9205/5995860)
May 31, 2017 10:51:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3099/3728 took 831319 ms. Total solver calls (SAT/UNSAT): 6014405(9220/6005185)
May 31, 2017 10:51:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3103/3728 took 832504 ms. Total solver calls (SAT/UNSAT): 6023398(9232/6014166)
May 31, 2017 10:51:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3107/3728 took 833513 ms. Total solver calls (SAT/UNSAT): 6030871(9244/6021627)
May 31, 2017 10:51:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3112/3728 took 834760 ms. Total solver calls (SAT/UNSAT): 6040211(9259/6030952)
May 31, 2017 10:51:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3116/3728 took 835766 ms. Total solver calls (SAT/UNSAT): 6047683(9271/6038412)
May 31, 2017 10:51:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3121/3728 took 837064 ms. Total solver calls (SAT/UNSAT): 6057023(9286/6047737)
May 31, 2017 10:51:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3125/3728 took 838299 ms. Total solver calls (SAT/UNSAT): 6066017(9298/6056719)
May 31, 2017 10:51:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3129/3728 took 839332 ms. Total solver calls (SAT/UNSAT): 6073489(9310/6064179)
May 31, 2017 10:51:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3133/3728 took 840389 ms. Total solver calls (SAT/UNSAT): 6080961(9322/6071639)
May 31, 2017 10:51:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3137/3728 took 841397 ms. Total solver calls (SAT/UNSAT): 6088433(9334/6079099)
May 31, 2017 10:51:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3141/3728 took 842400 ms. Total solver calls (SAT/UNSAT): 6095905(9346/6086559)
May 31, 2017 10:51:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3145/3728 took 843606 ms. Total solver calls (SAT/UNSAT): 6104898(9358/6095540)
May 31, 2017 10:51:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3149/3728 took 844610 ms. Total solver calls (SAT/UNSAT): 6112371(9370/6103001)
May 31, 2017 10:51:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3153/3728 took 845620 ms. Total solver calls (SAT/UNSAT): 6119843(9382/6110461)
May 31, 2017 10:51:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3157/3728 took 846622 ms. Total solver calls (SAT/UNSAT): 6127315(9394/6117921)
May 31, 2017 10:51:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3162/3728 took 847871 ms. Total solver calls (SAT/UNSAT): 6136655(9409/6127246)
May 31, 2017 10:51:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3166/3728 took 849074 ms. Total solver calls (SAT/UNSAT): 6145648(9421/6136227)
May 31, 2017 10:51:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3170/3728 took 850079 ms. Total solver calls (SAT/UNSAT): 6153121(9433/6143688)
May 31, 2017 10:51:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3174/3728 took 851084 ms. Total solver calls (SAT/UNSAT): 6160593(9445/6151148)
May 31, 2017 10:51:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3178/3728 took 852091 ms. Total solver calls (SAT/UNSAT): 6168065(9457/6158608)
May 31, 2017 10:51:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3182/3728 took 853095 ms. Total solver calls (SAT/UNSAT): 6175537(9469/6166068)
May 31, 2017 10:51:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3186/3728 took 854111 ms. Total solver calls (SAT/UNSAT): 6183009(9481/6173528)
May 31, 2017 10:51:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3190/3728 took 855324 ms. Total solver calls (SAT/UNSAT): 6192003(9493/6182510)
May 31, 2017 10:51:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3194/3728 took 856340 ms. Total solver calls (SAT/UNSAT): 6199475(9505/6189970)
May 31, 2017 10:51:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3198/3728 took 857356 ms. Total solver calls (SAT/UNSAT): 6206947(9517/6197430)
May 31, 2017 10:51:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3202/3728 took 858373 ms. Total solver calls (SAT/UNSAT): 6214419(9529/6204890)
May 31, 2017 10:51:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3206/3728 took 859378 ms. Total solver calls (SAT/UNSAT): 6221891(9541/6212350)
May 31, 2017 10:51:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3210/3728 took 860588 ms. Total solver calls (SAT/UNSAT): 6230885(9553/6221332)
May 31, 2017 10:51:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3214/3728 took 861594 ms. Total solver calls (SAT/UNSAT): 6238357(9565/6228792)
May 31, 2017 10:51:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3218/3728 took 862610 ms. Total solver calls (SAT/UNSAT): 6245829(9577/6236252)
May 31, 2017 10:51:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3222/3728 took 863619 ms. Total solver calls (SAT/UNSAT): 6253301(9589/6243712)
May 31, 2017 10:51:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3226/3728 took 864632 ms. Total solver calls (SAT/UNSAT): 6260773(9601/6251172)
May 31, 2017 10:51:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3230/3728 took 865851 ms. Total solver calls (SAT/UNSAT): 6269767(9613/6260154)
May 31, 2017 10:51:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3234/3728 took 866864 ms. Total solver calls (SAT/UNSAT): 6277239(9625/6267614)
May 31, 2017 10:51:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3238/3728 took 867869 ms. Total solver calls (SAT/UNSAT): 6284711(9637/6275074)
May 31, 2017 10:51:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3242/3728 took 868879 ms. Total solver calls (SAT/UNSAT): 6292183(9649/6282534)
May 31, 2017 10:51:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3246/3728 took 869886 ms. Total solver calls (SAT/UNSAT): 6299655(9661/6289994)
May 31, 2017 10:51:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3250/3728 took 871098 ms. Total solver calls (SAT/UNSAT): 6308648(9673/6298975)
May 31, 2017 10:51:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3254/3728 took 872112 ms. Total solver calls (SAT/UNSAT): 6316121(9685/6306436)
May 31, 2017 10:51:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3258/3728 took 873115 ms. Total solver calls (SAT/UNSAT): 6323593(9697/6313896)
May 31, 2017 10:52:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3262/3728 took 874133 ms. Total solver calls (SAT/UNSAT): 6331065(9709/6321356)
May 31, 2017 10:52:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3266/3728 took 875138 ms. Total solver calls (SAT/UNSAT): 6338537(9721/6328816)
May 31, 2017 10:52:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3270/3728 took 876154 ms. Total solver calls (SAT/UNSAT): 6346009(9733/6336276)
May 31, 2017 10:52:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3274/3728 took 877359 ms. Total solver calls (SAT/UNSAT): 6355003(9745/6345258)
May 31, 2017 10:52:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3278/3728 took 878369 ms. Total solver calls (SAT/UNSAT): 6362475(9757/6352718)
May 31, 2017 10:52:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3282/3728 took 879373 ms. Total solver calls (SAT/UNSAT): 6369947(9769/6360178)
May 31, 2017 10:52:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3286/3728 took 880385 ms. Total solver calls (SAT/UNSAT): 6377419(9781/6367638)
May 31, 2017 10:52:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3290/3728 took 881388 ms. Total solver calls (SAT/UNSAT): 6384891(9793/6375098)
May 31, 2017 10:52:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3294/3728 took 882603 ms. Total solver calls (SAT/UNSAT): 6393885(9805/6384080)
May 31, 2017 10:52:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3298/3728 took 883608 ms. Total solver calls (SAT/UNSAT): 6401357(9817/6391540)
May 31, 2017 10:52:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3302/3728 took 884616 ms. Total solver calls (SAT/UNSAT): 6408829(9829/6399000)
May 31, 2017 10:52:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3306/3728 took 885621 ms. Total solver calls (SAT/UNSAT): 6416301(9841/6406460)
May 31, 2017 10:52:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3310/3728 took 886628 ms. Total solver calls (SAT/UNSAT): 6423773(9853/6413920)
May 31, 2017 10:52:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3314/3728 took 887839 ms. Total solver calls (SAT/UNSAT): 6432767(9865/6422902)
May 31, 2017 10:52:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3318/3728 took 888843 ms. Total solver calls (SAT/UNSAT): 6440239(9877/6430362)
May 31, 2017 10:52:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3322/3728 took 889855 ms. Total solver calls (SAT/UNSAT): 6447711(9889/6437822)
May 31, 2017 10:52:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3326/3728 took 890860 ms. Total solver calls (SAT/UNSAT): 6455183(9901/6445282)
May 31, 2017 10:52:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3330/3728 took 891869 ms. Total solver calls (SAT/UNSAT): 6462655(9913/6452742)
May 31, 2017 10:52:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3334/3728 took 893075 ms. Total solver calls (SAT/UNSAT): 6471648(9925/6461723)
May 31, 2017 10:52:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3338/3728 took 894084 ms. Total solver calls (SAT/UNSAT): 6479121(9937/6469184)
May 31, 2017 10:52:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3342/3728 took 895090 ms. Total solver calls (SAT/UNSAT): 6486593(9949/6476644)
May 31, 2017 10:52:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3346/3728 took 896096 ms. Total solver calls (SAT/UNSAT): 6494065(9961/6484104)
May 31, 2017 10:52:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3350/3728 took 897111 ms. Total solver calls (SAT/UNSAT): 6501537(9973/6491564)
May 31, 2017 10:52:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3354/3728 took 898122 ms. Total solver calls (SAT/UNSAT): 6509009(9985/6499024)
May 31, 2017 10:52:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3358/3728 took 899347 ms. Total solver calls (SAT/UNSAT): 6518003(9997/6508006)
May 31, 2017 10:52:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3362/3728 took 900348 ms. Total solver calls (SAT/UNSAT): 6525475(10009/6515466)
May 31, 2017 10:52:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3366/3728 took 901359 ms. Total solver calls (SAT/UNSAT): 6532947(10021/6522926)
May 31, 2017 10:52:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3370/3728 took 902368 ms. Total solver calls (SAT/UNSAT): 6540419(10033/6530386)
May 31, 2017 10:52:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3374/3728 took 903394 ms. Total solver calls (SAT/UNSAT): 6547891(10045/6537846)
May 31, 2017 10:52:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3378/3728 took 904632 ms. Total solver calls (SAT/UNSAT): 6556885(10057/6546828)
May 31, 2017 10:52:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3382/3728 took 905660 ms. Total solver calls (SAT/UNSAT): 6564357(10069/6554288)
May 31, 2017 10:52:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3386/3728 took 906697 ms. Total solver calls (SAT/UNSAT): 6571829(10081/6561748)
May 31, 2017 10:52:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3390/3728 took 907728 ms. Total solver calls (SAT/UNSAT): 6579301(10093/6569208)
May 31, 2017 10:52:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3394/3728 took 908769 ms. Total solver calls (SAT/UNSAT): 6586773(10105/6576668)
May 31, 2017 10:52:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3398/3728 took 910009 ms. Total solver calls (SAT/UNSAT): 6595767(10117/6585650)
May 31, 2017 10:52:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3402/3728 took 911046 ms. Total solver calls (SAT/UNSAT): 6603239(10129/6593110)
May 31, 2017 10:52:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3406/3728 took 912082 ms. Total solver calls (SAT/UNSAT): 6610711(10141/6600570)
May 31, 2017 10:52:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3410/3728 took 913116 ms. Total solver calls (SAT/UNSAT): 6618183(10153/6608030)
May 31, 2017 10:52:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3414/3728 took 914155 ms. Total solver calls (SAT/UNSAT): 6625655(10165/6615490)
May 31, 2017 10:52:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3418/3728 took 915398 ms. Total solver calls (SAT/UNSAT): 6634648(10177/6624471)
May 31, 2017 10:52:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3422/3728 took 916441 ms. Total solver calls (SAT/UNSAT): 6642121(10189/6631932)
May 31, 2017 10:52:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3426/3728 took 917477 ms. Total solver calls (SAT/UNSAT): 6649593(10201/6639392)
May 31, 2017 10:52:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3430/3728 took 918513 ms. Total solver calls (SAT/UNSAT): 6657065(10213/6646852)
May 31, 2017 10:52:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3434/3728 took 919552 ms. Total solver calls (SAT/UNSAT): 6664537(10225/6654312)
May 31, 2017 10:52:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3438/3728 took 920588 ms. Total solver calls (SAT/UNSAT): 6672009(10237/6661772)
May 31, 2017 10:52:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3453/3728 took 921623 ms. Total solver calls (SAT/UNSAT): 6679094(10254/6668840)
May 31, 2017 10:52:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3468/3728 took 922645 ms. Total solver calls (SAT/UNSAT): 6686094(10269/6675825)
May 31, 2017 11:17:43 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-V80P50N20"
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-V80P50N20.tgz
mv BridgeAndVehicles-COL-V80P50N20 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is BridgeAndVehicles-COL-V80P50N20, examination is 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-149436129700422"
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 ;