About the Execution of ITS-Tools for S_BridgeAndVehicles-COL-V80P50N20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15924.590 | 3600000.00 | 5372181.00 | 320.70 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is S_BridgeAndVehicles-COL-V80P50N20, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r090-csrt-149441076800422
=====================================================================
--------------------
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 1496407295562
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
Jun 02, 2017 12:41:37 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 02, 2017 12:41:37 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
Jun 02, 2017 12:41:38 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1460 ms
Jun 02, 2017 12:41:38 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 15 places.
Jun 02, 2017 12:41:38 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Jun 02, 2017 12:41:38 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,
Jun 02, 2017 12:41:38 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 11 transitions.
Jun 02, 2017 12:41:38 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Jun 02, 2017 12:41:38 PM fr.lip6.move.gal.logic.togal.ToGalTransformer toGal
WARNING: Unknown predicate type in boolean expression fr.lip6.move.gal.logic.impl.DeadlockImpl
Jun 02, 2017 12:41:38 PM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Jun 02, 2017 12:41:38 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Jun 02, 2017 12:41:39 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
Jun 02, 2017 12:41:39 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.
Jun 02, 2017 12:41:39 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 144 ms
Jun 02, 2017 12:41:39 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.
Jun 02, 2017 12:41:39 PM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 405 redundant transitions.
Jun 02, 2017 12:41:39 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.
Jun 02, 2017 12:41:39 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityDeadlock.pnml.gal : 29 ms
Jun 02, 2017 12:41:41 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 374 ms
Jun 02, 2017 12:41:56 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 198 variables to be positive in 15154 ms
Jun 02, 2017 12:41:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 3728 transitions.
Jun 02, 2017 12:41:56 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)
Jun 02, 2017 12:41:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/3728 took 1443 ms. Total solver calls (SAT/UNSAT): 9715(10/9705)
Jun 02, 2017 12:41:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/3728 took 2600 ms. Total solver calls (SAT/UNSAT): 17487(18/17469)
Jun 02, 2017 12:42:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/3728 took 3734 ms. Total solver calls (SAT/UNSAT): 25259(26/25233)
Jun 02, 2017 12:42:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :16/3728 took 4868 ms. Total solver calls (SAT/UNSAT): 33031(34/32997)
Jun 02, 2017 12:42:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/3728 took 5970 ms. Total solver calls (SAT/UNSAT): 40803(42/40761)
Jun 02, 2017 12:42:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/3728 took 7089 ms. Total solver calls (SAT/UNSAT): 48575(50/48525)
Jun 02, 2017 12:42:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/3728 took 8191 ms. Total solver calls (SAT/UNSAT): 56347(58/56289)
Jun 02, 2017 12:42:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/3728 took 9352 ms. Total solver calls (SAT/UNSAT): 64119(66/64053)
Jun 02, 2017 12:42:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/3728 took 10441 ms. Total solver calls (SAT/UNSAT): 71891(74/71817)
Jun 02, 2017 12:42:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/3728 took 11510 ms. Total solver calls (SAT/UNSAT): 79663(82/79581)
Jun 02, 2017 12:42:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/3728 took 12596 ms. Total solver calls (SAT/UNSAT): 87435(90/87345)
Jun 02, 2017 12:42:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/3728 took 13657 ms. Total solver calls (SAT/UNSAT): 95207(98/95109)
Jun 02, 2017 12:42:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/3728 took 14712 ms. Total solver calls (SAT/UNSAT): 102979(106/102873)
Jun 02, 2017 12:42:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/3728 took 15768 ms. Total solver calls (SAT/UNSAT): 110751(114/110637)
Jun 02, 2017 12:42:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/3728 took 16830 ms. Total solver calls (SAT/UNSAT): 118523(122/118401)
Jun 02, 2017 12:42:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/3728 took 17887 ms. Total solver calls (SAT/UNSAT): 126295(130/126165)
Jun 02, 2017 12:42:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/3728 took 18946 ms. Total solver calls (SAT/UNSAT): 134067(138/133929)
Jun 02, 2017 12:42:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/3728 took 20123 ms. Total solver calls (SAT/UNSAT): 141839(146/141693)
Jun 02, 2017 12:42:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/3728 took 21205 ms. Total solver calls (SAT/UNSAT): 149611(154/149457)
Jun 02, 2017 12:42:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/3728 took 22347 ms. Total solver calls (SAT/UNSAT): 157308(163/157145)
Jun 02, 2017 12:42:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/3728 took 23383 ms. Total solver calls (SAT/UNSAT): 164776(175/164601)
Jun 02, 2017 12:42:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/3728 took 24438 ms. Total solver calls (SAT/UNSAT): 172244(187/172057)
Jun 02, 2017 12:42:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/3728 took 25442 ms. Total solver calls (SAT/UNSAT): 179712(199/179513)
Jun 02, 2017 12:42:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/3728 took 26444 ms. Total solver calls (SAT/UNSAT): 187180(211/186969)
Jun 02, 2017 12:42:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/3728 took 27659 ms. Total solver calls (SAT/UNSAT): 196169(223/195946)
Jun 02, 2017 12:42:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/3728 took 28665 ms. Total solver calls (SAT/UNSAT): 203642(235/203407)
Jun 02, 2017 12:42:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/3728 took 29674 ms. Total solver calls (SAT/UNSAT): 211114(247/210867)
Jun 02, 2017 12:42:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/3728 took 30920 ms. Total solver calls (SAT/UNSAT): 220454(262/220192)
Jun 02, 2017 12:42:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :117/3728 took 31962 ms. Total solver calls (SAT/UNSAT): 227926(274/227652)
Jun 02, 2017 12:42:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :121/3728 took 33158 ms. Total solver calls (SAT/UNSAT): 236919(286/236633)
Jun 02, 2017 12:42:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :126/3728 took 34404 ms. Total solver calls (SAT/UNSAT): 246260(301/245959)
Jun 02, 2017 12:42:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/3728 took 35431 ms. Total solver calls (SAT/UNSAT): 253732(313/253419)
Jun 02, 2017 12:42:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/3728 took 36431 ms. Total solver calls (SAT/UNSAT): 261204(325/260879)
Jun 02, 2017 12:42:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/3728 took 37476 ms. Total solver calls (SAT/UNSAT): 268676(337/268339)
Jun 02, 2017 12:42:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :142/3728 took 38719 ms. Total solver calls (SAT/UNSAT): 277669(349/277320)
Jun 02, 2017 12:42:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/3728 took 39772 ms. Total solver calls (SAT/UNSAT): 285142(361/284781)
Jun 02, 2017 12:42:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/3728 took 40802 ms. Total solver calls (SAT/UNSAT): 292614(373/292241)
Jun 02, 2017 12:42:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :154/3728 took 41831 ms. Total solver calls (SAT/UNSAT): 300086(385/299701)
Jun 02, 2017 12:42:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/3728 took 42848 ms. Total solver calls (SAT/UNSAT): 307558(397/307161)
Jun 02, 2017 12:42:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/3728 took 43873 ms. Total solver calls (SAT/UNSAT): 315030(409/314621)
Jun 02, 2017 12:42:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :166/3728 took 45097 ms. Total solver calls (SAT/UNSAT): 324024(421/323603)
Jun 02, 2017 12:42:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/3728 took 46113 ms. Total solver calls (SAT/UNSAT): 331496(433/331063)
Jun 02, 2017 12:42:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/3728 took 47132 ms. Total solver calls (SAT/UNSAT): 338968(445/338523)
Jun 02, 2017 12:42:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :178/3728 took 48152 ms. Total solver calls (SAT/UNSAT): 346440(457/345983)
Jun 02, 2017 12:42:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/3728 took 49170 ms. Total solver calls (SAT/UNSAT): 353912(469/353443)
Jun 02, 2017 12:42:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/3728 took 50389 ms. Total solver calls (SAT/UNSAT): 362906(481/362425)
Jun 02, 2017 12:42:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :190/3728 took 51407 ms. Total solver calls (SAT/UNSAT): 370378(493/369885)
Jun 02, 2017 12:42:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/3728 took 52444 ms. Total solver calls (SAT/UNSAT): 377850(505/377345)
Jun 02, 2017 12:42:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :198/3728 took 53459 ms. Total solver calls (SAT/UNSAT): 385322(517/384805)
Jun 02, 2017 12:42:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :202/3728 took 54473 ms. Total solver calls (SAT/UNSAT): 392794(529/392265)
Jun 02, 2017 12:42:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :206/3728 took 55689 ms. Total solver calls (SAT/UNSAT): 401788(541/401247)
Jun 02, 2017 12:42:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/3728 took 56782 ms. Total solver calls (SAT/UNSAT): 409260(553/408707)
Jun 02, 2017 12:42:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/3728 took 57843 ms. Total solver calls (SAT/UNSAT): 416732(565/416167)
Jun 02, 2017 12:42:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :218/3728 took 58848 ms. Total solver calls (SAT/UNSAT): 424204(577/423627)
Jun 02, 2017 12:42:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/3728 took 60111 ms. Total solver calls (SAT/UNSAT): 433544(592/432952)
Jun 02, 2017 12:42:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/3728 took 61131 ms. Total solver calls (SAT/UNSAT): 440669(601/440068)
Jun 02, 2017 12:42:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :230/3728 took 62158 ms. Total solver calls (SAT/UNSAT): 448142(613/447529)
Jun 02, 2017 12:42:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/3728 took 63174 ms. Total solver calls (SAT/UNSAT): 455614(625/454989)
Jun 02, 2017 12:43:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :238/3728 took 64189 ms. Total solver calls (SAT/UNSAT): 463086(637/462449)
Jun 02, 2017 12:43:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :242/3728 took 65202 ms. Total solver calls (SAT/UNSAT): 470558(649/469909)
Jun 02, 2017 12:43:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/3728 took 66215 ms. Total solver calls (SAT/UNSAT): 478030(661/477369)
Jun 02, 2017 12:43:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :250/3728 took 67432 ms. Total solver calls (SAT/UNSAT): 487024(673/486351)
Jun 02, 2017 12:43:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :254/3728 took 68447 ms. Total solver calls (SAT/UNSAT): 494496(685/493811)
Jun 02, 2017 12:43:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :258/3728 took 69461 ms. Total solver calls (SAT/UNSAT): 501968(697/501271)
Jun 02, 2017 12:43:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :262/3728 took 70479 ms. Total solver calls (SAT/UNSAT): 509440(709/508731)
Jun 02, 2017 12:43:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :266/3728 took 71498 ms. Total solver calls (SAT/UNSAT): 516912(721/516191)
Jun 02, 2017 12:43:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :270/3728 took 72716 ms. Total solver calls (SAT/UNSAT): 525906(733/525173)
Jun 02, 2017 12:43:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :274/3728 took 73728 ms. Total solver calls (SAT/UNSAT): 533378(745/532633)
Jun 02, 2017 12:43:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :278/3728 took 74743 ms. Total solver calls (SAT/UNSAT): 540850(757/540093)
Jun 02, 2017 12:43:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :282/3728 took 75756 ms. Total solver calls (SAT/UNSAT): 548322(769/547553)
Jun 02, 2017 12:43:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :286/3728 took 76770 ms. Total solver calls (SAT/UNSAT): 555794(781/555013)
Jun 02, 2017 12:43:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :290/3728 took 77985 ms. Total solver calls (SAT/UNSAT): 564788(793/563995)
Jun 02, 2017 12:43:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :294/3728 took 78998 ms. Total solver calls (SAT/UNSAT): 572260(805/571455)
Jun 02, 2017 12:43:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :298/3728 took 80019 ms. Total solver calls (SAT/UNSAT): 579732(817/578915)
Jun 02, 2017 12:43:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :302/3728 took 81048 ms. Total solver calls (SAT/UNSAT): 587204(829/586375)
Jun 02, 2017 12:43:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :306/3728 took 82115 ms. Total solver calls (SAT/UNSAT): 594676(841/593835)
Jun 02, 2017 12:43:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :310/3728 took 83333 ms. Total solver calls (SAT/UNSAT): 603669(853/602816)
Jun 02, 2017 12:43:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/3728 took 84580 ms. Total solver calls (SAT/UNSAT): 613010(868/612142)
Jun 02, 2017 12:43:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :320/3728 took 85827 ms. Total solver calls (SAT/UNSAT): 622350(883/621467)
Jun 02, 2017 12:43:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/3728 took 86827 ms. Total solver calls (SAT/UNSAT): 629822(895/628927)
Jun 02, 2017 12:43:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :328/3728 took 87827 ms. Total solver calls (SAT/UNSAT): 637294(907/636387)
Jun 02, 2017 12:43:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/3728 took 89024 ms. Total solver calls (SAT/UNSAT): 646288(919/645369)
Jun 02, 2017 12:43:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/3728 took 90034 ms. Total solver calls (SAT/UNSAT): 653760(931/652829)
Jun 02, 2017 12:43:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :341/3728 took 91279 ms. Total solver calls (SAT/UNSAT): 663100(946/662154)
Jun 02, 2017 12:43:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :346/3728 took 92528 ms. Total solver calls (SAT/UNSAT): 672440(961/671479)
Jun 02, 2017 12:43:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/3728 took 93529 ms. Total solver calls (SAT/UNSAT): 679912(973/678939)
Jun 02, 2017 12:43:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/3728 took 94727 ms. Total solver calls (SAT/UNSAT): 688906(985/687921)
Jun 02, 2017 12:43:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/3728 took 95976 ms. Total solver calls (SAT/UNSAT): 698246(1000/697246)
Jun 02, 2017 12:43:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/3728 took 96976 ms. Total solver calls (SAT/UNSAT): 705718(1012/704706)
Jun 02, 2017 12:43:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/3728 took 97978 ms. Total solver calls (SAT/UNSAT): 713190(1024/712166)
Jun 02, 2017 12:43:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/3728 took 99041 ms. Total solver calls (SAT/UNSAT): 720662(1036/719626)
Jun 02, 2017 12:43:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/3728 took 100287 ms. Total solver calls (SAT/UNSAT): 729656(1048/728608)
Jun 02, 2017 12:43:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/3728 took 101341 ms. Total solver calls (SAT/UNSAT): 737128(1060/736068)
Jun 02, 2017 12:43:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/3728 took 102589 ms. Total solver calls (SAT/UNSAT): 746468(1075/745393)
Jun 02, 2017 12:43:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/3728 took 103833 ms. Total solver calls (SAT/UNSAT): 755808(1090/754718)
Jun 02, 2017 12:43:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/3728 took 105273 ms. Total solver calls (SAT/UNSAT): 766669(1105/765564)
Jun 02, 2017 12:43:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/3728 took 106273 ms. Total solver calls (SAT/UNSAT): 774142(1117/773025)
Jun 02, 2017 12:43:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/3728 took 107273 ms. Total solver calls (SAT/UNSAT): 781614(1129/780485)
Jun 02, 2017 12:43:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :406/3728 took 108277 ms. Total solver calls (SAT/UNSAT): 789086(1141/787945)
Jun 02, 2017 12:43:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/3728 took 109521 ms. Total solver calls (SAT/UNSAT): 798426(1156/797270)
Jun 02, 2017 12:43:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/3728 took 110714 ms. Total solver calls (SAT/UNSAT): 807419(1168/806251)
Jun 02, 2017 12:43:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/3728 took 111960 ms. Total solver calls (SAT/UNSAT): 816760(1183/815577)
Jun 02, 2017 12:43:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/3728 took 113206 ms. Total solver calls (SAT/UNSAT): 826100(1198/824902)
Jun 02, 2017 12:43:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :430/3728 took 114452 ms. Total solver calls (SAT/UNSAT): 835440(1213/834227)
Jun 02, 2017 12:43:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/3728 took 115698 ms. Total solver calls (SAT/UNSAT): 844780(1228/843552)
Jun 02, 2017 12:43:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/3728 took 116892 ms. Total solver calls (SAT/UNSAT): 853774(1240/852534)
Jun 02, 2017 12:43:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/3728 took 117900 ms. Total solver calls (SAT/UNSAT): 861246(1252/859994)
Jun 02, 2017 12:43:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/3728 took 118947 ms. Total solver calls (SAT/UNSAT): 868718(1264/867454)
Jun 02, 2017 12:43:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :451/3728 took 120003 ms. Total solver calls (SAT/UNSAT): 876190(1276/874914)
Jun 02, 2017 12:43:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/3728 took 121057 ms. Total solver calls (SAT/UNSAT): 883662(1288/882374)
Jun 02, 2017 12:43:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/3728 took 122098 ms. Total solver calls (SAT/UNSAT): 890788(1297/889491)
Jun 02, 2017 12:43:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/3728 took 123127 ms. Total solver calls (SAT/UNSAT): 898260(1309/896951)
Jun 02, 2017 12:44:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :466/3728 took 124133 ms. Total solver calls (SAT/UNSAT): 905732(1321/904411)
Jun 02, 2017 12:44:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/3728 took 125138 ms. Total solver calls (SAT/UNSAT): 913204(1333/911871)
Jun 02, 2017 12:44:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :475/3728 took 126384 ms. Total solver calls (SAT/UNSAT): 922544(1348/921196)
Jun 02, 2017 12:44:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/3728 took 127584 ms. Total solver calls (SAT/UNSAT): 931538(1360/930178)
Jun 02, 2017 12:44:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/3728 took 128824 ms. Total solver calls (SAT/UNSAT): 940878(1375/939503)
Jun 02, 2017 12:44:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/3728 took 130069 ms. Total solver calls (SAT/UNSAT): 950218(1390/948828)
Jun 02, 2017 12:44:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/3728 took 131311 ms. Total solver calls (SAT/UNSAT): 959558(1405/958153)
Jun 02, 2017 12:44:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/3728 took 132750 ms. Total solver calls (SAT/UNSAT): 970419(1420/968999)
Jun 02, 2017 12:44:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/3728 took 133991 ms. Total solver calls (SAT/UNSAT): 979760(1435/978325)
Jun 02, 2017 12:44:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/3728 took 135234 ms. Total solver calls (SAT/UNSAT): 989100(1450/987650)
Jun 02, 2017 12:44:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :514/3728 took 136477 ms. Total solver calls (SAT/UNSAT): 998440(1465/996975)
Jun 02, 2017 12:44:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/3728 took 137527 ms. Total solver calls (SAT/UNSAT): 1005912(1477/1004435)
Jun 02, 2017 12:44:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/3728 took 138743 ms. Total solver calls (SAT/UNSAT): 1014906(1489/1013417)
Jun 02, 2017 12:44:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/3728 took 139754 ms. Total solver calls (SAT/UNSAT): 1022378(1501/1020877)
Jun 02, 2017 12:44:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/3728 took 140766 ms. Total solver calls (SAT/UNSAT): 1029850(1513/1028337)
Jun 02, 2017 12:44:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/3728 took 141781 ms. Total solver calls (SAT/UNSAT): 1037322(1525/1035797)
Jun 02, 2017 12:44:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/3728 took 142794 ms. Total solver calls (SAT/UNSAT): 1044794(1537/1043257)
Jun 02, 2017 12:44:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/3728 took 144009 ms. Total solver calls (SAT/UNSAT): 1053788(1549/1052239)
Jun 02, 2017 12:44:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/3728 took 145021 ms. Total solver calls (SAT/UNSAT): 1061260(1561/1059699)
Jun 02, 2017 12:44:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/3728 took 146034 ms. Total solver calls (SAT/UNSAT): 1068732(1573/1067159)
Jun 02, 2017 12:44:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/3728 took 147053 ms. Total solver calls (SAT/UNSAT): 1076204(1585/1074619)
Jun 02, 2017 12:44:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/3728 took 148064 ms. Total solver calls (SAT/UNSAT): 1083676(1597/1082079)
Jun 02, 2017 12:44:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/3728 took 149276 ms. Total solver calls (SAT/UNSAT): 1092669(1609/1091060)
Jun 02, 2017 12:44:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/3728 took 150289 ms. Total solver calls (SAT/UNSAT): 1100142(1621/1098521)
Jun 02, 2017 12:44:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :570/3728 took 151302 ms. Total solver calls (SAT/UNSAT): 1107614(1633/1105981)
Jun 02, 2017 12:44:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/3728 took 152317 ms. Total solver calls (SAT/UNSAT): 1115086(1645/1113441)
Jun 02, 2017 12:44:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :578/3728 took 153331 ms. Total solver calls (SAT/UNSAT): 1122558(1657/1120901)
Jun 02, 2017 12:44:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :582/3728 took 154344 ms. Total solver calls (SAT/UNSAT): 1130030(1669/1128361)
Jun 02, 2017 12:44:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/3728 took 155558 ms. Total solver calls (SAT/UNSAT): 1139024(1681/1137343)
Jun 02, 2017 12:44:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/3728 took 156570 ms. Total solver calls (SAT/UNSAT): 1146496(1693/1144803)
Jun 02, 2017 12:44:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :594/3728 took 157598 ms. Total solver calls (SAT/UNSAT): 1153968(1705/1152263)
Jun 02, 2017 12:44:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :598/3728 took 158612 ms. Total solver calls (SAT/UNSAT): 1161440(1717/1159723)
Jun 02, 2017 12:44:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :602/3728 took 159625 ms. Total solver calls (SAT/UNSAT): 1168912(1729/1167183)
Jun 02, 2017 12:44:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :606/3728 took 160842 ms. Total solver calls (SAT/UNSAT): 1177906(1741/1176165)
Jun 02, 2017 12:44:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :610/3728 took 161853 ms. Total solver calls (SAT/UNSAT): 1185378(1753/1183625)
Jun 02, 2017 12:44:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :614/3728 took 162864 ms. Total solver calls (SAT/UNSAT): 1192850(1765/1191085)
Jun 02, 2017 12:44:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :618/3728 took 163873 ms. Total solver calls (SAT/UNSAT): 1200322(1777/1198545)
Jun 02, 2017 12:44:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :622/3728 took 164882 ms. Total solver calls (SAT/UNSAT): 1207794(1789/1206005)
Jun 02, 2017 12:44:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :626/3728 took 166093 ms. Total solver calls (SAT/UNSAT): 1216788(1801/1214987)
Jun 02, 2017 12:44:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :630/3728 took 167119 ms. Total solver calls (SAT/UNSAT): 1224260(1813/1222447)
Jun 02, 2017 12:44:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :634/3728 took 168138 ms. Total solver calls (SAT/UNSAT): 1231732(1825/1229907)
Jun 02, 2017 12:44:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :638/3728 took 169156 ms. Total solver calls (SAT/UNSAT): 1239204(1837/1237367)
Jun 02, 2017 12:44:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :642/3728 took 170205 ms. Total solver calls (SAT/UNSAT): 1246676(1849/1244827)
Jun 02, 2017 12:44:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :646/3728 took 171397 ms. Total solver calls (SAT/UNSAT): 1255669(1861/1253808)
Jun 02, 2017 12:44:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :651/3728 took 172642 ms. Total solver calls (SAT/UNSAT): 1265010(1876/1263134)
Jun 02, 2017 12:44:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :656/3728 took 173886 ms. Total solver calls (SAT/UNSAT): 1274350(1891/1272459)
Jun 02, 2017 12:44:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :661/3728 took 175131 ms. Total solver calls (SAT/UNSAT): 1283690(1906/1281784)
Jun 02, 2017 12:44:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :665/3728 took 176131 ms. Total solver calls (SAT/UNSAT): 1291162(1918/1289244)
Jun 02, 2017 12:44:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :669/3728 took 177324 ms. Total solver calls (SAT/UNSAT): 1300156(1930/1298226)
Jun 02, 2017 12:44:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :674/3728 took 178560 ms. Total solver calls (SAT/UNSAT): 1309496(1945/1307551)
Jun 02, 2017 12:44:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :679/3728 took 179792 ms. Total solver calls (SAT/UNSAT): 1318836(1960/1316876)
Jun 02, 2017 12:44:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :684/3728 took 181023 ms. Total solver calls (SAT/UNSAT): 1328176(1975/1326201)
Jun 02, 2017 12:44:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :688/3728 took 182205 ms. Total solver calls (SAT/UNSAT): 1337169(1987/1335182)
Jun 02, 2017 12:44:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :693/3728 took 183435 ms. Total solver calls (SAT/UNSAT): 1346510(2002/1344508)
Jun 02, 2017 12:45:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :698/3728 took 184666 ms. Total solver calls (SAT/UNSAT): 1355850(2017/1353833)
Jun 02, 2017 12:45:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :702/3728 took 185670 ms. Total solver calls (SAT/UNSAT): 1363322(2029/1361293)
Jun 02, 2017 12:45:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :707/3728 took 186902 ms. Total solver calls (SAT/UNSAT): 1372662(2044/1370618)
Jun 02, 2017 12:45:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :711/3728 took 188088 ms. Total solver calls (SAT/UNSAT): 1381656(2056/1379600)
Jun 02, 2017 12:45:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :716/3728 took 189324 ms. Total solver calls (SAT/UNSAT): 1390996(2071/1388925)
Jun 02, 2017 12:45:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :721/3728 took 190561 ms. Total solver calls (SAT/UNSAT): 1400336(2086/1398250)
Jun 02, 2017 12:45:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :726/3728 took 191798 ms. Total solver calls (SAT/UNSAT): 1409676(2101/1407575)
Jun 02, 2017 12:45:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :730/3728 took 192982 ms. Total solver calls (SAT/UNSAT): 1418669(2113/1416556)
Jun 02, 2017 12:45:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :735/3728 took 194226 ms. Total solver calls (SAT/UNSAT): 1428010(2128/1425882)
Jun 02, 2017 12:45:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :740/3728 took 195462 ms. Total solver calls (SAT/UNSAT): 1437350(2143/1435207)
Jun 02, 2017 12:45:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :745/3728 took 196697 ms. Total solver calls (SAT/UNSAT): 1446690(2158/1444532)
Jun 02, 2017 12:45:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :750/3728 took 197933 ms. Total solver calls (SAT/UNSAT): 1456030(2173/1453857)
Jun 02, 2017 12:45:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :754/3728 took 199117 ms. Total solver calls (SAT/UNSAT): 1465024(2185/1462839)
Jun 02, 2017 12:45:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :759/3728 took 200353 ms. Total solver calls (SAT/UNSAT): 1474364(2200/1472164)
Jun 02, 2017 12:45:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :764/3728 took 201596 ms. Total solver calls (SAT/UNSAT): 1483704(2215/1481489)
Jun 02, 2017 12:45:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :769/3728 took 202830 ms. Total solver calls (SAT/UNSAT): 1493044(2230/1490814)
Jun 02, 2017 12:45:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :773/3728 took 204013 ms. Total solver calls (SAT/UNSAT): 1502038(2242/1499796)
Jun 02, 2017 12:45:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :778/3728 took 205249 ms. Total solver calls (SAT/UNSAT): 1511378(2257/1509121)
Jun 02, 2017 12:45:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :783/3728 took 206484 ms. Total solver calls (SAT/UNSAT): 1520718(2272/1518446)
Jun 02, 2017 12:45:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :788/3728 took 207722 ms. Total solver calls (SAT/UNSAT): 1530058(2287/1527771)
Jun 02, 2017 12:45:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :793/3728 took 209164 ms. Total solver calls (SAT/UNSAT): 1540919(2302/1538617)
Jun 02, 2017 12:45:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :798/3728 took 210402 ms. Total solver calls (SAT/UNSAT): 1550260(2317/1547943)
Jun 02, 2017 12:45:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :803/3728 took 211640 ms. Total solver calls (SAT/UNSAT): 1559600(2332/1557268)
Jun 02, 2017 12:45:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :808/3728 took 212877 ms. Total solver calls (SAT/UNSAT): 1568940(2347/1566593)
Jun 02, 2017 12:45:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :813/3728 took 214118 ms. Total solver calls (SAT/UNSAT): 1578280(2362/1575918)
Jun 02, 2017 12:45:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :817/3728 took 215305 ms. Total solver calls (SAT/UNSAT): 1587274(2374/1584900)
Jun 02, 2017 12:45:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :822/3728 took 216551 ms. Total solver calls (SAT/UNSAT): 1596614(2389/1594225)
Jun 02, 2017 12:45:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :827/3728 took 217794 ms. Total solver calls (SAT/UNSAT): 1605954(2404/1603550)
Jun 02, 2017 12:45:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :832/3728 took 219028 ms. Total solver calls (SAT/UNSAT): 1615294(2419/1612875)
Jun 02, 2017 12:45:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :836/3728 took 220214 ms. Total solver calls (SAT/UNSAT): 1624288(2431/1621857)
Jun 02, 2017 12:45:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :841/3728 took 221449 ms. Total solver calls (SAT/UNSAT): 1633628(2446/1631182)
Jun 02, 2017 12:45:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :846/3728 took 222682 ms. Total solver calls (SAT/UNSAT): 1642968(2461/1640507)
Jun 02, 2017 12:45:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :850/3728 took 223682 ms. Total solver calls (SAT/UNSAT): 1650440(2473/1647967)
Jun 02, 2017 12:45:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :855/3728 took 224925 ms. Total solver calls (SAT/UNSAT): 1659780(2488/1657292)
Jun 02, 2017 12:45:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :859/3728 took 226113 ms. Total solver calls (SAT/UNSAT): 1668774(2500/1666274)
Jun 02, 2017 12:45:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :864/3728 took 227345 ms. Total solver calls (SAT/UNSAT): 1678114(2515/1675599)
Jun 02, 2017 12:45:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :869/3728 took 228577 ms. Total solver calls (SAT/UNSAT): 1687454(2530/1684924)
Jun 02, 2017 12:45:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :874/3728 took 229811 ms. Total solver calls (SAT/UNSAT): 1696794(2545/1694249)
Jun 02, 2017 12:45:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :878/3728 took 230996 ms. Total solver calls (SAT/UNSAT): 1705788(2557/1703231)
Jun 02, 2017 12:45:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :883/3728 took 232229 ms. Total solver calls (SAT/UNSAT): 1715128(2572/1712556)
Jun 02, 2017 12:45:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :888/3728 took 233460 ms. Total solver calls (SAT/UNSAT): 1724468(2587/1721881)
Jun 02, 2017 12:45:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :893/3728 took 234692 ms. Total solver calls (SAT/UNSAT): 1733808(2602/1731206)
Jun 02, 2017 12:45:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :898/3728 took 236120 ms. Total solver calls (SAT/UNSAT): 1744669(2617/1742052)
Jun 02, 2017 12:45:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :903/3728 took 237363 ms. Total solver calls (SAT/UNSAT): 1754010(2632/1751378)
Jun 02, 2017 12:45:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :908/3728 took 238593 ms. Total solver calls (SAT/UNSAT): 1763350(2647/1760703)
Jun 02, 2017 12:45:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :913/3728 took 239826 ms. Total solver calls (SAT/UNSAT): 1772690(2662/1770028)
Jun 02, 2017 12:45:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :918/3728 took 241060 ms. Total solver calls (SAT/UNSAT): 1782030(2677/1779353)
Jun 02, 2017 12:45:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :922/3728 took 242241 ms. Total solver calls (SAT/UNSAT): 1791024(2689/1788335)
Jun 02, 2017 12:45:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :926/3728 took 243242 ms. Total solver calls (SAT/UNSAT): 1798496(2701/1795795)
Jun 02, 2017 12:46:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :931/3728 took 244487 ms. Total solver calls (SAT/UNSAT): 1807836(2716/1805120)
Jun 02, 2017 12:46:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :936/3728 took 245731 ms. Total solver calls (SAT/UNSAT): 1817176(2731/1814445)
Jun 02, 2017 12:46:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :940/3728 took 246916 ms. Total solver calls (SAT/UNSAT): 1826169(2743/1823426)
Jun 02, 2017 12:46:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :945/3728 took 248151 ms. Total solver calls (SAT/UNSAT): 1835510(2758/1832752)
Jun 02, 2017 12:46:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :949/3728 took 249157 ms. Total solver calls (SAT/UNSAT): 1842982(2770/1840212)
Jun 02, 2017 12:46:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :954/3728 took 250394 ms. Total solver calls (SAT/UNSAT): 1852322(2785/1849537)
Jun 02, 2017 12:46:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :959/3728 took 251624 ms. Total solver calls (SAT/UNSAT): 1861662(2800/1858862)
Jun 02, 2017 12:46:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :963/3728 took 252807 ms. Total solver calls (SAT/UNSAT): 1870656(2812/1867844)
Jun 02, 2017 12:46:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :968/3728 took 254040 ms. Total solver calls (SAT/UNSAT): 1879996(2827/1877169)
Jun 02, 2017 12:46:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :972/3728 took 255088 ms. Total solver calls (SAT/UNSAT): 1887468(2839/1884629)
Jun 02, 2017 12:46:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :977/3728 took 256325 ms. Total solver calls (SAT/UNSAT): 1896808(2854/1893954)
Jun 02, 2017 12:46:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :982/3728 took 257758 ms. Total solver calls (SAT/UNSAT): 1907669(2869/1904800)
Jun 02, 2017 12:46:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :987/3728 took 258991 ms. Total solver calls (SAT/UNSAT): 1917010(2884/1914126)
Jun 02, 2017 12:46:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :991/3728 took 259991 ms. Total solver calls (SAT/UNSAT): 1924482(2896/1921586)
Jun 02, 2017 12:46:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :996/3728 took 261239 ms. Total solver calls (SAT/UNSAT): 1933822(2911/1930911)
Jun 02, 2017 12:46:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1001/3728 took 262479 ms. Total solver calls (SAT/UNSAT): 1943162(2926/1940236)
Jun 02, 2017 12:46:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1005/3728 took 263662 ms. Total solver calls (SAT/UNSAT): 1952156(2938/1949218)
Jun 02, 2017 12:46:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1010/3728 took 264899 ms. Total solver calls (SAT/UNSAT): 1961496(2953/1958543)
Jun 02, 2017 12:46:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1014/3728 took 265902 ms. Total solver calls (SAT/UNSAT): 1968968(2965/1966003)
Jun 02, 2017 12:46:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1018/3728 took 266953 ms. Total solver calls (SAT/UNSAT): 1976440(2977/1973463)
Jun 02, 2017 12:46:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1022/3728 took 267974 ms. Total solver calls (SAT/UNSAT): 1983912(2989/1980923)
Jun 02, 2017 12:46:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1026/3728 took 269196 ms. Total solver calls (SAT/UNSAT): 1992906(3001/1989905)
Jun 02, 2017 12:46:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1030/3728 took 270210 ms. Total solver calls (SAT/UNSAT): 2000378(3013/1997365)
Jun 02, 2017 12:46:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1034/3728 took 271230 ms. Total solver calls (SAT/UNSAT): 2007850(3025/2004825)
Jun 02, 2017 12:46:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1038/3728 took 272250 ms. Total solver calls (SAT/UNSAT): 2015322(3037/2012285)
Jun 02, 2017 12:46:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1042/3728 took 273269 ms. Total solver calls (SAT/UNSAT): 2022794(3049/2019745)
Jun 02, 2017 12:46:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1046/3728 took 274478 ms. Total solver calls (SAT/UNSAT): 2031788(3061/2028727)
Jun 02, 2017 12:46:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1050/3728 took 275493 ms. Total solver calls (SAT/UNSAT): 2039260(3073/2036187)
Jun 02, 2017 12:46:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1054/3728 took 276513 ms. Total solver calls (SAT/UNSAT): 2046732(3085/2043647)
Jun 02, 2017 12:46:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1058/3728 took 277533 ms. Total solver calls (SAT/UNSAT): 2054204(3097/2051107)
Jun 02, 2017 12:46:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1062/3728 took 278543 ms. Total solver calls (SAT/UNSAT): 2061676(3109/2058567)
Jun 02, 2017 12:46:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1066/3728 took 279750 ms. Total solver calls (SAT/UNSAT): 2070669(3121/2067548)
Jun 02, 2017 12:46:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1070/3728 took 280780 ms. Total solver calls (SAT/UNSAT): 2078142(3133/2075009)
Jun 02, 2017 12:46:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1074/3728 took 281800 ms. Total solver calls (SAT/UNSAT): 2085614(3145/2082469)
Jun 02, 2017 12:46:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1078/3728 took 282809 ms. Total solver calls (SAT/UNSAT): 2093086(3157/2089929)
Jun 02, 2017 12:46:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1082/3728 took 283816 ms. Total solver calls (SAT/UNSAT): 2100558(3169/2097389)
Jun 02, 2017 12:46:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1086/3728 took 284831 ms. Total solver calls (SAT/UNSAT): 2108030(3181/2104849)
Jun 02, 2017 12:46:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1090/3728 took 286053 ms. Total solver calls (SAT/UNSAT): 2117024(3193/2113831)
Jun 02, 2017 12:46:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1094/3728 took 287059 ms. Total solver calls (SAT/UNSAT): 2124496(3205/2121291)
Jun 02, 2017 12:46:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1098/3728 took 288070 ms. Total solver calls (SAT/UNSAT): 2131968(3217/2128751)
Jun 02, 2017 12:46:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1102/3728 took 289079 ms. Total solver calls (SAT/UNSAT): 2139440(3229/2136211)
Jun 02, 2017 12:46:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1106/3728 took 290102 ms. Total solver calls (SAT/UNSAT): 2146912(3241/2143671)
Jun 02, 2017 12:46:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1110/3728 took 291311 ms. Total solver calls (SAT/UNSAT): 2155906(3253/2152653)
Jun 02, 2017 12:46:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1114/3728 took 292320 ms. Total solver calls (SAT/UNSAT): 2163378(3265/2160113)
Jun 02, 2017 12:46:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1118/3728 took 293330 ms. Total solver calls (SAT/UNSAT): 2170850(3277/2167573)
Jun 02, 2017 12:46:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1122/3728 took 294352 ms. Total solver calls (SAT/UNSAT): 2178322(3289/2175033)
Jun 02, 2017 12:46:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1126/3728 took 295363 ms. Total solver calls (SAT/UNSAT): 2185794(3301/2182493)
Jun 02, 2017 12:46:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1130/3728 took 296575 ms. Total solver calls (SAT/UNSAT): 2194788(3313/2191475)
Jun 02, 2017 12:46:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1134/3728 took 297595 ms. Total solver calls (SAT/UNSAT): 2202260(3325/2198935)
Jun 02, 2017 12:46:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1138/3728 took 298604 ms. Total solver calls (SAT/UNSAT): 2209732(3337/2206395)
Jun 02, 2017 12:46:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1142/3728 took 299614 ms. Total solver calls (SAT/UNSAT): 2217204(3349/2213855)
Jun 02, 2017 12:46:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1146/3728 took 300626 ms. Total solver calls (SAT/UNSAT): 2224676(3361/2221315)
Jun 02, 2017 12:46:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1150/3728 took 301875 ms. Total solver calls (SAT/UNSAT): 2233669(3373/2230296)
Jun 02, 2017 12:46:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1155/3728 took 303121 ms. Total solver calls (SAT/UNSAT): 2243010(3388/2239622)
Jun 02, 2017 12:47:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1160/3728 took 304363 ms. Total solver calls (SAT/UNSAT): 2252350(3403/2248947)
Jun 02, 2017 12:47:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1164/3728 took 305404 ms. Total solver calls (SAT/UNSAT): 2259822(3415/2256407)
Jun 02, 2017 12:47:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1169/3728 took 306642 ms. Total solver calls (SAT/UNSAT): 2269162(3430/2265732)
Jun 02, 2017 12:47:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1173/3728 took 307831 ms. Total solver calls (SAT/UNSAT): 2278156(3442/2274714)
Jun 02, 2017 12:47:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1178/3728 took 309080 ms. Total solver calls (SAT/UNSAT): 2287496(3457/2284039)
Jun 02, 2017 12:47:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1183/3728 took 310322 ms. Total solver calls (SAT/UNSAT): 2296836(3472/2293364)
Jun 02, 2017 12:47:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1188/3728 took 311565 ms. Total solver calls (SAT/UNSAT): 2306176(3487/2302689)
Jun 02, 2017 12:47:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1192/3728 took 312762 ms. Total solver calls (SAT/UNSAT): 2315169(3499/2311670)
Jun 02, 2017 12:47:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1197/3728 took 314003 ms. Total solver calls (SAT/UNSAT): 2324510(3514/2320996)
Jun 02, 2017 12:47:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1202/3728 took 315245 ms. Total solver calls (SAT/UNSAT): 2333850(3529/2330321)
Jun 02, 2017 12:47:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1206/3728 took 316245 ms. Total solver calls (SAT/UNSAT): 2341322(3541/2337781)
Jun 02, 2017 12:47:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1211/3728 took 317488 ms. Total solver calls (SAT/UNSAT): 2350662(3556/2347106)
Jun 02, 2017 12:47:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1215/3728 took 318681 ms. Total solver calls (SAT/UNSAT): 2359656(3568/2356088)
Jun 02, 2017 12:47:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1219/3728 took 319682 ms. Total solver calls (SAT/UNSAT): 2367128(3580/2363548)
Jun 02, 2017 12:47:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1224/3728 took 320922 ms. Total solver calls (SAT/UNSAT): 2376468(3595/2372873)
Jun 02, 2017 12:47:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1229/3728 took 322175 ms. Total solver calls (SAT/UNSAT): 2385808(3610/2382198)
Jun 02, 2017 12:47:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1233/3728 took 323178 ms. Total solver calls (SAT/UNSAT): 2393280(3622/2389658)
Jun 02, 2017 12:47:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1237/3728 took 324384 ms. Total solver calls (SAT/UNSAT): 2402274(3634/2398640)
Jun 02, 2017 12:47:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1241/3728 took 325400 ms. Total solver calls (SAT/UNSAT): 2409746(3646/2406100)
Jun 02, 2017 12:47:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1246/3728 took 326642 ms. Total solver calls (SAT/UNSAT): 2419086(3661/2415425)
Jun 02, 2017 12:47:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1251/3728 took 327880 ms. Total solver calls (SAT/UNSAT): 2428426(3676/2424750)
Jun 02, 2017 12:47:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1255/3728 took 329089 ms. Total solver calls (SAT/UNSAT): 2437419(3688/2433731)
Jun 02, 2017 12:47:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1260/3728 took 330331 ms. Total solver calls (SAT/UNSAT): 2446760(3703/2443057)
Jun 02, 2017 12:47:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1264/3728 took 331331 ms. Total solver calls (SAT/UNSAT): 2454232(3715/2450517)
Jun 02, 2017 12:47:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1269/3728 took 332573 ms. Total solver calls (SAT/UNSAT): 2463572(3730/2459842)
Jun 02, 2017 12:47:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1274/3728 took 333820 ms. Total solver calls (SAT/UNSAT): 2472912(3745/2469167)
Jun 02, 2017 12:47:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1278/3728 took 335013 ms. Total solver calls (SAT/UNSAT): 2481906(3757/2478149)
Jun 02, 2017 12:47:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1283/3728 took 336264 ms. Total solver calls (SAT/UNSAT): 2491246(3772/2487474)
Jun 02, 2017 12:47:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1288/3728 took 337508 ms. Total solver calls (SAT/UNSAT): 2500586(3787/2496799)
Jun 02, 2017 12:47:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1293/3728 took 338758 ms. Total solver calls (SAT/UNSAT): 2509926(3802/2506124)
Jun 02, 2017 12:47:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1297/3728 took 339951 ms. Total solver calls (SAT/UNSAT): 2518919(3814/2515105)
Jun 02, 2017 12:47:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1302/3728 took 341237 ms. Total solver calls (SAT/UNSAT): 2528260(3829/2524431)
Jun 02, 2017 12:47:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1306/3728 took 342242 ms. Total solver calls (SAT/UNSAT): 2535732(3841/2531891)
Jun 02, 2017 12:47:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1311/3728 took 343485 ms. Total solver calls (SAT/UNSAT): 2545072(3856/2541216)
Jun 02, 2017 12:47:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1315/3728 took 344495 ms. Total solver calls (SAT/UNSAT): 2552544(3868/2548676)
Jun 02, 2017 12:47:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1319/3728 took 345691 ms. Total solver calls (SAT/UNSAT): 2561538(3880/2557658)
Jun 02, 2017 12:47:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1323/3728 took 346710 ms. Total solver calls (SAT/UNSAT): 2569010(3892/2565118)
Jun 02, 2017 12:47:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1327/3728 took 347710 ms. Total solver calls (SAT/UNSAT): 2576482(3904/2572578)
Jun 02, 2017 12:47:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1331/3728 took 348714 ms. Total solver calls (SAT/UNSAT): 2583954(3916/2580038)
Jun 02, 2017 12:47:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1336/3728 took 349957 ms. Total solver calls (SAT/UNSAT): 2593294(3931/2589363)
Jun 02, 2017 12:47:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1340/3728 took 351165 ms. Total solver calls (SAT/UNSAT): 2602288(3943/2598345)
Jun 02, 2017 12:47:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1344/3728 took 352170 ms. Total solver calls (SAT/UNSAT): 2609760(3955/2605805)
Jun 02, 2017 12:47:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1348/3728 took 353183 ms. Total solver calls (SAT/UNSAT): 2617232(3967/2613265)
Jun 02, 2017 12:47:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1352/3728 took 354184 ms. Total solver calls (SAT/UNSAT): 2624704(3979/2620725)
Jun 02, 2017 12:47:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1356/3728 took 355193 ms. Total solver calls (SAT/UNSAT): 2632176(3991/2628185)
Jun 02, 2017 12:47:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1360/3728 took 356400 ms. Total solver calls (SAT/UNSAT): 2641169(4003/2637166)
Jun 02, 2017 12:47:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1364/3728 took 357414 ms. Total solver calls (SAT/UNSAT): 2648642(4015/2644627)
Jun 02, 2017 12:47:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1369/3728 took 358687 ms. Total solver calls (SAT/UNSAT): 2657982(4030/2653952)
Jun 02, 2017 12:47:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1373/3728 took 359729 ms. Total solver calls (SAT/UNSAT): 2665454(4042/2661412)
Jun 02, 2017 12:47:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1377/3728 took 360757 ms. Total solver calls (SAT/UNSAT): 2672926(4054/2668872)
Jun 02, 2017 12:47:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1381/3728 took 361983 ms. Total solver calls (SAT/UNSAT): 2681919(4066/2677853)
Jun 02, 2017 12:47:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1385/3728 took 363003 ms. Total solver calls (SAT/UNSAT): 2689392(4078/2685314)
Jun 02, 2017 12:48:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1389/3728 took 364016 ms. Total solver calls (SAT/UNSAT): 2696864(4090/2692774)
Jun 02, 2017 12:48:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1393/3728 took 365044 ms. Total solver calls (SAT/UNSAT): 2704336(4102/2700234)
Jun 02, 2017 12:48:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1397/3728 took 366063 ms. Total solver calls (SAT/UNSAT): 2711808(4114/2707694)
Jun 02, 2017 12:48:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1401/3728 took 367096 ms. Total solver calls (SAT/UNSAT): 2719280(4126/2715154)
Jun 02, 2017 12:48:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1405/3728 took 368321 ms. Total solver calls (SAT/UNSAT): 2728274(4138/2724136)
Jun 02, 2017 12:48:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1409/3728 took 369345 ms. Total solver calls (SAT/UNSAT): 2735746(4150/2731596)
Jun 02, 2017 12:48:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1413/3728 took 370380 ms. Total solver calls (SAT/UNSAT): 2743218(4162/2739056)
Jun 02, 2017 12:48:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1417/3728 took 371425 ms. Total solver calls (SAT/UNSAT): 2750690(4174/2746516)
Jun 02, 2017 12:48:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1422/3728 took 372664 ms. Total solver calls (SAT/UNSAT): 2760030(4189/2755841)
Jun 02, 2017 12:48:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1426/3728 took 373857 ms. Total solver calls (SAT/UNSAT): 2769024(4201/2764823)
Jun 02, 2017 12:48:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1430/3728 took 374859 ms. Total solver calls (SAT/UNSAT): 2776496(4213/2772283)
Jun 02, 2017 12:48:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1434/3728 took 375859 ms. Total solver calls (SAT/UNSAT): 2783968(4225/2779743)
Jun 02, 2017 12:48:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1438/3728 took 376864 ms. Total solver calls (SAT/UNSAT): 2791440(4237/2787203)
Jun 02, 2017 12:48:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1442/3728 took 377868 ms. Total solver calls (SAT/UNSAT): 2798912(4249/2794663)
Jun 02, 2017 12:48:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1446/3728 took 379070 ms. Total solver calls (SAT/UNSAT): 2807906(4261/2803645)
Jun 02, 2017 12:48:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1450/3728 took 380120 ms. Total solver calls (SAT/UNSAT): 2815378(4273/2811105)
Jun 02, 2017 12:48:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1454/3728 took 381153 ms. Total solver calls (SAT/UNSAT): 2822850(4285/2818565)
Jun 02, 2017 12:48:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1458/3728 took 382183 ms. Total solver calls (SAT/UNSAT): 2830322(4297/2826025)
Jun 02, 2017 12:48:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1462/3728 took 383212 ms. Total solver calls (SAT/UNSAT): 2837794(4309/2833485)
Jun 02, 2017 12:48:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1466/3728 took 384457 ms. Total solver calls (SAT/UNSAT): 2846788(4321/2842467)
Jun 02, 2017 12:48:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1470/3728 took 385486 ms. Total solver calls (SAT/UNSAT): 2854260(4333/2849927)
Jun 02, 2017 12:48:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1474/3728 took 386517 ms. Total solver calls (SAT/UNSAT): 2861732(4345/2857387)
Jun 02, 2017 12:48:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1478/3728 took 387542 ms. Total solver calls (SAT/UNSAT): 2869204(4357/2864847)
Jun 02, 2017 12:48:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1482/3728 took 388571 ms. Total solver calls (SAT/UNSAT): 2876676(4369/2872307)
Jun 02, 2017 12:48:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1486/3728 took 389805 ms. Total solver calls (SAT/UNSAT): 2885669(4381/2881288)
Jun 02, 2017 12:48:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1490/3728 took 390830 ms. Total solver calls (SAT/UNSAT): 2893142(4393/2888749)
Jun 02, 2017 12:48:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1494/3728 took 391868 ms. Total solver calls (SAT/UNSAT): 2900614(4405/2896209)
Jun 02, 2017 12:48:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1498/3728 took 392902 ms. Total solver calls (SAT/UNSAT): 2908086(4417/2903669)
Jun 02, 2017 12:48:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1502/3728 took 393927 ms. Total solver calls (SAT/UNSAT): 2915558(4429/2911129)
Jun 02, 2017 12:48:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1506/3728 took 394957 ms. Total solver calls (SAT/UNSAT): 2923030(4441/2918589)
Jun 02, 2017 12:48:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1509/3728 took 395969 ms. Total solver calls (SAT/UNSAT): 2930156(4450/2925706)
Jun 02, 2017 12:48:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1513/3728 took 396985 ms. Total solver calls (SAT/UNSAT): 2937628(4462/2933166)
Jun 02, 2017 12:48:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1517/3728 took 397989 ms. Total solver calls (SAT/UNSAT): 2945100(4474/2940626)
Jun 02, 2017 12:48:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1521/3728 took 398989 ms. Total solver calls (SAT/UNSAT): 2952572(4486/2948086)
Jun 02, 2017 12:48:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1525/3728 took 399989 ms. Total solver calls (SAT/UNSAT): 2960044(4498/2955546)
Jun 02, 2017 12:48:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1529/3728 took 401186 ms. Total solver calls (SAT/UNSAT): 2969038(4510/2964528)
Jun 02, 2017 12:48:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1534/3728 took 402433 ms. Total solver calls (SAT/UNSAT): 2978378(4525/2973853)
Jun 02, 2017 12:48:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1538/3728 took 403433 ms. Total solver calls (SAT/UNSAT): 2985850(4537/2981313)
Jun 02, 2017 12:48:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1542/3728 took 404435 ms. Total solver calls (SAT/UNSAT): 2993322(4549/2988773)
Jun 02, 2017 12:48:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1547/3728 took 405683 ms. Total solver calls (SAT/UNSAT): 3002662(4564/2998098)
Jun 02, 2017 12:48:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1551/3728 took 406904 ms. Total solver calls (SAT/UNSAT): 3011656(4576/3007080)
Jun 02, 2017 12:48:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1555/3728 took 407923 ms. Total solver calls (SAT/UNSAT): 3019128(4588/3014540)
Jun 02, 2017 12:48:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1559/3728 took 408935 ms. Total solver calls (SAT/UNSAT): 3026600(4600/3022000)
Jun 02, 2017 12:48:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1563/3728 took 409947 ms. Total solver calls (SAT/UNSAT): 3034072(4612/3029460)
Jun 02, 2017 12:48:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1567/3728 took 410962 ms. Total solver calls (SAT/UNSAT): 3041544(4624/3036920)
Jun 02, 2017 12:48:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1571/3728 took 412181 ms. Total solver calls (SAT/UNSAT): 3050538(4636/3045902)
Jun 02, 2017 12:48:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1575/3728 took 413200 ms. Total solver calls (SAT/UNSAT): 3058010(4648/3053362)
Jun 02, 2017 12:48:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1579/3728 took 414204 ms. Total solver calls (SAT/UNSAT): 3065482(4660/3060822)
Jun 02, 2017 12:48:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1583/3728 took 415218 ms. Total solver calls (SAT/UNSAT): 3072954(4672/3068282)
Jun 02, 2017 12:48:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1587/3728 took 416275 ms. Total solver calls (SAT/UNSAT): 3080426(4684/3075742)
Jun 02, 2017 12:48:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1591/3728 took 417484 ms. Total solver calls (SAT/UNSAT): 3089419(4696/3084723)
Jun 02, 2017 12:48:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1595/3728 took 418486 ms. Total solver calls (SAT/UNSAT): 3096892(4708/3092184)
Jun 02, 2017 12:48:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1600/3728 took 419734 ms. Total solver calls (SAT/UNSAT): 3106232(4723/3101509)
Jun 02, 2017 12:48:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1604/3728 took 420746 ms. Total solver calls (SAT/UNSAT): 3113704(4735/3108969)
Jun 02, 2017 12:48:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1608/3728 took 421754 ms. Total solver calls (SAT/UNSAT): 3121176(4747/3116429)
Jun 02, 2017 12:48:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1612/3728 took 423021 ms. Total solver calls (SAT/UNSAT): 3130169(4759/3125410)
Jun 02, 2017 12:49:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1616/3728 took 424058 ms. Total solver calls (SAT/UNSAT): 3137642(4771/3132871)
Jun 02, 2017 12:49:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1620/3728 took 425090 ms. Total solver calls (SAT/UNSAT): 3145114(4783/3140331)
Jun 02, 2017 12:49:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1624/3728 took 426166 ms. Total solver calls (SAT/UNSAT): 3152586(4795/3147791)
Jun 02, 2017 12:49:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1628/3728 took 427180 ms. Total solver calls (SAT/UNSAT): 3160058(4807/3155251)
Jun 02, 2017 12:49:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1632/3728 took 428191 ms. Total solver calls (SAT/UNSAT): 3167530(4819/3162711)
Jun 02, 2017 12:49:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1636/3728 took 429398 ms. Total solver calls (SAT/UNSAT): 3176524(4831/3171693)
Jun 02, 2017 12:49:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1640/3728 took 430408 ms. Total solver calls (SAT/UNSAT): 3183996(4843/3179153)
Jun 02, 2017 12:49:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1644/3728 took 431435 ms. Total solver calls (SAT/UNSAT): 3191468(4855/3186613)
Jun 02, 2017 12:49:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1648/3728 took 432454 ms. Total solver calls (SAT/UNSAT): 3198940(4867/3194073)
Jun 02, 2017 12:49:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1652/3728 took 433468 ms. Total solver calls (SAT/UNSAT): 3206412(4879/3201533)
Jun 02, 2017 12:49:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1656/3728 took 434673 ms. Total solver calls (SAT/UNSAT): 3215406(4891/3210515)
Jun 02, 2017 12:49:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1660/3728 took 435682 ms. Total solver calls (SAT/UNSAT): 3222878(4903/3217975)
Jun 02, 2017 12:49:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1664/3728 took 436701 ms. Total solver calls (SAT/UNSAT): 3230350(4915/3225435)
Jun 02, 2017 12:49:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1668/3728 took 437715 ms. Total solver calls (SAT/UNSAT): 3237822(4927/3232895)
Jun 02, 2017 12:49:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1672/3728 took 438725 ms. Total solver calls (SAT/UNSAT): 3245294(4939/3240355)
Jun 02, 2017 12:49:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1676/3728 took 439946 ms. Total solver calls (SAT/UNSAT): 3254288(4951/3249337)
Jun 02, 2017 12:49:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1680/3728 took 440965 ms. Total solver calls (SAT/UNSAT): 3261760(4963/3256797)
Jun 02, 2017 12:49:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1684/3728 took 441979 ms. Total solver calls (SAT/UNSAT): 3269232(4975/3264257)
Jun 02, 2017 12:49:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1688/3728 took 442994 ms. Total solver calls (SAT/UNSAT): 3276704(4987/3271717)
Jun 02, 2017 12:49:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1692/3728 took 444009 ms. Total solver calls (SAT/UNSAT): 3284176(4999/3279177)
Jun 02, 2017 12:49:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1696/3728 took 445228 ms. Total solver calls (SAT/UNSAT): 3293169(5011/3288158)
Jun 02, 2017 12:49:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1700/3728 took 446238 ms. Total solver calls (SAT/UNSAT): 3300642(5023/3295619)
Jun 02, 2017 12:49:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1704/3728 took 447243 ms. Total solver calls (SAT/UNSAT): 3308114(5035/3303079)
Jun 02, 2017 12:49:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1708/3728 took 448250 ms. Total solver calls (SAT/UNSAT): 3315586(5047/3310539)
Jun 02, 2017 12:49:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1712/3728 took 449265 ms. Total solver calls (SAT/UNSAT): 3323058(5059/3317999)
Jun 02, 2017 12:49:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1716/3728 took 450274 ms. Total solver calls (SAT/UNSAT): 3330530(5071/3325459)
Jun 02, 2017 12:49:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1720/3728 took 451490 ms. Total solver calls (SAT/UNSAT): 3339524(5083/3334441)
Jun 02, 2017 12:49:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1724/3728 took 452493 ms. Total solver calls (SAT/UNSAT): 3346996(5095/3341901)
Jun 02, 2017 12:49:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1728/3728 took 453498 ms. Total solver calls (SAT/UNSAT): 3354468(5107/3349361)
Jun 02, 2017 12:49:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1732/3728 took 454506 ms. Total solver calls (SAT/UNSAT): 3361940(5119/3356821)
Jun 02, 2017 12:49:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1736/3728 took 455513 ms. Total solver calls (SAT/UNSAT): 3369412(5131/3364281)
Jun 02, 2017 12:49:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1740/3728 took 456719 ms. Total solver calls (SAT/UNSAT): 3378406(5143/3373263)
Jun 02, 2017 12:49:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1744/3728 took 457725 ms. Total solver calls (SAT/UNSAT): 3385878(5155/3380723)
Jun 02, 2017 12:49:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1748/3728 took 458730 ms. Total solver calls (SAT/UNSAT): 3393350(5167/3388183)
Jun 02, 2017 12:49:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1752/3728 took 459734 ms. Total solver calls (SAT/UNSAT): 3400822(5179/3395643)
Jun 02, 2017 12:49:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1756/3728 took 460745 ms. Total solver calls (SAT/UNSAT): 3408294(5191/3403103)
Jun 02, 2017 12:49:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1760/3728 took 461946 ms. Total solver calls (SAT/UNSAT): 3417287(5203/3412084)
Jun 02, 2017 12:49:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1764/3728 took 462947 ms. Total solver calls (SAT/UNSAT): 3424755(5215/3419540)
Jun 02, 2017 12:49:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1768/3728 took 463952 ms. Total solver calls (SAT/UNSAT): 3432223(5227/3426996)
Jun 02, 2017 12:49:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1772/3728 took 464965 ms. Total solver calls (SAT/UNSAT): 3439691(5239/3434452)
Jun 02, 2017 12:49:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1776/3728 took 465974 ms. Total solver calls (SAT/UNSAT): 3447159(5251/3441908)
Jun 02, 2017 12:49:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1780/3728 took 467191 ms. Total solver calls (SAT/UNSAT): 3456148(5263/3450885)
Jun 02, 2017 12:49:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1784/3728 took 468193 ms. Total solver calls (SAT/UNSAT): 3463621(5275/3458346)
Jun 02, 2017 12:49:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1788/3728 took 469199 ms. Total solver calls (SAT/UNSAT): 3471093(5287/3465806)
Jun 02, 2017 12:49:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1793/3728 took 470446 ms. Total solver calls (SAT/UNSAT): 3480433(5302/3475131)
Jun 02, 2017 12:49:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1797/3728 took 471449 ms. Total solver calls (SAT/UNSAT): 3487905(5314/3482591)
Jun 02, 2017 12:49:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1801/3728 took 472652 ms. Total solver calls (SAT/UNSAT): 3496898(5326/3491572)
Jun 02, 2017 12:49:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1805/3728 took 473653 ms. Total solver calls (SAT/UNSAT): 3504371(5338/3499033)
Jun 02, 2017 12:49:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1809/3728 took 474655 ms. Total solver calls (SAT/UNSAT): 3511843(5350/3506493)
Jun 02, 2017 12:49:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1813/3728 took 475663 ms. Total solver calls (SAT/UNSAT): 3519315(5362/3513953)
Jun 02, 2017 12:49:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1817/3728 took 476671 ms. Total solver calls (SAT/UNSAT): 3526787(5374/3521413)
Jun 02, 2017 12:49:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1821/3728 took 477677 ms. Total solver calls (SAT/UNSAT): 3534259(5386/3528873)
Jun 02, 2017 12:49:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1825/3728 took 478876 ms. Total solver calls (SAT/UNSAT): 3543253(5398/3537855)
Jun 02, 2017 12:49:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1829/3728 took 479884 ms. Total solver calls (SAT/UNSAT): 3550725(5410/3545315)
Jun 02, 2017 12:49:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1833/3728 took 480889 ms. Total solver calls (SAT/UNSAT): 3558197(5422/3552775)
Jun 02, 2017 12:49:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1837/3728 took 481892 ms. Total solver calls (SAT/UNSAT): 3565669(5434/3560235)
Jun 02, 2017 12:49:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1841/3728 took 482899 ms. Total solver calls (SAT/UNSAT): 3573141(5446/3567695)
Jun 02, 2017 12:50:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1845/3728 took 484113 ms. Total solver calls (SAT/UNSAT): 3582135(5458/3576677)
Jun 02, 2017 12:50:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1849/3728 took 485116 ms. Total solver calls (SAT/UNSAT): 3589607(5470/3584137)
Jun 02, 2017 12:50:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1853/3728 took 486116 ms. Total solver calls (SAT/UNSAT): 3597079(5482/3591597)
Jun 02, 2017 12:50:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1857/3728 took 487118 ms. Total solver calls (SAT/UNSAT): 3604551(5494/3599057)
Jun 02, 2017 12:50:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1861/3728 took 488119 ms. Total solver calls (SAT/UNSAT): 3612023(5506/3606517)
Jun 02, 2017 12:50:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1865/3728 took 489321 ms. Total solver calls (SAT/UNSAT): 3621017(5518/3615499)
Jun 02, 2017 12:50:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1869/3728 took 490323 ms. Total solver calls (SAT/UNSAT): 3628489(5530/3622959)
Jun 02, 2017 12:50:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1873/3728 took 491326 ms. Total solver calls (SAT/UNSAT): 3635961(5542/3630419)
Jun 02, 2017 12:50:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1877/3728 took 492377 ms. Total solver calls (SAT/UNSAT): 3643433(5554/3637879)
Jun 02, 2017 12:50:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1881/3728 took 493397 ms. Total solver calls (SAT/UNSAT): 3650905(5566/3645339)
Jun 02, 2017 12:50:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1885/3728 took 494631 ms. Total solver calls (SAT/UNSAT): 3659898(5578/3654320)
Jun 02, 2017 12:50:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1889/3728 took 495658 ms. Total solver calls (SAT/UNSAT): 3667371(5590/3661781)
Jun 02, 2017 12:50:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1893/3728 took 496689 ms. Total solver calls (SAT/UNSAT): 3674843(5602/3669241)
Jun 02, 2017 12:50:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1897/3728 took 497759 ms. Total solver calls (SAT/UNSAT): 3682315(5614/3676701)
Jun 02, 2017 12:50:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1901/3728 took 498781 ms. Total solver calls (SAT/UNSAT): 3689787(5626/3684161)
Jun 02, 2017 12:50:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1905/3728 took 499811 ms. Total solver calls (SAT/UNSAT): 3697259(5638/3691621)
Jun 02, 2017 12:50:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1909/3728 took 501057 ms. Total solver calls (SAT/UNSAT): 3706253(5650/3700603)
Jun 02, 2017 12:50:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1913/3728 took 502081 ms. Total solver calls (SAT/UNSAT): 3713725(5662/3708063)
Jun 02, 2017 12:50:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1917/3728 took 503120 ms. Total solver calls (SAT/UNSAT): 3721197(5674/3715523)
Jun 02, 2017 12:50:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1921/3728 took 504147 ms. Total solver calls (SAT/UNSAT): 3728669(5686/3722983)
Jun 02, 2017 12:50:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1925/3728 took 505199 ms. Total solver calls (SAT/UNSAT): 3736141(5698/3730443)
Jun 02, 2017 12:50:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1929/3728 took 506391 ms. Total solver calls (SAT/UNSAT): 3745135(5710/3739425)
Jun 02, 2017 12:50:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1933/3728 took 507485 ms. Total solver calls (SAT/UNSAT): 3752607(5722/3746885)
Jun 02, 2017 12:50:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1937/3728 took 508518 ms. Total solver calls (SAT/UNSAT): 3760079(5734/3754345)
Jun 02, 2017 12:50:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1941/3728 took 509547 ms. Total solver calls (SAT/UNSAT): 3767551(5746/3761805)
Jun 02, 2017 12:50:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1945/3728 took 510567 ms. Total solver calls (SAT/UNSAT): 3775023(5758/3769265)
Jun 02, 2017 12:50:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1949/3728 took 511798 ms. Total solver calls (SAT/UNSAT): 3784017(5770/3778247)
Jun 02, 2017 12:50:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1953/3728 took 512832 ms. Total solver calls (SAT/UNSAT): 3791489(5782/3785707)
Jun 02, 2017 12:50:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1957/3728 took 513856 ms. Total solver calls (SAT/UNSAT): 3798961(5794/3793167)
Jun 02, 2017 12:50:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1961/3728 took 514882 ms. Total solver calls (SAT/UNSAT): 3806433(5806/3800627)
Jun 02, 2017 12:50:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1965/3728 took 515911 ms. Total solver calls (SAT/UNSAT): 3813905(5818/3808087)
Jun 02, 2017 12:50:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1969/3728 took 517145 ms. Total solver calls (SAT/UNSAT): 3822898(5830/3817068)
Jun 02, 2017 12:50:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1973/3728 took 518167 ms. Total solver calls (SAT/UNSAT): 3830371(5842/3824529)
Jun 02, 2017 12:50:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1977/3728 took 519191 ms. Total solver calls (SAT/UNSAT): 3837843(5854/3831989)
Jun 02, 2017 12:50:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1981/3728 took 520218 ms. Total solver calls (SAT/UNSAT): 3845315(5866/3839449)
Jun 02, 2017 12:50:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1985/3728 took 521245 ms. Total solver calls (SAT/UNSAT): 3852787(5878/3846909)
Jun 02, 2017 12:50:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1989/3728 took 522276 ms. Total solver calls (SAT/UNSAT): 3860259(5890/3854369)
Jun 02, 2017 12:50:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1993/3728 took 523510 ms. Total solver calls (SAT/UNSAT): 3869253(5902/3863351)
Jun 02, 2017 12:50:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1997/3728 took 524536 ms. Total solver calls (SAT/UNSAT): 3876725(5914/3870811)
Jun 02, 2017 12:50:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2001/3728 took 525563 ms. Total solver calls (SAT/UNSAT): 3884197(5926/3878271)
Jun 02, 2017 12:50:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2005/3728 took 526624 ms. Total solver calls (SAT/UNSAT): 3891669(5938/3885731)
Jun 02, 2017 12:50:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2009/3728 took 527648 ms. Total solver calls (SAT/UNSAT): 3899141(5950/3893191)
Jun 02, 2017 12:50:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2013/3728 took 528881 ms. Total solver calls (SAT/UNSAT): 3908135(5962/3902173)
Jun 02, 2017 12:50:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2017/3728 took 529905 ms. Total solver calls (SAT/UNSAT): 3915607(5974/3909633)
Jun 02, 2017 12:50:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2021/3728 took 530919 ms. Total solver calls (SAT/UNSAT): 3923079(5986/3917093)
Jun 02, 2017 12:50:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2025/3728 took 531931 ms. Total solver calls (SAT/UNSAT): 3930551(5998/3924553)
Jun 02, 2017 12:50:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2029/3728 took 532949 ms. Total solver calls (SAT/UNSAT): 3938023(6010/3932013)
Jun 02, 2017 12:50:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2033/3728 took 534168 ms. Total solver calls (SAT/UNSAT): 3947017(6022/3940995)
Jun 02, 2017 12:50:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2037/3728 took 535184 ms. Total solver calls (SAT/UNSAT): 3954489(6034/3948455)
Jun 02, 2017 12:50:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2041/3728 took 536235 ms. Total solver calls (SAT/UNSAT): 3961961(6046/3955915)
Jun 02, 2017 12:50:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2045/3728 took 537235 ms. Total solver calls (SAT/UNSAT): 3969433(6058/3963375)
Jun 02, 2017 12:50:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2050/3728 took 538476 ms. Total solver calls (SAT/UNSAT): 3978773(6073/3972700)
Jun 02, 2017 12:50:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2054/3728 took 539666 ms. Total solver calls (SAT/UNSAT): 3987767(6085/3981682)
Jun 02, 2017 12:50:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2058/3728 took 540678 ms. Total solver calls (SAT/UNSAT): 3995239(6097/3989142)
Jun 02, 2017 12:50:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2063/3728 took 541918 ms. Total solver calls (SAT/UNSAT): 4004579(6112/3998467)
Jun 02, 2017 12:50:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2068/3728 took 543161 ms. Total solver calls (SAT/UNSAT): 4013919(6127/4007792)
Jun 02, 2017 12:51:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2072/3728 took 544238 ms. Total solver calls (SAT/UNSAT): 4021391(6139/4015252)
Jun 02, 2017 12:51:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2076/3728 took 545497 ms. Total solver calls (SAT/UNSAT): 4030385(6151/4024234)
Jun 02, 2017 12:51:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2081/3728 took 546735 ms. Total solver calls (SAT/UNSAT): 4039725(6166/4033559)
Jun 02, 2017 12:51:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2086/3728 took 547977 ms. Total solver calls (SAT/UNSAT): 4049065(6181/4042884)
Jun 02, 2017 12:51:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2091/3728 took 549215 ms. Total solver calls (SAT/UNSAT): 4058405(6196/4052209)
Jun 02, 2017 12:51:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2095/3728 took 550405 ms. Total solver calls (SAT/UNSAT): 4067398(6208/4061190)
Jun 02, 2017 12:51:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2100/3728 took 551650 ms. Total solver calls (SAT/UNSAT): 4076739(6223/4070516)
Jun 02, 2017 12:51:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2105/3728 took 552897 ms. Total solver calls (SAT/UNSAT): 4086079(6238/4079841)
Jun 02, 2017 12:51:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2110/3728 took 554141 ms. Total solver calls (SAT/UNSAT): 4095419(6253/4089166)
Jun 02, 2017 12:51:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2115/3728 took 555386 ms. Total solver calls (SAT/UNSAT): 4104759(6268/4098491)
Jun 02, 2017 12:51:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2119/3728 took 556584 ms. Total solver calls (SAT/UNSAT): 4113753(6280/4107473)
Jun 02, 2017 12:51:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2124/3728 took 557824 ms. Total solver calls (SAT/UNSAT): 4123093(6295/4116798)
Jun 02, 2017 12:51:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2128/3728 took 558829 ms. Total solver calls (SAT/UNSAT): 4130565(6307/4124258)
Jun 02, 2017 12:51:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2133/3728 took 560071 ms. Total solver calls (SAT/UNSAT): 4139905(6322/4133583)
Jun 02, 2017 12:51:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2137/3728 took 561261 ms. Total solver calls (SAT/UNSAT): 4148898(6334/4142564)
Jun 02, 2017 12:51:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2142/3728 took 562500 ms. Total solver calls (SAT/UNSAT): 4158239(6349/4151890)
Jun 02, 2017 12:51:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2147/3728 took 563735 ms. Total solver calls (SAT/UNSAT): 4167579(6364/4161215)
Jun 02, 2017 12:51:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2152/3728 took 564980 ms. Total solver calls (SAT/UNSAT): 4176919(6379/4170540)
Jun 02, 2017 12:51:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2157/3728 took 566222 ms. Total solver calls (SAT/UNSAT): 4186259(6394/4179865)
Jun 02, 2017 12:51:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2161/3728 took 567414 ms. Total solver calls (SAT/UNSAT): 4195253(6406/4188847)
Jun 02, 2017 12:51:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2166/3728 took 568657 ms. Total solver calls (SAT/UNSAT): 4204593(6421/4198172)
Jun 02, 2017 12:51:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2171/3728 took 569893 ms. Total solver calls (SAT/UNSAT): 4213933(6436/4207497)
Jun 02, 2017 12:51:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2176/3728 took 571129 ms. Total solver calls (SAT/UNSAT): 4223273(6451/4216822)
Jun 02, 2017 12:51:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2179/3728 took 572142 ms. Total solver calls (SAT/UNSAT): 4230398(6460/4223938)
Jun 02, 2017 12:51:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2183/3728 took 573161 ms. Total solver calls (SAT/UNSAT): 4237871(6472/4231399)
Jun 02, 2017 12:51:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2187/3728 took 574179 ms. Total solver calls (SAT/UNSAT): 4245343(6484/4238859)
Jun 02, 2017 12:51:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2191/3728 took 575200 ms. Total solver calls (SAT/UNSAT): 4252815(6496/4246319)
Jun 02, 2017 12:51:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2195/3728 took 576214 ms. Total solver calls (SAT/UNSAT): 4260287(6508/4253779)
Jun 02, 2017 12:51:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2199/3728 took 577223 ms. Total solver calls (SAT/UNSAT): 4267759(6520/4261239)
Jun 02, 2017 12:51:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2203/3728 took 578432 ms. Total solver calls (SAT/UNSAT): 4276753(6532/4270221)
Jun 02, 2017 12:51:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2207/3728 took 579445 ms. Total solver calls (SAT/UNSAT): 4284225(6544/4277681)
Jun 02, 2017 12:51:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2211/3728 took 580450 ms. Total solver calls (SAT/UNSAT): 4291697(6556/4285141)
Jun 02, 2017 12:51:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2215/3728 took 581463 ms. Total solver calls (SAT/UNSAT): 4299169(6568/4292601)
Jun 02, 2017 12:51:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2219/3728 took 582474 ms. Total solver calls (SAT/UNSAT): 4306641(6580/4300061)
Jun 02, 2017 12:51:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2223/3728 took 583683 ms. Total solver calls (SAT/UNSAT): 4315635(6592/4309043)
Jun 02, 2017 12:51:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2227/3728 took 584696 ms. Total solver calls (SAT/UNSAT): 4323107(6604/4316503)
Jun 02, 2017 12:51:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2231/3728 took 585705 ms. Total solver calls (SAT/UNSAT): 4330579(6616/4323963)
Jun 02, 2017 12:51:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2235/3728 took 586718 ms. Total solver calls (SAT/UNSAT): 4338051(6628/4331423)
Jun 02, 2017 12:51:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2239/3728 took 587730 ms. Total solver calls (SAT/UNSAT): 4345523(6640/4338883)
Jun 02, 2017 12:51:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2243/3728 took 588938 ms. Total solver calls (SAT/UNSAT): 4354517(6652/4347865)
Jun 02, 2017 12:51:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2247/3728 took 589951 ms. Total solver calls (SAT/UNSAT): 4361989(6664/4355325)
Jun 02, 2017 12:51:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2252/3728 took 591176 ms. Total solver calls (SAT/UNSAT): 4371329(6679/4364650)
Jun 02, 2017 12:51:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2257/3728 took 592425 ms. Total solver calls (SAT/UNSAT): 4380669(6694/4373975)
Jun 02, 2017 12:51:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2261/3728 took 593448 ms. Total solver calls (SAT/UNSAT): 4388141(6706/4381435)
Jun 02, 2017 12:51:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2265/3728 took 594673 ms. Total solver calls (SAT/UNSAT): 4397135(6718/4390417)
Jun 02, 2017 12:51:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2269/3728 took 595689 ms. Total solver calls (SAT/UNSAT): 4404607(6730/4397877)
Jun 02, 2017 12:51:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2273/3728 took 596722 ms. Total solver calls (SAT/UNSAT): 4412079(6742/4405337)
Jun 02, 2017 12:51:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2277/3728 took 597752 ms. Total solver calls (SAT/UNSAT): 4419551(6754/4412797)
Jun 02, 2017 12:51:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2281/3728 took 598763 ms. Total solver calls (SAT/UNSAT): 4427023(6766/4420257)
Jun 02, 2017 12:51:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2285/3728 took 599980 ms. Total solver calls (SAT/UNSAT): 4436017(6778/4429239)
Jun 02, 2017 12:51:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2289/3728 took 600990 ms. Total solver calls (SAT/UNSAT): 4443489(6790/4436699)
Jun 02, 2017 12:51:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2293/3728 took 602007 ms. Total solver calls (SAT/UNSAT): 4450961(6802/4444159)
Jun 02, 2017 12:51:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2297/3728 took 603021 ms. Total solver calls (SAT/UNSAT): 4458433(6814/4451619)
Jun 02, 2017 12:52:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2301/3728 took 604044 ms. Total solver calls (SAT/UNSAT): 4465905(6826/4459079)
Jun 02, 2017 12:52:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2305/3728 took 605279 ms. Total solver calls (SAT/UNSAT): 4474898(6838/4468060)
Jun 02, 2017 12:52:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2309/3728 took 606295 ms. Total solver calls (SAT/UNSAT): 4482371(6850/4475521)
Jun 02, 2017 12:52:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2313/3728 took 607315 ms. Total solver calls (SAT/UNSAT): 4489843(6862/4482981)
Jun 02, 2017 12:52:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2317/3728 took 608335 ms. Total solver calls (SAT/UNSAT): 4497315(6874/4490441)
Jun 02, 2017 12:52:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2321/3728 took 609360 ms. Total solver calls (SAT/UNSAT): 4504787(6886/4497901)
Jun 02, 2017 12:52:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2325/3728 took 610376 ms. Total solver calls (SAT/UNSAT): 4512259(6898/4505361)
Jun 02, 2017 12:52:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2329/3728 took 611594 ms. Total solver calls (SAT/UNSAT): 4521253(6910/4514343)
Jun 02, 2017 12:52:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2333/3728 took 612615 ms. Total solver calls (SAT/UNSAT): 4528725(6922/4521803)
Jun 02, 2017 12:52:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2337/3728 took 613625 ms. Total solver calls (SAT/UNSAT): 4536197(6934/4529263)
Jun 02, 2017 12:52:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2341/3728 took 614645 ms. Total solver calls (SAT/UNSAT): 4543669(6946/4536723)
Jun 02, 2017 12:52:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2345/3728 took 615661 ms. Total solver calls (SAT/UNSAT): 4551141(6958/4544183)
Jun 02, 2017 12:52:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2349/3728 took 616891 ms. Total solver calls (SAT/UNSAT): 4560135(6970/4553165)
Jun 02, 2017 12:52:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2353/3728 took 617909 ms. Total solver calls (SAT/UNSAT): 4567607(6982/4560625)
Jun 02, 2017 12:52:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2357/3728 took 618932 ms. Total solver calls (SAT/UNSAT): 4575079(6994/4568085)
Jun 02, 2017 12:52:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2361/3728 took 619956 ms. Total solver calls (SAT/UNSAT): 4582551(7006/4575545)
Jun 02, 2017 12:52:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2365/3728 took 620974 ms. Total solver calls (SAT/UNSAT): 4590023(7018/4583005)
Jun 02, 2017 12:52:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2368/3728 took 621980 ms. Total solver calls (SAT/UNSAT): 4597148(7027/4590121)
Jun 02, 2017 12:52:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2373/3728 took 623212 ms. Total solver calls (SAT/UNSAT): 4606489(7042/4599447)
Jun 02, 2017 12:52:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2378/3728 took 624444 ms. Total solver calls (SAT/UNSAT): 4615829(7057/4608772)
Jun 02, 2017 12:52:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2383/3728 took 625683 ms. Total solver calls (SAT/UNSAT): 4625169(7072/4618097)
Jun 02, 2017 12:52:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2388/3728 took 626912 ms. Total solver calls (SAT/UNSAT): 4634509(7087/4627422)
Jun 02, 2017 12:52:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2392/3728 took 628143 ms. Total solver calls (SAT/UNSAT): 4643503(7099/4636404)
Jun 02, 2017 12:52:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2397/3728 took 629377 ms. Total solver calls (SAT/UNSAT): 4652843(7114/4645729)
Jun 02, 2017 12:52:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2402/3728 took 630620 ms. Total solver calls (SAT/UNSAT): 4662183(7129/4655054)
Jun 02, 2017 12:52:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2407/3728 took 631905 ms. Total solver calls (SAT/UNSAT): 4671523(7144/4664379)
Jun 02, 2017 12:52:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2411/3728 took 633107 ms. Total solver calls (SAT/UNSAT): 4680517(7156/4673361)
Jun 02, 2017 12:52:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2415/3728 took 634110 ms. Total solver calls (SAT/UNSAT): 4687989(7168/4680821)
Jun 02, 2017 12:52:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2419/3728 took 635112 ms. Total solver calls (SAT/UNSAT): 4695461(7180/4688281)
Jun 02, 2017 12:52:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2423/3728 took 636119 ms. Total solver calls (SAT/UNSAT): 4702933(7192/4695741)
Jun 02, 2017 12:52:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2427/3728 took 637121 ms. Total solver calls (SAT/UNSAT): 4710405(7204/4703201)
Jun 02, 2017 12:52:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2431/3728 took 638327 ms. Total solver calls (SAT/UNSAT): 4719398(7216/4712182)
Jun 02, 2017 12:52:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2435/3728 took 639335 ms. Total solver calls (SAT/UNSAT): 4726871(7228/4719643)
Jun 02, 2017 12:52:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2439/3728 took 640342 ms. Total solver calls (SAT/UNSAT): 4734343(7240/4727103)
Jun 02, 2017 12:52:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2443/3728 took 641344 ms. Total solver calls (SAT/UNSAT): 4741815(7252/4734563)
Jun 02, 2017 12:52:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2447/3728 took 642348 ms. Total solver calls (SAT/UNSAT): 4749287(7264/4742023)
Jun 02, 2017 12:52:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2451/3728 took 643349 ms. Total solver calls (SAT/UNSAT): 4756759(7276/4749483)
Jun 02, 2017 12:52:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2455/3728 took 644555 ms. Total solver calls (SAT/UNSAT): 4765753(7288/4758465)
Jun 02, 2017 12:52:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2459/3728 took 645557 ms. Total solver calls (SAT/UNSAT): 4773225(7300/4765925)
Jun 02, 2017 12:52:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2463/3728 took 646560 ms. Total solver calls (SAT/UNSAT): 4780697(7312/4773385)
Jun 02, 2017 12:52:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2467/3728 took 647562 ms. Total solver calls (SAT/UNSAT): 4788169(7324/4780845)
Jun 02, 2017 12:52:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2471/3728 took 648565 ms. Total solver calls (SAT/UNSAT): 4795641(7336/4788305)
Jun 02, 2017 12:52:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2475/3728 took 649766 ms. Total solver calls (SAT/UNSAT): 4804635(7348/4797287)
Jun 02, 2017 12:52:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2479/3728 took 650770 ms. Total solver calls (SAT/UNSAT): 4812107(7360/4804747)
Jun 02, 2017 12:52:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2484/3728 took 652022 ms. Total solver calls (SAT/UNSAT): 4821447(7375/4814072)
Jun 02, 2017 12:52:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2489/3728 took 653271 ms. Total solver calls (SAT/UNSAT): 4830787(7390/4823397)
Jun 02, 2017 12:52:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2493/3728 took 654275 ms. Total solver calls (SAT/UNSAT): 4838259(7402/4830857)
Jun 02, 2017 12:52:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2497/3728 took 655475 ms. Total solver calls (SAT/UNSAT): 4847253(7414/4839839)
Jun 02, 2017 12:52:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2501/3728 took 656480 ms. Total solver calls (SAT/UNSAT): 4854725(7426/4847299)
Jun 02, 2017 12:52:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2506/3728 took 657723 ms. Total solver calls (SAT/UNSAT): 4864065(7441/4856624)
Jun 02, 2017 12:52:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2510/3728 took 658724 ms. Total solver calls (SAT/UNSAT): 4871537(7453/4864084)
Jun 02, 2017 12:52:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2514/3728 took 659724 ms. Total solver calls (SAT/UNSAT): 4879009(7465/4871544)
Jun 02, 2017 12:52:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2518/3728 took 660930 ms. Total solver calls (SAT/UNSAT): 4888003(7477/4880526)
Jun 02, 2017 12:52:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2522/3728 took 661930 ms. Total solver calls (SAT/UNSAT): 4895475(7489/4887986)
Jun 02, 2017 12:52:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2526/3728 took 662931 ms. Total solver calls (SAT/UNSAT): 4902947(7501/4895446)
Jun 02, 2017 12:53:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2530/3728 took 663932 ms. Total solver calls (SAT/UNSAT): 4910419(7513/4902906)
Jun 02, 2017 12:53:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2534/3728 took 664939 ms. Total solver calls (SAT/UNSAT): 4917891(7525/4910366)
Jun 02, 2017 12:53:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2538/3728 took 666138 ms. Total solver calls (SAT/UNSAT): 4926885(7537/4919348)
Jun 02, 2017 12:53:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2543/3728 took 667384 ms. Total solver calls (SAT/UNSAT): 4936225(7552/4928673)
Jun 02, 2017 12:53:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2547/3728 took 668384 ms. Total solver calls (SAT/UNSAT): 4943697(7564/4936133)
Jun 02, 2017 12:53:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2551/3728 took 669387 ms. Total solver calls (SAT/UNSAT): 4951169(7576/4943593)
Jun 02, 2017 12:53:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2556/3728 took 670626 ms. Total solver calls (SAT/UNSAT): 4960509(7591/4952918)
Jun 02, 2017 12:53:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2560/3728 took 671865 ms. Total solver calls (SAT/UNSAT): 4969503(7603/4961900)
Jun 02, 2017 12:53:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2565/3728 took 673106 ms. Total solver calls (SAT/UNSAT): 4978843(7618/4971225)
Jun 02, 2017 12:53:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2570/3728 took 674342 ms. Total solver calls (SAT/UNSAT): 4988183(7633/4980550)
Jun 02, 2017 12:53:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2575/3728 took 675568 ms. Total solver calls (SAT/UNSAT): 4997523(7648/4989875)
Jun 02, 2017 12:53:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2579/3728 took 676770 ms. Total solver calls (SAT/UNSAT): 5006517(7660/4998857)
Jun 02, 2017 12:53:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2584/3728 took 678013 ms. Total solver calls (SAT/UNSAT): 5015857(7675/5008182)
Jun 02, 2017 12:53:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2589/3728 took 679253 ms. Total solver calls (SAT/UNSAT): 5025197(7690/5017507)
Jun 02, 2017 12:53:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2593/3728 took 680254 ms. Total solver calls (SAT/UNSAT): 5032669(7702/5024967)
Jun 02, 2017 12:53:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2598/3728 took 681490 ms. Total solver calls (SAT/UNSAT): 5042009(7717/5034292)
Jun 02, 2017 12:53:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2602/3728 took 682678 ms. Total solver calls (SAT/UNSAT): 5051003(7729/5043274)
Jun 02, 2017 12:53:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2607/3728 took 683920 ms. Total solver calls (SAT/UNSAT): 5060343(7744/5052599)
Jun 02, 2017 12:53:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2611/3728 took 684923 ms. Total solver calls (SAT/UNSAT): 5067815(7756/5060059)
Jun 02, 2017 12:53:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2616/3728 took 686153 ms. Total solver calls (SAT/UNSAT): 5077155(7771/5069384)
Jun 02, 2017 12:53:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2620/3728 took 687337 ms. Total solver calls (SAT/UNSAT): 5086148(7783/5078365)
Jun 02, 2017 12:53:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2625/3728 took 688576 ms. Total solver calls (SAT/UNSAT): 5095489(7798/5087691)
Jun 02, 2017 12:53:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2630/3728 took 689819 ms. Total solver calls (SAT/UNSAT): 5104829(7813/5097016)
Jun 02, 2017 12:53:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2634/3728 took 690860 ms. Total solver calls (SAT/UNSAT): 5112301(7825/5104476)
Jun 02, 2017 12:53:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2638/3728 took 691872 ms. Total solver calls (SAT/UNSAT): 5119773(7837/5111936)
Jun 02, 2017 12:53:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2642/3728 took 693086 ms. Total solver calls (SAT/UNSAT): 5128767(7849/5120918)
Jun 02, 2017 12:53:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2646/3728 took 694097 ms. Total solver calls (SAT/UNSAT): 5136239(7861/5128378)
Jun 02, 2017 12:53:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2650/3728 took 695109 ms. Total solver calls (SAT/UNSAT): 5143711(7873/5135838)
Jun 02, 2017 12:53:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2654/3728 took 696116 ms. Total solver calls (SAT/UNSAT): 5151183(7885/5143298)
Jun 02, 2017 12:53:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2658/3728 took 697128 ms. Total solver calls (SAT/UNSAT): 5158655(7897/5150758)
Jun 02, 2017 12:53:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2662/3728 took 698340 ms. Total solver calls (SAT/UNSAT): 5167648(7909/5159739)
Jun 02, 2017 12:53:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2666/3728 took 699352 ms. Total solver calls (SAT/UNSAT): 5175121(7921/5167200)
Jun 02, 2017 12:53:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2670/3728 took 700361 ms. Total solver calls (SAT/UNSAT): 5182593(7933/5174660)
Jun 02, 2017 12:53:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2674/3728 took 701407 ms. Total solver calls (SAT/UNSAT): 5190065(7945/5182120)
Jun 02, 2017 12:53:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2679/3728 took 702643 ms. Total solver calls (SAT/UNSAT): 5199405(7960/5191445)
Jun 02, 2017 12:53:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2683/3728 took 703821 ms. Total solver calls (SAT/UNSAT): 5208398(7972/5200426)
Jun 02, 2017 12:53:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2688/3728 took 705061 ms. Total solver calls (SAT/UNSAT): 5217739(7987/5209752)
Jun 02, 2017 12:53:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2693/3728 took 706294 ms. Total solver calls (SAT/UNSAT): 5227079(8002/5219077)
Jun 02, 2017 12:53:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2698/3728 took 707535 ms. Total solver calls (SAT/UNSAT): 5236419(8017/5228402)
Jun 02, 2017 12:53:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2703/3728 took 708763 ms. Total solver calls (SAT/UNSAT): 5245759(8032/5237727)
Jun 02, 2017 12:53:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2707/3728 took 709955 ms. Total solver calls (SAT/UNSAT): 5254753(8044/5246709)
Jun 02, 2017 12:53:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2712/3728 took 711184 ms. Total solver calls (SAT/UNSAT): 5264093(8059/5256034)
Jun 02, 2017 12:53:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2717/3728 took 712427 ms. Total solver calls (SAT/UNSAT): 5273433(8074/5265359)
Jun 02, 2017 12:53:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2722/3728 took 713665 ms. Total solver calls (SAT/UNSAT): 5282773(8089/5274684)
Jun 02, 2017 12:53:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2726/3728 took 714860 ms. Total solver calls (SAT/UNSAT): 5291767(8101/5283666)
Jun 02, 2017 12:53:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2731/3728 took 716099 ms. Total solver calls (SAT/UNSAT): 5301107(8116/5292991)
Jun 02, 2017 12:53:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2736/3728 took 717346 ms. Total solver calls (SAT/UNSAT): 5310447(8131/5302316)
Jun 02, 2017 12:53:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2741/3728 took 718572 ms. Total solver calls (SAT/UNSAT): 5319787(8146/5311641)
Jun 02, 2017 12:53:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2746/3728 took 720010 ms. Total solver calls (SAT/UNSAT): 5330648(8161/5322487)
Jun 02, 2017 12:53:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2751/3728 took 721253 ms. Total solver calls (SAT/UNSAT): 5339989(8176/5331813)
Jun 02, 2017 12:53:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2756/3728 took 722483 ms. Total solver calls (SAT/UNSAT): 5349329(8191/5341138)
Jun 02, 2017 12:54:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2761/3728 took 723711 ms. Total solver calls (SAT/UNSAT): 5358669(8206/5350463)
Jun 02, 2017 12:54:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2766/3728 took 724950 ms. Total solver calls (SAT/UNSAT): 5368009(8221/5359788)
Jun 02, 2017 12:54:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2770/3728 took 726137 ms. Total solver calls (SAT/UNSAT): 5377003(8233/5368770)
Jun 02, 2017 12:54:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2775/3728 took 727379 ms. Total solver calls (SAT/UNSAT): 5386343(8248/5378095)
Jun 02, 2017 12:54:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2780/3728 took 728619 ms. Total solver calls (SAT/UNSAT): 5395683(8263/5387420)
Jun 02, 2017 12:54:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2785/3728 took 729863 ms. Total solver calls (SAT/UNSAT): 5405023(8278/5396745)
Jun 02, 2017 12:54:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2789/3728 took 731041 ms. Total solver calls (SAT/UNSAT): 5414017(8290/5405727)
Jun 02, 2017 12:54:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2794/3728 took 732287 ms. Total solver calls (SAT/UNSAT): 5423357(8305/5415052)
Jun 02, 2017 12:54:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2799/3728 took 733526 ms. Total solver calls (SAT/UNSAT): 5432697(8320/5424377)
Jun 02, 2017 12:54:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2804/3728 took 734768 ms. Total solver calls (SAT/UNSAT): 5442037(8335/5433702)
Jun 02, 2017 12:54:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2809/3728 took 736202 ms. Total solver calls (SAT/UNSAT): 5452898(8350/5444548)
Jun 02, 2017 12:54:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2814/3728 took 737442 ms. Total solver calls (SAT/UNSAT): 5462239(8365/5453874)
Jun 02, 2017 12:54:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2819/3728 took 738668 ms. Total solver calls (SAT/UNSAT): 5471579(8380/5463199)
Jun 02, 2017 12:54:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2824/3728 took 739908 ms. Total solver calls (SAT/UNSAT): 5480919(8395/5472524)
Jun 02, 2017 12:54:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2829/3728 took 741144 ms. Total solver calls (SAT/UNSAT): 5490259(8410/5481849)
Jun 02, 2017 12:54:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2833/3728 took 742331 ms. Total solver calls (SAT/UNSAT): 5499253(8422/5490831)
Jun 02, 2017 12:54:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2838/3728 took 743561 ms. Total solver calls (SAT/UNSAT): 5508593(8437/5500156)
Jun 02, 2017 12:54:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2842/3728 took 744566 ms. Total solver calls (SAT/UNSAT): 5516065(8449/5507616)
Jun 02, 2017 12:54:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2847/3728 took 745799 ms. Total solver calls (SAT/UNSAT): 5525405(8464/5516941)
Jun 02, 2017 12:54:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2851/3728 took 746996 ms. Total solver calls (SAT/UNSAT): 5534398(8476/5525922)
Jun 02, 2017 12:54:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2856/3728 took 748231 ms. Total solver calls (SAT/UNSAT): 5543739(8491/5535248)
Jun 02, 2017 12:54:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2861/3728 took 749490 ms. Total solver calls (SAT/UNSAT): 5553079(8506/5544573)
Jun 02, 2017 12:54:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2866/3728 took 750713 ms. Total solver calls (SAT/UNSAT): 5562419(8521/5553898)
Jun 02, 2017 12:54:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2871/3728 took 751945 ms. Total solver calls (SAT/UNSAT): 5571759(8536/5563223)
Jun 02, 2017 12:54:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2875/3728 took 753134 ms. Total solver calls (SAT/UNSAT): 5580753(8548/5572205)
Jun 02, 2017 12:54:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2880/3728 took 754366 ms. Total solver calls (SAT/UNSAT): 5590093(8563/5581530)
Jun 02, 2017 12:54:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2885/3728 took 755611 ms. Total solver calls (SAT/UNSAT): 5599433(8578/5590855)
Jun 02, 2017 12:54:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2890/3728 took 756848 ms. Total solver calls (SAT/UNSAT): 5608773(8593/5600180)
Jun 02, 2017 12:54:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2894/3728 took 758036 ms. Total solver calls (SAT/UNSAT): 5617767(8605/5609162)
Jun 02, 2017 12:54:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2899/3728 took 759264 ms. Total solver calls (SAT/UNSAT): 5627107(8620/5618487)
Jun 02, 2017 12:54:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2904/3728 took 760502 ms. Total solver calls (SAT/UNSAT): 5636447(8635/5627812)
Jun 02, 2017 12:54:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2909/3728 took 761742 ms. Total solver calls (SAT/UNSAT): 5645787(8650/5637137)
Jun 02, 2017 12:54:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2914/3728 took 763178 ms. Total solver calls (SAT/UNSAT): 5656648(8665/5647983)
Jun 02, 2017 12:54:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2919/3728 took 764422 ms. Total solver calls (SAT/UNSAT): 5665989(8680/5657309)
Jun 02, 2017 12:54:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2924/3728 took 765673 ms. Total solver calls (SAT/UNSAT): 5675329(8695/5666634)
Jun 02, 2017 12:54:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2929/3728 took 766901 ms. Total solver calls (SAT/UNSAT): 5684669(8710/5675959)
Jun 02, 2017 12:54:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2934/3728 took 768130 ms. Total solver calls (SAT/UNSAT): 5694009(8725/5685284)
Jun 02, 2017 12:54:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2938/3728 took 769333 ms. Total solver calls (SAT/UNSAT): 5703003(8737/5694266)
Jun 02, 2017 12:54:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2943/3728 took 770565 ms. Total solver calls (SAT/UNSAT): 5712343(8752/5703591)
Jun 02, 2017 12:54:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2948/3728 took 771805 ms. Total solver calls (SAT/UNSAT): 5721683(8767/5712916)
Jun 02, 2017 12:54:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2953/3728 took 773042 ms. Total solver calls (SAT/UNSAT): 5731023(8782/5722241)
Jun 02, 2017 12:54:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2957/3728 took 774239 ms. Total solver calls (SAT/UNSAT): 5740017(8794/5731223)
Jun 02, 2017 12:54:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2962/3728 took 775483 ms. Total solver calls (SAT/UNSAT): 5749357(8809/5740548)
Jun 02, 2017 12:54:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2967/3728 took 776760 ms. Total solver calls (SAT/UNSAT): 5758697(8824/5749873)
Jun 02, 2017 12:54:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2971/3728 took 777795 ms. Total solver calls (SAT/UNSAT): 5766169(8836/5757333)
Jun 02, 2017 12:54:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2975/3728 took 778852 ms. Total solver calls (SAT/UNSAT): 5773641(8848/5764793)
Jun 02, 2017 12:54:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2979/3728 took 780056 ms. Total solver calls (SAT/UNSAT): 5782635(8860/5773775)
Jun 02, 2017 12:54:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2984/3728 took 781299 ms. Total solver calls (SAT/UNSAT): 5791975(8875/5783100)
Jun 02, 2017 12:54:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2989/3728 took 782531 ms. Total solver calls (SAT/UNSAT): 5801315(8890/5792425)
Jun 02, 2017 12:55:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2994/3728 took 783774 ms. Total solver calls (SAT/UNSAT): 5810655(8905/5801750)
Jun 02, 2017 12:55:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2998/3728 took 784964 ms. Total solver calls (SAT/UNSAT): 5819648(8917/5810731)
Jun 02, 2017 12:55:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3002/3728 took 786002 ms. Total solver calls (SAT/UNSAT): 5827121(8929/5818192)
Jun 02, 2017 12:55:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3007/3728 took 787251 ms. Total solver calls (SAT/UNSAT): 5836461(8944/5827517)
Jun 02, 2017 12:55:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3012/3728 took 788494 ms. Total solver calls (SAT/UNSAT): 5845801(8959/5836842)
Jun 02, 2017 12:55:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3017/3728 took 789739 ms. Total solver calls (SAT/UNSAT): 5855141(8974/5846167)
Jun 02, 2017 12:55:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3021/3728 took 790933 ms. Total solver calls (SAT/UNSAT): 5864135(8986/5855149)
Jun 02, 2017 12:55:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3026/3728 took 792180 ms. Total solver calls (SAT/UNSAT): 5873475(9001/5864474)
Jun 02, 2017 12:55:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3031/3728 took 793421 ms. Total solver calls (SAT/UNSAT): 5882815(9016/5873799)
Jun 02, 2017 12:55:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3036/3728 took 794674 ms. Total solver calls (SAT/UNSAT): 5892155(9031/5883124)
Jun 02, 2017 12:55:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3040/3728 took 795864 ms. Total solver calls (SAT/UNSAT): 5901148(9043/5892105)
Jun 02, 2017 12:55:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3045/3728 took 797106 ms. Total solver calls (SAT/UNSAT): 5910489(9058/5901431)
Jun 02, 2017 12:55:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3050/3728 took 798352 ms. Total solver calls (SAT/UNSAT): 5919829(9073/5910756)
Jun 02, 2017 12:55:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3055/3728 took 799592 ms. Total solver calls (SAT/UNSAT): 5929169(9088/5920081)
Jun 02, 2017 12:55:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3059/3728 took 800595 ms. Total solver calls (SAT/UNSAT): 5936641(9100/5927541)
Jun 02, 2017 12:55:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3063/3728 took 801802 ms. Total solver calls (SAT/UNSAT): 5945635(9112/5936523)
Jun 02, 2017 12:55:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3067/3728 took 802901 ms. Total solver calls (SAT/UNSAT): 5953107(9124/5943983)
Jun 02, 2017 12:55:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3071/3728 took 803932 ms. Total solver calls (SAT/UNSAT): 5960579(9136/5951443)
Jun 02, 2017 12:55:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3075/3728 took 804954 ms. Total solver calls (SAT/UNSAT): 5968051(9148/5958903)
Jun 02, 2017 12:55:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3079/3728 took 805973 ms. Total solver calls (SAT/UNSAT): 5975523(9160/5966363)
Jun 02, 2017 12:55:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3083/3728 took 807199 ms. Total solver calls (SAT/UNSAT): 5984517(9172/5975345)
Jun 02, 2017 12:55:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3087/3728 took 808222 ms. Total solver calls (SAT/UNSAT): 5991989(9184/5982805)
Jun 02, 2017 12:55:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3091/3728 took 809245 ms. Total solver calls (SAT/UNSAT): 5999461(9196/5990265)
Jun 02, 2017 12:55:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3095/3728 took 810266 ms. Total solver calls (SAT/UNSAT): 6006933(9208/5997725)
Jun 02, 2017 12:55:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3099/3728 took 811276 ms. Total solver calls (SAT/UNSAT): 6014405(9220/6005185)
Jun 02, 2017 12:55:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3103/3728 took 812486 ms. Total solver calls (SAT/UNSAT): 6023398(9232/6014166)
Jun 02, 2017 12:55:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3107/3728 took 813503 ms. Total solver calls (SAT/UNSAT): 6030871(9244/6021627)
Jun 02, 2017 12:55:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3111/3728 took 814514 ms. Total solver calls (SAT/UNSAT): 6038343(9256/6029087)
Jun 02, 2017 12:55:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3115/3728 took 815522 ms. Total solver calls (SAT/UNSAT): 6045815(9268/6036547)
Jun 02, 2017 12:55:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3119/3728 took 816536 ms. Total solver calls (SAT/UNSAT): 6053287(9280/6044007)
Jun 02, 2017 12:55:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3123/3728 took 817560 ms. Total solver calls (SAT/UNSAT): 6060759(9292/6051467)
Jun 02, 2017 12:55:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3126/3728 took 818563 ms. Total solver calls (SAT/UNSAT): 6067885(9301/6058584)
Jun 02, 2017 12:55:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3130/3728 took 819601 ms. Total solver calls (SAT/UNSAT): 6075357(9313/6066044)
Jun 02, 2017 12:55:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3134/3728 took 820621 ms. Total solver calls (SAT/UNSAT): 6082829(9325/6073504)
Jun 02, 2017 12:55:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3138/3728 took 821641 ms. Total solver calls (SAT/UNSAT): 6090301(9337/6080964)
Jun 02, 2017 12:55:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3142/3728 took 822699 ms. Total solver calls (SAT/UNSAT): 6097773(9349/6088424)
Jun 02, 2017 12:55:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3146/3728 took 823897 ms. Total solver calls (SAT/UNSAT): 6106767(9361/6097406)
Jun 02, 2017 12:55:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3151/3728 took 825140 ms. Total solver calls (SAT/UNSAT): 6116107(9376/6106731)
Jun 02, 2017 12:55:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3156/3728 took 826380 ms. Total solver calls (SAT/UNSAT): 6125447(9391/6116056)
Jun 02, 2017 12:55:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3161/3728 took 827616 ms. Total solver calls (SAT/UNSAT): 6134787(9406/6125381)
Jun 02, 2017 12:55:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3166/3728 took 829055 ms. Total solver calls (SAT/UNSAT): 6145648(9421/6136227)
Jun 02, 2017 12:55:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3171/3728 took 830293 ms. Total solver calls (SAT/UNSAT): 6154989(9436/6145553)
Jun 02, 2017 12:55:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3176/3728 took 831530 ms. Total solver calls (SAT/UNSAT): 6164329(9451/6154878)
Jun 02, 2017 12:55:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3181/3728 took 832771 ms. Total solver calls (SAT/UNSAT): 6173669(9466/6164203)
Jun 02, 2017 12:55:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3186/3728 took 834008 ms. Total solver calls (SAT/UNSAT): 6183009(9481/6173528)
Jun 02, 2017 12:55:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3190/3728 took 835198 ms. Total solver calls (SAT/UNSAT): 6192003(9493/6182510)
Jun 02, 2017 12:55:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3195/3728 took 836441 ms. Total solver calls (SAT/UNSAT): 6201343(9508/6191835)
Jun 02, 2017 12:55:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3200/3728 took 837679 ms. Total solver calls (SAT/UNSAT): 6210683(9523/6201160)
Jun 02, 2017 12:55:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3205/3728 took 838922 ms. Total solver calls (SAT/UNSAT): 6220023(9538/6210485)
Jun 02, 2017 12:55:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3209/3728 took 840110 ms. Total solver calls (SAT/UNSAT): 6229017(9550/6219467)
Jun 02, 2017 12:55:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3214/3728 took 841349 ms. Total solver calls (SAT/UNSAT): 6238357(9565/6228792)
Jun 02, 2017 12:55:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3219/3728 took 842591 ms. Total solver calls (SAT/UNSAT): 6247697(9580/6238117)
Jun 02, 2017 12:56:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3224/3728 took 843832 ms. Total solver calls (SAT/UNSAT): 6257037(9595/6247442)
Jun 02, 2017 12:56:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3229/3728 took 845275 ms. Total solver calls (SAT/UNSAT): 6267898(9610/6258288)
Jun 02, 2017 12:56:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3234/3728 took 846514 ms. Total solver calls (SAT/UNSAT): 6277239(9625/6267614)
Jun 02, 2017 12:56:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3239/3728 took 847753 ms. Total solver calls (SAT/UNSAT): 6286579(9640/6276939)
Jun 02, 2017 12:56:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3244/3728 took 848999 ms. Total solver calls (SAT/UNSAT): 6295919(9655/6286264)
Jun 02, 2017 12:56:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3249/3728 took 850236 ms. Total solver calls (SAT/UNSAT): 6305259(9670/6295589)
Jun 02, 2017 12:56:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3253/3728 took 851427 ms. Total solver calls (SAT/UNSAT): 6314253(9682/6304571)
Jun 02, 2017 12:56:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3258/3728 took 852671 ms. Total solver calls (SAT/UNSAT): 6323593(9697/6313896)
Jun 02, 2017 12:56:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3263/3728 took 853912 ms. Total solver calls (SAT/UNSAT): 6332933(9712/6323221)
Jun 02, 2017 12:56:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3268/3728 took 855155 ms. Total solver calls (SAT/UNSAT): 6342273(9727/6332546)
Jun 02, 2017 12:56:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3272/3728 took 856349 ms. Total solver calls (SAT/UNSAT): 6351267(9739/6341528)
Jun 02, 2017 12:56:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3277/3728 took 857591 ms. Total solver calls (SAT/UNSAT): 6360607(9754/6350853)
Jun 02, 2017 12:56:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3281/3728 took 858649 ms. Total solver calls (SAT/UNSAT): 6368079(9766/6358313)
Jun 02, 2017 12:56:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3285/3728 took 859671 ms. Total solver calls (SAT/UNSAT): 6375551(9778/6365773)
Jun 02, 2017 12:56:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3289/3728 took 860694 ms. Total solver calls (SAT/UNSAT): 6383023(9790/6373233)
Jun 02, 2017 12:56:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3293/3728 took 861923 ms. Total solver calls (SAT/UNSAT): 6392017(9802/6382215)
Jun 02, 2017 12:56:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3297/3728 took 862936 ms. Total solver calls (SAT/UNSAT): 6399489(9814/6389675)
Jun 02, 2017 12:56:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3301/3728 took 863950 ms. Total solver calls (SAT/UNSAT): 6406961(9826/6397135)
Jun 02, 2017 12:56:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3305/3728 took 864967 ms. Total solver calls (SAT/UNSAT): 6414433(9838/6404595)
Jun 02, 2017 12:56:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3309/3728 took 865980 ms. Total solver calls (SAT/UNSAT): 6421905(9850/6412055)
Jun 02, 2017 12:56:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3313/3728 took 867202 ms. Total solver calls (SAT/UNSAT): 6430898(9862/6421036)
Jun 02, 2017 12:56:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3317/3728 took 868218 ms. Total solver calls (SAT/UNSAT): 6438371(9874/6428497)
Jun 02, 2017 12:56:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3321/3728 took 869232 ms. Total solver calls (SAT/UNSAT): 6445843(9886/6435957)
Jun 02, 2017 12:56:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3325/3728 took 870246 ms. Total solver calls (SAT/UNSAT): 6453315(9898/6443417)
Jun 02, 2017 12:56:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3329/3728 took 871258 ms. Total solver calls (SAT/UNSAT): 6460787(9910/6450877)
Jun 02, 2017 12:56:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3333/3728 took 872272 ms. Total solver calls (SAT/UNSAT): 6468259(9922/6458337)
Jun 02, 2017 12:56:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3337/3728 took 873488 ms. Total solver calls (SAT/UNSAT): 6477253(9934/6467319)
Jun 02, 2017 12:56:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3341/3728 took 874501 ms. Total solver calls (SAT/UNSAT): 6484725(9946/6474779)
Jun 02, 2017 12:56:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3345/3728 took 875520 ms. Total solver calls (SAT/UNSAT): 6492197(9958/6482239)
Jun 02, 2017 12:56:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3349/3728 took 876532 ms. Total solver calls (SAT/UNSAT): 6499669(9970/6489699)
Jun 02, 2017 12:56:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3353/3728 took 877545 ms. Total solver calls (SAT/UNSAT): 6507141(9982/6497159)
Jun 02, 2017 12:56:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3357/3728 took 878766 ms. Total solver calls (SAT/UNSAT): 6516135(9994/6506141)
Jun 02, 2017 12:56:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3361/3728 took 879781 ms. Total solver calls (SAT/UNSAT): 6523607(10006/6513601)
Jun 02, 2017 12:56:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3365/3728 took 880791 ms. Total solver calls (SAT/UNSAT): 6531079(10018/6521061)
Jun 02, 2017 12:56:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3369/3728 took 881805 ms. Total solver calls (SAT/UNSAT): 6538551(10030/6528521)
Jun 02, 2017 12:56:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3373/3728 took 882818 ms. Total solver calls (SAT/UNSAT): 6546023(10042/6535981)
Jun 02, 2017 12:56:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3377/3728 took 884033 ms. Total solver calls (SAT/UNSAT): 6555017(10054/6544963)
Jun 02, 2017 12:56:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3381/3728 took 885048 ms. Total solver calls (SAT/UNSAT): 6562489(10066/6552423)
Jun 02, 2017 12:56:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3385/3728 took 886057 ms. Total solver calls (SAT/UNSAT): 6569961(10078/6559883)
Jun 02, 2017 12:56:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3389/3728 took 887069 ms. Total solver calls (SAT/UNSAT): 6577433(10090/6567343)
Jun 02, 2017 12:56:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3393/3728 took 888077 ms. Total solver calls (SAT/UNSAT): 6584905(10102/6574803)
Jun 02, 2017 12:56:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3397/3728 took 889297 ms. Total solver calls (SAT/UNSAT): 6593898(10114/6583784)
Jun 02, 2017 12:56:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3401/3728 took 890308 ms. Total solver calls (SAT/UNSAT): 6601371(10126/6591245)
Jun 02, 2017 12:56:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3405/3728 took 891320 ms. Total solver calls (SAT/UNSAT): 6608843(10138/6598705)
Jun 02, 2017 12:56:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3409/3728 took 892334 ms. Total solver calls (SAT/UNSAT): 6616315(10150/6606165)
Jun 02, 2017 12:56:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3413/3728 took 893345 ms. Total solver calls (SAT/UNSAT): 6623787(10162/6613625)
Jun 02, 2017 12:56:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3417/3728 took 894357 ms. Total solver calls (SAT/UNSAT): 6631259(10174/6621085)
Jun 02, 2017 12:56:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3421/3728 took 895574 ms. Total solver calls (SAT/UNSAT): 6640253(10186/6630067)
Jun 02, 2017 12:56:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3425/3728 took 896585 ms. Total solver calls (SAT/UNSAT): 6647725(10198/6637527)
Jun 02, 2017 12:56:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3429/3728 took 897597 ms. Total solver calls (SAT/UNSAT): 6655197(10210/6644987)
Jun 02, 2017 12:56:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3433/3728 took 898609 ms. Total solver calls (SAT/UNSAT): 6662669(10222/6652447)
Jun 02, 2017 12:56:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3437/3728 took 899626 ms. Total solver calls (SAT/UNSAT): 6670141(10234/6659907)
Jun 02, 2017 12:56:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3447/3728 took 900649 ms. Total solver calls (SAT/UNSAT): 6677510(10248/6667262)
Jun 02, 2017 12:56:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3463/3728 took 901688 ms. Total solver calls (SAT/UNSAT): 6684774(10264/6674510)
Jun 02, 2017 12:56:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3481/3728 took 902805 ms. Total solver calls (SAT/UNSAT): 6692566(10282/6682284)
Jun 02, 2017 1:10:47 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="S_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/S_BridgeAndVehicles-COL-V80P50N20.tgz
mv S_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 S_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 r090-csrt-149441076800422"
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 ;