About the Execution of ITS-Tools for S_BridgeAndVehicles-COL-V80P20N20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15935.010 | 3600000.00 | 5347409.00 | 343.00 | [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-V80P20N20, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r090-csrt-149441076700395
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-COL-V80P20N20-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1496403474536
Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ctl command run as :
/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/ReachabilityDeadlock.pnml.gal -t CGAL -ctl DEADLOCK
No direction supplied, using forward translation only.
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 3728 rows 198 cols
invariant : 1'sens0:CONTROLEUR_0 + 1'sens0:CHOIX_0 + 1'sens0:VIDANGE_0 + 1'sens1:CONTROLEUR_1 + 1'sens1:CHOIX_1 + 1'sens1:VIDANGE_1= 1
invariant : 1'CAPACITE:CAPACITE[0] + -1'SORTI_A:SORTI_A[0] + -1'ROUTE_A:ROUTE_A[0] + -1'ATTENTE_A:ATTENTE_A[0] + 1'SUR_PONT_B:SUR_PONT_B[0]= -60
invariant : 1'SORTI_A:SORTI_A[0] + 1'ROUTE_A:ROUTE_A[0] + 1'ATTENTE_A:ATTENTE_A[0] + 1'SUR_PONT_A:SUR_PONT_A[0]= 80
invariant : -1'CAPACITE:CAPACITE[0] + 1'SORTI_A:SORTI_A[0] + 1'ROUTE_A:ROUTE_A[0] + 1'ATTENTE_A:ATTENTE_A[0] + 1'ATTENTE_B:ATTENTE_B[0] + 1'ROUTE_B:ROUTE_B[0] + 1'SORTI_B:SORTI_B[0]= 140
invariant : 1'compteur0:COMPTEUR_0 + 1'compteur1:COMPTEUR_1 + 1'compteur2:COMPTEUR_2 + 1'compteur3:COMPTEUR_3 + 1'compteur4:COMPTEUR_4 + 1'compteur5:COMPTEUR_5 + 1'compteur6:COMPTEUR_6 + 1'compteur7:COMPTEUR_7 + 1'compteur8:COMPTEUR_8 + 1'compteur9:COMPTEUR_9 + 1'compteur10:COMPTEUR_10 + 1'compteur11:COMPTEUR_11 + 1'compteur12:COMPTEUR_12 + 1'compteur13:COMPTEUR_13 + 1'compteur14:COMPTEUR_14 + 1'compteur15:COMPTEUR_15 + 1'compteur16:COMPTEUR_16 + 1'compteur17:COMPTEUR_17 + 1'compteur18:COMPTEUR_18 + 1'compteur19:COMPTEUR_19 + 1'compteur20:COMPTEUR_20= 1
invariant : 1'voitureA0:NB_ATTENTE_A_0 + 1'voitureA1:NB_ATTENTE_A_1 + 1'voitureA2:NB_ATTENTE_A_2 + 1'voitureA3:NB_ATTENTE_A_3 + 1'voitureA4:NB_ATTENTE_A_4 + 1'voitureA5:NB_ATTENTE_A_5 + 1'voitureA6:NB_ATTENTE_A_6 + 1'voitureA7:NB_ATTENTE_A_7 + 1'voitureA8:NB_ATTENTE_A_8 + 1'voitureA9:NB_ATTENTE_A_9 + 1'voitureA10:NB_ATTENTE_A_10 + 1'voitureA11:NB_ATTENTE_A_11 + 1'voitureA12:NB_ATTENTE_A_12 + 1'voitureA13:NB_ATTENTE_A_13 + 1'voitureA14:NB_ATTENTE_A_14 + 1'voitureA15:NB_ATTENTE_A_15 + 1'voitureA16:NB_ATTENTE_A_16 + 1'voitureA17:NB_ATTENTE_A_17 + 1'voitureA18:NB_ATTENTE_A_18 + 1'voitureA19:NB_ATTENTE_A_19 + 1'voitureA20:NB_ATTENTE_A_20 + 1'voitureA21:NB_ATTENTE_A_21 + 1'voitureA22:NB_ATTENTE_A_22 + 1'voitureA23:NB_ATTENTE_A_23 + 1'voitureA24:NB_ATTENTE_A_24 + 1'voitureA25:NB_ATTENTE_A_25 + 1'voitureA26:NB_ATTENTE_A_26 + 1'voitureA27:NB_ATTENTE_A_27 + 1'voitureA28:NB_ATTENTE_A_28 + 1'voitureA29:NB_ATTENTE_A_29 + 1'voitureA30:NB_ATTENTE_A_30 + 1'voitureA31:NB_ATTENTE_A_31 + 1'voitureA32:NB_ATTENTE_A_32 + 1'voitureA33:NB_ATTENTE_A_33 + 1'voitureA34:NB_ATTENTE_A_34 + 1'voitureA35:NB_ATTENTE_A_35 + 1'voitureA36:NB_ATTENTE_A_36 + 1'voitureA37:NB_ATTENTE_A_37 + 1'voitureA38:NB_ATTENTE_A_38 + 1'voitureA39:NB_ATTENTE_A_39 + 1'voitureA40:NB_ATTENTE_A_40 + 1'voitureA41:NB_ATTENTE_A_41 + 1'voitureA42:NB_ATTENTE_A_42 + 1'voitureA43:NB_ATTENTE_A_43 + 1'voitureA44:NB_ATTENTE_A_44 + 1'voitureA45:NB_ATTENTE_A_45 + 1'voitureA46:NB_ATTENTE_A_46 + 1'voitureA47:NB_ATTENTE_A_47 + 1'voitureA48:NB_ATTENTE_A_48 + 1'voitureA49:NB_ATTENTE_A_49 + 1'voitureA50:NB_ATTENTE_A_50 + 1'voitureA51:NB_ATTENTE_A_51 + 1'voitureA52:NB_ATTENTE_A_52 + 1'voitureA53:NB_ATTENTE_A_53 + 1'voitureA54:NB_ATTENTE_A_54 + 1'voitureA55:NB_ATTENTE_A_55 + 1'voitureA56:NB_ATTENTE_A_56 + 1'voitureA57:NB_ATTENTE_A_57 + 1'voitureA58:NB_ATTENTE_A_58 + 1'voitureA59:NB_ATTENTE_A_59 + 1'voitureA60:NB_ATTENTE_A_60 + 1'voitureA61:NB_ATTENTE_A_61 + 1'voitureA62:NB_ATTENTE_A_62 + 1'voitureA63:NB_ATTENTE_A_63 + 1'voitureA64:NB_ATTENTE_A_64 + 1'voitureA65:NB_ATTENTE_A_65 + 1'voitureA66:NB_ATTENTE_A_66 + 1'voitureA67:NB_ATTENTE_A_67 + 1'voitureA68:NB_ATTENTE_A_68 + 1'voitureA69:NB_ATTENTE_A_69 + 1'voitureA70:NB_ATTENTE_A_70 + 1'voitureA71:NB_ATTENTE_A_71 + 1'voitureA72:NB_ATTENTE_A_72 + 1'voitureA73:NB_ATTENTE_A_73 + 1'voitureA74:NB_ATTENTE_A_74 + 1'voitureA75:NB_ATTENTE_A_75 + 1'voitureA76:NB_ATTENTE_A_76 + 1'voitureA77:NB_ATTENTE_A_77 + 1'voitureA78:NB_ATTENTE_A_78 + 1'voitureA79:NB_ATTENTE_A_79 + 1'voitureA80:NB_ATTENTE_A_80= 1
invariant : 1'voitureB0:NB_ATTENTE_B_0 + 1'voitureB1:NB_ATTENTE_B_1 + 1'voitureB2:NB_ATTENTE_B_2 + 1'voitureB3:NB_ATTENTE_B_3 + 1'voitureB4:NB_ATTENTE_B_4 + 1'voitureB5:NB_ATTENTE_B_5 + 1'voitureB6:NB_ATTENTE_B_6 + 1'voitureB7:NB_ATTENTE_B_7 + 1'voitureB8:NB_ATTENTE_B_8 + 1'voitureB9:NB_ATTENTE_B_9 + 1'voitureB10:NB_ATTENTE_B_10 + 1'voitureB11:NB_ATTENTE_B_11 + 1'voitureB12:NB_ATTENTE_B_12 + 1'voitureB13:NB_ATTENTE_B_13 + 1'voitureB14:NB_ATTENTE_B_14 + 1'voitureB15:NB_ATTENTE_B_15 + 1'voitureB16:NB_ATTENTE_B_16 + 1'voitureB17:NB_ATTENTE_B_17 + 1'voitureB18:NB_ATTENTE_B_18 + 1'voitureB19:NB_ATTENTE_B_19 + 1'voitureB20:NB_ATTENTE_B_20 + 1'voitureB21:NB_ATTENTE_B_21 + 1'voitureB22:NB_ATTENTE_B_22 + 1'voitureB23:NB_ATTENTE_B_23 + 1'voitureB24:NB_ATTENTE_B_24 + 1'voitureB25:NB_ATTENTE_B_25 + 1'voitureB26:NB_ATTENTE_B_26 + 1'voitureB27:NB_ATTENTE_B_27 + 1'voitureB28:NB_ATTENTE_B_28 + 1'voitureB29:NB_ATTENTE_B_29 + 1'voitureB30:NB_ATTENTE_B_30 + 1'voitureB31:NB_ATTENTE_B_31 + 1'voitureB32:NB_ATTENTE_B_32 + 1'voitureB33:NB_ATTENTE_B_33 + 1'voitureB34:NB_ATTENTE_B_34 + 1'voitureB35:NB_ATTENTE_B_35 + 1'voitureB36:NB_ATTENTE_B_36 + 1'voitureB37:NB_ATTENTE_B_37 + 1'voitureB38:NB_ATTENTE_B_38 + 1'voitureB39:NB_ATTENTE_B_39 + 1'voitureB40:NB_ATTENTE_B_40 + 1'voitureB41:NB_ATTENTE_B_41 + 1'voitureB42:NB_ATTENTE_B_42 + 1'voitureB43:NB_ATTENTE_B_43 + 1'voitureB44:NB_ATTENTE_B_44 + 1'voitureB45:NB_ATTENTE_B_45 + 1'voitureB46:NB_ATTENTE_B_46 + 1'voitureB47:NB_ATTENTE_B_47 + 1'voitureB48:NB_ATTENTE_B_48 + 1'voitureB49:NB_ATTENTE_B_49 + 1'voitureB50:NB_ATTENTE_B_50 + 1'voitureB51:NB_ATTENTE_B_51 + 1'voitureB52:NB_ATTENTE_B_52 + 1'voitureB53:NB_ATTENTE_B_53 + 1'voitureB54:NB_ATTENTE_B_54 + 1'voitureB55:NB_ATTENTE_B_55 + 1'voitureB56:NB_ATTENTE_B_56 + 1'voitureB57:NB_ATTENTE_B_57 + 1'voitureB58:NB_ATTENTE_B_58 + 1'voitureB59:NB_ATTENTE_B_59 + 1'voitureB60:NB_ATTENTE_B_60 + 1'voitureB61:NB_ATTENTE_B_61 + 1'voitureB62:NB_ATTENTE_B_62 + 1'voitureB63:NB_ATTENTE_B_63 + 1'voitureB64:NB_ATTENTE_B_64 + 1'voitureB65:NB_ATTENTE_B_65 + 1'voitureB66:NB_ATTENTE_B_66 + 1'voitureB67:NB_ATTENTE_B_67 + 1'voitureB68:NB_ATTENTE_B_68 + 1'voitureB69:NB_ATTENTE_B_69 + 1'voitureB70:NB_ATTENTE_B_70 + 1'voitureB71:NB_ATTENTE_B_71 + 1'voitureB72:NB_ATTENTE_B_72 + 1'voitureB73:NB_ATTENTE_B_73 + 1'voitureB74:NB_ATTENTE_B_74 + 1'voitureB75:NB_ATTENTE_B_75 + 1'voitureB76:NB_ATTENTE_B_76 + 1'voitureB77:NB_ATTENTE_B_77 + 1'voitureB78:NB_ATTENTE_B_78 + 1'voitureB79:NB_ATTENTE_B_79 + 1'voitureB80:NB_ATTENTE_B_80= 1
Exit code :137
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityDeadlock = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution ReachabilityDeadlock -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination ReachabilityDeadlock -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 02, 2017 11:37:56 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 02, 2017 11:37:56 AM 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 11:37:57 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1502 ms
Jun 02, 2017 11:37:57 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 15 places.
Jun 02, 2017 11:37:57 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Jun 02, 2017 11:37:57 AM 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 11:37:57 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 11 transitions.
Jun 02, 2017 11:37:57 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Jun 02, 2017 11:37:57 AM 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 11:37:57 AM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Jun 02, 2017 11:37:57 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Jun 02, 2017 11:37:57 AM 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 11:37:57 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property BridgeAndVehicles-COL-V80P20N20-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
Jun 02, 2017 11:37:57 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 129 ms
Jun 02, 2017 11:37:57 AM 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 11:37:58 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 405 redundant transitions.
Jun 02, 2017 11:37:58 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property BridgeAndVehicles-COL-V80P20N20-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
Jun 02, 2017 11:37:58 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityDeadlock.pnml.gal : 22 ms
Jun 02, 2017 11:38:00 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 376 ms
Jun 02, 2017 11:38:15 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 198 variables to be positive in 15570 ms
Jun 02, 2017 11:38:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 3728 transitions.
Jun 02, 2017 11:38:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3728 took 296 ms. Total solver calls (SAT/UNSAT): 1943(2/1941)
Jun 02, 2017 11:38:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/3728 took 1449 ms. Total solver calls (SAT/UNSAT): 9715(10/9705)
Jun 02, 2017 11:38:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/3728 took 2585 ms. Total solver calls (SAT/UNSAT): 17487(18/17469)
Jun 02, 2017 11:38:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/3728 took 3811 ms. Total solver calls (SAT/UNSAT): 25259(26/25233)
Jun 02, 2017 11:38:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :16/3728 took 4943 ms. Total solver calls (SAT/UNSAT): 33031(34/32997)
Jun 02, 2017 11:38:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/3728 took 6034 ms. Total solver calls (SAT/UNSAT): 40803(42/40761)
Jun 02, 2017 11:38:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/3728 took 7171 ms. Total solver calls (SAT/UNSAT): 48575(50/48525)
Jun 02, 2017 11:38:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/3728 took 8249 ms. Total solver calls (SAT/UNSAT): 56347(58/56289)
Jun 02, 2017 11:38:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/3728 took 9331 ms. Total solver calls (SAT/UNSAT): 64119(66/64053)
Jun 02, 2017 11:38:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/3728 took 10393 ms. Total solver calls (SAT/UNSAT): 71891(74/71817)
Jun 02, 2017 11:38:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/3728 took 11569 ms. Total solver calls (SAT/UNSAT): 79663(82/79581)
Jun 02, 2017 11:38:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/3728 took 12692 ms. Total solver calls (SAT/UNSAT): 87435(90/87345)
Jun 02, 2017 11:38:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/3728 took 13766 ms. Total solver calls (SAT/UNSAT): 95207(98/95109)
Jun 02, 2017 11:38:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/3728 took 14858 ms. Total solver calls (SAT/UNSAT): 102979(106/102873)
Jun 02, 2017 11:38:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/3728 took 15919 ms. Total solver calls (SAT/UNSAT): 110751(114/110637)
Jun 02, 2017 11:38:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/3728 took 17176 ms. Total solver calls (SAT/UNSAT): 118523(122/118401)
Jun 02, 2017 11:38:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/3728 took 18253 ms. Total solver calls (SAT/UNSAT): 126295(130/126165)
Jun 02, 2017 11:38:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/3728 took 19303 ms. Total solver calls (SAT/UNSAT): 134067(138/133929)
Jun 02, 2017 11:38:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/3728 took 20351 ms. Total solver calls (SAT/UNSAT): 141839(146/141693)
Jun 02, 2017 11:38:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/3728 took 21400 ms. Total solver calls (SAT/UNSAT): 149611(154/149457)
Jun 02, 2017 11:38:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/3728 took 22528 ms. Total solver calls (SAT/UNSAT): 157308(163/157145)
Jun 02, 2017 11:38:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :85/3728 took 23763 ms. Total solver calls (SAT/UNSAT): 166643(178/166465)
Jun 02, 2017 11:38:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/3728 took 25000 ms. Total solver calls (SAT/UNSAT): 175978(193/175785)
Jun 02, 2017 11:38:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/3728 took 26237 ms. Total solver calls (SAT/UNSAT): 185313(208/185105)
Jun 02, 2017 11:38:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :99/3728 took 27345 ms. Total solver calls (SAT/UNSAT): 192781(220/192561)
Jun 02, 2017 11:38:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :103/3728 took 28584 ms. Total solver calls (SAT/UNSAT): 201774(232/201542)
Jun 02, 2017 11:38:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :107/3728 took 29634 ms. Total solver calls (SAT/UNSAT): 209246(244/209002)
Jun 02, 2017 11:38:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :111/3728 took 30728 ms. Total solver calls (SAT/UNSAT): 216718(256/216462)
Jun 02, 2017 11:38:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/3728 took 31742 ms. Total solver calls (SAT/UNSAT): 224190(268/223922)
Jun 02, 2017 11:38:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :119/3728 took 32831 ms. Total solver calls (SAT/UNSAT): 231662(280/231382)
Jun 02, 2017 11:38:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :123/3728 took 34055 ms. Total solver calls (SAT/UNSAT): 240656(292/240364)
Jun 02, 2017 11:38:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/3728 took 35074 ms. Total solver calls (SAT/UNSAT): 248128(304/247824)
Jun 02, 2017 11:38:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/3728 took 36083 ms. Total solver calls (SAT/UNSAT): 255600(316/255284)
Jun 02, 2017 11:38:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/3728 took 37145 ms. Total solver calls (SAT/UNSAT): 263072(328/262744)
Jun 02, 2017 11:38:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :139/3728 took 38260 ms. Total solver calls (SAT/UNSAT): 270544(340/270204)
Jun 02, 2017 11:38:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :142/3728 took 39284 ms. Total solver calls (SAT/UNSAT): 277669(349/277320)
Jun 02, 2017 11:38:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/3728 took 40306 ms. Total solver calls (SAT/UNSAT): 285142(361/284781)
Jun 02, 2017 11:38:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/3728 took 41338 ms. Total solver calls (SAT/UNSAT): 292614(373/292241)
Jun 02, 2017 11:38:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :154/3728 took 42361 ms. Total solver calls (SAT/UNSAT): 300086(385/299701)
Jun 02, 2017 11:38:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/3728 took 43366 ms. Total solver calls (SAT/UNSAT): 307558(397/307161)
Jun 02, 2017 11:38:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/3728 took 44442 ms. Total solver calls (SAT/UNSAT): 315030(409/314621)
Jun 02, 2017 11:39:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :165/3728 took 45468 ms. Total solver calls (SAT/UNSAT): 322156(418/321738)
Jun 02, 2017 11:39:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :169/3728 took 46503 ms. Total solver calls (SAT/UNSAT): 329628(430/329198)
Jun 02, 2017 11:39:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/3728 took 47574 ms. Total solver calls (SAT/UNSAT): 337100(442/336658)
Jun 02, 2017 11:39:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :177/3728 took 48636 ms. Total solver calls (SAT/UNSAT): 344572(454/344118)
Jun 02, 2017 11:39:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :181/3728 took 49807 ms. Total solver calls (SAT/UNSAT): 352044(466/351578)
Jun 02, 2017 11:39:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/3728 took 51050 ms. Total solver calls (SAT/UNSAT): 361038(478/360560)
Jun 02, 2017 11:39:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/3728 took 52152 ms. Total solver calls (SAT/UNSAT): 368510(490/368020)
Jun 02, 2017 11:39:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :193/3728 took 53187 ms. Total solver calls (SAT/UNSAT): 375982(502/375480)
Jun 02, 2017 11:39:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/3728 took 54249 ms. Total solver calls (SAT/UNSAT): 383454(514/382940)
Jun 02, 2017 11:39:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :201/3728 took 55340 ms. Total solver calls (SAT/UNSAT): 390926(526/390400)
Jun 02, 2017 11:39:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :205/3728 took 56603 ms. Total solver calls (SAT/UNSAT): 399919(538/399381)
Jun 02, 2017 11:39:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/3728 took 57639 ms. Total solver calls (SAT/UNSAT): 407392(550/406842)
Jun 02, 2017 11:39:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :213/3728 took 58653 ms. Total solver calls (SAT/UNSAT): 414864(562/414302)
Jun 02, 2017 11:39:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :217/3728 took 59660 ms. Total solver calls (SAT/UNSAT): 422336(574/421762)
Jun 02, 2017 11:39:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/3728 took 60758 ms. Total solver calls (SAT/UNSAT): 429808(586/429222)
Jun 02, 2017 11:39:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/3728 took 61779 ms. Total solver calls (SAT/UNSAT): 437280(598/436682)
Jun 02, 2017 11:39:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :229/3728 took 62998 ms. Total solver calls (SAT/UNSAT): 446274(610/445664)
Jun 02, 2017 11:39:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :233/3728 took 64019 ms. Total solver calls (SAT/UNSAT): 453746(622/453124)
Jun 02, 2017 11:39:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :237/3728 took 65047 ms. Total solver calls (SAT/UNSAT): 461218(634/460584)
Jun 02, 2017 11:39:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/3728 took 66067 ms. Total solver calls (SAT/UNSAT): 468690(646/468044)
Jun 02, 2017 11:39:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :245/3728 took 67168 ms. Total solver calls (SAT/UNSAT): 476162(658/475504)
Jun 02, 2017 11:39:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/3728 took 68225 ms. Total solver calls (SAT/UNSAT): 483288(667/482621)
Jun 02, 2017 11:39:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/3728 took 69241 ms. Total solver calls (SAT/UNSAT): 490760(679/490081)
Jun 02, 2017 11:39:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :256/3728 took 70256 ms. Total solver calls (SAT/UNSAT): 498232(691/497541)
Jun 02, 2017 11:39:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :260/3728 took 71317 ms. Total solver calls (SAT/UNSAT): 505704(703/505001)
Jun 02, 2017 11:39:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :264/3728 took 72480 ms. Total solver calls (SAT/UNSAT): 513176(715/512461)
Jun 02, 2017 11:39:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :268/3728 took 73715 ms. Total solver calls (SAT/UNSAT): 522169(727/521442)
Jun 02, 2017 11:39:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :272/3728 took 74731 ms. Total solver calls (SAT/UNSAT): 529642(739/528903)
Jun 02, 2017 11:39:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :276/3728 took 75743 ms. Total solver calls (SAT/UNSAT): 537114(751/536363)
Jun 02, 2017 11:39:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :280/3728 took 76751 ms. Total solver calls (SAT/UNSAT): 544586(763/543823)
Jun 02, 2017 11:39:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :284/3728 took 77756 ms. Total solver calls (SAT/UNSAT): 552058(775/551283)
Jun 02, 2017 11:39:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :288/3728 took 78763 ms. Total solver calls (SAT/UNSAT): 559530(787/558743)
Jun 02, 2017 11:39:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/3728 took 79969 ms. Total solver calls (SAT/UNSAT): 568524(799/567725)
Jun 02, 2017 11:39:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/3728 took 80985 ms. Total solver calls (SAT/UNSAT): 575996(811/575185)
Jun 02, 2017 11:39:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :300/3728 took 81991 ms. Total solver calls (SAT/UNSAT): 583468(823/582645)
Jun 02, 2017 11:39:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/3728 took 83166 ms. Total solver calls (SAT/UNSAT): 590940(835/590105)
Jun 02, 2017 11:39:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/3728 took 84247 ms. Total solver calls (SAT/UNSAT): 598412(847/597565)
Jun 02, 2017 11:39:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :312/3728 took 85487 ms. Total solver calls (SAT/UNSAT): 607406(859/606547)
Jun 02, 2017 11:39:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/3728 took 86517 ms. Total solver calls (SAT/UNSAT): 614878(871/614007)
Jun 02, 2017 11:39:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :320/3728 took 87542 ms. Total solver calls (SAT/UNSAT): 622350(883/621467)
Jun 02, 2017 11:39:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/3728 took 88574 ms. Total solver calls (SAT/UNSAT): 629822(895/628927)
Jun 02, 2017 11:39:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :328/3728 took 89604 ms. Total solver calls (SAT/UNSAT): 637294(907/636387)
Jun 02, 2017 11:39:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/3728 took 90842 ms. Total solver calls (SAT/UNSAT): 646288(919/645369)
Jun 02, 2017 11:39:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/3728 took 91862 ms. Total solver calls (SAT/UNSAT): 653760(931/652829)
Jun 02, 2017 11:39:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :340/3728 took 92930 ms. Total solver calls (SAT/UNSAT): 661232(943/660289)
Jun 02, 2017 11:39:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :344/3728 took 93971 ms. Total solver calls (SAT/UNSAT): 668704(955/667749)
Jun 02, 2017 11:39:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/3728 took 95054 ms. Total solver calls (SAT/UNSAT): 676176(967/675209)
Jun 02, 2017 11:39:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/3728 took 96312 ms. Total solver calls (SAT/UNSAT): 685169(979/684190)
Jun 02, 2017 11:39:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/3728 took 97482 ms. Total solver calls (SAT/UNSAT): 692642(991/691651)
Jun 02, 2017 11:39:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/3728 took 98561 ms. Total solver calls (SAT/UNSAT): 700114(1003/699111)
Jun 02, 2017 11:39:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/3728 took 99580 ms. Total solver calls (SAT/UNSAT): 707586(1015/706571)
Jun 02, 2017 11:39:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/3728 took 100828 ms. Total solver calls (SAT/UNSAT): 716926(1030/715896)
Jun 02, 2017 11:39:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :373/3728 took 102020 ms. Total solver calls (SAT/UNSAT): 725919(1042/724877)
Jun 02, 2017 11:39:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/3728 took 103270 ms. Total solver calls (SAT/UNSAT): 735260(1057/734203)
Jun 02, 2017 11:39:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :382/3728 took 104314 ms. Total solver calls (SAT/UNSAT): 742732(1069/741663)
Jun 02, 2017 11:40:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/3728 took 105392 ms. Total solver calls (SAT/UNSAT): 750204(1081/749123)
Jun 02, 2017 11:40:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/3728 took 106425 ms. Total solver calls (SAT/UNSAT): 757676(1093/756583)
Jun 02, 2017 11:40:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/3728 took 107652 ms. Total solver calls (SAT/UNSAT): 766669(1105/765564)
Jun 02, 2017 11:40:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/3728 took 108674 ms. Total solver calls (SAT/UNSAT): 774142(1117/773025)
Jun 02, 2017 11:40:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/3728 took 109719 ms. Total solver calls (SAT/UNSAT): 781614(1129/780485)
Jun 02, 2017 11:40:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :406/3728 took 110751 ms. Total solver calls (SAT/UNSAT): 789086(1141/787945)
Jun 02, 2017 11:40:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/3728 took 111783 ms. Total solver calls (SAT/UNSAT): 796558(1153/795405)
Jun 02, 2017 11:40:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/3728 took 112884 ms. Total solver calls (SAT/UNSAT): 804030(1165/802865)
Jun 02, 2017 11:40:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :418/3728 took 114088 ms. Total solver calls (SAT/UNSAT): 813024(1177/811847)
Jun 02, 2017 11:40:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/3728 took 115097 ms. Total solver calls (SAT/UNSAT): 820496(1189/819307)
Jun 02, 2017 11:40:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :426/3728 took 116296 ms. Total solver calls (SAT/UNSAT): 827968(1201/826767)
Jun 02, 2017 11:40:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :430/3728 took 117299 ms. Total solver calls (SAT/UNSAT): 835440(1213/834227)
Jun 02, 2017 11:40:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/3728 took 118302 ms. Total solver calls (SAT/UNSAT): 842912(1225/841687)
Jun 02, 2017 11:40:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/3728 took 119502 ms. Total solver calls (SAT/UNSAT): 851906(1237/850669)
Jun 02, 2017 11:40:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/3728 took 120506 ms. Total solver calls (SAT/UNSAT): 859378(1249/858129)
Jun 02, 2017 11:40:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/3728 took 121520 ms. Total solver calls (SAT/UNSAT): 866850(1261/865589)
Jun 02, 2017 11:40:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/3728 took 122529 ms. Total solver calls (SAT/UNSAT): 874322(1273/873049)
Jun 02, 2017 11:40:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :454/3728 took 123531 ms. Total solver calls (SAT/UNSAT): 881794(1285/880509)
Jun 02, 2017 11:40:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/3728 took 124722 ms. Total solver calls (SAT/UNSAT): 890788(1297/889491)
Jun 02, 2017 11:40:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/3728 took 125963 ms. Total solver calls (SAT/UNSAT): 900128(1312/898816)
Jun 02, 2017 11:40:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/3728 took 127211 ms. Total solver calls (SAT/UNSAT): 909468(1327/908141)
Jun 02, 2017 11:40:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/3728 took 128452 ms. Total solver calls (SAT/UNSAT): 918808(1342/917466)
Jun 02, 2017 11:40:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/3728 took 129461 ms. Total solver calls (SAT/UNSAT): 926280(1354/924926)
Jun 02, 2017 11:40:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/3728 took 130662 ms. Total solver calls (SAT/UNSAT): 935274(1366/933908)
Jun 02, 2017 11:40:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/3728 took 131907 ms. Total solver calls (SAT/UNSAT): 944614(1381/943233)
Jun 02, 2017 11:40:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/3728 took 133152 ms. Total solver calls (SAT/UNSAT): 953954(1396/952558)
Jun 02, 2017 11:40:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/3728 took 134395 ms. Total solver calls (SAT/UNSAT): 963294(1411/961883)
Jun 02, 2017 11:40:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/3728 took 135585 ms. Total solver calls (SAT/UNSAT): 972288(1423/970865)
Jun 02, 2017 11:40:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/3728 took 136587 ms. Total solver calls (SAT/UNSAT): 979760(1435/978325)
Jun 02, 2017 11:40:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/3728 took 137646 ms. Total solver calls (SAT/UNSAT): 987232(1447/985785)
Jun 02, 2017 11:40:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/3728 took 138680 ms. Total solver calls (SAT/UNSAT): 994704(1459/993245)
Jun 02, 2017 11:40:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :517/3728 took 139925 ms. Total solver calls (SAT/UNSAT): 1004044(1474/1002570)
Jun 02, 2017 11:40:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/3728 took 141116 ms. Total solver calls (SAT/UNSAT): 1013038(1486/1011552)
Jun 02, 2017 11:40:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/3728 took 142361 ms. Total solver calls (SAT/UNSAT): 1022378(1501/1020877)
Jun 02, 2017 11:40:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/3728 took 143604 ms. Total solver calls (SAT/UNSAT): 1031718(1516/1030202)
Jun 02, 2017 11:40:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/3728 took 144606 ms. Total solver calls (SAT/UNSAT): 1039190(1528/1037662)
Jun 02, 2017 11:40:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/3728 took 145610 ms. Total solver calls (SAT/UNSAT): 1046662(1540/1045122)
Jun 02, 2017 11:40:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/3728 took 146814 ms. Total solver calls (SAT/UNSAT): 1055656(1552/1054104)
Jun 02, 2017 11:40:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/3728 took 148057 ms. Total solver calls (SAT/UNSAT): 1064996(1567/1063429)
Jun 02, 2017 11:40:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/3728 took 149300 ms. Total solver calls (SAT/UNSAT): 1074336(1582/1072754)
Jun 02, 2017 11:40:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :558/3728 took 150542 ms. Total solver calls (SAT/UNSAT): 1083676(1597/1082079)
Jun 02, 2017 11:40:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :562/3728 took 151737 ms. Total solver calls (SAT/UNSAT): 1092669(1609/1091060)
Jun 02, 2017 11:40:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/3728 took 152737 ms. Total solver calls (SAT/UNSAT): 1100142(1621/1098521)
Jun 02, 2017 11:40:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :571/3728 took 153980 ms. Total solver calls (SAT/UNSAT): 1109482(1636/1107846)
Jun 02, 2017 11:40:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/3728 took 155224 ms. Total solver calls (SAT/UNSAT): 1118822(1651/1117171)
Jun 02, 2017 11:40:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/3728 took 156464 ms. Total solver calls (SAT/UNSAT): 1128162(1666/1126496)
Jun 02, 2017 11:40:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/3728 took 157653 ms. Total solver calls (SAT/UNSAT): 1137156(1678/1135478)
Jun 02, 2017 11:40:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :590/3728 took 158893 ms. Total solver calls (SAT/UNSAT): 1146496(1693/1144803)
Jun 02, 2017 11:40:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :595/3728 took 160129 ms. Total solver calls (SAT/UNSAT): 1155836(1708/1154128)
Jun 02, 2017 11:40:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :600/3728 took 161374 ms. Total solver calls (SAT/UNSAT): 1165176(1723/1163453)
Jun 02, 2017 11:40:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :604/3728 took 162559 ms. Total solver calls (SAT/UNSAT): 1174169(1735/1172434)
Jun 02, 2017 11:40:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :609/3728 took 163792 ms. Total solver calls (SAT/UNSAT): 1183510(1750/1181760)
Jun 02, 2017 11:41:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :614/3728 took 165027 ms. Total solver calls (SAT/UNSAT): 1192850(1765/1191085)
Jun 02, 2017 11:41:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :619/3728 took 166265 ms. Total solver calls (SAT/UNSAT): 1202190(1780/1200410)
Jun 02, 2017 11:41:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :624/3728 took 167502 ms. Total solver calls (SAT/UNSAT): 1211530(1795/1209735)
Jun 02, 2017 11:41:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :628/3728 took 168701 ms. Total solver calls (SAT/UNSAT): 1220524(1807/1218717)
Jun 02, 2017 11:41:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :633/3728 took 169948 ms. Total solver calls (SAT/UNSAT): 1229864(1822/1228042)
Jun 02, 2017 11:41:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :638/3728 took 171193 ms. Total solver calls (SAT/UNSAT): 1239204(1837/1237367)
Jun 02, 2017 11:41:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :643/3728 took 172430 ms. Total solver calls (SAT/UNSAT): 1248544(1852/1246692)
Jun 02, 2017 11:41:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :647/3728 took 173616 ms. Total solver calls (SAT/UNSAT): 1257538(1864/1255674)
Jun 02, 2017 11:41:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :652/3728 took 174854 ms. Total solver calls (SAT/UNSAT): 1266878(1879/1264999)
Jun 02, 2017 11:41:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :657/3728 took 176098 ms. Total solver calls (SAT/UNSAT): 1276218(1894/1274324)
Jun 02, 2017 11:41:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :661/3728 took 177149 ms. Total solver calls (SAT/UNSAT): 1283690(1906/1281784)
Jun 02, 2017 11:41:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :665/3728 took 178294 ms. Total solver calls (SAT/UNSAT): 1291162(1918/1289244)
Jun 02, 2017 11:41:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :669/3728 took 179521 ms. Total solver calls (SAT/UNSAT): 1300156(1930/1298226)
Jun 02, 2017 11:41:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :673/3728 took 180539 ms. Total solver calls (SAT/UNSAT): 1307628(1942/1305686)
Jun 02, 2017 11:41:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :677/3728 took 181649 ms. Total solver calls (SAT/UNSAT): 1315100(1954/1313146)
Jun 02, 2017 11:41:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :681/3728 took 182677 ms. Total solver calls (SAT/UNSAT): 1322572(1966/1320606)
Jun 02, 2017 11:41:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :685/3728 took 183696 ms. Total solver calls (SAT/UNSAT): 1330044(1978/1328066)
Jun 02, 2017 11:41:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :689/3728 took 184928 ms. Total solver calls (SAT/UNSAT): 1339038(1990/1337048)
Jun 02, 2017 11:41:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :693/3728 took 185952 ms. Total solver calls (SAT/UNSAT): 1346510(2002/1344508)
Jun 02, 2017 11:41:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :697/3728 took 186978 ms. Total solver calls (SAT/UNSAT): 1353982(2014/1351968)
Jun 02, 2017 11:41:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :701/3728 took 187996 ms. Total solver calls (SAT/UNSAT): 1361454(2026/1359428)
Jun 02, 2017 11:41:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :705/3728 took 189013 ms. Total solver calls (SAT/UNSAT): 1368926(2038/1366888)
Jun 02, 2017 11:41:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :709/3728 took 190229 ms. Total solver calls (SAT/UNSAT): 1377919(2050/1375869)
Jun 02, 2017 11:41:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :713/3728 took 191244 ms. Total solver calls (SAT/UNSAT): 1385392(2062/1383330)
Jun 02, 2017 11:41:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :717/3728 took 192271 ms. Total solver calls (SAT/UNSAT): 1392864(2074/1390790)
Jun 02, 2017 11:41:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :721/3728 took 193300 ms. Total solver calls (SAT/UNSAT): 1400336(2086/1398250)
Jun 02, 2017 11:41:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :725/3728 took 194330 ms. Total solver calls (SAT/UNSAT): 1407808(2098/1405710)
Jun 02, 2017 11:41:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :729/3728 took 195352 ms. Total solver calls (SAT/UNSAT): 1415280(2110/1413170)
Jun 02, 2017 11:41:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :733/3728 took 196571 ms. Total solver calls (SAT/UNSAT): 1424274(2122/1422152)
Jun 02, 2017 11:41:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :737/3728 took 197588 ms. Total solver calls (SAT/UNSAT): 1431746(2134/1429612)
Jun 02, 2017 11:41:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :741/3728 took 198607 ms. Total solver calls (SAT/UNSAT): 1439218(2146/1437072)
Jun 02, 2017 11:41:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :745/3728 took 199634 ms. Total solver calls (SAT/UNSAT): 1446690(2158/1444532)
Jun 02, 2017 11:41:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :749/3728 took 200656 ms. Total solver calls (SAT/UNSAT): 1454162(2170/1451992)
Jun 02, 2017 11:41:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :753/3728 took 201876 ms. Total solver calls (SAT/UNSAT): 1463156(2182/1460974)
Jun 02, 2017 11:41:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :757/3728 took 202943 ms. Total solver calls (SAT/UNSAT): 1470628(2194/1468434)
Jun 02, 2017 11:41:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :761/3728 took 203960 ms. Total solver calls (SAT/UNSAT): 1478100(2206/1475894)
Jun 02, 2017 11:41:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :765/3728 took 204977 ms. Total solver calls (SAT/UNSAT): 1485572(2218/1483354)
Jun 02, 2017 11:41:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :769/3728 took 205998 ms. Total solver calls (SAT/UNSAT): 1493044(2230/1490814)
Jun 02, 2017 11:41:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :773/3728 took 207216 ms. Total solver calls (SAT/UNSAT): 1502038(2242/1499796)
Jun 02, 2017 11:41:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :777/3728 took 208238 ms. Total solver calls (SAT/UNSAT): 1509510(2254/1507256)
Jun 02, 2017 11:41:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :781/3728 took 209251 ms. Total solver calls (SAT/UNSAT): 1516982(2266/1514716)
Jun 02, 2017 11:41:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :785/3728 took 210266 ms. Total solver calls (SAT/UNSAT): 1524454(2278/1522176)
Jun 02, 2017 11:41:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :789/3728 took 211280 ms. Total solver calls (SAT/UNSAT): 1531926(2290/1529636)
Jun 02, 2017 11:41:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :793/3728 took 212497 ms. Total solver calls (SAT/UNSAT): 1540919(2302/1538617)
Jun 02, 2017 11:41:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :797/3728 took 213515 ms. Total solver calls (SAT/UNSAT): 1548392(2314/1546078)
Jun 02, 2017 11:41:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :801/3728 took 214531 ms. Total solver calls (SAT/UNSAT): 1555864(2326/1553538)
Jun 02, 2017 11:41:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :805/3728 took 215543 ms. Total solver calls (SAT/UNSAT): 1563336(2338/1560998)
Jun 02, 2017 11:41:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :809/3728 took 216557 ms. Total solver calls (SAT/UNSAT): 1570808(2350/1568458)
Jun 02, 2017 11:41:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :813/3728 took 217573 ms. Total solver calls (SAT/UNSAT): 1578280(2362/1575918)
Jun 02, 2017 11:41:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :817/3728 took 218788 ms. Total solver calls (SAT/UNSAT): 1587274(2374/1584900)
Jun 02, 2017 11:41:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :821/3728 took 219808 ms. Total solver calls (SAT/UNSAT): 1594746(2386/1592360)
Jun 02, 2017 11:41:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :825/3728 took 220823 ms. Total solver calls (SAT/UNSAT): 1602218(2398/1599820)
Jun 02, 2017 11:41:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :829/3728 took 221835 ms. Total solver calls (SAT/UNSAT): 1609690(2410/1607280)
Jun 02, 2017 11:41:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :833/3728 took 222848 ms. Total solver calls (SAT/UNSAT): 1617162(2422/1614740)
Jun 02, 2017 11:41:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :837/3728 took 224064 ms. Total solver calls (SAT/UNSAT): 1626156(2434/1623722)
Jun 02, 2017 11:42:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :841/3728 took 225088 ms. Total solver calls (SAT/UNSAT): 1633628(2446/1631182)
Jun 02, 2017 11:42:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :845/3728 took 226111 ms. Total solver calls (SAT/UNSAT): 1641100(2458/1638642)
Jun 02, 2017 11:42:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :849/3728 took 227135 ms. Total solver calls (SAT/UNSAT): 1648572(2470/1646102)
Jun 02, 2017 11:42:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :853/3728 took 228150 ms. Total solver calls (SAT/UNSAT): 1656044(2482/1653562)
Jun 02, 2017 11:42:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :857/3728 took 229363 ms. Total solver calls (SAT/UNSAT): 1665038(2494/1662544)
Jun 02, 2017 11:42:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :861/3728 took 230377 ms. Total solver calls (SAT/UNSAT): 1672510(2506/1670004)
Jun 02, 2017 11:42:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :865/3728 took 231394 ms. Total solver calls (SAT/UNSAT): 1679982(2518/1677464)
Jun 02, 2017 11:42:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :869/3728 took 232409 ms. Total solver calls (SAT/UNSAT): 1687454(2530/1684924)
Jun 02, 2017 11:42:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :873/3728 took 233424 ms. Total solver calls (SAT/UNSAT): 1694926(2542/1692384)
Jun 02, 2017 11:42:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :877/3728 took 234640 ms. Total solver calls (SAT/UNSAT): 1703919(2554/1701365)
Jun 02, 2017 11:42:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :881/3728 took 235653 ms. Total solver calls (SAT/UNSAT): 1711392(2566/1708826)
Jun 02, 2017 11:42:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :885/3728 took 236702 ms. Total solver calls (SAT/UNSAT): 1718864(2578/1716286)
Jun 02, 2017 11:42:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :890/3728 took 237944 ms. Total solver calls (SAT/UNSAT): 1728204(2593/1725611)
Jun 02, 2017 11:42:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :895/3728 took 239189 ms. Total solver calls (SAT/UNSAT): 1737544(2608/1734936)
Jun 02, 2017 11:42:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :899/3728 took 240377 ms. Total solver calls (SAT/UNSAT): 1746538(2620/1743918)
Jun 02, 2017 11:42:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :904/3728 took 241627 ms. Total solver calls (SAT/UNSAT): 1755878(2635/1753243)
Jun 02, 2017 11:42:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :909/3728 took 242869 ms. Total solver calls (SAT/UNSAT): 1765218(2650/1762568)
Jun 02, 2017 11:42:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :914/3728 took 244111 ms. Total solver calls (SAT/UNSAT): 1774558(2665/1771893)
Jun 02, 2017 11:42:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :919/3728 took 245550 ms. Total solver calls (SAT/UNSAT): 1785419(2680/1782739)
Jun 02, 2017 11:42:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :924/3728 took 246797 ms. Total solver calls (SAT/UNSAT): 1794760(2695/1792065)
Jun 02, 2017 11:42:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :929/3728 took 248040 ms. Total solver calls (SAT/UNSAT): 1804100(2710/1801390)
Jun 02, 2017 11:42:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :934/3728 took 249285 ms. Total solver calls (SAT/UNSAT): 1813440(2725/1810715)
Jun 02, 2017 11:42:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :939/3728 took 250525 ms. Total solver calls (SAT/UNSAT): 1822780(2740/1820040)
Jun 02, 2017 11:42:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :943/3728 took 251721 ms. Total solver calls (SAT/UNSAT): 1831774(2752/1829022)
Jun 02, 2017 11:42:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :947/3728 took 252725 ms. Total solver calls (SAT/UNSAT): 1839246(2764/1836482)
Jun 02, 2017 11:42:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :952/3728 took 253971 ms. Total solver calls (SAT/UNSAT): 1848586(2779/1845807)
Jun 02, 2017 11:42:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :956/3728 took 255019 ms. Total solver calls (SAT/UNSAT): 1856058(2791/1853267)
Jun 02, 2017 11:42:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :960/3728 took 256034 ms. Total solver calls (SAT/UNSAT): 1863530(2803/1860727)
Jun 02, 2017 11:42:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :964/3728 took 257257 ms. Total solver calls (SAT/UNSAT): 1872524(2815/1869709)
Jun 02, 2017 11:42:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :968/3728 took 258274 ms. Total solver calls (SAT/UNSAT): 1879996(2827/1877169)
Jun 02, 2017 11:42:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :972/3728 took 259290 ms. Total solver calls (SAT/UNSAT): 1887468(2839/1884629)
Jun 02, 2017 11:42:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :976/3728 took 260307 ms. Total solver calls (SAT/UNSAT): 1894940(2851/1892089)
Jun 02, 2017 11:42:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :980/3728 took 261336 ms. Total solver calls (SAT/UNSAT): 1902412(2863/1899549)
Jun 02, 2017 11:42:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :984/3728 took 262556 ms. Total solver calls (SAT/UNSAT): 1911406(2875/1908531)
Jun 02, 2017 11:42:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :988/3728 took 263574 ms. Total solver calls (SAT/UNSAT): 1918878(2887/1915991)
Jun 02, 2017 11:42:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :992/3728 took 264591 ms. Total solver calls (SAT/UNSAT): 1926350(2899/1923451)
Jun 02, 2017 11:42:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :996/3728 took 265618 ms. Total solver calls (SAT/UNSAT): 1933822(2911/1930911)
Jun 02, 2017 11:42:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1000/3728 took 266643 ms. Total solver calls (SAT/UNSAT): 1941294(2923/1938371)
Jun 02, 2017 11:42:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1004/3728 took 267867 ms. Total solver calls (SAT/UNSAT): 1950288(2935/1947353)
Jun 02, 2017 11:42:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1008/3728 took 268883 ms. Total solver calls (SAT/UNSAT): 1957760(2947/1954813)
Jun 02, 2017 11:42:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1012/3728 took 269904 ms. Total solver calls (SAT/UNSAT): 1965232(2959/1962273)
Jun 02, 2017 11:42:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1016/3728 took 270919 ms. Total solver calls (SAT/UNSAT): 1972704(2971/1969733)
Jun 02, 2017 11:42:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1020/3728 took 271937 ms. Total solver calls (SAT/UNSAT): 1980176(2983/1977193)
Jun 02, 2017 11:42:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1024/3728 took 273154 ms. Total solver calls (SAT/UNSAT): 1989169(2995/1986174)
Jun 02, 2017 11:42:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1028/3728 took 274177 ms. Total solver calls (SAT/UNSAT): 1996642(3007/1993635)
Jun 02, 2017 11:42:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1032/3728 took 275234 ms. Total solver calls (SAT/UNSAT): 2004114(3019/2001095)
Jun 02, 2017 11:42:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1037/3728 took 276476 ms. Total solver calls (SAT/UNSAT): 2013454(3034/2010420)
Jun 02, 2017 11:42:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1042/3728 took 277722 ms. Total solver calls (SAT/UNSAT): 2022794(3049/2019745)
Jun 02, 2017 11:42:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1046/3728 took 278914 ms. Total solver calls (SAT/UNSAT): 2031788(3061/2028727)
Jun 02, 2017 11:42:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1051/3728 took 280160 ms. Total solver calls (SAT/UNSAT): 2041128(3076/2038052)
Jun 02, 2017 11:42:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1056/3728 took 281402 ms. Total solver calls (SAT/UNSAT): 2050468(3091/2047377)
Jun 02, 2017 11:42:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1061/3728 took 282642 ms. Total solver calls (SAT/UNSAT): 2059808(3106/2056702)
Jun 02, 2017 11:42:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1066/3728 took 284081 ms. Total solver calls (SAT/UNSAT): 2070669(3121/2067548)
Jun 02, 2017 11:43:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1071/3728 took 285328 ms. Total solver calls (SAT/UNSAT): 2080010(3136/2076874)
Jun 02, 2017 11:43:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1076/3728 took 286569 ms. Total solver calls (SAT/UNSAT): 2089350(3151/2086199)
Jun 02, 2017 11:43:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1081/3728 took 287812 ms. Total solver calls (SAT/UNSAT): 2098690(3166/2095524)
Jun 02, 2017 11:43:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1086/3728 took 289057 ms. Total solver calls (SAT/UNSAT): 2108030(3181/2104849)
Jun 02, 2017 11:43:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1090/3728 took 290249 ms. Total solver calls (SAT/UNSAT): 2117024(3193/2113831)
Jun 02, 2017 11:43:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1095/3728 took 291491 ms. Total solver calls (SAT/UNSAT): 2126364(3208/2123156)
Jun 02, 2017 11:43:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1099/3728 took 292551 ms. Total solver calls (SAT/UNSAT): 2133836(3220/2130616)
Jun 02, 2017 11:43:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1103/3728 took 293565 ms. Total solver calls (SAT/UNSAT): 2141308(3232/2138076)
Jun 02, 2017 11:43:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1107/3728 took 294582 ms. Total solver calls (SAT/UNSAT): 2148780(3244/2145536)
Jun 02, 2017 11:43:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1111/3728 took 295801 ms. Total solver calls (SAT/UNSAT): 2157774(3256/2154518)
Jun 02, 2017 11:43:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1115/3728 took 296815 ms. Total solver calls (SAT/UNSAT): 2165246(3268/2161978)
Jun 02, 2017 11:43:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1119/3728 took 297831 ms. Total solver calls (SAT/UNSAT): 2172718(3280/2169438)
Jun 02, 2017 11:43:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1123/3728 took 298863 ms. Total solver calls (SAT/UNSAT): 2180190(3292/2176898)
Jun 02, 2017 11:43:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1127/3728 took 299879 ms. Total solver calls (SAT/UNSAT): 2187662(3304/2184358)
Jun 02, 2017 11:43:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1131/3728 took 301095 ms. Total solver calls (SAT/UNSAT): 2196656(3316/2193340)
Jun 02, 2017 11:43:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1135/3728 took 302123 ms. Total solver calls (SAT/UNSAT): 2204128(3328/2200800)
Jun 02, 2017 11:43:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1139/3728 took 303148 ms. Total solver calls (SAT/UNSAT): 2211600(3340/2208260)
Jun 02, 2017 11:43:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1143/3728 took 304206 ms. Total solver calls (SAT/UNSAT): 2219072(3352/2215720)
Jun 02, 2017 11:43:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1147/3728 took 305237 ms. Total solver calls (SAT/UNSAT): 2226544(3364/2223180)
Jun 02, 2017 11:43:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1151/3728 took 306471 ms. Total solver calls (SAT/UNSAT): 2235538(3376/2232162)
Jun 02, 2017 11:43:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1155/3728 took 307498 ms. Total solver calls (SAT/UNSAT): 2243010(3388/2239622)
Jun 02, 2017 11:43:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1159/3728 took 308516 ms. Total solver calls (SAT/UNSAT): 2250482(3400/2247082)
Jun 02, 2017 11:43:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1163/3728 took 309532 ms. Total solver calls (SAT/UNSAT): 2257954(3412/2254542)
Jun 02, 2017 11:43:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1167/3728 took 310554 ms. Total solver calls (SAT/UNSAT): 2265426(3424/2262002)
Jun 02, 2017 11:43:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1171/3728 took 311774 ms. Total solver calls (SAT/UNSAT): 2274419(3436/2270983)
Jun 02, 2017 11:43:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1175/3728 took 312791 ms. Total solver calls (SAT/UNSAT): 2281892(3448/2278444)
Jun 02, 2017 11:43:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1179/3728 took 313813 ms. Total solver calls (SAT/UNSAT): 2289364(3460/2285904)
Jun 02, 2017 11:43:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1183/3728 took 314831 ms. Total solver calls (SAT/UNSAT): 2296836(3472/2293364)
Jun 02, 2017 11:43:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1187/3728 took 315855 ms. Total solver calls (SAT/UNSAT): 2304308(3484/2300824)
Jun 02, 2017 11:43:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1191/3728 took 316876 ms. Total solver calls (SAT/UNSAT): 2311780(3496/2308284)
Jun 02, 2017 11:43:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1195/3728 took 318100 ms. Total solver calls (SAT/UNSAT): 2320774(3508/2317266)
Jun 02, 2017 11:43:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1199/3728 took 319122 ms. Total solver calls (SAT/UNSAT): 2328246(3520/2324726)
Jun 02, 2017 11:43:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1203/3728 took 320139 ms. Total solver calls (SAT/UNSAT): 2335718(3532/2332186)
Jun 02, 2017 11:43:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1207/3728 took 321160 ms. Total solver calls (SAT/UNSAT): 2343190(3544/2339646)
Jun 02, 2017 11:43:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1211/3728 took 322177 ms. Total solver calls (SAT/UNSAT): 2350662(3556/2347106)
Jun 02, 2017 11:43:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1215/3728 took 323400 ms. Total solver calls (SAT/UNSAT): 2359656(3568/2356088)
Jun 02, 2017 11:43:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1219/3728 took 324419 ms. Total solver calls (SAT/UNSAT): 2367128(3580/2363548)
Jun 02, 2017 11:43:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1223/3728 took 325439 ms. Total solver calls (SAT/UNSAT): 2374600(3592/2371008)
Jun 02, 2017 11:43:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1227/3728 took 326460 ms. Total solver calls (SAT/UNSAT): 2382072(3604/2378468)
Jun 02, 2017 11:43:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1231/3728 took 327479 ms. Total solver calls (SAT/UNSAT): 2389544(3616/2385928)
Jun 02, 2017 11:43:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1235/3728 took 328708 ms. Total solver calls (SAT/UNSAT): 2398538(3628/2394910)
Jun 02, 2017 11:43:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1239/3728 took 329725 ms. Total solver calls (SAT/UNSAT): 2406010(3640/2402370)
Jun 02, 2017 11:43:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1243/3728 took 330757 ms. Total solver calls (SAT/UNSAT): 2413482(3652/2409830)
Jun 02, 2017 11:43:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1247/3728 took 331780 ms. Total solver calls (SAT/UNSAT): 2420954(3664/2417290)
Jun 02, 2017 11:43:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1251/3728 took 332812 ms. Total solver calls (SAT/UNSAT): 2428426(3676/2424750)
Jun 02, 2017 11:43:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1255/3728 took 334049 ms. Total solver calls (SAT/UNSAT): 2437419(3688/2433731)
Jun 02, 2017 11:43:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1259/3728 took 335084 ms. Total solver calls (SAT/UNSAT): 2444892(3700/2441192)
Jun 02, 2017 11:43:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1263/3728 took 336105 ms. Total solver calls (SAT/UNSAT): 2452364(3712/2448652)
Jun 02, 2017 11:43:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1267/3728 took 337179 ms. Total solver calls (SAT/UNSAT): 2459836(3724/2456112)
Jun 02, 2017 11:43:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1271/3728 took 338206 ms. Total solver calls (SAT/UNSAT): 2467308(3736/2463572)
Jun 02, 2017 11:43:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1275/3728 took 339235 ms. Total solver calls (SAT/UNSAT): 2474780(3748/2471032)
Jun 02, 2017 11:43:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1279/3728 took 340461 ms. Total solver calls (SAT/UNSAT): 2483774(3760/2480014)
Jun 02, 2017 11:43:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1283/3728 took 341487 ms. Total solver calls (SAT/UNSAT): 2491246(3772/2487474)
Jun 02, 2017 11:43:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1287/3728 took 342521 ms. Total solver calls (SAT/UNSAT): 2498718(3784/2494934)
Jun 02, 2017 11:43:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1291/3728 took 343544 ms. Total solver calls (SAT/UNSAT): 2506190(3796/2502394)
Jun 02, 2017 11:43:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1295/3728 took 344603 ms. Total solver calls (SAT/UNSAT): 2513662(3808/2509854)
Jun 02, 2017 11:44:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1299/3728 took 345808 ms. Total solver calls (SAT/UNSAT): 2522656(3820/2518836)
Jun 02, 2017 11:44:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1303/3728 took 346819 ms. Total solver calls (SAT/UNSAT): 2530128(3832/2526296)
Jun 02, 2017 11:44:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1307/3728 took 347821 ms. Total solver calls (SAT/UNSAT): 2537600(3844/2533756)
Jun 02, 2017 11:44:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1312/3728 took 349069 ms. Total solver calls (SAT/UNSAT): 2546940(3859/2543081)
Jun 02, 2017 11:44:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1316/3728 took 350079 ms. Total solver calls (SAT/UNSAT): 2554412(3871/2550541)
Jun 02, 2017 11:44:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1320/3728 took 351291 ms. Total solver calls (SAT/UNSAT): 2563406(3883/2559523)
Jun 02, 2017 11:44:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1324/3728 took 352300 ms. Total solver calls (SAT/UNSAT): 2570878(3895/2566983)
Jun 02, 2017 11:44:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1328/3728 took 353316 ms. Total solver calls (SAT/UNSAT): 2578350(3907/2574443)
Jun 02, 2017 11:44:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1332/3728 took 354329 ms. Total solver calls (SAT/UNSAT): 2585822(3919/2581903)
Jun 02, 2017 11:44:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1336/3728 took 355336 ms. Total solver calls (SAT/UNSAT): 2593294(3931/2589363)
Jun 02, 2017 11:44:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1340/3728 took 356552 ms. Total solver calls (SAT/UNSAT): 2602288(3943/2598345)
Jun 02, 2017 11:44:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1344/3728 took 357566 ms. Total solver calls (SAT/UNSAT): 2609760(3955/2605805)
Jun 02, 2017 11:44:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1348/3728 took 358572 ms. Total solver calls (SAT/UNSAT): 2617232(3967/2613265)
Jun 02, 2017 11:44:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1352/3728 took 359581 ms. Total solver calls (SAT/UNSAT): 2624704(3979/2620725)
Jun 02, 2017 11:44:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1356/3728 took 360583 ms. Total solver calls (SAT/UNSAT): 2632176(3991/2628185)
Jun 02, 2017 11:44:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1360/3728 took 361786 ms. Total solver calls (SAT/UNSAT): 2641169(4003/2637166)
Jun 02, 2017 11:44:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1364/3728 took 362800 ms. Total solver calls (SAT/UNSAT): 2648642(4015/2644627)
Jun 02, 2017 11:44:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1368/3728 took 363814 ms. Total solver calls (SAT/UNSAT): 2656114(4027/2652087)
Jun 02, 2017 11:44:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1372/3728 took 364826 ms. Total solver calls (SAT/UNSAT): 2663586(4039/2659547)
Jun 02, 2017 11:44:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1376/3728 took 365832 ms. Total solver calls (SAT/UNSAT): 2671058(4051/2667007)
Jun 02, 2017 11:44:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1380/3728 took 366844 ms. Total solver calls (SAT/UNSAT): 2678530(4063/2674467)
Jun 02, 2017 11:44:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1384/3728 took 368051 ms. Total solver calls (SAT/UNSAT): 2687524(4075/2683449)
Jun 02, 2017 11:44:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1388/3728 took 369058 ms. Total solver calls (SAT/UNSAT): 2694996(4087/2690909)
Jun 02, 2017 11:44:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1392/3728 took 370061 ms. Total solver calls (SAT/UNSAT): 2702468(4099/2698369)
Jun 02, 2017 11:44:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1396/3728 took 371071 ms. Total solver calls (SAT/UNSAT): 2709940(4111/2705829)
Jun 02, 2017 11:44:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1400/3728 took 372078 ms. Total solver calls (SAT/UNSAT): 2717412(4123/2713289)
Jun 02, 2017 11:44:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1404/3728 took 373293 ms. Total solver calls (SAT/UNSAT): 2726406(4135/2722271)
Jun 02, 2017 11:44:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1408/3728 took 374308 ms. Total solver calls (SAT/UNSAT): 2733878(4147/2729731)
Jun 02, 2017 11:44:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1412/3728 took 375320 ms. Total solver calls (SAT/UNSAT): 2741350(4159/2737191)
Jun 02, 2017 11:44:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1416/3728 took 376331 ms. Total solver calls (SAT/UNSAT): 2748822(4171/2744651)
Jun 02, 2017 11:44:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1421/3728 took 377580 ms. Total solver calls (SAT/UNSAT): 2758162(4186/2753976)
Jun 02, 2017 11:44:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1425/3728 took 378792 ms. Total solver calls (SAT/UNSAT): 2767156(4198/2762958)
Jun 02, 2017 11:44:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1429/3728 took 379793 ms. Total solver calls (SAT/UNSAT): 2774628(4210/2770418)
Jun 02, 2017 11:44:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1433/3728 took 380805 ms. Total solver calls (SAT/UNSAT): 2782100(4222/2777878)
Jun 02, 2017 11:44:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1437/3728 took 381811 ms. Total solver calls (SAT/UNSAT): 2789572(4234/2785338)
Jun 02, 2017 11:44:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1441/3728 took 382822 ms. Total solver calls (SAT/UNSAT): 2797044(4246/2792798)
Jun 02, 2017 11:44:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1445/3728 took 384029 ms. Total solver calls (SAT/UNSAT): 2806038(4258/2801780)
Jun 02, 2017 11:44:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1449/3728 took 385037 ms. Total solver calls (SAT/UNSAT): 2813510(4270/2809240)
Jun 02, 2017 11:44:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1453/3728 took 386045 ms. Total solver calls (SAT/UNSAT): 2820982(4282/2816700)
Jun 02, 2017 11:44:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1457/3728 took 387056 ms. Total solver calls (SAT/UNSAT): 2828454(4294/2824160)
Jun 02, 2017 11:44:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1461/3728 took 388056 ms. Total solver calls (SAT/UNSAT): 2835926(4306/2831620)
Jun 02, 2017 11:44:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1465/3728 took 389268 ms. Total solver calls (SAT/UNSAT): 2844919(4318/2840601)
Jun 02, 2017 11:44:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1469/3728 took 390282 ms. Total solver calls (SAT/UNSAT): 2852392(4330/2848062)
Jun 02, 2017 11:44:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1473/3728 took 391298 ms. Total solver calls (SAT/UNSAT): 2859864(4342/2855522)
Jun 02, 2017 11:44:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1477/3728 took 392312 ms. Total solver calls (SAT/UNSAT): 2867336(4354/2862982)
Jun 02, 2017 11:44:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1481/3728 took 393325 ms. Total solver calls (SAT/UNSAT): 2874808(4366/2870442)
Jun 02, 2017 11:44:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1485/3728 took 394339 ms. Total solver calls (SAT/UNSAT): 2882280(4378/2877902)
Jun 02, 2017 11:44:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1489/3728 took 395547 ms. Total solver calls (SAT/UNSAT): 2891274(4390/2886884)
Jun 02, 2017 11:44:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1493/3728 took 396558 ms. Total solver calls (SAT/UNSAT): 2898746(4402/2894344)
Jun 02, 2017 11:44:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1497/3728 took 397565 ms. Total solver calls (SAT/UNSAT): 2906218(4414/2901804)
Jun 02, 2017 11:44:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1501/3728 took 398583 ms. Total solver calls (SAT/UNSAT): 2913690(4426/2909264)
Jun 02, 2017 11:44:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1505/3728 took 399600 ms. Total solver calls (SAT/UNSAT): 2921162(4438/2916724)
Jun 02, 2017 11:44:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1508/3728 took 400603 ms. Total solver calls (SAT/UNSAT): 2928288(4447/2923841)
Jun 02, 2017 11:44:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1513/3728 took 401847 ms. Total solver calls (SAT/UNSAT): 2937628(4462/2933166)
Jun 02, 2017 11:44:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1518/3728 took 403092 ms. Total solver calls (SAT/UNSAT): 2946968(4477/2942491)
Jun 02, 2017 11:44:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1523/3728 took 404337 ms. Total solver calls (SAT/UNSAT): 2956308(4492/2951816)
Jun 02, 2017 11:45:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1528/3728 took 405777 ms. Total solver calls (SAT/UNSAT): 2967169(4507/2962662)
Jun 02, 2017 11:45:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1533/3728 took 407020 ms. Total solver calls (SAT/UNSAT): 2976510(4522/2971988)
Jun 02, 2017 11:45:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1537/3728 took 408020 ms. Total solver calls (SAT/UNSAT): 2983982(4534/2979448)
Jun 02, 2017 11:45:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1542/3728 took 409263 ms. Total solver calls (SAT/UNSAT): 2993322(4549/2988773)
Jun 02, 2017 11:45:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1546/3728 took 410264 ms. Total solver calls (SAT/UNSAT): 3000794(4561/2996233)
Jun 02, 2017 11:45:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1550/3728 took 411463 ms. Total solver calls (SAT/UNSAT): 3009788(4573/3005215)
Jun 02, 2017 11:45:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1554/3728 took 412463 ms. Total solver calls (SAT/UNSAT): 3017260(4585/3012675)
Jun 02, 2017 11:45:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1559/3728 took 413707 ms. Total solver calls (SAT/UNSAT): 3026600(4600/3022000)
Jun 02, 2017 11:45:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1563/3728 took 414710 ms. Total solver calls (SAT/UNSAT): 3034072(4612/3029460)
Jun 02, 2017 11:45:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1567/3728 took 415721 ms. Total solver calls (SAT/UNSAT): 3041544(4624/3036920)
Jun 02, 2017 11:45:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1571/3728 took 416928 ms. Total solver calls (SAT/UNSAT): 3050538(4636/3045902)
Jun 02, 2017 11:45:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1575/3728 took 417932 ms. Total solver calls (SAT/UNSAT): 3058010(4648/3053362)
Jun 02, 2017 11:45:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1579/3728 took 418942 ms. Total solver calls (SAT/UNSAT): 3065482(4660/3060822)
Jun 02, 2017 11:45:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1584/3728 took 420185 ms. Total solver calls (SAT/UNSAT): 3074822(4675/3070147)
Jun 02, 2017 11:45:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1588/3728 took 421198 ms. Total solver calls (SAT/UNSAT): 3082294(4687/3077607)
Jun 02, 2017 11:45:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1592/3728 took 422407 ms. Total solver calls (SAT/UNSAT): 3091288(4699/3086589)
Jun 02, 2017 11:45:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1596/3728 took 423412 ms. Total solver calls (SAT/UNSAT): 3098760(4711/3094049)
Jun 02, 2017 11:45:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1600/3728 took 424442 ms. Total solver calls (SAT/UNSAT): 3106232(4723/3101509)
Jun 02, 2017 11:45:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1604/3728 took 425466 ms. Total solver calls (SAT/UNSAT): 3113704(4735/3108969)
Jun 02, 2017 11:45:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1608/3728 took 426491 ms. Total solver calls (SAT/UNSAT): 3121176(4747/3116429)
Jun 02, 2017 11:45:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1612/3728 took 427724 ms. Total solver calls (SAT/UNSAT): 3130169(4759/3125410)
Jun 02, 2017 11:45:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1616/3728 took 428761 ms. Total solver calls (SAT/UNSAT): 3137642(4771/3132871)
Jun 02, 2017 11:45:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1620/3728 took 429786 ms. Total solver calls (SAT/UNSAT): 3145114(4783/3140331)
Jun 02, 2017 11:45:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1624/3728 took 430808 ms. Total solver calls (SAT/UNSAT): 3152586(4795/3147791)
Jun 02, 2017 11:45:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1628/3728 took 431826 ms. Total solver calls (SAT/UNSAT): 3160058(4807/3155251)
Jun 02, 2017 11:45:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1632/3728 took 432845 ms. Total solver calls (SAT/UNSAT): 3167530(4819/3162711)
Jun 02, 2017 11:45:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1636/3728 took 434071 ms. Total solver calls (SAT/UNSAT): 3176524(4831/3171693)
Jun 02, 2017 11:45:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1640/3728 took 435093 ms. Total solver calls (SAT/UNSAT): 3183996(4843/3179153)
Jun 02, 2017 11:45:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1644/3728 took 436119 ms. Total solver calls (SAT/UNSAT): 3191468(4855/3186613)
Jun 02, 2017 11:45:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1648/3728 took 437143 ms. Total solver calls (SAT/UNSAT): 3198940(4867/3194073)
Jun 02, 2017 11:45:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1652/3728 took 438166 ms. Total solver calls (SAT/UNSAT): 3206412(4879/3201533)
Jun 02, 2017 11:45:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1656/3728 took 439393 ms. Total solver calls (SAT/UNSAT): 3215406(4891/3210515)
Jun 02, 2017 11:45:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1660/3728 took 440425 ms. Total solver calls (SAT/UNSAT): 3222878(4903/3217975)
Jun 02, 2017 11:45:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1664/3728 took 441450 ms. Total solver calls (SAT/UNSAT): 3230350(4915/3225435)
Jun 02, 2017 11:45:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1668/3728 took 442476 ms. Total solver calls (SAT/UNSAT): 3237822(4927/3232895)
Jun 02, 2017 11:45:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1672/3728 took 443507 ms. Total solver calls (SAT/UNSAT): 3245294(4939/3240355)
Jun 02, 2017 11:45:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1675/3728 took 444520 ms. Total solver calls (SAT/UNSAT): 3252419(4948/3247471)
Jun 02, 2017 11:45:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1679/3728 took 445525 ms. Total solver calls (SAT/UNSAT): 3259892(4960/3254932)
Jun 02, 2017 11:45:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1683/3728 took 446532 ms. Total solver calls (SAT/UNSAT): 3267364(4972/3262392)
Jun 02, 2017 11:45:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1687/3728 took 447535 ms. Total solver calls (SAT/UNSAT): 3274836(4984/3269852)
Jun 02, 2017 11:45:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1692/3728 took 448781 ms. Total solver calls (SAT/UNSAT): 3284176(4999/3279177)
Jun 02, 2017 11:45:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1696/3728 took 449969 ms. Total solver calls (SAT/UNSAT): 3293169(5011/3288158)
Jun 02, 2017 11:45:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1701/3728 took 451213 ms. Total solver calls (SAT/UNSAT): 3302510(5026/3297484)
Jun 02, 2017 11:45:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1705/3728 took 452220 ms. Total solver calls (SAT/UNSAT): 3309982(5038/3304944)
Jun 02, 2017 11:45:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1709/3728 took 453228 ms. Total solver calls (SAT/UNSAT): 3317454(5050/3312404)
Jun 02, 2017 11:45:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1714/3728 took 454491 ms. Total solver calls (SAT/UNSAT): 3326794(5065/3321729)
Jun 02, 2017 11:45:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1718/3728 took 455702 ms. Total solver calls (SAT/UNSAT): 3335788(5077/3330711)
Jun 02, 2017 11:45:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1722/3728 took 456710 ms. Total solver calls (SAT/UNSAT): 3343260(5089/3338171)
Jun 02, 2017 11:45:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1726/3728 took 457780 ms. Total solver calls (SAT/UNSAT): 3350732(5101/3345631)
Jun 02, 2017 11:45:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1730/3728 took 458813 ms. Total solver calls (SAT/UNSAT): 3358204(5113/3353091)
Jun 02, 2017 11:45:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1734/3728 took 459838 ms. Total solver calls (SAT/UNSAT): 3365676(5125/3360551)
Jun 02, 2017 11:45:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1738/3728 took 461074 ms. Total solver calls (SAT/UNSAT): 3374669(5137/3369532)
Jun 02, 2017 11:45:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1742/3728 took 462112 ms. Total solver calls (SAT/UNSAT): 3382142(5149/3376993)
Jun 02, 2017 11:45:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1746/3728 took 463159 ms. Total solver calls (SAT/UNSAT): 3389614(5161/3384453)
Jun 02, 2017 11:45:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1750/3728 took 464205 ms. Total solver calls (SAT/UNSAT): 3397086(5173/3391913)
Jun 02, 2017 11:46:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1754/3728 took 465243 ms. Total solver calls (SAT/UNSAT): 3404558(5185/3399373)
Jun 02, 2017 11:46:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1758/3728 took 466278 ms. Total solver calls (SAT/UNSAT): 3412030(5197/3406833)
Jun 02, 2017 11:46:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1762/3728 took 467515 ms. Total solver calls (SAT/UNSAT): 3421021(5209/3415812)
Jun 02, 2017 11:46:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1766/3728 took 468540 ms. Total solver calls (SAT/UNSAT): 3428489(5221/3423268)
Jun 02, 2017 11:46:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1770/3728 took 469569 ms. Total solver calls (SAT/UNSAT): 3435957(5233/3430724)
Jun 02, 2017 11:46:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1774/3728 took 470600 ms. Total solver calls (SAT/UNSAT): 3443425(5245/3438180)
Jun 02, 2017 11:46:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1778/3728 took 471641 ms. Total solver calls (SAT/UNSAT): 3450893(5257/3445636)
Jun 02, 2017 11:46:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1782/3728 took 472879 ms. Total solver calls (SAT/UNSAT): 3459885(5269/3454616)
Jun 02, 2017 11:46:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1786/3728 took 473912 ms. Total solver calls (SAT/UNSAT): 3467357(5281/3462076)
Jun 02, 2017 11:46:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1790/3728 took 474946 ms. Total solver calls (SAT/UNSAT): 3474829(5293/3469536)
Jun 02, 2017 11:46:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1794/3728 took 475975 ms. Total solver calls (SAT/UNSAT): 3482301(5305/3476996)
Jun 02, 2017 11:46:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1798/3728 took 477005 ms. Total solver calls (SAT/UNSAT): 3489773(5317/3484456)
Jun 02, 2017 11:46:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1802/3728 took 478246 ms. Total solver calls (SAT/UNSAT): 3498767(5329/3493438)
Jun 02, 2017 11:46:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1806/3728 took 479279 ms. Total solver calls (SAT/UNSAT): 3506239(5341/3500898)
Jun 02, 2017 11:46:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1810/3728 took 480306 ms. Total solver calls (SAT/UNSAT): 3513711(5353/3508358)
Jun 02, 2017 11:46:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1814/3728 took 481340 ms. Total solver calls (SAT/UNSAT): 3521183(5365/3515818)
Jun 02, 2017 11:46:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1818/3728 took 482373 ms. Total solver calls (SAT/UNSAT): 3528655(5377/3523278)
Jun 02, 2017 11:46:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1822/3728 took 483605 ms. Total solver calls (SAT/UNSAT): 3537648(5389/3532259)
Jun 02, 2017 11:46:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1826/3728 took 484640 ms. Total solver calls (SAT/UNSAT): 3545121(5401/3539720)
Jun 02, 2017 11:46:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1830/3728 took 485669 ms. Total solver calls (SAT/UNSAT): 3552593(5413/3547180)
Jun 02, 2017 11:46:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1834/3728 took 486708 ms. Total solver calls (SAT/UNSAT): 3560065(5425/3554640)
Jun 02, 2017 11:46:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1838/3728 took 487730 ms. Total solver calls (SAT/UNSAT): 3567537(5437/3562100)
Jun 02, 2017 11:46:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1842/3728 took 488761 ms. Total solver calls (SAT/UNSAT): 3575009(5449/3569560)
Jun 02, 2017 11:46:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1846/3728 took 490000 ms. Total solver calls (SAT/UNSAT): 3584003(5461/3578542)
Jun 02, 2017 11:46:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1850/3728 took 491033 ms. Total solver calls (SAT/UNSAT): 3591475(5473/3586002)
Jun 02, 2017 11:46:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1854/3728 took 492066 ms. Total solver calls (SAT/UNSAT): 3598947(5485/3593462)
Jun 02, 2017 11:46:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1858/3728 took 493095 ms. Total solver calls (SAT/UNSAT): 3606419(5497/3600922)
Jun 02, 2017 11:46:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1862/3728 took 494125 ms. Total solver calls (SAT/UNSAT): 3613891(5509/3608382)
Jun 02, 2017 11:46:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1866/3728 took 495358 ms. Total solver calls (SAT/UNSAT): 3622885(5521/3617364)
Jun 02, 2017 11:46:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1870/3728 took 496386 ms. Total solver calls (SAT/UNSAT): 3630357(5533/3624824)
Jun 02, 2017 11:46:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1874/3728 took 497415 ms. Total solver calls (SAT/UNSAT): 3637829(5545/3632284)
Jun 02, 2017 11:46:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1878/3728 took 498449 ms. Total solver calls (SAT/UNSAT): 3645301(5557/3639744)
Jun 02, 2017 11:46:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1882/3728 took 499475 ms. Total solver calls (SAT/UNSAT): 3652773(5569/3647204)
Jun 02, 2017 11:46:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1886/3728 took 500714 ms. Total solver calls (SAT/UNSAT): 3661767(5581/3656186)
Jun 02, 2017 11:46:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1890/3728 took 501744 ms. Total solver calls (SAT/UNSAT): 3669239(5593/3663646)
Jun 02, 2017 11:46:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1894/3728 took 502779 ms. Total solver calls (SAT/UNSAT): 3676711(5605/3671106)
Jun 02, 2017 11:46:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1898/3728 took 503799 ms. Total solver calls (SAT/UNSAT): 3684183(5617/3678566)
Jun 02, 2017 11:46:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1902/3728 took 504829 ms. Total solver calls (SAT/UNSAT): 3691655(5629/3686026)
Jun 02, 2017 11:46:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1906/3728 took 506074 ms. Total solver calls (SAT/UNSAT): 3700648(5641/3695007)
Jun 02, 2017 11:46:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1910/3728 took 507104 ms. Total solver calls (SAT/UNSAT): 3708121(5653/3702468)
Jun 02, 2017 11:46:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1914/3728 took 508127 ms. Total solver calls (SAT/UNSAT): 3715593(5665/3709928)
Jun 02, 2017 11:46:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1918/3728 took 509156 ms. Total solver calls (SAT/UNSAT): 3723065(5677/3717388)
Jun 02, 2017 11:46:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1922/3728 took 510185 ms. Total solver calls (SAT/UNSAT): 3730537(5689/3724848)
Jun 02, 2017 11:46:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1926/3728 took 511226 ms. Total solver calls (SAT/UNSAT): 3738009(5701/3732308)
Jun 02, 2017 11:46:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1930/3728 took 512458 ms. Total solver calls (SAT/UNSAT): 3747003(5713/3741290)
Jun 02, 2017 11:46:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1934/3728 took 513489 ms. Total solver calls (SAT/UNSAT): 3754475(5725/3748750)
Jun 02, 2017 11:46:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1938/3728 took 514519 ms. Total solver calls (SAT/UNSAT): 3761947(5737/3756210)
Jun 02, 2017 11:46:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1942/3728 took 515547 ms. Total solver calls (SAT/UNSAT): 3769419(5749/3763670)
Jun 02, 2017 11:46:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1946/3728 took 516574 ms. Total solver calls (SAT/UNSAT): 3776891(5761/3771130)
Jun 02, 2017 11:46:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1950/3728 took 517798 ms. Total solver calls (SAT/UNSAT): 3785885(5773/3780112)
Jun 02, 2017 11:46:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1954/3728 took 518823 ms. Total solver calls (SAT/UNSAT): 3793357(5785/3787572)
Jun 02, 2017 11:46:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1958/3728 took 519859 ms. Total solver calls (SAT/UNSAT): 3800829(5797/3795032)
Jun 02, 2017 11:46:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1962/3728 took 520888 ms. Total solver calls (SAT/UNSAT): 3808301(5809/3802492)
Jun 02, 2017 11:46:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1966/3728 took 521919 ms. Total solver calls (SAT/UNSAT): 3815773(5821/3809952)
Jun 02, 2017 11:46:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1970/3728 took 523155 ms. Total solver calls (SAT/UNSAT): 3824767(5833/3818934)
Jun 02, 2017 11:46:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1974/3728 took 524186 ms. Total solver calls (SAT/UNSAT): 3832239(5845/3826394)
Jun 02, 2017 11:47:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1978/3728 took 525215 ms. Total solver calls (SAT/UNSAT): 3839711(5857/3833854)
Jun 02, 2017 11:47:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1982/3728 took 526247 ms. Total solver calls (SAT/UNSAT): 3847183(5869/3841314)
Jun 02, 2017 11:47:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1986/3728 took 527278 ms. Total solver calls (SAT/UNSAT): 3854655(5881/3848774)
Jun 02, 2017 11:47:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1990/3728 took 528509 ms. Total solver calls (SAT/UNSAT): 3863648(5893/3857755)
Jun 02, 2017 11:47:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1994/3728 took 529541 ms. Total solver calls (SAT/UNSAT): 3871121(5905/3865216)
Jun 02, 2017 11:47:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1998/3728 took 530572 ms. Total solver calls (SAT/UNSAT): 3878593(5917/3872676)
Jun 02, 2017 11:47:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2002/3728 took 531601 ms. Total solver calls (SAT/UNSAT): 3886065(5929/3880136)
Jun 02, 2017 11:47:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2006/3728 took 532630 ms. Total solver calls (SAT/UNSAT): 3893537(5941/3887596)
Jun 02, 2017 11:47:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2010/3728 took 533661 ms. Total solver calls (SAT/UNSAT): 3901009(5953/3895056)
Jun 02, 2017 11:47:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2014/3728 took 534901 ms. Total solver calls (SAT/UNSAT): 3910003(5965/3904038)
Jun 02, 2017 11:47:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2018/3728 took 535926 ms. Total solver calls (SAT/UNSAT): 3917475(5977/3911498)
Jun 02, 2017 11:47:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2022/3728 took 536956 ms. Total solver calls (SAT/UNSAT): 3924947(5989/3918958)
Jun 02, 2017 11:47:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2026/3728 took 537991 ms. Total solver calls (SAT/UNSAT): 3932419(6001/3926418)
Jun 02, 2017 11:47:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2030/3728 took 539056 ms. Total solver calls (SAT/UNSAT): 3939891(6013/3933878)
Jun 02, 2017 11:47:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2034/3728 took 540264 ms. Total solver calls (SAT/UNSAT): 3948885(6025/3942860)
Jun 02, 2017 11:47:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2038/3728 took 541269 ms. Total solver calls (SAT/UNSAT): 3956357(6037/3950320)
Jun 02, 2017 11:47:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2042/3728 took 542293 ms. Total solver calls (SAT/UNSAT): 3963829(6049/3957780)
Jun 02, 2017 11:47:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2046/3728 took 543309 ms. Total solver calls (SAT/UNSAT): 3971301(6061/3965240)
Jun 02, 2017 11:47:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2050/3728 took 544329 ms. Total solver calls (SAT/UNSAT): 3978773(6073/3972700)
Jun 02, 2017 11:47:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2053/3728 took 545338 ms. Total solver calls (SAT/UNSAT): 3985898(6082/3979816)
Jun 02, 2017 11:47:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2057/3728 took 546367 ms. Total solver calls (SAT/UNSAT): 3993371(6094/3987277)
Jun 02, 2017 11:47:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2061/3728 took 547436 ms. Total solver calls (SAT/UNSAT): 4000843(6106/3994737)
Jun 02, 2017 11:47:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2065/3728 took 548456 ms. Total solver calls (SAT/UNSAT): 4008315(6118/4002197)
Jun 02, 2017 11:47:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2069/3728 took 549483 ms. Total solver calls (SAT/UNSAT): 4015787(6130/4009657)
Jun 02, 2017 11:47:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2073/3728 took 550513 ms. Total solver calls (SAT/UNSAT): 4023259(6142/4017117)
Jun 02, 2017 11:47:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2077/3728 took 551751 ms. Total solver calls (SAT/UNSAT): 4032253(6154/4026099)
Jun 02, 2017 11:47:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2081/3728 took 552784 ms. Total solver calls (SAT/UNSAT): 4039725(6166/4033559)
Jun 02, 2017 11:47:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2085/3728 took 553816 ms. Total solver calls (SAT/UNSAT): 4047197(6178/4041019)
Jun 02, 2017 11:47:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2089/3728 took 554843 ms. Total solver calls (SAT/UNSAT): 4054669(6190/4048479)
Jun 02, 2017 11:47:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2093/3728 took 555863 ms. Total solver calls (SAT/UNSAT): 4062141(6202/4055939)
Jun 02, 2017 11:47:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2097/3728 took 557141 ms. Total solver calls (SAT/UNSAT): 4071135(6214/4064921)
Jun 02, 2017 11:47:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2101/3728 took 558175 ms. Total solver calls (SAT/UNSAT): 4078607(6226/4072381)
Jun 02, 2017 11:47:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2105/3728 took 559204 ms. Total solver calls (SAT/UNSAT): 4086079(6238/4079841)
Jun 02, 2017 11:47:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2109/3728 took 560218 ms. Total solver calls (SAT/UNSAT): 4093551(6250/4087301)
Jun 02, 2017 11:47:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2113/3728 took 561234 ms. Total solver calls (SAT/UNSAT): 4101023(6262/4094761)
Jun 02, 2017 11:47:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2117/3728 took 562450 ms. Total solver calls (SAT/UNSAT): 4110017(6274/4103743)
Jun 02, 2017 11:47:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2121/3728 took 563465 ms. Total solver calls (SAT/UNSAT): 4117489(6286/4111203)
Jun 02, 2017 11:47:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2125/3728 took 564483 ms. Total solver calls (SAT/UNSAT): 4124961(6298/4118663)
Jun 02, 2017 11:47:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2129/3728 took 565499 ms. Total solver calls (SAT/UNSAT): 4132433(6310/4126123)
Jun 02, 2017 11:47:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2133/3728 took 566518 ms. Total solver calls (SAT/UNSAT): 4139905(6322/4133583)
Jun 02, 2017 11:47:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2137/3728 took 567746 ms. Total solver calls (SAT/UNSAT): 4148898(6334/4142564)
Jun 02, 2017 11:47:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2141/3728 took 568777 ms. Total solver calls (SAT/UNSAT): 4156371(6346/4150025)
Jun 02, 2017 11:47:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2145/3728 took 569807 ms. Total solver calls (SAT/UNSAT): 4163843(6358/4157485)
Jun 02, 2017 11:47:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2149/3728 took 570834 ms. Total solver calls (SAT/UNSAT): 4171315(6370/4164945)
Jun 02, 2017 11:47:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2153/3728 took 571866 ms. Total solver calls (SAT/UNSAT): 4178787(6382/4172405)
Jun 02, 2017 11:47:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2157/3728 took 572949 ms. Total solver calls (SAT/UNSAT): 4186259(6394/4179865)
Jun 02, 2017 11:47:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2161/3728 took 574196 ms. Total solver calls (SAT/UNSAT): 4195253(6406/4188847)
Jun 02, 2017 11:47:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2165/3728 took 575261 ms. Total solver calls (SAT/UNSAT): 4202725(6418/4196307)
Jun 02, 2017 11:47:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2169/3728 took 576290 ms. Total solver calls (SAT/UNSAT): 4210197(6430/4203767)
Jun 02, 2017 11:47:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2173/3728 took 577319 ms. Total solver calls (SAT/UNSAT): 4217669(6442/4211227)
Jun 02, 2017 11:47:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2177/3728 took 578351 ms. Total solver calls (SAT/UNSAT): 4225141(6454/4218687)
Jun 02, 2017 11:47:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2181/3728 took 579585 ms. Total solver calls (SAT/UNSAT): 4234135(6466/4227669)
Jun 02, 2017 11:47:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2185/3728 took 580616 ms. Total solver calls (SAT/UNSAT): 4241607(6478/4235129)
Jun 02, 2017 11:47:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2189/3728 took 581650 ms. Total solver calls (SAT/UNSAT): 4249079(6490/4242589)
Jun 02, 2017 11:47:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2193/3728 took 582690 ms. Total solver calls (SAT/UNSAT): 4256551(6502/4250049)
Jun 02, 2017 11:47:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2197/3728 took 583721 ms. Total solver calls (SAT/UNSAT): 4264023(6514/4257509)
Jun 02, 2017 11:48:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2201/3728 took 584957 ms. Total solver calls (SAT/UNSAT): 4273017(6526/4266491)
Jun 02, 2017 11:48:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2205/3728 took 585994 ms. Total solver calls (SAT/UNSAT): 4280489(6538/4273951)
Jun 02, 2017 11:48:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2209/3728 took 587036 ms. Total solver calls (SAT/UNSAT): 4287961(6550/4281411)
Jun 02, 2017 11:48:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2213/3728 took 588071 ms. Total solver calls (SAT/UNSAT): 4295433(6562/4288871)
Jun 02, 2017 11:48:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2217/3728 took 589105 ms. Total solver calls (SAT/UNSAT): 4302905(6574/4296331)
Jun 02, 2017 11:48:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2221/3728 took 590418 ms. Total solver calls (SAT/UNSAT): 4311898(6586/4305312)
Jun 02, 2017 11:48:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2225/3728 took 591418 ms. Total solver calls (SAT/UNSAT): 4319371(6598/4312773)
Jun 02, 2017 11:48:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2229/3728 took 592428 ms. Total solver calls (SAT/UNSAT): 4326843(6610/4320233)
Jun 02, 2017 11:48:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2233/3728 took 593440 ms. Total solver calls (SAT/UNSAT): 4334315(6622/4327693)
Jun 02, 2017 11:48:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2237/3728 took 594442 ms. Total solver calls (SAT/UNSAT): 4341787(6634/4335153)
Jun 02, 2017 11:48:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2241/3728 took 595555 ms. Total solver calls (SAT/UNSAT): 4349259(6646/4342613)
Jun 02, 2017 11:48:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2245/3728 took 596848 ms. Total solver calls (SAT/UNSAT): 4358253(6658/4351595)
Jun 02, 2017 11:48:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2249/3728 took 597986 ms. Total solver calls (SAT/UNSAT): 4365725(6670/4359055)
Jun 02, 2017 11:48:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2253/3728 took 599021 ms. Total solver calls (SAT/UNSAT): 4373197(6682/4366515)
Jun 02, 2017 11:48:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2257/3728 took 600037 ms. Total solver calls (SAT/UNSAT): 4380669(6694/4373975)
Jun 02, 2017 11:48:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2261/3728 took 601091 ms. Total solver calls (SAT/UNSAT): 4388141(6706/4381435)
Jun 02, 2017 11:48:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2265/3728 took 602294 ms. Total solver calls (SAT/UNSAT): 4397135(6718/4390417)
Jun 02, 2017 11:48:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2270/3728 took 603541 ms. Total solver calls (SAT/UNSAT): 4406475(6733/4399742)
Jun 02, 2017 11:48:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2275/3728 took 604788 ms. Total solver calls (SAT/UNSAT): 4415815(6748/4409067)
Jun 02, 2017 11:48:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2280/3728 took 606043 ms. Total solver calls (SAT/UNSAT): 4425155(6763/4418392)
Jun 02, 2017 11:48:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2284/3728 took 607242 ms. Total solver calls (SAT/UNSAT): 4434148(6775/4427373)
Jun 02, 2017 11:48:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2289/3728 took 608484 ms. Total solver calls (SAT/UNSAT): 4443489(6790/4436699)
Jun 02, 2017 11:48:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2294/3728 took 609728 ms. Total solver calls (SAT/UNSAT): 4452829(6805/4446024)
Jun 02, 2017 11:48:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2299/3728 took 610972 ms. Total solver calls (SAT/UNSAT): 4462169(6820/4455349)
Jun 02, 2017 11:48:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2304/3728 took 612223 ms. Total solver calls (SAT/UNSAT): 4471509(6835/4464674)
Jun 02, 2017 11:48:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2308/3728 took 613421 ms. Total solver calls (SAT/UNSAT): 4480503(6847/4473656)
Jun 02, 2017 11:48:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2312/3728 took 614465 ms. Total solver calls (SAT/UNSAT): 4487975(6859/4481116)
Jun 02, 2017 11:48:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2316/3728 took 615474 ms. Total solver calls (SAT/UNSAT): 4495447(6871/4488576)
Jun 02, 2017 11:48:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2320/3728 took 616488 ms. Total solver calls (SAT/UNSAT): 4502919(6883/4496036)
Jun 02, 2017 11:48:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2324/3728 took 617494 ms. Total solver calls (SAT/UNSAT): 4510391(6895/4503496)
Jun 02, 2017 11:48:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2328/3728 took 618691 ms. Total solver calls (SAT/UNSAT): 4519385(6907/4512478)
Jun 02, 2017 11:48:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2332/3728 took 619697 ms. Total solver calls (SAT/UNSAT): 4526857(6919/4519938)
Jun 02, 2017 11:48:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2336/3728 took 620707 ms. Total solver calls (SAT/UNSAT): 4534329(6931/4527398)
Jun 02, 2017 11:48:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2340/3728 took 621718 ms. Total solver calls (SAT/UNSAT): 4541801(6943/4534858)
Jun 02, 2017 11:48:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2344/3728 took 622727 ms. Total solver calls (SAT/UNSAT): 4549273(6955/4542318)
Jun 02, 2017 11:48:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2348/3728 took 623932 ms. Total solver calls (SAT/UNSAT): 4558267(6967/4551300)
Jun 02, 2017 11:48:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2352/3728 took 624934 ms. Total solver calls (SAT/UNSAT): 4565739(6979/4558760)
Jun 02, 2017 11:48:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2357/3728 took 626181 ms. Total solver calls (SAT/UNSAT): 4575079(6994/4568085)
Jun 02, 2017 11:48:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2361/3728 took 627225 ms. Total solver calls (SAT/UNSAT): 4582551(7006/4575545)
Jun 02, 2017 11:48:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2366/3728 took 628478 ms. Total solver calls (SAT/UNSAT): 4591891(7021/4584870)
Jun 02, 2017 11:48:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2370/3728 took 629674 ms. Total solver calls (SAT/UNSAT): 4600885(7033/4593852)
Jun 02, 2017 11:48:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2375/3728 took 630925 ms. Total solver calls (SAT/UNSAT): 4610225(7048/4603177)
Jun 02, 2017 11:48:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2379/3728 took 631961 ms. Total solver calls (SAT/UNSAT): 4617697(7060/4610637)
Jun 02, 2017 11:48:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2383/3728 took 632963 ms. Total solver calls (SAT/UNSAT): 4625169(7072/4618097)
Jun 02, 2017 11:48:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2387/3728 took 633969 ms. Total solver calls (SAT/UNSAT): 4632641(7084/4625557)
Jun 02, 2017 11:48:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2391/3728 took 635171 ms. Total solver calls (SAT/UNSAT): 4641635(7096/4634539)
Jun 02, 2017 11:48:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2395/3728 took 636177 ms. Total solver calls (SAT/UNSAT): 4649107(7108/4641999)
Jun 02, 2017 11:48:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2399/3728 took 637182 ms. Total solver calls (SAT/UNSAT): 4656579(7120/4649459)
Jun 02, 2017 11:48:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2403/3728 took 638190 ms. Total solver calls (SAT/UNSAT): 4664051(7132/4656919)
Jun 02, 2017 11:48:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2407/3728 took 639194 ms. Total solver calls (SAT/UNSAT): 4671523(7144/4664379)
Jun 02, 2017 11:48:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2411/3728 took 640395 ms. Total solver calls (SAT/UNSAT): 4680517(7156/4673361)
Jun 02, 2017 11:48:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2415/3728 took 641407 ms. Total solver calls (SAT/UNSAT): 4687989(7168/4680821)
Jun 02, 2017 11:48:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2419/3728 took 642467 ms. Total solver calls (SAT/UNSAT): 4695461(7180/4688281)
Jun 02, 2017 11:48:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2423/3728 took 643494 ms. Total solver calls (SAT/UNSAT): 4702933(7192/4695741)
Jun 02, 2017 11:48:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2427/3728 took 644498 ms. Total solver calls (SAT/UNSAT): 4710405(7204/4703201)
Jun 02, 2017 11:49:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2431/3728 took 645714 ms. Total solver calls (SAT/UNSAT): 4719398(7216/4712182)
Jun 02, 2017 11:49:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2435/3728 took 646764 ms. Total solver calls (SAT/UNSAT): 4726871(7228/4719643)
Jun 02, 2017 11:49:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2439/3728 took 647767 ms. Total solver calls (SAT/UNSAT): 4734343(7240/4727103)
Jun 02, 2017 11:49:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2444/3728 took 649014 ms. Total solver calls (SAT/UNSAT): 4743683(7255/4736428)
Jun 02, 2017 11:49:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2449/3728 took 650265 ms. Total solver calls (SAT/UNSAT): 4753023(7270/4745753)
Jun 02, 2017 11:49:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2453/3728 took 651469 ms. Total solver calls (SAT/UNSAT): 4762017(7282/4754735)
Jun 02, 2017 11:49:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2457/3728 took 652471 ms. Total solver calls (SAT/UNSAT): 4769489(7294/4762195)
Jun 02, 2017 11:49:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2461/3728 took 653516 ms. Total solver calls (SAT/UNSAT): 4776961(7306/4769655)
Jun 02, 2017 11:49:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2466/3728 took 654759 ms. Total solver calls (SAT/UNSAT): 4786301(7321/4778980)
Jun 02, 2017 11:49:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2471/3728 took 656008 ms. Total solver calls (SAT/UNSAT): 4795641(7336/4788305)
Jun 02, 2017 11:49:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2475/3728 took 657203 ms. Total solver calls (SAT/UNSAT): 4804635(7348/4797287)
Jun 02, 2017 11:49:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2479/3728 took 658204 ms. Total solver calls (SAT/UNSAT): 4812107(7360/4804747)
Jun 02, 2017 11:49:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2483/3728 took 659210 ms. Total solver calls (SAT/UNSAT): 4819579(7372/4812207)
Jun 02, 2017 11:49:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2487/3728 took 660241 ms. Total solver calls (SAT/UNSAT): 4827051(7384/4819667)
Jun 02, 2017 11:49:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2491/3728 took 661270 ms. Total solver calls (SAT/UNSAT): 4834523(7396/4827127)
Jun 02, 2017 11:49:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2495/3728 took 662476 ms. Total solver calls (SAT/UNSAT): 4843517(7408/4836109)
Jun 02, 2017 11:49:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2500/3728 took 663723 ms. Total solver calls (SAT/UNSAT): 4852857(7423/4845434)
Jun 02, 2017 11:49:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2504/3728 took 664735 ms. Total solver calls (SAT/UNSAT): 4860329(7435/4852894)
Jun 02, 2017 11:49:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2508/3728 took 665749 ms. Total solver calls (SAT/UNSAT): 4867801(7447/4860354)
Jun 02, 2017 11:49:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2512/3728 took 666757 ms. Total solver calls (SAT/UNSAT): 4875273(7459/4867814)
Jun 02, 2017 11:49:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2516/3728 took 667958 ms. Total solver calls (SAT/UNSAT): 4884267(7471/4876796)
Jun 02, 2017 11:49:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2520/3728 took 668967 ms. Total solver calls (SAT/UNSAT): 4891739(7483/4884256)
Jun 02, 2017 11:49:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2524/3728 took 669980 ms. Total solver calls (SAT/UNSAT): 4899211(7495/4891716)
Jun 02, 2017 11:49:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2528/3728 took 670993 ms. Total solver calls (SAT/UNSAT): 4906683(7507/4899176)
Jun 02, 2017 11:49:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2532/3728 took 672003 ms. Total solver calls (SAT/UNSAT): 4914155(7519/4906636)
Jun 02, 2017 11:49:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2536/3728 took 673257 ms. Total solver calls (SAT/UNSAT): 4923148(7531/4915617)
Jun 02, 2017 11:49:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2540/3728 took 674335 ms. Total solver calls (SAT/UNSAT): 4930621(7543/4923078)
Jun 02, 2017 11:49:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2544/3728 took 675338 ms. Total solver calls (SAT/UNSAT): 4938093(7555/4930538)
Jun 02, 2017 11:49:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2548/3728 took 676341 ms. Total solver calls (SAT/UNSAT): 4945565(7567/4937998)
Jun 02, 2017 11:49:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2552/3728 took 677346 ms. Total solver calls (SAT/UNSAT): 4953037(7579/4945458)
Jun 02, 2017 11:49:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2556/3728 took 678350 ms. Total solver calls (SAT/UNSAT): 4960509(7591/4952918)
Jun 02, 2017 11:49:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2560/3728 took 679550 ms. Total solver calls (SAT/UNSAT): 4969503(7603/4961900)
Jun 02, 2017 11:49:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2564/3728 took 680556 ms. Total solver calls (SAT/UNSAT): 4976975(7615/4969360)
Jun 02, 2017 11:49:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2568/3728 took 681563 ms. Total solver calls (SAT/UNSAT): 4984447(7627/4976820)
Jun 02, 2017 11:49:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2572/3728 took 682570 ms. Total solver calls (SAT/UNSAT): 4991919(7639/4984280)
Jun 02, 2017 11:49:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2576/3728 took 683667 ms. Total solver calls (SAT/UNSAT): 4999391(7651/4991740)
Jun 02, 2017 11:49:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2580/3728 took 684891 ms. Total solver calls (SAT/UNSAT): 5008385(7663/5000722)
Jun 02, 2017 11:49:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2584/3728 took 685892 ms. Total solver calls (SAT/UNSAT): 5015857(7675/5008182)
Jun 02, 2017 11:49:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2588/3728 took 686902 ms. Total solver calls (SAT/UNSAT): 5023329(7687/5015642)
Jun 02, 2017 11:49:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2592/3728 took 687913 ms. Total solver calls (SAT/UNSAT): 5030801(7699/5023102)
Jun 02, 2017 11:49:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2596/3728 took 688921 ms. Total solver calls (SAT/UNSAT): 5038273(7711/5030562)
Jun 02, 2017 11:49:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2600/3728 took 690126 ms. Total solver calls (SAT/UNSAT): 5047267(7723/5039544)
Jun 02, 2017 11:49:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2604/3728 took 691257 ms. Total solver calls (SAT/UNSAT): 5054739(7735/5047004)
Jun 02, 2017 11:49:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2608/3728 took 692326 ms. Total solver calls (SAT/UNSAT): 5062211(7747/5054464)
Jun 02, 2017 11:49:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2612/3728 took 693415 ms. Total solver calls (SAT/UNSAT): 5069683(7759/5061924)
Jun 02, 2017 11:49:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2616/3728 took 694422 ms. Total solver calls (SAT/UNSAT): 5077155(7771/5069384)
Jun 02, 2017 11:49:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2620/3728 took 695628 ms. Total solver calls (SAT/UNSAT): 5086148(7783/5078365)
Jun 02, 2017 11:49:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2624/3728 took 696639 ms. Total solver calls (SAT/UNSAT): 5093621(7795/5085826)
Jun 02, 2017 11:49:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2628/3728 took 697645 ms. Total solver calls (SAT/UNSAT): 5101093(7807/5093286)
Jun 02, 2017 11:49:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2632/3728 took 698656 ms. Total solver calls (SAT/UNSAT): 5108565(7819/5100746)
Jun 02, 2017 11:49:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2636/3728 took 699669 ms. Total solver calls (SAT/UNSAT): 5116037(7831/5108206)
Jun 02, 2017 11:49:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2640/3728 took 700676 ms. Total solver calls (SAT/UNSAT): 5123509(7843/5115666)
Jun 02, 2017 11:49:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2644/3728 took 701882 ms. Total solver calls (SAT/UNSAT): 5132503(7855/5124648)
Jun 02, 2017 11:49:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2648/3728 took 702893 ms. Total solver calls (SAT/UNSAT): 5139975(7867/5132108)
Jun 02, 2017 11:49:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2652/3728 took 703899 ms. Total solver calls (SAT/UNSAT): 5147447(7879/5139568)
Jun 02, 2017 11:50:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2656/3728 took 704905 ms. Total solver calls (SAT/UNSAT): 5154919(7891/5147028)
Jun 02, 2017 11:50:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2660/3728 took 705917 ms. Total solver calls (SAT/UNSAT): 5162391(7903/5154488)
Jun 02, 2017 11:50:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2664/3728 took 707117 ms. Total solver calls (SAT/UNSAT): 5171385(7915/5163470)
Jun 02, 2017 11:50:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2668/3728 took 708127 ms. Total solver calls (SAT/UNSAT): 5178857(7927/5170930)
Jun 02, 2017 11:50:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2672/3728 took 709136 ms. Total solver calls (SAT/UNSAT): 5186329(7939/5178390)
Jun 02, 2017 11:50:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2676/3728 took 710143 ms. Total solver calls (SAT/UNSAT): 5193801(7951/5185850)
Jun 02, 2017 11:50:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2681/3728 took 711389 ms. Total solver calls (SAT/UNSAT): 5203141(7966/5195175)
Jun 02, 2017 11:50:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2685/3728 took 712596 ms. Total solver calls (SAT/UNSAT): 5212135(7978/5204157)
Jun 02, 2017 11:50:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2689/3728 took 713603 ms. Total solver calls (SAT/UNSAT): 5219607(7990/5211617)
Jun 02, 2017 11:50:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2693/3728 took 714623 ms. Total solver calls (SAT/UNSAT): 5227079(8002/5219077)
Jun 02, 2017 11:50:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2698/3728 took 715864 ms. Total solver calls (SAT/UNSAT): 5236419(8017/5228402)
Jun 02, 2017 11:50:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2702/3728 took 716874 ms. Total solver calls (SAT/UNSAT): 5243891(8029/5235862)
Jun 02, 2017 11:50:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2706/3728 took 718088 ms. Total solver calls (SAT/UNSAT): 5252885(8041/5244844)
Jun 02, 2017 11:50:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2711/3728 took 719341 ms. Total solver calls (SAT/UNSAT): 5262225(8056/5254169)
Jun 02, 2017 11:50:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2715/3728 took 720344 ms. Total solver calls (SAT/UNSAT): 5269697(8068/5261629)
Jun 02, 2017 11:50:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2719/3728 took 721360 ms. Total solver calls (SAT/UNSAT): 5277169(8080/5269089)
Jun 02, 2017 11:50:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2723/3728 took 722364 ms. Total solver calls (SAT/UNSAT): 5284641(8092/5276549)
Jun 02, 2017 11:50:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2727/3728 took 723567 ms. Total solver calls (SAT/UNSAT): 5293635(8104/5285531)
Jun 02, 2017 11:50:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2731/3728 took 724599 ms. Total solver calls (SAT/UNSAT): 5301107(8116/5292991)
Jun 02, 2017 11:50:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2735/3728 took 725613 ms. Total solver calls (SAT/UNSAT): 5308579(8128/5300451)
Jun 02, 2017 11:50:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2739/3728 took 726636 ms. Total solver calls (SAT/UNSAT): 5316051(8140/5307911)
Jun 02, 2017 11:50:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2743/3728 took 727664 ms. Total solver calls (SAT/UNSAT): 5323523(8152/5315371)
Jun 02, 2017 11:50:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2747/3728 took 728885 ms. Total solver calls (SAT/UNSAT): 5332517(8164/5324353)
Jun 02, 2017 11:50:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2751/3728 took 729911 ms. Total solver calls (SAT/UNSAT): 5339989(8176/5331813)
Jun 02, 2017 11:50:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2755/3728 took 730936 ms. Total solver calls (SAT/UNSAT): 5347461(8188/5339273)
Jun 02, 2017 11:50:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2759/3728 took 731959 ms. Total solver calls (SAT/UNSAT): 5354933(8200/5346733)
Jun 02, 2017 11:50:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2763/3728 took 732980 ms. Total solver calls (SAT/UNSAT): 5362405(8212/5354193)
Jun 02, 2017 11:50:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2767/3728 took 734202 ms. Total solver calls (SAT/UNSAT): 5371398(8224/5363174)
Jun 02, 2017 11:50:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2771/3728 took 735224 ms. Total solver calls (SAT/UNSAT): 5378871(8236/5370635)
Jun 02, 2017 11:50:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2775/3728 took 736240 ms. Total solver calls (SAT/UNSAT): 5386343(8248/5378095)
Jun 02, 2017 11:50:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2779/3728 took 737263 ms. Total solver calls (SAT/UNSAT): 5393815(8260/5385555)
Jun 02, 2017 11:50:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2783/3728 took 738289 ms. Total solver calls (SAT/UNSAT): 5401287(8272/5393015)
Jun 02, 2017 11:50:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2787/3728 took 739306 ms. Total solver calls (SAT/UNSAT): 5408759(8284/5400475)
Jun 02, 2017 11:50:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2791/3728 took 740534 ms. Total solver calls (SAT/UNSAT): 5417753(8296/5409457)
Jun 02, 2017 11:50:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2795/3728 took 741549 ms. Total solver calls (SAT/UNSAT): 5425225(8308/5416917)
Jun 02, 2017 11:50:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2799/3728 took 742571 ms. Total solver calls (SAT/UNSAT): 5432697(8320/5424377)
Jun 02, 2017 11:50:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2803/3728 took 743584 ms. Total solver calls (SAT/UNSAT): 5440169(8332/5431837)
Jun 02, 2017 11:50:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2807/3728 took 744605 ms. Total solver calls (SAT/UNSAT): 5447641(8344/5439297)
Jun 02, 2017 11:50:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2811/3728 took 745833 ms. Total solver calls (SAT/UNSAT): 5456635(8356/5448279)
Jun 02, 2017 11:50:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2815/3728 took 746860 ms. Total solver calls (SAT/UNSAT): 5464107(8368/5455739)
Jun 02, 2017 11:50:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2819/3728 took 747883 ms. Total solver calls (SAT/UNSAT): 5471579(8380/5463199)
Jun 02, 2017 11:50:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2823/3728 took 748898 ms. Total solver calls (SAT/UNSAT): 5479051(8392/5470659)
Jun 02, 2017 11:50:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2827/3728 took 749918 ms. Total solver calls (SAT/UNSAT): 5486523(8404/5478119)
Jun 02, 2017 11:50:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2831/3728 took 751137 ms. Total solver calls (SAT/UNSAT): 5495517(8416/5487101)
Jun 02, 2017 11:50:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2835/3728 took 752157 ms. Total solver calls (SAT/UNSAT): 5502989(8428/5494561)
Jun 02, 2017 11:50:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2839/3728 took 753186 ms. Total solver calls (SAT/UNSAT): 5510461(8440/5502021)
Jun 02, 2017 11:50:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2843/3728 took 754199 ms. Total solver calls (SAT/UNSAT): 5517933(8452/5509481)
Jun 02, 2017 11:50:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2847/3728 took 755220 ms. Total solver calls (SAT/UNSAT): 5525405(8464/5516941)
Jun 02, 2017 11:50:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2851/3728 took 756435 ms. Total solver calls (SAT/UNSAT): 5534398(8476/5525922)
Jun 02, 2017 11:50:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2855/3728 took 757455 ms. Total solver calls (SAT/UNSAT): 5541871(8488/5533383)
Jun 02, 2017 11:50:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2859/3728 took 758467 ms. Total solver calls (SAT/UNSAT): 5549343(8500/5540843)
Jun 02, 2017 11:50:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2863/3728 took 759485 ms. Total solver calls (SAT/UNSAT): 5556815(8512/5548303)
Jun 02, 2017 11:50:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2867/3728 took 760498 ms. Total solver calls (SAT/UNSAT): 5564287(8524/5555763)
Jun 02, 2017 11:50:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2871/3728 took 761513 ms. Total solver calls (SAT/UNSAT): 5571759(8536/5563223)
Jun 02, 2017 11:50:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2875/3728 took 762732 ms. Total solver calls (SAT/UNSAT): 5580753(8548/5572205)
Jun 02, 2017 11:50:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2879/3728 took 763749 ms. Total solver calls (SAT/UNSAT): 5588225(8560/5579665)
Jun 02, 2017 11:51:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2883/3728 took 764761 ms. Total solver calls (SAT/UNSAT): 5595697(8572/5587125)
Jun 02, 2017 11:51:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2887/3728 took 765779 ms. Total solver calls (SAT/UNSAT): 5603169(8584/5594585)
Jun 02, 2017 11:51:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2891/3728 took 766796 ms. Total solver calls (SAT/UNSAT): 5610641(8596/5602045)
Jun 02, 2017 11:51:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2895/3728 took 768009 ms. Total solver calls (SAT/UNSAT): 5619635(8608/5611027)
Jun 02, 2017 11:51:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2899/3728 took 769028 ms. Total solver calls (SAT/UNSAT): 5627107(8620/5618487)
Jun 02, 2017 11:51:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2903/3728 took 770049 ms. Total solver calls (SAT/UNSAT): 5634579(8632/5625947)
Jun 02, 2017 11:51:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2907/3728 took 771077 ms. Total solver calls (SAT/UNSAT): 5642051(8644/5633407)
Jun 02, 2017 11:51:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2911/3728 took 772088 ms. Total solver calls (SAT/UNSAT): 5649523(8656/5640867)
Jun 02, 2017 11:51:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2915/3728 took 773312 ms. Total solver calls (SAT/UNSAT): 5658517(8668/5649849)
Jun 02, 2017 11:51:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2919/3728 took 774335 ms. Total solver calls (SAT/UNSAT): 5665989(8680/5657309)
Jun 02, 2017 11:51:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2923/3728 took 775357 ms. Total solver calls (SAT/UNSAT): 5673461(8692/5664769)
Jun 02, 2017 11:51:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2927/3728 took 776369 ms. Total solver calls (SAT/UNSAT): 5680933(8704/5672229)
Jun 02, 2017 11:51:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2931/3728 took 777423 ms. Total solver calls (SAT/UNSAT): 5688405(8716/5679689)
Jun 02, 2017 11:51:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2935/3728 took 778626 ms. Total solver calls (SAT/UNSAT): 5697398(8728/5688670)
Jun 02, 2017 11:51:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2939/3728 took 779628 ms. Total solver calls (SAT/UNSAT): 5704871(8740/5696131)
Jun 02, 2017 11:51:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2944/3728 took 780870 ms. Total solver calls (SAT/UNSAT): 5714211(8755/5705456)
Jun 02, 2017 11:51:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2949/3728 took 782118 ms. Total solver calls (SAT/UNSAT): 5723551(8770/5714781)
Jun 02, 2017 11:51:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2954/3728 took 783366 ms. Total solver calls (SAT/UNSAT): 5732891(8785/5724106)
Jun 02, 2017 11:51:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2958/3728 took 784572 ms. Total solver calls (SAT/UNSAT): 5741885(8797/5733088)
Jun 02, 2017 11:51:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2962/3728 took 785575 ms. Total solver calls (SAT/UNSAT): 5749357(8809/5740548)
Jun 02, 2017 11:51:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2967/3728 took 786821 ms. Total solver calls (SAT/UNSAT): 5758697(8824/5749873)
Jun 02, 2017 11:51:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2971/3728 took 787829 ms. Total solver calls (SAT/UNSAT): 5766169(8836/5757333)
Jun 02, 2017 11:51:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2975/3728 took 788835 ms. Total solver calls (SAT/UNSAT): 5773641(8848/5764793)
Jun 02, 2017 11:51:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2979/3728 took 790046 ms. Total solver calls (SAT/UNSAT): 5782635(8860/5773775)
Jun 02, 2017 11:51:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2984/3728 took 791294 ms. Total solver calls (SAT/UNSAT): 5791975(8875/5783100)
Jun 02, 2017 11:51:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2988/3728 took 792303 ms. Total solver calls (SAT/UNSAT): 5799447(8887/5790560)
Jun 02, 2017 11:51:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2992/3728 took 793315 ms. Total solver calls (SAT/UNSAT): 5806919(8899/5798020)
Jun 02, 2017 11:51:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2996/3728 took 794329 ms. Total solver calls (SAT/UNSAT): 5814391(8911/5805480)
Jun 02, 2017 11:51:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3000/3728 took 795528 ms. Total solver calls (SAT/UNSAT): 5823385(8923/5814462)
Jun 02, 2017 11:51:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3004/3728 took 796557 ms. Total solver calls (SAT/UNSAT): 5830857(8935/5821922)
Jun 02, 2017 11:51:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3008/3728 took 797580 ms. Total solver calls (SAT/UNSAT): 5838329(8947/5829382)
Jun 02, 2017 11:51:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3012/3728 took 798611 ms. Total solver calls (SAT/UNSAT): 5845801(8959/5836842)
Jun 02, 2017 11:51:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3016/3728 took 799634 ms. Total solver calls (SAT/UNSAT): 5853273(8971/5844302)
Jun 02, 2017 11:51:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3020/3728 took 800872 ms. Total solver calls (SAT/UNSAT): 5862267(8983/5853284)
Jun 02, 2017 11:51:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3024/3728 took 801901 ms. Total solver calls (SAT/UNSAT): 5869739(8995/5860744)
Jun 02, 2017 11:51:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3028/3728 took 802976 ms. Total solver calls (SAT/UNSAT): 5877211(9007/5868204)
Jun 02, 2017 11:51:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3032/3728 took 804003 ms. Total solver calls (SAT/UNSAT): 5884683(9019/5875664)
Jun 02, 2017 11:51:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3036/3728 took 805034 ms. Total solver calls (SAT/UNSAT): 5892155(9031/5883124)
Jun 02, 2017 11:51:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3040/3728 took 806262 ms. Total solver calls (SAT/UNSAT): 5901148(9043/5892105)
Jun 02, 2017 11:51:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3044/3728 took 807295 ms. Total solver calls (SAT/UNSAT): 5908621(9055/5899566)
Jun 02, 2017 11:51:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3048/3728 took 808315 ms. Total solver calls (SAT/UNSAT): 5916093(9067/5907026)
Jun 02, 2017 11:51:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3052/3728 took 809343 ms. Total solver calls (SAT/UNSAT): 5923565(9079/5914486)
Jun 02, 2017 11:51:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3056/3728 took 810403 ms. Total solver calls (SAT/UNSAT): 5931037(9091/5921946)
Jun 02, 2017 11:51:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3060/3728 took 811409 ms. Total solver calls (SAT/UNSAT): 5938509(9103/5929406)
Jun 02, 2017 11:51:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3064/3728 took 812624 ms. Total solver calls (SAT/UNSAT): 5947503(9115/5938388)
Jun 02, 2017 11:51:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3068/3728 took 813632 ms. Total solver calls (SAT/UNSAT): 5954975(9127/5945848)
Jun 02, 2017 11:51:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3072/3728 took 814647 ms. Total solver calls (SAT/UNSAT): 5962447(9139/5953308)
Jun 02, 2017 11:51:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3076/3728 took 815651 ms. Total solver calls (SAT/UNSAT): 5969919(9151/5960768)
Jun 02, 2017 11:51:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3080/3728 took 816658 ms. Total solver calls (SAT/UNSAT): 5977391(9163/5968228)
Jun 02, 2017 11:51:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3084/3728 took 817868 ms. Total solver calls (SAT/UNSAT): 5986385(9175/5977210)
Jun 02, 2017 11:51:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3088/3728 took 818878 ms. Total solver calls (SAT/UNSAT): 5993857(9187/5984670)
Jun 02, 2017 11:51:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3093/3728 took 820126 ms. Total solver calls (SAT/UNSAT): 6003197(9202/5993995)
Jun 02, 2017 11:51:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3097/3728 took 821132 ms. Total solver calls (SAT/UNSAT): 6010669(9214/6001455)
Jun 02, 2017 11:51:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3101/3728 took 822138 ms. Total solver calls (SAT/UNSAT): 6018141(9226/6008915)
Jun 02, 2017 11:51:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3105/3728 took 823351 ms. Total solver calls (SAT/UNSAT): 6027135(9238/6017897)
Jun 02, 2017 11:51:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3110/3728 took 824596 ms. Total solver calls (SAT/UNSAT): 6036475(9253/6027222)
Jun 02, 2017 11:52:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3114/3728 took 825606 ms. Total solver calls (SAT/UNSAT): 6043947(9265/6034682)
Jun 02, 2017 11:52:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3118/3728 took 826613 ms. Total solver calls (SAT/UNSAT): 6051419(9277/6042142)
Jun 02, 2017 11:52:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3122/3728 took 827620 ms. Total solver calls (SAT/UNSAT): 6058891(9289/6049602)
Jun 02, 2017 11:52:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3126/3728 took 828832 ms. Total solver calls (SAT/UNSAT): 6067885(9301/6058584)
Jun 02, 2017 11:52:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3130/3728 took 829842 ms. Total solver calls (SAT/UNSAT): 6075357(9313/6066044)
Jun 02, 2017 11:52:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3134/3728 took 830853 ms. Total solver calls (SAT/UNSAT): 6082829(9325/6073504)
Jun 02, 2017 11:52:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3139/3728 took 832101 ms. Total solver calls (SAT/UNSAT): 6092169(9340/6082829)
Jun 02, 2017 11:52:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3143/3728 took 833118 ms. Total solver calls (SAT/UNSAT): 6099641(9352/6090289)
Jun 02, 2017 11:52:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3147/3728 took 834329 ms. Total solver calls (SAT/UNSAT): 6108635(9364/6099271)
Jun 02, 2017 11:52:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3151/3728 took 835347 ms. Total solver calls (SAT/UNSAT): 6116107(9376/6106731)
Jun 02, 2017 11:52:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3156/3728 took 836590 ms. Total solver calls (SAT/UNSAT): 6125447(9391/6116056)
Jun 02, 2017 11:52:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3160/3728 took 837605 ms. Total solver calls (SAT/UNSAT): 6132919(9403/6123516)
Jun 02, 2017 11:52:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3164/3728 took 838609 ms. Total solver calls (SAT/UNSAT): 6140391(9415/6130976)
Jun 02, 2017 11:52:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3168/3728 took 839819 ms. Total solver calls (SAT/UNSAT): 6149385(9427/6139958)
Jun 02, 2017 11:52:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3172/3728 took 840824 ms. Total solver calls (SAT/UNSAT): 6156857(9439/6147418)
Jun 02, 2017 11:52:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3176/3728 took 841837 ms. Total solver calls (SAT/UNSAT): 6164329(9451/6154878)
Jun 02, 2017 11:52:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3180/3728 took 842843 ms. Total solver calls (SAT/UNSAT): 6171801(9463/6162338)
Jun 02, 2017 11:52:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3185/3728 took 844088 ms. Total solver calls (SAT/UNSAT): 6181141(9478/6171663)
Jun 02, 2017 11:52:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3189/3728 took 845306 ms. Total solver calls (SAT/UNSAT): 6190135(9490/6180645)
Jun 02, 2017 11:52:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3193/3728 took 846311 ms. Total solver calls (SAT/UNSAT): 6197607(9502/6188105)
Jun 02, 2017 11:52:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3197/3728 took 847318 ms. Total solver calls (SAT/UNSAT): 6205079(9514/6195565)
Jun 02, 2017 11:52:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3202/3728 took 848555 ms. Total solver calls (SAT/UNSAT): 6214419(9529/6204890)
Jun 02, 2017 11:52:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3206/3728 took 849555 ms. Total solver calls (SAT/UNSAT): 6221891(9541/6212350)
Jun 02, 2017 11:52:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3210/3728 took 850748 ms. Total solver calls (SAT/UNSAT): 6230885(9553/6221332)
Jun 02, 2017 11:52:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3214/3728 took 851752 ms. Total solver calls (SAT/UNSAT): 6238357(9565/6228792)
Jun 02, 2017 11:52:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3218/3728 took 852754 ms. Total solver calls (SAT/UNSAT): 6245829(9577/6236252)
Jun 02, 2017 11:52:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3222/3728 took 853760 ms. Total solver calls (SAT/UNSAT): 6253301(9589/6243712)
Jun 02, 2017 11:52:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3226/3728 took 854771 ms. Total solver calls (SAT/UNSAT): 6260773(9601/6251172)
Jun 02, 2017 11:52:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3230/3728 took 855964 ms. Total solver calls (SAT/UNSAT): 6269767(9613/6260154)
Jun 02, 2017 11:52:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3234/3728 took 856967 ms. Total solver calls (SAT/UNSAT): 6277239(9625/6267614)
Jun 02, 2017 11:52:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3238/3728 took 857973 ms. Total solver calls (SAT/UNSAT): 6284711(9637/6275074)
Jun 02, 2017 11:52:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3242/3728 took 858976 ms. Total solver calls (SAT/UNSAT): 6292183(9649/6282534)
Jun 02, 2017 11:52:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3246/3728 took 859984 ms. Total solver calls (SAT/UNSAT): 6299655(9661/6289994)
Jun 02, 2017 11:52:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3250/3728 took 861191 ms. Total solver calls (SAT/UNSAT): 6308648(9673/6298975)
Jun 02, 2017 11:52:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3254/3728 took 862201 ms. Total solver calls (SAT/UNSAT): 6316121(9685/6306436)
Jun 02, 2017 11:52:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3258/3728 took 863205 ms. Total solver calls (SAT/UNSAT): 6323593(9697/6313896)
Jun 02, 2017 11:52:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3263/3728 took 864448 ms. Total solver calls (SAT/UNSAT): 6332933(9712/6323221)
Jun 02, 2017 11:52:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3267/3728 took 865460 ms. Total solver calls (SAT/UNSAT): 6340405(9724/6330681)
Jun 02, 2017 11:52:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3271/3728 took 866663 ms. Total solver calls (SAT/UNSAT): 6349398(9736/6339662)
Jun 02, 2017 11:52:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3275/3728 took 867672 ms. Total solver calls (SAT/UNSAT): 6356871(9748/6347123)
Jun 02, 2017 11:52:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3279/3728 took 868678 ms. Total solver calls (SAT/UNSAT): 6364343(9760/6354583)
Jun 02, 2017 11:52:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3283/3728 took 869684 ms. Total solver calls (SAT/UNSAT): 6371815(9772/6362043)
Jun 02, 2017 11:52:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3287/3728 took 870693 ms. Total solver calls (SAT/UNSAT): 6379287(9784/6369503)
Jun 02, 2017 11:52:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3292/3728 took 872136 ms. Total solver calls (SAT/UNSAT): 6390148(9799/6380349)
Jun 02, 2017 11:52:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3296/3728 took 873136 ms. Total solver calls (SAT/UNSAT): 6397621(9811/6387810)
Jun 02, 2017 11:52:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3300/3728 took 874292 ms. Total solver calls (SAT/UNSAT): 6405093(9823/6395270)
Jun 02, 2017 11:52:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3304/3728 took 875348 ms. Total solver calls (SAT/UNSAT): 6412565(9835/6402730)
Jun 02, 2017 11:52:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3308/3728 took 876355 ms. Total solver calls (SAT/UNSAT): 6420037(9847/6410190)
Jun 02, 2017 11:52:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3312/3728 took 877359 ms. Total solver calls (SAT/UNSAT): 6427509(9859/6417650)
Jun 02, 2017 11:52:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3316/3728 took 878567 ms. Total solver calls (SAT/UNSAT): 6436503(9871/6426632)
Jun 02, 2017 11:52:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3321/3728 took 879812 ms. Total solver calls (SAT/UNSAT): 6445843(9886/6435957)
Jun 02, 2017 11:52:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3325/3728 took 880813 ms. Total solver calls (SAT/UNSAT): 6453315(9898/6443417)
Jun 02, 2017 11:52:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3329/3728 took 881862 ms. Total solver calls (SAT/UNSAT): 6460787(9910/6450877)
Jun 02, 2017 11:52:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3334/3728 took 883319 ms. Total solver calls (SAT/UNSAT): 6471648(9925/6461723)
Jun 02, 2017 11:52:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3339/3728 took 884567 ms. Total solver calls (SAT/UNSAT): 6480989(9940/6471049)
Jun 02, 2017 11:53:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3344/3728 took 885815 ms. Total solver calls (SAT/UNSAT): 6490329(9955/6480374)
Jun 02, 2017 11:53:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3348/3728 took 886818 ms. Total solver calls (SAT/UNSAT): 6497801(9967/6487834)
Jun 02, 2017 11:53:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3353/3728 took 888056 ms. Total solver calls (SAT/UNSAT): 6507141(9982/6497159)
Jun 02, 2017 11:53:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3357/3728 took 889303 ms. Total solver calls (SAT/UNSAT): 6516135(9994/6506141)
Jun 02, 2017 11:53:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3362/3728 took 890551 ms. Total solver calls (SAT/UNSAT): 6525475(10009/6515466)
Jun 02, 2017 11:53:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3366/3728 took 891608 ms. Total solver calls (SAT/UNSAT): 6532947(10021/6522926)
Jun 02, 2017 11:53:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3371/3728 took 892854 ms. Total solver calls (SAT/UNSAT): 6542287(10036/6532251)
Jun 02, 2017 11:53:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3376/3728 took 894307 ms. Total solver calls (SAT/UNSAT): 6553148(10051/6543097)
Jun 02, 2017 11:53:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3381/3728 took 895553 ms. Total solver calls (SAT/UNSAT): 6562489(10066/6552423)
Jun 02, 2017 11:53:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3386/3728 took 896789 ms. Total solver calls (SAT/UNSAT): 6571829(10081/6561748)
Jun 02, 2017 11:53:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3390/3728 took 897796 ms. Total solver calls (SAT/UNSAT): 6579301(10093/6569208)
Jun 02, 2017 11:53:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3395/3728 took 899041 ms. Total solver calls (SAT/UNSAT): 6588641(10108/6578533)
Jun 02, 2017 11:53:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3399/3728 took 900238 ms. Total solver calls (SAT/UNSAT): 6597635(10120/6587515)
Jun 02, 2017 11:53:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3404/3728 took 901488 ms. Total solver calls (SAT/UNSAT): 6606975(10135/6596840)
Jun 02, 2017 11:53:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3408/3728 took 902490 ms. Total solver calls (SAT/UNSAT): 6614447(10147/6604300)
Jun 02, 2017 11:53:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3413/3728 took 903732 ms. Total solver calls (SAT/UNSAT): 6623787(10162/6613625)
Jun 02, 2017 11:53:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3418/3728 took 905168 ms. Total solver calls (SAT/UNSAT): 6634648(10177/6624471)
Jun 02, 2017 11:53:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3422/3728 took 906171 ms. Total solver calls (SAT/UNSAT): 6642121(10189/6631932)
Jun 02, 2017 11:53:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3427/3728 took 907417 ms. Total solver calls (SAT/UNSAT): 6651461(10204/6641257)
Jun 02, 2017 11:53:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3432/3728 took 908666 ms. Total solver calls (SAT/UNSAT): 6660801(10219/6650582)
Jun 02, 2017 11:53:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3437/3728 took 909915 ms. Total solver calls (SAT/UNSAT): 6670141(10234/6659907)
Jun 02, 2017 11:53:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3447/3728 took 910934 ms. Total solver calls (SAT/UNSAT): 6677510(10248/6667262)
Jun 02, 2017 11:53:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3463/3728 took 911950 ms. Total solver calls (SAT/UNSAT): 6684774(10264/6674510)
Jun 02, 2017 11:53:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3481/3728 took 913039 ms. Total solver calls (SAT/UNSAT): 6692566(10282/6682284)
Jun 02, 2017 12:06:38 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-V80P20N20"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/S_BridgeAndVehicles-COL-V80P20N20.tgz
mv S_BridgeAndVehicles-COL-V80P20N20 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is S_BridgeAndVehicles-COL-V80P20N20, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r090-csrt-149441076700395"
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 ;