About the Execution of ITS-Tools for BridgeAndVehicles-PT-V80P50N20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15930.680 | 3600000.00 | 4767844.00 | 418.60 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is BridgeAndVehicles-PT-V80P50N20, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r010-csrt-149436129900564
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-0
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-1
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-10
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-11
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-12
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-13
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-14
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-15
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-2
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-3
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-4
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-5
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-6
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-7
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-8
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-9
=== Now, execution of the tool begins
BK_START 1496285235572
Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ltl command run as :
/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !(((("CHOIX_1>=1")&&("COMPTEUR_20>=1"))||(("CHOIX_2>=1")&&("COMPTEUR_20>=1"))))
Formula 0 simplified : !(("CHOIX_1>=1" & "COMPTEUR_20>=1") | ("CHOIX_2>=1" & "COMPTEUR_20>=1"))
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
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLFireability -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 01, 2017 2:47:17 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 2:47:17 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 326 ms
Jun 01, 2017 2:47:17 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 198 places.
Jun 01, 2017 2:47:17 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 3728 transitions.
Jun 01, 2017 2:47:20 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 654 ms
Jun 01, 2017 2:47:20 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 73 ms
Jun 01, 2017 2:47:20 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 43 ms
Jun 01, 2017 2:47:22 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 425 ms
Jun 01, 2017 2:47:37 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 198 variables to be positive in 15143 ms
Jun 01, 2017 2:47:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 3728 transitions.
Jun 01, 2017 2:47:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3728 took 289 ms. Total solver calls (SAT/UNSAT): 1943(2/1941)
Jun 01, 2017 2:47:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/3728 took 1514 ms. Total solver calls (SAT/UNSAT): 9715(10/9705)
Jun 01, 2017 2:47:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/3728 took 2627 ms. Total solver calls (SAT/UNSAT): 17487(18/17469)
Jun 01, 2017 2:47:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/3728 took 3739 ms. Total solver calls (SAT/UNSAT): 25259(26/25233)
Jun 01, 2017 2:47:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :16/3728 took 4850 ms. Total solver calls (SAT/UNSAT): 33031(34/32997)
Jun 01, 2017 2:47:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/3728 took 5925 ms. Total solver calls (SAT/UNSAT): 40803(42/40761)
Jun 01, 2017 2:47:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/3728 took 7001 ms. Total solver calls (SAT/UNSAT): 48575(50/48525)
Jun 01, 2017 2:47:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/3728 took 8072 ms. Total solver calls (SAT/UNSAT): 56347(58/56289)
Jun 01, 2017 2:47:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/3728 took 9133 ms. Total solver calls (SAT/UNSAT): 64119(66/64053)
Jun 01, 2017 2:47:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/3728 took 10205 ms. Total solver calls (SAT/UNSAT): 71891(74/71817)
Jun 01, 2017 2:47:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/3728 took 11279 ms. Total solver calls (SAT/UNSAT): 79663(82/79581)
Jun 01, 2017 2:47:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/3728 took 12332 ms. Total solver calls (SAT/UNSAT): 87435(90/87345)
Jun 01, 2017 2:47:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/3728 took 13386 ms. Total solver calls (SAT/UNSAT): 95207(98/95109)
Jun 01, 2017 2:47:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/3728 took 14453 ms. Total solver calls (SAT/UNSAT): 102979(106/102873)
Jun 01, 2017 2:47:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/3728 took 15511 ms. Total solver calls (SAT/UNSAT): 110751(114/110637)
Jun 01, 2017 2:47:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/3728 took 16567 ms. Total solver calls (SAT/UNSAT): 118523(122/118401)
Jun 01, 2017 2:47:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/3728 took 17628 ms. Total solver calls (SAT/UNSAT): 126295(130/126165)
Jun 01, 2017 2:47:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/3728 took 18680 ms. Total solver calls (SAT/UNSAT): 134067(138/133929)
Jun 01, 2017 2:47:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/3728 took 19734 ms. Total solver calls (SAT/UNSAT): 141839(146/141693)
Jun 01, 2017 2:47:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/3728 took 20787 ms. Total solver calls (SAT/UNSAT): 149611(154/149457)
Jun 01, 2017 2:47:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/3728 took 21830 ms. Total solver calls (SAT/UNSAT): 157308(163/157145)
Jun 01, 2017 2:48:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/3728 took 22836 ms. Total solver calls (SAT/UNSAT): 164784(175/164609)
Jun 01, 2017 2:48:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/3728 took 23842 ms. Total solver calls (SAT/UNSAT): 172260(187/172073)
Jun 01, 2017 2:48:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/3728 took 24859 ms. Total solver calls (SAT/UNSAT): 179736(199/179537)
Jun 01, 2017 2:48:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/3728 took 25867 ms. Total solver calls (SAT/UNSAT): 187212(211/187001)
Jun 01, 2017 2:48:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/3728 took 27115 ms. Total solver calls (SAT/UNSAT): 196557(226/196331)
Jun 01, 2017 2:48:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :106/3728 took 28363 ms. Total solver calls (SAT/UNSAT): 205902(241/205661)
Jun 01, 2017 2:48:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :111/3728 took 29612 ms. Total solver calls (SAT/UNSAT): 215247(256/214991)
Jun 01, 2017 2:48:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/3728 took 30615 ms. Total solver calls (SAT/UNSAT): 222723(268/222455)
Jun 01, 2017 2:48:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/3728 took 31865 ms. Total solver calls (SAT/UNSAT): 232068(283/231785)
Jun 01, 2017 2:48:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/3728 took 33114 ms. Total solver calls (SAT/UNSAT): 241413(298/241115)
Jun 01, 2017 2:48:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :129/3728 took 34127 ms. Total solver calls (SAT/UNSAT): 248889(310/248579)
Jun 01, 2017 2:48:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/3728 took 35375 ms. Total solver calls (SAT/UNSAT): 258234(325/257909)
Jun 01, 2017 2:48:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/3728 took 36469 ms. Total solver calls (SAT/UNSAT): 265710(337/265373)
Jun 01, 2017 2:48:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :142/3728 took 37508 ms. Total solver calls (SAT/UNSAT): 273186(349/272837)
Jun 01, 2017 2:48:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/3728 took 38742 ms. Total solver calls (SAT/UNSAT): 282531(364/282167)
Jun 01, 2017 2:48:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/3728 took 39980 ms. Total solver calls (SAT/UNSAT): 291876(379/291497)
Jun 01, 2017 2:48:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :157/3728 took 41213 ms. Total solver calls (SAT/UNSAT): 301221(394/300827)
Jun 01, 2017 2:48:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :162/3728 took 42443 ms. Total solver calls (SAT/UNSAT): 310562(409/310153)
Jun 01, 2017 2:48:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :166/3728 took 43497 ms. Total solver calls (SAT/UNSAT): 318034(421/317613)
Jun 01, 2017 2:48:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/3728 took 44510 ms. Total solver calls (SAT/UNSAT): 325506(433/325073)
Jun 01, 2017 2:48:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/3728 took 45513 ms. Total solver calls (SAT/UNSAT): 332978(445/332533)
Jun 01, 2017 2:48:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :178/3728 took 46513 ms. Total solver calls (SAT/UNSAT): 340450(457/339993)
Jun 01, 2017 2:48:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :182/3728 took 47514 ms. Total solver calls (SAT/UNSAT): 347922(469/347453)
Jun 01, 2017 2:48:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/3728 took 48517 ms. Total solver calls (SAT/UNSAT): 355394(481/354913)
Jun 01, 2017 2:48:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :190/3728 took 49523 ms. Total solver calls (SAT/UNSAT): 362866(493/362373)
Jun 01, 2017 2:48:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :194/3728 took 50530 ms. Total solver calls (SAT/UNSAT): 370338(505/369833)
Jun 01, 2017 2:48:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :198/3728 took 51535 ms. Total solver calls (SAT/UNSAT): 377810(517/377293)
Jun 01, 2017 2:48:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :202/3728 took 52541 ms. Total solver calls (SAT/UNSAT): 385282(529/384753)
Jun 01, 2017 2:48:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :206/3728 took 53579 ms. Total solver calls (SAT/UNSAT): 392754(541/392213)
Jun 01, 2017 2:48:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :211/3728 took 54816 ms. Total solver calls (SAT/UNSAT): 402094(556/401538)
Jun 01, 2017 2:48:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/3728 took 56052 ms. Total solver calls (SAT/UNSAT): 411434(571/410863)
Jun 01, 2017 2:48:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/3728 took 57279 ms. Total solver calls (SAT/UNSAT): 420774(586/420188)
Jun 01, 2017 2:48:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/3728 took 58508 ms. Total solver calls (SAT/UNSAT): 430114(601/429513)
Jun 01, 2017 2:48:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/3728 took 59739 ms. Total solver calls (SAT/UNSAT): 439454(616/438838)
Jun 01, 2017 2:48:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/3728 took 60965 ms. Total solver calls (SAT/UNSAT): 448794(631/448163)
Jun 01, 2017 2:48:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/3728 took 61991 ms. Total solver calls (SAT/UNSAT): 456265(643/455622)
Jun 01, 2017 2:48:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :244/3728 took 63012 ms. Total solver calls (SAT/UNSAT): 463737(655/463082)
Jun 01, 2017 2:48:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/3728 took 64033 ms. Total solver calls (SAT/UNSAT): 471209(667/470542)
Jun 01, 2017 2:48:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/3728 took 65034 ms. Total solver calls (SAT/UNSAT): 478681(679/478002)
Jun 01, 2017 2:48:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :256/3728 took 66036 ms. Total solver calls (SAT/UNSAT): 486153(691/485462)
Jun 01, 2017 2:48:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :261/3728 took 67282 ms. Total solver calls (SAT/UNSAT): 495493(706/494787)
Jun 01, 2017 2:48:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :266/3728 took 68529 ms. Total solver calls (SAT/UNSAT): 504833(721/504112)
Jun 01, 2017 2:48:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :270/3728 took 69529 ms. Total solver calls (SAT/UNSAT): 512305(733/511572)
Jun 01, 2017 2:48:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :274/3728 took 70530 ms. Total solver calls (SAT/UNSAT): 519777(745/519032)
Jun 01, 2017 2:48:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :278/3728 took 71533 ms. Total solver calls (SAT/UNSAT): 527249(757/526492)
Jun 01, 2017 2:48:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/3728 took 72780 ms. Total solver calls (SAT/UNSAT): 536589(772/535817)
Jun 01, 2017 2:48:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :287/3728 took 73781 ms. Total solver calls (SAT/UNSAT): 544061(784/543277)
Jun 01, 2017 2:48:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :291/3728 took 74837 ms. Total solver calls (SAT/UNSAT): 551533(796/550737)
Jun 01, 2017 2:48:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :295/3728 took 75845 ms. Total solver calls (SAT/UNSAT): 559005(808/558197)
Jun 01, 2017 2:48:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :299/3728 took 76850 ms. Total solver calls (SAT/UNSAT): 566477(820/565657)
Jun 01, 2017 2:48:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/3728 took 78097 ms. Total solver calls (SAT/UNSAT): 575817(835/574982)
Jun 01, 2017 2:48:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :309/3728 took 79344 ms. Total solver calls (SAT/UNSAT): 585157(850/584307)
Jun 01, 2017 2:48:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :314/3728 took 80590 ms. Total solver calls (SAT/UNSAT): 594497(865/593632)
Jun 01, 2017 2:48:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/3728 took 81835 ms. Total solver calls (SAT/UNSAT): 603837(880/602957)
Jun 01, 2017 2:49:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/3728 took 83082 ms. Total solver calls (SAT/UNSAT): 613176(895/612281)
Jun 01, 2017 2:49:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/3728 took 84327 ms. Total solver calls (SAT/UNSAT): 622516(910/621606)
Jun 01, 2017 2:49:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :333/3728 took 85341 ms. Total solver calls (SAT/UNSAT): 629988(922/629066)
Jun 01, 2017 2:49:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/3728 took 86356 ms. Total solver calls (SAT/UNSAT): 637460(934/636526)
Jun 01, 2017 2:49:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :341/3728 took 87365 ms. Total solver calls (SAT/UNSAT): 644932(946/643986)
Jun 01, 2017 2:49:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :345/3728 took 88373 ms. Total solver calls (SAT/UNSAT): 652404(958/651446)
Jun 01, 2017 2:49:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :350/3728 took 89620 ms. Total solver calls (SAT/UNSAT): 661744(973/660771)
Jun 01, 2017 2:49:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/3728 took 90868 ms. Total solver calls (SAT/UNSAT): 671084(988/670096)
Jun 01, 2017 2:49:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/3728 took 92117 ms. Total solver calls (SAT/UNSAT): 680424(1003/679421)
Jun 01, 2017 2:49:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/3728 took 93117 ms. Total solver calls (SAT/UNSAT): 687896(1015/686881)
Jun 01, 2017 2:49:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/3728 took 94364 ms. Total solver calls (SAT/UNSAT): 697236(1030/696206)
Jun 01, 2017 2:49:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/3728 took 95611 ms. Total solver calls (SAT/UNSAT): 706576(1045/705531)
Jun 01, 2017 2:49:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/3728 took 96858 ms. Total solver calls (SAT/UNSAT): 715916(1060/714856)
Jun 01, 2017 2:49:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/3728 took 97874 ms. Total solver calls (SAT/UNSAT): 723388(1072/722316)
Jun 01, 2017 2:49:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/3728 took 98886 ms. Total solver calls (SAT/UNSAT): 730860(1084/729776)
Jun 01, 2017 2:49:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/3728 took 99897 ms. Total solver calls (SAT/UNSAT): 738332(1096/737236)
Jun 01, 2017 2:49:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/3728 took 100901 ms. Total solver calls (SAT/UNSAT): 745804(1108/744696)
Jun 01, 2017 2:49:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/3728 took 102200 ms. Total solver calls (SAT/UNSAT): 755143(1123/754020)
Jun 01, 2017 2:49:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/3728 took 103297 ms. Total solver calls (SAT/UNSAT): 762615(1135/761480)
Jun 01, 2017 2:49:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/3728 took 104313 ms. Total solver calls (SAT/UNSAT): 770087(1147/768940)
Jun 01, 2017 2:49:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/3728 took 105322 ms. Total solver calls (SAT/UNSAT): 777559(1159/776400)
Jun 01, 2017 2:49:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/3728 took 106328 ms. Total solver calls (SAT/UNSAT): 785031(1171/783860)
Jun 01, 2017 2:49:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/3728 took 107336 ms. Total solver calls (SAT/UNSAT): 792503(1183/791320)
Jun 01, 2017 2:49:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/3728 took 108344 ms. Total solver calls (SAT/UNSAT): 799975(1195/798780)
Jun 01, 2017 2:49:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/3728 took 109361 ms. Total solver calls (SAT/UNSAT): 807447(1207/806240)
Jun 01, 2017 2:49:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/3728 took 110370 ms. Total solver calls (SAT/UNSAT): 814919(1219/813700)
Jun 01, 2017 2:49:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/3728 took 111377 ms. Total solver calls (SAT/UNSAT): 822391(1231/821160)
Jun 01, 2017 2:49:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/3728 took 112382 ms. Total solver calls (SAT/UNSAT): 829863(1243/828620)
Jun 01, 2017 2:49:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/3728 took 113387 ms. Total solver calls (SAT/UNSAT): 837335(1255/836080)
Jun 01, 2017 2:49:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/3728 took 114395 ms. Total solver calls (SAT/UNSAT): 844807(1267/843540)
Jun 01, 2017 2:49:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/3728 took 115400 ms. Total solver calls (SAT/UNSAT): 852279(1279/851000)
Jun 01, 2017 2:49:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/3728 took 116407 ms. Total solver calls (SAT/UNSAT): 859751(1291/858460)
Jun 01, 2017 2:49:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/3728 took 117415 ms. Total solver calls (SAT/UNSAT): 867223(1303/865920)
Jun 01, 2017 2:49:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/3728 took 118424 ms. Total solver calls (SAT/UNSAT): 874695(1315/873380)
Jun 01, 2017 2:49:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/3728 took 119434 ms. Total solver calls (SAT/UNSAT): 882167(1327/880840)
Jun 01, 2017 2:49:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/3728 took 120443 ms. Total solver calls (SAT/UNSAT): 889639(1339/888300)
Jun 01, 2017 2:49:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/3728 took 121455 ms. Total solver calls (SAT/UNSAT): 897111(1351/895760)
Jun 01, 2017 2:49:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/3728 took 122552 ms. Total solver calls (SAT/UNSAT): 904582(1363/903219)
Jun 01, 2017 2:49:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/3728 took 123569 ms. Total solver calls (SAT/UNSAT): 912054(1375/910679)
Jun 01, 2017 2:49:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/3728 took 124583 ms. Total solver calls (SAT/UNSAT): 919526(1387/918139)
Jun 01, 2017 2:49:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/3728 took 125591 ms. Total solver calls (SAT/UNSAT): 926998(1399/925599)
Jun 01, 2017 2:49:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/3728 took 126599 ms. Total solver calls (SAT/UNSAT): 934470(1411/933059)
Jun 01, 2017 2:49:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/3728 took 127606 ms. Total solver calls (SAT/UNSAT): 941942(1423/940519)
Jun 01, 2017 2:49:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/3728 took 128613 ms. Total solver calls (SAT/UNSAT): 949414(1435/947979)
Jun 01, 2017 2:49:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/3728 took 129620 ms. Total solver calls (SAT/UNSAT): 956886(1447/955439)
Jun 01, 2017 2:49:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/3728 took 130629 ms. Total solver calls (SAT/UNSAT): 964358(1459/962899)
Jun 01, 2017 2:49:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/3728 took 131637 ms. Total solver calls (SAT/UNSAT): 971830(1471/970359)
Jun 01, 2017 2:49:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/3728 took 132645 ms. Total solver calls (SAT/UNSAT): 979302(1483/977819)
Jun 01, 2017 2:49:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/3728 took 133656 ms. Total solver calls (SAT/UNSAT): 986774(1495/985279)
Jun 01, 2017 2:49:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/3728 took 134663 ms. Total solver calls (SAT/UNSAT): 994246(1507/992739)
Jun 01, 2017 2:49:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/3728 took 135669 ms. Total solver calls (SAT/UNSAT): 1001718(1519/1000199)
Jun 01, 2017 2:49:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/3728 took 136674 ms. Total solver calls (SAT/UNSAT): 1009190(1531/1007659)
Jun 01, 2017 2:49:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/3728 took 137680 ms. Total solver calls (SAT/UNSAT): 1016662(1543/1015119)
Jun 01, 2017 2:49:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/3728 took 138686 ms. Total solver calls (SAT/UNSAT): 1024134(1555/1022579)
Jun 01, 2017 2:49:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/3728 took 139690 ms. Total solver calls (SAT/UNSAT): 1031606(1567/1030039)
Jun 01, 2017 2:49:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/3728 took 140695 ms. Total solver calls (SAT/UNSAT): 1039078(1579/1037499)
Jun 01, 2017 2:49:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/3728 took 141699 ms. Total solver calls (SAT/UNSAT): 1046550(1591/1044959)
Jun 01, 2017 2:50:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/3728 took 142702 ms. Total solver calls (SAT/UNSAT): 1054021(1603/1052418)
Jun 01, 2017 2:50:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/3728 took 143747 ms. Total solver calls (SAT/UNSAT): 1061493(1615/1059878)
Jun 01, 2017 2:50:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/3728 took 144993 ms. Total solver calls (SAT/UNSAT): 1070833(1630/1069203)
Jun 01, 2017 2:50:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :573/3728 took 146046 ms. Total solver calls (SAT/UNSAT): 1078305(1642/1076663)
Jun 01, 2017 2:50:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :577/3728 took 147063 ms. Total solver calls (SAT/UNSAT): 1085777(1654/1084123)
Jun 01, 2017 2:50:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/3728 took 148078 ms. Total solver calls (SAT/UNSAT): 1093249(1666/1091583)
Jun 01, 2017 2:50:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :585/3728 took 149092 ms. Total solver calls (SAT/UNSAT): 1100721(1678/1099043)
Jun 01, 2017 2:50:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/3728 took 150098 ms. Total solver calls (SAT/UNSAT): 1108193(1690/1106503)
Jun 01, 2017 2:50:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :593/3728 took 151107 ms. Total solver calls (SAT/UNSAT): 1115665(1702/1113963)
Jun 01, 2017 2:50:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :597/3728 took 152113 ms. Total solver calls (SAT/UNSAT): 1123137(1714/1121423)
Jun 01, 2017 2:50:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :601/3728 took 153120 ms. Total solver calls (SAT/UNSAT): 1130609(1726/1128883)
Jun 01, 2017 2:50:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :605/3728 took 154130 ms. Total solver calls (SAT/UNSAT): 1138081(1738/1136343)
Jun 01, 2017 2:50:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :609/3728 took 155141 ms. Total solver calls (SAT/UNSAT): 1145553(1750/1143803)
Jun 01, 2017 2:50:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :613/3728 took 156151 ms. Total solver calls (SAT/UNSAT): 1153025(1762/1151263)
Jun 01, 2017 2:50:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :617/3728 took 157167 ms. Total solver calls (SAT/UNSAT): 1160497(1774/1158723)
Jun 01, 2017 2:50:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :621/3728 took 158179 ms. Total solver calls (SAT/UNSAT): 1167969(1786/1166183)
Jun 01, 2017 2:50:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :625/3728 took 159207 ms. Total solver calls (SAT/UNSAT): 1175441(1798/1173643)
Jun 01, 2017 2:50:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :629/3728 took 160225 ms. Total solver calls (SAT/UNSAT): 1182913(1810/1181103)
Jun 01, 2017 2:50:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :633/3728 took 161240 ms. Total solver calls (SAT/UNSAT): 1190385(1822/1188563)
Jun 01, 2017 2:50:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :637/3728 took 162298 ms. Total solver calls (SAT/UNSAT): 1197857(1834/1196023)
Jun 01, 2017 2:50:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :641/3728 took 163318 ms. Total solver calls (SAT/UNSAT): 1205328(1846/1203482)
Jun 01, 2017 2:50:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :645/3728 took 164342 ms. Total solver calls (SAT/UNSAT): 1212800(1858/1210942)
Jun 01, 2017 2:50:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :649/3728 took 165356 ms. Total solver calls (SAT/UNSAT): 1220272(1870/1218402)
Jun 01, 2017 2:50:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :653/3728 took 166371 ms. Total solver calls (SAT/UNSAT): 1227744(1882/1225862)
Jun 01, 2017 2:50:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :657/3728 took 167384 ms. Total solver calls (SAT/UNSAT): 1235216(1894/1233322)
Jun 01, 2017 2:50:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :661/3728 took 168397 ms. Total solver calls (SAT/UNSAT): 1242688(1906/1240782)
Jun 01, 2017 2:50:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :665/3728 took 169409 ms. Total solver calls (SAT/UNSAT): 1250160(1918/1248242)
Jun 01, 2017 2:50:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :669/3728 took 170468 ms. Total solver calls (SAT/UNSAT): 1257632(1930/1255702)
Jun 01, 2017 2:50:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :674/3728 took 171710 ms. Total solver calls (SAT/UNSAT): 1266972(1945/1265027)
Jun 01, 2017 2:50:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :678/3728 took 172762 ms. Total solver calls (SAT/UNSAT): 1274444(1957/1272487)
Jun 01, 2017 2:50:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :682/3728 took 173774 ms. Total solver calls (SAT/UNSAT): 1281916(1969/1279947)
Jun 01, 2017 2:50:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :686/3728 took 174787 ms. Total solver calls (SAT/UNSAT): 1289388(1981/1287407)
Jun 01, 2017 2:50:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :690/3728 took 175841 ms. Total solver calls (SAT/UNSAT): 1296860(1993/1294867)
Jun 01, 2017 2:50:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :694/3728 took 176845 ms. Total solver calls (SAT/UNSAT): 1304332(2005/1302327)
Jun 01, 2017 2:50:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :698/3728 took 177891 ms. Total solver calls (SAT/UNSAT): 1311804(2017/1309787)
Jun 01, 2017 2:50:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :703/3728 took 179132 ms. Total solver calls (SAT/UNSAT): 1321144(2032/1319112)
Jun 01, 2017 2:50:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :708/3728 took 180374 ms. Total solver calls (SAT/UNSAT): 1330484(2047/1328437)
Jun 01, 2017 2:50:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :713/3728 took 181615 ms. Total solver calls (SAT/UNSAT): 1339824(2062/1337762)
Jun 01, 2017 2:50:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :718/3728 took 182863 ms. Total solver calls (SAT/UNSAT): 1349164(2077/1347087)
Jun 01, 2017 2:50:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :723/3728 took 184108 ms. Total solver calls (SAT/UNSAT): 1358503(2092/1356411)
Jun 01, 2017 2:50:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :728/3728 took 185348 ms. Total solver calls (SAT/UNSAT): 1367843(2107/1365736)
Jun 01, 2017 2:50:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :733/3728 took 186582 ms. Total solver calls (SAT/UNSAT): 1377183(2122/1375061)
Jun 01, 2017 2:50:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :738/3728 took 187817 ms. Total solver calls (SAT/UNSAT): 1386523(2137/1384386)
Jun 01, 2017 2:50:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :743/3728 took 189053 ms. Total solver calls (SAT/UNSAT): 1395863(2152/1393711)
Jun 01, 2017 2:50:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :748/3728 took 190286 ms. Total solver calls (SAT/UNSAT): 1405203(2167/1403036)
Jun 01, 2017 2:50:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :753/3728 took 191518 ms. Total solver calls (SAT/UNSAT): 1414543(2182/1412361)
Jun 01, 2017 2:50:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :758/3728 took 192755 ms. Total solver calls (SAT/UNSAT): 1423883(2197/1421686)
Jun 01, 2017 2:50:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :763/3728 took 193986 ms. Total solver calls (SAT/UNSAT): 1433223(2212/1431011)
Jun 01, 2017 2:50:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :768/3728 took 195219 ms. Total solver calls (SAT/UNSAT): 1442563(2227/1440336)
Jun 01, 2017 2:50:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :773/3728 took 196452 ms. Total solver calls (SAT/UNSAT): 1451903(2242/1449661)
Jun 01, 2017 2:50:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :778/3728 took 197686 ms. Total solver calls (SAT/UNSAT): 1461243(2257/1458986)
Jun 01, 2017 2:50:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :783/3728 took 198921 ms. Total solver calls (SAT/UNSAT): 1470583(2272/1468311)
Jun 01, 2017 2:50:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :788/3728 took 200153 ms. Total solver calls (SAT/UNSAT): 1479923(2287/1477636)
Jun 01, 2017 2:50:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :793/3728 took 201385 ms. Total solver calls (SAT/UNSAT): 1489263(2302/1486961)
Jun 01, 2017 2:51:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :798/3728 took 202617 ms. Total solver calls (SAT/UNSAT): 1498603(2317/1496286)
Jun 01, 2017 2:51:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :803/3728 took 203865 ms. Total solver calls (SAT/UNSAT): 1507942(2332/1505610)
Jun 01, 2017 2:51:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :808/3728 took 205105 ms. Total solver calls (SAT/UNSAT): 1517282(2347/1514935)
Jun 01, 2017 2:51:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :813/3728 took 206339 ms. Total solver calls (SAT/UNSAT): 1526622(2362/1524260)
Jun 01, 2017 2:51:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :818/3728 took 207575 ms. Total solver calls (SAT/UNSAT): 1535962(2377/1533585)
Jun 01, 2017 2:51:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :823/3728 took 208807 ms. Total solver calls (SAT/UNSAT): 1545302(2392/1542910)
Jun 01, 2017 2:51:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :828/3728 took 210041 ms. Total solver calls (SAT/UNSAT): 1554642(2407/1552235)
Jun 01, 2017 2:51:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :832/3728 took 211078 ms. Total solver calls (SAT/UNSAT): 1562114(2419/1559695)
Jun 01, 2017 2:51:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :836/3728 took 212102 ms. Total solver calls (SAT/UNSAT): 1569586(2431/1567155)
Jun 01, 2017 2:51:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :840/3728 took 213124 ms. Total solver calls (SAT/UNSAT): 1577058(2443/1574615)
Jun 01, 2017 2:51:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :844/3728 took 214136 ms. Total solver calls (SAT/UNSAT): 1584530(2455/1582075)
Jun 01, 2017 2:51:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :848/3728 took 215312 ms. Total solver calls (SAT/UNSAT): 1592002(2467/1589535)
Jun 01, 2017 2:51:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :852/3728 took 216435 ms. Total solver calls (SAT/UNSAT): 1599474(2479/1596995)
Jun 01, 2017 2:51:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :856/3728 took 217547 ms. Total solver calls (SAT/UNSAT): 1606946(2491/1604455)
Jun 01, 2017 2:51:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :860/3728 took 218664 ms. Total solver calls (SAT/UNSAT): 1614418(2503/1611915)
Jun 01, 2017 2:51:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :864/3728 took 219775 ms. Total solver calls (SAT/UNSAT): 1621890(2515/1619375)
Jun 01, 2017 2:51:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :868/3728 took 220887 ms. Total solver calls (SAT/UNSAT): 1629362(2527/1626835)
Jun 01, 2017 2:51:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :872/3728 took 222001 ms. Total solver calls (SAT/UNSAT): 1636834(2539/1634295)
Jun 01, 2017 2:51:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :876/3728 took 223116 ms. Total solver calls (SAT/UNSAT): 1644306(2551/1641755)
Jun 01, 2017 2:51:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :880/3728 took 224229 ms. Total solver calls (SAT/UNSAT): 1651777(2563/1649214)
Jun 01, 2017 2:51:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :884/3728 took 225339 ms. Total solver calls (SAT/UNSAT): 1659249(2575/1656674)
Jun 01, 2017 2:51:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :888/3728 took 226451 ms. Total solver calls (SAT/UNSAT): 1666721(2587/1664134)
Jun 01, 2017 2:51:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :892/3728 took 227561 ms. Total solver calls (SAT/UNSAT): 1674193(2599/1671594)
Jun 01, 2017 2:51:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :896/3728 took 228671 ms. Total solver calls (SAT/UNSAT): 1681665(2611/1679054)
Jun 01, 2017 2:51:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :900/3728 took 229781 ms. Total solver calls (SAT/UNSAT): 1689137(2623/1686514)
Jun 01, 2017 2:51:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :904/3728 took 230893 ms. Total solver calls (SAT/UNSAT): 1696609(2635/1693974)
Jun 01, 2017 2:51:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :908/3728 took 232008 ms. Total solver calls (SAT/UNSAT): 1704081(2647/1701434)
Jun 01, 2017 2:51:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :912/3728 took 233127 ms. Total solver calls (SAT/UNSAT): 1711553(2659/1708894)
Jun 01, 2017 2:51:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :916/3728 took 234252 ms. Total solver calls (SAT/UNSAT): 1719025(2671/1716354)
Jun 01, 2017 2:51:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :920/3728 took 235376 ms. Total solver calls (SAT/UNSAT): 1726497(2683/1723814)
Jun 01, 2017 2:51:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :924/3728 took 236498 ms. Total solver calls (SAT/UNSAT): 1733969(2695/1731274)
Jun 01, 2017 2:51:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :928/3728 took 237610 ms. Total solver calls (SAT/UNSAT): 1741441(2707/1738734)
Jun 01, 2017 2:51:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :932/3728 took 238724 ms. Total solver calls (SAT/UNSAT): 1748913(2719/1746194)
Jun 01, 2017 2:51:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :936/3728 took 239839 ms. Total solver calls (SAT/UNSAT): 1756385(2731/1753654)
Jun 01, 2017 2:51:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :940/3728 took 240954 ms. Total solver calls (SAT/UNSAT): 1763857(2743/1761114)
Jun 01, 2017 2:51:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :944/3728 took 242069 ms. Total solver calls (SAT/UNSAT): 1771329(2755/1768574)
Jun 01, 2017 2:51:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :948/3728 took 243198 ms. Total solver calls (SAT/UNSAT): 1778801(2767/1776034)
Jun 01, 2017 2:51:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :952/3728 took 244322 ms. Total solver calls (SAT/UNSAT): 1786273(2779/1783494)
Jun 01, 2017 2:51:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :956/3728 took 245436 ms. Total solver calls (SAT/UNSAT): 1793745(2791/1790954)
Jun 01, 2017 2:51:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :960/3728 took 246547 ms. Total solver calls (SAT/UNSAT): 1801216(2803/1798413)
Jun 01, 2017 2:51:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :964/3728 took 247664 ms. Total solver calls (SAT/UNSAT): 1808688(2815/1805873)
Jun 01, 2017 2:51:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :968/3728 took 248779 ms. Total solver calls (SAT/UNSAT): 1816160(2827/1813333)
Jun 01, 2017 2:51:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :972/3728 took 249892 ms. Total solver calls (SAT/UNSAT): 1823632(2839/1820793)
Jun 01, 2017 2:51:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :976/3728 took 251009 ms. Total solver calls (SAT/UNSAT): 1831104(2851/1828253)
Jun 01, 2017 2:51:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :980/3728 took 252129 ms. Total solver calls (SAT/UNSAT): 1838576(2863/1835713)
Jun 01, 2017 2:51:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :984/3728 took 253245 ms. Total solver calls (SAT/UNSAT): 1846048(2875/1843173)
Jun 01, 2017 2:51:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :988/3728 took 254358 ms. Total solver calls (SAT/UNSAT): 1853520(2887/1850633)
Jun 01, 2017 2:51:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :992/3728 took 255471 ms. Total solver calls (SAT/UNSAT): 1860992(2899/1858093)
Jun 01, 2017 2:51:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :996/3728 took 256584 ms. Total solver calls (SAT/UNSAT): 1868464(2911/1865553)
Jun 01, 2017 2:51:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1000/3728 took 257696 ms. Total solver calls (SAT/UNSAT): 1875936(2923/1873013)
Jun 01, 2017 2:51:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1004/3728 took 258808 ms. Total solver calls (SAT/UNSAT): 1883408(2935/1880473)
Jun 01, 2017 2:51:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1008/3728 took 259921 ms. Total solver calls (SAT/UNSAT): 1890880(2947/1887933)
Jun 01, 2017 2:51:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1012/3728 took 261042 ms. Total solver calls (SAT/UNSAT): 1898352(2959/1895393)
Jun 01, 2017 2:51:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1016/3728 took 262165 ms. Total solver calls (SAT/UNSAT): 1905824(2971/1902853)
Jun 01, 2017 2:52:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1020/3728 took 263288 ms. Total solver calls (SAT/UNSAT): 1913296(2983/1910313)
Jun 01, 2017 2:52:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1024/3728 took 264411 ms. Total solver calls (SAT/UNSAT): 1920768(2995/1917773)
Jun 01, 2017 2:52:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1028/3728 took 265524 ms. Total solver calls (SAT/UNSAT): 1928240(3007/1925233)
Jun 01, 2017 2:52:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1032/3728 took 266637 ms. Total solver calls (SAT/UNSAT): 1935712(3019/1932693)
Jun 01, 2017 2:52:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1036/3728 took 267750 ms. Total solver calls (SAT/UNSAT): 1943184(3031/1940153)
Jun 01, 2017 2:52:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1040/3728 took 268863 ms. Total solver calls (SAT/UNSAT): 1950655(3043/1947612)
Jun 01, 2017 2:52:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1044/3728 took 269988 ms. Total solver calls (SAT/UNSAT): 1958127(3055/1955072)
Jun 01, 2017 2:52:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1048/3728 took 271113 ms. Total solver calls (SAT/UNSAT): 1965599(3067/1962532)
Jun 01, 2017 2:52:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1052/3728 took 272226 ms. Total solver calls (SAT/UNSAT): 1973071(3079/1969992)
Jun 01, 2017 2:52:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1056/3728 took 273289 ms. Total solver calls (SAT/UNSAT): 1980543(3091/1977452)
Jun 01, 2017 2:52:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1060/3728 took 274304 ms. Total solver calls (SAT/UNSAT): 1988015(3103/1984912)
Jun 01, 2017 2:52:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1064/3728 took 275320 ms. Total solver calls (SAT/UNSAT): 1995487(3115/1992372)
Jun 01, 2017 2:52:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1068/3728 took 276342 ms. Total solver calls (SAT/UNSAT): 2002959(3127/1999832)
Jun 01, 2017 2:52:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1072/3728 took 277368 ms. Total solver calls (SAT/UNSAT): 2010431(3139/2007292)
Jun 01, 2017 2:52:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1076/3728 took 278391 ms. Total solver calls (SAT/UNSAT): 2017903(3151/2014752)
Jun 01, 2017 2:52:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1080/3728 took 279412 ms. Total solver calls (SAT/UNSAT): 2025375(3163/2022212)
Jun 01, 2017 2:52:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1084/3728 took 280436 ms. Total solver calls (SAT/UNSAT): 2032847(3175/2029672)
Jun 01, 2017 2:52:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1088/3728 took 281453 ms. Total solver calls (SAT/UNSAT): 2040319(3187/2037132)
Jun 01, 2017 2:52:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1092/3728 took 282465 ms. Total solver calls (SAT/UNSAT): 2047791(3199/2044592)
Jun 01, 2017 2:52:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1096/3728 took 283482 ms. Total solver calls (SAT/UNSAT): 2055263(3211/2052052)
Jun 01, 2017 2:52:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1100/3728 took 284507 ms. Total solver calls (SAT/UNSAT): 2062735(3223/2059512)
Jun 01, 2017 2:52:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1104/3728 took 285524 ms. Total solver calls (SAT/UNSAT): 2070207(3235/2066972)
Jun 01, 2017 2:52:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1108/3728 took 286540 ms. Total solver calls (SAT/UNSAT): 2077679(3247/2074432)
Jun 01, 2017 2:52:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1112/3728 took 287554 ms. Total solver calls (SAT/UNSAT): 2085151(3259/2081892)
Jun 01, 2017 2:52:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1116/3728 took 288567 ms. Total solver calls (SAT/UNSAT): 2092623(3271/2089352)
Jun 01, 2017 2:52:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1120/3728 took 289581 ms. Total solver calls (SAT/UNSAT): 2100094(3283/2096811)
Jun 01, 2017 2:52:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1124/3728 took 290598 ms. Total solver calls (SAT/UNSAT): 2107566(3295/2104271)
Jun 01, 2017 2:52:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1128/3728 took 291624 ms. Total solver calls (SAT/UNSAT): 2115038(3307/2111731)
Jun 01, 2017 2:52:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1132/3728 took 292646 ms. Total solver calls (SAT/UNSAT): 2122510(3319/2119191)
Jun 01, 2017 2:52:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1136/3728 took 293657 ms. Total solver calls (SAT/UNSAT): 2129982(3331/2126651)
Jun 01, 2017 2:52:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1140/3728 took 294669 ms. Total solver calls (SAT/UNSAT): 2137454(3343/2134111)
Jun 01, 2017 2:52:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1144/3728 took 295683 ms. Total solver calls (SAT/UNSAT): 2144926(3355/2141571)
Jun 01, 2017 2:52:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1148/3728 took 296696 ms. Total solver calls (SAT/UNSAT): 2152398(3367/2149031)
Jun 01, 2017 2:52:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1152/3728 took 297719 ms. Total solver calls (SAT/UNSAT): 2159870(3379/2156491)
Jun 01, 2017 2:52:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1156/3728 took 298741 ms. Total solver calls (SAT/UNSAT): 2167342(3391/2163951)
Jun 01, 2017 2:52:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1160/3728 took 299764 ms. Total solver calls (SAT/UNSAT): 2174814(3403/2171411)
Jun 01, 2017 2:52:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1164/3728 took 300784 ms. Total solver calls (SAT/UNSAT): 2182286(3415/2178871)
Jun 01, 2017 2:52:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1168/3728 took 301796 ms. Total solver calls (SAT/UNSAT): 2189758(3427/2186331)
Jun 01, 2017 2:52:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1172/3728 took 302807 ms. Total solver calls (SAT/UNSAT): 2197230(3439/2193791)
Jun 01, 2017 2:52:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1176/3728 took 303828 ms. Total solver calls (SAT/UNSAT): 2204702(3451/2201251)
Jun 01, 2017 2:52:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1180/3728 took 304846 ms. Total solver calls (SAT/UNSAT): 2212174(3463/2208711)
Jun 01, 2017 2:52:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1184/3728 took 305855 ms. Total solver calls (SAT/UNSAT): 2219646(3475/2216171)
Jun 01, 2017 2:52:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1188/3728 took 306865 ms. Total solver calls (SAT/UNSAT): 2227118(3487/2223631)
Jun 01, 2017 2:52:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1192/3728 took 307877 ms. Total solver calls (SAT/UNSAT): 2234590(3499/2231091)
Jun 01, 2017 2:52:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1196/3728 took 308888 ms. Total solver calls (SAT/UNSAT): 2242062(3511/2238551)
Jun 01, 2017 2:52:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1200/3728 took 309906 ms. Total solver calls (SAT/UNSAT): 2249533(3523/2246010)
Jun 01, 2017 2:52:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1204/3728 took 310927 ms. Total solver calls (SAT/UNSAT): 2257005(3535/2253470)
Jun 01, 2017 2:52:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1208/3728 took 311989 ms. Total solver calls (SAT/UNSAT): 2264477(3547/2260930)
Jun 01, 2017 2:52:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1212/3728 took 313006 ms. Total solver calls (SAT/UNSAT): 2271949(3559/2268390)
Jun 01, 2017 2:52:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1216/3728 took 314014 ms. Total solver calls (SAT/UNSAT): 2279421(3571/2275850)
Jun 01, 2017 2:52:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1220/3728 took 315026 ms. Total solver calls (SAT/UNSAT): 2286893(3583/2283310)
Jun 01, 2017 2:52:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1224/3728 took 316040 ms. Total solver calls (SAT/UNSAT): 2294365(3595/2290770)
Jun 01, 2017 2:52:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1228/3728 took 317052 ms. Total solver calls (SAT/UNSAT): 2301837(3607/2298230)
Jun 01, 2017 2:52:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1232/3728 took 318061 ms. Total solver calls (SAT/UNSAT): 2309309(3619/2305690)
Jun 01, 2017 2:52:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1236/3728 took 319071 ms. Total solver calls (SAT/UNSAT): 2316781(3631/2313150)
Jun 01, 2017 2:52:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1240/3728 took 320081 ms. Total solver calls (SAT/UNSAT): 2324253(3643/2320610)
Jun 01, 2017 2:52:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1244/3728 took 321098 ms. Total solver calls (SAT/UNSAT): 2331725(3655/2328070)
Jun 01, 2017 2:52:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1248/3728 took 322108 ms. Total solver calls (SAT/UNSAT): 2339197(3667/2335530)
Jun 01, 2017 2:53:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1252/3728 took 323117 ms. Total solver calls (SAT/UNSAT): 2346669(3679/2342990)
Jun 01, 2017 2:53:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1256/3728 took 324126 ms. Total solver calls (SAT/UNSAT): 2354141(3691/2350450)
Jun 01, 2017 2:53:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1260/3728 took 325135 ms. Total solver calls (SAT/UNSAT): 2361613(3703/2357910)
Jun 01, 2017 2:53:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1264/3728 took 326149 ms. Total solver calls (SAT/UNSAT): 2369085(3715/2365370)
Jun 01, 2017 2:53:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1268/3728 took 327159 ms. Total solver calls (SAT/UNSAT): 2376557(3727/2372830)
Jun 01, 2017 2:53:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1272/3728 took 328171 ms. Total solver calls (SAT/UNSAT): 2384029(3739/2380290)
Jun 01, 2017 2:53:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1276/3728 took 329181 ms. Total solver calls (SAT/UNSAT): 2391501(3751/2387750)
Jun 01, 2017 2:53:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1280/3728 took 330190 ms. Total solver calls (SAT/UNSAT): 2398972(3763/2395209)
Jun 01, 2017 2:53:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1284/3728 took 331206 ms. Total solver calls (SAT/UNSAT): 2406444(3775/2402669)
Jun 01, 2017 2:53:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1288/3728 took 332221 ms. Total solver calls (SAT/UNSAT): 2413916(3787/2410129)
Jun 01, 2017 2:53:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1292/3728 took 333234 ms. Total solver calls (SAT/UNSAT): 2421388(3799/2417589)
Jun 01, 2017 2:53:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1296/3728 took 334244 ms. Total solver calls (SAT/UNSAT): 2428860(3811/2425049)
Jun 01, 2017 2:53:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1300/3728 took 335254 ms. Total solver calls (SAT/UNSAT): 2436332(3823/2432509)
Jun 01, 2017 2:53:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1304/3728 took 336269 ms. Total solver calls (SAT/UNSAT): 2443804(3835/2439969)
Jun 01, 2017 2:53:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1308/3728 took 337282 ms. Total solver calls (SAT/UNSAT): 2451276(3847/2447429)
Jun 01, 2017 2:53:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1312/3728 took 338294 ms. Total solver calls (SAT/UNSAT): 2458748(3859/2454889)
Jun 01, 2017 2:53:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1316/3728 took 339304 ms. Total solver calls (SAT/UNSAT): 2466220(3871/2462349)
Jun 01, 2017 2:53:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1320/3728 took 340312 ms. Total solver calls (SAT/UNSAT): 2473692(3883/2469809)
Jun 01, 2017 2:53:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1324/3728 took 341325 ms. Total solver calls (SAT/UNSAT): 2481164(3895/2477269)
Jun 01, 2017 2:53:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1328/3728 took 342334 ms. Total solver calls (SAT/UNSAT): 2488636(3907/2484729)
Jun 01, 2017 2:53:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1332/3728 took 343343 ms. Total solver calls (SAT/UNSAT): 2496108(3919/2492189)
Jun 01, 2017 2:53:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1336/3728 took 344355 ms. Total solver calls (SAT/UNSAT): 2503580(3931/2499649)
Jun 01, 2017 2:53:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1340/3728 took 345369 ms. Total solver calls (SAT/UNSAT): 2511052(3943/2507109)
Jun 01, 2017 2:53:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1344/3728 took 346388 ms. Total solver calls (SAT/UNSAT): 2518524(3955/2514569)
Jun 01, 2017 2:53:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1348/3728 took 347406 ms. Total solver calls (SAT/UNSAT): 2525996(3967/2522029)
Jun 01, 2017 2:53:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1352/3728 took 348423 ms. Total solver calls (SAT/UNSAT): 2533468(3979/2529489)
Jun 01, 2017 2:53:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1356/3728 took 349441 ms. Total solver calls (SAT/UNSAT): 2540940(3991/2536949)
Jun 01, 2017 2:53:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1360/3728 took 350461 ms. Total solver calls (SAT/UNSAT): 2548411(4003/2544408)
Jun 01, 2017 2:53:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1364/3728 took 351480 ms. Total solver calls (SAT/UNSAT): 2555883(4015/2551868)
Jun 01, 2017 2:53:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1368/3728 took 352500 ms. Total solver calls (SAT/UNSAT): 2563355(4027/2559328)
Jun 01, 2017 2:53:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1372/3728 took 353511 ms. Total solver calls (SAT/UNSAT): 2570827(4039/2566788)
Jun 01, 2017 2:53:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1376/3728 took 354531 ms. Total solver calls (SAT/UNSAT): 2578299(4051/2574248)
Jun 01, 2017 2:53:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1380/3728 took 355549 ms. Total solver calls (SAT/UNSAT): 2585771(4063/2581708)
Jun 01, 2017 2:53:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1384/3728 took 356567 ms. Total solver calls (SAT/UNSAT): 2593243(4075/2589168)
Jun 01, 2017 2:53:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1388/3728 took 357580 ms. Total solver calls (SAT/UNSAT): 2600715(4087/2596628)
Jun 01, 2017 2:53:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1392/3728 took 358653 ms. Total solver calls (SAT/UNSAT): 2608187(4099/2604088)
Jun 01, 2017 2:53:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1396/3728 took 359680 ms. Total solver calls (SAT/UNSAT): 2615659(4111/2611548)
Jun 01, 2017 2:53:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1400/3728 took 360707 ms. Total solver calls (SAT/UNSAT): 2623131(4123/2619008)
Jun 01, 2017 2:53:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1404/3728 took 361725 ms. Total solver calls (SAT/UNSAT): 2630603(4135/2626468)
Jun 01, 2017 2:53:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1408/3728 took 362758 ms. Total solver calls (SAT/UNSAT): 2638075(4147/2633928)
Jun 01, 2017 2:53:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1412/3728 took 363787 ms. Total solver calls (SAT/UNSAT): 2645547(4159/2641388)
Jun 01, 2017 2:53:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1416/3728 took 364811 ms. Total solver calls (SAT/UNSAT): 2653019(4171/2648848)
Jun 01, 2017 2:53:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1420/3728 took 365835 ms. Total solver calls (SAT/UNSAT): 2660491(4183/2656308)
Jun 01, 2017 2:53:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1424/3728 took 366863 ms. Total solver calls (SAT/UNSAT): 2667963(4195/2663768)
Jun 01, 2017 2:53:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1428/3728 took 367889 ms. Total solver calls (SAT/UNSAT): 2675435(4207/2671228)
Jun 01, 2017 2:53:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1432/3728 took 368914 ms. Total solver calls (SAT/UNSAT): 2682907(4219/2678688)
Jun 01, 2017 2:53:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1436/3728 took 369945 ms. Total solver calls (SAT/UNSAT): 2690379(4231/2686148)
Jun 01, 2017 2:53:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1440/3728 took 370971 ms. Total solver calls (SAT/UNSAT): 2697850(4243/2693607)
Jun 01, 2017 2:53:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1444/3728 took 371996 ms. Total solver calls (SAT/UNSAT): 2705322(4255/2701067)
Jun 01, 2017 2:53:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1448/3728 took 373026 ms. Total solver calls (SAT/UNSAT): 2712794(4267/2708527)
Jun 01, 2017 2:53:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1452/3728 took 374044 ms. Total solver calls (SAT/UNSAT): 2720266(4279/2715987)
Jun 01, 2017 2:53:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1456/3728 took 375060 ms. Total solver calls (SAT/UNSAT): 2727738(4291/2723447)
Jun 01, 2017 2:53:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1460/3728 took 376072 ms. Total solver calls (SAT/UNSAT): 2735210(4303/2730907)
Jun 01, 2017 2:53:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1464/3728 took 377101 ms. Total solver calls (SAT/UNSAT): 2742682(4315/2738367)
Jun 01, 2017 2:53:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1468/3728 took 378115 ms. Total solver calls (SAT/UNSAT): 2750154(4327/2745827)
Jun 01, 2017 2:53:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1472/3728 took 379131 ms. Total solver calls (SAT/UNSAT): 2757626(4339/2753287)
Jun 01, 2017 2:53:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1476/3728 took 380149 ms. Total solver calls (SAT/UNSAT): 2765098(4351/2760747)
Jun 01, 2017 2:53:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1480/3728 took 381208 ms. Total solver calls (SAT/UNSAT): 2772570(4363/2768207)
Jun 01, 2017 2:53:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1484/3728 took 382219 ms. Total solver calls (SAT/UNSAT): 2780042(4375/2775667)
Jun 01, 2017 2:54:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1488/3728 took 383235 ms. Total solver calls (SAT/UNSAT): 2787514(4387/2783127)
Jun 01, 2017 2:54:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1492/3728 took 384246 ms. Total solver calls (SAT/UNSAT): 2794986(4399/2790587)
Jun 01, 2017 2:54:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1496/3728 took 385257 ms. Total solver calls (SAT/UNSAT): 2802458(4411/2798047)
Jun 01, 2017 2:54:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1500/3728 took 386272 ms. Total solver calls (SAT/UNSAT): 2809930(4423/2805507)
Jun 01, 2017 2:54:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1504/3728 took 387283 ms. Total solver calls (SAT/UNSAT): 2817402(4435/2812967)
Jun 01, 2017 2:54:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1508/3728 took 388291 ms. Total solver calls (SAT/UNSAT): 2824874(4447/2820427)
Jun 01, 2017 2:54:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1512/3728 took 389303 ms. Total solver calls (SAT/UNSAT): 2832346(4459/2827887)
Jun 01, 2017 2:54:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1516/3728 took 390314 ms. Total solver calls (SAT/UNSAT): 2839818(4471/2835347)
Jun 01, 2017 2:54:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1520/3728 took 391323 ms. Total solver calls (SAT/UNSAT): 2847289(4483/2842806)
Jun 01, 2017 2:54:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1524/3728 took 392336 ms. Total solver calls (SAT/UNSAT): 2854761(4495/2850266)
Jun 01, 2017 2:54:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1528/3728 took 393345 ms. Total solver calls (SAT/UNSAT): 2862233(4507/2857726)
Jun 01, 2017 2:54:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1532/3728 took 394356 ms. Total solver calls (SAT/UNSAT): 2869705(4519/2865186)
Jun 01, 2017 2:54:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1536/3728 took 395373 ms. Total solver calls (SAT/UNSAT): 2877177(4531/2872646)
Jun 01, 2017 2:54:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1540/3728 took 396382 ms. Total solver calls (SAT/UNSAT): 2884649(4543/2880106)
Jun 01, 2017 2:54:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1544/3728 took 397396 ms. Total solver calls (SAT/UNSAT): 2892121(4555/2887566)
Jun 01, 2017 2:54:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1548/3728 took 398409 ms. Total solver calls (SAT/UNSAT): 2899593(4567/2895026)
Jun 01, 2017 2:54:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1552/3728 took 399423 ms. Total solver calls (SAT/UNSAT): 2907065(4579/2902486)
Jun 01, 2017 2:54:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1556/3728 took 400447 ms. Total solver calls (SAT/UNSAT): 2914537(4591/2909946)
Jun 01, 2017 2:54:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1560/3728 took 401519 ms. Total solver calls (SAT/UNSAT): 2922009(4603/2917406)
Jun 01, 2017 2:54:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1564/3728 took 402552 ms. Total solver calls (SAT/UNSAT): 2929481(4615/2924866)
Jun 01, 2017 2:54:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1568/3728 took 403582 ms. Total solver calls (SAT/UNSAT): 2936953(4627/2932326)
Jun 01, 2017 2:54:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1572/3728 took 404610 ms. Total solver calls (SAT/UNSAT): 2944425(4639/2939786)
Jun 01, 2017 2:54:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1576/3728 took 405633 ms. Total solver calls (SAT/UNSAT): 2951897(4651/2947246)
Jun 01, 2017 2:54:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1580/3728 took 406649 ms. Total solver calls (SAT/UNSAT): 2959369(4663/2954706)
Jun 01, 2017 2:54:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1584/3728 took 407671 ms. Total solver calls (SAT/UNSAT): 2966841(4675/2962166)
Jun 01, 2017 2:54:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1588/3728 took 408691 ms. Total solver calls (SAT/UNSAT): 2974313(4687/2969626)
Jun 01, 2017 2:54:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1592/3728 took 409714 ms. Total solver calls (SAT/UNSAT): 2981785(4699/2977086)
Jun 01, 2017 2:54:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1596/3728 took 410733 ms. Total solver calls (SAT/UNSAT): 2989257(4711/2984546)
Jun 01, 2017 2:54:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1600/3728 took 411752 ms. Total solver calls (SAT/UNSAT): 2996728(4723/2992005)
Jun 01, 2017 2:54:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1604/3728 took 412773 ms. Total solver calls (SAT/UNSAT): 3004200(4735/2999465)
Jun 01, 2017 2:54:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1608/3728 took 413791 ms. Total solver calls (SAT/UNSAT): 3011672(4747/3006925)
Jun 01, 2017 2:54:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1612/3728 took 414819 ms. Total solver calls (SAT/UNSAT): 3019144(4759/3014385)
Jun 01, 2017 2:54:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1616/3728 took 415845 ms. Total solver calls (SAT/UNSAT): 3026616(4771/3021845)
Jun 01, 2017 2:54:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1620/3728 took 416877 ms. Total solver calls (SAT/UNSAT): 3034088(4783/3029305)
Jun 01, 2017 2:54:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1624/3728 took 417894 ms. Total solver calls (SAT/UNSAT): 3041560(4795/3036765)
Jun 01, 2017 2:54:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1628/3728 took 418925 ms. Total solver calls (SAT/UNSAT): 3049032(4807/3044225)
Jun 01, 2017 2:54:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1632/3728 took 419953 ms. Total solver calls (SAT/UNSAT): 3056504(4819/3051685)
Jun 01, 2017 2:54:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1636/3728 took 420992 ms. Total solver calls (SAT/UNSAT): 3063976(4831/3059145)
Jun 01, 2017 2:54:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1640/3728 took 422010 ms. Total solver calls (SAT/UNSAT): 3071448(4843/3066605)
Jun 01, 2017 2:54:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1644/3728 took 423039 ms. Total solver calls (SAT/UNSAT): 3078920(4855/3074065)
Jun 01, 2017 2:54:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1648/3728 took 424063 ms. Total solver calls (SAT/UNSAT): 3086392(4867/3081525)
Jun 01, 2017 2:54:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1652/3728 took 425086 ms. Total solver calls (SAT/UNSAT): 3093864(4879/3088985)
Jun 01, 2017 2:54:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1656/3728 took 426101 ms. Total solver calls (SAT/UNSAT): 3101336(4891/3096445)
Jun 01, 2017 2:54:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1660/3728 took 427130 ms. Total solver calls (SAT/UNSAT): 3108808(4903/3103905)
Jun 01, 2017 2:54:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1664/3728 took 428162 ms. Total solver calls (SAT/UNSAT): 3116280(4915/3111365)
Jun 01, 2017 2:54:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1668/3728 took 429186 ms. Total solver calls (SAT/UNSAT): 3123752(4927/3118825)
Jun 01, 2017 2:54:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1672/3728 took 430212 ms. Total solver calls (SAT/UNSAT): 3131224(4939/3126285)
Jun 01, 2017 2:54:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1676/3728 took 431286 ms. Total solver calls (SAT/UNSAT): 3138696(4951/3133745)
Jun 01, 2017 2:54:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1680/3728 took 432522 ms. Total solver calls (SAT/UNSAT): 3147688(4963/3142725)
Jun 01, 2017 2:54:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1683/3728 took 433910 ms. Total solver calls (SAT/UNSAT): 3157855(4972/3152883)
Jun 01, 2017 2:54:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1686/3728 took 435311 ms. Total solver calls (SAT/UNSAT): 3168022(4981/3163041)
Jun 01, 2017 2:54:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1689/3728 took 436697 ms. Total solver calls (SAT/UNSAT): 3178189(4990/3173199)
Jun 01, 2017 2:54:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1692/3728 took 438090 ms. Total solver calls (SAT/UNSAT): 3188356(4999/3183357)
Jun 01, 2017 2:54:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1695/3728 took 439483 ms. Total solver calls (SAT/UNSAT): 3198523(5008/3193515)
Jun 01, 2017 2:54:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1698/3728 took 440870 ms. Total solver calls (SAT/UNSAT): 3208690(5017/3203673)
Jun 01, 2017 2:54:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1701/3728 took 442262 ms. Total solver calls (SAT/UNSAT): 3218857(5026/3213831)
Jun 01, 2017 2:55:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1704/3728 took 443651 ms. Total solver calls (SAT/UNSAT): 3229024(5035/3223989)
Jun 01, 2017 2:55:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1707/3728 took 445041 ms. Total solver calls (SAT/UNSAT): 3239191(5044/3234147)
Jun 01, 2017 2:55:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1710/3728 took 446423 ms. Total solver calls (SAT/UNSAT): 3249358(5053/3244305)
Jun 01, 2017 2:55:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1713/3728 took 447812 ms. Total solver calls (SAT/UNSAT): 3259525(5062/3254463)
Jun 01, 2017 2:55:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1716/3728 took 449202 ms. Total solver calls (SAT/UNSAT): 3269692(5071/3264621)
Jun 01, 2017 2:55:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1719/3728 took 450592 ms. Total solver calls (SAT/UNSAT): 3279859(5080/3274779)
Jun 01, 2017 2:55:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1722/3728 took 451979 ms. Total solver calls (SAT/UNSAT): 3290026(5089/3284937)
Jun 01, 2017 2:55:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1725/3728 took 453366 ms. Total solver calls (SAT/UNSAT): 3300193(5098/3295095)
Jun 01, 2017 2:55:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1728/3728 took 454800 ms. Total solver calls (SAT/UNSAT): 3310360(5107/3305253)
Jun 01, 2017 2:55:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1731/3728 took 456183 ms. Total solver calls (SAT/UNSAT): 3320527(5116/3315411)
Jun 01, 2017 2:55:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1734/3728 took 457566 ms. Total solver calls (SAT/UNSAT): 3330694(5125/3325569)
Jun 01, 2017 2:55:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1737/3728 took 458948 ms. Total solver calls (SAT/UNSAT): 3340861(5134/3335727)
Jun 01, 2017 2:55:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1740/3728 took 460324 ms. Total solver calls (SAT/UNSAT): 3351028(5143/3345885)
Jun 01, 2017 2:55:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1743/3728 took 461705 ms. Total solver calls (SAT/UNSAT): 3361195(5152/3356043)
Jun 01, 2017 2:55:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1746/3728 took 463092 ms. Total solver calls (SAT/UNSAT): 3371362(5161/3366201)
Jun 01, 2017 2:55:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1749/3728 took 464484 ms. Total solver calls (SAT/UNSAT): 3381529(5170/3376359)
Jun 01, 2017 2:55:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1752/3728 took 465867 ms. Total solver calls (SAT/UNSAT): 3391696(5179/3386517)
Jun 01, 2017 2:55:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1755/3728 took 467254 ms. Total solver calls (SAT/UNSAT): 3401863(5188/3396675)
Jun 01, 2017 2:55:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1758/3728 took 468646 ms. Total solver calls (SAT/UNSAT): 3412030(5197/3406833)
Jun 01, 2017 2:55:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1762/3728 took 469878 ms. Total solver calls (SAT/UNSAT): 3421021(5209/3415812)
Jun 01, 2017 2:55:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1766/3728 took 470893 ms. Total solver calls (SAT/UNSAT): 3428489(5221/3423268)
Jun 01, 2017 2:55:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1770/3728 took 471914 ms. Total solver calls (SAT/UNSAT): 3435957(5233/3430724)
Jun 01, 2017 2:55:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1774/3728 took 472927 ms. Total solver calls (SAT/UNSAT): 3443425(5245/3438180)
Jun 01, 2017 2:55:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1778/3728 took 473938 ms. Total solver calls (SAT/UNSAT): 3450893(5257/3445636)
Jun 01, 2017 2:55:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1782/3728 took 475158 ms. Total solver calls (SAT/UNSAT): 3459885(5269/3454616)
Jun 01, 2017 2:55:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1786/3728 took 476178 ms. Total solver calls (SAT/UNSAT): 3467357(5281/3462076)
Jun 01, 2017 2:55:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1790/3728 took 477193 ms. Total solver calls (SAT/UNSAT): 3474829(5293/3469536)
Jun 01, 2017 2:55:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1794/3728 took 478210 ms. Total solver calls (SAT/UNSAT): 3482301(5305/3476996)
Jun 01, 2017 2:55:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1798/3728 took 479225 ms. Total solver calls (SAT/UNSAT): 3489773(5317/3484456)
Jun 01, 2017 2:55:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1802/3728 took 480448 ms. Total solver calls (SAT/UNSAT): 3498767(5329/3493438)
Jun 01, 2017 2:55:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1806/3728 took 481463 ms. Total solver calls (SAT/UNSAT): 3506239(5341/3500898)
Jun 01, 2017 2:55:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1810/3728 took 482480 ms. Total solver calls (SAT/UNSAT): 3513711(5353/3508358)
Jun 01, 2017 2:55:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1814/3728 took 483505 ms. Total solver calls (SAT/UNSAT): 3521183(5365/3515818)
Jun 01, 2017 2:55:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1818/3728 took 484521 ms. Total solver calls (SAT/UNSAT): 3528655(5377/3523278)
Jun 01, 2017 2:55:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1822/3728 took 485742 ms. Total solver calls (SAT/UNSAT): 3537648(5389/3532259)
Jun 01, 2017 2:55:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1826/3728 took 486760 ms. Total solver calls (SAT/UNSAT): 3545121(5401/3539720)
Jun 01, 2017 2:55:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1830/3728 took 487772 ms. Total solver calls (SAT/UNSAT): 3552593(5413/3547180)
Jun 01, 2017 2:55:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1834/3728 took 488786 ms. Total solver calls (SAT/UNSAT): 3560065(5425/3554640)
Jun 01, 2017 2:55:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1838/3728 took 489803 ms. Total solver calls (SAT/UNSAT): 3567537(5437/3562100)
Jun 01, 2017 2:55:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1842/3728 took 490822 ms. Total solver calls (SAT/UNSAT): 3575009(5449/3569560)
Jun 01, 2017 2:55:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1846/3728 took 492054 ms. Total solver calls (SAT/UNSAT): 3584003(5461/3578542)
Jun 01, 2017 2:55:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1850/3728 took 493066 ms. Total solver calls (SAT/UNSAT): 3591475(5473/3586002)
Jun 01, 2017 2:55:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1854/3728 took 494080 ms. Total solver calls (SAT/UNSAT): 3598947(5485/3593462)
Jun 01, 2017 2:55:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1858/3728 took 495100 ms. Total solver calls (SAT/UNSAT): 3606419(5497/3600922)
Jun 01, 2017 2:55:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1862/3728 took 496118 ms. Total solver calls (SAT/UNSAT): 3613891(5509/3608382)
Jun 01, 2017 2:55:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1866/3728 took 497333 ms. Total solver calls (SAT/UNSAT): 3622885(5521/3617364)
Jun 01, 2017 2:55:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1870/3728 took 498344 ms. Total solver calls (SAT/UNSAT): 3630357(5533/3624824)
Jun 01, 2017 2:55:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1874/3728 took 499359 ms. Total solver calls (SAT/UNSAT): 3637829(5545/3632284)
Jun 01, 2017 2:55:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1878/3728 took 500377 ms. Total solver calls (SAT/UNSAT): 3645301(5557/3639744)
Jun 01, 2017 2:55:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1882/3728 took 501389 ms. Total solver calls (SAT/UNSAT): 3652773(5569/3647204)
Jun 01, 2017 2:56:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1886/3728 took 502613 ms. Total solver calls (SAT/UNSAT): 3661767(5581/3656186)
Jun 01, 2017 2:56:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1890/3728 took 503629 ms. Total solver calls (SAT/UNSAT): 3669239(5593/3663646)
Jun 01, 2017 2:56:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1894/3728 took 504645 ms. Total solver calls (SAT/UNSAT): 3676711(5605/3671106)
Jun 01, 2017 2:56:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1898/3728 took 505656 ms. Total solver calls (SAT/UNSAT): 3684183(5617/3678566)
Jun 01, 2017 2:56:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1902/3728 took 506672 ms. Total solver calls (SAT/UNSAT): 3691655(5629/3686026)
Jun 01, 2017 2:56:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1906/3728 took 507895 ms. Total solver calls (SAT/UNSAT): 3700648(5641/3695007)
Jun 01, 2017 2:56:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1910/3728 took 508908 ms. Total solver calls (SAT/UNSAT): 3708121(5653/3702468)
Jun 01, 2017 2:56:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1914/3728 took 509921 ms. Total solver calls (SAT/UNSAT): 3715593(5665/3709928)
Jun 01, 2017 2:56:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1918/3728 took 510938 ms. Total solver calls (SAT/UNSAT): 3723065(5677/3717388)
Jun 01, 2017 2:56:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1922/3728 took 511955 ms. Total solver calls (SAT/UNSAT): 3730537(5689/3724848)
Jun 01, 2017 2:56:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1926/3728 took 512968 ms. Total solver calls (SAT/UNSAT): 3738009(5701/3732308)
Jun 01, 2017 2:56:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1930/3728 took 514187 ms. Total solver calls (SAT/UNSAT): 3747003(5713/3741290)
Jun 01, 2017 2:56:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1934/3728 took 515204 ms. Total solver calls (SAT/UNSAT): 3754475(5725/3748750)
Jun 01, 2017 2:56:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1938/3728 took 516220 ms. Total solver calls (SAT/UNSAT): 3761947(5737/3756210)
Jun 01, 2017 2:56:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1942/3728 took 517240 ms. Total solver calls (SAT/UNSAT): 3769419(5749/3763670)
Jun 01, 2017 2:56:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1946/3728 took 518257 ms. Total solver calls (SAT/UNSAT): 3776891(5761/3771130)
Jun 01, 2017 2:56:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1950/3728 took 519483 ms. Total solver calls (SAT/UNSAT): 3785885(5773/3780112)
Jun 01, 2017 2:56:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1954/3728 took 520509 ms. Total solver calls (SAT/UNSAT): 3793357(5785/3787572)
Jun 01, 2017 2:56:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1958/3728 took 521517 ms. Total solver calls (SAT/UNSAT): 3800829(5797/3795032)
Jun 01, 2017 2:56:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1962/3728 took 522533 ms. Total solver calls (SAT/UNSAT): 3808301(5809/3802492)
Jun 01, 2017 2:56:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1966/3728 took 523547 ms. Total solver calls (SAT/UNSAT): 3815773(5821/3809952)
Jun 01, 2017 2:56:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1970/3728 took 524766 ms. Total solver calls (SAT/UNSAT): 3824767(5833/3818934)
Jun 01, 2017 2:56:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1974/3728 took 525784 ms. Total solver calls (SAT/UNSAT): 3832239(5845/3826394)
Jun 01, 2017 2:56:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1978/3728 took 526808 ms. Total solver calls (SAT/UNSAT): 3839711(5857/3833854)
Jun 01, 2017 2:56:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1982/3728 took 527823 ms. Total solver calls (SAT/UNSAT): 3847183(5869/3841314)
Jun 01, 2017 2:56:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1986/3728 took 528834 ms. Total solver calls (SAT/UNSAT): 3854655(5881/3848774)
Jun 01, 2017 2:56:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1990/3728 took 530055 ms. Total solver calls (SAT/UNSAT): 3863648(5893/3857755)
Jun 01, 2017 2:56:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1994/3728 took 531071 ms. Total solver calls (SAT/UNSAT): 3871121(5905/3865216)
Jun 01, 2017 2:56:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1998/3728 took 532097 ms. Total solver calls (SAT/UNSAT): 3878593(5917/3872676)
Jun 01, 2017 2:56:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2002/3728 took 533108 ms. Total solver calls (SAT/UNSAT): 3886065(5929/3880136)
Jun 01, 2017 2:56:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2006/3728 took 534126 ms. Total solver calls (SAT/UNSAT): 3893537(5941/3887596)
Jun 01, 2017 2:56:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2010/3728 took 535143 ms. Total solver calls (SAT/UNSAT): 3901009(5953/3895056)
Jun 01, 2017 2:56:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2014/3728 took 536372 ms. Total solver calls (SAT/UNSAT): 3910003(5965/3904038)
Jun 01, 2017 2:56:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2018/3728 took 537384 ms. Total solver calls (SAT/UNSAT): 3917475(5977/3911498)
Jun 01, 2017 2:56:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2022/3728 took 538405 ms. Total solver calls (SAT/UNSAT): 3924947(5989/3918958)
Jun 01, 2017 2:56:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2026/3728 took 539437 ms. Total solver calls (SAT/UNSAT): 3932419(6001/3926418)
Jun 01, 2017 2:56:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2030/3728 took 540459 ms. Total solver calls (SAT/UNSAT): 3939891(6013/3933878)
Jun 01, 2017 2:56:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2034/3728 took 541682 ms. Total solver calls (SAT/UNSAT): 3948885(6025/3942860)
Jun 01, 2017 2:56:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2038/3728 took 542703 ms. Total solver calls (SAT/UNSAT): 3956357(6037/3950320)
Jun 01, 2017 2:56:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2042/3728 took 543751 ms. Total solver calls (SAT/UNSAT): 3963829(6049/3957780)
Jun 01, 2017 2:56:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2047/3728 took 544982 ms. Total solver calls (SAT/UNSAT): 3973169(6064/3967105)
Jun 01, 2017 2:56:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2052/3728 took 546208 ms. Total solver calls (SAT/UNSAT): 3982509(6079/3976430)
Jun 01, 2017 2:56:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2056/3728 took 547388 ms. Total solver calls (SAT/UNSAT): 3991503(6091/3985412)
Jun 01, 2017 2:56:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2061/3728 took 548617 ms. Total solver calls (SAT/UNSAT): 4000843(6106/3994737)
Jun 01, 2017 2:56:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2066/3728 took 549852 ms. Total solver calls (SAT/UNSAT): 4010183(6121/4004062)
Jun 01, 2017 2:56:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2071/3728 took 551091 ms. Total solver calls (SAT/UNSAT): 4019523(6136/4013387)
Jun 01, 2017 2:56:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2075/3728 took 552292 ms. Total solver calls (SAT/UNSAT): 4028517(6148/4022369)
Jun 01, 2017 2:56:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2080/3728 took 553531 ms. Total solver calls (SAT/UNSAT): 4037857(6163/4031694)
Jun 01, 2017 2:56:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2085/3728 took 554771 ms. Total solver calls (SAT/UNSAT): 4047197(6178/4041019)
Jun 01, 2017 2:56:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2090/3728 took 556008 ms. Total solver calls (SAT/UNSAT): 4056537(6193/4050344)
Jun 01, 2017 2:56:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2095/3728 took 557461 ms. Total solver calls (SAT/UNSAT): 4067398(6208/4061190)
Jun 01, 2017 2:56:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2100/3728 took 558707 ms. Total solver calls (SAT/UNSAT): 4076739(6223/4070516)
Jun 01, 2017 2:56:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2105/3728 took 559967 ms. Total solver calls (SAT/UNSAT): 4086079(6238/4079841)
Jun 01, 2017 2:56:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2109/3728 took 561011 ms. Total solver calls (SAT/UNSAT): 4093551(6250/4087301)
Jun 01, 2017 2:56:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2113/3728 took 562028 ms. Total solver calls (SAT/UNSAT): 4101023(6262/4094761)
Jun 01, 2017 2:57:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2117/3728 took 563256 ms. Total solver calls (SAT/UNSAT): 4110017(6274/4103743)
Jun 01, 2017 2:57:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2121/3728 took 564276 ms. Total solver calls (SAT/UNSAT): 4117489(6286/4111203)
Jun 01, 2017 2:57:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2125/3728 took 565288 ms. Total solver calls (SAT/UNSAT): 4124961(6298/4118663)
Jun 01, 2017 2:57:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2129/3728 took 566306 ms. Total solver calls (SAT/UNSAT): 4132433(6310/4126123)
Jun 01, 2017 2:57:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2133/3728 took 567330 ms. Total solver calls (SAT/UNSAT): 4139905(6322/4133583)
Jun 01, 2017 2:57:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2137/3728 took 568569 ms. Total solver calls (SAT/UNSAT): 4148898(6334/4142564)
Jun 01, 2017 2:57:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2141/3728 took 569585 ms. Total solver calls (SAT/UNSAT): 4156371(6346/4150025)
Jun 01, 2017 2:57:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2145/3728 took 570605 ms. Total solver calls (SAT/UNSAT): 4163843(6358/4157485)
Jun 01, 2017 2:57:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2149/3728 took 571620 ms. Total solver calls (SAT/UNSAT): 4171315(6370/4164945)
Jun 01, 2017 2:57:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2153/3728 took 572644 ms. Total solver calls (SAT/UNSAT): 4178787(6382/4172405)
Jun 01, 2017 2:57:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2157/3728 took 573668 ms. Total solver calls (SAT/UNSAT): 4186259(6394/4179865)
Jun 01, 2017 2:57:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2161/3728 took 574904 ms. Total solver calls (SAT/UNSAT): 4195253(6406/4188847)
Jun 01, 2017 2:57:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2165/3728 took 575921 ms. Total solver calls (SAT/UNSAT): 4202725(6418/4196307)
Jun 01, 2017 2:57:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2169/3728 took 576937 ms. Total solver calls (SAT/UNSAT): 4210197(6430/4203767)
Jun 01, 2017 2:57:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2173/3728 took 577959 ms. Total solver calls (SAT/UNSAT): 4217669(6442/4211227)
Jun 01, 2017 2:57:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2177/3728 took 578982 ms. Total solver calls (SAT/UNSAT): 4225141(6454/4218687)
Jun 01, 2017 2:57:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2181/3728 took 580210 ms. Total solver calls (SAT/UNSAT): 4234135(6466/4227669)
Jun 01, 2017 2:57:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2185/3728 took 581351 ms. Total solver calls (SAT/UNSAT): 4241607(6478/4235129)
Jun 01, 2017 2:57:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2189/3728 took 582375 ms. Total solver calls (SAT/UNSAT): 4249079(6490/4242589)
Jun 01, 2017 2:57:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2193/3728 took 583395 ms. Total solver calls (SAT/UNSAT): 4256551(6502/4250049)
Jun 01, 2017 2:57:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2197/3728 took 584413 ms. Total solver calls (SAT/UNSAT): 4264023(6514/4257509)
Jun 01, 2017 2:57:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2201/3728 took 585635 ms. Total solver calls (SAT/UNSAT): 4273017(6526/4266491)
Jun 01, 2017 2:57:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2205/3728 took 586651 ms. Total solver calls (SAT/UNSAT): 4280489(6538/4273951)
Jun 01, 2017 2:57:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2209/3728 took 587671 ms. Total solver calls (SAT/UNSAT): 4287961(6550/4281411)
Jun 01, 2017 2:57:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2213/3728 took 588690 ms. Total solver calls (SAT/UNSAT): 4295433(6562/4288871)
Jun 01, 2017 2:57:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2217/3728 took 589702 ms. Total solver calls (SAT/UNSAT): 4302905(6574/4296331)
Jun 01, 2017 2:57:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2221/3728 took 590930 ms. Total solver calls (SAT/UNSAT): 4311898(6586/4305312)
Jun 01, 2017 2:57:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2225/3728 took 591951 ms. Total solver calls (SAT/UNSAT): 4319371(6598/4312773)
Jun 01, 2017 2:57:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2229/3728 took 592972 ms. Total solver calls (SAT/UNSAT): 4326843(6610/4320233)
Jun 01, 2017 2:57:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2233/3728 took 593985 ms. Total solver calls (SAT/UNSAT): 4334315(6622/4327693)
Jun 01, 2017 2:57:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2237/3728 took 594998 ms. Total solver calls (SAT/UNSAT): 4341787(6634/4335153)
Jun 01, 2017 2:57:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2241/3728 took 596014 ms. Total solver calls (SAT/UNSAT): 4349259(6646/4342613)
Jun 01, 2017 2:57:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2245/3728 took 597237 ms. Total solver calls (SAT/UNSAT): 4358253(6658/4351595)
Jun 01, 2017 2:57:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2249/3728 took 598254 ms. Total solver calls (SAT/UNSAT): 4365725(6670/4359055)
Jun 01, 2017 2:57:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2253/3728 took 599275 ms. Total solver calls (SAT/UNSAT): 4373197(6682/4366515)
Jun 01, 2017 2:57:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2257/3728 took 600297 ms. Total solver calls (SAT/UNSAT): 4380669(6694/4373975)
Jun 01, 2017 2:57:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2261/3728 took 601303 ms. Total solver calls (SAT/UNSAT): 4388141(6706/4381435)
Jun 01, 2017 2:57:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2265/3728 took 602518 ms. Total solver calls (SAT/UNSAT): 4397135(6718/4390417)
Jun 01, 2017 2:57:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2269/3728 took 603529 ms. Total solver calls (SAT/UNSAT): 4404607(6730/4397877)
Jun 01, 2017 2:57:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2273/3728 took 604538 ms. Total solver calls (SAT/UNSAT): 4412079(6742/4405337)
Jun 01, 2017 2:57:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2277/3728 took 605542 ms. Total solver calls (SAT/UNSAT): 4419551(6754/4412797)
Jun 01, 2017 2:57:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2281/3728 took 606554 ms. Total solver calls (SAT/UNSAT): 4427023(6766/4420257)
Jun 01, 2017 2:57:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2285/3728 took 607779 ms. Total solver calls (SAT/UNSAT): 4436017(6778/4429239)
Jun 01, 2017 2:57:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2289/3728 took 608784 ms. Total solver calls (SAT/UNSAT): 4443489(6790/4436699)
Jun 01, 2017 2:57:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2293/3728 took 609794 ms. Total solver calls (SAT/UNSAT): 4450961(6802/4444159)
Jun 01, 2017 2:57:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2297/3728 took 610802 ms. Total solver calls (SAT/UNSAT): 4458433(6814/4451619)
Jun 01, 2017 2:57:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2301/3728 took 611805 ms. Total solver calls (SAT/UNSAT): 4465905(6826/4459079)
Jun 01, 2017 2:57:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2305/3728 took 613016 ms. Total solver calls (SAT/UNSAT): 4474898(6838/4468060)
Jun 01, 2017 2:57:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2309/3728 took 614029 ms. Total solver calls (SAT/UNSAT): 4482371(6850/4475521)
Jun 01, 2017 2:57:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2313/3728 took 615039 ms. Total solver calls (SAT/UNSAT): 4489843(6862/4482981)
Jun 01, 2017 2:57:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2317/3728 took 616056 ms. Total solver calls (SAT/UNSAT): 4497315(6874/4490441)
Jun 01, 2017 2:57:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2321/3728 took 617074 ms. Total solver calls (SAT/UNSAT): 4504787(6886/4497901)
Jun 01, 2017 2:57:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2325/3728 took 618088 ms. Total solver calls (SAT/UNSAT): 4512259(6898/4505361)
Jun 01, 2017 2:57:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2329/3728 took 619309 ms. Total solver calls (SAT/UNSAT): 4521253(6910/4514343)
Jun 01, 2017 2:57:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2333/3728 took 620325 ms. Total solver calls (SAT/UNSAT): 4528725(6922/4521803)
Jun 01, 2017 2:57:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2337/3728 took 621333 ms. Total solver calls (SAT/UNSAT): 4536197(6934/4529263)
Jun 01, 2017 2:57:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2341/3728 took 622350 ms. Total solver calls (SAT/UNSAT): 4543669(6946/4536723)
Jun 01, 2017 2:58:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2345/3728 took 623361 ms. Total solver calls (SAT/UNSAT): 4551141(6958/4544183)
Jun 01, 2017 2:58:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2349/3728 took 624584 ms. Total solver calls (SAT/UNSAT): 4560135(6970/4553165)
Jun 01, 2017 2:58:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2353/3728 took 625596 ms. Total solver calls (SAT/UNSAT): 4567607(6982/4560625)
Jun 01, 2017 2:58:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2357/3728 took 626607 ms. Total solver calls (SAT/UNSAT): 4575079(6994/4568085)
Jun 01, 2017 2:58:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2361/3728 took 627628 ms. Total solver calls (SAT/UNSAT): 4582551(7006/4575545)
Jun 01, 2017 2:58:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2365/3728 took 628641 ms. Total solver calls (SAT/UNSAT): 4590023(7018/4583005)
Jun 01, 2017 2:58:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2369/3728 took 629863 ms. Total solver calls (SAT/UNSAT): 4599017(7030/4591987)
Jun 01, 2017 2:58:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2373/3728 took 630881 ms. Total solver calls (SAT/UNSAT): 4606489(7042/4599447)
Jun 01, 2017 2:58:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2377/3728 took 631893 ms. Total solver calls (SAT/UNSAT): 4613961(7054/4606907)
Jun 01, 2017 2:58:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2381/3728 took 632916 ms. Total solver calls (SAT/UNSAT): 4621433(7066/4614367)
Jun 01, 2017 2:58:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2386/3728 took 634164 ms. Total solver calls (SAT/UNSAT): 4630773(7081/4623692)
Jun 01, 2017 2:58:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2390/3728 took 635384 ms. Total solver calls (SAT/UNSAT): 4639767(7093/4632674)
Jun 01, 2017 2:58:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2394/3728 took 636408 ms. Total solver calls (SAT/UNSAT): 4647239(7105/4640134)
Jun 01, 2017 2:58:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2398/3728 took 637413 ms. Total solver calls (SAT/UNSAT): 4654711(7117/4647594)
Jun 01, 2017 2:58:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2402/3728 took 638423 ms. Total solver calls (SAT/UNSAT): 4662183(7129/4655054)
Jun 01, 2017 2:58:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2406/3728 took 639434 ms. Total solver calls (SAT/UNSAT): 4669655(7141/4662514)
Jun 01, 2017 2:58:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2410/3728 took 640652 ms. Total solver calls (SAT/UNSAT): 4678648(7153/4671495)
Jun 01, 2017 2:58:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2415/3728 took 641900 ms. Total solver calls (SAT/UNSAT): 4687989(7168/4680821)
Jun 01, 2017 2:58:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2419/3728 took 642913 ms. Total solver calls (SAT/UNSAT): 4695461(7180/4688281)
Jun 01, 2017 2:58:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2423/3728 took 643923 ms. Total solver calls (SAT/UNSAT): 4702933(7192/4695741)
Jun 01, 2017 2:58:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2427/3728 took 644934 ms. Total solver calls (SAT/UNSAT): 4710405(7204/4703201)
Jun 01, 2017 2:58:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2431/3728 took 646142 ms. Total solver calls (SAT/UNSAT): 4719398(7216/4712182)
Jun 01, 2017 2:58:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2435/3728 took 647153 ms. Total solver calls (SAT/UNSAT): 4726871(7228/4719643)
Jun 01, 2017 2:58:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2439/3728 took 648170 ms. Total solver calls (SAT/UNSAT): 4734343(7240/4727103)
Jun 01, 2017 2:58:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2443/3728 took 649174 ms. Total solver calls (SAT/UNSAT): 4741815(7252/4734563)
Jun 01, 2017 2:58:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2447/3728 took 650181 ms. Total solver calls (SAT/UNSAT): 4749287(7264/4742023)
Jun 01, 2017 2:58:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2451/3728 took 651192 ms. Total solver calls (SAT/UNSAT): 4756759(7276/4749483)
Jun 01, 2017 2:58:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2455/3728 took 652424 ms. Total solver calls (SAT/UNSAT): 4765753(7288/4758465)
Jun 01, 2017 2:58:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2459/3728 took 653426 ms. Total solver calls (SAT/UNSAT): 4773225(7300/4765925)
Jun 01, 2017 2:58:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2463/3728 took 654436 ms. Total solver calls (SAT/UNSAT): 4780697(7312/4773385)
Jun 01, 2017 2:58:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2467/3728 took 655446 ms. Total solver calls (SAT/UNSAT): 4788169(7324/4780845)
Jun 01, 2017 2:58:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2471/3728 took 656512 ms. Total solver calls (SAT/UNSAT): 4795641(7336/4788305)
Jun 01, 2017 2:58:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2475/3728 took 657714 ms. Total solver calls (SAT/UNSAT): 4804635(7348/4797287)
Jun 01, 2017 2:58:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2479/3728 took 658726 ms. Total solver calls (SAT/UNSAT): 4812107(7360/4804747)
Jun 01, 2017 2:58:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2483/3728 took 659736 ms. Total solver calls (SAT/UNSAT): 4819579(7372/4812207)
Jun 01, 2017 2:58:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2487/3728 took 660751 ms. Total solver calls (SAT/UNSAT): 4827051(7384/4819667)
Jun 01, 2017 2:58:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2491/3728 took 661766 ms. Total solver calls (SAT/UNSAT): 4834523(7396/4827127)
Jun 01, 2017 2:58:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2495/3728 took 662992 ms. Total solver calls (SAT/UNSAT): 4843517(7408/4836109)
Jun 01, 2017 2:58:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2499/3728 took 664005 ms. Total solver calls (SAT/UNSAT): 4850989(7420/4843569)
Jun 01, 2017 2:58:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2503/3728 took 665015 ms. Total solver calls (SAT/UNSAT): 4858461(7432/4851029)
Jun 01, 2017 2:58:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2507/3728 took 666030 ms. Total solver calls (SAT/UNSAT): 4865933(7444/4858489)
Jun 01, 2017 2:58:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2511/3728 took 667041 ms. Total solver calls (SAT/UNSAT): 4873405(7456/4865949)
Jun 01, 2017 2:58:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2515/3728 took 668271 ms. Total solver calls (SAT/UNSAT): 4882398(7468/4874930)
Jun 01, 2017 2:58:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2519/3728 took 669273 ms. Total solver calls (SAT/UNSAT): 4889871(7480/4882391)
Jun 01, 2017 2:58:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2523/3728 took 670333 ms. Total solver calls (SAT/UNSAT): 4897343(7492/4889851)
Jun 01, 2017 2:58:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2527/3728 took 671348 ms. Total solver calls (SAT/UNSAT): 4904815(7504/4897311)
Jun 01, 2017 2:58:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2531/3728 took 672367 ms. Total solver calls (SAT/UNSAT): 4912287(7516/4904771)
Jun 01, 2017 2:58:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2535/3728 took 673374 ms. Total solver calls (SAT/UNSAT): 4919759(7528/4912231)
Jun 01, 2017 2:58:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2539/3728 took 674585 ms. Total solver calls (SAT/UNSAT): 4928753(7540/4921213)
Jun 01, 2017 2:58:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2543/3728 took 675649 ms. Total solver calls (SAT/UNSAT): 4936225(7552/4928673)
Jun 01, 2017 2:58:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2547/3728 took 676663 ms. Total solver calls (SAT/UNSAT): 4943697(7564/4936133)
Jun 01, 2017 2:58:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2551/3728 took 677679 ms. Total solver calls (SAT/UNSAT): 4951169(7576/4943593)
Jun 01, 2017 2:58:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2555/3728 took 678689 ms. Total solver calls (SAT/UNSAT): 4958641(7588/4951053)
Jun 01, 2017 2:58:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2559/3728 took 679912 ms. Total solver calls (SAT/UNSAT): 4967635(7600/4960035)
Jun 01, 2017 2:58:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2563/3728 took 680921 ms. Total solver calls (SAT/UNSAT): 4975107(7612/4967495)
Jun 01, 2017 2:58:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2567/3728 took 681922 ms. Total solver calls (SAT/UNSAT): 4982579(7624/4974955)
Jun 01, 2017 2:59:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2571/3728 took 682945 ms. Total solver calls (SAT/UNSAT): 4990051(7636/4982415)
Jun 01, 2017 2:59:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2575/3728 took 683958 ms. Total solver calls (SAT/UNSAT): 4997523(7648/4989875)
Jun 01, 2017 2:59:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2579/3728 took 685181 ms. Total solver calls (SAT/UNSAT): 5006517(7660/4998857)
Jun 01, 2017 2:59:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2583/3728 took 686182 ms. Total solver calls (SAT/UNSAT): 5013989(7672/5006317)
Jun 01, 2017 2:59:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2587/3728 took 687190 ms. Total solver calls (SAT/UNSAT): 5021461(7684/5013777)
Jun 01, 2017 2:59:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2591/3728 took 688201 ms. Total solver calls (SAT/UNSAT): 5028933(7696/5021237)
Jun 01, 2017 2:59:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2595/3728 took 689207 ms. Total solver calls (SAT/UNSAT): 5036405(7708/5028697)
Jun 01, 2017 2:59:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2599/3728 took 690420 ms. Total solver calls (SAT/UNSAT): 5045398(7720/5037678)
Jun 01, 2017 2:59:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2603/3728 took 691423 ms. Total solver calls (SAT/UNSAT): 5052871(7732/5045139)
Jun 01, 2017 2:59:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2607/3728 took 692435 ms. Total solver calls (SAT/UNSAT): 5060343(7744/5052599)
Jun 01, 2017 2:59:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2611/3728 took 693440 ms. Total solver calls (SAT/UNSAT): 5067815(7756/5060059)
Jun 01, 2017 2:59:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2615/3728 took 694490 ms. Total solver calls (SAT/UNSAT): 5075287(7768/5067519)
Jun 01, 2017 2:59:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2619/3728 took 695512 ms. Total solver calls (SAT/UNSAT): 5082759(7780/5074979)
Jun 01, 2017 2:59:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2623/3728 took 696736 ms. Total solver calls (SAT/UNSAT): 5091753(7792/5083961)
Jun 01, 2017 2:59:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2627/3728 took 697748 ms. Total solver calls (SAT/UNSAT): 5099225(7804/5091421)
Jun 01, 2017 2:59:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2631/3728 took 698756 ms. Total solver calls (SAT/UNSAT): 5106697(7816/5098881)
Jun 01, 2017 2:59:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2635/3728 took 699763 ms. Total solver calls (SAT/UNSAT): 5114169(7828/5106341)
Jun 01, 2017 2:59:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2639/3728 took 700775 ms. Total solver calls (SAT/UNSAT): 5121641(7840/5113801)
Jun 01, 2017 2:59:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2643/3728 took 701987 ms. Total solver calls (SAT/UNSAT): 5130635(7852/5122783)
Jun 01, 2017 2:59:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2647/3728 took 702999 ms. Total solver calls (SAT/UNSAT): 5138107(7864/5130243)
Jun 01, 2017 2:59:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2651/3728 took 704004 ms. Total solver calls (SAT/UNSAT): 5145579(7876/5137703)
Jun 01, 2017 2:59:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2655/3728 took 705016 ms. Total solver calls (SAT/UNSAT): 5153051(7888/5145163)
Jun 01, 2017 2:59:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2659/3728 took 706030 ms. Total solver calls (SAT/UNSAT): 5160523(7900/5152623)
Jun 01, 2017 2:59:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2663/3728 took 707239 ms. Total solver calls (SAT/UNSAT): 5169517(7912/5161605)
Jun 01, 2017 2:59:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2667/3728 took 708249 ms. Total solver calls (SAT/UNSAT): 5176989(7924/5169065)
Jun 01, 2017 2:59:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2671/3728 took 709256 ms. Total solver calls (SAT/UNSAT): 5184461(7936/5176525)
Jun 01, 2017 2:59:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2675/3728 took 710263 ms. Total solver calls (SAT/UNSAT): 5191933(7948/5183985)
Jun 01, 2017 2:59:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2679/3728 took 711274 ms. Total solver calls (SAT/UNSAT): 5199405(7960/5191445)
Jun 01, 2017 2:59:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2683/3728 took 712481 ms. Total solver calls (SAT/UNSAT): 5208398(7972/5200426)
Jun 01, 2017 2:59:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2687/3728 took 713492 ms. Total solver calls (SAT/UNSAT): 5215871(7984/5207887)
Jun 01, 2017 2:59:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2691/3728 took 714499 ms. Total solver calls (SAT/UNSAT): 5223343(7996/5215347)
Jun 01, 2017 2:59:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2695/3728 took 715509 ms. Total solver calls (SAT/UNSAT): 5230815(8008/5222807)
Jun 01, 2017 2:59:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2699/3728 took 716527 ms. Total solver calls (SAT/UNSAT): 5238287(8020/5230267)
Jun 01, 2017 2:59:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2703/3728 took 717537 ms. Total solver calls (SAT/UNSAT): 5245759(8032/5237727)
Jun 01, 2017 2:59:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2707/3728 took 718749 ms. Total solver calls (SAT/UNSAT): 5254753(8044/5246709)
Jun 01, 2017 2:59:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2711/3728 took 719770 ms. Total solver calls (SAT/UNSAT): 5262225(8056/5254169)
Jun 01, 2017 2:59:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2715/3728 took 720786 ms. Total solver calls (SAT/UNSAT): 5269697(8068/5261629)
Jun 01, 2017 2:59:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2719/3728 took 721802 ms. Total solver calls (SAT/UNSAT): 5277169(8080/5269089)
Jun 01, 2017 2:59:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2723/3728 took 722818 ms. Total solver calls (SAT/UNSAT): 5284641(8092/5276549)
Jun 01, 2017 2:59:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2727/3728 took 724039 ms. Total solver calls (SAT/UNSAT): 5293635(8104/5285531)
Jun 01, 2017 2:59:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2731/3728 took 725056 ms. Total solver calls (SAT/UNSAT): 5301107(8116/5292991)
Jun 01, 2017 2:59:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2735/3728 took 726061 ms. Total solver calls (SAT/UNSAT): 5308579(8128/5300451)
Jun 01, 2017 2:59:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2739/3728 took 727067 ms. Total solver calls (SAT/UNSAT): 5316051(8140/5307911)
Jun 01, 2017 2:59:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2743/3728 took 728085 ms. Total solver calls (SAT/UNSAT): 5323523(8152/5315371)
Jun 01, 2017 2:59:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2747/3728 took 729302 ms. Total solver calls (SAT/UNSAT): 5332517(8164/5324353)
Jun 01, 2017 2:59:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2751/3728 took 730315 ms. Total solver calls (SAT/UNSAT): 5339989(8176/5331813)
Jun 01, 2017 2:59:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2755/3728 took 731328 ms. Total solver calls (SAT/UNSAT): 5347461(8188/5339273)
Jun 01, 2017 2:59:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2759/3728 took 732345 ms. Total solver calls (SAT/UNSAT): 5354933(8200/5346733)
Jun 01, 2017 2:59:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2763/3728 took 733360 ms. Total solver calls (SAT/UNSAT): 5362405(8212/5354193)
Jun 01, 2017 2:59:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2767/3728 took 734580 ms. Total solver calls (SAT/UNSAT): 5371398(8224/5363174)
Jun 01, 2017 2:59:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2771/3728 took 735596 ms. Total solver calls (SAT/UNSAT): 5378871(8236/5370635)
Jun 01, 2017 2:59:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2775/3728 took 736615 ms. Total solver calls (SAT/UNSAT): 5386343(8248/5378095)
Jun 01, 2017 2:59:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2779/3728 took 737621 ms. Total solver calls (SAT/UNSAT): 5393815(8260/5385555)
Jun 01, 2017 2:59:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2783/3728 took 738626 ms. Total solver calls (SAT/UNSAT): 5401287(8272/5393015)
Jun 01, 2017 2:59:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2787/3728 took 739650 ms. Total solver calls (SAT/UNSAT): 5408759(8284/5400475)
Jun 01, 2017 2:59:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2791/3728 took 740870 ms. Total solver calls (SAT/UNSAT): 5417753(8296/5409457)
Jun 01, 2017 2:59:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2795/3728 took 741875 ms. Total solver calls (SAT/UNSAT): 5425225(8308/5416917)
Jun 01, 2017 3:00:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2799/3728 took 742941 ms. Total solver calls (SAT/UNSAT): 5432697(8320/5424377)
Jun 01, 2017 3:00:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2803/3728 took 743954 ms. Total solver calls (SAT/UNSAT): 5440169(8332/5431837)
Jun 01, 2017 3:00:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2807/3728 took 744965 ms. Total solver calls (SAT/UNSAT): 5447641(8344/5439297)
Jun 01, 2017 3:00:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2811/3728 took 746205 ms. Total solver calls (SAT/UNSAT): 5456635(8356/5448279)
Jun 01, 2017 3:00:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2815/3728 took 747218 ms. Total solver calls (SAT/UNSAT): 5464107(8368/5455739)
Jun 01, 2017 3:00:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2819/3728 took 748239 ms. Total solver calls (SAT/UNSAT): 5471579(8380/5463199)
Jun 01, 2017 3:00:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2823/3728 took 749247 ms. Total solver calls (SAT/UNSAT): 5479051(8392/5470659)
Jun 01, 2017 3:00:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2827/3728 took 750252 ms. Total solver calls (SAT/UNSAT): 5486523(8404/5478119)
Jun 01, 2017 3:00:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2831/3728 took 751471 ms. Total solver calls (SAT/UNSAT): 5495517(8416/5487101)
Jun 01, 2017 3:00:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2835/3728 took 752486 ms. Total solver calls (SAT/UNSAT): 5502989(8428/5494561)
Jun 01, 2017 3:00:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2839/3728 took 753493 ms. Total solver calls (SAT/UNSAT): 5510461(8440/5502021)
Jun 01, 2017 3:00:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2843/3728 took 754504 ms. Total solver calls (SAT/UNSAT): 5517933(8452/5509481)
Jun 01, 2017 3:00:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2847/3728 took 755518 ms. Total solver calls (SAT/UNSAT): 5525405(8464/5516941)
Jun 01, 2017 3:00:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2851/3728 took 756737 ms. Total solver calls (SAT/UNSAT): 5534398(8476/5525922)
Jun 01, 2017 3:00:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2855/3728 took 757750 ms. Total solver calls (SAT/UNSAT): 5541871(8488/5533383)
Jun 01, 2017 3:00:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2859/3728 took 758766 ms. Total solver calls (SAT/UNSAT): 5549343(8500/5540843)
Jun 01, 2017 3:00:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2863/3728 took 759784 ms. Total solver calls (SAT/UNSAT): 5556815(8512/5548303)
Jun 01, 2017 3:00:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2867/3728 took 760799 ms. Total solver calls (SAT/UNSAT): 5564287(8524/5555763)
Jun 01, 2017 3:00:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2871/3728 took 761821 ms. Total solver calls (SAT/UNSAT): 5571759(8536/5563223)
Jun 01, 2017 3:00:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2875/3728 took 763033 ms. Total solver calls (SAT/UNSAT): 5580753(8548/5572205)
Jun 01, 2017 3:00:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2879/3728 took 764041 ms. Total solver calls (SAT/UNSAT): 5588225(8560/5579665)
Jun 01, 2017 3:00:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2883/3728 took 765058 ms. Total solver calls (SAT/UNSAT): 5595697(8572/5587125)
Jun 01, 2017 3:00:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2887/3728 took 766063 ms. Total solver calls (SAT/UNSAT): 5603169(8584/5594585)
Jun 01, 2017 3:00:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2891/3728 took 767069 ms. Total solver calls (SAT/UNSAT): 5610641(8596/5602045)
Jun 01, 2017 3:00:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2895/3728 took 768293 ms. Total solver calls (SAT/UNSAT): 5619635(8608/5611027)
Jun 01, 2017 3:00:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2899/3728 took 769304 ms. Total solver calls (SAT/UNSAT): 5627107(8620/5618487)
Jun 01, 2017 3:00:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2903/3728 took 770313 ms. Total solver calls (SAT/UNSAT): 5634579(8632/5625947)
Jun 01, 2017 3:00:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2907/3728 took 771333 ms. Total solver calls (SAT/UNSAT): 5642051(8644/5633407)
Jun 01, 2017 3:00:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2911/3728 took 772350 ms. Total solver calls (SAT/UNSAT): 5649523(8656/5640867)
Jun 01, 2017 3:00:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2915/3728 took 773566 ms. Total solver calls (SAT/UNSAT): 5658517(8668/5649849)
Jun 01, 2017 3:00:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2919/3728 took 774584 ms. Total solver calls (SAT/UNSAT): 5665989(8680/5657309)
Jun 01, 2017 3:00:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2923/3728 took 775601 ms. Total solver calls (SAT/UNSAT): 5673461(8692/5664769)
Jun 01, 2017 3:00:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2927/3728 took 776620 ms. Total solver calls (SAT/UNSAT): 5680933(8704/5672229)
Jun 01, 2017 3:00:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2931/3728 took 777644 ms. Total solver calls (SAT/UNSAT): 5688405(8716/5679689)
Jun 01, 2017 3:00:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2935/3728 took 778869 ms. Total solver calls (SAT/UNSAT): 5697398(8728/5688670)
Jun 01, 2017 3:00:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2939/3728 took 779914 ms. Total solver calls (SAT/UNSAT): 5704871(8740/5696131)
Jun 01, 2017 3:00:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2944/3728 took 781151 ms. Total solver calls (SAT/UNSAT): 5714211(8755/5705456)
Jun 01, 2017 3:00:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2949/3728 took 782387 ms. Total solver calls (SAT/UNSAT): 5723551(8770/5714781)
Jun 01, 2017 3:00:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2954/3728 took 783625 ms. Total solver calls (SAT/UNSAT): 5732891(8785/5724106)
Jun 01, 2017 3:00:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2958/3728 took 784817 ms. Total solver calls (SAT/UNSAT): 5741885(8797/5733088)
Jun 01, 2017 3:00:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2963/3728 took 786044 ms. Total solver calls (SAT/UNSAT): 5751225(8812/5742413)
Jun 01, 2017 3:00:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2968/3728 took 787271 ms. Total solver calls (SAT/UNSAT): 5760565(8827/5751738)
Jun 01, 2017 3:00:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2973/3728 took 788507 ms. Total solver calls (SAT/UNSAT): 5769905(8842/5761063)
Jun 01, 2017 3:00:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2977/3728 took 789685 ms. Total solver calls (SAT/UNSAT): 5778898(8854/5770044)
Jun 01, 2017 3:00:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2982/3728 took 790911 ms. Total solver calls (SAT/UNSAT): 5788239(8869/5779370)
Jun 01, 2017 3:00:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2986/3728 took 791912 ms. Total solver calls (SAT/UNSAT): 5795711(8881/5786830)
Jun 01, 2017 3:00:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2991/3728 took 793141 ms. Total solver calls (SAT/UNSAT): 5805051(8896/5796155)
Jun 01, 2017 3:00:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2996/3728 took 794408 ms. Total solver calls (SAT/UNSAT): 5814391(8911/5805480)
Jun 01, 2017 3:00:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3000/3728 took 795594 ms. Total solver calls (SAT/UNSAT): 5823385(8923/5814462)
Jun 01, 2017 3:00:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3005/3728 took 796822 ms. Total solver calls (SAT/UNSAT): 5832725(8938/5823787)
Jun 01, 2017 3:00:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3010/3728 took 798069 ms. Total solver calls (SAT/UNSAT): 5842065(8953/5833112)
Jun 01, 2017 3:00:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3015/3728 took 799294 ms. Total solver calls (SAT/UNSAT): 5851405(8968/5842437)
Jun 01, 2017 3:00:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3019/3728 took 800475 ms. Total solver calls (SAT/UNSAT): 5860398(8980/5851418)
Jun 01, 2017 3:00:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3024/3728 took 801709 ms. Total solver calls (SAT/UNSAT): 5869739(8995/5860744)
Jun 01, 2017 3:01:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3029/3728 took 802937 ms. Total solver calls (SAT/UNSAT): 5879079(9010/5870069)
Jun 01, 2017 3:01:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3034/3728 took 804165 ms. Total solver calls (SAT/UNSAT): 5888419(9025/5879394)
Jun 01, 2017 3:01:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3039/3728 took 805395 ms. Total solver calls (SAT/UNSAT): 5897759(9040/5888719)
Jun 01, 2017 3:01:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3043/3728 took 806577 ms. Total solver calls (SAT/UNSAT): 5906753(9052/5897701)
Jun 01, 2017 3:01:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3048/3728 took 807802 ms. Total solver calls (SAT/UNSAT): 5916093(9067/5907026)
Jun 01, 2017 3:01:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3053/3728 took 809032 ms. Total solver calls (SAT/UNSAT): 5925433(9082/5916351)
Jun 01, 2017 3:01:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3058/3728 took 810255 ms. Total solver calls (SAT/UNSAT): 5934773(9097/5925676)
Jun 01, 2017 3:01:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3062/3728 took 811431 ms. Total solver calls (SAT/UNSAT): 5943767(9109/5934658)
Jun 01, 2017 3:01:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3066/3728 took 812458 ms. Total solver calls (SAT/UNSAT): 5951239(9121/5942118)
Jun 01, 2017 3:01:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3071/3728 took 813681 ms. Total solver calls (SAT/UNSAT): 5960579(9136/5951443)
Jun 01, 2017 3:01:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3076/3728 took 814906 ms. Total solver calls (SAT/UNSAT): 5969919(9151/5960768)
Jun 01, 2017 3:01:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3081/3728 took 816150 ms. Total solver calls (SAT/UNSAT): 5979259(9166/5970093)
Jun 01, 2017 3:01:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3085/3728 took 817331 ms. Total solver calls (SAT/UNSAT): 5988253(9178/5979075)
Jun 01, 2017 3:01:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3090/3728 took 818552 ms. Total solver calls (SAT/UNSAT): 5997593(9193/5988400)
Jun 01, 2017 3:01:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3094/3728 took 819594 ms. Total solver calls (SAT/UNSAT): 6005065(9205/5995860)
Jun 01, 2017 3:01:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3099/3728 took 820827 ms. Total solver calls (SAT/UNSAT): 6014405(9220/6005185)
Jun 01, 2017 3:01:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3103/3728 took 822007 ms. Total solver calls (SAT/UNSAT): 6023398(9232/6014166)
Jun 01, 2017 3:01:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3108/3728 took 823244 ms. Total solver calls (SAT/UNSAT): 6032739(9247/6023492)
Jun 01, 2017 3:01:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3113/3728 took 824479 ms. Total solver calls (SAT/UNSAT): 6042079(9262/6032817)
Jun 01, 2017 3:01:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3118/3728 took 825708 ms. Total solver calls (SAT/UNSAT): 6051419(9277/6042142)
Jun 01, 2017 3:01:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3123/3728 took 826947 ms. Total solver calls (SAT/UNSAT): 6060759(9292/6051467)
Jun 01, 2017 3:01:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3127/3728 took 828138 ms. Total solver calls (SAT/UNSAT): 6069753(9304/6060449)
Jun 01, 2017 3:01:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3132/3728 took 829370 ms. Total solver calls (SAT/UNSAT): 6079093(9319/6069774)
Jun 01, 2017 3:01:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3137/3728 took 830606 ms. Total solver calls (SAT/UNSAT): 6088433(9334/6079099)
Jun 01, 2017 3:01:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3142/3728 took 831845 ms. Total solver calls (SAT/UNSAT): 6097773(9349/6088424)
Jun 01, 2017 3:01:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3146/3728 took 833035 ms. Total solver calls (SAT/UNSAT): 6106767(9361/6097406)
Jun 01, 2017 3:01:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3151/3728 took 834280 ms. Total solver calls (SAT/UNSAT): 6116107(9376/6106731)
Jun 01, 2017 3:01:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3156/3728 took 835517 ms. Total solver calls (SAT/UNSAT): 6125447(9391/6116056)
Jun 01, 2017 3:01:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3161/3728 took 836754 ms. Total solver calls (SAT/UNSAT): 6134787(9406/6125381)
Jun 01, 2017 3:01:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3166/3728 took 838225 ms. Total solver calls (SAT/UNSAT): 6145648(9421/6136227)
Jun 01, 2017 3:01:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3170/3728 took 839240 ms. Total solver calls (SAT/UNSAT): 6153121(9433/6143688)
Jun 01, 2017 3:01:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3174/3728 took 840250 ms. Total solver calls (SAT/UNSAT): 6160593(9445/6151148)
Jun 01, 2017 3:01:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3178/3728 took 841255 ms. Total solver calls (SAT/UNSAT): 6168065(9457/6158608)
Jun 01, 2017 3:01:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3182/3728 took 842260 ms. Total solver calls (SAT/UNSAT): 6175537(9469/6166068)
Jun 01, 2017 3:01:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3186/3728 took 843262 ms. Total solver calls (SAT/UNSAT): 6183009(9481/6173528)
Jun 01, 2017 3:01:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3190/3728 took 844469 ms. Total solver calls (SAT/UNSAT): 6192003(9493/6182510)
Jun 01, 2017 3:01:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3194/3728 took 845472 ms. Total solver calls (SAT/UNSAT): 6199475(9505/6189970)
Jun 01, 2017 3:01:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3198/3728 took 846481 ms. Total solver calls (SAT/UNSAT): 6206947(9517/6197430)
Jun 01, 2017 3:01:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3202/3728 took 847484 ms. Total solver calls (SAT/UNSAT): 6214419(9529/6204890)
Jun 01, 2017 3:01:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3206/3728 took 848486 ms. Total solver calls (SAT/UNSAT): 6221891(9541/6212350)
Jun 01, 2017 3:01:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3210/3728 took 849691 ms. Total solver calls (SAT/UNSAT): 6230885(9553/6221332)
Jun 01, 2017 3:01:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3214/3728 took 850697 ms. Total solver calls (SAT/UNSAT): 6238357(9565/6228792)
Jun 01, 2017 3:01:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3218/3728 took 851699 ms. Total solver calls (SAT/UNSAT): 6245829(9577/6236252)
Jun 01, 2017 3:01:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3222/3728 took 852701 ms. Total solver calls (SAT/UNSAT): 6253301(9589/6243712)
Jun 01, 2017 3:01:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3226/3728 took 853702 ms. Total solver calls (SAT/UNSAT): 6260773(9601/6251172)
Jun 01, 2017 3:01:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3230/3728 took 854909 ms. Total solver calls (SAT/UNSAT): 6269767(9613/6260154)
Jun 01, 2017 3:01:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3235/3728 took 856157 ms. Total solver calls (SAT/UNSAT): 6279107(9628/6269479)
Jun 01, 2017 3:01:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3239/3728 took 857157 ms. Total solver calls (SAT/UNSAT): 6286579(9640/6276939)
Jun 01, 2017 3:01:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3243/3728 took 858159 ms. Total solver calls (SAT/UNSAT): 6294051(9652/6284399)
Jun 01, 2017 3:01:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3248/3728 took 859406 ms. Total solver calls (SAT/UNSAT): 6303391(9667/6293724)
Jun 01, 2017 3:01:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3252/3728 took 860610 ms. Total solver calls (SAT/UNSAT): 6312385(9679/6302706)
Jun 01, 2017 3:01:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3256/3728 took 861610 ms. Total solver calls (SAT/UNSAT): 6319857(9691/6310166)
Jun 01, 2017 3:02:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3260/3728 took 862615 ms. Total solver calls (SAT/UNSAT): 6327329(9703/6317626)
Jun 01, 2017 3:02:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3264/3728 took 863654 ms. Total solver calls (SAT/UNSAT): 6334801(9715/6325086)
Jun 01, 2017 3:02:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3269/3728 took 864889 ms. Total solver calls (SAT/UNSAT): 6344141(9730/6334411)
Jun 01, 2017 3:02:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3273/3728 took 866074 ms. Total solver calls (SAT/UNSAT): 6353135(9742/6343393)
Jun 01, 2017 3:02:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3278/3728 took 867313 ms. Total solver calls (SAT/UNSAT): 6362475(9757/6352718)
Jun 01, 2017 3:02:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3283/3728 took 868547 ms. Total solver calls (SAT/UNSAT): 6371815(9772/6362043)
Jun 01, 2017 3:02:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3288/3728 took 869770 ms. Total solver calls (SAT/UNSAT): 6381155(9787/6371368)
Jun 01, 2017 3:02:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3292/3728 took 870962 ms. Total solver calls (SAT/UNSAT): 6390148(9799/6380349)
Jun 01, 2017 3:02:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3297/3728 took 872204 ms. Total solver calls (SAT/UNSAT): 6399489(9814/6389675)
Jun 01, 2017 3:02:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3302/3728 took 873432 ms. Total solver calls (SAT/UNSAT): 6408829(9829/6399000)
Jun 01, 2017 3:02:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3307/3728 took 874666 ms. Total solver calls (SAT/UNSAT): 6418169(9844/6408325)
Jun 01, 2017 3:02:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3312/3728 took 875901 ms. Total solver calls (SAT/UNSAT): 6427509(9859/6417650)
Jun 01, 2017 3:02:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3316/3728 took 877091 ms. Total solver calls (SAT/UNSAT): 6436503(9871/6426632)
Jun 01, 2017 3:02:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3321/3728 took 878317 ms. Total solver calls (SAT/UNSAT): 6445843(9886/6435957)
Jun 01, 2017 3:02:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3326/3728 took 879549 ms. Total solver calls (SAT/UNSAT): 6455183(9901/6445282)
Jun 01, 2017 3:02:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3331/3728 took 880773 ms. Total solver calls (SAT/UNSAT): 6464523(9916/6454607)
Jun 01, 2017 3:02:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3335/3728 took 881950 ms. Total solver calls (SAT/UNSAT): 6473517(9928/6463589)
Jun 01, 2017 3:02:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3340/3728 took 883182 ms. Total solver calls (SAT/UNSAT): 6482857(9943/6472914)
Jun 01, 2017 3:02:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3345/3728 took 884405 ms. Total solver calls (SAT/UNSAT): 6492197(9958/6482239)
Jun 01, 2017 3:02:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3350/3728 took 885631 ms. Total solver calls (SAT/UNSAT): 6501537(9973/6491564)
Jun 01, 2017 3:02:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3355/3728 took 887067 ms. Total solver calls (SAT/UNSAT): 6512398(9988/6502410)
Jun 01, 2017 3:02:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3360/3728 took 888293 ms. Total solver calls (SAT/UNSAT): 6521739(10003/6511736)
Jun 01, 2017 3:02:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3365/3728 took 889519 ms. Total solver calls (SAT/UNSAT): 6531079(10018/6521061)
Jun 01, 2017 3:02:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3370/3728 took 890742 ms. Total solver calls (SAT/UNSAT): 6540419(10033/6530386)
Jun 01, 2017 3:02:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3375/3728 took 891973 ms. Total solver calls (SAT/UNSAT): 6549759(10048/6539711)
Jun 01, 2017 3:02:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3379/3728 took 893154 ms. Total solver calls (SAT/UNSAT): 6558753(10060/6548693)
Jun 01, 2017 3:02:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3384/3728 took 894381 ms. Total solver calls (SAT/UNSAT): 6568093(10075/6558018)
Jun 01, 2017 3:02:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3389/3728 took 895615 ms. Total solver calls (SAT/UNSAT): 6577433(10090/6567343)
Jun 01, 2017 3:02:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3394/3728 took 896844 ms. Total solver calls (SAT/UNSAT): 6586773(10105/6576668)
Jun 01, 2017 3:02:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3398/3728 took 898021 ms. Total solver calls (SAT/UNSAT): 6595767(10117/6585650)
Jun 01, 2017 3:02:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3403/3728 took 899248 ms. Total solver calls (SAT/UNSAT): 6605107(10132/6594975)
Jun 01, 2017 3:02:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3408/3728 took 900485 ms. Total solver calls (SAT/UNSAT): 6614447(10147/6604300)
Jun 01, 2017 3:02:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3413/3728 took 901709 ms. Total solver calls (SAT/UNSAT): 6623787(10162/6613625)
Jun 01, 2017 3:02:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3418/3728 took 903134 ms. Total solver calls (SAT/UNSAT): 6634648(10177/6624471)
Jun 01, 2017 3:02:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3423/3728 took 904368 ms. Total solver calls (SAT/UNSAT): 6643989(10192/6633797)
Jun 01, 2017 3:02:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3428/3728 took 905590 ms. Total solver calls (SAT/UNSAT): 6653329(10207/6643122)
Jun 01, 2017 3:02:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3433/3728 took 906815 ms. Total solver calls (SAT/UNSAT): 6662669(10222/6652447)
Jun 01, 2017 3:02:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3438/3728 took 908045 ms. Total solver calls (SAT/UNSAT): 6672009(10237/6661772)
Jun 01, 2017 3:02:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3454/3728 took 909066 ms. Total solver calls (SAT/UNSAT): 6679358(10255/6669103)
Jun 01, 2017 3:02:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3480/3728 took 910451 ms. Total solver calls (SAT/UNSAT): 6689262(10281/6678981)
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BridgeAndVehicles-PT-V80P50N20"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V80P50N20.tgz
mv 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 BridgeAndVehicles-PT-V80P50N20, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r010-csrt-149436129900564"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;