About the Execution of ITS-Tools for S_BridgeAndVehicles-COL-V80P50N20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15932.520 | 3600000.00 | 5291029.00 | 315.30 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is S_BridgeAndVehicles-COL-V80P50N20, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r090-csrt-149441076800420
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-0
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-1
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-10
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-11
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-12
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-13
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-14
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-15
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-2
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-3
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-4
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-5
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-6
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-7
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-8
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-9
=== Now, execution of the tool begins
BK_START 1496407113735
Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ltl command run as :
/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !(((("sens0.CHOIX_0>=1")&&("compteur20.COMPTEUR_20>=1"))||(("sens1.CHOIX_1>=1")&&("compteur20.COMPTEUR_20>=1"))))
Formula 0 simplified : !(("compteur20.COMPTEUR_20>=1" & "sens0.CHOIX_0>=1") | ("compteur20.COMPTEUR_20>=1" & "sens1.CHOIX_1>=1"))
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 3728 rows 198 cols
invariant : 1'sens0:CONTROLEUR_0 + 1'sens0:CHOIX_0 + 1'sens0:VIDANGE_0 + 1'sens1:CONTROLEUR_1 + 1'sens1:CHOIX_1 + 1'sens1:VIDANGE_1= 1
invariant : 1'CAPACITE:CAPACITE[0] + -1'SORTI_A:SORTI_A[0] + -1'ROUTE_A:ROUTE_A[0] + -1'ATTENTE_A:ATTENTE_A[0] + 1'SUR_PONT_B:SUR_PONT_B[0]= -30
invariant : 1'SORTI_A:SORTI_A[0] + 1'ROUTE_A:ROUTE_A[0] + 1'ATTENTE_A:ATTENTE_A[0] + 1'SUR_PONT_A:SUR_PONT_A[0]= 80
invariant : -1'CAPACITE:CAPACITE[0] + 1'SORTI_A:SORTI_A[0] + 1'ROUTE_A:ROUTE_A[0] + 1'ATTENTE_A:ATTENTE_A[0] + 1'ATTENTE_B:ATTENTE_B[0] + 1'ROUTE_B:ROUTE_B[0] + 1'SORTI_B:SORTI_B[0]= 110
invariant : 1'compteur0:COMPTEUR_0 + 1'compteur1:COMPTEUR_1 + 1'compteur2:COMPTEUR_2 + 1'compteur3:COMPTEUR_3 + 1'compteur4:COMPTEUR_4 + 1'compteur5:COMPTEUR_5 + 1'compteur6:COMPTEUR_6 + 1'compteur7:COMPTEUR_7 + 1'compteur8:COMPTEUR_8 + 1'compteur9:COMPTEUR_9 + 1'compteur10:COMPTEUR_10 + 1'compteur11:COMPTEUR_11 + 1'compteur12:COMPTEUR_12 + 1'compteur13:COMPTEUR_13 + 1'compteur14:COMPTEUR_14 + 1'compteur15:COMPTEUR_15 + 1'compteur16:COMPTEUR_16 + 1'compteur17:COMPTEUR_17 + 1'compteur18:COMPTEUR_18 + 1'compteur19:COMPTEUR_19 + 1'compteur20:COMPTEUR_20= 1
invariant : 1'voitureA0:NB_ATTENTE_A_0 + 1'voitureA1:NB_ATTENTE_A_1 + 1'voitureA2:NB_ATTENTE_A_2 + 1'voitureA3:NB_ATTENTE_A_3 + 1'voitureA4:NB_ATTENTE_A_4 + 1'voitureA5:NB_ATTENTE_A_5 + 1'voitureA6:NB_ATTENTE_A_6 + 1'voitureA7:NB_ATTENTE_A_7 + 1'voitureA8:NB_ATTENTE_A_8 + 1'voitureA9:NB_ATTENTE_A_9 + 1'voitureA10:NB_ATTENTE_A_10 + 1'voitureA11:NB_ATTENTE_A_11 + 1'voitureA12:NB_ATTENTE_A_12 + 1'voitureA13:NB_ATTENTE_A_13 + 1'voitureA14:NB_ATTENTE_A_14 + 1'voitureA15:NB_ATTENTE_A_15 + 1'voitureA16:NB_ATTENTE_A_16 + 1'voitureA17:NB_ATTENTE_A_17 + 1'voitureA18:NB_ATTENTE_A_18 + 1'voitureA19:NB_ATTENTE_A_19 + 1'voitureA20:NB_ATTENTE_A_20 + 1'voitureA21:NB_ATTENTE_A_21 + 1'voitureA22:NB_ATTENTE_A_22 + 1'voitureA23:NB_ATTENTE_A_23 + 1'voitureA24:NB_ATTENTE_A_24 + 1'voitureA25:NB_ATTENTE_A_25 + 1'voitureA26:NB_ATTENTE_A_26 + 1'voitureA27:NB_ATTENTE_A_27 + 1'voitureA28:NB_ATTENTE_A_28 + 1'voitureA29:NB_ATTENTE_A_29 + 1'voitureA30:NB_ATTENTE_A_30 + 1'voitureA31:NB_ATTENTE_A_31 + 1'voitureA32:NB_ATTENTE_A_32 + 1'voitureA33:NB_ATTENTE_A_33 + 1'voitureA34:NB_ATTENTE_A_34 + 1'voitureA35:NB_ATTENTE_A_35 + 1'voitureA36:NB_ATTENTE_A_36 + 1'voitureA37:NB_ATTENTE_A_37 + 1'voitureA38:NB_ATTENTE_A_38 + 1'voitureA39:NB_ATTENTE_A_39 + 1'voitureA40:NB_ATTENTE_A_40 + 1'voitureA41:NB_ATTENTE_A_41 + 1'voitureA42:NB_ATTENTE_A_42 + 1'voitureA43:NB_ATTENTE_A_43 + 1'voitureA44:NB_ATTENTE_A_44 + 1'voitureA45:NB_ATTENTE_A_45 + 1'voitureA46:NB_ATTENTE_A_46 + 1'voitureA47:NB_ATTENTE_A_47 + 1'voitureA48:NB_ATTENTE_A_48 + 1'voitureA49:NB_ATTENTE_A_49 + 1'voitureA50:NB_ATTENTE_A_50 + 1'voitureA51:NB_ATTENTE_A_51 + 1'voitureA52:NB_ATTENTE_A_52 + 1'voitureA53:NB_ATTENTE_A_53 + 1'voitureA54:NB_ATTENTE_A_54 + 1'voitureA55:NB_ATTENTE_A_55 + 1'voitureA56:NB_ATTENTE_A_56 + 1'voitureA57:NB_ATTENTE_A_57 + 1'voitureA58:NB_ATTENTE_A_58 + 1'voitureA59:NB_ATTENTE_A_59 + 1'voitureA60:NB_ATTENTE_A_60 + 1'voitureA61:NB_ATTENTE_A_61 + 1'voitureA62:NB_ATTENTE_A_62 + 1'voitureA63:NB_ATTENTE_A_63 + 1'voitureA64:NB_ATTENTE_A_64 + 1'voitureA65:NB_ATTENTE_A_65 + 1'voitureA66:NB_ATTENTE_A_66 + 1'voitureA67:NB_ATTENTE_A_67 + 1'voitureA68:NB_ATTENTE_A_68 + 1'voitureA69:NB_ATTENTE_A_69 + 1'voitureA70:NB_ATTENTE_A_70 + 1'voitureA71:NB_ATTENTE_A_71 + 1'voitureA72:NB_ATTENTE_A_72 + 1'voitureA73:NB_ATTENTE_A_73 + 1'voitureA74:NB_ATTENTE_A_74 + 1'voitureA75:NB_ATTENTE_A_75 + 1'voitureA76:NB_ATTENTE_A_76 + 1'voitureA77:NB_ATTENTE_A_77 + 1'voitureA78:NB_ATTENTE_A_78 + 1'voitureA79:NB_ATTENTE_A_79 + 1'voitureA80:NB_ATTENTE_A_80= 1
invariant : 1'voitureB0:NB_ATTENTE_B_0 + 1'voitureB1:NB_ATTENTE_B_1 + 1'voitureB2:NB_ATTENTE_B_2 + 1'voitureB3:NB_ATTENTE_B_3 + 1'voitureB4:NB_ATTENTE_B_4 + 1'voitureB5:NB_ATTENTE_B_5 + 1'voitureB6:NB_ATTENTE_B_6 + 1'voitureB7:NB_ATTENTE_B_7 + 1'voitureB8:NB_ATTENTE_B_8 + 1'voitureB9:NB_ATTENTE_B_9 + 1'voitureB10:NB_ATTENTE_B_10 + 1'voitureB11:NB_ATTENTE_B_11 + 1'voitureB12:NB_ATTENTE_B_12 + 1'voitureB13:NB_ATTENTE_B_13 + 1'voitureB14:NB_ATTENTE_B_14 + 1'voitureB15:NB_ATTENTE_B_15 + 1'voitureB16:NB_ATTENTE_B_16 + 1'voitureB17:NB_ATTENTE_B_17 + 1'voitureB18:NB_ATTENTE_B_18 + 1'voitureB19:NB_ATTENTE_B_19 + 1'voitureB20:NB_ATTENTE_B_20 + 1'voitureB21:NB_ATTENTE_B_21 + 1'voitureB22:NB_ATTENTE_B_22 + 1'voitureB23:NB_ATTENTE_B_23 + 1'voitureB24:NB_ATTENTE_B_24 + 1'voitureB25:NB_ATTENTE_B_25 + 1'voitureB26:NB_ATTENTE_B_26 + 1'voitureB27:NB_ATTENTE_B_27 + 1'voitureB28:NB_ATTENTE_B_28 + 1'voitureB29:NB_ATTENTE_B_29 + 1'voitureB30:NB_ATTENTE_B_30 + 1'voitureB31:NB_ATTENTE_B_31 + 1'voitureB32:NB_ATTENTE_B_32 + 1'voitureB33:NB_ATTENTE_B_33 + 1'voitureB34:NB_ATTENTE_B_34 + 1'voitureB35:NB_ATTENTE_B_35 + 1'voitureB36:NB_ATTENTE_B_36 + 1'voitureB37:NB_ATTENTE_B_37 + 1'voitureB38:NB_ATTENTE_B_38 + 1'voitureB39:NB_ATTENTE_B_39 + 1'voitureB40:NB_ATTENTE_B_40 + 1'voitureB41:NB_ATTENTE_B_41 + 1'voitureB42:NB_ATTENTE_B_42 + 1'voitureB43:NB_ATTENTE_B_43 + 1'voitureB44:NB_ATTENTE_B_44 + 1'voitureB45:NB_ATTENTE_B_45 + 1'voitureB46:NB_ATTENTE_B_46 + 1'voitureB47:NB_ATTENTE_B_47 + 1'voitureB48:NB_ATTENTE_B_48 + 1'voitureB49:NB_ATTENTE_B_49 + 1'voitureB50:NB_ATTENTE_B_50 + 1'voitureB51:NB_ATTENTE_B_51 + 1'voitureB52:NB_ATTENTE_B_52 + 1'voitureB53:NB_ATTENTE_B_53 + 1'voitureB54:NB_ATTENTE_B_54 + 1'voitureB55:NB_ATTENTE_B_55 + 1'voitureB56:NB_ATTENTE_B_56 + 1'voitureB57:NB_ATTENTE_B_57 + 1'voitureB58:NB_ATTENTE_B_58 + 1'voitureB59:NB_ATTENTE_B_59 + 1'voitureB60:NB_ATTENTE_B_60 + 1'voitureB61:NB_ATTENTE_B_61 + 1'voitureB62:NB_ATTENTE_B_62 + 1'voitureB63:NB_ATTENTE_B_63 + 1'voitureB64:NB_ATTENTE_B_64 + 1'voitureB65:NB_ATTENTE_B_65 + 1'voitureB66:NB_ATTENTE_B_66 + 1'voitureB67:NB_ATTENTE_B_67 + 1'voitureB68:NB_ATTENTE_B_68 + 1'voitureB69:NB_ATTENTE_B_69 + 1'voitureB70:NB_ATTENTE_B_70 + 1'voitureB71:NB_ATTENTE_B_71 + 1'voitureB72:NB_ATTENTE_B_72 + 1'voitureB73:NB_ATTENTE_B_73 + 1'voitureB74:NB_ATTENTE_B_74 + 1'voitureB75:NB_ATTENTE_B_75 + 1'voitureB76:NB_ATTENTE_B_76 + 1'voitureB77:NB_ATTENTE_B_77 + 1'voitureB78:NB_ATTENTE_B_78 + 1'voitureB79:NB_ATTENTE_B_79 + 1'voitureB80:NB_ATTENTE_B_80= 1
Exit code :137
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLFireability -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 02, 2017 12:38:35 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 02, 2017 12:38:35 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
Jun 02, 2017 12:38:36 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1355 ms
Jun 02, 2017 12:38:36 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 15 places.
Jun 02, 2017 12:38:36 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Jun 02, 2017 12:38:36 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :sens->CONTROLEUR,CHOIX,VIDANGE,
compteur->COMPTEUR,
Dot->CAPACITE,SORTI_A,ROUTE_A,ATTENTE_A,SUR_PONT_A,SUR_PONT_B,ATTENTE_B,ROUTE_B,SORTI_B,
voitureA->NB_ATTENTE_A,
voitureB->NB_ATTENTE_B,
Jun 02, 2017 12:38:36 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 11 transitions.
Jun 02, 2017 12:38:36 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Jun 02, 2017 12:38:38 PM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Jun 02, 2017 12:38:38 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Jun 02, 2017 12:38:38 PM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 189 instantiations of transitions. Total transitions/syncs built is 568
Jun 02, 2017 12:38:38 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 140 ms
Jun 02, 2017 12:38:42 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays NB_ATTENTE_A, NB_ATTENTE_B, CONTROLEUR, CHOIX, COMPTEUR, VIDANGE to variables to allow decomposition.
Jun 02, 2017 12:38:43 PM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 405 redundant transitions.
Jun 02, 2017 12:38:43 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 25 ms
Jun 02, 2017 12:38:43 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 89 ms
Jun 02, 2017 12:38:45 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 354 ms
Jun 02, 2017 12:39:00 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 198 variables to be positive in 15176 ms
Jun 02, 2017 12:39:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 3728 transitions.
Jun 02, 2017 12:39:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3728 took 307 ms. Total solver calls (SAT/UNSAT): 1943(2/1941)
Jun 02, 2017 12:39:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/3728 took 1538 ms. Total solver calls (SAT/UNSAT): 9715(10/9705)
Jun 02, 2017 12:39:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/3728 took 2701 ms. Total solver calls (SAT/UNSAT): 17487(18/17469)
Jun 02, 2017 12:39:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/3728 took 3837 ms. Total solver calls (SAT/UNSAT): 25259(26/25233)
Jun 02, 2017 12:39:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :16/3728 took 4968 ms. Total solver calls (SAT/UNSAT): 33031(34/32997)
Jun 02, 2017 12:39:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/3728 took 6075 ms. Total solver calls (SAT/UNSAT): 40803(42/40761)
Jun 02, 2017 12:39:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/3728 took 7165 ms. Total solver calls (SAT/UNSAT): 48575(50/48525)
Jun 02, 2017 12:39:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/3728 took 8258 ms. Total solver calls (SAT/UNSAT): 56347(58/56289)
Jun 02, 2017 12:39:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/3728 took 9338 ms. Total solver calls (SAT/UNSAT): 64119(66/64053)
Jun 02, 2017 12:39:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/3728 took 10408 ms. Total solver calls (SAT/UNSAT): 71891(74/71817)
Jun 02, 2017 12:39:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/3728 took 11475 ms. Total solver calls (SAT/UNSAT): 79663(82/79581)
Jun 02, 2017 12:39:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/3728 took 12543 ms. Total solver calls (SAT/UNSAT): 87435(90/87345)
Jun 02, 2017 12:39:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/3728 took 13610 ms. Total solver calls (SAT/UNSAT): 95207(98/95109)
Jun 02, 2017 12:39:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/3728 took 14679 ms. Total solver calls (SAT/UNSAT): 102979(106/102873)
Jun 02, 2017 12:39:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/3728 took 15744 ms. Total solver calls (SAT/UNSAT): 110751(114/110637)
Jun 02, 2017 12:39:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/3728 took 16850 ms. Total solver calls (SAT/UNSAT): 118523(122/118401)
Jun 02, 2017 12:39:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/3728 took 17929 ms. Total solver calls (SAT/UNSAT): 126295(130/126165)
Jun 02, 2017 12:39:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/3728 took 19001 ms. Total solver calls (SAT/UNSAT): 134067(138/133929)
Jun 02, 2017 12:39:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/3728 took 20066 ms. Total solver calls (SAT/UNSAT): 141839(146/141693)
Jun 02, 2017 12:39:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/3728 took 21144 ms. Total solver calls (SAT/UNSAT): 149611(154/149457)
Jun 02, 2017 12:39:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/3728 took 22197 ms. Total solver calls (SAT/UNSAT): 157308(163/157145)
Jun 02, 2017 12:39:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/3728 took 23209 ms. Total solver calls (SAT/UNSAT): 164776(175/164601)
Jun 02, 2017 12:39:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/3728 took 24219 ms. Total solver calls (SAT/UNSAT): 172244(187/172057)
Jun 02, 2017 12:39:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/3728 took 25228 ms. Total solver calls (SAT/UNSAT): 179712(199/179513)
Jun 02, 2017 12:39:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/3728 took 26238 ms. Total solver calls (SAT/UNSAT): 187180(211/186969)
Jun 02, 2017 12:39:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/3728 took 27450 ms. Total solver calls (SAT/UNSAT): 196169(223/195946)
Jun 02, 2017 12:39:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/3728 took 28464 ms. Total solver calls (SAT/UNSAT): 203642(235/203407)
Jun 02, 2017 12:39:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/3728 took 29474 ms. Total solver calls (SAT/UNSAT): 211114(247/210867)
Jun 02, 2017 12:39:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/3728 took 30488 ms. Total solver calls (SAT/UNSAT): 218586(259/218327)
Jun 02, 2017 12:39:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/3728 took 31503 ms. Total solver calls (SAT/UNSAT): 226058(271/225787)
Jun 02, 2017 12:39:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/3728 took 32523 ms. Total solver calls (SAT/UNSAT): 233530(283/233247)
Jun 02, 2017 12:39:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :123/3728 took 33567 ms. Total solver calls (SAT/UNSAT): 240656(292/240364)
Jun 02, 2017 12:39:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/3728 took 34584 ms. Total solver calls (SAT/UNSAT): 248128(304/247824)
Jun 02, 2017 12:39:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/3728 took 35598 ms. Total solver calls (SAT/UNSAT): 255600(316/255284)
Jun 02, 2017 12:39:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/3728 took 36613 ms. Total solver calls (SAT/UNSAT): 263072(328/262744)
Jun 02, 2017 12:39:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :139/3728 took 37627 ms. Total solver calls (SAT/UNSAT): 270544(340/270204)
Jun 02, 2017 12:39:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/3728 took 38842 ms. Total solver calls (SAT/UNSAT): 279538(352/279186)
Jun 02, 2017 12:39:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/3728 took 39856 ms. Total solver calls (SAT/UNSAT): 287010(364/286646)
Jun 02, 2017 12:39:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :151/3728 took 40870 ms. Total solver calls (SAT/UNSAT): 294482(376/294106)
Jun 02, 2017 12:39:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/3728 took 41883 ms. Total solver calls (SAT/UNSAT): 301954(388/301566)
Jun 02, 2017 12:39:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :159/3728 took 42894 ms. Total solver calls (SAT/UNSAT): 309426(400/309026)
Jun 02, 2017 12:39:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :163/3728 took 44105 ms. Total solver calls (SAT/UNSAT): 318419(412/318007)
Jun 02, 2017 12:39:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/3728 took 45117 ms. Total solver calls (SAT/UNSAT): 325892(424/325468)
Jun 02, 2017 12:39:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/3728 took 46128 ms. Total solver calls (SAT/UNSAT): 333364(436/332928)
Jun 02, 2017 12:39:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :175/3728 took 47137 ms. Total solver calls (SAT/UNSAT): 340836(448/340388)
Jun 02, 2017 12:39:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/3728 took 48150 ms. Total solver calls (SAT/UNSAT): 348308(460/347848)
Jun 02, 2017 12:39:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/3728 took 49163 ms. Total solver calls (SAT/UNSAT): 355780(472/355308)
Jun 02, 2017 12:39:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :187/3728 took 50399 ms. Total solver calls (SAT/UNSAT): 364774(484/364290)
Jun 02, 2017 12:39:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :191/3728 took 51418 ms. Total solver calls (SAT/UNSAT): 372246(496/371750)
Jun 02, 2017 12:39:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/3728 took 52437 ms. Total solver calls (SAT/UNSAT): 379718(508/379210)
Jun 02, 2017 12:39:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/3728 took 53455 ms. Total solver calls (SAT/UNSAT): 387190(520/386670)
Jun 02, 2017 12:39:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :203/3728 took 54468 ms. Total solver calls (SAT/UNSAT): 394662(532/394130)
Jun 02, 2017 12:39:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :207/3728 took 55679 ms. Total solver calls (SAT/UNSAT): 403656(544/403112)
Jun 02, 2017 12:39:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :211/3728 took 56690 ms. Total solver calls (SAT/UNSAT): 411128(556/410572)
Jun 02, 2017 12:39:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :215/3728 took 57701 ms. Total solver calls (SAT/UNSAT): 418600(568/418032)
Jun 02, 2017 12:39:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/3728 took 58714 ms. Total solver calls (SAT/UNSAT): 426072(580/425492)
Jun 02, 2017 12:40:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/3728 took 59724 ms. Total solver calls (SAT/UNSAT): 433544(592/432952)
Jun 02, 2017 12:40:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :227/3728 took 60941 ms. Total solver calls (SAT/UNSAT): 442538(604/441934)
Jun 02, 2017 12:40:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/3728 took 61956 ms. Total solver calls (SAT/UNSAT): 450010(616/449394)
Jun 02, 2017 12:40:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :235/3728 took 62964 ms. Total solver calls (SAT/UNSAT): 457482(628/456854)
Jun 02, 2017 12:40:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :239/3728 took 63972 ms. Total solver calls (SAT/UNSAT): 464954(640/464314)
Jun 02, 2017 12:40:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/3728 took 64981 ms. Total solver calls (SAT/UNSAT): 472426(652/471774)
Jun 02, 2017 12:40:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :247/3728 took 66196 ms. Total solver calls (SAT/UNSAT): 481419(664/480755)
Jun 02, 2017 12:40:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :251/3728 took 67207 ms. Total solver calls (SAT/UNSAT): 488892(676/488216)
Jun 02, 2017 12:40:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :255/3728 took 68275 ms. Total solver calls (SAT/UNSAT): 496364(688/495676)
Jun 02, 2017 12:40:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :259/3728 took 69288 ms. Total solver calls (SAT/UNSAT): 503836(700/503136)
Jun 02, 2017 12:40:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :263/3728 took 70289 ms. Total solver calls (SAT/UNSAT): 511308(712/510596)
Jun 02, 2017 12:40:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :268/3728 took 71728 ms. Total solver calls (SAT/UNSAT): 522169(727/521442)
Jun 02, 2017 12:40:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :273/3728 took 72969 ms. Total solver calls (SAT/UNSAT): 531510(742/530768)
Jun 02, 2017 12:40:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :278/3728 took 74208 ms. Total solver calls (SAT/UNSAT): 540850(757/540093)
Jun 02, 2017 12:40:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/3728 took 75445 ms. Total solver calls (SAT/UNSAT): 550190(772/549418)
Jun 02, 2017 12:40:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :288/3728 took 76683 ms. Total solver calls (SAT/UNSAT): 559530(787/558743)
Jun 02, 2017 12:40:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/3728 took 77869 ms. Total solver calls (SAT/UNSAT): 568524(799/567725)
Jun 02, 2017 12:40:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :297/3728 took 79106 ms. Total solver calls (SAT/UNSAT): 577864(814/577050)
Jun 02, 2017 12:40:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :302/3728 took 80345 ms. Total solver calls (SAT/UNSAT): 587204(829/586375)
Jun 02, 2017 12:40:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :307/3728 took 81581 ms. Total solver calls (SAT/UNSAT): 596544(844/595700)
Jun 02, 2017 12:40:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :311/3728 took 82819 ms. Total solver calls (SAT/UNSAT): 605538(856/604682)
Jun 02, 2017 12:40:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/3728 took 83866 ms. Total solver calls (SAT/UNSAT): 613010(868/612142)
Jun 02, 2017 12:40:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/3728 took 84875 ms. Total solver calls (SAT/UNSAT): 620482(880/619602)
Jun 02, 2017 12:40:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :323/3728 took 85931 ms. Total solver calls (SAT/UNSAT): 627954(892/627062)
Jun 02, 2017 12:40:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/3728 took 86964 ms. Total solver calls (SAT/UNSAT): 635426(904/634522)
Jun 02, 2017 12:40:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :331/3728 took 88175 ms. Total solver calls (SAT/UNSAT): 644419(916/643503)
Jun 02, 2017 12:40:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :335/3728 took 89182 ms. Total solver calls (SAT/UNSAT): 651892(928/650964)
Jun 02, 2017 12:40:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :339/3728 took 90198 ms. Total solver calls (SAT/UNSAT): 659364(940/658424)
Jun 02, 2017 12:40:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :343/3728 took 91212 ms. Total solver calls (SAT/UNSAT): 666836(952/665884)
Jun 02, 2017 12:40:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/3728 took 92226 ms. Total solver calls (SAT/UNSAT): 674308(964/673344)
Jun 02, 2017 12:40:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/3728 took 93238 ms. Total solver calls (SAT/UNSAT): 681780(976/680804)
Jun 02, 2017 12:40:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/3728 took 94451 ms. Total solver calls (SAT/UNSAT): 690774(988/689786)
Jun 02, 2017 12:40:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/3728 took 95463 ms. Total solver calls (SAT/UNSAT): 698246(1000/697246)
Jun 02, 2017 12:40:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/3728 took 96473 ms. Total solver calls (SAT/UNSAT): 705718(1012/704706)
Jun 02, 2017 12:40:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/3728 took 97484 ms. Total solver calls (SAT/UNSAT): 713190(1024/712166)
Jun 02, 2017 12:40:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/3728 took 98496 ms. Total solver calls (SAT/UNSAT): 720662(1036/719626)
Jun 02, 2017 12:40:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/3728 took 99707 ms. Total solver calls (SAT/UNSAT): 729656(1048/728608)
Jun 02, 2017 12:40:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/3728 took 100718 ms. Total solver calls (SAT/UNSAT): 737128(1060/736068)
Jun 02, 2017 12:40:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/3728 took 101729 ms. Total solver calls (SAT/UNSAT): 744600(1072/743528)
Jun 02, 2017 12:40:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/3728 took 102741 ms. Total solver calls (SAT/UNSAT): 752072(1084/750988)
Jun 02, 2017 12:40:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/3728 took 103752 ms. Total solver calls (SAT/UNSAT): 759544(1096/758448)
Jun 02, 2017 12:40:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/3728 took 104963 ms. Total solver calls (SAT/UNSAT): 768538(1108/767430)
Jun 02, 2017 12:40:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/3728 took 105993 ms. Total solver calls (SAT/UNSAT): 776010(1120/774890)
Jun 02, 2017 12:40:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/3728 took 107002 ms. Total solver calls (SAT/UNSAT): 783482(1132/782350)
Jun 02, 2017 12:40:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/3728 took 108012 ms. Total solver calls (SAT/UNSAT): 790954(1144/789810)
Jun 02, 2017 12:40:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/3728 took 109022 ms. Total solver calls (SAT/UNSAT): 798426(1156/797270)
Jun 02, 2017 12:40:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/3728 took 110230 ms. Total solver calls (SAT/UNSAT): 807419(1168/806251)
Jun 02, 2017 12:40:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/3728 took 111241 ms. Total solver calls (SAT/UNSAT): 814892(1180/813712)
Jun 02, 2017 12:40:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/3728 took 112251 ms. Total solver calls (SAT/UNSAT): 822364(1192/821172)
Jun 02, 2017 12:40:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/3728 took 113259 ms. Total solver calls (SAT/UNSAT): 829836(1204/828632)
Jun 02, 2017 12:40:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/3728 took 114265 ms. Total solver calls (SAT/UNSAT): 837308(1216/836092)
Jun 02, 2017 12:40:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/3728 took 115276 ms. Total solver calls (SAT/UNSAT): 844780(1228/843552)
Jun 02, 2017 12:40:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/3728 took 116484 ms. Total solver calls (SAT/UNSAT): 853774(1240/852534)
Jun 02, 2017 12:40:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/3728 took 117490 ms. Total solver calls (SAT/UNSAT): 861246(1252/859994)
Jun 02, 2017 12:40:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/3728 took 118499 ms. Total solver calls (SAT/UNSAT): 868718(1264/867454)
Jun 02, 2017 12:41:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :451/3728 took 119508 ms. Total solver calls (SAT/UNSAT): 876190(1276/874914)
Jun 02, 2017 12:41:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/3728 took 120518 ms. Total solver calls (SAT/UNSAT): 883662(1288/882374)
Jun 02, 2017 12:41:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/3728 took 121728 ms. Total solver calls (SAT/UNSAT): 892656(1300/891356)
Jun 02, 2017 12:41:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/3728 took 122735 ms. Total solver calls (SAT/UNSAT): 900128(1312/898816)
Jun 02, 2017 12:41:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/3728 took 123743 ms. Total solver calls (SAT/UNSAT): 907600(1324/906276)
Jun 02, 2017 12:41:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/3728 took 124828 ms. Total solver calls (SAT/UNSAT): 915072(1336/913736)
Jun 02, 2017 12:41:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :475/3728 took 125851 ms. Total solver calls (SAT/UNSAT): 922544(1348/921196)
Jun 02, 2017 12:41:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/3728 took 127067 ms. Total solver calls (SAT/UNSAT): 931538(1360/930178)
Jun 02, 2017 12:41:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/3728 took 128079 ms. Total solver calls (SAT/UNSAT): 939010(1372/937638)
Jun 02, 2017 12:41:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :487/3728 took 129088 ms. Total solver calls (SAT/UNSAT): 946482(1384/945098)
Jun 02, 2017 12:41:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/3728 took 130098 ms. Total solver calls (SAT/UNSAT): 953954(1396/952558)
Jun 02, 2017 12:41:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/3728 took 131111 ms. Total solver calls (SAT/UNSAT): 961426(1408/960018)
Jun 02, 2017 12:41:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/3728 took 132320 ms. Total solver calls (SAT/UNSAT): 970419(1420/968999)
Jun 02, 2017 12:41:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/3728 took 133329 ms. Total solver calls (SAT/UNSAT): 977892(1432/976460)
Jun 02, 2017 12:41:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/3728 took 134353 ms. Total solver calls (SAT/UNSAT): 985364(1444/983920)
Jun 02, 2017 12:41:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/3728 took 135366 ms. Total solver calls (SAT/UNSAT): 992836(1456/991380)
Jun 02, 2017 12:41:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/3728 took 136377 ms. Total solver calls (SAT/UNSAT): 1000308(1468/998840)
Jun 02, 2017 12:41:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/3728 took 137402 ms. Total solver calls (SAT/UNSAT): 1007780(1480/1006300)
Jun 02, 2017 12:41:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/3728 took 138619 ms. Total solver calls (SAT/UNSAT): 1016774(1492/1015282)
Jun 02, 2017 12:41:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/3728 took 139630 ms. Total solver calls (SAT/UNSAT): 1024246(1504/1022742)
Jun 02, 2017 12:41:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/3728 took 140641 ms. Total solver calls (SAT/UNSAT): 1031718(1516/1030202)
Jun 02, 2017 12:41:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/3728 took 141655 ms. Total solver calls (SAT/UNSAT): 1039190(1528/1037662)
Jun 02, 2017 12:41:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/3728 took 142667 ms. Total solver calls (SAT/UNSAT): 1046662(1540/1045122)
Jun 02, 2017 12:41:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/3728 took 143881 ms. Total solver calls (SAT/UNSAT): 1055656(1552/1054104)
Jun 02, 2017 12:41:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :547/3728 took 144960 ms. Total solver calls (SAT/UNSAT): 1063128(1564/1061564)
Jun 02, 2017 12:41:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/3728 took 145986 ms. Total solver calls (SAT/UNSAT): 1070600(1576/1069024)
Jun 02, 2017 12:41:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/3728 took 147000 ms. Total solver calls (SAT/UNSAT): 1078072(1588/1076484)
Jun 02, 2017 12:41:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/3728 took 148015 ms. Total solver calls (SAT/UNSAT): 1085544(1600/1083944)
Jun 02, 2017 12:41:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/3728 took 149232 ms. Total solver calls (SAT/UNSAT): 1094538(1612/1092926)
Jun 02, 2017 12:41:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/3728 took 150244 ms. Total solver calls (SAT/UNSAT): 1102010(1624/1100386)
Jun 02, 2017 12:41:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :571/3728 took 151259 ms. Total solver calls (SAT/UNSAT): 1109482(1636/1107846)
Jun 02, 2017 12:41:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/3728 took 152277 ms. Total solver calls (SAT/UNSAT): 1116954(1648/1115306)
Jun 02, 2017 12:41:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/3728 took 153297 ms. Total solver calls (SAT/UNSAT): 1124426(1660/1122766)
Jun 02, 2017 12:41:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/3728 took 154516 ms. Total solver calls (SAT/UNSAT): 1133419(1672/1131747)
Jun 02, 2017 12:41:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/3728 took 155531 ms. Total solver calls (SAT/UNSAT): 1140892(1684/1139208)
Jun 02, 2017 12:41:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/3728 took 156546 ms. Total solver calls (SAT/UNSAT): 1148364(1696/1146668)
Jun 02, 2017 12:41:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :595/3728 took 157559 ms. Total solver calls (SAT/UNSAT): 1155836(1708/1154128)
Jun 02, 2017 12:41:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :599/3728 took 158574 ms. Total solver calls (SAT/UNSAT): 1163308(1720/1161588)
Jun 02, 2017 12:41:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :603/3728 took 159589 ms. Total solver calls (SAT/UNSAT): 1170780(1732/1169048)
Jun 02, 2017 12:41:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :607/3728 took 160805 ms. Total solver calls (SAT/UNSAT): 1179774(1744/1178030)
Jun 02, 2017 12:41:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :611/3728 took 161822 ms. Total solver calls (SAT/UNSAT): 1187246(1756/1185490)
Jun 02, 2017 12:41:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :615/3728 took 162836 ms. Total solver calls (SAT/UNSAT): 1194718(1768/1192950)
Jun 02, 2017 12:41:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :619/3728 took 163865 ms. Total solver calls (SAT/UNSAT): 1202190(1780/1200410)
Jun 02, 2017 12:41:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :623/3728 took 164877 ms. Total solver calls (SAT/UNSAT): 1209662(1792/1207870)
Jun 02, 2017 12:41:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :627/3728 took 166088 ms. Total solver calls (SAT/UNSAT): 1218656(1804/1216852)
Jun 02, 2017 12:41:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :631/3728 took 167101 ms. Total solver calls (SAT/UNSAT): 1226128(1816/1224312)
Jun 02, 2017 12:41:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :635/3728 took 168112 ms. Total solver calls (SAT/UNSAT): 1233600(1828/1231772)
Jun 02, 2017 12:41:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :639/3728 took 169119 ms. Total solver calls (SAT/UNSAT): 1241072(1840/1239232)
Jun 02, 2017 12:41:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :643/3728 took 170128 ms. Total solver calls (SAT/UNSAT): 1248544(1852/1246692)
Jun 02, 2017 12:41:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :647/3728 took 171341 ms. Total solver calls (SAT/UNSAT): 1257538(1864/1255674)
Jun 02, 2017 12:41:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :651/3728 took 172386 ms. Total solver calls (SAT/UNSAT): 1265010(1876/1263134)
Jun 02, 2017 12:41:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :655/3728 took 173386 ms. Total solver calls (SAT/UNSAT): 1272482(1888/1270594)
Jun 02, 2017 12:41:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :660/3728 took 174626 ms. Total solver calls (SAT/UNSAT): 1281822(1903/1279919)
Jun 02, 2017 12:41:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :665/3728 took 175855 ms. Total solver calls (SAT/UNSAT): 1291162(1918/1289244)
Jun 02, 2017 12:41:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :669/3728 took 177031 ms. Total solver calls (SAT/UNSAT): 1300156(1930/1298226)
Jun 02, 2017 12:41:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :673/3728 took 178088 ms. Total solver calls (SAT/UNSAT): 1307628(1942/1305686)
Jun 02, 2017 12:41:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :677/3728 took 179092 ms. Total solver calls (SAT/UNSAT): 1315100(1954/1313146)
Jun 02, 2017 12:42:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :681/3728 took 180095 ms. Total solver calls (SAT/UNSAT): 1322572(1966/1320606)
Jun 02, 2017 12:42:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :685/3728 took 181139 ms. Total solver calls (SAT/UNSAT): 1330044(1978/1328066)
Jun 02, 2017 12:42:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :689/3728 took 182377 ms. Total solver calls (SAT/UNSAT): 1339038(1990/1337048)
Jun 02, 2017 12:42:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :693/3728 took 183385 ms. Total solver calls (SAT/UNSAT): 1346510(2002/1344508)
Jun 02, 2017 12:42:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :697/3728 took 184393 ms. Total solver calls (SAT/UNSAT): 1353982(2014/1351968)
Jun 02, 2017 12:42:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :701/3728 took 185401 ms. Total solver calls (SAT/UNSAT): 1361454(2026/1359428)
Jun 02, 2017 12:42:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :705/3728 took 186411 ms. Total solver calls (SAT/UNSAT): 1368926(2038/1366888)
Jun 02, 2017 12:42:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :709/3728 took 187624 ms. Total solver calls (SAT/UNSAT): 1377919(2050/1375869)
Jun 02, 2017 12:42:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :713/3728 took 188637 ms. Total solver calls (SAT/UNSAT): 1385392(2062/1383330)
Jun 02, 2017 12:42:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :717/3728 took 189649 ms. Total solver calls (SAT/UNSAT): 1392864(2074/1390790)
Jun 02, 2017 12:42:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :721/3728 took 190660 ms. Total solver calls (SAT/UNSAT): 1400336(2086/1398250)
Jun 02, 2017 12:42:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :725/3728 took 191671 ms. Total solver calls (SAT/UNSAT): 1407808(2098/1405710)
Jun 02, 2017 12:42:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :729/3728 took 192683 ms. Total solver calls (SAT/UNSAT): 1415280(2110/1413170)
Jun 02, 2017 12:42:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :733/3728 took 193896 ms. Total solver calls (SAT/UNSAT): 1424274(2122/1422152)
Jun 02, 2017 12:42:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :737/3728 took 194908 ms. Total solver calls (SAT/UNSAT): 1431746(2134/1429612)
Jun 02, 2017 12:42:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :741/3728 took 195919 ms. Total solver calls (SAT/UNSAT): 1439218(2146/1437072)
Jun 02, 2017 12:42:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :745/3728 took 196935 ms. Total solver calls (SAT/UNSAT): 1446690(2158/1444532)
Jun 02, 2017 12:42:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :749/3728 took 197947 ms. Total solver calls (SAT/UNSAT): 1454162(2170/1451992)
Jun 02, 2017 12:42:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :753/3728 took 199166 ms. Total solver calls (SAT/UNSAT): 1463156(2182/1460974)
Jun 02, 2017 12:42:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :757/3728 took 200180 ms. Total solver calls (SAT/UNSAT): 1470628(2194/1468434)
Jun 02, 2017 12:42:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :761/3728 took 201194 ms. Total solver calls (SAT/UNSAT): 1478100(2206/1475894)
Jun 02, 2017 12:42:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :765/3728 took 202208 ms. Total solver calls (SAT/UNSAT): 1485572(2218/1483354)
Jun 02, 2017 12:42:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :769/3728 took 203224 ms. Total solver calls (SAT/UNSAT): 1493044(2230/1490814)
Jun 02, 2017 12:42:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :773/3728 took 204441 ms. Total solver calls (SAT/UNSAT): 1502038(2242/1499796)
Jun 02, 2017 12:42:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :777/3728 took 205455 ms. Total solver calls (SAT/UNSAT): 1509510(2254/1507256)
Jun 02, 2017 12:42:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :781/3728 took 206468 ms. Total solver calls (SAT/UNSAT): 1516982(2266/1514716)
Jun 02, 2017 12:42:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :785/3728 took 207482 ms. Total solver calls (SAT/UNSAT): 1524454(2278/1522176)
Jun 02, 2017 12:42:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :789/3728 took 208493 ms. Total solver calls (SAT/UNSAT): 1531926(2290/1529636)
Jun 02, 2017 12:42:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :793/3728 took 209711 ms. Total solver calls (SAT/UNSAT): 1540919(2302/1538617)
Jun 02, 2017 12:42:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :797/3728 took 210724 ms. Total solver calls (SAT/UNSAT): 1548392(2314/1546078)
Jun 02, 2017 12:42:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :801/3728 took 211740 ms. Total solver calls (SAT/UNSAT): 1555864(2326/1553538)
Jun 02, 2017 12:42:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :805/3728 took 212754 ms. Total solver calls (SAT/UNSAT): 1563336(2338/1560998)
Jun 02, 2017 12:42:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :809/3728 took 213768 ms. Total solver calls (SAT/UNSAT): 1570808(2350/1568458)
Jun 02, 2017 12:42:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :813/3728 took 214789 ms. Total solver calls (SAT/UNSAT): 1578280(2362/1575918)
Jun 02, 2017 12:42:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :817/3728 took 216002 ms. Total solver calls (SAT/UNSAT): 1587274(2374/1584900)
Jun 02, 2017 12:42:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :821/3728 took 217015 ms. Total solver calls (SAT/UNSAT): 1594746(2386/1592360)
Jun 02, 2017 12:42:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :825/3728 took 218028 ms. Total solver calls (SAT/UNSAT): 1602218(2398/1599820)
Jun 02, 2017 12:42:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :829/3728 took 219041 ms. Total solver calls (SAT/UNSAT): 1609690(2410/1607280)
Jun 02, 2017 12:42:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :833/3728 took 220053 ms. Total solver calls (SAT/UNSAT): 1617162(2422/1614740)
Jun 02, 2017 12:42:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :837/3728 took 221267 ms. Total solver calls (SAT/UNSAT): 1626156(2434/1623722)
Jun 02, 2017 12:42:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :841/3728 took 222277 ms. Total solver calls (SAT/UNSAT): 1633628(2446/1631182)
Jun 02, 2017 12:42:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :845/3728 took 223287 ms. Total solver calls (SAT/UNSAT): 1641100(2458/1638642)
Jun 02, 2017 12:42:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :849/3728 took 224299 ms. Total solver calls (SAT/UNSAT): 1648572(2470/1646102)
Jun 02, 2017 12:42:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :853/3728 took 225310 ms. Total solver calls (SAT/UNSAT): 1656044(2482/1653562)
Jun 02, 2017 12:42:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :857/3728 took 226522 ms. Total solver calls (SAT/UNSAT): 1665038(2494/1662544)
Jun 02, 2017 12:42:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :861/3728 took 227533 ms. Total solver calls (SAT/UNSAT): 1672510(2506/1670004)
Jun 02, 2017 12:42:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :865/3728 took 228541 ms. Total solver calls (SAT/UNSAT): 1679982(2518/1677464)
Jun 02, 2017 12:42:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :869/3728 took 229550 ms. Total solver calls (SAT/UNSAT): 1687454(2530/1684924)
Jun 02, 2017 12:42:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :873/3728 took 230568 ms. Total solver calls (SAT/UNSAT): 1694926(2542/1692384)
Jun 02, 2017 12:42:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :877/3728 took 231783 ms. Total solver calls (SAT/UNSAT): 1703919(2554/1701365)
Jun 02, 2017 12:42:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :881/3728 took 232796 ms. Total solver calls (SAT/UNSAT): 1711392(2566/1708826)
Jun 02, 2017 12:42:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :885/3728 took 233805 ms. Total solver calls (SAT/UNSAT): 1718864(2578/1716286)
Jun 02, 2017 12:42:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :889/3728 took 234816 ms. Total solver calls (SAT/UNSAT): 1726336(2590/1723746)
Jun 02, 2017 12:42:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :893/3728 took 235829 ms. Total solver calls (SAT/UNSAT): 1733808(2602/1731206)
Jun 02, 2017 12:42:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :897/3728 took 236843 ms. Total solver calls (SAT/UNSAT): 1741280(2614/1738666)
Jun 02, 2017 12:42:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :901/3728 took 238058 ms. Total solver calls (SAT/UNSAT): 1750274(2626/1747648)
Jun 02, 2017 12:42:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :905/3728 took 239105 ms. Total solver calls (SAT/UNSAT): 1757746(2638/1755108)
Jun 02, 2017 12:43:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :910/3728 took 240351 ms. Total solver calls (SAT/UNSAT): 1767086(2653/1764433)
Jun 02, 2017 12:43:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :915/3728 took 241594 ms. Total solver calls (SAT/UNSAT): 1776426(2668/1773758)
Jun 02, 2017 12:43:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :919/3728 took 242788 ms. Total solver calls (SAT/UNSAT): 1785419(2680/1782739)
Jun 02, 2017 12:43:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :924/3728 took 244031 ms. Total solver calls (SAT/UNSAT): 1794760(2695/1792065)
Jun 02, 2017 12:43:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :928/3728 took 245059 ms. Total solver calls (SAT/UNSAT): 1802232(2707/1799525)
Jun 02, 2017 12:43:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :932/3728 took 246074 ms. Total solver calls (SAT/UNSAT): 1809704(2719/1806985)
Jun 02, 2017 12:43:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :936/3728 took 247087 ms. Total solver calls (SAT/UNSAT): 1817176(2731/1814445)
Jun 02, 2017 12:43:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :940/3728 took 248304 ms. Total solver calls (SAT/UNSAT): 1826169(2743/1823426)
Jun 02, 2017 12:43:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :944/3728 took 249317 ms. Total solver calls (SAT/UNSAT): 1833642(2755/1830887)
Jun 02, 2017 12:43:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :948/3728 took 250332 ms. Total solver calls (SAT/UNSAT): 1841114(2767/1838347)
Jun 02, 2017 12:43:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :952/3728 took 251345 ms. Total solver calls (SAT/UNSAT): 1848586(2779/1845807)
Jun 02, 2017 12:43:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :956/3728 took 252361 ms. Total solver calls (SAT/UNSAT): 1856058(2791/1853267)
Jun 02, 2017 12:43:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :960/3728 took 253377 ms. Total solver calls (SAT/UNSAT): 1863530(2803/1860727)
Jun 02, 2017 12:43:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :964/3728 took 254594 ms. Total solver calls (SAT/UNSAT): 1872524(2815/1869709)
Jun 02, 2017 12:43:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :968/3728 took 255606 ms. Total solver calls (SAT/UNSAT): 1879996(2827/1877169)
Jun 02, 2017 12:43:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :972/3728 took 256616 ms. Total solver calls (SAT/UNSAT): 1887468(2839/1884629)
Jun 02, 2017 12:43:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :976/3728 took 257629 ms. Total solver calls (SAT/UNSAT): 1894940(2851/1892089)
Jun 02, 2017 12:43:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :980/3728 took 258643 ms. Total solver calls (SAT/UNSAT): 1902412(2863/1899549)
Jun 02, 2017 12:43:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :984/3728 took 259867 ms. Total solver calls (SAT/UNSAT): 1911406(2875/1908531)
Jun 02, 2017 12:43:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :988/3728 took 260882 ms. Total solver calls (SAT/UNSAT): 1918878(2887/1915991)
Jun 02, 2017 12:43:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :992/3728 took 261898 ms. Total solver calls (SAT/UNSAT): 1926350(2899/1923451)
Jun 02, 2017 12:43:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :996/3728 took 262911 ms. Total solver calls (SAT/UNSAT): 1933822(2911/1930911)
Jun 02, 2017 12:43:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1000/3728 took 263922 ms. Total solver calls (SAT/UNSAT): 1941294(2923/1938371)
Jun 02, 2017 12:43:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1004/3728 took 265134 ms. Total solver calls (SAT/UNSAT): 1950288(2935/1947353)
Jun 02, 2017 12:43:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1008/3728 took 266145 ms. Total solver calls (SAT/UNSAT): 1957760(2947/1954813)
Jun 02, 2017 12:43:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1012/3728 took 267158 ms. Total solver calls (SAT/UNSAT): 1965232(2959/1962273)
Jun 02, 2017 12:43:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1016/3728 took 268169 ms. Total solver calls (SAT/UNSAT): 1972704(2971/1969733)
Jun 02, 2017 12:43:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1020/3728 took 269229 ms. Total solver calls (SAT/UNSAT): 1980176(2983/1977193)
Jun 02, 2017 12:43:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1024/3728 took 270442 ms. Total solver calls (SAT/UNSAT): 1989169(2995/1986174)
Jun 02, 2017 12:43:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1028/3728 took 271450 ms. Total solver calls (SAT/UNSAT): 1996642(3007/1993635)
Jun 02, 2017 12:43:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1032/3728 took 272456 ms. Total solver calls (SAT/UNSAT): 2004114(3019/2001095)
Jun 02, 2017 12:43:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1036/3728 took 273470 ms. Total solver calls (SAT/UNSAT): 2011586(3031/2008555)
Jun 02, 2017 12:43:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1040/3728 took 274482 ms. Total solver calls (SAT/UNSAT): 2019058(3043/2016015)
Jun 02, 2017 12:43:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1044/3728 took 275491 ms. Total solver calls (SAT/UNSAT): 2026530(3055/2023475)
Jun 02, 2017 12:43:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1048/3728 took 276699 ms. Total solver calls (SAT/UNSAT): 2035524(3067/2032457)
Jun 02, 2017 12:43:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1052/3728 took 277712 ms. Total solver calls (SAT/UNSAT): 2042996(3079/2039917)
Jun 02, 2017 12:43:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1056/3728 took 278720 ms. Total solver calls (SAT/UNSAT): 2050468(3091/2047377)
Jun 02, 2017 12:43:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1060/3728 took 279727 ms. Total solver calls (SAT/UNSAT): 2057940(3103/2054837)
Jun 02, 2017 12:43:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1064/3728 took 280784 ms. Total solver calls (SAT/UNSAT): 2065412(3115/2062297)
Jun 02, 2017 12:43:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1068/3728 took 281995 ms. Total solver calls (SAT/UNSAT): 2074406(3127/2071279)
Jun 02, 2017 12:43:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1073/3728 took 283244 ms. Total solver calls (SAT/UNSAT): 2083746(3142/2080604)
Jun 02, 2017 12:43:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1078/3728 took 284489 ms. Total solver calls (SAT/UNSAT): 2093086(3157/2089929)
Jun 02, 2017 12:43:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1083/3728 took 285785 ms. Total solver calls (SAT/UNSAT): 2102426(3172/2099254)
Jun 02, 2017 12:43:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1087/3728 took 287021 ms. Total solver calls (SAT/UNSAT): 2111419(3184/2108235)
Jun 02, 2017 12:43:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1091/3728 took 288048 ms. Total solver calls (SAT/UNSAT): 2118892(3196/2115696)
Jun 02, 2017 12:43:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1095/3728 took 289072 ms. Total solver calls (SAT/UNSAT): 2126364(3208/2123156)
Jun 02, 2017 12:43:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1099/3728 took 290090 ms. Total solver calls (SAT/UNSAT): 2133836(3220/2130616)
Jun 02, 2017 12:43:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1103/3728 took 291108 ms. Total solver calls (SAT/UNSAT): 2141308(3232/2138076)
Jun 02, 2017 12:43:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1107/3728 took 292127 ms. Total solver calls (SAT/UNSAT): 2148780(3244/2145536)
Jun 02, 2017 12:43:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1111/3728 took 293352 ms. Total solver calls (SAT/UNSAT): 2157774(3256/2154518)
Jun 02, 2017 12:43:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1115/3728 took 294371 ms. Total solver calls (SAT/UNSAT): 2165246(3268/2161978)
Jun 02, 2017 12:43:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1119/3728 took 295393 ms. Total solver calls (SAT/UNSAT): 2172718(3280/2169438)
Jun 02, 2017 12:43:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1123/3728 took 296461 ms. Total solver calls (SAT/UNSAT): 2180190(3292/2176898)
Jun 02, 2017 12:43:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1127/3728 took 297479 ms. Total solver calls (SAT/UNSAT): 2187662(3304/2184358)
Jun 02, 2017 12:43:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1131/3728 took 298697 ms. Total solver calls (SAT/UNSAT): 2196656(3316/2193340)
Jun 02, 2017 12:44:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1135/3728 took 299712 ms. Total solver calls (SAT/UNSAT): 2204128(3328/2200800)
Jun 02, 2017 12:44:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1139/3728 took 300725 ms. Total solver calls (SAT/UNSAT): 2211600(3340/2208260)
Jun 02, 2017 12:44:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1143/3728 took 301739 ms. Total solver calls (SAT/UNSAT): 2219072(3352/2215720)
Jun 02, 2017 12:44:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1147/3728 took 302756 ms. Total solver calls (SAT/UNSAT): 2226544(3364/2223180)
Jun 02, 2017 12:44:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1151/3728 took 303972 ms. Total solver calls (SAT/UNSAT): 2235538(3376/2232162)
Jun 02, 2017 12:44:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1155/3728 took 304984 ms. Total solver calls (SAT/UNSAT): 2243010(3388/2239622)
Jun 02, 2017 12:44:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1159/3728 took 305994 ms. Total solver calls (SAT/UNSAT): 2250482(3400/2247082)
Jun 02, 2017 12:44:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1163/3728 took 307007 ms. Total solver calls (SAT/UNSAT): 2257954(3412/2254542)
Jun 02, 2017 12:44:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1167/3728 took 308020 ms. Total solver calls (SAT/UNSAT): 2265426(3424/2262002)
Jun 02, 2017 12:44:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1171/3728 took 309237 ms. Total solver calls (SAT/UNSAT): 2274419(3436/2270983)
Jun 02, 2017 12:44:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1175/3728 took 310257 ms. Total solver calls (SAT/UNSAT): 2281892(3448/2278444)
Jun 02, 2017 12:44:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1179/3728 took 311270 ms. Total solver calls (SAT/UNSAT): 2289364(3460/2285904)
Jun 02, 2017 12:44:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1183/3728 took 312286 ms. Total solver calls (SAT/UNSAT): 2296836(3472/2293364)
Jun 02, 2017 12:44:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1187/3728 took 313301 ms. Total solver calls (SAT/UNSAT): 2304308(3484/2300824)
Jun 02, 2017 12:44:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1191/3728 took 314318 ms. Total solver calls (SAT/UNSAT): 2311780(3496/2308284)
Jun 02, 2017 12:44:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1195/3728 took 315537 ms. Total solver calls (SAT/UNSAT): 2320774(3508/2317266)
Jun 02, 2017 12:44:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1199/3728 took 316552 ms. Total solver calls (SAT/UNSAT): 2328246(3520/2324726)
Jun 02, 2017 12:44:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1203/3728 took 317569 ms. Total solver calls (SAT/UNSAT): 2335718(3532/2332186)
Jun 02, 2017 12:44:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1207/3728 took 318588 ms. Total solver calls (SAT/UNSAT): 2343190(3544/2339646)
Jun 02, 2017 12:44:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1211/3728 took 319602 ms. Total solver calls (SAT/UNSAT): 2350662(3556/2347106)
Jun 02, 2017 12:44:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1215/3728 took 320815 ms. Total solver calls (SAT/UNSAT): 2359656(3568/2356088)
Jun 02, 2017 12:44:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1219/3728 took 321836 ms. Total solver calls (SAT/UNSAT): 2367128(3580/2363548)
Jun 02, 2017 12:44:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1223/3728 took 322849 ms. Total solver calls (SAT/UNSAT): 2374600(3592/2371008)
Jun 02, 2017 12:44:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1227/3728 took 323860 ms. Total solver calls (SAT/UNSAT): 2382072(3604/2378468)
Jun 02, 2017 12:44:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1231/3728 took 324872 ms. Total solver calls (SAT/UNSAT): 2389544(3616/2385928)
Jun 02, 2017 12:44:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1235/3728 took 326086 ms. Total solver calls (SAT/UNSAT): 2398538(3628/2394910)
Jun 02, 2017 12:44:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1239/3728 took 327100 ms. Total solver calls (SAT/UNSAT): 2406010(3640/2402370)
Jun 02, 2017 12:44:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1243/3728 took 328113 ms. Total solver calls (SAT/UNSAT): 2413482(3652/2409830)
Jun 02, 2017 12:44:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1247/3728 took 329125 ms. Total solver calls (SAT/UNSAT): 2420954(3664/2417290)
Jun 02, 2017 12:44:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1251/3728 took 330138 ms. Total solver calls (SAT/UNSAT): 2428426(3676/2424750)
Jun 02, 2017 12:44:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1255/3728 took 331353 ms. Total solver calls (SAT/UNSAT): 2437419(3688/2433731)
Jun 02, 2017 12:44:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1259/3728 took 332372 ms. Total solver calls (SAT/UNSAT): 2444892(3700/2441192)
Jun 02, 2017 12:44:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1263/3728 took 333385 ms. Total solver calls (SAT/UNSAT): 2452364(3712/2448652)
Jun 02, 2017 12:44:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1267/3728 took 334399 ms. Total solver calls (SAT/UNSAT): 2459836(3724/2456112)
Jun 02, 2017 12:44:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1271/3728 took 335412 ms. Total solver calls (SAT/UNSAT): 2467308(3736/2463572)
Jun 02, 2017 12:44:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1275/3728 took 336426 ms. Total solver calls (SAT/UNSAT): 2474780(3748/2471032)
Jun 02, 2017 12:44:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1279/3728 took 337647 ms. Total solver calls (SAT/UNSAT): 2483774(3760/2480014)
Jun 02, 2017 12:44:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1283/3728 took 338664 ms. Total solver calls (SAT/UNSAT): 2491246(3772/2487474)
Jun 02, 2017 12:44:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1287/3728 took 339680 ms. Total solver calls (SAT/UNSAT): 2498718(3784/2494934)
Jun 02, 2017 12:44:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1291/3728 took 340696 ms. Total solver calls (SAT/UNSAT): 2506190(3796/2502394)
Jun 02, 2017 12:44:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1295/3728 took 341713 ms. Total solver calls (SAT/UNSAT): 2513662(3808/2509854)
Jun 02, 2017 12:44:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1299/3728 took 342936 ms. Total solver calls (SAT/UNSAT): 2522656(3820/2518836)
Jun 02, 2017 12:44:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1303/3728 took 343950 ms. Total solver calls (SAT/UNSAT): 2530128(3832/2526296)
Jun 02, 2017 12:44:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1307/3728 took 344965 ms. Total solver calls (SAT/UNSAT): 2537600(3844/2533756)
Jun 02, 2017 12:44:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1311/3728 took 345985 ms. Total solver calls (SAT/UNSAT): 2545072(3856/2541216)
Jun 02, 2017 12:44:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1315/3728 took 347005 ms. Total solver calls (SAT/UNSAT): 2552544(3868/2548676)
Jun 02, 2017 12:44:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1319/3728 took 348227 ms. Total solver calls (SAT/UNSAT): 2561538(3880/2557658)
Jun 02, 2017 12:44:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1323/3728 took 349241 ms. Total solver calls (SAT/UNSAT): 2569010(3892/2565118)
Jun 02, 2017 12:44:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1327/3728 took 350256 ms. Total solver calls (SAT/UNSAT): 2576482(3904/2572578)
Jun 02, 2017 12:44:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1331/3728 took 351272 ms. Total solver calls (SAT/UNSAT): 2583954(3916/2580038)
Jun 02, 2017 12:44:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1335/3728 took 352288 ms. Total solver calls (SAT/UNSAT): 2591426(3928/2587498)
Jun 02, 2017 12:44:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1339/3728 took 353507 ms. Total solver calls (SAT/UNSAT): 2600419(3940/2596479)
Jun 02, 2017 12:44:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1343/3728 took 354520 ms. Total solver calls (SAT/UNSAT): 2607892(3952/2603940)
Jun 02, 2017 12:44:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1347/3728 took 355534 ms. Total solver calls (SAT/UNSAT): 2615364(3964/2611400)
Jun 02, 2017 12:44:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1351/3728 took 356549 ms. Total solver calls (SAT/UNSAT): 2622836(3976/2618860)
Jun 02, 2017 12:44:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1355/3728 took 357565 ms. Total solver calls (SAT/UNSAT): 2630308(3988/2626320)
Jun 02, 2017 12:44:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1359/3728 took 358582 ms. Total solver calls (SAT/UNSAT): 2637780(4000/2633780)
Jun 02, 2017 12:45:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1363/3728 took 359802 ms. Total solver calls (SAT/UNSAT): 2646774(4012/2642762)
Jun 02, 2017 12:45:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1367/3728 took 360818 ms. Total solver calls (SAT/UNSAT): 2654246(4024/2650222)
Jun 02, 2017 12:45:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1371/3728 took 361834 ms. Total solver calls (SAT/UNSAT): 2661718(4036/2657682)
Jun 02, 2017 12:45:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1375/3728 took 362855 ms. Total solver calls (SAT/UNSAT): 2669190(4048/2665142)
Jun 02, 2017 12:45:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1379/3728 took 363871 ms. Total solver calls (SAT/UNSAT): 2676662(4060/2672602)
Jun 02, 2017 12:45:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1383/3728 took 365091 ms. Total solver calls (SAT/UNSAT): 2685656(4072/2681584)
Jun 02, 2017 12:45:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1387/3728 took 366107 ms. Total solver calls (SAT/UNSAT): 2693128(4084/2689044)
Jun 02, 2017 12:45:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1391/3728 took 367123 ms. Total solver calls (SAT/UNSAT): 2700600(4096/2696504)
Jun 02, 2017 12:45:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1395/3728 took 368140 ms. Total solver calls (SAT/UNSAT): 2708072(4108/2703964)
Jun 02, 2017 12:45:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1399/3728 took 369156 ms. Total solver calls (SAT/UNSAT): 2715544(4120/2711424)
Jun 02, 2017 12:45:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1403/3728 took 370374 ms. Total solver calls (SAT/UNSAT): 2724538(4132/2720406)
Jun 02, 2017 12:45:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1407/3728 took 371396 ms. Total solver calls (SAT/UNSAT): 2732010(4144/2727866)
Jun 02, 2017 12:45:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1411/3728 took 372411 ms. Total solver calls (SAT/UNSAT): 2739482(4156/2735326)
Jun 02, 2017 12:45:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1415/3728 took 373428 ms. Total solver calls (SAT/UNSAT): 2746954(4168/2742786)
Jun 02, 2017 12:45:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1419/3728 took 374442 ms. Total solver calls (SAT/UNSAT): 2754426(4180/2750246)
Jun 02, 2017 12:45:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1423/3728 took 375700 ms. Total solver calls (SAT/UNSAT): 2763419(4192/2759227)
Jun 02, 2017 12:45:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1427/3728 took 376778 ms. Total solver calls (SAT/UNSAT): 2770892(4204/2766688)
Jun 02, 2017 12:45:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1431/3728 took 377792 ms. Total solver calls (SAT/UNSAT): 2778364(4216/2774148)
Jun 02, 2017 12:45:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1435/3728 took 378807 ms. Total solver calls (SAT/UNSAT): 2785836(4228/2781608)
Jun 02, 2017 12:45:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1439/3728 took 379832 ms. Total solver calls (SAT/UNSAT): 2793308(4240/2789068)
Jun 02, 2017 12:45:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1443/3728 took 380850 ms. Total solver calls (SAT/UNSAT): 2800780(4252/2796528)
Jun 02, 2017 12:45:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1447/3728 took 382069 ms. Total solver calls (SAT/UNSAT): 2809774(4264/2805510)
Jun 02, 2017 12:45:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1451/3728 took 383085 ms. Total solver calls (SAT/UNSAT): 2817246(4276/2812970)
Jun 02, 2017 12:45:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1455/3728 took 384099 ms. Total solver calls (SAT/UNSAT): 2824718(4288/2820430)
Jun 02, 2017 12:45:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1459/3728 took 385114 ms. Total solver calls (SAT/UNSAT): 2832190(4300/2827890)
Jun 02, 2017 12:45:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1463/3728 took 386131 ms. Total solver calls (SAT/UNSAT): 2839662(4312/2835350)
Jun 02, 2017 12:45:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1467/3728 took 387353 ms. Total solver calls (SAT/UNSAT): 2848656(4324/2844332)
Jun 02, 2017 12:45:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1471/3728 took 388384 ms. Total solver calls (SAT/UNSAT): 2856128(4336/2851792)
Jun 02, 2017 12:45:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1475/3728 took 389453 ms. Total solver calls (SAT/UNSAT): 2863600(4348/2859252)
Jun 02, 2017 12:45:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1479/3728 took 390464 ms. Total solver calls (SAT/UNSAT): 2871072(4360/2866712)
Jun 02, 2017 12:45:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1483/3728 took 391468 ms. Total solver calls (SAT/UNSAT): 2878544(4372/2874172)
Jun 02, 2017 12:45:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1487/3728 took 392667 ms. Total solver calls (SAT/UNSAT): 2887538(4384/2883154)
Jun 02, 2017 12:45:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1491/3728 took 393672 ms. Total solver calls (SAT/UNSAT): 2895010(4396/2890614)
Jun 02, 2017 12:45:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1495/3728 took 394675 ms. Total solver calls (SAT/UNSAT): 2902482(4408/2898074)
Jun 02, 2017 12:45:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1499/3728 took 395677 ms. Total solver calls (SAT/UNSAT): 2909954(4420/2905534)
Jun 02, 2017 12:45:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1503/3728 took 396684 ms. Total solver calls (SAT/UNSAT): 2917426(4432/2912994)
Jun 02, 2017 12:45:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1507/3728 took 397893 ms. Total solver calls (SAT/UNSAT): 2926419(4444/2921975)
Jun 02, 2017 12:45:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1511/3728 took 398895 ms. Total solver calls (SAT/UNSAT): 2933892(4456/2929436)
Jun 02, 2017 12:45:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1515/3728 took 399898 ms. Total solver calls (SAT/UNSAT): 2941364(4468/2936896)
Jun 02, 2017 12:45:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1519/3728 took 400898 ms. Total solver calls (SAT/UNSAT): 2948836(4480/2944356)
Jun 02, 2017 12:45:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1523/3728 took 401900 ms. Total solver calls (SAT/UNSAT): 2956308(4492/2951816)
Jun 02, 2017 12:45:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1527/3728 took 402900 ms. Total solver calls (SAT/UNSAT): 2963780(4504/2959276)
Jun 02, 2017 12:45:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1531/3728 took 404104 ms. Total solver calls (SAT/UNSAT): 2972774(4516/2968258)
Jun 02, 2017 12:45:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1535/3728 took 405105 ms. Total solver calls (SAT/UNSAT): 2980246(4528/2975718)
Jun 02, 2017 12:45:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1539/3728 took 406107 ms. Total solver calls (SAT/UNSAT): 2987718(4540/2983178)
Jun 02, 2017 12:45:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1543/3728 took 407108 ms. Total solver calls (SAT/UNSAT): 2995190(4552/2990638)
Jun 02, 2017 12:45:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1547/3728 took 408109 ms. Total solver calls (SAT/UNSAT): 3002662(4564/2998098)
Jun 02, 2017 12:45:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1551/3728 took 409308 ms. Total solver calls (SAT/UNSAT): 3011656(4576/3007080)
Jun 02, 2017 12:45:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1555/3728 took 410311 ms. Total solver calls (SAT/UNSAT): 3019128(4588/3014540)
Jun 02, 2017 12:45:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1559/3728 took 411317 ms. Total solver calls (SAT/UNSAT): 3026600(4600/3022000)
Jun 02, 2017 12:45:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1563/3728 took 412318 ms. Total solver calls (SAT/UNSAT): 3034072(4612/3029460)
Jun 02, 2017 12:45:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1567/3728 took 413319 ms. Total solver calls (SAT/UNSAT): 3041544(4624/3036920)
Jun 02, 2017 12:45:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1571/3728 took 414518 ms. Total solver calls (SAT/UNSAT): 3050538(4636/3045902)
Jun 02, 2017 12:45:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1576/3728 took 415767 ms. Total solver calls (SAT/UNSAT): 3059878(4651/3055227)
Jun 02, 2017 12:45:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1580/3728 took 416770 ms. Total solver calls (SAT/UNSAT): 3067350(4663/3062687)
Jun 02, 2017 12:45:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1584/3728 took 417776 ms. Total solver calls (SAT/UNSAT): 3074822(4675/3070147)
Jun 02, 2017 12:45:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1589/3728 took 419024 ms. Total solver calls (SAT/UNSAT): 3084162(4690/3079472)
Jun 02, 2017 12:46:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1593/3728 took 420225 ms. Total solver calls (SAT/UNSAT): 3093156(4702/3088454)
Jun 02, 2017 12:46:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1597/3728 took 421226 ms. Total solver calls (SAT/UNSAT): 3100628(4714/3095914)
Jun 02, 2017 12:46:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1601/3728 took 422226 ms. Total solver calls (SAT/UNSAT): 3108100(4726/3103374)
Jun 02, 2017 12:46:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1606/3728 took 423473 ms. Total solver calls (SAT/UNSAT): 3117440(4741/3112699)
Jun 02, 2017 12:46:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1610/3728 took 424683 ms. Total solver calls (SAT/UNSAT): 3124912(4753/3120159)
Jun 02, 2017 12:46:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1614/3728 took 425900 ms. Total solver calls (SAT/UNSAT): 3133906(4765/3129141)
Jun 02, 2017 12:46:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1618/3728 took 426909 ms. Total solver calls (SAT/UNSAT): 3141378(4777/3136601)
Jun 02, 2017 12:46:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1623/3728 took 428161 ms. Total solver calls (SAT/UNSAT): 3150718(4792/3145926)
Jun 02, 2017 12:46:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1627/3728 took 429163 ms. Total solver calls (SAT/UNSAT): 3158190(4804/3153386)
Jun 02, 2017 12:46:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1631/3728 took 430165 ms. Total solver calls (SAT/UNSAT): 3165662(4816/3160846)
Jun 02, 2017 12:46:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1635/3728 took 431376 ms. Total solver calls (SAT/UNSAT): 3174656(4828/3169828)
Jun 02, 2017 12:46:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1639/3728 took 432382 ms. Total solver calls (SAT/UNSAT): 3182128(4840/3177288)
Jun 02, 2017 12:46:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1643/3728 took 433422 ms. Total solver calls (SAT/UNSAT): 3189600(4852/3184748)
Jun 02, 2017 12:46:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1648/3728 took 434669 ms. Total solver calls (SAT/UNSAT): 3198940(4867/3194073)
Jun 02, 2017 12:46:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1653/3728 took 435917 ms. Total solver calls (SAT/UNSAT): 3208280(4882/3203398)
Jun 02, 2017 12:46:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1657/3728 took 437123 ms. Total solver calls (SAT/UNSAT): 3217274(4894/3212380)
Jun 02, 2017 12:46:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1662/3728 took 438369 ms. Total solver calls (SAT/UNSAT): 3226614(4909/3221705)
Jun 02, 2017 12:46:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1667/3728 took 439611 ms. Total solver calls (SAT/UNSAT): 3235954(4924/3231030)
Jun 02, 2017 12:46:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1672/3728 took 440857 ms. Total solver calls (SAT/UNSAT): 3245294(4939/3240355)
Jun 02, 2017 12:46:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1676/3728 took 442053 ms. Total solver calls (SAT/UNSAT): 3254288(4951/3249337)
Jun 02, 2017 12:46:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1681/3728 took 443299 ms. Total solver calls (SAT/UNSAT): 3263628(4966/3258662)
Jun 02, 2017 12:46:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1685/3728 took 444305 ms. Total solver calls (SAT/UNSAT): 3271100(4978/3266122)
Jun 02, 2017 12:46:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1689/3728 took 445305 ms. Total solver calls (SAT/UNSAT): 3278572(4990/3273582)
Jun 02, 2017 12:46:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1694/3728 took 446549 ms. Total solver calls (SAT/UNSAT): 3287912(5005/3282907)
Jun 02, 2017 12:46:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1698/3728 took 447742 ms. Total solver calls (SAT/UNSAT): 3296906(5017/3291889)
Jun 02, 2017 12:46:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1703/3728 took 448987 ms. Total solver calls (SAT/UNSAT): 3306246(5032/3301214)
Jun 02, 2017 12:46:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1707/3728 took 449987 ms. Total solver calls (SAT/UNSAT): 3313718(5044/3308674)
Jun 02, 2017 12:46:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1711/3728 took 450987 ms. Total solver calls (SAT/UNSAT): 3321190(5056/3316134)
Jun 02, 2017 12:46:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1715/3728 took 451987 ms. Total solver calls (SAT/UNSAT): 3328662(5068/3323594)
Jun 02, 2017 12:46:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1719/3728 took 453182 ms. Total solver calls (SAT/UNSAT): 3337656(5080/3332576)
Jun 02, 2017 12:46:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1724/3728 took 454430 ms. Total solver calls (SAT/UNSAT): 3346996(5095/3341901)
Jun 02, 2017 12:46:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1729/3728 took 455675 ms. Total solver calls (SAT/UNSAT): 3356336(5110/3351226)
Jun 02, 2017 12:46:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1733/3728 took 456676 ms. Total solver calls (SAT/UNSAT): 3363808(5122/3358686)
Jun 02, 2017 12:46:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1738/3728 took 458122 ms. Total solver calls (SAT/UNSAT): 3374669(5137/3369532)
Jun 02, 2017 12:46:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1743/3728 took 459364 ms. Total solver calls (SAT/UNSAT): 3384010(5152/3378858)
Jun 02, 2017 12:46:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1748/3728 took 460606 ms. Total solver calls (SAT/UNSAT): 3393350(5167/3388183)
Jun 02, 2017 12:46:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1753/3728 took 461854 ms. Total solver calls (SAT/UNSAT): 3402690(5182/3397508)
Jun 02, 2017 12:46:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1758/3728 took 463103 ms. Total solver calls (SAT/UNSAT): 3412030(5197/3406833)
Jun 02, 2017 12:46:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1762/3728 took 464290 ms. Total solver calls (SAT/UNSAT): 3421021(5209/3415812)
Jun 02, 2017 12:46:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1767/3728 took 465524 ms. Total solver calls (SAT/UNSAT): 3430356(5224/3425132)
Jun 02, 2017 12:46:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1772/3728 took 466756 ms. Total solver calls (SAT/UNSAT): 3439691(5239/3434452)
Jun 02, 2017 12:46:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1777/3728 took 467986 ms. Total solver calls (SAT/UNSAT): 3449026(5254/3443772)
Jun 02, 2017 12:46:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1781/3728 took 469170 ms. Total solver calls (SAT/UNSAT): 3458017(5266/3452751)
Jun 02, 2017 12:46:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1786/3728 took 470405 ms. Total solver calls (SAT/UNSAT): 3467357(5281/3462076)
Jun 02, 2017 12:46:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1791/3728 took 471638 ms. Total solver calls (SAT/UNSAT): 3476697(5296/3471401)
Jun 02, 2017 12:46:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1796/3728 took 472873 ms. Total solver calls (SAT/UNSAT): 3486037(5311/3480726)
Jun 02, 2017 12:46:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1801/3728 took 474304 ms. Total solver calls (SAT/UNSAT): 3496898(5326/3491572)
Jun 02, 2017 12:46:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1806/3728 took 475539 ms. Total solver calls (SAT/UNSAT): 3506239(5341/3500898)
Jun 02, 2017 12:46:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1811/3728 took 476781 ms. Total solver calls (SAT/UNSAT): 3515579(5356/3510223)
Jun 02, 2017 12:46:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1816/3728 took 478018 ms. Total solver calls (SAT/UNSAT): 3524919(5371/3519548)
Jun 02, 2017 12:46:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1821/3728 took 479257 ms. Total solver calls (SAT/UNSAT): 3534259(5386/3528873)
Jun 02, 2017 12:47:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1825/3728 took 480499 ms. Total solver calls (SAT/UNSAT): 3543253(5398/3537855)
Jun 02, 2017 12:47:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1830/3728 took 481744 ms. Total solver calls (SAT/UNSAT): 3552593(5413/3547180)
Jun 02, 2017 12:47:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1834/3728 took 482745 ms. Total solver calls (SAT/UNSAT): 3560065(5425/3554640)
Jun 02, 2017 12:47:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1838/3728 took 483754 ms. Total solver calls (SAT/UNSAT): 3567537(5437/3562100)
Jun 02, 2017 12:47:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1842/3728 took 484762 ms. Total solver calls (SAT/UNSAT): 3575009(5449/3569560)
Jun 02, 2017 12:47:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1846/3728 took 485970 ms. Total solver calls (SAT/UNSAT): 3584003(5461/3578542)
Jun 02, 2017 12:47:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1851/3728 took 487217 ms. Total solver calls (SAT/UNSAT): 3593343(5476/3587867)
Jun 02, 2017 12:47:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1856/3728 took 488458 ms. Total solver calls (SAT/UNSAT): 3602683(5491/3597192)
Jun 02, 2017 12:47:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1860/3728 took 489462 ms. Total solver calls (SAT/UNSAT): 3610155(5503/3604652)
Jun 02, 2017 12:47:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1864/3728 took 490665 ms. Total solver calls (SAT/UNSAT): 3619148(5515/3613633)
Jun 02, 2017 12:47:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1869/3728 took 491905 ms. Total solver calls (SAT/UNSAT): 3628489(5530/3622959)
Jun 02, 2017 12:47:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1874/3728 took 493146 ms. Total solver calls (SAT/UNSAT): 3637829(5545/3632284)
Jun 02, 2017 12:47:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1879/3728 took 494392 ms. Total solver calls (SAT/UNSAT): 3647169(5560/3641609)
Jun 02, 2017 12:47:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1884/3728 took 495630 ms. Total solver calls (SAT/UNSAT): 3656509(5575/3650934)
Jun 02, 2017 12:47:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1888/3728 took 496840 ms. Total solver calls (SAT/UNSAT): 3665503(5587/3659916)
Jun 02, 2017 12:47:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1892/3728 took 497846 ms. Total solver calls (SAT/UNSAT): 3672975(5599/3667376)
Jun 02, 2017 12:47:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1897/3728 took 499089 ms. Total solver calls (SAT/UNSAT): 3682315(5614/3676701)
Jun 02, 2017 12:47:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1902/3728 took 500335 ms. Total solver calls (SAT/UNSAT): 3691655(5629/3686026)
Jun 02, 2017 12:47:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1906/3728 took 501526 ms. Total solver calls (SAT/UNSAT): 3700648(5641/3695007)
Jun 02, 2017 12:47:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1910/3728 took 502532 ms. Total solver calls (SAT/UNSAT): 3708121(5653/3702468)
Jun 02, 2017 12:47:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1914/3728 took 503537 ms. Total solver calls (SAT/UNSAT): 3715593(5665/3709928)
Jun 02, 2017 12:47:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1918/3728 took 504540 ms. Total solver calls (SAT/UNSAT): 3723065(5677/3717388)
Jun 02, 2017 12:47:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1922/3728 took 505540 ms. Total solver calls (SAT/UNSAT): 3730537(5689/3724848)
Jun 02, 2017 12:47:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1927/3728 took 506978 ms. Total solver calls (SAT/UNSAT): 3741398(5704/3735694)
Jun 02, 2017 12:47:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1932/3728 took 508216 ms. Total solver calls (SAT/UNSAT): 3750739(5719/3745020)
Jun 02, 2017 12:47:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1937/3728 took 509457 ms. Total solver calls (SAT/UNSAT): 3760079(5734/3754345)
Jun 02, 2017 12:47:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1942/3728 took 510691 ms. Total solver calls (SAT/UNSAT): 3769419(5749/3763670)
Jun 02, 2017 12:47:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1947/3728 took 511928 ms. Total solver calls (SAT/UNSAT): 3778759(5764/3772995)
Jun 02, 2017 12:47:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1951/3728 took 513116 ms. Total solver calls (SAT/UNSAT): 3787753(5776/3781977)
Jun 02, 2017 12:47:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1956/3728 took 514352 ms. Total solver calls (SAT/UNSAT): 3797093(5791/3791302)
Jun 02, 2017 12:47:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1961/3728 took 515587 ms. Total solver calls (SAT/UNSAT): 3806433(5806/3800627)
Jun 02, 2017 12:47:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1966/3728 took 516830 ms. Total solver calls (SAT/UNSAT): 3815773(5821/3809952)
Jun 02, 2017 12:47:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1970/3728 took 518019 ms. Total solver calls (SAT/UNSAT): 3824767(5833/3818934)
Jun 02, 2017 12:47:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1975/3728 took 519258 ms. Total solver calls (SAT/UNSAT): 3834107(5848/3828259)
Jun 02, 2017 12:47:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1980/3728 took 520494 ms. Total solver calls (SAT/UNSAT): 3843447(5863/3837584)
Jun 02, 2017 12:47:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1985/3728 took 521729 ms. Total solver calls (SAT/UNSAT): 3852787(5878/3846909)
Jun 02, 2017 12:47:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1990/3728 took 523173 ms. Total solver calls (SAT/UNSAT): 3863648(5893/3857755)
Jun 02, 2017 12:47:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1995/3728 took 524410 ms. Total solver calls (SAT/UNSAT): 3872989(5908/3867081)
Jun 02, 2017 12:47:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2000/3728 took 525643 ms. Total solver calls (SAT/UNSAT): 3882329(5923/3876406)
Jun 02, 2017 12:47:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2005/3728 took 526878 ms. Total solver calls (SAT/UNSAT): 3891669(5938/3885731)
Jun 02, 2017 12:47:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2010/3728 took 528112 ms. Total solver calls (SAT/UNSAT): 3901009(5953/3895056)
Jun 02, 2017 12:47:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2014/3728 took 529310 ms. Total solver calls (SAT/UNSAT): 3910003(5965/3904038)
Jun 02, 2017 12:47:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2018/3728 took 530310 ms. Total solver calls (SAT/UNSAT): 3917475(5977/3911498)
Jun 02, 2017 12:47:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2023/3728 took 531553 ms. Total solver calls (SAT/UNSAT): 3926815(5992/3920823)
Jun 02, 2017 12:47:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2028/3728 took 532797 ms. Total solver calls (SAT/UNSAT): 3936155(6007/3930148)
Jun 02, 2017 12:47:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2032/3728 took 533987 ms. Total solver calls (SAT/UNSAT): 3945148(6019/3939129)
Jun 02, 2017 12:47:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2037/3728 took 535228 ms. Total solver calls (SAT/UNSAT): 3954489(6034/3948455)
Jun 02, 2017 12:47:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2042/3728 took 536472 ms. Total solver calls (SAT/UNSAT): 3963829(6049/3957780)
Jun 02, 2017 12:47:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2047/3728 took 537706 ms. Total solver calls (SAT/UNSAT): 3973169(6064/3967105)
Jun 02, 2017 12:47:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2051/3728 took 538740 ms. Total solver calls (SAT/UNSAT): 3980641(6076/3974565)
Jun 02, 2017 12:48:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2055/3728 took 539923 ms. Total solver calls (SAT/UNSAT): 3989635(6088/3983547)
Jun 02, 2017 12:48:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2060/3728 took 541160 ms. Total solver calls (SAT/UNSAT): 3998975(6103/3992872)
Jun 02, 2017 12:48:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2065/3728 took 542394 ms. Total solver calls (SAT/UNSAT): 4008315(6118/4002197)
Jun 02, 2017 12:48:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2069/3728 took 543395 ms. Total solver calls (SAT/UNSAT): 4015787(6130/4009657)
Jun 02, 2017 12:48:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2074/3728 took 544841 ms. Total solver calls (SAT/UNSAT): 4026648(6145/4020503)
Jun 02, 2017 12:48:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2078/3728 took 545842 ms. Total solver calls (SAT/UNSAT): 4034121(6157/4027964)
Jun 02, 2017 12:48:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2083/3728 took 547080 ms. Total solver calls (SAT/UNSAT): 4043461(6172/4037289)
Jun 02, 2017 12:48:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2088/3728 took 548316 ms. Total solver calls (SAT/UNSAT): 4052801(6187/4046614)
Jun 02, 2017 12:48:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2093/3728 took 549555 ms. Total solver calls (SAT/UNSAT): 4062141(6202/4055939)
Jun 02, 2017 12:48:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2097/3728 took 550745 ms. Total solver calls (SAT/UNSAT): 4071135(6214/4064921)
Jun 02, 2017 12:48:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2102/3728 took 551979 ms. Total solver calls (SAT/UNSAT): 4080475(6229/4074246)
Jun 02, 2017 12:48:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2107/3728 took 553208 ms. Total solver calls (SAT/UNSAT): 4089815(6244/4083571)
Jun 02, 2017 12:48:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2111/3728 took 554283 ms. Total solver calls (SAT/UNSAT): 4097287(6256/4091031)
Jun 02, 2017 12:48:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2115/3728 took 555335 ms. Total solver calls (SAT/UNSAT): 4104759(6268/4098491)
Jun 02, 2017 12:48:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2119/3728 took 556524 ms. Total solver calls (SAT/UNSAT): 4113753(6280/4107473)
Jun 02, 2017 12:48:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2124/3728 took 557765 ms. Total solver calls (SAT/UNSAT): 4123093(6295/4116798)
Jun 02, 2017 12:48:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2129/3728 took 558997 ms. Total solver calls (SAT/UNSAT): 4132433(6310/4126123)
Jun 02, 2017 12:48:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2134/3728 took 560230 ms. Total solver calls (SAT/UNSAT): 4141773(6325/4135448)
Jun 02, 2017 12:48:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2138/3728 took 561415 ms. Total solver calls (SAT/UNSAT): 4150767(6337/4144430)
Jun 02, 2017 12:48:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2143/3728 took 562649 ms. Total solver calls (SAT/UNSAT): 4160107(6352/4153755)
Jun 02, 2017 12:48:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2148/3728 took 563896 ms. Total solver calls (SAT/UNSAT): 4169447(6367/4163080)
Jun 02, 2017 12:48:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2152/3728 took 564937 ms. Total solver calls (SAT/UNSAT): 4176919(6379/4170540)
Jun 02, 2017 12:48:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2156/3728 took 565946 ms. Total solver calls (SAT/UNSAT): 4184391(6391/4178000)
Jun 02, 2017 12:48:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2160/3728 took 567136 ms. Total solver calls (SAT/UNSAT): 4193385(6403/4186982)
Jun 02, 2017 12:48:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2165/3728 took 568378 ms. Total solver calls (SAT/UNSAT): 4202725(6418/4196307)
Jun 02, 2017 12:48:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2170/3728 took 569616 ms. Total solver calls (SAT/UNSAT): 4212065(6433/4205632)
Jun 02, 2017 12:48:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2175/3728 took 570864 ms. Total solver calls (SAT/UNSAT): 4221405(6448/4214957)
Jun 02, 2017 12:48:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2179/3728 took 572067 ms. Total solver calls (SAT/UNSAT): 4230398(6460/4223938)
Jun 02, 2017 12:48:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2184/3728 took 573320 ms. Total solver calls (SAT/UNSAT): 4239739(6475/4233264)
Jun 02, 2017 12:48:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2189/3728 took 574565 ms. Total solver calls (SAT/UNSAT): 4249079(6490/4242589)
Jun 02, 2017 12:48:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2194/3728 took 575799 ms. Total solver calls (SAT/UNSAT): 4258419(6505/4251914)
Jun 02, 2017 12:48:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2199/3728 took 577035 ms. Total solver calls (SAT/UNSAT): 4267759(6520/4261239)
Jun 02, 2017 12:48:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2203/3728 took 578231 ms. Total solver calls (SAT/UNSAT): 4276753(6532/4270221)
Jun 02, 2017 12:48:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2208/3728 took 579466 ms. Total solver calls (SAT/UNSAT): 4286093(6547/4279546)
Jun 02, 2017 12:48:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2213/3728 took 580701 ms. Total solver calls (SAT/UNSAT): 4295433(6562/4288871)
Jun 02, 2017 12:48:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2218/3728 took 581936 ms. Total solver calls (SAT/UNSAT): 4304773(6577/4298196)
Jun 02, 2017 12:48:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2222/3728 took 583123 ms. Total solver calls (SAT/UNSAT): 4313767(6589/4307178)
Jun 02, 2017 12:48:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2226/3728 took 584127 ms. Total solver calls (SAT/UNSAT): 4321239(6601/4314638)
Jun 02, 2017 12:48:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2230/3728 took 585133 ms. Total solver calls (SAT/UNSAT): 4328711(6613/4322098)
Jun 02, 2017 12:48:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2234/3728 took 586165 ms. Total solver calls (SAT/UNSAT): 4336183(6625/4329558)
Jun 02, 2017 12:48:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2239/3728 took 587401 ms. Total solver calls (SAT/UNSAT): 4345523(6640/4338883)
Jun 02, 2017 12:48:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2243/3728 took 588586 ms. Total solver calls (SAT/UNSAT): 4354517(6652/4347865)
Jun 02, 2017 12:48:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2248/3728 took 589820 ms. Total solver calls (SAT/UNSAT): 4363857(6667/4357190)
Jun 02, 2017 12:48:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2253/3728 took 591063 ms. Total solver calls (SAT/UNSAT): 4373197(6682/4366515)
Jun 02, 2017 12:48:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2258/3728 took 592311 ms. Total solver calls (SAT/UNSAT): 4382537(6697/4375840)
Jun 02, 2017 12:48:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2262/3728 took 593311 ms. Total solver calls (SAT/UNSAT): 4390009(6709/4383300)
Jun 02, 2017 12:48:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2266/3728 took 594508 ms. Total solver calls (SAT/UNSAT): 4399003(6721/4392282)
Jun 02, 2017 12:48:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2271/3728 took 595746 ms. Total solver calls (SAT/UNSAT): 4408343(6736/4401607)
Jun 02, 2017 12:48:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2275/3728 took 596805 ms. Total solver calls (SAT/UNSAT): 4415815(6748/4409067)
Jun 02, 2017 12:48:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2279/3728 took 597823 ms. Total solver calls (SAT/UNSAT): 4423287(6760/4416527)
Jun 02, 2017 12:48:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2283/3728 took 598834 ms. Total solver calls (SAT/UNSAT): 4430759(6772/4423987)
Jun 02, 2017 12:49:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2287/3728 took 600039 ms. Total solver calls (SAT/UNSAT): 4439753(6784/4432969)
Jun 02, 2017 12:49:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2291/3728 took 601044 ms. Total solver calls (SAT/UNSAT): 4447225(6796/4440429)
Jun 02, 2017 12:49:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2295/3728 took 602052 ms. Total solver calls (SAT/UNSAT): 4454697(6808/4447889)
Jun 02, 2017 12:49:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2299/3728 took 603059 ms. Total solver calls (SAT/UNSAT): 4462169(6820/4455349)
Jun 02, 2017 12:49:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2303/3728 took 604066 ms. Total solver calls (SAT/UNSAT): 4469641(6832/4462809)
Jun 02, 2017 12:49:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2307/3728 took 605276 ms. Total solver calls (SAT/UNSAT): 4478635(6844/4471791)
Jun 02, 2017 12:49:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2311/3728 took 606279 ms. Total solver calls (SAT/UNSAT): 4486107(6856/4479251)
Jun 02, 2017 12:49:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2315/3728 took 607284 ms. Total solver calls (SAT/UNSAT): 4493579(6868/4486711)
Jun 02, 2017 12:49:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2319/3728 took 608289 ms. Total solver calls (SAT/UNSAT): 4501051(6880/4494171)
Jun 02, 2017 12:49:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2323/3728 took 609293 ms. Total solver calls (SAT/UNSAT): 4508523(6892/4501631)
Jun 02, 2017 12:49:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2327/3728 took 610500 ms. Total solver calls (SAT/UNSAT): 4517517(6904/4510613)
Jun 02, 2017 12:49:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2331/3728 took 611510 ms. Total solver calls (SAT/UNSAT): 4524989(6916/4518073)
Jun 02, 2017 12:49:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2335/3728 took 612522 ms. Total solver calls (SAT/UNSAT): 4532461(6928/4525533)
Jun 02, 2017 12:49:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2339/3728 took 613530 ms. Total solver calls (SAT/UNSAT): 4539933(6940/4532993)
Jun 02, 2017 12:49:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2343/3728 took 614538 ms. Total solver calls (SAT/UNSAT): 4547405(6952/4540453)
Jun 02, 2017 12:49:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2347/3728 took 615746 ms. Total solver calls (SAT/UNSAT): 4556398(6964/4549434)
Jun 02, 2017 12:49:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2351/3728 took 616753 ms. Total solver calls (SAT/UNSAT): 4563871(6976/4556895)
Jun 02, 2017 12:49:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2355/3728 took 617761 ms. Total solver calls (SAT/UNSAT): 4571343(6988/4564355)
Jun 02, 2017 12:49:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2359/3728 took 618768 ms. Total solver calls (SAT/UNSAT): 4578815(7000/4571815)
Jun 02, 2017 12:49:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2363/3728 took 619782 ms. Total solver calls (SAT/UNSAT): 4586287(7012/4579275)
Jun 02, 2017 12:49:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2367/3728 took 620798 ms. Total solver calls (SAT/UNSAT): 4593759(7024/4586735)
Jun 02, 2017 12:49:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2371/3728 took 622008 ms. Total solver calls (SAT/UNSAT): 4602753(7036/4595717)
Jun 02, 2017 12:49:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2375/3728 took 623014 ms. Total solver calls (SAT/UNSAT): 4610225(7048/4603177)
Jun 02, 2017 12:49:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2379/3728 took 624017 ms. Total solver calls (SAT/UNSAT): 4617697(7060/4610637)
Jun 02, 2017 12:49:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2383/3728 took 625020 ms. Total solver calls (SAT/UNSAT): 4625169(7072/4618097)
Jun 02, 2017 12:49:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2387/3728 took 626023 ms. Total solver calls (SAT/UNSAT): 4632641(7084/4625557)
Jun 02, 2017 12:49:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2391/3728 took 627234 ms. Total solver calls (SAT/UNSAT): 4641635(7096/4634539)
Jun 02, 2017 12:49:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2395/3728 took 628240 ms. Total solver calls (SAT/UNSAT): 4649107(7108/4641999)
Jun 02, 2017 12:49:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2399/3728 took 629243 ms. Total solver calls (SAT/UNSAT): 4656579(7120/4649459)
Jun 02, 2017 12:49:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2403/3728 took 630245 ms. Total solver calls (SAT/UNSAT): 4664051(7132/4656919)
Jun 02, 2017 12:49:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2407/3728 took 631247 ms. Total solver calls (SAT/UNSAT): 4671523(7144/4664379)
Jun 02, 2017 12:49:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2411/3728 took 632453 ms. Total solver calls (SAT/UNSAT): 4680517(7156/4673361)
Jun 02, 2017 12:49:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2415/3728 took 633456 ms. Total solver calls (SAT/UNSAT): 4687989(7168/4680821)
Jun 02, 2017 12:49:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2419/3728 took 634466 ms. Total solver calls (SAT/UNSAT): 4695461(7180/4688281)
Jun 02, 2017 12:49:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2423/3728 took 635469 ms. Total solver calls (SAT/UNSAT): 4702933(7192/4695741)
Jun 02, 2017 12:49:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2427/3728 took 636475 ms. Total solver calls (SAT/UNSAT): 4710405(7204/4703201)
Jun 02, 2017 12:49:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2431/3728 took 637686 ms. Total solver calls (SAT/UNSAT): 4719398(7216/4712182)
Jun 02, 2017 12:49:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2435/3728 took 638695 ms. Total solver calls (SAT/UNSAT): 4726871(7228/4719643)
Jun 02, 2017 12:49:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2439/3728 took 639704 ms. Total solver calls (SAT/UNSAT): 4734343(7240/4727103)
Jun 02, 2017 12:49:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2443/3728 took 640712 ms. Total solver calls (SAT/UNSAT): 4741815(7252/4734563)
Jun 02, 2017 12:49:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2447/3728 took 641731 ms. Total solver calls (SAT/UNSAT): 4749287(7264/4742023)
Jun 02, 2017 12:49:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2451/3728 took 642739 ms. Total solver calls (SAT/UNSAT): 4756759(7276/4749483)
Jun 02, 2017 12:49:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2455/3728 took 643947 ms. Total solver calls (SAT/UNSAT): 4765753(7288/4758465)
Jun 02, 2017 12:49:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2459/3728 took 644952 ms. Total solver calls (SAT/UNSAT): 4773225(7300/4765925)
Jun 02, 2017 12:49:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2463/3728 took 645957 ms. Total solver calls (SAT/UNSAT): 4780697(7312/4773385)
Jun 02, 2017 12:49:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2467/3728 took 646962 ms. Total solver calls (SAT/UNSAT): 4788169(7324/4780845)
Jun 02, 2017 12:49:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2471/3728 took 647971 ms. Total solver calls (SAT/UNSAT): 4795641(7336/4788305)
Jun 02, 2017 12:49:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2475/3728 took 649191 ms. Total solver calls (SAT/UNSAT): 4804635(7348/4797287)
Jun 02, 2017 12:49:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2479/3728 took 650204 ms. Total solver calls (SAT/UNSAT): 4812107(7360/4804747)
Jun 02, 2017 12:49:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2483/3728 took 651210 ms. Total solver calls (SAT/UNSAT): 4819579(7372/4812207)
Jun 02, 2017 12:49:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2487/3728 took 652213 ms. Total solver calls (SAT/UNSAT): 4827051(7384/4819667)
Jun 02, 2017 12:49:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2491/3728 took 653215 ms. Total solver calls (SAT/UNSAT): 4834523(7396/4827127)
Jun 02, 2017 12:49:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2495/3728 took 654421 ms. Total solver calls (SAT/UNSAT): 4843517(7408/4836109)
Jun 02, 2017 12:49:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2499/3728 took 655426 ms. Total solver calls (SAT/UNSAT): 4850989(7420/4843569)
Jun 02, 2017 12:49:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2503/3728 took 656444 ms. Total solver calls (SAT/UNSAT): 4858461(7432/4851029)
Jun 02, 2017 12:49:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2507/3728 took 657463 ms. Total solver calls (SAT/UNSAT): 4865933(7444/4858489)
Jun 02, 2017 12:49:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2511/3728 took 658476 ms. Total solver calls (SAT/UNSAT): 4873405(7456/4865949)
Jun 02, 2017 12:50:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2515/3728 took 659689 ms. Total solver calls (SAT/UNSAT): 4882398(7468/4874930)
Jun 02, 2017 12:50:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2519/3728 took 660697 ms. Total solver calls (SAT/UNSAT): 4889871(7480/4882391)
Jun 02, 2017 12:50:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2523/3728 took 661707 ms. Total solver calls (SAT/UNSAT): 4897343(7492/4889851)
Jun 02, 2017 12:50:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2527/3728 took 662717 ms. Total solver calls (SAT/UNSAT): 4904815(7504/4897311)
Jun 02, 2017 12:50:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2531/3728 took 663737 ms. Total solver calls (SAT/UNSAT): 4912287(7516/4904771)
Jun 02, 2017 12:50:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2535/3728 took 664754 ms. Total solver calls (SAT/UNSAT): 4919759(7528/4912231)
Jun 02, 2017 12:50:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2539/3728 took 665976 ms. Total solver calls (SAT/UNSAT): 4928753(7540/4921213)
Jun 02, 2017 12:50:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2543/3728 took 666981 ms. Total solver calls (SAT/UNSAT): 4936225(7552/4928673)
Jun 02, 2017 12:50:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2547/3728 took 667985 ms. Total solver calls (SAT/UNSAT): 4943697(7564/4936133)
Jun 02, 2017 12:50:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2551/3728 took 668989 ms. Total solver calls (SAT/UNSAT): 4951169(7576/4943593)
Jun 02, 2017 12:50:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2555/3728 took 669993 ms. Total solver calls (SAT/UNSAT): 4958641(7588/4951053)
Jun 02, 2017 12:50:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2559/3728 took 671215 ms. Total solver calls (SAT/UNSAT): 4967635(7600/4960035)
Jun 02, 2017 12:50:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2563/3728 took 672233 ms. Total solver calls (SAT/UNSAT): 4975107(7612/4967495)
Jun 02, 2017 12:50:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2567/3728 took 673249 ms. Total solver calls (SAT/UNSAT): 4982579(7624/4974955)
Jun 02, 2017 12:50:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2571/3728 took 674260 ms. Total solver calls (SAT/UNSAT): 4990051(7636/4982415)
Jun 02, 2017 12:50:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2575/3728 took 675263 ms. Total solver calls (SAT/UNSAT): 4997523(7648/4989875)
Jun 02, 2017 12:50:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2579/3728 took 676469 ms. Total solver calls (SAT/UNSAT): 5006517(7660/4998857)
Jun 02, 2017 12:50:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2583/3728 took 677476 ms. Total solver calls (SAT/UNSAT): 5013989(7672/5006317)
Jun 02, 2017 12:50:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2587/3728 took 678491 ms. Total solver calls (SAT/UNSAT): 5021461(7684/5013777)
Jun 02, 2017 12:50:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2591/3728 took 679495 ms. Total solver calls (SAT/UNSAT): 5028933(7696/5021237)
Jun 02, 2017 12:50:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2595/3728 took 680502 ms. Total solver calls (SAT/UNSAT): 5036405(7708/5028697)
Jun 02, 2017 12:50:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2599/3728 took 681711 ms. Total solver calls (SAT/UNSAT): 5045398(7720/5037678)
Jun 02, 2017 12:50:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2603/3728 took 682719 ms. Total solver calls (SAT/UNSAT): 5052871(7732/5045139)
Jun 02, 2017 12:50:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2607/3728 took 683725 ms. Total solver calls (SAT/UNSAT): 5060343(7744/5052599)
Jun 02, 2017 12:50:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2611/3728 took 684732 ms. Total solver calls (SAT/UNSAT): 5067815(7756/5060059)
Jun 02, 2017 12:50:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2615/3728 took 685750 ms. Total solver calls (SAT/UNSAT): 5075287(7768/5067519)
Jun 02, 2017 12:50:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2619/3728 took 686757 ms. Total solver calls (SAT/UNSAT): 5082759(7780/5074979)
Jun 02, 2017 12:50:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2623/3728 took 687968 ms. Total solver calls (SAT/UNSAT): 5091753(7792/5083961)
Jun 02, 2017 12:50:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2627/3728 took 688975 ms. Total solver calls (SAT/UNSAT): 5099225(7804/5091421)
Jun 02, 2017 12:50:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2631/3728 took 690016 ms. Total solver calls (SAT/UNSAT): 5106697(7816/5098881)
Jun 02, 2017 12:50:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2636/3728 took 691251 ms. Total solver calls (SAT/UNSAT): 5116037(7831/5108206)
Jun 02, 2017 12:50:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2640/3728 took 692277 ms. Total solver calls (SAT/UNSAT): 5123509(7843/5115666)
Jun 02, 2017 12:50:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2644/3728 took 693511 ms. Total solver calls (SAT/UNSAT): 5132503(7855/5124648)
Jun 02, 2017 12:50:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2648/3728 took 694521 ms. Total solver calls (SAT/UNSAT): 5139975(7867/5132108)
Jun 02, 2017 12:50:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2652/3728 took 695528 ms. Total solver calls (SAT/UNSAT): 5147447(7879/5139568)
Jun 02, 2017 12:50:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2656/3728 took 696535 ms. Total solver calls (SAT/UNSAT): 5154919(7891/5147028)
Jun 02, 2017 12:50:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2660/3728 took 697542 ms. Total solver calls (SAT/UNSAT): 5162391(7903/5154488)
Jun 02, 2017 12:50:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2664/3728 took 698750 ms. Total solver calls (SAT/UNSAT): 5171385(7915/5163470)
Jun 02, 2017 12:50:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2668/3728 took 699755 ms. Total solver calls (SAT/UNSAT): 5178857(7927/5170930)
Jun 02, 2017 12:50:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2672/3728 took 700773 ms. Total solver calls (SAT/UNSAT): 5186329(7939/5178390)
Jun 02, 2017 12:50:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2676/3728 took 701788 ms. Total solver calls (SAT/UNSAT): 5193801(7951/5185850)
Jun 02, 2017 12:50:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2680/3728 took 702794 ms. Total solver calls (SAT/UNSAT): 5201273(7963/5193310)
Jun 02, 2017 12:50:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2684/3728 took 704001 ms. Total solver calls (SAT/UNSAT): 5210267(7975/5202292)
Jun 02, 2017 12:50:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2688/3728 took 705006 ms. Total solver calls (SAT/UNSAT): 5217739(7987/5209752)
Jun 02, 2017 12:50:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2692/3728 took 706062 ms. Total solver calls (SAT/UNSAT): 5225211(7999/5217212)
Jun 02, 2017 12:50:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2696/3728 took 707070 ms. Total solver calls (SAT/UNSAT): 5232683(8011/5224672)
Jun 02, 2017 12:50:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2700/3728 took 708087 ms. Total solver calls (SAT/UNSAT): 5240155(8023/5232132)
Jun 02, 2017 12:50:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2704/3728 took 709304 ms. Total solver calls (SAT/UNSAT): 5249148(8035/5241113)
Jun 02, 2017 12:50:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2708/3728 took 710312 ms. Total solver calls (SAT/UNSAT): 5256621(8047/5248574)
Jun 02, 2017 12:50:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2712/3728 took 711320 ms. Total solver calls (SAT/UNSAT): 5264093(8059/5256034)
Jun 02, 2017 12:50:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2716/3728 took 712332 ms. Total solver calls (SAT/UNSAT): 5271565(8071/5263494)
Jun 02, 2017 12:50:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2720/3728 took 713342 ms. Total solver calls (SAT/UNSAT): 5279037(8083/5270954)
Jun 02, 2017 12:50:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2724/3728 took 714354 ms. Total solver calls (SAT/UNSAT): 5286509(8095/5278414)
Jun 02, 2017 12:50:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2728/3728 took 715577 ms. Total solver calls (SAT/UNSAT): 5295503(8107/5287396)
Jun 02, 2017 12:50:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2732/3728 took 716596 ms. Total solver calls (SAT/UNSAT): 5302975(8119/5294856)
Jun 02, 2017 12:50:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2736/3728 took 717619 ms. Total solver calls (SAT/UNSAT): 5310447(8131/5302316)
Jun 02, 2017 12:50:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2740/3728 took 718634 ms. Total solver calls (SAT/UNSAT): 5317919(8143/5309776)
Jun 02, 2017 12:51:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2744/3728 took 719646 ms. Total solver calls (SAT/UNSAT): 5325391(8155/5317236)
Jun 02, 2017 12:51:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2748/3728 took 720907 ms. Total solver calls (SAT/UNSAT): 5334385(8167/5326218)
Jun 02, 2017 12:51:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2752/3728 took 721911 ms. Total solver calls (SAT/UNSAT): 5341857(8179/5333678)
Jun 02, 2017 12:51:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2756/3728 took 722917 ms. Total solver calls (SAT/UNSAT): 5349329(8191/5341138)
Jun 02, 2017 12:51:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2760/3728 took 723918 ms. Total solver calls (SAT/UNSAT): 5356801(8203/5348598)
Jun 02, 2017 12:51:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2765/3728 took 725159 ms. Total solver calls (SAT/UNSAT): 5366141(8218/5357923)
Jun 02, 2017 12:51:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2769/3728 took 726347 ms. Total solver calls (SAT/UNSAT): 5375135(8230/5366905)
Jun 02, 2017 12:51:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2773/3728 took 727360 ms. Total solver calls (SAT/UNSAT): 5382607(8242/5374365)
Jun 02, 2017 12:51:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2777/3728 took 728380 ms. Total solver calls (SAT/UNSAT): 5390079(8254/5381825)
Jun 02, 2017 12:51:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2781/3728 took 729406 ms. Total solver calls (SAT/UNSAT): 5397551(8266/5389285)
Jun 02, 2017 12:51:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2785/3728 took 730423 ms. Total solver calls (SAT/UNSAT): 5405023(8278/5396745)
Jun 02, 2017 12:51:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2789/3728 took 731648 ms. Total solver calls (SAT/UNSAT): 5414017(8290/5405727)
Jun 02, 2017 12:51:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2793/3728 took 732667 ms. Total solver calls (SAT/UNSAT): 5421489(8302/5413187)
Jun 02, 2017 12:51:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2797/3728 took 733684 ms. Total solver calls (SAT/UNSAT): 5428961(8314/5420647)
Jun 02, 2017 12:51:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2801/3728 took 734698 ms. Total solver calls (SAT/UNSAT): 5436433(8326/5428107)
Jun 02, 2017 12:51:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2805/3728 took 735714 ms. Total solver calls (SAT/UNSAT): 5443905(8338/5435567)
Jun 02, 2017 12:51:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2809/3728 took 736930 ms. Total solver calls (SAT/UNSAT): 5452898(8350/5444548)
Jun 02, 2017 12:51:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2813/3728 took 737945 ms. Total solver calls (SAT/UNSAT): 5460371(8362/5452009)
Jun 02, 2017 12:51:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2817/3728 took 738964 ms. Total solver calls (SAT/UNSAT): 5467843(8374/5459469)
Jun 02, 2017 12:51:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2821/3728 took 739981 ms. Total solver calls (SAT/UNSAT): 5475315(8386/5466929)
Jun 02, 2017 12:51:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2825/3728 took 740994 ms. Total solver calls (SAT/UNSAT): 5482787(8398/5474389)
Jun 02, 2017 12:51:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2829/3728 took 742010 ms. Total solver calls (SAT/UNSAT): 5490259(8410/5481849)
Jun 02, 2017 12:51:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2833/3728 took 743232 ms. Total solver calls (SAT/UNSAT): 5499253(8422/5490831)
Jun 02, 2017 12:51:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2837/3728 took 744250 ms. Total solver calls (SAT/UNSAT): 5506725(8434/5498291)
Jun 02, 2017 12:51:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2841/3728 took 745265 ms. Total solver calls (SAT/UNSAT): 5514197(8446/5505751)
Jun 02, 2017 12:51:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2845/3728 took 746287 ms. Total solver calls (SAT/UNSAT): 5521669(8458/5513211)
Jun 02, 2017 12:51:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2849/3728 took 747302 ms. Total solver calls (SAT/UNSAT): 5529141(8470/5520671)
Jun 02, 2017 12:51:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2853/3728 took 748520 ms. Total solver calls (SAT/UNSAT): 5538135(8482/5529653)
Jun 02, 2017 12:51:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2857/3728 took 749533 ms. Total solver calls (SAT/UNSAT): 5545607(8494/5537113)
Jun 02, 2017 12:51:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2861/3728 took 750593 ms. Total solver calls (SAT/UNSAT): 5553079(8506/5544573)
Jun 02, 2017 12:51:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2865/3728 took 751597 ms. Total solver calls (SAT/UNSAT): 5560551(8518/5552033)
Jun 02, 2017 12:51:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2870/3728 took 752837 ms. Total solver calls (SAT/UNSAT): 5569891(8533/5561358)
Jun 02, 2017 12:51:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2874/3728 took 754034 ms. Total solver calls (SAT/UNSAT): 5578885(8545/5570340)
Jun 02, 2017 12:51:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2879/3728 took 755276 ms. Total solver calls (SAT/UNSAT): 5588225(8560/5579665)
Jun 02, 2017 12:51:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2884/3728 took 756519 ms. Total solver calls (SAT/UNSAT): 5597565(8575/5588990)
Jun 02, 2017 12:51:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2888/3728 took 757558 ms. Total solver calls (SAT/UNSAT): 5605037(8587/5596450)
Jun 02, 2017 12:51:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2893/3728 took 758998 ms. Total solver calls (SAT/UNSAT): 5615898(8602/5607296)
Jun 02, 2017 12:51:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2898/3728 took 760239 ms. Total solver calls (SAT/UNSAT): 5625239(8617/5616622)
Jun 02, 2017 12:51:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2903/3728 took 761487 ms. Total solver calls (SAT/UNSAT): 5634579(8632/5625947)
Jun 02, 2017 12:51:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2908/3728 took 762731 ms. Total solver calls (SAT/UNSAT): 5643919(8647/5635272)
Jun 02, 2017 12:51:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2913/3728 took 763973 ms. Total solver calls (SAT/UNSAT): 5653259(8662/5644597)
Jun 02, 2017 12:51:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2917/3728 took 765167 ms. Total solver calls (SAT/UNSAT): 5662253(8674/5653579)
Jun 02, 2017 12:51:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2921/3728 took 766348 ms. Total solver calls (SAT/UNSAT): 5669725(8686/5661039)
Jun 02, 2017 12:51:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2925/3728 took 767353 ms. Total solver calls (SAT/UNSAT): 5677197(8698/5668499)
Jun 02, 2017 12:51:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2929/3728 took 768353 ms. Total solver calls (SAT/UNSAT): 5684669(8710/5675959)
Jun 02, 2017 12:51:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2933/3728 took 769359 ms. Total solver calls (SAT/UNSAT): 5692141(8722/5683419)
Jun 02, 2017 12:51:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2937/3728 took 770553 ms. Total solver calls (SAT/UNSAT): 5701135(8734/5692401)
Jun 02, 2017 12:51:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2942/3728 took 771793 ms. Total solver calls (SAT/UNSAT): 5710475(8749/5701726)
Jun 02, 2017 12:51:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2947/3728 took 773033 ms. Total solver calls (SAT/UNSAT): 5719815(8764/5711051)
Jun 02, 2017 12:51:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2951/3728 took 774070 ms. Total solver calls (SAT/UNSAT): 5727287(8776/5718511)
Jun 02, 2017 12:51:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2956/3728 took 775513 ms. Total solver calls (SAT/UNSAT): 5738148(8791/5729357)
Jun 02, 2017 12:51:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2961/3728 took 776760 ms. Total solver calls (SAT/UNSAT): 5747489(8806/5738683)
Jun 02, 2017 12:51:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2965/3728 took 777762 ms. Total solver calls (SAT/UNSAT): 5754961(8818/5746143)
Jun 02, 2017 12:51:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2970/3728 took 779007 ms. Total solver calls (SAT/UNSAT): 5764301(8833/5755468)
Jun 02, 2017 12:52:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2975/3728 took 780245 ms. Total solver calls (SAT/UNSAT): 5773641(8848/5764793)
Jun 02, 2017 12:52:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2979/3728 took 781434 ms. Total solver calls (SAT/UNSAT): 5782635(8860/5773775)
Jun 02, 2017 12:52:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2984/3728 took 782677 ms. Total solver calls (SAT/UNSAT): 5791975(8875/5783100)
Jun 02, 2017 12:52:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2989/3728 took 783917 ms. Total solver calls (SAT/UNSAT): 5801315(8890/5792425)
Jun 02, 2017 12:52:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2993/3728 took 784924 ms. Total solver calls (SAT/UNSAT): 5808787(8902/5799885)
Jun 02, 2017 12:52:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2997/3728 took 785929 ms. Total solver calls (SAT/UNSAT): 5816259(8914/5807345)
Jun 02, 2017 12:52:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3001/3728 took 787126 ms. Total solver calls (SAT/UNSAT): 5825253(8926/5816327)
Jun 02, 2017 12:52:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3006/3728 took 788370 ms. Total solver calls (SAT/UNSAT): 5834593(8941/5825652)
Jun 02, 2017 12:52:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3011/3728 took 789612 ms. Total solver calls (SAT/UNSAT): 5843933(8956/5834977)
Jun 02, 2017 12:52:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3016/3728 took 790855 ms. Total solver calls (SAT/UNSAT): 5853273(8971/5844302)
Jun 02, 2017 12:52:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3020/3728 took 792048 ms. Total solver calls (SAT/UNSAT): 5862267(8983/5853284)
Jun 02, 2017 12:52:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3024/3728 took 793065 ms. Total solver calls (SAT/UNSAT): 5869739(8995/5860744)
Jun 02, 2017 12:52:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3028/3728 took 794075 ms. Total solver calls (SAT/UNSAT): 5877211(9007/5868204)
Jun 02, 2017 12:52:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3033/3728 took 795320 ms. Total solver calls (SAT/UNSAT): 5886551(9022/5877529)
Jun 02, 2017 12:52:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3038/3728 took 796565 ms. Total solver calls (SAT/UNSAT): 5895891(9037/5886854)
Jun 02, 2017 12:52:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3042/3728 took 797765 ms. Total solver calls (SAT/UNSAT): 5904885(9049/5895836)
Jun 02, 2017 12:52:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3047/3728 took 799008 ms. Total solver calls (SAT/UNSAT): 5914225(9064/5905161)
Jun 02, 2017 12:52:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3052/3728 took 800257 ms. Total solver calls (SAT/UNSAT): 5923565(9079/5914486)
Jun 02, 2017 12:52:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3057/3728 took 801499 ms. Total solver calls (SAT/UNSAT): 5932905(9094/5923811)
Jun 02, 2017 12:52:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3061/3728 took 802697 ms. Total solver calls (SAT/UNSAT): 5941898(9106/5932792)
Jun 02, 2017 12:52:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3066/3728 took 803943 ms. Total solver calls (SAT/UNSAT): 5951239(9121/5942118)
Jun 02, 2017 12:52:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3071/3728 took 805187 ms. Total solver calls (SAT/UNSAT): 5960579(9136/5951443)
Jun 02, 2017 12:52:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3075/3728 took 806229 ms. Total solver calls (SAT/UNSAT): 5968051(9148/5958903)
Jun 02, 2017 12:52:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3080/3728 took 807477 ms. Total solver calls (SAT/UNSAT): 5977391(9163/5968228)
Jun 02, 2017 12:52:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3084/3728 took 808676 ms. Total solver calls (SAT/UNSAT): 5986385(9175/5977210)
Jun 02, 2017 12:52:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3089/3728 took 809919 ms. Total solver calls (SAT/UNSAT): 5995725(9190/5986535)
Jun 02, 2017 12:52:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3094/3728 took 811157 ms. Total solver calls (SAT/UNSAT): 6005065(9205/5995860)
Jun 02, 2017 12:52:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3099/3728 took 812397 ms. Total solver calls (SAT/UNSAT): 6014405(9220/6005185)
Jun 02, 2017 12:52:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3103/3728 took 813591 ms. Total solver calls (SAT/UNSAT): 6023398(9232/6014166)
Jun 02, 2017 12:52:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3108/3728 took 814829 ms. Total solver calls (SAT/UNSAT): 6032739(9247/6023492)
Jun 02, 2017 12:52:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3113/3728 took 816072 ms. Total solver calls (SAT/UNSAT): 6042079(9262/6032817)
Jun 02, 2017 12:52:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3118/3728 took 817315 ms. Total solver calls (SAT/UNSAT): 6051419(9277/6042142)
Jun 02, 2017 12:52:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3122/3728 took 818351 ms. Total solver calls (SAT/UNSAT): 6058891(9289/6049602)
Jun 02, 2017 12:52:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3126/3728 took 819556 ms. Total solver calls (SAT/UNSAT): 6067885(9301/6058584)
Jun 02, 2017 12:52:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3130/3728 took 820559 ms. Total solver calls (SAT/UNSAT): 6075357(9313/6066044)
Jun 02, 2017 12:52:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3134/3728 took 821647 ms. Total solver calls (SAT/UNSAT): 6082829(9325/6073504)
Jun 02, 2017 12:52:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3138/3728 took 822736 ms. Total solver calls (SAT/UNSAT): 6090301(9337/6080964)
Jun 02, 2017 12:52:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3142/3728 took 823776 ms. Total solver calls (SAT/UNSAT): 6097773(9349/6088424)
Jun 02, 2017 12:52:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3146/3728 took 825014 ms. Total solver calls (SAT/UNSAT): 6106767(9361/6097406)
Jun 02, 2017 12:52:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3150/3728 took 826044 ms. Total solver calls (SAT/UNSAT): 6114239(9373/6104866)
Jun 02, 2017 12:52:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3154/3728 took 827066 ms. Total solver calls (SAT/UNSAT): 6121711(9385/6112326)
Jun 02, 2017 12:52:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3158/3728 took 828083 ms. Total solver calls (SAT/UNSAT): 6129183(9397/6119786)
Jun 02, 2017 12:52:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3162/3728 took 829101 ms. Total solver calls (SAT/UNSAT): 6136655(9409/6127246)
Jun 02, 2017 12:52:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3166/3728 took 830323 ms. Total solver calls (SAT/UNSAT): 6145648(9421/6136227)
Jun 02, 2017 12:52:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3170/3728 took 831341 ms. Total solver calls (SAT/UNSAT): 6153121(9433/6143688)
Jun 02, 2017 12:52:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3174/3728 took 832398 ms. Total solver calls (SAT/UNSAT): 6160593(9445/6151148)
Jun 02, 2017 12:52:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3178/3728 took 833401 ms. Total solver calls (SAT/UNSAT): 6168065(9457/6158608)
Jun 02, 2017 12:52:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3183/3728 took 834645 ms. Total solver calls (SAT/UNSAT): 6177405(9472/6167933)
Jun 02, 2017 12:52:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3187/3728 took 835832 ms. Total solver calls (SAT/UNSAT): 6186398(9484/6176914)
Jun 02, 2017 12:52:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3192/3728 took 837069 ms. Total solver calls (SAT/UNSAT): 6195739(9499/6186240)
Jun 02, 2017 12:52:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3197/3728 took 838305 ms. Total solver calls (SAT/UNSAT): 6205079(9514/6195565)
Jun 02, 2017 12:53:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3202/3728 took 839546 ms. Total solver calls (SAT/UNSAT): 6214419(9529/6204890)
Jun 02, 2017 12:53:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3206/3728 took 840547 ms. Total solver calls (SAT/UNSAT): 6221891(9541/6212350)
Jun 02, 2017 12:53:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3210/3728 took 841755 ms. Total solver calls (SAT/UNSAT): 6230885(9553/6221332)
Jun 02, 2017 12:53:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3215/3728 took 843000 ms. Total solver calls (SAT/UNSAT): 6240225(9568/6230657)
Jun 02, 2017 12:53:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3220/3728 took 844238 ms. Total solver calls (SAT/UNSAT): 6249565(9583/6239982)
Jun 02, 2017 12:53:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3225/3728 took 845473 ms. Total solver calls (SAT/UNSAT): 6258905(9598/6249307)
Jun 02, 2017 12:53:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3229/3728 took 846663 ms. Total solver calls (SAT/UNSAT): 6267898(9610/6258288)
Jun 02, 2017 12:53:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3234/3728 took 847912 ms. Total solver calls (SAT/UNSAT): 6277239(9625/6267614)
Jun 02, 2017 12:53:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3238/3728 took 848914 ms. Total solver calls (SAT/UNSAT): 6284711(9637/6275074)
Jun 02, 2017 12:53:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3242/3728 took 849916 ms. Total solver calls (SAT/UNSAT): 6292183(9649/6282534)
Jun 02, 2017 12:53:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3247/3728 took 851157 ms. Total solver calls (SAT/UNSAT): 6301523(9664/6291859)
Jun 02, 2017 12:53:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3251/3728 took 852347 ms. Total solver calls (SAT/UNSAT): 6310517(9676/6300841)
Jun 02, 2017 12:53:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3256/3728 took 853587 ms. Total solver calls (SAT/UNSAT): 6319857(9691/6310166)
Jun 02, 2017 12:53:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3261/3728 took 854822 ms. Total solver calls (SAT/UNSAT): 6329197(9706/6319491)
Jun 02, 2017 12:53:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3266/3728 took 856069 ms. Total solver calls (SAT/UNSAT): 6338537(9721/6328816)
Jun 02, 2017 12:53:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3270/3728 took 857069 ms. Total solver calls (SAT/UNSAT): 6346009(9733/6336276)
Jun 02, 2017 12:53:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3274/3728 took 858266 ms. Total solver calls (SAT/UNSAT): 6355003(9745/6345258)
Jun 02, 2017 12:53:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3279/3728 took 859502 ms. Total solver calls (SAT/UNSAT): 6364343(9760/6354583)
Jun 02, 2017 12:53:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3283/3728 took 860564 ms. Total solver calls (SAT/UNSAT): 6371815(9772/6362043)
Jun 02, 2017 12:53:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3287/3728 took 861565 ms. Total solver calls (SAT/UNSAT): 6379287(9784/6369503)
Jun 02, 2017 12:53:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3292/3728 took 863007 ms. Total solver calls (SAT/UNSAT): 6390148(9799/6380349)
Jun 02, 2017 12:53:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3296/3728 took 864010 ms. Total solver calls (SAT/UNSAT): 6397621(9811/6387810)
Jun 02, 2017 12:53:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3300/3728 took 865011 ms. Total solver calls (SAT/UNSAT): 6405093(9823/6395270)
Jun 02, 2017 12:53:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3304/3728 took 866011 ms. Total solver calls (SAT/UNSAT): 6412565(9835/6402730)
Jun 02, 2017 12:53:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3309/3728 took 867248 ms. Total solver calls (SAT/UNSAT): 6421905(9850/6412055)
Jun 02, 2017 12:53:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3313/3728 took 868437 ms. Total solver calls (SAT/UNSAT): 6430898(9862/6421036)
Jun 02, 2017 12:53:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3317/3728 took 869491 ms. Total solver calls (SAT/UNSAT): 6438371(9874/6428497)
Jun 02, 2017 12:53:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3321/3728 took 870497 ms. Total solver calls (SAT/UNSAT): 6445843(9886/6435957)
Jun 02, 2017 12:53:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3325/3728 took 871512 ms. Total solver calls (SAT/UNSAT): 6453315(9898/6443417)
Jun 02, 2017 12:53:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3329/3728 took 872532 ms. Total solver calls (SAT/UNSAT): 6460787(9910/6450877)
Jun 02, 2017 12:53:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3333/3728 took 873604 ms. Total solver calls (SAT/UNSAT): 6468259(9922/6458337)
Jun 02, 2017 12:53:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3337/3728 took 874823 ms. Total solver calls (SAT/UNSAT): 6477253(9934/6467319)
Jun 02, 2017 12:53:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3341/3728 took 875835 ms. Total solver calls (SAT/UNSAT): 6484725(9946/6474779)
Jun 02, 2017 12:53:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3345/3728 took 876845 ms. Total solver calls (SAT/UNSAT): 6492197(9958/6482239)
Jun 02, 2017 12:53:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3349/3728 took 877853 ms. Total solver calls (SAT/UNSAT): 6499669(9970/6489699)
Jun 02, 2017 12:53:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3353/3728 took 878864 ms. Total solver calls (SAT/UNSAT): 6507141(9982/6497159)
Jun 02, 2017 12:53:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3357/3728 took 880091 ms. Total solver calls (SAT/UNSAT): 6516135(9994/6506141)
Jun 02, 2017 12:53:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3361/3728 took 881111 ms. Total solver calls (SAT/UNSAT): 6523607(10006/6513601)
Jun 02, 2017 12:53:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3365/3728 took 882127 ms. Total solver calls (SAT/UNSAT): 6531079(10018/6521061)
Jun 02, 2017 12:53:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3369/3728 took 883134 ms. Total solver calls (SAT/UNSAT): 6538551(10030/6528521)
Jun 02, 2017 12:53:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3373/3728 took 884142 ms. Total solver calls (SAT/UNSAT): 6546023(10042/6535981)
Jun 02, 2017 12:53:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3377/3728 took 885358 ms. Total solver calls (SAT/UNSAT): 6555017(10054/6544963)
Jun 02, 2017 12:53:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3381/3728 took 886370 ms. Total solver calls (SAT/UNSAT): 6562489(10066/6552423)
Jun 02, 2017 12:53:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3385/3728 took 887383 ms. Total solver calls (SAT/UNSAT): 6569961(10078/6559883)
Jun 02, 2017 12:53:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3389/3728 took 888408 ms. Total solver calls (SAT/UNSAT): 6577433(10090/6567343)
Jun 02, 2017 12:53:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3393/3728 took 889428 ms. Total solver calls (SAT/UNSAT): 6584905(10102/6574803)
Jun 02, 2017 12:53:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3397/3728 took 890645 ms. Total solver calls (SAT/UNSAT): 6593898(10114/6583784)
Jun 02, 2017 12:53:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3401/3728 took 891652 ms. Total solver calls (SAT/UNSAT): 6601371(10126/6591245)
Jun 02, 2017 12:53:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3405/3728 took 892660 ms. Total solver calls (SAT/UNSAT): 6608843(10138/6598705)
Jun 02, 2017 12:53:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3409/3728 took 893667 ms. Total solver calls (SAT/UNSAT): 6616315(10150/6606165)
Jun 02, 2017 12:53:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3413/3728 took 894679 ms. Total solver calls (SAT/UNSAT): 6623787(10162/6613625)
Jun 02, 2017 12:53:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3417/3728 took 895689 ms. Total solver calls (SAT/UNSAT): 6631259(10174/6621085)
Jun 02, 2017 12:53:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3421/3728 took 896918 ms. Total solver calls (SAT/UNSAT): 6640253(10186/6630067)
Jun 02, 2017 12:53:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3425/3728 took 897924 ms. Total solver calls (SAT/UNSAT): 6647725(10198/6637527)
Jun 02, 2017 12:53:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3429/3728 took 898934 ms. Total solver calls (SAT/UNSAT): 6655197(10210/6644987)
Jun 02, 2017 12:54:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3433/3728 took 899942 ms. Total solver calls (SAT/UNSAT): 6662669(10222/6652447)
Jun 02, 2017 12:54:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3437/3728 took 900951 ms. Total solver calls (SAT/UNSAT): 6670141(10234/6659907)
Jun 02, 2017 12:54:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3447/3728 took 901974 ms. Total solver calls (SAT/UNSAT): 6677510(10248/6667262)
Jun 02, 2017 12:54:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3463/3728 took 903007 ms. Total solver calls (SAT/UNSAT): 6684774(10264/6674510)
Jun 02, 2017 12:54:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3481/3728 took 904120 ms. Total solver calls (SAT/UNSAT): 6692566(10282/6682284)
Jun 02, 2017 1:06:22 PM fr.lip6.move.gal.itstools.Runner runTool
INFO: Standard error output from running tool CommandLine [args=[/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLFireability.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLFireability.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
built 539 ordering constraints for composite.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_BridgeAndVehicles-COL-V80P50N20"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/S_BridgeAndVehicles-COL-V80P50N20.tgz
mv S_BridgeAndVehicles-COL-V80P50N20 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is S_BridgeAndVehicles-COL-V80P50N20, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r090-csrt-149441076800420"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
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 ;