About the Execution of ITS-Tools for S_BridgeAndVehicles-PT-V80P50N20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15941.420 | 3600000.00 | 4784530.00 | 502.90 | [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-PT-V80P50N20, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r090-csrt-149441076900563
=====================================================================
--------------------
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-LTLCardinality-0
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-1
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-10
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-11
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-12
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-13
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-14
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-15
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-2
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-3
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-4
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-5
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-6
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-7
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-8
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-9
=== Now, execution of the tool begins
BK_START 1496422511455
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/LTLCardinality.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLCardinality.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((F(("(VIDANGE_1+VIDANGE_2)<=((((((((((((((((((((COMPTEUR_0+COMPTEUR_1)+COMPTEUR_2)+COMPTEUR_3)+COMPTEUR_4)+COMPTEUR_5)+COMPTEUR_6)+COMPTEUR_7)+COMPTEUR_8)+COMPTEUR_9)+COMPTEUR_10)+COMPTEUR_11)+COMPTEUR_12)+COMPTEUR_13)+COMPTEUR_14)+COMPTEUR_15)+COMPTEUR_16)+COMPTEUR_17)+COMPTEUR_18)+COMPTEUR_19)+COMPTEUR_20)")U("ROUTE_B<=(VIDANGE_1+VIDANGE_2)"))))
Formula 0 simplified : !F("(VIDANGE_1+VIDANGE_2)<=((((((((((((((((((((COMPTEUR_0+COMPTEUR_1)+COMPTEUR_2)+COMPTEUR_3)+COMPTEUR_4)+COMPTEUR_5)+COMPTEUR_6)+COMPTEUR_7)+COMPTEUR_8)+COMPTEUR_9)+COMPTEUR_10)+COMPTEUR_11)+COMPTEUR_12)+COMPTEUR_13)+COMPTEUR_14)+COMPTEUR_15)+COMPTEUR_16)+COMPTEUR_17)+COMPTEUR_18)+COMPTEUR_19)+COMPTEUR_20)" U "ROUTE_B<=(VIDANGE_1+VIDANGE_2)")
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 3728 rows 198 cols
invariant : 1'NB_ATTENTE_B_0 + 1'NB_ATTENTE_B_1 + 1'NB_ATTENTE_B_2 + 1'NB_ATTENTE_B_3 + 1'NB_ATTENTE_B_4 + 1'NB_ATTENTE_B_5 + 1'NB_ATTENTE_B_6 + 1'NB_ATTENTE_B_7 + 1'NB_ATTENTE_B_8 + 1'NB_ATTENTE_B_9 + 1'NB_ATTENTE_B_10 + 1'NB_ATTENTE_B_11 + 1'NB_ATTENTE_B_12 + 1'NB_ATTENTE_B_13 + 1'NB_ATTENTE_B_14 + 1'NB_ATTENTE_B_15 + 1'NB_ATTENTE_B_16 + 1'NB_ATTENTE_B_17 + 1'NB_ATTENTE_B_18 + 1'NB_ATTENTE_B_19 + 1'NB_ATTENTE_B_20 + 1'NB_ATTENTE_B_21 + 1'NB_ATTENTE_B_22 + 1'NB_ATTENTE_B_23 + 1'NB_ATTENTE_B_24 + 1'NB_ATTENTE_B_25 + 1'NB_ATTENTE_B_26 + 1'NB_ATTENTE_B_27 + 1'NB_ATTENTE_B_28 + 1'NB_ATTENTE_B_29 + 1'NB_ATTENTE_B_30 + 1'NB_ATTENTE_B_31 + 1'NB_ATTENTE_B_32 + 1'NB_ATTENTE_B_33 + 1'NB_ATTENTE_B_34 + 1'NB_ATTENTE_B_35 + 1'NB_ATTENTE_B_36 + 1'NB_ATTENTE_B_37 + 1'NB_ATTENTE_B_38 + 1'NB_ATTENTE_B_39 + 1'NB_ATTENTE_B_40 + 1'NB_ATTENTE_B_41 + 1'NB_ATTENTE_B_42 + 1'NB_ATTENTE_B_43 + 1'NB_ATTENTE_B_44 + 1'NB_ATTENTE_B_45 + 1'NB_ATTENTE_B_46 + 1'NB_ATTENTE_B_47 + 1'NB_ATTENTE_B_48 + 1'NB_ATTENTE_B_49 + 1'NB_ATTENTE_B_50 + 1'NB_ATTENTE_B_51 + 1'NB_ATTENTE_B_52 + 1'NB_ATTENTE_B_53 + 1'NB_ATTENTE_B_54 + 1'NB_ATTENTE_B_55 + 1'NB_ATTENTE_B_56 + 1'NB_ATTENTE_B_57 + 1'NB_ATTENTE_B_58 + 1'NB_ATTENTE_B_59 + 1'NB_ATTENTE_B_60 + 1'NB_ATTENTE_B_61 + 1'NB_ATTENTE_B_62 + 1'NB_ATTENTE_B_63 + 1'NB_ATTENTE_B_64 + 1'NB_ATTENTE_B_65 + 1'NB_ATTENTE_B_66 + 1'NB_ATTENTE_B_67 + 1'NB_ATTENTE_B_68 + 1'NB_ATTENTE_B_69 + 1'NB_ATTENTE_B_70 + 1'NB_ATTENTE_B_71 + 1'NB_ATTENTE_B_72 + 1'NB_ATTENTE_B_73 + 1'NB_ATTENTE_B_74 + 1'NB_ATTENTE_B_75 + 1'NB_ATTENTE_B_76 + 1'NB_ATTENTE_B_77 + 1'NB_ATTENTE_B_78 + 1'NB_ATTENTE_B_79 + 1'NB_ATTENTE_B_80= 1
invariant : 1'ROUTE_A + 1'ATTENTE_A + 1'SUR_PONT_A + 1'SORTI_A= 80
invariant : 1'COMPTEUR_0 + 1'COMPTEUR_1 + 1'COMPTEUR_2 + 1'COMPTEUR_3 + 1'COMPTEUR_4 + 1'COMPTEUR_5 + 1'COMPTEUR_6 + 1'COMPTEUR_7 + 1'COMPTEUR_8 + 1'COMPTEUR_9 + 1'COMPTEUR_10 + 1'COMPTEUR_11 + 1'COMPTEUR_12 + 1'COMPTEUR_13 + 1'COMPTEUR_14 + 1'COMPTEUR_15 + 1'COMPTEUR_16 + 1'COMPTEUR_17 + 1'COMPTEUR_18 + 1'COMPTEUR_19 + 1'COMPTEUR_20= 1
invariant : 1'SUR_PONT_A + 1'CAPACITE + 1'SUR_PONT_B= 50
invariant : -1'SUR_PONT_A + -1'CAPACITE + 1'ATTENTE_B + 1'SORTI_B + 1'ROUTE_B= 30
invariant : 1'NB_ATTENTE_A_0 + 1'NB_ATTENTE_A_1 + 1'NB_ATTENTE_A_2 + 1'NB_ATTENTE_A_3 + 1'NB_ATTENTE_A_4 + 1'NB_ATTENTE_A_5 + 1'NB_ATTENTE_A_6 + 1'NB_ATTENTE_A_7 + 1'NB_ATTENTE_A_8 + 1'NB_ATTENTE_A_9 + 1'NB_ATTENTE_A_10 + 1'NB_ATTENTE_A_11 + 1'NB_ATTENTE_A_12 + 1'NB_ATTENTE_A_13 + 1'NB_ATTENTE_A_14 + 1'NB_ATTENTE_A_15 + 1'NB_ATTENTE_A_16 + 1'NB_ATTENTE_A_17 + 1'NB_ATTENTE_A_18 + 1'NB_ATTENTE_A_19 + 1'NB_ATTENTE_A_20 + 1'NB_ATTENTE_A_21 + 1'NB_ATTENTE_A_22 + 1'NB_ATTENTE_A_23 + 1'NB_ATTENTE_A_24 + 1'NB_ATTENTE_A_25 + 1'NB_ATTENTE_A_26 + 1'NB_ATTENTE_A_27 + 1'NB_ATTENTE_A_28 + 1'NB_ATTENTE_A_29 + 1'NB_ATTENTE_A_30 + 1'NB_ATTENTE_A_31 + 1'NB_ATTENTE_A_32 + 1'NB_ATTENTE_A_33 + 1'NB_ATTENTE_A_34 + 1'NB_ATTENTE_A_35 + 1'NB_ATTENTE_A_36 + 1'NB_ATTENTE_A_37 + 1'NB_ATTENTE_A_38 + 1'NB_ATTENTE_A_39 + 1'NB_ATTENTE_A_40 + 1'NB_ATTENTE_A_41 + 1'NB_ATTENTE_A_42 + 1'NB_ATTENTE_A_43 + 1'NB_ATTENTE_A_44 + 1'NB_ATTENTE_A_45 + 1'NB_ATTENTE_A_46 + 1'NB_ATTENTE_A_47 + 1'NB_ATTENTE_A_48 + 1'NB_ATTENTE_A_49 + 1'NB_ATTENTE_A_50 + 1'NB_ATTENTE_A_51 + 1'NB_ATTENTE_A_52 + 1'NB_ATTENTE_A_53 + 1'NB_ATTENTE_A_54 + 1'NB_ATTENTE_A_55 + 1'NB_ATTENTE_A_56 + 1'NB_ATTENTE_A_57 + 1'NB_ATTENTE_A_58 + 1'NB_ATTENTE_A_59 + 1'NB_ATTENTE_A_60 + 1'NB_ATTENTE_A_61 + 1'NB_ATTENTE_A_62 + 1'NB_ATTENTE_A_63 + 1'NB_ATTENTE_A_64 + 1'NB_ATTENTE_A_65 + 1'NB_ATTENTE_A_66 + 1'NB_ATTENTE_A_67 + 1'NB_ATTENTE_A_68 + 1'NB_ATTENTE_A_69 + 1'NB_ATTENTE_A_70 + 1'NB_ATTENTE_A_71 + 1'NB_ATTENTE_A_72 + 1'NB_ATTENTE_A_73 + 1'NB_ATTENTE_A_74 + 1'NB_ATTENTE_A_75 + 1'NB_ATTENTE_A_76 + 1'NB_ATTENTE_A_77 + 1'NB_ATTENTE_A_78 + 1'NB_ATTENTE_A_79 + 1'NB_ATTENTE_A_80= 1
invariant : 1'CONTROLEUR_1 + 1'CONTROLEUR_2 + 1'CHOIX_1 + 1'CHOIX_2 + 1'VIDANGE_1 + 1'VIDANGE_2= 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
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLCardinality -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 LTLCardinality -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 02, 2017 4:55:13 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 02, 2017 4:55:13 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 300 ms
Jun 02, 2017 4:55:13 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 198 places.
Jun 02, 2017 4:55:13 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 3728 transitions.
Jun 02, 2017 4:55:14 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 832 ms
Jun 02, 2017 4:55:14 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 112 ms
Jun 02, 2017 4:55:14 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 2 ms
Jun 02, 2017 4:55:17 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 497 ms
Jun 02, 2017 4:55:32 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 198 variables to be positive in 15271 ms
Jun 02, 2017 4:55:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 3728 transitions.
Jun 02, 2017 4:55:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3728 took 295 ms. Total solver calls (SAT/UNSAT): 1943(2/1941)
Jun 02, 2017 4:55:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/3728 took 1502 ms. Total solver calls (SAT/UNSAT): 9715(10/9705)
Jun 02, 2017 4:55:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/3728 took 2661 ms. Total solver calls (SAT/UNSAT): 17487(18/17469)
Jun 02, 2017 4:55:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :11/3728 took 3738 ms. Total solver calls (SAT/UNSAT): 23316(24/23292)
Jun 02, 2017 4:55:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :15/3728 took 4883 ms. Total solver calls (SAT/UNSAT): 31088(32/31056)
Jun 02, 2017 4:55:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :19/3728 took 5962 ms. Total solver calls (SAT/UNSAT): 38860(40/38820)
Jun 02, 2017 4:55:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :23/3728 took 7077 ms. Total solver calls (SAT/UNSAT): 46632(48/46584)
Jun 02, 2017 4:55:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/3728 took 8361 ms. Total solver calls (SAT/UNSAT): 54404(56/54348)
Jun 02, 2017 4:55:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :31/3728 took 9619 ms. Total solver calls (SAT/UNSAT): 62176(64/62112)
Jun 02, 2017 4:55:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :35/3728 took 10788 ms. Total solver calls (SAT/UNSAT): 69948(72/69876)
Jun 02, 2017 4:55:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :39/3728 took 11912 ms. Total solver calls (SAT/UNSAT): 77720(80/77640)
Jun 02, 2017 4:55:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/3728 took 13009 ms. Total solver calls (SAT/UNSAT): 85492(88/85404)
Jun 02, 2017 4:55:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/3728 took 14093 ms. Total solver calls (SAT/UNSAT): 93264(96/93168)
Jun 02, 2017 4:55:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :51/3728 took 15174 ms. Total solver calls (SAT/UNSAT): 101036(104/100932)
Jun 02, 2017 4:55:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/3728 took 16344 ms. Total solver calls (SAT/UNSAT): 108808(112/108696)
Jun 02, 2017 4:55:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :59/3728 took 17539 ms. Total solver calls (SAT/UNSAT): 116580(120/116460)
Jun 02, 2017 4:55:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :63/3728 took 18723 ms. Total solver calls (SAT/UNSAT): 124352(128/124224)
Jun 02, 2017 4:55:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :67/3728 took 19791 ms. Total solver calls (SAT/UNSAT): 132124(136/131988)
Jun 02, 2017 4:55:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :71/3728 took 20858 ms. Total solver calls (SAT/UNSAT): 139896(144/139752)
Jun 02, 2017 4:55:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :75/3728 took 22114 ms. Total solver calls (SAT/UNSAT): 147668(152/147516)
Jun 02, 2017 4:55:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :79/3728 took 23255 ms. Total solver calls (SAT/UNSAT): 155440(160/155280)
Jun 02, 2017 4:55:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :83/3728 took 24323 ms. Total solver calls (SAT/UNSAT): 162915(172/162743)
Jun 02, 2017 4:55:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :87/3728 took 25471 ms. Total solver calls (SAT/UNSAT): 170391(184/170207)
Jun 02, 2017 4:55:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :91/3728 took 26476 ms. Total solver calls (SAT/UNSAT): 177867(196/177671)
Jun 02, 2017 4:55:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/3728 took 27577 ms. Total solver calls (SAT/UNSAT): 185343(208/185135)
Jun 02, 2017 4:56:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :99/3728 took 28654 ms. Total solver calls (SAT/UNSAT): 192819(220/192599)
Jun 02, 2017 4:56:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :103/3728 took 29827 ms. Total solver calls (SAT/UNSAT): 200295(232/200063)
Jun 02, 2017 4:56:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/3728 took 31073 ms. Total solver calls (SAT/UNSAT): 209640(247/209393)
Jun 02, 2017 4:56:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/3728 took 32320 ms. Total solver calls (SAT/UNSAT): 218985(262/218723)
Jun 02, 2017 4:56:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :117/3728 took 33325 ms. Total solver calls (SAT/UNSAT): 226461(274/226187)
Jun 02, 2017 4:56:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :121/3728 took 34371 ms. Total solver calls (SAT/UNSAT): 233937(286/233651)
Jun 02, 2017 4:56:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/3728 took 35385 ms. Total solver calls (SAT/UNSAT): 241413(298/241115)
Jun 02, 2017 4:56:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :129/3728 took 36396 ms. Total solver calls (SAT/UNSAT): 248889(310/248579)
Jun 02, 2017 4:56:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :133/3728 took 37409 ms. Total solver calls (SAT/UNSAT): 256365(322/256043)
Jun 02, 2017 4:56:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/3728 took 38410 ms. Total solver calls (SAT/UNSAT): 263841(334/263507)
Jun 02, 2017 4:56:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :142/3728 took 39658 ms. Total solver calls (SAT/UNSAT): 273186(349/272837)
Jun 02, 2017 4:56:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/3728 took 40662 ms. Total solver calls (SAT/UNSAT): 280662(361/280301)
Jun 02, 2017 4:56:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/3728 took 41665 ms. Total solver calls (SAT/UNSAT): 288138(373/287765)
Jun 02, 2017 4:56:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :154/3728 took 42704 ms. Total solver calls (SAT/UNSAT): 295614(385/295229)
Jun 02, 2017 4:56:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/3728 took 43720 ms. Total solver calls (SAT/UNSAT): 303090(397/302693)
Jun 02, 2017 4:56:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/3728 took 44733 ms. Total solver calls (SAT/UNSAT): 310562(409/310153)
Jun 02, 2017 4:56:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :166/3728 took 45746 ms. Total solver calls (SAT/UNSAT): 318034(421/317613)
Jun 02, 2017 4:56:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/3728 took 46811 ms. Total solver calls (SAT/UNSAT): 325506(433/325073)
Jun 02, 2017 4:56:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/3728 took 47828 ms. Total solver calls (SAT/UNSAT): 332978(445/332533)
Jun 02, 2017 4:56:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :178/3728 took 48845 ms. Total solver calls (SAT/UNSAT): 340450(457/339993)
Jun 02, 2017 4:56:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/3728 took 49905 ms. Total solver calls (SAT/UNSAT): 347922(469/347453)
Jun 02, 2017 4:56:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/3728 took 50916 ms. Total solver calls (SAT/UNSAT): 355394(481/354913)
Jun 02, 2017 4:56:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :190/3728 took 51932 ms. Total solver calls (SAT/UNSAT): 362866(493/362373)
Jun 02, 2017 4:56:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/3728 took 53062 ms. Total solver calls (SAT/UNSAT): 370338(505/369833)
Jun 02, 2017 4:56:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :198/3728 took 54073 ms. Total solver calls (SAT/UNSAT): 377810(517/377293)
Jun 02, 2017 4:56:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :202/3728 took 55076 ms. Total solver calls (SAT/UNSAT): 385282(529/384753)
Jun 02, 2017 4:56:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :206/3728 took 56080 ms. Total solver calls (SAT/UNSAT): 392754(541/392213)
Jun 02, 2017 4:56:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/3728 took 57138 ms. Total solver calls (SAT/UNSAT): 400226(553/399673)
Jun 02, 2017 4:56:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :214/3728 took 58150 ms. Total solver calls (SAT/UNSAT): 407698(565/407133)
Jun 02, 2017 4:56:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :218/3728 took 59158 ms. Total solver calls (SAT/UNSAT): 415170(577/414593)
Jun 02, 2017 4:56:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/3728 took 60167 ms. Total solver calls (SAT/UNSAT): 422642(589/422053)
Jun 02, 2017 4:56:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/3728 took 61183 ms. Total solver calls (SAT/UNSAT): 430114(601/429513)
Jun 02, 2017 4:56:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :230/3728 took 62215 ms. Total solver calls (SAT/UNSAT): 437586(613/436973)
Jun 02, 2017 4:56:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/3728 took 63230 ms. Total solver calls (SAT/UNSAT): 445058(625/444433)
Jun 02, 2017 4:56:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :238/3728 took 64241 ms. Total solver calls (SAT/UNSAT): 452530(637/451893)
Jun 02, 2017 4:56:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :242/3728 took 65251 ms. Total solver calls (SAT/UNSAT): 460001(649/459352)
Jun 02, 2017 4:56:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :246/3728 took 66257 ms. Total solver calls (SAT/UNSAT): 467473(661/466812)
Jun 02, 2017 4:56:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :251/3728 took 67506 ms. Total solver calls (SAT/UNSAT): 476813(676/476137)
Jun 02, 2017 4:56:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :255/3728 took 68507 ms. Total solver calls (SAT/UNSAT): 484285(688/483597)
Jun 02, 2017 4:56:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :260/3728 took 69756 ms. Total solver calls (SAT/UNSAT): 493625(703/492922)
Jun 02, 2017 4:56:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :265/3728 took 71002 ms. Total solver calls (SAT/UNSAT): 502965(718/502247)
Jun 02, 2017 4:56:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :269/3728 took 72047 ms. Total solver calls (SAT/UNSAT): 510437(730/509707)
Jun 02, 2017 4:56:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :273/3728 took 73104 ms. Total solver calls (SAT/UNSAT): 517909(742/517167)
Jun 02, 2017 4:56:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :277/3728 took 74109 ms. Total solver calls (SAT/UNSAT): 525381(754/524627)
Jun 02, 2017 4:56:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :282/3728 took 75355 ms. Total solver calls (SAT/UNSAT): 534721(769/533952)
Jun 02, 2017 4:56:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :287/3728 took 76602 ms. Total solver calls (SAT/UNSAT): 544061(784/543277)
Jun 02, 2017 4:56:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :291/3728 took 77606 ms. Total solver calls (SAT/UNSAT): 551533(796/550737)
Jun 02, 2017 4:56:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/3728 took 78853 ms. Total solver calls (SAT/UNSAT): 560873(811/560062)
Jun 02, 2017 4:56:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :300/3728 took 79902 ms. Total solver calls (SAT/UNSAT): 568345(823/567522)
Jun 02, 2017 4:56:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/3728 took 80911 ms. Total solver calls (SAT/UNSAT): 575817(835/574982)
Jun 02, 2017 4:56:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/3728 took 81970 ms. Total solver calls (SAT/UNSAT): 583289(847/582442)
Jun 02, 2017 4:56:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :312/3728 took 83011 ms. Total solver calls (SAT/UNSAT): 590761(859/589902)
Jun 02, 2017 4:56:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/3728 took 84011 ms. Total solver calls (SAT/UNSAT): 598233(871/597362)
Jun 02, 2017 4:56:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/3728 took 85257 ms. Total solver calls (SAT/UNSAT): 607572(886/606686)
Jun 02, 2017 4:56:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :326/3728 took 86501 ms. Total solver calls (SAT/UNSAT): 616912(901/616011)
Jun 02, 2017 4:56:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :331/3728 took 87744 ms. Total solver calls (SAT/UNSAT): 626252(916/625336)
Jun 02, 2017 4:57:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :335/3728 took 88749 ms. Total solver calls (SAT/UNSAT): 633724(928/632796)
Jun 02, 2017 4:57:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :340/3728 took 89995 ms. Total solver calls (SAT/UNSAT): 643064(943/642121)
Jun 02, 2017 4:57:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :345/3728 took 91240 ms. Total solver calls (SAT/UNSAT): 652404(958/651446)
Jun 02, 2017 4:57:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/3728 took 92483 ms. Total solver calls (SAT/UNSAT): 661744(973/660771)
Jun 02, 2017 4:57:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :354/3728 took 93497 ms. Total solver calls (SAT/UNSAT): 669216(985/668231)
Jun 02, 2017 4:57:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/3728 took 94745 ms. Total solver calls (SAT/UNSAT): 678556(1000/677556)
Jun 02, 2017 4:57:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/3728 took 95990 ms. Total solver calls (SAT/UNSAT): 687896(1015/686881)
Jun 02, 2017 4:57:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/3728 took 97235 ms. Total solver calls (SAT/UNSAT): 697236(1030/696206)
Jun 02, 2017 4:57:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/3728 took 98478 ms. Total solver calls (SAT/UNSAT): 706576(1045/705531)
Jun 02, 2017 4:57:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/3728 took 99723 ms. Total solver calls (SAT/UNSAT): 715916(1060/714856)
Jun 02, 2017 4:57:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/3728 took 100723 ms. Total solver calls (SAT/UNSAT): 723388(1072/722316)
Jun 02, 2017 4:57:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/3728 took 101969 ms. Total solver calls (SAT/UNSAT): 732728(1087/731641)
Jun 02, 2017 4:57:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/3728 took 103229 ms. Total solver calls (SAT/UNSAT): 742068(1102/740966)
Jun 02, 2017 4:57:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/3728 took 104477 ms. Total solver calls (SAT/UNSAT): 751408(1117/750291)
Jun 02, 2017 4:57:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/3728 took 105719 ms. Total solver calls (SAT/UNSAT): 760747(1132/759615)
Jun 02, 2017 4:57:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/3728 took 106721 ms. Total solver calls (SAT/UNSAT): 768219(1144/767075)
Jun 02, 2017 4:57:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/3728 took 107970 ms. Total solver calls (SAT/UNSAT): 777559(1159/776400)
Jun 02, 2017 4:57:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :417/3728 took 109220 ms. Total solver calls (SAT/UNSAT): 786899(1174/785725)
Jun 02, 2017 4:57:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/3728 took 110220 ms. Total solver calls (SAT/UNSAT): 794371(1186/793185)
Jun 02, 2017 4:57:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/3728 took 111222 ms. Total solver calls (SAT/UNSAT): 801843(1198/800645)
Jun 02, 2017 4:57:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/3728 took 112225 ms. Total solver calls (SAT/UNSAT): 809315(1210/808105)
Jun 02, 2017 4:57:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/3728 took 113229 ms. Total solver calls (SAT/UNSAT): 816787(1222/815565)
Jun 02, 2017 4:57:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/3728 took 114245 ms. Total solver calls (SAT/UNSAT): 824259(1234/823025)
Jun 02, 2017 4:57:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/3728 took 115249 ms. Total solver calls (SAT/UNSAT): 831731(1246/830485)
Jun 02, 2017 4:57:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/3728 took 116253 ms. Total solver calls (SAT/UNSAT): 839203(1258/837945)
Jun 02, 2017 4:57:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/3728 took 117263 ms. Total solver calls (SAT/UNSAT): 846675(1270/845405)
Jun 02, 2017 4:57:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/3728 took 118267 ms. Total solver calls (SAT/UNSAT): 854147(1282/852865)
Jun 02, 2017 4:57:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/3728 took 119332 ms. Total solver calls (SAT/UNSAT): 861619(1294/860325)
Jun 02, 2017 4:57:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/3728 took 120380 ms. Total solver calls (SAT/UNSAT): 869091(1306/867785)
Jun 02, 2017 4:57:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :466/3728 took 121619 ms. Total solver calls (SAT/UNSAT): 878431(1321/877110)
Jun 02, 2017 4:57:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/3728 took 122864 ms. Total solver calls (SAT/UNSAT): 887771(1336/886435)
Jun 02, 2017 4:57:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/3728 took 124107 ms. Total solver calls (SAT/UNSAT): 897111(1351/895760)
Jun 02, 2017 4:57:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/3728 took 125179 ms. Total solver calls (SAT/UNSAT): 904582(1363/903219)
Jun 02, 2017 4:57:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/3728 took 126179 ms. Total solver calls (SAT/UNSAT): 912054(1375/910679)
Jun 02, 2017 4:57:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/3728 took 127424 ms. Total solver calls (SAT/UNSAT): 921394(1390/920004)
Jun 02, 2017 4:57:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :493/3728 took 128475 ms. Total solver calls (SAT/UNSAT): 928866(1402/927464)
Jun 02, 2017 4:57:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/3728 took 129584 ms. Total solver calls (SAT/UNSAT): 936338(1414/934924)
Jun 02, 2017 4:57:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/3728 took 130590 ms. Total solver calls (SAT/UNSAT): 943810(1426/942384)
Jun 02, 2017 4:57:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :505/3728 took 131658 ms. Total solver calls (SAT/UNSAT): 951282(1438/949844)
Jun 02, 2017 4:57:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :509/3728 took 132772 ms. Total solver calls (SAT/UNSAT): 958754(1450/957304)
Jun 02, 2017 4:57:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/3728 took 133821 ms. Total solver calls (SAT/UNSAT): 966226(1462/964764)
Jun 02, 2017 4:57:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :517/3728 took 134882 ms. Total solver calls (SAT/UNSAT): 973698(1474/972224)
Jun 02, 2017 4:57:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/3728 took 135933 ms. Total solver calls (SAT/UNSAT): 981170(1486/979684)
Jun 02, 2017 4:57:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/3728 took 137011 ms. Total solver calls (SAT/UNSAT): 988642(1498/987144)
Jun 02, 2017 4:57:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/3728 took 138123 ms. Total solver calls (SAT/UNSAT): 996114(1510/994604)
Jun 02, 2017 4:57:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/3728 took 139152 ms. Total solver calls (SAT/UNSAT): 1003586(1522/1002064)
Jun 02, 2017 4:57:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :537/3728 took 140194 ms. Total solver calls (SAT/UNSAT): 1011058(1534/1009524)
Jun 02, 2017 4:57:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :541/3728 took 141213 ms. Total solver calls (SAT/UNSAT): 1018530(1546/1016984)
Jun 02, 2017 4:57:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :545/3728 took 142221 ms. Total solver calls (SAT/UNSAT): 1026002(1558/1024444)
Jun 02, 2017 4:57:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :549/3728 took 143229 ms. Total solver calls (SAT/UNSAT): 1033474(1570/1031904)
Jun 02, 2017 4:57:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :553/3728 took 144242 ms. Total solver calls (SAT/UNSAT): 1040946(1582/1039364)
Jun 02, 2017 4:57:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :557/3728 took 145286 ms. Total solver calls (SAT/UNSAT): 1048418(1594/1046824)
Jun 02, 2017 4:57:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/3728 took 146357 ms. Total solver calls (SAT/UNSAT): 1055889(1606/1054283)
Jun 02, 2017 4:57:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/3728 took 147400 ms. Total solver calls (SAT/UNSAT): 1063361(1618/1061743)
Jun 02, 2017 4:58:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/3728 took 148474 ms. Total solver calls (SAT/UNSAT): 1070833(1630/1069203)
Jun 02, 2017 4:58:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/3728 took 149715 ms. Total solver calls (SAT/UNSAT): 1080173(1645/1078528)
Jun 02, 2017 4:58:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/3728 took 150958 ms. Total solver calls (SAT/UNSAT): 1089513(1660/1087853)
Jun 02, 2017 4:58:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/3728 took 152201 ms. Total solver calls (SAT/UNSAT): 1098853(1675/1097178)
Jun 02, 2017 4:58:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/3728 took 153440 ms. Total solver calls (SAT/UNSAT): 1108193(1690/1106503)
Jun 02, 2017 4:58:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :594/3728 took 154686 ms. Total solver calls (SAT/UNSAT): 1117533(1705/1115828)
Jun 02, 2017 4:58:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :599/3728 took 155931 ms. Total solver calls (SAT/UNSAT): 1126873(1720/1125153)
Jun 02, 2017 4:58:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :604/3728 took 157171 ms. Total solver calls (SAT/UNSAT): 1136213(1735/1134478)
Jun 02, 2017 4:58:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :609/3728 took 158420 ms. Total solver calls (SAT/UNSAT): 1145553(1750/1143803)
Jun 02, 2017 4:58:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :613/3728 took 159422 ms. Total solver calls (SAT/UNSAT): 1153025(1762/1151263)
Jun 02, 2017 4:58:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :617/3728 took 160422 ms. Total solver calls (SAT/UNSAT): 1160497(1774/1158723)
Jun 02, 2017 4:58:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :622/3728 took 161710 ms. Total solver calls (SAT/UNSAT): 1169837(1789/1168048)
Jun 02, 2017 4:58:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :626/3728 took 162723 ms. Total solver calls (SAT/UNSAT): 1177309(1801/1175508)
Jun 02, 2017 4:58:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :630/3728 took 163728 ms. Total solver calls (SAT/UNSAT): 1184781(1813/1182968)
Jun 02, 2017 4:58:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :634/3728 took 164735 ms. Total solver calls (SAT/UNSAT): 1192253(1825/1190428)
Jun 02, 2017 4:58:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :638/3728 took 165740 ms. Total solver calls (SAT/UNSAT): 1199725(1837/1197888)
Jun 02, 2017 4:58:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :642/3728 took 166745 ms. Total solver calls (SAT/UNSAT): 1207196(1849/1205347)
Jun 02, 2017 4:58:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :646/3728 took 167749 ms. Total solver calls (SAT/UNSAT): 1214668(1861/1212807)
Jun 02, 2017 4:58:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :650/3728 took 168751 ms. Total solver calls (SAT/UNSAT): 1222140(1873/1220267)
Jun 02, 2017 4:58:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :654/3728 took 169761 ms. Total solver calls (SAT/UNSAT): 1229612(1885/1227727)
Jun 02, 2017 4:58:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :659/3728 took 171008 ms. Total solver calls (SAT/UNSAT): 1238952(1900/1237052)
Jun 02, 2017 4:58:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :664/3728 took 172248 ms. Total solver calls (SAT/UNSAT): 1248292(1915/1246377)
Jun 02, 2017 4:58:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :669/3728 took 173486 ms. Total solver calls (SAT/UNSAT): 1257632(1930/1255702)
Jun 02, 2017 4:58:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :674/3728 took 174730 ms. Total solver calls (SAT/UNSAT): 1266972(1945/1265027)
Jun 02, 2017 4:58:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :679/3728 took 175971 ms. Total solver calls (SAT/UNSAT): 1276312(1960/1274352)
Jun 02, 2017 4:58:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :684/3728 took 177217 ms. Total solver calls (SAT/UNSAT): 1285652(1975/1283677)
Jun 02, 2017 4:58:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :688/3728 took 178265 ms. Total solver calls (SAT/UNSAT): 1293124(1987/1291137)
Jun 02, 2017 4:58:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :692/3728 took 179281 ms. Total solver calls (SAT/UNSAT): 1300596(1999/1298597)
Jun 02, 2017 4:58:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :696/3728 took 180290 ms. Total solver calls (SAT/UNSAT): 1308068(2011/1306057)
Jun 02, 2017 4:58:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :700/3728 took 181298 ms. Total solver calls (SAT/UNSAT): 1315540(2023/1313517)
Jun 02, 2017 4:58:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :705/3728 took 182546 ms. Total solver calls (SAT/UNSAT): 1324880(2038/1322842)
Jun 02, 2017 4:58:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :709/3728 took 183572 ms. Total solver calls (SAT/UNSAT): 1332352(2050/1330302)
Jun 02, 2017 4:58:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :713/3728 took 184577 ms. Total solver calls (SAT/UNSAT): 1339824(2062/1337762)
Jun 02, 2017 4:58:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :717/3728 took 185585 ms. Total solver calls (SAT/UNSAT): 1347296(2074/1345222)
Jun 02, 2017 4:58:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :721/3728 took 186590 ms. Total solver calls (SAT/UNSAT): 1354767(2086/1352681)
Jun 02, 2017 4:58:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :725/3728 took 187598 ms. Total solver calls (SAT/UNSAT): 1362239(2098/1360141)
Jun 02, 2017 4:58:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :729/3728 took 188613 ms. Total solver calls (SAT/UNSAT): 1369711(2110/1367601)
Jun 02, 2017 4:58:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :733/3728 took 189620 ms. Total solver calls (SAT/UNSAT): 1377183(2122/1375061)
Jun 02, 2017 4:58:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :737/3728 took 190625 ms. Total solver calls (SAT/UNSAT): 1384655(2134/1382521)
Jun 02, 2017 4:58:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :741/3728 took 191727 ms. Total solver calls (SAT/UNSAT): 1392127(2146/1389981)
Jun 02, 2017 4:58:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :745/3728 took 192830 ms. Total solver calls (SAT/UNSAT): 1399599(2158/1397441)
Jun 02, 2017 4:58:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :749/3728 took 193833 ms. Total solver calls (SAT/UNSAT): 1407071(2170/1404901)
Jun 02, 2017 4:58:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :754/3728 took 195077 ms. Total solver calls (SAT/UNSAT): 1416411(2185/1414226)
Jun 02, 2017 4:58:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :759/3728 took 196325 ms. Total solver calls (SAT/UNSAT): 1425751(2200/1423551)
Jun 02, 2017 4:58:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :763/3728 took 197325 ms. Total solver calls (SAT/UNSAT): 1433223(2212/1431011)
Jun 02, 2017 4:58:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :767/3728 took 198325 ms. Total solver calls (SAT/UNSAT): 1440695(2224/1438471)
Jun 02, 2017 4:58:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :772/3728 took 199570 ms. Total solver calls (SAT/UNSAT): 1450035(2239/1447796)
Jun 02, 2017 4:58:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :777/3728 took 200816 ms. Total solver calls (SAT/UNSAT): 1459375(2254/1457121)
Jun 02, 2017 4:58:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :782/3728 took 202061 ms. Total solver calls (SAT/UNSAT): 1468715(2269/1466446)
Jun 02, 2017 4:58:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :787/3728 took 203303 ms. Total solver calls (SAT/UNSAT): 1478055(2284/1475771)
Jun 02, 2017 4:58:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :792/3728 took 204546 ms. Total solver calls (SAT/UNSAT): 1487395(2299/1485096)
Jun 02, 2017 4:58:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :797/3728 took 205790 ms. Total solver calls (SAT/UNSAT): 1496735(2314/1494421)
Jun 02, 2017 4:58:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :802/3728 took 207033 ms. Total solver calls (SAT/UNSAT): 1506074(2329/1503745)
Jun 02, 2017 4:59:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :807/3728 took 208274 ms. Total solver calls (SAT/UNSAT): 1515414(2344/1513070)
Jun 02, 2017 4:59:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :812/3728 took 209517 ms. Total solver calls (SAT/UNSAT): 1524754(2359/1522395)
Jun 02, 2017 4:59:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :817/3728 took 210758 ms. Total solver calls (SAT/UNSAT): 1534094(2374/1531720)
Jun 02, 2017 4:59:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :822/3728 took 211997 ms. Total solver calls (SAT/UNSAT): 1543434(2389/1541045)
Jun 02, 2017 4:59:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :827/3728 took 213235 ms. Total solver calls (SAT/UNSAT): 1552774(2404/1550370)
Jun 02, 2017 4:59:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :832/3728 took 214479 ms. Total solver calls (SAT/UNSAT): 1562114(2419/1559695)
Jun 02, 2017 4:59:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :836/3728 took 215487 ms. Total solver calls (SAT/UNSAT): 1569586(2431/1567155)
Jun 02, 2017 4:59:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :841/3728 took 216726 ms. Total solver calls (SAT/UNSAT): 1578926(2446/1576480)
Jun 02, 2017 4:59:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :846/3728 took 217967 ms. Total solver calls (SAT/UNSAT): 1588266(2461/1585805)
Jun 02, 2017 4:59:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :851/3728 took 219210 ms. Total solver calls (SAT/UNSAT): 1597606(2476/1595130)
Jun 02, 2017 4:59:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :856/3728 took 220451 ms. Total solver calls (SAT/UNSAT): 1606946(2491/1604455)
Jun 02, 2017 4:59:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :861/3728 took 221696 ms. Total solver calls (SAT/UNSAT): 1616286(2506/1613780)
Jun 02, 2017 4:59:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :866/3728 took 222942 ms. Total solver calls (SAT/UNSAT): 1625626(2521/1623105)
Jun 02, 2017 4:59:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :870/3728 took 223946 ms. Total solver calls (SAT/UNSAT): 1633098(2533/1630565)
Jun 02, 2017 4:59:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :875/3728 took 225188 ms. Total solver calls (SAT/UNSAT): 1642438(2548/1639890)
Jun 02, 2017 4:59:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :880/3728 took 226430 ms. Total solver calls (SAT/UNSAT): 1651777(2563/1649214)
Jun 02, 2017 4:59:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :885/3728 took 227670 ms. Total solver calls (SAT/UNSAT): 1661117(2578/1658539)
Jun 02, 2017 4:59:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :889/3728 took 228726 ms. Total solver calls (SAT/UNSAT): 1668589(2590/1665999)
Jun 02, 2017 4:59:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :893/3728 took 229771 ms. Total solver calls (SAT/UNSAT): 1676061(2602/1673459)
Jun 02, 2017 4:59:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :897/3728 took 230861 ms. Total solver calls (SAT/UNSAT): 1683533(2614/1680919)
Jun 02, 2017 4:59:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :901/3728 took 231866 ms. Total solver calls (SAT/UNSAT): 1691005(2626/1688379)
Jun 02, 2017 4:59:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :905/3728 took 232868 ms. Total solver calls (SAT/UNSAT): 1698477(2638/1695839)
Jun 02, 2017 4:59:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :909/3728 took 233870 ms. Total solver calls (SAT/UNSAT): 1705949(2650/1703299)
Jun 02, 2017 4:59:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :913/3728 took 234872 ms. Total solver calls (SAT/UNSAT): 1713421(2662/1710759)
Jun 02, 2017 4:59:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :917/3728 took 235875 ms. Total solver calls (SAT/UNSAT): 1720893(2674/1718219)
Jun 02, 2017 4:59:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :921/3728 took 236880 ms. Total solver calls (SAT/UNSAT): 1728365(2686/1725679)
Jun 02, 2017 4:59:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :925/3728 took 237888 ms. Total solver calls (SAT/UNSAT): 1735837(2698/1733139)
Jun 02, 2017 4:59:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :929/3728 took 238900 ms. Total solver calls (SAT/UNSAT): 1743309(2710/1740599)
Jun 02, 2017 4:59:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :933/3728 took 239904 ms. Total solver calls (SAT/UNSAT): 1750781(2722/1748059)
Jun 02, 2017 4:59:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :937/3728 took 240910 ms. Total solver calls (SAT/UNSAT): 1758253(2734/1755519)
Jun 02, 2017 4:59:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :941/3728 took 241914 ms. Total solver calls (SAT/UNSAT): 1765725(2746/1762979)
Jun 02, 2017 4:59:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :945/3728 took 242917 ms. Total solver calls (SAT/UNSAT): 1773197(2758/1770439)
Jun 02, 2017 4:59:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :949/3728 took 243918 ms. Total solver calls (SAT/UNSAT): 1780669(2770/1777899)
Jun 02, 2017 4:59:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :953/3728 took 244921 ms. Total solver calls (SAT/UNSAT): 1788141(2782/1785359)
Jun 02, 2017 4:59:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :957/3728 took 245934 ms. Total solver calls (SAT/UNSAT): 1795613(2794/1792819)
Jun 02, 2017 4:59:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :961/3728 took 246937 ms. Total solver calls (SAT/UNSAT): 1803084(2806/1800278)
Jun 02, 2017 4:59:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :965/3728 took 247943 ms. Total solver calls (SAT/UNSAT): 1810556(2818/1807738)
Jun 02, 2017 4:59:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :969/3728 took 248946 ms. Total solver calls (SAT/UNSAT): 1818028(2830/1815198)
Jun 02, 2017 4:59:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :973/3728 took 249949 ms. Total solver calls (SAT/UNSAT): 1825500(2842/1822658)
Jun 02, 2017 4:59:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :977/3728 took 250953 ms. Total solver calls (SAT/UNSAT): 1832972(2854/1830118)
Jun 02, 2017 4:59:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :981/3728 took 251956 ms. Total solver calls (SAT/UNSAT): 1840444(2866/1837578)
Jun 02, 2017 4:59:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :985/3728 took 252964 ms. Total solver calls (SAT/UNSAT): 1847916(2878/1845038)
Jun 02, 2017 4:59:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :989/3728 took 253965 ms. Total solver calls (SAT/UNSAT): 1855388(2890/1852498)
Jun 02, 2017 4:59:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :993/3728 took 254967 ms. Total solver calls (SAT/UNSAT): 1862860(2902/1859958)
Jun 02, 2017 4:59:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :997/3728 took 255970 ms. Total solver calls (SAT/UNSAT): 1870332(2914/1867418)
Jun 02, 2017 4:59:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1001/3728 took 256972 ms. Total solver calls (SAT/UNSAT): 1877804(2926/1874878)
Jun 02, 2017 4:59:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1005/3728 took 257973 ms. Total solver calls (SAT/UNSAT): 1885276(2938/1882338)
Jun 02, 2017 4:59:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1009/3728 took 258981 ms. Total solver calls (SAT/UNSAT): 1892748(2950/1889798)
Jun 02, 2017 4:59:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1013/3728 took 259983 ms. Total solver calls (SAT/UNSAT): 1900220(2962/1897258)
Jun 02, 2017 4:59:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1017/3728 took 260984 ms. Total solver calls (SAT/UNSAT): 1907692(2974/1904718)
Jun 02, 2017 4:59:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1021/3728 took 261991 ms. Total solver calls (SAT/UNSAT): 1915164(2986/1912178)
Jun 02, 2017 4:59:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1025/3728 took 262997 ms. Total solver calls (SAT/UNSAT): 1922636(2998/1919638)
Jun 02, 2017 4:59:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1029/3728 took 264001 ms. Total solver calls (SAT/UNSAT): 1930108(3010/1927098)
Jun 02, 2017 4:59:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1033/3728 took 265005 ms. Total solver calls (SAT/UNSAT): 1937580(3022/1934558)
Jun 02, 2017 4:59:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1037/3728 took 266009 ms. Total solver calls (SAT/UNSAT): 1945052(3034/1942018)
Jun 02, 2017 4:59:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1041/3728 took 267010 ms. Total solver calls (SAT/UNSAT): 1952523(3046/1949477)
Jun 02, 2017 5:00:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1045/3728 took 268010 ms. Total solver calls (SAT/UNSAT): 1959995(3058/1956937)
Jun 02, 2017 5:00:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1049/3728 took 269011 ms. Total solver calls (SAT/UNSAT): 1967467(3070/1964397)
Jun 02, 2017 5:00:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1054/3728 took 270262 ms. Total solver calls (SAT/UNSAT): 1976807(3085/1973722)
Jun 02, 2017 5:00:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1058/3728 took 271274 ms. Total solver calls (SAT/UNSAT): 1984279(3097/1981182)
Jun 02, 2017 5:00:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1062/3728 took 272285 ms. Total solver calls (SAT/UNSAT): 1991751(3109/1988642)
Jun 02, 2017 5:00:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1066/3728 took 273346 ms. Total solver calls (SAT/UNSAT): 1999223(3121/1996102)
Jun 02, 2017 5:00:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1070/3728 took 274356 ms. Total solver calls (SAT/UNSAT): 2006695(3133/2003562)
Jun 02, 2017 5:00:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1074/3728 took 275364 ms. Total solver calls (SAT/UNSAT): 2014167(3145/2011022)
Jun 02, 2017 5:00:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1078/3728 took 276371 ms. Total solver calls (SAT/UNSAT): 2021639(3157/2018482)
Jun 02, 2017 5:00:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1082/3728 took 277434 ms. Total solver calls (SAT/UNSAT): 2029111(3169/2025942)
Jun 02, 2017 5:00:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1086/3728 took 278434 ms. Total solver calls (SAT/UNSAT): 2036583(3181/2033402)
Jun 02, 2017 5:00:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1091/3728 took 279675 ms. Total solver calls (SAT/UNSAT): 2045923(3196/2042727)
Jun 02, 2017 5:00:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1096/3728 took 280921 ms. Total solver calls (SAT/UNSAT): 2055263(3211/2052052)
Jun 02, 2017 5:00:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1101/3728 took 282163 ms. Total solver calls (SAT/UNSAT): 2064603(3226/2061377)
Jun 02, 2017 5:00:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1105/3728 took 283175 ms. Total solver calls (SAT/UNSAT): 2072075(3238/2068837)
Jun 02, 2017 5:00:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1109/3728 took 284186 ms. Total solver calls (SAT/UNSAT): 2079547(3250/2076297)
Jun 02, 2017 5:00:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1113/3728 took 285192 ms. Total solver calls (SAT/UNSAT): 2087019(3262/2083757)
Jun 02, 2017 5:00:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1117/3728 took 286193 ms. Total solver calls (SAT/UNSAT): 2094491(3274/2091217)
Jun 02, 2017 5:00:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1121/3728 took 287197 ms. Total solver calls (SAT/UNSAT): 2101962(3286/2098676)
Jun 02, 2017 5:00:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1125/3728 took 288207 ms. Total solver calls (SAT/UNSAT): 2109434(3298/2106136)
Jun 02, 2017 5:00:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1129/3728 took 289217 ms. Total solver calls (SAT/UNSAT): 2116906(3310/2113596)
Jun 02, 2017 5:00:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1133/3728 took 290218 ms. Total solver calls (SAT/UNSAT): 2124378(3322/2121056)
Jun 02, 2017 5:00:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1137/3728 took 291219 ms. Total solver calls (SAT/UNSAT): 2131850(3334/2128516)
Jun 02, 2017 5:00:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1141/3728 took 292222 ms. Total solver calls (SAT/UNSAT): 2139322(3346/2135976)
Jun 02, 2017 5:00:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1145/3728 took 293232 ms. Total solver calls (SAT/UNSAT): 2146794(3358/2143436)
Jun 02, 2017 5:00:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1149/3728 took 294232 ms. Total solver calls (SAT/UNSAT): 2154266(3370/2150896)
Jun 02, 2017 5:00:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1153/3728 took 295233 ms. Total solver calls (SAT/UNSAT): 2161738(3382/2158356)
Jun 02, 2017 5:00:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1158/3728 took 296481 ms. Total solver calls (SAT/UNSAT): 2171078(3397/2167681)
Jun 02, 2017 5:00:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1163/3728 took 297729 ms. Total solver calls (SAT/UNSAT): 2180418(3412/2177006)
Jun 02, 2017 5:00:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1167/3728 took 298742 ms. Total solver calls (SAT/UNSAT): 2187890(3424/2184466)
Jun 02, 2017 5:00:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1172/3728 took 299991 ms. Total solver calls (SAT/UNSAT): 2197230(3439/2193791)
Jun 02, 2017 5:00:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1176/3728 took 300991 ms. Total solver calls (SAT/UNSAT): 2204702(3451/2201251)
Jun 02, 2017 5:00:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1181/3728 took 302239 ms. Total solver calls (SAT/UNSAT): 2214042(3466/2210576)
Jun 02, 2017 5:00:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1185/3728 took 303251 ms. Total solver calls (SAT/UNSAT): 2221514(3478/2218036)
Jun 02, 2017 5:00:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1189/3728 took 304259 ms. Total solver calls (SAT/UNSAT): 2228986(3490/2225496)
Jun 02, 2017 5:00:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1193/3728 took 305267 ms. Total solver calls (SAT/UNSAT): 2236458(3502/2232956)
Jun 02, 2017 5:00:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1197/3728 took 306270 ms. Total solver calls (SAT/UNSAT): 2243930(3514/2240416)
Jun 02, 2017 5:00:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1201/3728 took 307286 ms. Total solver calls (SAT/UNSAT): 2251401(3526/2247875)
Jun 02, 2017 5:00:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1205/3728 took 308294 ms. Total solver calls (SAT/UNSAT): 2258873(3538/2255335)
Jun 02, 2017 5:00:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1209/3728 took 309347 ms. Total solver calls (SAT/UNSAT): 2266345(3550/2262795)
Jun 02, 2017 5:00:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1213/3728 took 310356 ms. Total solver calls (SAT/UNSAT): 2273817(3562/2270255)
Jun 02, 2017 5:00:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1217/3728 took 311359 ms. Total solver calls (SAT/UNSAT): 2281289(3574/2277715)
Jun 02, 2017 5:00:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1221/3728 took 312370 ms. Total solver calls (SAT/UNSAT): 2288761(3586/2285175)
Jun 02, 2017 5:00:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1225/3728 took 313377 ms. Total solver calls (SAT/UNSAT): 2296233(3598/2292635)
Jun 02, 2017 5:00:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1229/3728 took 314382 ms. Total solver calls (SAT/UNSAT): 2303705(3610/2300095)
Jun 02, 2017 5:00:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1233/3728 took 315385 ms. Total solver calls (SAT/UNSAT): 2311177(3622/2307555)
Jun 02, 2017 5:00:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1237/3728 took 316395 ms. Total solver calls (SAT/UNSAT): 2318649(3634/2315015)
Jun 02, 2017 5:00:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1241/3728 took 317404 ms. Total solver calls (SAT/UNSAT): 2326121(3646/2322475)
Jun 02, 2017 5:00:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1245/3728 took 318410 ms. Total solver calls (SAT/UNSAT): 2333593(3658/2329935)
Jun 02, 2017 5:00:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1249/3728 took 319415 ms. Total solver calls (SAT/UNSAT): 2341065(3670/2337395)
Jun 02, 2017 5:00:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1253/3728 took 320426 ms. Total solver calls (SAT/UNSAT): 2348537(3682/2344855)
Jun 02, 2017 5:00:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1257/3728 took 321429 ms. Total solver calls (SAT/UNSAT): 2356009(3694/2352315)
Jun 02, 2017 5:00:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1261/3728 took 322434 ms. Total solver calls (SAT/UNSAT): 2363481(3706/2359775)
Jun 02, 2017 5:00:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1265/3728 took 323437 ms. Total solver calls (SAT/UNSAT): 2370953(3718/2367235)
Jun 02, 2017 5:00:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1269/3728 took 324443 ms. Total solver calls (SAT/UNSAT): 2378425(3730/2374695)
Jun 02, 2017 5:00:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1273/3728 took 325448 ms. Total solver calls (SAT/UNSAT): 2385897(3742/2382155)
Jun 02, 2017 5:00:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1277/3728 took 326450 ms. Total solver calls (SAT/UNSAT): 2393369(3754/2389615)
Jun 02, 2017 5:00:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1281/3728 took 327457 ms. Total solver calls (SAT/UNSAT): 2400840(3766/2397074)
Jun 02, 2017 5:01:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1285/3728 took 328465 ms. Total solver calls (SAT/UNSAT): 2408312(3778/2404534)
Jun 02, 2017 5:01:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1289/3728 took 329470 ms. Total solver calls (SAT/UNSAT): 2415784(3790/2411994)
Jun 02, 2017 5:01:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1293/3728 took 330476 ms. Total solver calls (SAT/UNSAT): 2423256(3802/2419454)
Jun 02, 2017 5:01:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1297/3728 took 331482 ms. Total solver calls (SAT/UNSAT): 2430728(3814/2426914)
Jun 02, 2017 5:01:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1301/3728 took 332484 ms. Total solver calls (SAT/UNSAT): 2438200(3826/2434374)
Jun 02, 2017 5:01:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1305/3728 took 333489 ms. Total solver calls (SAT/UNSAT): 2445672(3838/2441834)
Jun 02, 2017 5:01:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1309/3728 took 334494 ms. Total solver calls (SAT/UNSAT): 2453144(3850/2449294)
Jun 02, 2017 5:01:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1313/3728 took 335500 ms. Total solver calls (SAT/UNSAT): 2460616(3862/2456754)
Jun 02, 2017 5:01:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1317/3728 took 336578 ms. Total solver calls (SAT/UNSAT): 2468088(3874/2464214)
Jun 02, 2017 5:01:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1321/3728 took 337657 ms. Total solver calls (SAT/UNSAT): 2475560(3886/2471674)
Jun 02, 2017 5:01:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1325/3728 took 338664 ms. Total solver calls (SAT/UNSAT): 2483032(3898/2479134)
Jun 02, 2017 5:01:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1329/3728 took 339676 ms. Total solver calls (SAT/UNSAT): 2490504(3910/2486594)
Jun 02, 2017 5:01:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1333/3728 took 340691 ms. Total solver calls (SAT/UNSAT): 2497976(3922/2494054)
Jun 02, 2017 5:01:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1337/3728 took 341746 ms. Total solver calls (SAT/UNSAT): 2505448(3934/2501514)
Jun 02, 2017 5:01:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1341/3728 took 342749 ms. Total solver calls (SAT/UNSAT): 2512920(3946/2508974)
Jun 02, 2017 5:01:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1345/3728 took 343794 ms. Total solver calls (SAT/UNSAT): 2520392(3958/2516434)
Jun 02, 2017 5:01:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1349/3728 took 344813 ms. Total solver calls (SAT/UNSAT): 2527864(3970/2523894)
Jun 02, 2017 5:01:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1353/3728 took 345820 ms. Total solver calls (SAT/UNSAT): 2535336(3982/2531354)
Jun 02, 2017 5:01:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1357/3728 took 346821 ms. Total solver calls (SAT/UNSAT): 2542808(3994/2538814)
Jun 02, 2017 5:01:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1361/3728 took 347832 ms. Total solver calls (SAT/UNSAT): 2550279(4006/2546273)
Jun 02, 2017 5:01:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1365/3728 took 348843 ms. Total solver calls (SAT/UNSAT): 2557751(4018/2553733)
Jun 02, 2017 5:01:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1369/3728 took 349858 ms. Total solver calls (SAT/UNSAT): 2565223(4030/2561193)
Jun 02, 2017 5:01:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1373/3728 took 350869 ms. Total solver calls (SAT/UNSAT): 2572695(4042/2568653)
Jun 02, 2017 5:01:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1377/3728 took 351882 ms. Total solver calls (SAT/UNSAT): 2580167(4054/2576113)
Jun 02, 2017 5:01:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1381/3728 took 352897 ms. Total solver calls (SAT/UNSAT): 2587639(4066/2583573)
Jun 02, 2017 5:01:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1385/3728 took 353913 ms. Total solver calls (SAT/UNSAT): 2595111(4078/2591033)
Jun 02, 2017 5:01:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1390/3728 took 355161 ms. Total solver calls (SAT/UNSAT): 2604451(4093/2600358)
Jun 02, 2017 5:01:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1395/3728 took 356413 ms. Total solver calls (SAT/UNSAT): 2613791(4108/2609683)
Jun 02, 2017 5:01:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1399/3728 took 357429 ms. Total solver calls (SAT/UNSAT): 2621263(4120/2617143)
Jun 02, 2017 5:01:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1403/3728 took 358436 ms. Total solver calls (SAT/UNSAT): 2628735(4132/2624603)
Jun 02, 2017 5:01:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1407/3728 took 359448 ms. Total solver calls (SAT/UNSAT): 2636207(4144/2632063)
Jun 02, 2017 5:01:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1411/3728 took 360502 ms. Total solver calls (SAT/UNSAT): 2643679(4156/2639523)
Jun 02, 2017 5:01:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1415/3728 took 361507 ms. Total solver calls (SAT/UNSAT): 2651151(4168/2646983)
Jun 02, 2017 5:01:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1419/3728 took 362509 ms. Total solver calls (SAT/UNSAT): 2658623(4180/2654443)
Jun 02, 2017 5:01:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1423/3728 took 363514 ms. Total solver calls (SAT/UNSAT): 2666095(4192/2661903)
Jun 02, 2017 5:01:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1427/3728 took 364514 ms. Total solver calls (SAT/UNSAT): 2673567(4204/2669363)
Jun 02, 2017 5:01:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1432/3728 took 365757 ms. Total solver calls (SAT/UNSAT): 2682907(4219/2678688)
Jun 02, 2017 5:01:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1436/3728 took 366758 ms. Total solver calls (SAT/UNSAT): 2690379(4231/2686148)
Jun 02, 2017 5:01:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1441/3728 took 368001 ms. Total solver calls (SAT/UNSAT): 2699718(4246/2695472)
Jun 02, 2017 5:01:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1446/3728 took 369250 ms. Total solver calls (SAT/UNSAT): 2709058(4261/2704797)
Jun 02, 2017 5:01:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1451/3728 took 370496 ms. Total solver calls (SAT/UNSAT): 2718398(4276/2714122)
Jun 02, 2017 5:01:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1456/3728 took 371745 ms. Total solver calls (SAT/UNSAT): 2727738(4291/2723447)
Jun 02, 2017 5:01:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1460/3728 took 372748 ms. Total solver calls (SAT/UNSAT): 2735210(4303/2730907)
Jun 02, 2017 5:01:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1464/3728 took 373757 ms. Total solver calls (SAT/UNSAT): 2742682(4315/2738367)
Jun 02, 2017 5:01:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1468/3728 took 374760 ms. Total solver calls (SAT/UNSAT): 2750154(4327/2745827)
Jun 02, 2017 5:01:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1472/3728 took 375764 ms. Total solver calls (SAT/UNSAT): 2757626(4339/2753287)
Jun 02, 2017 5:01:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1476/3728 took 376773 ms. Total solver calls (SAT/UNSAT): 2765098(4351/2760747)
Jun 02, 2017 5:01:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1480/3728 took 377773 ms. Total solver calls (SAT/UNSAT): 2772570(4363/2768207)
Jun 02, 2017 5:01:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1484/3728 took 378780 ms. Total solver calls (SAT/UNSAT): 2780042(4375/2775667)
Jun 02, 2017 5:01:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1488/3728 took 379783 ms. Total solver calls (SAT/UNSAT): 2787514(4387/2783127)
Jun 02, 2017 5:01:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1492/3728 took 380792 ms. Total solver calls (SAT/UNSAT): 2794986(4399/2790587)
Jun 02, 2017 5:01:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1497/3728 took 382039 ms. Total solver calls (SAT/UNSAT): 2804326(4414/2799912)
Jun 02, 2017 5:01:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1501/3728 took 383047 ms. Total solver calls (SAT/UNSAT): 2811798(4426/2807372)
Jun 02, 2017 5:01:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1505/3728 took 384054 ms. Total solver calls (SAT/UNSAT): 2819270(4438/2814832)
Jun 02, 2017 5:01:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1509/3728 took 385058 ms. Total solver calls (SAT/UNSAT): 2826742(4450/2822292)
Jun 02, 2017 5:01:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1513/3728 took 386062 ms. Total solver calls (SAT/UNSAT): 2834214(4462/2829752)
Jun 02, 2017 5:01:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1517/3728 took 387064 ms. Total solver calls (SAT/UNSAT): 2841686(4474/2837212)
Jun 02, 2017 5:02:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1521/3728 took 388076 ms. Total solver calls (SAT/UNSAT): 2849157(4486/2844671)
Jun 02, 2017 5:02:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1525/3728 took 389083 ms. Total solver calls (SAT/UNSAT): 2856629(4498/2852131)
Jun 02, 2017 5:02:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1529/3728 took 390091 ms. Total solver calls (SAT/UNSAT): 2864101(4510/2859591)
Jun 02, 2017 5:02:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1533/3728 took 391098 ms. Total solver calls (SAT/UNSAT): 2871573(4522/2867051)
Jun 02, 2017 5:02:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1537/3728 took 392110 ms. Total solver calls (SAT/UNSAT): 2879045(4534/2874511)
Jun 02, 2017 5:02:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1541/3728 took 393164 ms. Total solver calls (SAT/UNSAT): 2886517(4546/2881971)
Jun 02, 2017 5:02:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1545/3728 took 394170 ms. Total solver calls (SAT/UNSAT): 2893989(4558/2889431)
Jun 02, 2017 5:02:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1549/3728 took 395174 ms. Total solver calls (SAT/UNSAT): 2901461(4570/2896891)
Jun 02, 2017 5:02:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1553/3728 took 396179 ms. Total solver calls (SAT/UNSAT): 2908933(4582/2904351)
Jun 02, 2017 5:02:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1557/3728 took 397192 ms. Total solver calls (SAT/UNSAT): 2916405(4594/2911811)
Jun 02, 2017 5:02:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1561/3728 took 398205 ms. Total solver calls (SAT/UNSAT): 2923877(4606/2919271)
Jun 02, 2017 5:02:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1565/3728 took 399209 ms. Total solver calls (SAT/UNSAT): 2931349(4618/2926731)
Jun 02, 2017 5:02:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1569/3728 took 400219 ms. Total solver calls (SAT/UNSAT): 2938821(4630/2934191)
Jun 02, 2017 5:02:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1573/3728 took 401221 ms. Total solver calls (SAT/UNSAT): 2946293(4642/2941651)
Jun 02, 2017 5:02:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1577/3728 took 402234 ms. Total solver calls (SAT/UNSAT): 2953765(4654/2949111)
Jun 02, 2017 5:02:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1581/3728 took 403314 ms. Total solver calls (SAT/UNSAT): 2961237(4666/2956571)
Jun 02, 2017 5:02:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1585/3728 took 404352 ms. Total solver calls (SAT/UNSAT): 2968709(4678/2964031)
Jun 02, 2017 5:02:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1589/3728 took 405394 ms. Total solver calls (SAT/UNSAT): 2976181(4690/2971491)
Jun 02, 2017 5:02:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1593/3728 took 406429 ms. Total solver calls (SAT/UNSAT): 2983653(4702/2978951)
Jun 02, 2017 5:02:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1597/3728 took 407456 ms. Total solver calls (SAT/UNSAT): 2991125(4714/2986411)
Jun 02, 2017 5:02:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1601/3728 took 408486 ms. Total solver calls (SAT/UNSAT): 2998596(4726/2993870)
Jun 02, 2017 5:02:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1605/3728 took 409510 ms. Total solver calls (SAT/UNSAT): 3006068(4738/3001330)
Jun 02, 2017 5:02:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1609/3728 took 410537 ms. Total solver calls (SAT/UNSAT): 3013540(4750/3008790)
Jun 02, 2017 5:02:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1613/3728 took 411563 ms. Total solver calls (SAT/UNSAT): 3021012(4762/3016250)
Jun 02, 2017 5:02:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1617/3728 took 412600 ms. Total solver calls (SAT/UNSAT): 3028484(4774/3023710)
Jun 02, 2017 5:02:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1621/3728 took 413637 ms. Total solver calls (SAT/UNSAT): 3035956(4786/3031170)
Jun 02, 2017 5:02:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1625/3728 took 414672 ms. Total solver calls (SAT/UNSAT): 3043428(4798/3038630)
Jun 02, 2017 5:02:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1629/3728 took 415703 ms. Total solver calls (SAT/UNSAT): 3050900(4810/3046090)
Jun 02, 2017 5:02:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1633/3728 took 416744 ms. Total solver calls (SAT/UNSAT): 3058372(4822/3053550)
Jun 02, 2017 5:02:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1637/3728 took 417789 ms. Total solver calls (SAT/UNSAT): 3065844(4834/3061010)
Jun 02, 2017 5:02:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1641/3728 took 418827 ms. Total solver calls (SAT/UNSAT): 3073316(4846/3068470)
Jun 02, 2017 5:02:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1645/3728 took 419887 ms. Total solver calls (SAT/UNSAT): 3080788(4858/3075930)
Jun 02, 2017 5:02:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1649/3728 took 420903 ms. Total solver calls (SAT/UNSAT): 3088260(4870/3083390)
Jun 02, 2017 5:02:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1653/3728 took 421913 ms. Total solver calls (SAT/UNSAT): 3095732(4882/3090850)
Jun 02, 2017 5:02:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1657/3728 took 422928 ms. Total solver calls (SAT/UNSAT): 3103204(4894/3098310)
Jun 02, 2017 5:02:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1661/3728 took 423948 ms. Total solver calls (SAT/UNSAT): 3110676(4906/3105770)
Jun 02, 2017 5:02:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1665/3728 took 424966 ms. Total solver calls (SAT/UNSAT): 3118148(4918/3113230)
Jun 02, 2017 5:02:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1669/3728 took 426022 ms. Total solver calls (SAT/UNSAT): 3125620(4930/3120690)
Jun 02, 2017 5:02:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1673/3728 took 427038 ms. Total solver calls (SAT/UNSAT): 3133092(4942/3128150)
Jun 02, 2017 5:02:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1677/3728 took 428061 ms. Total solver calls (SAT/UNSAT): 3140564(4954/3135610)
Jun 02, 2017 5:02:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1681/3728 took 429483 ms. Total solver calls (SAT/UNSAT): 3151077(4966/3146111)
Jun 02, 2017 5:02:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1684/3728 took 430853 ms. Total solver calls (SAT/UNSAT): 3161244(4975/3156269)
Jun 02, 2017 5:02:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1687/3728 took 432231 ms. Total solver calls (SAT/UNSAT): 3171411(4984/3166427)
Jun 02, 2017 5:02:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1690/3728 took 433605 ms. Total solver calls (SAT/UNSAT): 3181578(4993/3176585)
Jun 02, 2017 5:02:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1693/3728 took 434972 ms. Total solver calls (SAT/UNSAT): 3191745(5002/3186743)
Jun 02, 2017 5:02:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1696/3728 took 436362 ms. Total solver calls (SAT/UNSAT): 3201912(5011/3196901)
Jun 02, 2017 5:02:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1699/3728 took 437731 ms. Total solver calls (SAT/UNSAT): 3212079(5020/3207059)
Jun 02, 2017 5:02:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1702/3728 took 439104 ms. Total solver calls (SAT/UNSAT): 3222246(5029/3217217)
Jun 02, 2017 5:02:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1705/3728 took 440489 ms. Total solver calls (SAT/UNSAT): 3232413(5038/3227375)
Jun 02, 2017 5:02:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1708/3728 took 441871 ms. Total solver calls (SAT/UNSAT): 3242580(5047/3237533)
Jun 02, 2017 5:02:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1711/3728 took 443231 ms. Total solver calls (SAT/UNSAT): 3252747(5056/3247691)
Jun 02, 2017 5:02:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1714/3728 took 444595 ms. Total solver calls (SAT/UNSAT): 3262914(5065/3257849)
Jun 02, 2017 5:02:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1717/3728 took 445957 ms. Total solver calls (SAT/UNSAT): 3273081(5074/3268007)
Jun 02, 2017 5:02:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1720/3728 took 447319 ms. Total solver calls (SAT/UNSAT): 3283248(5083/3278165)
Jun 02, 2017 5:03:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1723/3728 took 448694 ms. Total solver calls (SAT/UNSAT): 3293415(5092/3288323)
Jun 02, 2017 5:03:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1726/3728 took 450058 ms. Total solver calls (SAT/UNSAT): 3303582(5101/3298481)
Jun 02, 2017 5:03:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1729/3728 took 451494 ms. Total solver calls (SAT/UNSAT): 3313749(5110/3308639)
Jun 02, 2017 5:03:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1732/3728 took 452902 ms. Total solver calls (SAT/UNSAT): 3323916(5119/3318797)
Jun 02, 2017 5:03:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1735/3728 took 454307 ms. Total solver calls (SAT/UNSAT): 3334083(5128/3328955)
Jun 02, 2017 5:03:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1738/3728 took 455718 ms. Total solver calls (SAT/UNSAT): 3344250(5137/3339113)
Jun 02, 2017 5:03:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1741/3728 took 457125 ms. Total solver calls (SAT/UNSAT): 3354417(5146/3349271)
Jun 02, 2017 5:03:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1744/3728 took 458529 ms. Total solver calls (SAT/UNSAT): 3364584(5155/3359429)
Jun 02, 2017 5:03:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1747/3728 took 459951 ms. Total solver calls (SAT/UNSAT): 3374751(5164/3369587)
Jun 02, 2017 5:03:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1750/3728 took 461366 ms. Total solver calls (SAT/UNSAT): 3384918(5173/3379745)
Jun 02, 2017 5:03:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1753/3728 took 462775 ms. Total solver calls (SAT/UNSAT): 3395085(5182/3389903)
Jun 02, 2017 5:03:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1756/3728 took 464241 ms. Total solver calls (SAT/UNSAT): 3405252(5191/3400061)
Jun 02, 2017 5:03:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1759/3728 took 465658 ms. Total solver calls (SAT/UNSAT): 3415419(5200/3410219)
Jun 02, 2017 5:03:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1763/3728 took 466694 ms. Total solver calls (SAT/UNSAT): 3422888(5212/3417676)
Jun 02, 2017 5:03:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1767/3728 took 467730 ms. Total solver calls (SAT/UNSAT): 3430356(5224/3425132)
Jun 02, 2017 5:03:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1771/3728 took 468768 ms. Total solver calls (SAT/UNSAT): 3437824(5236/3432588)
Jun 02, 2017 5:03:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1775/3728 took 469806 ms. Total solver calls (SAT/UNSAT): 3445292(5248/3440044)
Jun 02, 2017 5:03:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1779/3728 took 470838 ms. Total solver calls (SAT/UNSAT): 3452760(5260/3447500)
Jun 02, 2017 5:03:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1783/3728 took 472081 ms. Total solver calls (SAT/UNSAT): 3461753(5272/3456481)
Jun 02, 2017 5:03:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1787/3728 took 473117 ms. Total solver calls (SAT/UNSAT): 3469225(5284/3463941)
Jun 02, 2017 5:03:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1791/3728 took 474149 ms. Total solver calls (SAT/UNSAT): 3476697(5296/3471401)
Jun 02, 2017 5:03:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1795/3728 took 475179 ms. Total solver calls (SAT/UNSAT): 3484169(5308/3478861)
Jun 02, 2017 5:03:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1799/3728 took 476225 ms. Total solver calls (SAT/UNSAT): 3491641(5320/3486321)
Jun 02, 2017 5:03:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1803/3728 took 477473 ms. Total solver calls (SAT/UNSAT): 3500635(5332/3495303)
Jun 02, 2017 5:03:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1807/3728 took 478508 ms. Total solver calls (SAT/UNSAT): 3508107(5344/3502763)
Jun 02, 2017 5:03:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1811/3728 took 479542 ms. Total solver calls (SAT/UNSAT): 3515579(5356/3510223)
Jun 02, 2017 5:03:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1815/3728 took 480574 ms. Total solver calls (SAT/UNSAT): 3523051(5368/3517683)
Jun 02, 2017 5:03:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1819/3728 took 481606 ms. Total solver calls (SAT/UNSAT): 3530523(5380/3525143)
Jun 02, 2017 5:03:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1823/3728 took 482860 ms. Total solver calls (SAT/UNSAT): 3539517(5392/3534125)
Jun 02, 2017 5:03:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1827/3728 took 483899 ms. Total solver calls (SAT/UNSAT): 3546989(5404/3541585)
Jun 02, 2017 5:03:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1831/3728 took 484940 ms. Total solver calls (SAT/UNSAT): 3554461(5416/3549045)
Jun 02, 2017 5:03:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1835/3728 took 485976 ms. Total solver calls (SAT/UNSAT): 3561933(5428/3556505)
Jun 02, 2017 5:03:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1839/3728 took 487010 ms. Total solver calls (SAT/UNSAT): 3569405(5440/3563965)
Jun 02, 2017 5:03:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1843/3728 took 488261 ms. Total solver calls (SAT/UNSAT): 3578398(5452/3572946)
Jun 02, 2017 5:03:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1847/3728 took 489307 ms. Total solver calls (SAT/UNSAT): 3585871(5464/3580407)
Jun 02, 2017 5:03:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1851/3728 took 490345 ms. Total solver calls (SAT/UNSAT): 3593343(5476/3587867)
Jun 02, 2017 5:03:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1855/3728 took 491383 ms. Total solver calls (SAT/UNSAT): 3600815(5488/3595327)
Jun 02, 2017 5:03:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1859/3728 took 492421 ms. Total solver calls (SAT/UNSAT): 3608287(5500/3602787)
Jun 02, 2017 5:03:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1863/3728 took 493465 ms. Total solver calls (SAT/UNSAT): 3615759(5512/3610247)
Jun 02, 2017 5:03:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1867/3728 took 494717 ms. Total solver calls (SAT/UNSAT): 3624753(5524/3619229)
Jun 02, 2017 5:03:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1871/3728 took 495801 ms. Total solver calls (SAT/UNSAT): 3632225(5536/3626689)
Jun 02, 2017 5:03:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1875/3728 took 496840 ms. Total solver calls (SAT/UNSAT): 3639697(5548/3634149)
Jun 02, 2017 5:03:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1879/3728 took 497875 ms. Total solver calls (SAT/UNSAT): 3647169(5560/3641609)
Jun 02, 2017 5:03:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1883/3728 took 498912 ms. Total solver calls (SAT/UNSAT): 3654641(5572/3649069)
Jun 02, 2017 5:03:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1887/3728 took 500165 ms. Total solver calls (SAT/UNSAT): 3663635(5584/3658051)
Jun 02, 2017 5:03:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1891/3728 took 501206 ms. Total solver calls (SAT/UNSAT): 3671107(5596/3665511)
Jun 02, 2017 5:03:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1895/3728 took 502239 ms. Total solver calls (SAT/UNSAT): 3678579(5608/3672971)
Jun 02, 2017 5:03:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1899/3728 took 503282 ms. Total solver calls (SAT/UNSAT): 3686051(5620/3680431)
Jun 02, 2017 5:03:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1903/3728 took 504327 ms. Total solver calls (SAT/UNSAT): 3693523(5632/3687891)
Jun 02, 2017 5:03:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1907/3728 took 505583 ms. Total solver calls (SAT/UNSAT): 3702517(5644/3696873)
Jun 02, 2017 5:03:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1911/3728 took 506615 ms. Total solver calls (SAT/UNSAT): 3709989(5656/3704333)
Jun 02, 2017 5:03:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1915/3728 took 507657 ms. Total solver calls (SAT/UNSAT): 3717461(5668/3711793)
Jun 02, 2017 5:04:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1919/3728 took 508699 ms. Total solver calls (SAT/UNSAT): 3724933(5680/3719253)
Jun 02, 2017 5:04:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1923/3728 took 509745 ms. Total solver calls (SAT/UNSAT): 3732405(5692/3726713)
Jun 02, 2017 5:04:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1927/3728 took 510985 ms. Total solver calls (SAT/UNSAT): 3741398(5704/3735694)
Jun 02, 2017 5:04:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1931/3728 took 512058 ms. Total solver calls (SAT/UNSAT): 3748871(5716/3743155)
Jun 02, 2017 5:04:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1935/3728 took 513081 ms. Total solver calls (SAT/UNSAT): 3756343(5728/3750615)
Jun 02, 2017 5:04:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1939/3728 took 514111 ms. Total solver calls (SAT/UNSAT): 3763815(5740/3758075)
Jun 02, 2017 5:04:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1943/3728 took 515142 ms. Total solver calls (SAT/UNSAT): 3771287(5752/3765535)
Jun 02, 2017 5:04:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1947/3728 took 516173 ms. Total solver calls (SAT/UNSAT): 3778759(5764/3772995)
Jun 02, 2017 5:04:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1951/3728 took 517416 ms. Total solver calls (SAT/UNSAT): 3787753(5776/3781977)
Jun 02, 2017 5:04:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1955/3728 took 518445 ms. Total solver calls (SAT/UNSAT): 3795225(5788/3789437)
Jun 02, 2017 5:04:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1959/3728 took 519476 ms. Total solver calls (SAT/UNSAT): 3802697(5800/3796897)
Jun 02, 2017 5:04:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1963/3728 took 520509 ms. Total solver calls (SAT/UNSAT): 3810169(5812/3804357)
Jun 02, 2017 5:04:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1967/3728 took 521543 ms. Total solver calls (SAT/UNSAT): 3817641(5824/3811817)
Jun 02, 2017 5:04:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1971/3728 took 522792 ms. Total solver calls (SAT/UNSAT): 3826635(5836/3820799)
Jun 02, 2017 5:04:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1975/3728 took 523824 ms. Total solver calls (SAT/UNSAT): 3834107(5848/3828259)
Jun 02, 2017 5:04:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1979/3728 took 524862 ms. Total solver calls (SAT/UNSAT): 3841579(5860/3835719)
Jun 02, 2017 5:04:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1983/3728 took 525895 ms. Total solver calls (SAT/UNSAT): 3849051(5872/3843179)
Jun 02, 2017 5:04:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1987/3728 took 526930 ms. Total solver calls (SAT/UNSAT): 3856523(5884/3850639)
Jun 02, 2017 5:04:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1991/3728 took 528179 ms. Total solver calls (SAT/UNSAT): 3865517(5896/3859621)
Jun 02, 2017 5:04:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1995/3728 took 529213 ms. Total solver calls (SAT/UNSAT): 3872989(5908/3867081)
Jun 02, 2017 5:04:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1999/3728 took 530254 ms. Total solver calls (SAT/UNSAT): 3880461(5920/3874541)
Jun 02, 2017 5:04:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2003/3728 took 531298 ms. Total solver calls (SAT/UNSAT): 3887933(5932/3882001)
Jun 02, 2017 5:04:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2007/3728 took 532335 ms. Total solver calls (SAT/UNSAT): 3895405(5944/3889461)
Jun 02, 2017 5:04:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2011/3728 took 533578 ms. Total solver calls (SAT/UNSAT): 3904398(5956/3898442)
Jun 02, 2017 5:04:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2015/3728 took 534611 ms. Total solver calls (SAT/UNSAT): 3911871(5968/3905903)
Jun 02, 2017 5:04:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2019/3728 took 535646 ms. Total solver calls (SAT/UNSAT): 3919343(5980/3913363)
Jun 02, 2017 5:04:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2023/3728 took 536682 ms. Total solver calls (SAT/UNSAT): 3926815(5992/3920823)
Jun 02, 2017 5:04:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2027/3728 took 537720 ms. Total solver calls (SAT/UNSAT): 3934287(6004/3928283)
Jun 02, 2017 5:04:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2031/3728 took 538760 ms. Total solver calls (SAT/UNSAT): 3941759(6016/3935743)
Jun 02, 2017 5:04:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2035/3728 took 540008 ms. Total solver calls (SAT/UNSAT): 3950753(6028/3944725)
Jun 02, 2017 5:04:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2039/3728 took 541049 ms. Total solver calls (SAT/UNSAT): 3958225(6040/3952185)
Jun 02, 2017 5:04:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2043/3728 took 542079 ms. Total solver calls (SAT/UNSAT): 3965697(6052/3959645)
Jun 02, 2017 5:04:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2047/3728 took 543273 ms. Total solver calls (SAT/UNSAT): 3973169(6064/3967105)
Jun 02, 2017 5:04:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2051/3728 took 544320 ms. Total solver calls (SAT/UNSAT): 3980641(6076/3974565)
Jun 02, 2017 5:04:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2055/3728 took 545563 ms. Total solver calls (SAT/UNSAT): 3989635(6088/3983547)
Jun 02, 2017 5:04:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2059/3728 took 546596 ms. Total solver calls (SAT/UNSAT): 3997107(6100/3991007)
Jun 02, 2017 5:04:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2063/3728 took 547629 ms. Total solver calls (SAT/UNSAT): 4004579(6112/3998467)
Jun 02, 2017 5:04:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2067/3728 took 548669 ms. Total solver calls (SAT/UNSAT): 4012051(6124/4005927)
Jun 02, 2017 5:04:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2071/3728 took 549748 ms. Total solver calls (SAT/UNSAT): 4019523(6136/4013387)
Jun 02, 2017 5:04:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2075/3728 took 550982 ms. Total solver calls (SAT/UNSAT): 4028517(6148/4022369)
Jun 02, 2017 5:04:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2079/3728 took 552017 ms. Total solver calls (SAT/UNSAT): 4035989(6160/4029829)
Jun 02, 2017 5:04:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2083/3728 took 553047 ms. Total solver calls (SAT/UNSAT): 4043461(6172/4037289)
Jun 02, 2017 5:04:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2087/3728 took 554081 ms. Total solver calls (SAT/UNSAT): 4050933(6184/4044749)
Jun 02, 2017 5:04:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2091/3728 took 555116 ms. Total solver calls (SAT/UNSAT): 4058405(6196/4052209)
Jun 02, 2017 5:04:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2095/3728 took 556365 ms. Total solver calls (SAT/UNSAT): 4067398(6208/4061190)
Jun 02, 2017 5:04:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2099/3728 took 557415 ms. Total solver calls (SAT/UNSAT): 4074871(6220/4068651)
Jun 02, 2017 5:04:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2103/3728 took 558449 ms. Total solver calls (SAT/UNSAT): 4082343(6232/4076111)
Jun 02, 2017 5:04:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2107/3728 took 559485 ms. Total solver calls (SAT/UNSAT): 4089815(6244/4083571)
Jun 02, 2017 5:04:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2111/3728 took 560526 ms. Total solver calls (SAT/UNSAT): 4097287(6256/4091031)
Jun 02, 2017 5:04:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2115/3728 took 561562 ms. Total solver calls (SAT/UNSAT): 4104759(6268/4098491)
Jun 02, 2017 5:04:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2119/3728 took 562804 ms. Total solver calls (SAT/UNSAT): 4113753(6280/4107473)
Jun 02, 2017 5:04:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2123/3728 took 563848 ms. Total solver calls (SAT/UNSAT): 4121225(6292/4114933)
Jun 02, 2017 5:04:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2127/3728 took 564890 ms. Total solver calls (SAT/UNSAT): 4128697(6304/4122393)
Jun 02, 2017 5:04:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2131/3728 took 565923 ms. Total solver calls (SAT/UNSAT): 4136169(6316/4129853)
Jun 02, 2017 5:04:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2135/3728 took 566956 ms. Total solver calls (SAT/UNSAT): 4143641(6328/4137313)
Jun 02, 2017 5:05:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2138/3728 took 567959 ms. Total solver calls (SAT/UNSAT): 4150767(6337/4144430)
Jun 02, 2017 5:05:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2142/3728 took 568998 ms. Total solver calls (SAT/UNSAT): 4158239(6349/4151890)
Jun 02, 2017 5:05:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2146/3728 took 570025 ms. Total solver calls (SAT/UNSAT): 4165711(6361/4159350)
Jun 02, 2017 5:05:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2150/3728 took 571064 ms. Total solver calls (SAT/UNSAT): 4173183(6373/4166810)
Jun 02, 2017 5:05:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2154/3728 took 572102 ms. Total solver calls (SAT/UNSAT): 4180655(6385/4174270)
Jun 02, 2017 5:05:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2158/3728 took 573350 ms. Total solver calls (SAT/UNSAT): 4189648(6397/4183251)
Jun 02, 2017 5:05:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2162/3728 took 574376 ms. Total solver calls (SAT/UNSAT): 4197121(6409/4190712)
Jun 02, 2017 5:05:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2166/3728 took 575416 ms. Total solver calls (SAT/UNSAT): 4204593(6421/4198172)
Jun 02, 2017 5:05:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2170/3728 took 576452 ms. Total solver calls (SAT/UNSAT): 4212065(6433/4205632)
Jun 02, 2017 5:05:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2174/3728 took 577484 ms. Total solver calls (SAT/UNSAT): 4219537(6445/4213092)
Jun 02, 2017 5:05:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2178/3728 took 578521 ms. Total solver calls (SAT/UNSAT): 4227009(6457/4220552)
Jun 02, 2017 5:05:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2182/3728 took 579767 ms. Total solver calls (SAT/UNSAT): 4236003(6469/4229534)
Jun 02, 2017 5:05:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2186/3728 took 580798 ms. Total solver calls (SAT/UNSAT): 4243475(6481/4236994)
Jun 02, 2017 5:05:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2190/3728 took 581882 ms. Total solver calls (SAT/UNSAT): 4250947(6493/4244454)
Jun 02, 2017 5:05:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2194/3728 took 582958 ms. Total solver calls (SAT/UNSAT): 4258419(6505/4251914)
Jun 02, 2017 5:05:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2198/3728 took 583994 ms. Total solver calls (SAT/UNSAT): 4265891(6517/4259374)
Jun 02, 2017 5:05:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2201/3728 took 585027 ms. Total solver calls (SAT/UNSAT): 4273017(6526/4266491)
Jun 02, 2017 5:05:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2205/3728 took 586053 ms. Total solver calls (SAT/UNSAT): 4280489(6538/4273951)
Jun 02, 2017 5:05:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2209/3728 took 587083 ms. Total solver calls (SAT/UNSAT): 4287961(6550/4281411)
Jun 02, 2017 5:05:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2213/3728 took 588108 ms. Total solver calls (SAT/UNSAT): 4295433(6562/4288871)
Jun 02, 2017 5:05:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2217/3728 took 589131 ms. Total solver calls (SAT/UNSAT): 4302905(6574/4296331)
Jun 02, 2017 5:05:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2221/3728 took 590361 ms. Total solver calls (SAT/UNSAT): 4311898(6586/4305312)
Jun 02, 2017 5:05:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2225/3728 took 591380 ms. Total solver calls (SAT/UNSAT): 4319371(6598/4312773)
Jun 02, 2017 5:05:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2229/3728 took 592406 ms. Total solver calls (SAT/UNSAT): 4326843(6610/4320233)
Jun 02, 2017 5:05:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2233/3728 took 593434 ms. Total solver calls (SAT/UNSAT): 4334315(6622/4327693)
Jun 02, 2017 5:05:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2237/3728 took 594447 ms. Total solver calls (SAT/UNSAT): 4341787(6634/4335153)
Jun 02, 2017 5:05:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2241/3728 took 595471 ms. Total solver calls (SAT/UNSAT): 4349259(6646/4342613)
Jun 02, 2017 5:05:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2244/3728 took 596485 ms. Total solver calls (SAT/UNSAT): 4356385(6655/4349730)
Jun 02, 2017 5:05:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2248/3728 took 597515 ms. Total solver calls (SAT/UNSAT): 4363857(6667/4357190)
Jun 02, 2017 5:05:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2252/3728 took 598542 ms. Total solver calls (SAT/UNSAT): 4371329(6679/4364650)
Jun 02, 2017 5:05:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2256/3728 took 599575 ms. Total solver calls (SAT/UNSAT): 4378801(6691/4372110)
Jun 02, 2017 5:05:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2260/3728 took 600652 ms. Total solver calls (SAT/UNSAT): 4386273(6703/4379570)
Jun 02, 2017 5:05:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2263/3728 took 601671 ms. Total solver calls (SAT/UNSAT): 4393398(6712/4386686)
Jun 02, 2017 5:05:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2267/3728 took 602704 ms. Total solver calls (SAT/UNSAT): 4400871(6724/4394147)
Jun 02, 2017 5:05:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2271/3728 took 603741 ms. Total solver calls (SAT/UNSAT): 4408343(6736/4401607)
Jun 02, 2017 5:05:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2275/3728 took 604773 ms. Total solver calls (SAT/UNSAT): 4415815(6748/4409067)
Jun 02, 2017 5:05:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2279/3728 took 605805 ms. Total solver calls (SAT/UNSAT): 4423287(6760/4416527)
Jun 02, 2017 5:05:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2283/3728 took 606824 ms. Total solver calls (SAT/UNSAT): 4430759(6772/4423987)
Jun 02, 2017 5:05:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2286/3728 took 607836 ms. Total solver calls (SAT/UNSAT): 4437885(6781/4431104)
Jun 02, 2017 5:05:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2290/3728 took 608842 ms. Total solver calls (SAT/UNSAT): 4445357(6793/4438564)
Jun 02, 2017 5:05:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2294/3728 took 609851 ms. Total solver calls (SAT/UNSAT): 4452829(6805/4446024)
Jun 02, 2017 5:05:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2299/3728 took 611100 ms. Total solver calls (SAT/UNSAT): 4462169(6820/4455349)
Jun 02, 2017 5:05:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2304/3728 took 612344 ms. Total solver calls (SAT/UNSAT): 4471509(6835/4464674)
Jun 02, 2017 5:05:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2308/3728 took 613547 ms. Total solver calls (SAT/UNSAT): 4480503(6847/4473656)
Jun 02, 2017 5:05:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2312/3728 took 614547 ms. Total solver calls (SAT/UNSAT): 4487975(6859/4481116)
Jun 02, 2017 5:05:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2317/3728 took 615792 ms. Total solver calls (SAT/UNSAT): 4497315(6874/4490441)
Jun 02, 2017 5:05:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2321/3728 took 616794 ms. Total solver calls (SAT/UNSAT): 4504787(6886/4497901)
Jun 02, 2017 5:05:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2326/3728 took 618249 ms. Total solver calls (SAT/UNSAT): 4515648(6901/4508747)
Jun 02, 2017 5:05:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2330/3728 took 619252 ms. Total solver calls (SAT/UNSAT): 4523121(6913/4516208)
Jun 02, 2017 5:05:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2334/3728 took 620263 ms. Total solver calls (SAT/UNSAT): 4530593(6925/4523668)
Jun 02, 2017 5:05:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2338/3728 took 621270 ms. Total solver calls (SAT/UNSAT): 4538065(6937/4531128)
Jun 02, 2017 5:05:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2342/3728 took 622276 ms. Total solver calls (SAT/UNSAT): 4545537(6949/4538588)
Jun 02, 2017 5:05:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2346/3728 took 623284 ms. Total solver calls (SAT/UNSAT): 4553009(6961/4546048)
Jun 02, 2017 5:05:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2350/3728 took 624500 ms. Total solver calls (SAT/UNSAT): 4562003(6973/4555030)
Jun 02, 2017 5:05:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2354/3728 took 625510 ms. Total solver calls (SAT/UNSAT): 4569475(6985/4562490)
Jun 02, 2017 5:05:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2358/3728 took 626523 ms. Total solver calls (SAT/UNSAT): 4576947(6997/4569950)
Jun 02, 2017 5:05:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2362/3728 took 627525 ms. Total solver calls (SAT/UNSAT): 4584419(7009/4577410)
Jun 02, 2017 5:06:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2366/3728 took 628535 ms. Total solver calls (SAT/UNSAT): 4591891(7021/4584870)
Jun 02, 2017 5:06:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2370/3728 took 629750 ms. Total solver calls (SAT/UNSAT): 4600885(7033/4593852)
Jun 02, 2017 5:06:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2374/3728 took 630753 ms. Total solver calls (SAT/UNSAT): 4608357(7045/4601312)
Jun 02, 2017 5:06:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2378/3728 took 631765 ms. Total solver calls (SAT/UNSAT): 4615829(7057/4608772)
Jun 02, 2017 5:06:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2382/3728 took 632773 ms. Total solver calls (SAT/UNSAT): 4623301(7069/4616232)
Jun 02, 2017 5:06:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2386/3728 took 633790 ms. Total solver calls (SAT/UNSAT): 4630773(7081/4623692)
Jun 02, 2017 5:06:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2390/3728 took 634998 ms. Total solver calls (SAT/UNSAT): 4639767(7093/4632674)
Jun 02, 2017 5:06:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2394/3728 took 636007 ms. Total solver calls (SAT/UNSAT): 4647239(7105/4640134)
Jun 02, 2017 5:06:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2398/3728 took 637018 ms. Total solver calls (SAT/UNSAT): 4654711(7117/4647594)
Jun 02, 2017 5:06:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2402/3728 took 638030 ms. Total solver calls (SAT/UNSAT): 4662183(7129/4655054)
Jun 02, 2017 5:06:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2406/3728 took 639031 ms. Total solver calls (SAT/UNSAT): 4669655(7141/4662514)
Jun 02, 2017 5:06:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2410/3728 took 640250 ms. Total solver calls (SAT/UNSAT): 4678648(7153/4671495)
Jun 02, 2017 5:06:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2414/3728 took 641255 ms. Total solver calls (SAT/UNSAT): 4686121(7165/4678956)
Jun 02, 2017 5:06:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2418/3728 took 642256 ms. Total solver calls (SAT/UNSAT): 4693593(7177/4686416)
Jun 02, 2017 5:06:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2423/3728 took 643504 ms. Total solver calls (SAT/UNSAT): 4702933(7192/4695741)
Jun 02, 2017 5:06:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2427/3728 took 644510 ms. Total solver calls (SAT/UNSAT): 4710405(7204/4703201)
Jun 02, 2017 5:06:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2431/3728 took 645726 ms. Total solver calls (SAT/UNSAT): 4719398(7216/4712182)
Jun 02, 2017 5:06:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2435/3728 took 646728 ms. Total solver calls (SAT/UNSAT): 4726871(7228/4719643)
Jun 02, 2017 5:06:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2439/3728 took 647734 ms. Total solver calls (SAT/UNSAT): 4734343(7240/4727103)
Jun 02, 2017 5:06:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2444/3728 took 648978 ms. Total solver calls (SAT/UNSAT): 4743683(7255/4736428)
Jun 02, 2017 5:06:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2448/3728 took 649978 ms. Total solver calls (SAT/UNSAT): 4751155(7267/4743888)
Jun 02, 2017 5:06:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2452/3728 took 651175 ms. Total solver calls (SAT/UNSAT): 4760148(7279/4752869)
Jun 02, 2017 5:06:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2456/3728 took 652175 ms. Total solver calls (SAT/UNSAT): 4767621(7291/4760330)
Jun 02, 2017 5:06:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2461/3728 took 653418 ms. Total solver calls (SAT/UNSAT): 4776961(7306/4769655)
Jun 02, 2017 5:06:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2465/3728 took 654423 ms. Total solver calls (SAT/UNSAT): 4784433(7318/4777115)
Jun 02, 2017 5:06:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2470/3728 took 655667 ms. Total solver calls (SAT/UNSAT): 4793773(7333/4786440)
Jun 02, 2017 5:06:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2474/3728 took 656864 ms. Total solver calls (SAT/UNSAT): 4802767(7345/4795422)
Jun 02, 2017 5:06:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2479/3728 took 658115 ms. Total solver calls (SAT/UNSAT): 4812107(7360/4804747)
Jun 02, 2017 5:06:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2483/3728 took 659117 ms. Total solver calls (SAT/UNSAT): 4819579(7372/4812207)
Jun 02, 2017 5:06:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2487/3728 took 660122 ms. Total solver calls (SAT/UNSAT): 4827051(7384/4819667)
Jun 02, 2017 5:06:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2491/3728 took 661132 ms. Total solver calls (SAT/UNSAT): 4834523(7396/4827127)
Jun 02, 2017 5:06:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2495/3728 took 662337 ms. Total solver calls (SAT/UNSAT): 4843517(7408/4836109)
Jun 02, 2017 5:06:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2499/3728 took 663339 ms. Total solver calls (SAT/UNSAT): 4850989(7420/4843569)
Jun 02, 2017 5:06:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2503/3728 took 664343 ms. Total solver calls (SAT/UNSAT): 4858461(7432/4851029)
Jun 02, 2017 5:06:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2507/3728 took 665356 ms. Total solver calls (SAT/UNSAT): 4865933(7444/4858489)
Jun 02, 2017 5:06:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2511/3728 took 666356 ms. Total solver calls (SAT/UNSAT): 4873405(7456/4865949)
Jun 02, 2017 5:06:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2515/3728 took 667568 ms. Total solver calls (SAT/UNSAT): 4882398(7468/4874930)
Jun 02, 2017 5:06:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2519/3728 took 668575 ms. Total solver calls (SAT/UNSAT): 4889871(7480/4882391)
Jun 02, 2017 5:06:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2523/3728 took 669583 ms. Total solver calls (SAT/UNSAT): 4897343(7492/4889851)
Jun 02, 2017 5:06:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2528/3728 took 670831 ms. Total solver calls (SAT/UNSAT): 4906683(7507/4899176)
Jun 02, 2017 5:06:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2532/3728 took 671841 ms. Total solver calls (SAT/UNSAT): 4914155(7519/4906636)
Jun 02, 2017 5:06:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2536/3728 took 673049 ms. Total solver calls (SAT/UNSAT): 4923148(7531/4915617)
Jun 02, 2017 5:06:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2540/3728 took 674058 ms. Total solver calls (SAT/UNSAT): 4930621(7543/4923078)
Jun 02, 2017 5:06:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2545/3728 took 675306 ms. Total solver calls (SAT/UNSAT): 4939961(7558/4932403)
Jun 02, 2017 5:06:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2549/3728 took 676316 ms. Total solver calls (SAT/UNSAT): 4947433(7570/4939863)
Jun 02, 2017 5:06:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2553/3728 took 677321 ms. Total solver calls (SAT/UNSAT): 4954905(7582/4947323)
Jun 02, 2017 5:06:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2557/3728 took 678536 ms. Total solver calls (SAT/UNSAT): 4963898(7594/4956304)
Jun 02, 2017 5:06:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2561/3728 took 679540 ms. Total solver calls (SAT/UNSAT): 4971371(7606/4963765)
Jun 02, 2017 5:06:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2565/3728 took 680549 ms. Total solver calls (SAT/UNSAT): 4978843(7618/4971225)
Jun 02, 2017 5:06:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2569/3728 took 681552 ms. Total solver calls (SAT/UNSAT): 4986315(7630/4978685)
Jun 02, 2017 5:06:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2573/3728 took 682562 ms. Total solver calls (SAT/UNSAT): 4993787(7642/4986145)
Jun 02, 2017 5:06:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2577/3728 took 683566 ms. Total solver calls (SAT/UNSAT): 5001259(7654/4993605)
Jun 02, 2017 5:06:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2581/3728 took 684781 ms. Total solver calls (SAT/UNSAT): 5010253(7666/5002587)
Jun 02, 2017 5:06:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2585/3728 took 685792 ms. Total solver calls (SAT/UNSAT): 5017725(7678/5010047)
Jun 02, 2017 5:06:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2589/3728 took 686794 ms. Total solver calls (SAT/UNSAT): 5025197(7690/5017507)
Jun 02, 2017 5:07:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2593/3728 took 687807 ms. Total solver calls (SAT/UNSAT): 5032669(7702/5024967)
Jun 02, 2017 5:07:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2597/3728 took 688816 ms. Total solver calls (SAT/UNSAT): 5040141(7714/5032427)
Jun 02, 2017 5:07:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2601/3728 took 690028 ms. Total solver calls (SAT/UNSAT): 5049135(7726/5041409)
Jun 02, 2017 5:07:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2606/3728 took 691276 ms. Total solver calls (SAT/UNSAT): 5058475(7741/5050734)
Jun 02, 2017 5:07:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2610/3728 took 692284 ms. Total solver calls (SAT/UNSAT): 5065947(7753/5058194)
Jun 02, 2017 5:07:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2614/3728 took 693291 ms. Total solver calls (SAT/UNSAT): 5073419(7765/5065654)
Jun 02, 2017 5:07:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2618/3728 took 694309 ms. Total solver calls (SAT/UNSAT): 5080891(7777/5073114)
Jun 02, 2017 5:07:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2622/3728 took 695517 ms. Total solver calls (SAT/UNSAT): 5089885(7789/5082096)
Jun 02, 2017 5:07:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2626/3728 took 696527 ms. Total solver calls (SAT/UNSAT): 5097357(7801/5089556)
Jun 02, 2017 5:07:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2630/3728 took 697534 ms. Total solver calls (SAT/UNSAT): 5104829(7813/5097016)
Jun 02, 2017 5:07:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2635/3728 took 698788 ms. Total solver calls (SAT/UNSAT): 5114169(7828/5106341)
Jun 02, 2017 5:07:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2640/3728 took 700036 ms. Total solver calls (SAT/UNSAT): 5123509(7843/5115666)
Jun 02, 2017 5:07:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2644/3728 took 701246 ms. Total solver calls (SAT/UNSAT): 5132503(7855/5124648)
Jun 02, 2017 5:07:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2649/3728 took 702493 ms. Total solver calls (SAT/UNSAT): 5141843(7870/5133973)
Jun 02, 2017 5:07:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2653/3728 took 703497 ms. Total solver calls (SAT/UNSAT): 5149315(7882/5141433)
Jun 02, 2017 5:07:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2658/3728 took 704741 ms. Total solver calls (SAT/UNSAT): 5158655(7897/5150758)
Jun 02, 2017 5:07:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2662/3728 took 705948 ms. Total solver calls (SAT/UNSAT): 5167648(7909/5159739)
Jun 02, 2017 5:07:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2666/3728 took 706957 ms. Total solver calls (SAT/UNSAT): 5175121(7921/5167200)
Jun 02, 2017 5:07:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2670/3728 took 707964 ms. Total solver calls (SAT/UNSAT): 5182593(7933/5174660)
Jun 02, 2017 5:07:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2674/3728 took 708973 ms. Total solver calls (SAT/UNSAT): 5190065(7945/5182120)
Jun 02, 2017 5:07:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2678/3728 took 709976 ms. Total solver calls (SAT/UNSAT): 5197537(7957/5189580)
Jun 02, 2017 5:07:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2682/3728 took 710978 ms. Total solver calls (SAT/UNSAT): 5205009(7969/5197040)
Jun 02, 2017 5:07:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2686/3728 took 712190 ms. Total solver calls (SAT/UNSAT): 5214003(7981/5206022)
Jun 02, 2017 5:07:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2690/3728 took 713198 ms. Total solver calls (SAT/UNSAT): 5221475(7993/5213482)
Jun 02, 2017 5:07:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2694/3728 took 714207 ms. Total solver calls (SAT/UNSAT): 5228947(8005/5220942)
Jun 02, 2017 5:07:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2699/3728 took 715453 ms. Total solver calls (SAT/UNSAT): 5238287(8020/5230267)
Jun 02, 2017 5:07:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2703/3728 took 716464 ms. Total solver calls (SAT/UNSAT): 5245759(8032/5237727)
Jun 02, 2017 5:07:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2707/3728 took 717672 ms. Total solver calls (SAT/UNSAT): 5254753(8044/5246709)
Jun 02, 2017 5:07:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2711/3728 took 718674 ms. Total solver calls (SAT/UNSAT): 5262225(8056/5254169)
Jun 02, 2017 5:07:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2715/3728 took 719680 ms. Total solver calls (SAT/UNSAT): 5269697(8068/5261629)
Jun 02, 2017 5:07:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2719/3728 took 720687 ms. Total solver calls (SAT/UNSAT): 5277169(8080/5269089)
Jun 02, 2017 5:07:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2723/3728 took 721736 ms. Total solver calls (SAT/UNSAT): 5284641(8092/5276549)
Jun 02, 2017 5:07:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2727/3728 took 722925 ms. Total solver calls (SAT/UNSAT): 5293635(8104/5285531)
Jun 02, 2017 5:07:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2732/3728 took 724169 ms. Total solver calls (SAT/UNSAT): 5302975(8119/5294856)
Jun 02, 2017 5:07:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2737/3728 took 725408 ms. Total solver calls (SAT/UNSAT): 5312315(8134/5304181)
Jun 02, 2017 5:07:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2742/3728 took 726645 ms. Total solver calls (SAT/UNSAT): 5321655(8149/5313506)
Jun 02, 2017 5:07:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2746/3728 took 727841 ms. Total solver calls (SAT/UNSAT): 5330648(8161/5322487)
Jun 02, 2017 5:07:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2751/3728 took 729077 ms. Total solver calls (SAT/UNSAT): 5339989(8176/5331813)
Jun 02, 2017 5:07:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2756/3728 took 730321 ms. Total solver calls (SAT/UNSAT): 5349329(8191/5341138)
Jun 02, 2017 5:07:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2761/3728 took 731556 ms. Total solver calls (SAT/UNSAT): 5358669(8206/5350463)
Jun 02, 2017 5:07:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2766/3728 took 732801 ms. Total solver calls (SAT/UNSAT): 5368009(8221/5359788)
Jun 02, 2017 5:07:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2770/3728 took 733995 ms. Total solver calls (SAT/UNSAT): 5377003(8233/5368770)
Jun 02, 2017 5:07:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2775/3728 took 735241 ms. Total solver calls (SAT/UNSAT): 5386343(8248/5378095)
Jun 02, 2017 5:07:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2779/3728 took 736241 ms. Total solver calls (SAT/UNSAT): 5393815(8260/5385555)
Jun 02, 2017 5:07:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2783/3728 took 737253 ms. Total solver calls (SAT/UNSAT): 5401287(8272/5393015)
Jun 02, 2017 5:07:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2788/3728 took 738694 ms. Total solver calls (SAT/UNSAT): 5412148(8287/5403861)
Jun 02, 2017 5:07:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2793/3728 took 739948 ms. Total solver calls (SAT/UNSAT): 5421489(8302/5413187)
Jun 02, 2017 5:07:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2797/3728 took 740948 ms. Total solver calls (SAT/UNSAT): 5428961(8314/5420647)
Jun 02, 2017 5:07:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2801/3728 took 741948 ms. Total solver calls (SAT/UNSAT): 5436433(8326/5428107)
Jun 02, 2017 5:07:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2805/3728 took 742962 ms. Total solver calls (SAT/UNSAT): 5443905(8338/5435567)
Jun 02, 2017 5:07:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2809/3728 took 744174 ms. Total solver calls (SAT/UNSAT): 5452898(8350/5444548)
Jun 02, 2017 5:07:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2813/3728 took 745180 ms. Total solver calls (SAT/UNSAT): 5460371(8362/5452009)
Jun 02, 2017 5:07:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2817/3728 took 746186 ms. Total solver calls (SAT/UNSAT): 5467843(8374/5459469)
Jun 02, 2017 5:07:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2822/3728 took 747426 ms. Total solver calls (SAT/UNSAT): 5477183(8389/5468794)
Jun 02, 2017 5:08:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2826/3728 took 748428 ms. Total solver calls (SAT/UNSAT): 5484655(8401/5476254)
Jun 02, 2017 5:08:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2830/3728 took 749632 ms. Total solver calls (SAT/UNSAT): 5493648(8413/5485235)
Jun 02, 2017 5:08:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2835/3728 took 750882 ms. Total solver calls (SAT/UNSAT): 5502989(8428/5494561)
Jun 02, 2017 5:08:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2839/3728 took 751882 ms. Total solver calls (SAT/UNSAT): 5510461(8440/5502021)
Jun 02, 2017 5:08:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2843/3728 took 752884 ms. Total solver calls (SAT/UNSAT): 5517933(8452/5509481)
Jun 02, 2017 5:08:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2847/3728 took 753898 ms. Total solver calls (SAT/UNSAT): 5525405(8464/5516941)
Jun 02, 2017 5:08:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2851/3728 took 755102 ms. Total solver calls (SAT/UNSAT): 5534398(8476/5525922)
Jun 02, 2017 5:08:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2855/3728 took 756104 ms. Total solver calls (SAT/UNSAT): 5541871(8488/5533383)
Jun 02, 2017 5:08:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2859/3728 took 757112 ms. Total solver calls (SAT/UNSAT): 5549343(8500/5540843)
Jun 02, 2017 5:08:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2864/3728 took 758357 ms. Total solver calls (SAT/UNSAT): 5558683(8515/5550168)
Jun 02, 2017 5:08:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2869/3728 took 759609 ms. Total solver calls (SAT/UNSAT): 5568023(8530/5559493)
Jun 02, 2017 5:08:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2873/3728 took 760804 ms. Total solver calls (SAT/UNSAT): 5577017(8542/5568475)
Jun 02, 2017 5:08:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2878/3728 took 762042 ms. Total solver calls (SAT/UNSAT): 5586357(8557/5577800)
Jun 02, 2017 5:08:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2882/3728 took 763049 ms. Total solver calls (SAT/UNSAT): 5593829(8569/5585260)
Jun 02, 2017 5:08:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2887/3728 took 764297 ms. Total solver calls (SAT/UNSAT): 5603169(8584/5594585)
Jun 02, 2017 5:08:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2891/3728 took 765303 ms. Total solver calls (SAT/UNSAT): 5610641(8596/5602045)
Jun 02, 2017 5:08:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2895/3728 took 766495 ms. Total solver calls (SAT/UNSAT): 5619635(8608/5611027)
Jun 02, 2017 5:08:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2900/3728 took 767735 ms. Total solver calls (SAT/UNSAT): 5628975(8623/5620352)
Jun 02, 2017 5:08:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2904/3728 took 768739 ms. Total solver calls (SAT/UNSAT): 5636447(8635/5627812)
Jun 02, 2017 5:08:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2909/3728 took 769983 ms. Total solver calls (SAT/UNSAT): 5645787(8650/5637137)
Jun 02, 2017 5:08:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2914/3728 took 771436 ms. Total solver calls (SAT/UNSAT): 5656648(8665/5647983)
Jun 02, 2017 5:08:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2918/3728 took 772443 ms. Total solver calls (SAT/UNSAT): 5664121(8677/5655444)
Jun 02, 2017 5:08:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2922/3728 took 773449 ms. Total solver calls (SAT/UNSAT): 5671593(8689/5662904)
Jun 02, 2017 5:08:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2926/3728 took 774457 ms. Total solver calls (SAT/UNSAT): 5679065(8701/5670364)
Jun 02, 2017 5:08:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2931/3728 took 775704 ms. Total solver calls (SAT/UNSAT): 5688405(8716/5679689)
Jun 02, 2017 5:08:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2935/3728 took 776900 ms. Total solver calls (SAT/UNSAT): 5697398(8728/5688670)
Jun 02, 2017 5:08:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2939/3728 took 777901 ms. Total solver calls (SAT/UNSAT): 5704871(8740/5696131)
Jun 02, 2017 5:08:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2944/3728 took 779135 ms. Total solver calls (SAT/UNSAT): 5714211(8755/5705456)
Jun 02, 2017 5:08:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2949/3728 took 780381 ms. Total solver calls (SAT/UNSAT): 5723551(8770/5714781)
Jun 02, 2017 5:08:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2954/3728 took 781624 ms. Total solver calls (SAT/UNSAT): 5732891(8785/5724106)
Jun 02, 2017 5:08:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2958/3728 took 782815 ms. Total solver calls (SAT/UNSAT): 5741885(8797/5733088)
Jun 02, 2017 5:08:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2963/3728 took 784058 ms. Total solver calls (SAT/UNSAT): 5751225(8812/5742413)
Jun 02, 2017 5:08:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2968/3728 took 785289 ms. Total solver calls (SAT/UNSAT): 5760565(8827/5751738)
Jun 02, 2017 5:08:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2973/3728 took 786529 ms. Total solver calls (SAT/UNSAT): 5769905(8842/5761063)
Jun 02, 2017 5:08:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2977/3728 took 787716 ms. Total solver calls (SAT/UNSAT): 5778898(8854/5770044)
Jun 02, 2017 5:08:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2982/3728 took 788952 ms. Total solver calls (SAT/UNSAT): 5788239(8869/5779370)
Jun 02, 2017 5:08:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2987/3728 took 790195 ms. Total solver calls (SAT/UNSAT): 5797579(8884/5788695)
Jun 02, 2017 5:08:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2992/3728 took 791434 ms. Total solver calls (SAT/UNSAT): 5806919(8899/5798020)
Jun 02, 2017 5:08:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2997/3728 took 792675 ms. Total solver calls (SAT/UNSAT): 5816259(8914/5807345)
Jun 02, 2017 5:08:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3001/3728 took 793866 ms. Total solver calls (SAT/UNSAT): 5825253(8926/5816327)
Jun 02, 2017 5:08:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3006/3728 took 795105 ms. Total solver calls (SAT/UNSAT): 5834593(8941/5825652)
Jun 02, 2017 5:08:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3011/3728 took 796351 ms. Total solver calls (SAT/UNSAT): 5843933(8956/5834977)
Jun 02, 2017 5:08:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3016/3728 took 797586 ms. Total solver calls (SAT/UNSAT): 5853273(8971/5844302)
Jun 02, 2017 5:08:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3020/3728 took 798789 ms. Total solver calls (SAT/UNSAT): 5862267(8983/5853284)
Jun 02, 2017 5:08:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3024/3728 took 799790 ms. Total solver calls (SAT/UNSAT): 5869739(8995/5860744)
Jun 02, 2017 5:08:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3029/3728 took 801035 ms. Total solver calls (SAT/UNSAT): 5879079(9010/5870069)
Jun 02, 2017 5:08:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3033/3728 took 802039 ms. Total solver calls (SAT/UNSAT): 5886551(9022/5877529)
Jun 02, 2017 5:08:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3038/3728 took 803283 ms. Total solver calls (SAT/UNSAT): 5895891(9037/5886854)
Jun 02, 2017 5:08:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3042/3728 took 804485 ms. Total solver calls (SAT/UNSAT): 5904885(9049/5895836)
Jun 02, 2017 5:08:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3046/3728 took 805486 ms. Total solver calls (SAT/UNSAT): 5912357(9061/5903296)
Jun 02, 2017 5:08:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3051/3728 took 806719 ms. Total solver calls (SAT/UNSAT): 5921697(9076/5912621)
Jun 02, 2017 5:09:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3056/3728 took 807961 ms. Total solver calls (SAT/UNSAT): 5931037(9091/5921946)
Jun 02, 2017 5:09:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3061/3728 took 809407 ms. Total solver calls (SAT/UNSAT): 5941898(9106/5932792)
Jun 02, 2017 5:09:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3066/3728 took 810639 ms. Total solver calls (SAT/UNSAT): 5951239(9121/5942118)
Jun 02, 2017 5:09:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3071/3728 took 811883 ms. Total solver calls (SAT/UNSAT): 5960579(9136/5951443)
Jun 02, 2017 5:09:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3076/3728 took 813126 ms. Total solver calls (SAT/UNSAT): 5969919(9151/5960768)
Jun 02, 2017 5:09:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3081/3728 took 814369 ms. Total solver calls (SAT/UNSAT): 5979259(9166/5970093)
Jun 02, 2017 5:09:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3085/3728 took 815569 ms. Total solver calls (SAT/UNSAT): 5988253(9178/5979075)
Jun 02, 2017 5:09:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3090/3728 took 816815 ms. Total solver calls (SAT/UNSAT): 5997593(9193/5988400)
Jun 02, 2017 5:09:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3094/3728 took 817817 ms. Total solver calls (SAT/UNSAT): 6005065(9205/5995860)
Jun 02, 2017 5:09:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3099/3728 took 819053 ms. Total solver calls (SAT/UNSAT): 6014405(9220/6005185)
Jun 02, 2017 5:09:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3103/3728 took 820239 ms. Total solver calls (SAT/UNSAT): 6023398(9232/6014166)
Jun 02, 2017 5:09:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3108/3728 took 821488 ms. Total solver calls (SAT/UNSAT): 6032739(9247/6023492)
Jun 02, 2017 5:09:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3113/3728 took 822722 ms. Total solver calls (SAT/UNSAT): 6042079(9262/6032817)
Jun 02, 2017 5:09:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3118/3728 took 823966 ms. Total solver calls (SAT/UNSAT): 6051419(9277/6042142)
Jun 02, 2017 5:09:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3123/3728 took 825215 ms. Total solver calls (SAT/UNSAT): 6060759(9292/6051467)
Jun 02, 2017 5:09:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3127/3728 took 826403 ms. Total solver calls (SAT/UNSAT): 6069753(9304/6060449)
Jun 02, 2017 5:09:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3132/3728 took 827652 ms. Total solver calls (SAT/UNSAT): 6079093(9319/6069774)
Jun 02, 2017 5:09:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3136/3728 took 828652 ms. Total solver calls (SAT/UNSAT): 6086565(9331/6077234)
Jun 02, 2017 5:09:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3141/3728 took 829896 ms. Total solver calls (SAT/UNSAT): 6095905(9346/6086559)
Jun 02, 2017 5:09:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3145/3728 took 831096 ms. Total solver calls (SAT/UNSAT): 6104898(9358/6095540)
Jun 02, 2017 5:09:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3149/3728 took 832098 ms. Total solver calls (SAT/UNSAT): 6112371(9370/6103001)
Jun 02, 2017 5:09:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3154/3728 took 833347 ms. Total solver calls (SAT/UNSAT): 6121711(9385/6112326)
Jun 02, 2017 5:09:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3158/3728 took 834363 ms. Total solver calls (SAT/UNSAT): 6129183(9397/6119786)
Jun 02, 2017 5:09:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3163/3728 took 835609 ms. Total solver calls (SAT/UNSAT): 6138523(9412/6129111)
Jun 02, 2017 5:09:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3167/3728 took 836806 ms. Total solver calls (SAT/UNSAT): 6147517(9424/6138093)
Jun 02, 2017 5:09:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3172/3728 took 838053 ms. Total solver calls (SAT/UNSAT): 6156857(9439/6147418)
Jun 02, 2017 5:09:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3177/3728 took 839301 ms. Total solver calls (SAT/UNSAT): 6166197(9454/6156743)
Jun 02, 2017 5:09:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3181/3728 took 840303 ms. Total solver calls (SAT/UNSAT): 6173669(9466/6164203)
Jun 02, 2017 5:09:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3186/3728 took 841548 ms. Total solver calls (SAT/UNSAT): 6183009(9481/6173528)
Jun 02, 2017 5:09:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3190/3728 took 842746 ms. Total solver calls (SAT/UNSAT): 6192003(9493/6182510)
Jun 02, 2017 5:09:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3195/3728 took 843995 ms. Total solver calls (SAT/UNSAT): 6201343(9508/6191835)
Jun 02, 2017 5:09:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3199/3728 took 844997 ms. Total solver calls (SAT/UNSAT): 6208815(9520/6199295)
Jun 02, 2017 5:09:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3204/3728 took 846242 ms. Total solver calls (SAT/UNSAT): 6218155(9535/6208620)
Jun 02, 2017 5:09:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3208/3728 took 847442 ms. Total solver calls (SAT/UNSAT): 6227148(9547/6217601)
Jun 02, 2017 5:09:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3213/3728 took 848685 ms. Total solver calls (SAT/UNSAT): 6236489(9562/6226927)
Jun 02, 2017 5:09:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3218/3728 took 849926 ms. Total solver calls (SAT/UNSAT): 6245829(9577/6236252)
Jun 02, 2017 5:09:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3223/3728 took 851172 ms. Total solver calls (SAT/UNSAT): 6255169(9592/6245577)
Jun 02, 2017 5:09:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3228/3728 took 852415 ms. Total solver calls (SAT/UNSAT): 6264509(9607/6254902)
Jun 02, 2017 5:09:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3232/3728 took 853616 ms. Total solver calls (SAT/UNSAT): 6273503(9619/6263884)
Jun 02, 2017 5:09:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3237/3728 took 854854 ms. Total solver calls (SAT/UNSAT): 6282843(9634/6273209)
Jun 02, 2017 5:09:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3242/3728 took 856093 ms. Total solver calls (SAT/UNSAT): 6292183(9649/6282534)
Jun 02, 2017 5:09:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3246/3728 took 857095 ms. Total solver calls (SAT/UNSAT): 6299655(9661/6289994)
Jun 02, 2017 5:09:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3250/3728 took 858297 ms. Total solver calls (SAT/UNSAT): 6308648(9673/6298975)
Jun 02, 2017 5:09:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3255/3728 took 859539 ms. Total solver calls (SAT/UNSAT): 6317989(9688/6308301)
Jun 02, 2017 5:09:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3259/3728 took 860543 ms. Total solver calls (SAT/UNSAT): 6325461(9700/6315761)
Jun 02, 2017 5:09:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3263/3728 took 861547 ms. Total solver calls (SAT/UNSAT): 6332933(9712/6323221)
Jun 02, 2017 5:09:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3268/3728 took 862786 ms. Total solver calls (SAT/UNSAT): 6342273(9727/6332546)
Jun 02, 2017 5:09:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3272/3728 took 863986 ms. Total solver calls (SAT/UNSAT): 6351267(9739/6341528)
Jun 02, 2017 5:09:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3277/3728 took 865233 ms. Total solver calls (SAT/UNSAT): 6360607(9754/6350853)
Jun 02, 2017 5:09:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3282/3728 took 866476 ms. Total solver calls (SAT/UNSAT): 6369947(9769/6360178)
Jun 02, 2017 5:09:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3286/3728 took 867476 ms. Total solver calls (SAT/UNSAT): 6377419(9781/6367638)
Jun 02, 2017 5:10:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3291/3728 took 868718 ms. Total solver calls (SAT/UNSAT): 6386759(9796/6376963)
Jun 02, 2017 5:10:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3295/3728 took 869916 ms. Total solver calls (SAT/UNSAT): 6395753(9808/6385945)
Jun 02, 2017 5:10:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3299/3728 took 870922 ms. Total solver calls (SAT/UNSAT): 6403225(9820/6393405)
Jun 02, 2017 5:10:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3304/3728 took 872169 ms. Total solver calls (SAT/UNSAT): 6412565(9835/6402730)
Jun 02, 2017 5:10:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3308/3728 took 873172 ms. Total solver calls (SAT/UNSAT): 6420037(9847/6410190)
Jun 02, 2017 5:10:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3312/3728 took 874227 ms. Total solver calls (SAT/UNSAT): 6427509(9859/6417650)
Jun 02, 2017 5:10:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3316/3728 took 875471 ms. Total solver calls (SAT/UNSAT): 6436503(9871/6426632)
Jun 02, 2017 5:10:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3320/3728 took 876555 ms. Total solver calls (SAT/UNSAT): 6443975(9883/6434092)
Jun 02, 2017 5:10:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3324/3728 took 877614 ms. Total solver calls (SAT/UNSAT): 6451447(9895/6441552)
Jun 02, 2017 5:10:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3328/3728 took 878623 ms. Total solver calls (SAT/UNSAT): 6458919(9907/6449012)
Jun 02, 2017 5:10:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3332/3728 took 879686 ms. Total solver calls (SAT/UNSAT): 6466391(9919/6456472)
Jun 02, 2017 5:10:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3335/3728 took 880702 ms. Total solver calls (SAT/UNSAT): 6473517(9928/6463589)
Jun 02, 2017 5:10:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3339/3728 took 881828 ms. Total solver calls (SAT/UNSAT): 6480989(9940/6471049)
Jun 02, 2017 5:10:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3343/3728 took 882882 ms. Total solver calls (SAT/UNSAT): 6488461(9952/6478509)
Jun 02, 2017 5:10:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3347/3728 took 883992 ms. Total solver calls (SAT/UNSAT): 6495933(9964/6485969)
Jun 02, 2017 5:10:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3351/3728 took 885055 ms. Total solver calls (SAT/UNSAT): 6503405(9976/6493429)
Jun 02, 2017 5:10:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3355/3728 took 886263 ms. Total solver calls (SAT/UNSAT): 6512398(9988/6502410)
Jun 02, 2017 5:10:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3360/3728 took 887506 ms. Total solver calls (SAT/UNSAT): 6521739(10003/6511736)
Jun 02, 2017 5:10:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3364/3728 took 888511 ms. Total solver calls (SAT/UNSAT): 6529211(10015/6519196)
Jun 02, 2017 5:10:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3368/3728 took 889517 ms. Total solver calls (SAT/UNSAT): 6536683(10027/6526656)
Jun 02, 2017 5:10:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3373/3728 took 890761 ms. Total solver calls (SAT/UNSAT): 6546023(10042/6535981)
Jun 02, 2017 5:10:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3377/3728 took 891967 ms. Total solver calls (SAT/UNSAT): 6555017(10054/6544963)
Jun 02, 2017 5:10:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3381/3728 took 892968 ms. Total solver calls (SAT/UNSAT): 6562489(10066/6552423)
Jun 02, 2017 5:10:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3386/3728 took 894211 ms. Total solver calls (SAT/UNSAT): 6571829(10081/6561748)
Jun 02, 2017 5:10:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3391/3728 took 895463 ms. Total solver calls (SAT/UNSAT): 6581169(10096/6571073)
Jun 02, 2017 5:10:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3395/3728 took 896466 ms. Total solver calls (SAT/UNSAT): 6588641(10108/6578533)
Jun 02, 2017 5:10:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3399/3728 took 897673 ms. Total solver calls (SAT/UNSAT): 6597635(10120/6587515)
Jun 02, 2017 5:10:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3404/3728 took 898917 ms. Total solver calls (SAT/UNSAT): 6606975(10135/6596840)
Jun 02, 2017 5:10:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3408/3728 took 899917 ms. Total solver calls (SAT/UNSAT): 6614447(10147/6604300)
Jun 02, 2017 5:10:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3413/3728 took 901164 ms. Total solver calls (SAT/UNSAT): 6623787(10162/6613625)
Jun 02, 2017 5:10:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3418/3728 took 902613 ms. Total solver calls (SAT/UNSAT): 6634648(10177/6624471)
Jun 02, 2017 5:10:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3422/3728 took 903613 ms. Total solver calls (SAT/UNSAT): 6642121(10189/6631932)
Jun 02, 2017 5:10:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3427/3728 took 904858 ms. Total solver calls (SAT/UNSAT): 6651461(10204/6641257)
Jun 02, 2017 5:10:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3431/3728 took 905907 ms. Total solver calls (SAT/UNSAT): 6658933(10216/6648717)
Jun 02, 2017 5:10:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3436/3728 took 907139 ms. Total solver calls (SAT/UNSAT): 6668273(10231/6658042)
Jun 02, 2017 5:10:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3441/3728 took 908156 ms. Total solver calls (SAT/UNSAT): 6675926(10242/6665684)
Jun 02, 2017 5:10:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3467/3728 took 909157 ms. Total solver calls (SAT/UNSAT): 6682790(10268/6672522)
Jun 02, 2017 5:10:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3481/3728 took 910496 ms. Total solver calls (SAT/UNSAT): 6692566(10282/6682284)
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-PT-V80P50N20"
export BK_EXAMINATION="LTLCardinality"
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-PT-V80P50N20.tgz
mv S_BridgeAndVehicles-PT-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-PT-V80P50N20, examination is LTLCardinality"
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-149441076900563"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 ;