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 |
| 15934.340 | 3600000.00 | 4735568.00 | 813.50 | [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 ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r010-csrt-149436129900566
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1496285637578
Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ctl command run as :
/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/ReachabilityDeadlock.pnml.gal -t CGAL -ctl DEADLOCK
No direction supplied, using forward translation only.
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 3728 rows 198 cols
invariant : 1'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
+ [[ ReachabilityDeadlock = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution ReachabilityDeadlock -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination ReachabilityDeadlock -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 01, 2017 2:53:59 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 2:53:59 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 333 ms
Jun 01, 2017 2:53:59 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 198 places.
Jun 01, 2017 2:53:59 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 3728 transitions.
Jun 01, 2017 2:53:59 AM fr.lip6.move.gal.logic.togal.ToGalTransformer toGal
WARNING: Unknown predicate type in boolean expression fr.lip6.move.gal.logic.impl.DeadlockImpl
Jun 01, 2017 2:54:00 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property BridgeAndVehicles-COL-V80P50N20-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
Jun 01, 2017 2:54:01 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 997 ms
Jun 01, 2017 2:54:01 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityDeadlock.pnml.gal : 94 ms
Jun 01, 2017 2:54:03 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 480 ms
Jun 01, 2017 2:54:18 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 198 variables to be positive in 15299 ms
Jun 01, 2017 2:54:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 3728 transitions.
Jun 01, 2017 2:54:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3728 took 292 ms. Total solver calls (SAT/UNSAT): 1943(2/1941)
Jun 01, 2017 2:54:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/3728 took 1517 ms. Total solver calls (SAT/UNSAT): 9715(10/9705)
Jun 01, 2017 2:54:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/3728 took 2685 ms. Total solver calls (SAT/UNSAT): 17487(18/17469)
Jun 01, 2017 2:54:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/3728 took 3809 ms. Total solver calls (SAT/UNSAT): 25259(26/25233)
Jun 01, 2017 2:54:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :16/3728 took 4923 ms. Total solver calls (SAT/UNSAT): 33031(34/32997)
Jun 01, 2017 2:54:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/3728 took 6026 ms. Total solver calls (SAT/UNSAT): 40803(42/40761)
Jun 01, 2017 2:54:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/3728 took 7113 ms. Total solver calls (SAT/UNSAT): 48575(50/48525)
Jun 01, 2017 2:54:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/3728 took 8265 ms. Total solver calls (SAT/UNSAT): 56347(58/56289)
Jun 01, 2017 2:54:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/3728 took 9340 ms. Total solver calls (SAT/UNSAT): 64119(66/64053)
Jun 01, 2017 2:54:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/3728 took 10407 ms. Total solver calls (SAT/UNSAT): 71891(74/71817)
Jun 01, 2017 2:54:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/3728 took 11477 ms. Total solver calls (SAT/UNSAT): 79663(82/79581)
Jun 01, 2017 2:54:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/3728 took 12715 ms. Total solver calls (SAT/UNSAT): 87435(90/87345)
Jun 01, 2017 2:54:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/3728 took 13781 ms. Total solver calls (SAT/UNSAT): 95207(98/95109)
Jun 01, 2017 2:54:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/3728 took 14847 ms. Total solver calls (SAT/UNSAT): 102979(106/102873)
Jun 01, 2017 2:54:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/3728 took 15920 ms. Total solver calls (SAT/UNSAT): 110751(114/110637)
Jun 01, 2017 2:54:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/3728 took 17042 ms. Total solver calls (SAT/UNSAT): 118523(122/118401)
Jun 01, 2017 2:54:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/3728 took 18168 ms. Total solver calls (SAT/UNSAT): 126295(130/126165)
Jun 01, 2017 2:54:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/3728 took 19232 ms. Total solver calls (SAT/UNSAT): 134067(138/133929)
Jun 01, 2017 2:54:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/3728 took 20379 ms. Total solver calls (SAT/UNSAT): 141839(146/141693)
Jun 01, 2017 2:54:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/3728 took 21447 ms. Total solver calls (SAT/UNSAT): 149611(154/149457)
Jun 01, 2017 2:54:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/3728 took 22503 ms. Total solver calls (SAT/UNSAT): 157308(163/157145)
Jun 01, 2017 2:54:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/3728 took 23517 ms. Total solver calls (SAT/UNSAT): 164784(175/164609)
Jun 01, 2017 2:54:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/3728 took 24574 ms. Total solver calls (SAT/UNSAT): 172260(187/172073)
Jun 01, 2017 2:54:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/3728 took 25630 ms. Total solver calls (SAT/UNSAT): 179736(199/179537)
Jun 01, 2017 2:54:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/3728 took 26641 ms. Total solver calls (SAT/UNSAT): 187212(211/187001)
Jun 01, 2017 2:54:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/3728 took 27645 ms. Total solver calls (SAT/UNSAT): 194688(223/194465)
Jun 01, 2017 2:54:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/3728 took 28646 ms. Total solver calls (SAT/UNSAT): 202164(235/201929)
Jun 01, 2017 2:54:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :109/3728 took 29885 ms. Total solver calls (SAT/UNSAT): 211509(250/211259)
Jun 01, 2017 2:54:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :113/3728 took 30890 ms. Total solver calls (SAT/UNSAT): 218985(262/218723)
Jun 01, 2017 2:54:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :117/3728 took 31955 ms. Total solver calls (SAT/UNSAT): 226461(274/226187)
Jun 01, 2017 2:54:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :121/3728 took 33005 ms. Total solver calls (SAT/UNSAT): 233937(286/233651)
Jun 01, 2017 2:54:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :125/3728 took 34013 ms. Total solver calls (SAT/UNSAT): 241413(298/241115)
Jun 01, 2017 2:54:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :129/3728 took 35020 ms. Total solver calls (SAT/UNSAT): 248889(310/248579)
Jun 01, 2017 2:54:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :133/3728 took 36020 ms. Total solver calls (SAT/UNSAT): 256365(322/256043)
Jun 01, 2017 2:54:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :138/3728 took 37267 ms. Total solver calls (SAT/UNSAT): 265710(337/265373)
Jun 01, 2017 2:54:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/3728 took 38514 ms. Total solver calls (SAT/UNSAT): 275055(352/274703)
Jun 01, 2017 2:54:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/3728 took 39758 ms. Total solver calls (SAT/UNSAT): 284400(367/284033)
Jun 01, 2017 2:54:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :153/3728 took 41006 ms. Total solver calls (SAT/UNSAT): 293745(382/293363)
Jun 01, 2017 2:55:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :158/3728 took 42252 ms. Total solver calls (SAT/UNSAT): 303090(397/302693)
Jun 01, 2017 2:55:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :163/3728 took 43497 ms. Total solver calls (SAT/UNSAT): 312430(412/312018)
Jun 01, 2017 2:55:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/3728 took 44741 ms. Total solver calls (SAT/UNSAT): 321770(427/321343)
Jun 01, 2017 2:55:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/3728 took 45771 ms. Total solver calls (SAT/UNSAT): 329242(439/328803)
Jun 01, 2017 2:55:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/3728 took 46780 ms. Total solver calls (SAT/UNSAT): 336714(451/336263)
Jun 01, 2017 2:55:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/3728 took 47783 ms. Total solver calls (SAT/UNSAT): 344186(463/343723)
Jun 01, 2017 2:55:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/3728 took 49028 ms. Total solver calls (SAT/UNSAT): 353526(478/353048)
Jun 01, 2017 2:55:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/3728 took 50028 ms. Total solver calls (SAT/UNSAT): 360998(490/360508)
Jun 01, 2017 2:55:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :193/3728 took 51028 ms. Total solver calls (SAT/UNSAT): 368470(502/367968)
Jun 01, 2017 2:55:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/3728 took 52029 ms. Total solver calls (SAT/UNSAT): 375942(514/375428)
Jun 01, 2017 2:55:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :201/3728 took 53039 ms. Total solver calls (SAT/UNSAT): 383414(526/382888)
Jun 01, 2017 2:55:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :205/3728 took 54047 ms. Total solver calls (SAT/UNSAT): 390886(538/390348)
Jun 01, 2017 2:55:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/3728 took 55055 ms. Total solver calls (SAT/UNSAT): 398358(550/397808)
Jun 01, 2017 2:55:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :213/3728 took 56071 ms. Total solver calls (SAT/UNSAT): 405830(562/405268)
Jun 01, 2017 2:55:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :217/3728 took 57073 ms. Total solver calls (SAT/UNSAT): 413302(574/412728)
Jun 01, 2017 2:55:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/3728 took 58322 ms. Total solver calls (SAT/UNSAT): 422642(589/422053)
Jun 01, 2017 2:55:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/3728 took 59323 ms. Total solver calls (SAT/UNSAT): 430114(601/429513)
Jun 01, 2017 2:55:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :230/3728 took 60326 ms. Total solver calls (SAT/UNSAT): 437586(613/436973)
Jun 01, 2017 2:55:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :234/3728 took 61345 ms. Total solver calls (SAT/UNSAT): 445058(625/444433)
Jun 01, 2017 2:55:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :238/3728 took 62352 ms. Total solver calls (SAT/UNSAT): 452530(637/451893)
Jun 01, 2017 2:55:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :242/3728 took 63360 ms. Total solver calls (SAT/UNSAT): 460001(649/459352)
Jun 01, 2017 2:55:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :247/3728 took 64606 ms. Total solver calls (SAT/UNSAT): 469341(664/468677)
Jun 01, 2017 2:55:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/3728 took 65852 ms. Total solver calls (SAT/UNSAT): 478681(679/478002)
Jun 01, 2017 2:55:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :256/3728 took 66852 ms. Total solver calls (SAT/UNSAT): 486153(691/485462)
Jun 01, 2017 2:55:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :261/3728 took 68096 ms. Total solver calls (SAT/UNSAT): 495493(706/494787)
Jun 01, 2017 2:55:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :265/3728 took 69106 ms. Total solver calls (SAT/UNSAT): 502965(718/502247)
Jun 01, 2017 2:55:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :269/3728 took 70112 ms. Total solver calls (SAT/UNSAT): 510437(730/509707)
Jun 01, 2017 2:55:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :273/3728 took 71117 ms. Total solver calls (SAT/UNSAT): 517909(742/517167)
Jun 01, 2017 2:55:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :277/3728 took 72157 ms. Total solver calls (SAT/UNSAT): 525381(754/524627)
Jun 01, 2017 2:55:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :282/3728 took 73400 ms. Total solver calls (SAT/UNSAT): 534721(769/533952)
Jun 01, 2017 2:55:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :287/3728 took 74641 ms. Total solver calls (SAT/UNSAT): 544061(784/543277)
Jun 01, 2017 2:55:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/3728 took 75883 ms. Total solver calls (SAT/UNSAT): 553401(799/552602)
Jun 01, 2017 2:55:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/3728 took 76886 ms. Total solver calls (SAT/UNSAT): 560873(811/560062)
Jun 01, 2017 2:55:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :301/3728 took 78133 ms. Total solver calls (SAT/UNSAT): 570213(826/569387)
Jun 01, 2017 2:55:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :306/3728 took 79376 ms. Total solver calls (SAT/UNSAT): 579553(841/578712)
Jun 01, 2017 2:55:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :311/3728 took 80619 ms. Total solver calls (SAT/UNSAT): 588893(856/588037)
Jun 01, 2017 2:55:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/3728 took 81860 ms. Total solver calls (SAT/UNSAT): 598233(871/597362)
Jun 01, 2017 2:55:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :321/3728 took 83122 ms. Total solver calls (SAT/UNSAT): 607572(886/606686)
Jun 01, 2017 2:55:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :325/3728 took 84123 ms. Total solver calls (SAT/UNSAT): 615044(898/614146)
Jun 01, 2017 2:55:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/3728 took 85164 ms. Total solver calls (SAT/UNSAT): 622516(910/621606)
Jun 01, 2017 2:55:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :333/3728 took 86168 ms. Total solver calls (SAT/UNSAT): 629988(922/629066)
Jun 01, 2017 2:55:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/3728 took 87170 ms. Total solver calls (SAT/UNSAT): 637460(934/636526)
Jun 01, 2017 2:55:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :342/3728 took 88416 ms. Total solver calls (SAT/UNSAT): 646800(949/645851)
Jun 01, 2017 2:55:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/3728 took 89659 ms. Total solver calls (SAT/UNSAT): 656140(964/655176)
Jun 01, 2017 2:55:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/3728 took 90900 ms. Total solver calls (SAT/UNSAT): 665480(979/664501)
Jun 01, 2017 2:55:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/3728 took 92151 ms. Total solver calls (SAT/UNSAT): 674820(994/673826)
Jun 01, 2017 2:55:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :361/3728 took 93153 ms. Total solver calls (SAT/UNSAT): 682292(1006/681286)
Jun 01, 2017 2:55:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/3728 took 94155 ms. Total solver calls (SAT/UNSAT): 689764(1018/688746)
Jun 01, 2017 2:55:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/3728 took 95159 ms. Total solver calls (SAT/UNSAT): 697236(1030/696206)
Jun 01, 2017 2:55:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/3728 took 96404 ms. Total solver calls (SAT/UNSAT): 706576(1045/705531)
Jun 01, 2017 2:55:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/3728 took 97648 ms. Total solver calls (SAT/UNSAT): 715916(1060/714856)
Jun 01, 2017 2:55:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/3728 took 98894 ms. Total solver calls (SAT/UNSAT): 725256(1075/724181)
Jun 01, 2017 2:55:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :389/3728 took 100141 ms. Total solver calls (SAT/UNSAT): 734596(1090/733506)
Jun 01, 2017 2:55:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :393/3728 took 101151 ms. Total solver calls (SAT/UNSAT): 742068(1102/740966)
Jun 01, 2017 2:56:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :397/3728 took 102156 ms. Total solver calls (SAT/UNSAT): 749540(1114/748426)
Jun 01, 2017 2:56:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :401/3728 took 103161 ms. Total solver calls (SAT/UNSAT): 757011(1126/755885)
Jun 01, 2017 2:56:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :406/3728 took 104408 ms. Total solver calls (SAT/UNSAT): 766351(1141/765210)
Jun 01, 2017 2:56:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/3728 took 105654 ms. Total solver calls (SAT/UNSAT): 775691(1156/774535)
Jun 01, 2017 2:56:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/3728 took 106900 ms. Total solver calls (SAT/UNSAT): 785031(1171/783860)
Jun 01, 2017 2:56:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :421/3728 took 108147 ms. Total solver calls (SAT/UNSAT): 794371(1186/793185)
Jun 01, 2017 2:56:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/3728 took 109258 ms. Total solver calls (SAT/UNSAT): 801843(1198/800645)
Jun 01, 2017 2:56:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :429/3728 took 110324 ms. Total solver calls (SAT/UNSAT): 809315(1210/808105)
Jun 01, 2017 2:56:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :433/3728 took 111331 ms. Total solver calls (SAT/UNSAT): 816787(1222/815565)
Jun 01, 2017 2:56:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/3728 took 112395 ms. Total solver calls (SAT/UNSAT): 824259(1234/823025)
Jun 01, 2017 2:56:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :441/3728 took 113536 ms. Total solver calls (SAT/UNSAT): 831731(1246/830485)
Jun 01, 2017 2:56:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :445/3728 took 114675 ms. Total solver calls (SAT/UNSAT): 839203(1258/837945)
Jun 01, 2017 2:56:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :449/3728 took 115809 ms. Total solver calls (SAT/UNSAT): 846675(1270/845405)
Jun 01, 2017 2:56:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :453/3728 took 116816 ms. Total solver calls (SAT/UNSAT): 854147(1282/852865)
Jun 01, 2017 2:56:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/3728 took 117954 ms. Total solver calls (SAT/UNSAT): 861619(1294/860325)
Jun 01, 2017 2:56:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :461/3728 took 118985 ms. Total solver calls (SAT/UNSAT): 869091(1306/867785)
Jun 01, 2017 2:56:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :465/3728 took 120091 ms. Total solver calls (SAT/UNSAT): 876563(1318/875245)
Jun 01, 2017 2:56:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/3728 took 121101 ms. Total solver calls (SAT/UNSAT): 884035(1330/882705)
Jun 01, 2017 2:56:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/3728 took 122106 ms. Total solver calls (SAT/UNSAT): 891507(1342/890165)
Jun 01, 2017 2:56:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/3728 took 123115 ms. Total solver calls (SAT/UNSAT): 898979(1354/897625)
Jun 01, 2017 2:56:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/3728 took 124363 ms. Total solver calls (SAT/UNSAT): 908318(1369/906949)
Jun 01, 2017 2:56:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :487/3728 took 125611 ms. Total solver calls (SAT/UNSAT): 917658(1384/916274)
Jun 01, 2017 2:56:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/3728 took 126613 ms. Total solver calls (SAT/UNSAT): 925130(1396/923734)
Jun 01, 2017 2:56:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/3728 took 127713 ms. Total solver calls (SAT/UNSAT): 932602(1408/931194)
Jun 01, 2017 2:56:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/3728 took 128811 ms. Total solver calls (SAT/UNSAT): 940074(1420/938654)
Jun 01, 2017 2:56:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/3728 took 129832 ms. Total solver calls (SAT/UNSAT): 947546(1432/946114)
Jun 01, 2017 2:56:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/3728 took 130852 ms. Total solver calls (SAT/UNSAT): 955018(1444/953574)
Jun 01, 2017 2:56:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/3728 took 131868 ms. Total solver calls (SAT/UNSAT): 962490(1456/961034)
Jun 01, 2017 2:56:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/3728 took 132920 ms. Total solver calls (SAT/UNSAT): 969962(1468/968494)
Jun 01, 2017 2:56:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/3728 took 133976 ms. Total solver calls (SAT/UNSAT): 977434(1480/975954)
Jun 01, 2017 2:56:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/3728 took 134986 ms. Total solver calls (SAT/UNSAT): 984906(1492/983414)
Jun 01, 2017 2:56:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/3728 took 136280 ms. Total solver calls (SAT/UNSAT): 994246(1507/992739)
Jun 01, 2017 2:56:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/3728 took 137354 ms. Total solver calls (SAT/UNSAT): 1001718(1519/1000199)
Jun 01, 2017 2:56:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/3728 took 138412 ms. Total solver calls (SAT/UNSAT): 1009190(1531/1007659)
Jun 01, 2017 2:56:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/3728 took 139424 ms. Total solver calls (SAT/UNSAT): 1016662(1543/1015119)
Jun 01, 2017 2:56:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/3728 took 140425 ms. Total solver calls (SAT/UNSAT): 1024134(1555/1022579)
Jun 01, 2017 2:56:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/3728 took 141507 ms. Total solver calls (SAT/UNSAT): 1031606(1567/1030039)
Jun 01, 2017 2:56:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/3728 took 142542 ms. Total solver calls (SAT/UNSAT): 1039078(1579/1037499)
Jun 01, 2017 2:56:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/3728 took 143549 ms. Total solver calls (SAT/UNSAT): 1046550(1591/1044959)
Jun 01, 2017 2:56:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/3728 took 144796 ms. Total solver calls (SAT/UNSAT): 1055889(1606/1054283)
Jun 01, 2017 2:56:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :565/3728 took 145802 ms. Total solver calls (SAT/UNSAT): 1063361(1618/1061743)
Jun 01, 2017 2:56:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/3728 took 146848 ms. Total solver calls (SAT/UNSAT): 1070833(1630/1069203)
Jun 01, 2017 2:56:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/3728 took 148094 ms. Total solver calls (SAT/UNSAT): 1080173(1645/1078528)
Jun 01, 2017 2:56:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/3728 took 149337 ms. Total solver calls (SAT/UNSAT): 1089513(1660/1087853)
Jun 01, 2017 2:56:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/3728 took 150584 ms. Total solver calls (SAT/UNSAT): 1098853(1675/1097178)
Jun 01, 2017 2:56:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/3728 took 151826 ms. Total solver calls (SAT/UNSAT): 1108193(1690/1106503)
Jun 01, 2017 2:56:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :594/3728 took 153070 ms. Total solver calls (SAT/UNSAT): 1117533(1705/1115828)
Jun 01, 2017 2:56:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :599/3728 took 154315 ms. Total solver calls (SAT/UNSAT): 1126873(1720/1125153)
Jun 01, 2017 2:56:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :604/3728 took 155557 ms. Total solver calls (SAT/UNSAT): 1136213(1735/1134478)
Jun 01, 2017 2:56:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :609/3728 took 156799 ms. Total solver calls (SAT/UNSAT): 1145553(1750/1143803)
Jun 01, 2017 2:56:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :614/3728 took 158042 ms. Total solver calls (SAT/UNSAT): 1154893(1765/1153128)
Jun 01, 2017 2:56:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :619/3728 took 159280 ms. Total solver calls (SAT/UNSAT): 1164233(1780/1162453)
Jun 01, 2017 2:56:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :624/3728 took 160519 ms. Total solver calls (SAT/UNSAT): 1173573(1795/1171778)
Jun 01, 2017 2:57:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :629/3728 took 161758 ms. Total solver calls (SAT/UNSAT): 1182913(1810/1181103)
Jun 01, 2017 2:57:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :634/3728 took 162998 ms. Total solver calls (SAT/UNSAT): 1192253(1825/1190428)
Jun 01, 2017 2:57:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :638/3728 took 164042 ms. Total solver calls (SAT/UNSAT): 1199725(1837/1197888)
Jun 01, 2017 2:57:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :642/3728 took 165103 ms. Total solver calls (SAT/UNSAT): 1207196(1849/1205347)
Jun 01, 2017 2:57:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :646/3728 took 166103 ms. Total solver calls (SAT/UNSAT): 1214668(1861/1212807)
Jun 01, 2017 2:57:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :651/3728 took 167349 ms. Total solver calls (SAT/UNSAT): 1224008(1876/1222132)
Jun 01, 2017 2:57:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :656/3728 took 168594 ms. Total solver calls (SAT/UNSAT): 1233348(1891/1231457)
Jun 01, 2017 2:57:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :661/3728 took 169840 ms. Total solver calls (SAT/UNSAT): 1242688(1906/1240782)
Jun 01, 2017 2:57:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :665/3728 took 170842 ms. Total solver calls (SAT/UNSAT): 1250160(1918/1248242)
Jun 01, 2017 2:57:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :669/3728 took 171843 ms. Total solver calls (SAT/UNSAT): 1257632(1930/1255702)
Jun 01, 2017 2:57:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :674/3728 took 173084 ms. Total solver calls (SAT/UNSAT): 1266972(1945/1265027)
Jun 01, 2017 2:57:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :679/3728 took 174324 ms. Total solver calls (SAT/UNSAT): 1276312(1960/1274352)
Jun 01, 2017 2:57:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :684/3728 took 175567 ms. Total solver calls (SAT/UNSAT): 1285652(1975/1283677)
Jun 01, 2017 2:57:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :688/3728 took 176570 ms. Total solver calls (SAT/UNSAT): 1293124(1987/1291137)
Jun 01, 2017 2:57:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :692/3728 took 177633 ms. Total solver calls (SAT/UNSAT): 1300596(1999/1298597)
Jun 01, 2017 2:57:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :696/3728 took 178653 ms. Total solver calls (SAT/UNSAT): 1308068(2011/1306057)
Jun 01, 2017 2:57:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :700/3728 took 179668 ms. Total solver calls (SAT/UNSAT): 1315540(2023/1313517)
Jun 01, 2017 2:57:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :704/3728 took 180678 ms. Total solver calls (SAT/UNSAT): 1323012(2035/1320977)
Jun 01, 2017 2:57:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :708/3728 took 181691 ms. Total solver calls (SAT/UNSAT): 1330484(2047/1328437)
Jun 01, 2017 2:57:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :712/3728 took 182748 ms. Total solver calls (SAT/UNSAT): 1337956(2059/1335897)
Jun 01, 2017 2:57:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :716/3728 took 183809 ms. Total solver calls (SAT/UNSAT): 1345428(2071/1343357)
Jun 01, 2017 2:57:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :720/3728 took 184862 ms. Total solver calls (SAT/UNSAT): 1352899(2083/1350816)
Jun 01, 2017 2:57:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :724/3728 took 185863 ms. Total solver calls (SAT/UNSAT): 1360371(2095/1358276)
Jun 01, 2017 2:57:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :728/3728 took 186949 ms. Total solver calls (SAT/UNSAT): 1367843(2107/1365736)
Jun 01, 2017 2:57:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :733/3728 took 188192 ms. Total solver calls (SAT/UNSAT): 1377183(2122/1375061)
Jun 01, 2017 2:57:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :738/3728 took 189443 ms. Total solver calls (SAT/UNSAT): 1386523(2137/1384386)
Jun 01, 2017 2:57:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :742/3728 took 190447 ms. Total solver calls (SAT/UNSAT): 1393995(2149/1391846)
Jun 01, 2017 2:57:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :746/3728 took 191450 ms. Total solver calls (SAT/UNSAT): 1401467(2161/1399306)
Jun 01, 2017 2:57:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :750/3728 took 192514 ms. Total solver calls (SAT/UNSAT): 1408939(2173/1406766)
Jun 01, 2017 2:57:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :755/3728 took 193761 ms. Total solver calls (SAT/UNSAT): 1418279(2188/1416091)
Jun 01, 2017 2:57:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :759/3728 took 194762 ms. Total solver calls (SAT/UNSAT): 1425751(2200/1423551)
Jun 01, 2017 2:57:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :763/3728 took 195773 ms. Total solver calls (SAT/UNSAT): 1433223(2212/1431011)
Jun 01, 2017 2:57:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :767/3728 took 196776 ms. Total solver calls (SAT/UNSAT): 1440695(2224/1438471)
Jun 01, 2017 2:57:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :771/3728 took 197779 ms. Total solver calls (SAT/UNSAT): 1448167(2236/1445931)
Jun 01, 2017 2:57:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :775/3728 took 198786 ms. Total solver calls (SAT/UNSAT): 1455639(2248/1453391)
Jun 01, 2017 2:57:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :779/3728 took 199787 ms. Total solver calls (SAT/UNSAT): 1463111(2260/1460851)
Jun 01, 2017 2:57:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :783/3728 took 200800 ms. Total solver calls (SAT/UNSAT): 1470583(2272/1468311)
Jun 01, 2017 2:57:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :787/3728 took 201800 ms. Total solver calls (SAT/UNSAT): 1478055(2284/1475771)
Jun 01, 2017 2:57:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :791/3728 took 203027 ms. Total solver calls (SAT/UNSAT): 1485527(2296/1483231)
Jun 01, 2017 2:57:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :795/3728 took 204052 ms. Total solver calls (SAT/UNSAT): 1492999(2308/1490691)
Jun 01, 2017 2:57:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :799/3728 took 205075 ms. Total solver calls (SAT/UNSAT): 1500471(2320/1498151)
Jun 01, 2017 2:57:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :803/3728 took 206103 ms. Total solver calls (SAT/UNSAT): 1507942(2332/1505610)
Jun 01, 2017 2:57:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :807/3728 took 207128 ms. Total solver calls (SAT/UNSAT): 1515414(2344/1513070)
Jun 01, 2017 2:57:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :811/3728 took 208153 ms. Total solver calls (SAT/UNSAT): 1522886(2356/1520530)
Jun 01, 2017 2:57:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :815/3728 took 209177 ms. Total solver calls (SAT/UNSAT): 1530358(2368/1527990)
Jun 01, 2017 2:57:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :819/3728 took 210201 ms. Total solver calls (SAT/UNSAT): 1537830(2380/1535450)
Jun 01, 2017 2:57:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :823/3728 took 211227 ms. Total solver calls (SAT/UNSAT): 1545302(2392/1542910)
Jun 01, 2017 2:57:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :827/3728 took 212256 ms. Total solver calls (SAT/UNSAT): 1552774(2404/1550370)
Jun 01, 2017 2:57:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :831/3728 took 213282 ms. Total solver calls (SAT/UNSAT): 1560246(2416/1557830)
Jun 01, 2017 2:57:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :835/3728 took 214313 ms. Total solver calls (SAT/UNSAT): 1567718(2428/1565290)
Jun 01, 2017 2:57:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :839/3728 took 215337 ms. Total solver calls (SAT/UNSAT): 1575190(2440/1572750)
Jun 01, 2017 2:57:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :843/3728 took 216364 ms. Total solver calls (SAT/UNSAT): 1582662(2452/1580210)
Jun 01, 2017 2:57:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :847/3728 took 217389 ms. Total solver calls (SAT/UNSAT): 1590134(2464/1587670)
Jun 01, 2017 2:57:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :851/3728 took 218414 ms. Total solver calls (SAT/UNSAT): 1597606(2476/1595130)
Jun 01, 2017 2:57:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :855/3728 took 219438 ms. Total solver calls (SAT/UNSAT): 1605078(2488/1602590)
Jun 01, 2017 2:57:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :859/3728 took 220465 ms. Total solver calls (SAT/UNSAT): 1612550(2500/1610050)
Jun 01, 2017 2:58:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :863/3728 took 221496 ms. Total solver calls (SAT/UNSAT): 1620022(2512/1617510)
Jun 01, 2017 2:58:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :867/3728 took 222525 ms. Total solver calls (SAT/UNSAT): 1627494(2524/1624970)
Jun 01, 2017 2:58:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :871/3728 took 223552 ms. Total solver calls (SAT/UNSAT): 1634966(2536/1632430)
Jun 01, 2017 2:58:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :875/3728 took 224579 ms. Total solver calls (SAT/UNSAT): 1642438(2548/1639890)
Jun 01, 2017 2:58:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :879/3728 took 225620 ms. Total solver calls (SAT/UNSAT): 1649910(2560/1647350)
Jun 01, 2017 2:58:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :883/3728 took 226648 ms. Total solver calls (SAT/UNSAT): 1657381(2572/1654809)
Jun 01, 2017 2:58:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :887/3728 took 227676 ms. Total solver calls (SAT/UNSAT): 1664853(2584/1662269)
Jun 01, 2017 2:58:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :891/3728 took 228697 ms. Total solver calls (SAT/UNSAT): 1672325(2596/1669729)
Jun 01, 2017 2:58:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :895/3728 took 229727 ms. Total solver calls (SAT/UNSAT): 1679797(2608/1677189)
Jun 01, 2017 2:58:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :899/3728 took 230756 ms. Total solver calls (SAT/UNSAT): 1687269(2620/1684649)
Jun 01, 2017 2:58:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :903/3728 took 231782 ms. Total solver calls (SAT/UNSAT): 1694741(2632/1692109)
Jun 01, 2017 2:58:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :907/3728 took 232802 ms. Total solver calls (SAT/UNSAT): 1702213(2644/1699569)
Jun 01, 2017 2:58:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :911/3728 took 233835 ms. Total solver calls (SAT/UNSAT): 1709685(2656/1707029)
Jun 01, 2017 2:58:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :915/3728 took 234867 ms. Total solver calls (SAT/UNSAT): 1717157(2668/1714489)
Jun 01, 2017 2:58:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :919/3728 took 235895 ms. Total solver calls (SAT/UNSAT): 1724629(2680/1721949)
Jun 01, 2017 2:58:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :923/3728 took 236915 ms. Total solver calls (SAT/UNSAT): 1732101(2692/1729409)
Jun 01, 2017 2:58:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :927/3728 took 237945 ms. Total solver calls (SAT/UNSAT): 1739573(2704/1736869)
Jun 01, 2017 2:58:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :931/3728 took 239058 ms. Total solver calls (SAT/UNSAT): 1747045(2716/1744329)
Jun 01, 2017 2:58:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :935/3728 took 240062 ms. Total solver calls (SAT/UNSAT): 1754517(2728/1751789)
Jun 01, 2017 2:58:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :939/3728 took 241164 ms. Total solver calls (SAT/UNSAT): 1761989(2740/1759249)
Jun 01, 2017 2:58:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :943/3728 took 242207 ms. Total solver calls (SAT/UNSAT): 1769461(2752/1766709)
Jun 01, 2017 2:58:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :947/3728 took 243236 ms. Total solver calls (SAT/UNSAT): 1776933(2764/1774169)
Jun 01, 2017 2:58:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :951/3728 took 244258 ms. Total solver calls (SAT/UNSAT): 1784405(2776/1781629)
Jun 01, 2017 2:58:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :955/3728 took 245324 ms. Total solver calls (SAT/UNSAT): 1791877(2788/1789089)
Jun 01, 2017 2:58:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :959/3728 took 246342 ms. Total solver calls (SAT/UNSAT): 1799349(2800/1796549)
Jun 01, 2017 2:58:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :963/3728 took 247349 ms. Total solver calls (SAT/UNSAT): 1806820(2812/1804008)
Jun 01, 2017 2:58:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :967/3728 took 248356 ms. Total solver calls (SAT/UNSAT): 1814292(2824/1811468)
Jun 01, 2017 2:58:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :971/3728 took 249369 ms. Total solver calls (SAT/UNSAT): 1821764(2836/1818928)
Jun 01, 2017 2:58:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :975/3728 took 250375 ms. Total solver calls (SAT/UNSAT): 1829236(2848/1826388)
Jun 01, 2017 2:58:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :979/3728 took 251379 ms. Total solver calls (SAT/UNSAT): 1836708(2860/1833848)
Jun 01, 2017 2:58:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :983/3728 took 252383 ms. Total solver calls (SAT/UNSAT): 1844180(2872/1841308)
Jun 01, 2017 2:58:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :987/3728 took 253392 ms. Total solver calls (SAT/UNSAT): 1851652(2884/1848768)
Jun 01, 2017 2:58:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :991/3728 took 254395 ms. Total solver calls (SAT/UNSAT): 1859124(2896/1856228)
Jun 01, 2017 2:58:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :995/3728 took 255397 ms. Total solver calls (SAT/UNSAT): 1866596(2908/1863688)
Jun 01, 2017 2:58:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :999/3728 took 256400 ms. Total solver calls (SAT/UNSAT): 1874068(2920/1871148)
Jun 01, 2017 2:58:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1003/3728 took 257400 ms. Total solver calls (SAT/UNSAT): 1881540(2932/1878608)
Jun 01, 2017 2:58:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1007/3728 took 258400 ms. Total solver calls (SAT/UNSAT): 1889012(2944/1886068)
Jun 01, 2017 2:58:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1011/3728 took 259410 ms. Total solver calls (SAT/UNSAT): 1896484(2956/1893528)
Jun 01, 2017 2:58:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1015/3728 took 260415 ms. Total solver calls (SAT/UNSAT): 1903956(2968/1900988)
Jun 01, 2017 2:58:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1019/3728 took 261417 ms. Total solver calls (SAT/UNSAT): 1911428(2980/1908448)
Jun 01, 2017 2:58:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1023/3728 took 262424 ms. Total solver calls (SAT/UNSAT): 1918900(2992/1915908)
Jun 01, 2017 2:58:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1027/3728 took 263426 ms. Total solver calls (SAT/UNSAT): 1926372(3004/1923368)
Jun 01, 2017 2:58:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1031/3728 took 264429 ms. Total solver calls (SAT/UNSAT): 1933844(3016/1930828)
Jun 01, 2017 2:58:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1035/3728 took 265439 ms. Total solver calls (SAT/UNSAT): 1941316(3028/1938288)
Jun 01, 2017 2:58:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1039/3728 took 266446 ms. Total solver calls (SAT/UNSAT): 1948788(3040/1945748)
Jun 01, 2017 2:58:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1043/3728 took 267450 ms. Total solver calls (SAT/UNSAT): 1956259(3052/1953207)
Jun 01, 2017 2:58:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1047/3728 took 268459 ms. Total solver calls (SAT/UNSAT): 1963731(3064/1960667)
Jun 01, 2017 2:58:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1051/3728 took 269471 ms. Total solver calls (SAT/UNSAT): 1971203(3076/1968127)
Jun 01, 2017 2:58:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1055/3728 took 270480 ms. Total solver calls (SAT/UNSAT): 1978675(3088/1975587)
Jun 01, 2017 2:58:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1059/3728 took 271494 ms. Total solver calls (SAT/UNSAT): 1986147(3100/1983047)
Jun 01, 2017 2:58:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1063/3728 took 272594 ms. Total solver calls (SAT/UNSAT): 1993619(3112/1990507)
Jun 01, 2017 2:58:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1067/3728 took 273614 ms. Total solver calls (SAT/UNSAT): 2001091(3124/1997967)
Jun 01, 2017 2:58:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1071/3728 took 274619 ms. Total solver calls (SAT/UNSAT): 2008563(3136/2005427)
Jun 01, 2017 2:58:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1075/3728 took 275625 ms. Total solver calls (SAT/UNSAT): 2016035(3148/2012887)
Jun 01, 2017 2:58:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1079/3728 took 276638 ms. Total solver calls (SAT/UNSAT): 2023507(3160/2020347)
Jun 01, 2017 2:58:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1083/3728 took 277652 ms. Total solver calls (SAT/UNSAT): 2030979(3172/2027807)
Jun 01, 2017 2:58:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1087/3728 took 278663 ms. Total solver calls (SAT/UNSAT): 2038451(3184/2035267)
Jun 01, 2017 2:58:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1091/3728 took 279676 ms. Total solver calls (SAT/UNSAT): 2045923(3196/2042727)
Jun 01, 2017 2:58:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1095/3728 took 280678 ms. Total solver calls (SAT/UNSAT): 2053395(3208/2050187)
Jun 01, 2017 2:59:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1099/3728 took 281686 ms. Total solver calls (SAT/UNSAT): 2060867(3220/2057647)
Jun 01, 2017 2:59:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1103/3728 took 282698 ms. Total solver calls (SAT/UNSAT): 2068339(3232/2065107)
Jun 01, 2017 2:59:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1107/3728 took 283711 ms. Total solver calls (SAT/UNSAT): 2075811(3244/2072567)
Jun 01, 2017 2:59:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1111/3728 took 284723 ms. Total solver calls (SAT/UNSAT): 2083283(3256/2080027)
Jun 01, 2017 2:59:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1115/3728 took 285737 ms. Total solver calls (SAT/UNSAT): 2090755(3268/2087487)
Jun 01, 2017 2:59:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1119/3728 took 286754 ms. Total solver calls (SAT/UNSAT): 2098227(3280/2094947)
Jun 01, 2017 2:59:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1123/3728 took 287765 ms. Total solver calls (SAT/UNSAT): 2105698(3292/2102406)
Jun 01, 2017 2:59:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1127/3728 took 288779 ms. Total solver calls (SAT/UNSAT): 2113170(3304/2109866)
Jun 01, 2017 2:59:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1131/3728 took 289790 ms. Total solver calls (SAT/UNSAT): 2120642(3316/2117326)
Jun 01, 2017 2:59:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1135/3728 took 290806 ms. Total solver calls (SAT/UNSAT): 2128114(3328/2124786)
Jun 01, 2017 2:59:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1139/3728 took 291815 ms. Total solver calls (SAT/UNSAT): 2135586(3340/2132246)
Jun 01, 2017 2:59:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1143/3728 took 292828 ms. Total solver calls (SAT/UNSAT): 2143058(3352/2139706)
Jun 01, 2017 2:59:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1147/3728 took 293833 ms. Total solver calls (SAT/UNSAT): 2150530(3364/2147166)
Jun 01, 2017 2:59:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1151/3728 took 294839 ms. Total solver calls (SAT/UNSAT): 2158002(3376/2154626)
Jun 01, 2017 2:59:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1155/3728 took 295851 ms. Total solver calls (SAT/UNSAT): 2165474(3388/2162086)
Jun 01, 2017 2:59:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1159/3728 took 296863 ms. Total solver calls (SAT/UNSAT): 2172946(3400/2169546)
Jun 01, 2017 2:59:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1163/3728 took 297880 ms. Total solver calls (SAT/UNSAT): 2180418(3412/2177006)
Jun 01, 2017 2:59:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1167/3728 took 298903 ms. Total solver calls (SAT/UNSAT): 2187890(3424/2184466)
Jun 01, 2017 2:59:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1171/3728 took 299913 ms. Total solver calls (SAT/UNSAT): 2195362(3436/2191926)
Jun 01, 2017 2:59:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1175/3728 took 300924 ms. Total solver calls (SAT/UNSAT): 2202834(3448/2199386)
Jun 01, 2017 2:59:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1179/3728 took 301936 ms. Total solver calls (SAT/UNSAT): 2210306(3460/2206846)
Jun 01, 2017 2:59:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1183/3728 took 302954 ms. Total solver calls (SAT/UNSAT): 2217778(3472/2214306)
Jun 01, 2017 2:59:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1187/3728 took 303964 ms. Total solver calls (SAT/UNSAT): 2225250(3484/2221766)
Jun 01, 2017 2:59:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1191/3728 took 304979 ms. Total solver calls (SAT/UNSAT): 2232722(3496/2229226)
Jun 01, 2017 2:59:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1195/3728 took 305992 ms. Total solver calls (SAT/UNSAT): 2240194(3508/2236686)
Jun 01, 2017 2:59:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1199/3728 took 307009 ms. Total solver calls (SAT/UNSAT): 2247666(3520/2244146)
Jun 01, 2017 2:59:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1203/3728 took 308026 ms. Total solver calls (SAT/UNSAT): 2255137(3532/2251605)
Jun 01, 2017 2:59:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1207/3728 took 309082 ms. Total solver calls (SAT/UNSAT): 2262609(3544/2259065)
Jun 01, 2017 2:59:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1211/3728 took 310119 ms. Total solver calls (SAT/UNSAT): 2270081(3556/2266525)
Jun 01, 2017 2:59:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1215/3728 took 311151 ms. Total solver calls (SAT/UNSAT): 2277553(3568/2273985)
Jun 01, 2017 2:59:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1219/3728 took 312187 ms. Total solver calls (SAT/UNSAT): 2285025(3580/2281445)
Jun 01, 2017 2:59:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1223/3728 took 313225 ms. Total solver calls (SAT/UNSAT): 2292497(3592/2288905)
Jun 01, 2017 2:59:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1227/3728 took 314257 ms. Total solver calls (SAT/UNSAT): 2299969(3604/2296365)
Jun 01, 2017 2:59:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1231/3728 took 315303 ms. Total solver calls (SAT/UNSAT): 2307441(3616/2303825)
Jun 01, 2017 2:59:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1235/3728 took 316332 ms. Total solver calls (SAT/UNSAT): 2314913(3628/2311285)
Jun 01, 2017 2:59:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1239/3728 took 317365 ms. Total solver calls (SAT/UNSAT): 2322385(3640/2318745)
Jun 01, 2017 2:59:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1243/3728 took 318400 ms. Total solver calls (SAT/UNSAT): 2329857(3652/2326205)
Jun 01, 2017 2:59:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1247/3728 took 319436 ms. Total solver calls (SAT/UNSAT): 2337329(3664/2333665)
Jun 01, 2017 2:59:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1251/3728 took 320497 ms. Total solver calls (SAT/UNSAT): 2344801(3676/2341125)
Jun 01, 2017 2:59:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1255/3728 took 321509 ms. Total solver calls (SAT/UNSAT): 2352273(3688/2348585)
Jun 01, 2017 2:59:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1259/3728 took 322518 ms. Total solver calls (SAT/UNSAT): 2359745(3700/2356045)
Jun 01, 2017 2:59:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1263/3728 took 323526 ms. Total solver calls (SAT/UNSAT): 2367217(3712/2363505)
Jun 01, 2017 2:59:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1267/3728 took 324528 ms. Total solver calls (SAT/UNSAT): 2374689(3724/2370965)
Jun 01, 2017 2:59:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1271/3728 took 325528 ms. Total solver calls (SAT/UNSAT): 2382161(3736/2378425)
Jun 01, 2017 2:59:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1275/3728 took 326530 ms. Total solver calls (SAT/UNSAT): 2389633(3748/2385885)
Jun 01, 2017 2:59:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1279/3728 took 327530 ms. Total solver calls (SAT/UNSAT): 2397105(3760/2393345)
Jun 01, 2017 2:59:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1283/3728 took 328531 ms. Total solver calls (SAT/UNSAT): 2404576(3772/2400804)
Jun 01, 2017 2:59:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1287/3728 took 329533 ms. Total solver calls (SAT/UNSAT): 2412048(3784/2408264)
Jun 01, 2017 2:59:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1291/3728 took 330536 ms. Total solver calls (SAT/UNSAT): 2419520(3796/2415724)
Jun 01, 2017 2:59:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1296/3728 took 331787 ms. Total solver calls (SAT/UNSAT): 2428860(3811/2425049)
Jun 01, 2017 2:59:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1301/3728 took 333034 ms. Total solver calls (SAT/UNSAT): 2438200(3826/2434374)
Jun 01, 2017 2:59:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1305/3728 took 334035 ms. Total solver calls (SAT/UNSAT): 2445672(3838/2441834)
Jun 01, 2017 2:59:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1309/3728 took 335036 ms. Total solver calls (SAT/UNSAT): 2453144(3850/2449294)
Jun 01, 2017 2:59:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1313/3728 took 336040 ms. Total solver calls (SAT/UNSAT): 2460616(3862/2456754)
Jun 01, 2017 2:59:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1317/3728 took 337043 ms. Total solver calls (SAT/UNSAT): 2468088(3874/2464214)
Jun 01, 2017 2:59:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1321/3728 took 338052 ms. Total solver calls (SAT/UNSAT): 2475560(3886/2471674)
Jun 01, 2017 2:59:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1325/3728 took 339064 ms. Total solver calls (SAT/UNSAT): 2483032(3898/2479134)
Jun 01, 2017 2:59:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1329/3728 took 340071 ms. Total solver calls (SAT/UNSAT): 2490504(3910/2486594)
Jun 01, 2017 2:59:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1333/3728 took 341077 ms. Total solver calls (SAT/UNSAT): 2497976(3922/2494054)
Jun 01, 2017 3:00:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1337/3728 took 342089 ms. Total solver calls (SAT/UNSAT): 2505448(3934/2501514)
Jun 01, 2017 3:00:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1341/3728 took 343099 ms. Total solver calls (SAT/UNSAT): 2512920(3946/2508974)
Jun 01, 2017 3:00:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1345/3728 took 344105 ms. Total solver calls (SAT/UNSAT): 2520392(3958/2516434)
Jun 01, 2017 3:00:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1349/3728 took 345109 ms. Total solver calls (SAT/UNSAT): 2527864(3970/2523894)
Jun 01, 2017 3:00:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1353/3728 took 346123 ms. Total solver calls (SAT/UNSAT): 2535336(3982/2531354)
Jun 01, 2017 3:00:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1357/3728 took 347146 ms. Total solver calls (SAT/UNSAT): 2542808(3994/2538814)
Jun 01, 2017 3:00:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1361/3728 took 348151 ms. Total solver calls (SAT/UNSAT): 2550279(4006/2546273)
Jun 01, 2017 3:00:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1365/3728 took 349159 ms. Total solver calls (SAT/UNSAT): 2557751(4018/2553733)
Jun 01, 2017 3:00:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1369/3728 took 350172 ms. Total solver calls (SAT/UNSAT): 2565223(4030/2561193)
Jun 01, 2017 3:00:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1373/3728 took 351182 ms. Total solver calls (SAT/UNSAT): 2572695(4042/2568653)
Jun 01, 2017 3:00:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1377/3728 took 352183 ms. Total solver calls (SAT/UNSAT): 2580167(4054/2576113)
Jun 01, 2017 3:00:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1381/3728 took 353198 ms. Total solver calls (SAT/UNSAT): 2587639(4066/2583573)
Jun 01, 2017 3:00:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1385/3728 took 354206 ms. Total solver calls (SAT/UNSAT): 2595111(4078/2591033)
Jun 01, 2017 3:00:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1389/3728 took 355217 ms. Total solver calls (SAT/UNSAT): 2602583(4090/2598493)
Jun 01, 2017 3:00:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1393/3728 took 356221 ms. Total solver calls (SAT/UNSAT): 2610055(4102/2605953)
Jun 01, 2017 3:00:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1397/3728 took 357224 ms. Total solver calls (SAT/UNSAT): 2617527(4114/2613413)
Jun 01, 2017 3:00:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1401/3728 took 358228 ms. Total solver calls (SAT/UNSAT): 2624999(4126/2620873)
Jun 01, 2017 3:00:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1405/3728 took 359239 ms. Total solver calls (SAT/UNSAT): 2632471(4138/2628333)
Jun 01, 2017 3:00:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1409/3728 took 360242 ms. Total solver calls (SAT/UNSAT): 2639943(4150/2635793)
Jun 01, 2017 3:00:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1413/3728 took 361247 ms. Total solver calls (SAT/UNSAT): 2647415(4162/2643253)
Jun 01, 2017 3:00:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1417/3728 took 362256 ms. Total solver calls (SAT/UNSAT): 2654887(4174/2650713)
Jun 01, 2017 3:00:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1421/3728 took 363274 ms. Total solver calls (SAT/UNSAT): 2662359(4186/2658173)
Jun 01, 2017 3:00:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1425/3728 took 364280 ms. Total solver calls (SAT/UNSAT): 2669831(4198/2665633)
Jun 01, 2017 3:00:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1429/3728 took 365296 ms. Total solver calls (SAT/UNSAT): 2677303(4210/2673093)
Jun 01, 2017 3:00:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1433/3728 took 366305 ms. Total solver calls (SAT/UNSAT): 2684775(4222/2680553)
Jun 01, 2017 3:00:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1437/3728 took 367358 ms. Total solver calls (SAT/UNSAT): 2692247(4234/2688013)
Jun 01, 2017 3:00:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1441/3728 took 368365 ms. Total solver calls (SAT/UNSAT): 2699718(4246/2695472)
Jun 01, 2017 3:00:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1445/3728 took 369377 ms. Total solver calls (SAT/UNSAT): 2707190(4258/2702932)
Jun 01, 2017 3:00:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1449/3728 took 370389 ms. Total solver calls (SAT/UNSAT): 2714662(4270/2710392)
Jun 01, 2017 3:00:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1453/3728 took 371398 ms. Total solver calls (SAT/UNSAT): 2722134(4282/2717852)
Jun 01, 2017 3:00:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1457/3728 took 372399 ms. Total solver calls (SAT/UNSAT): 2729606(4294/2725312)
Jun 01, 2017 3:00:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1461/3728 took 373402 ms. Total solver calls (SAT/UNSAT): 2737078(4306/2732772)
Jun 01, 2017 3:00:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1465/3728 took 374404 ms. Total solver calls (SAT/UNSAT): 2744550(4318/2740232)
Jun 01, 2017 3:00:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1469/3728 took 375410 ms. Total solver calls (SAT/UNSAT): 2752022(4330/2747692)
Jun 01, 2017 3:00:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1473/3728 took 376419 ms. Total solver calls (SAT/UNSAT): 2759494(4342/2755152)
Jun 01, 2017 3:00:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1477/3728 took 377434 ms. Total solver calls (SAT/UNSAT): 2766966(4354/2762612)
Jun 01, 2017 3:00:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1481/3728 took 378453 ms. Total solver calls (SAT/UNSAT): 2774438(4366/2770072)
Jun 01, 2017 3:00:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1485/3728 took 379465 ms. Total solver calls (SAT/UNSAT): 2781910(4378/2777532)
Jun 01, 2017 3:00:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1489/3728 took 380470 ms. Total solver calls (SAT/UNSAT): 2789382(4390/2784992)
Jun 01, 2017 3:00:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1493/3728 took 381485 ms. Total solver calls (SAT/UNSAT): 2796854(4402/2792452)
Jun 01, 2017 3:00:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1497/3728 took 382501 ms. Total solver calls (SAT/UNSAT): 2804326(4414/2799912)
Jun 01, 2017 3:00:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1501/3728 took 383519 ms. Total solver calls (SAT/UNSAT): 2811798(4426/2807372)
Jun 01, 2017 3:00:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1505/3728 took 384528 ms. Total solver calls (SAT/UNSAT): 2819270(4438/2814832)
Jun 01, 2017 3:00:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1509/3728 took 385543 ms. Total solver calls (SAT/UNSAT): 2826742(4450/2822292)
Jun 01, 2017 3:00:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1513/3728 took 386554 ms. Total solver calls (SAT/UNSAT): 2834214(4462/2829752)
Jun 01, 2017 3:00:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1517/3728 took 387566 ms. Total solver calls (SAT/UNSAT): 2841686(4474/2837212)
Jun 01, 2017 3:00:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1521/3728 took 388575 ms. Total solver calls (SAT/UNSAT): 2849157(4486/2844671)
Jun 01, 2017 3:00:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1525/3728 took 389582 ms. Total solver calls (SAT/UNSAT): 2856629(4498/2852131)
Jun 01, 2017 3:00:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1529/3728 took 390599 ms. Total solver calls (SAT/UNSAT): 2864101(4510/2859591)
Jun 01, 2017 3:00:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1533/3728 took 391607 ms. Total solver calls (SAT/UNSAT): 2871573(4522/2867051)
Jun 01, 2017 3:00:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1537/3728 took 392622 ms. Total solver calls (SAT/UNSAT): 2879045(4534/2874511)
Jun 01, 2017 3:00:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1541/3728 took 393631 ms. Total solver calls (SAT/UNSAT): 2886517(4546/2881971)
Jun 01, 2017 3:00:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1545/3728 took 394638 ms. Total solver calls (SAT/UNSAT): 2893989(4558/2889431)
Jun 01, 2017 3:00:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1549/3728 took 395644 ms. Total solver calls (SAT/UNSAT): 2901461(4570/2896891)
Jun 01, 2017 3:00:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1553/3728 took 396657 ms. Total solver calls (SAT/UNSAT): 2908933(4582/2904351)
Jun 01, 2017 3:00:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1557/3728 took 397671 ms. Total solver calls (SAT/UNSAT): 2916405(4594/2911811)
Jun 01, 2017 3:00:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1561/3728 took 398683 ms. Total solver calls (SAT/UNSAT): 2923877(4606/2919271)
Jun 01, 2017 3:00:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1565/3728 took 399697 ms. Total solver calls (SAT/UNSAT): 2931349(4618/2926731)
Jun 01, 2017 3:00:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1569/3728 took 400755 ms. Total solver calls (SAT/UNSAT): 2938821(4630/2934191)
Jun 01, 2017 3:01:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1573/3728 took 401774 ms. Total solver calls (SAT/UNSAT): 2946293(4642/2941651)
Jun 01, 2017 3:01:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1577/3728 took 402797 ms. Total solver calls (SAT/UNSAT): 2953765(4654/2949111)
Jun 01, 2017 3:01:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1581/3728 took 403821 ms. Total solver calls (SAT/UNSAT): 2961237(4666/2956571)
Jun 01, 2017 3:01:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1585/3728 took 404843 ms. Total solver calls (SAT/UNSAT): 2968709(4678/2964031)
Jun 01, 2017 3:01:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1589/3728 took 405875 ms. Total solver calls (SAT/UNSAT): 2976181(4690/2971491)
Jun 01, 2017 3:01:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1593/3728 took 406891 ms. Total solver calls (SAT/UNSAT): 2983653(4702/2978951)
Jun 01, 2017 3:01:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1597/3728 took 407906 ms. Total solver calls (SAT/UNSAT): 2991125(4714/2986411)
Jun 01, 2017 3:01:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1601/3728 took 408920 ms. Total solver calls (SAT/UNSAT): 2998596(4726/2993870)
Jun 01, 2017 3:01:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1605/3728 took 409934 ms. Total solver calls (SAT/UNSAT): 3006068(4738/3001330)
Jun 01, 2017 3:01:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1609/3728 took 410948 ms. Total solver calls (SAT/UNSAT): 3013540(4750/3008790)
Jun 01, 2017 3:01:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1613/3728 took 411962 ms. Total solver calls (SAT/UNSAT): 3021012(4762/3016250)
Jun 01, 2017 3:01:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1617/3728 took 412980 ms. Total solver calls (SAT/UNSAT): 3028484(4774/3023710)
Jun 01, 2017 3:01:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1621/3728 took 413997 ms. Total solver calls (SAT/UNSAT): 3035956(4786/3031170)
Jun 01, 2017 3:01:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1625/3728 took 415009 ms. Total solver calls (SAT/UNSAT): 3043428(4798/3038630)
Jun 01, 2017 3:01:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1629/3728 took 416023 ms. Total solver calls (SAT/UNSAT): 3050900(4810/3046090)
Jun 01, 2017 3:01:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1633/3728 took 417039 ms. Total solver calls (SAT/UNSAT): 3058372(4822/3053550)
Jun 01, 2017 3:01:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1637/3728 took 418056 ms. Total solver calls (SAT/UNSAT): 3065844(4834/3061010)
Jun 01, 2017 3:01:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1641/3728 took 419079 ms. Total solver calls (SAT/UNSAT): 3073316(4846/3068470)
Jun 01, 2017 3:01:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1645/3728 took 420090 ms. Total solver calls (SAT/UNSAT): 3080788(4858/3075930)
Jun 01, 2017 3:01:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1649/3728 took 421105 ms. Total solver calls (SAT/UNSAT): 3088260(4870/3083390)
Jun 01, 2017 3:01:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1653/3728 took 422120 ms. Total solver calls (SAT/UNSAT): 3095732(4882/3090850)
Jun 01, 2017 3:01:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1657/3728 took 423135 ms. Total solver calls (SAT/UNSAT): 3103204(4894/3098310)
Jun 01, 2017 3:01:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1661/3728 took 424146 ms. Total solver calls (SAT/UNSAT): 3110676(4906/3105770)
Jun 01, 2017 3:01:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1665/3728 took 425162 ms. Total solver calls (SAT/UNSAT): 3118148(4918/3113230)
Jun 01, 2017 3:01:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1669/3728 took 426177 ms. Total solver calls (SAT/UNSAT): 3125620(4930/3120690)
Jun 01, 2017 3:01:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1673/3728 took 427249 ms. Total solver calls (SAT/UNSAT): 3133092(4942/3128150)
Jun 01, 2017 3:01:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1677/3728 took 428268 ms. Total solver calls (SAT/UNSAT): 3140564(4954/3135610)
Jun 01, 2017 3:01:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1681/3728 took 429695 ms. Total solver calls (SAT/UNSAT): 3151077(4966/3146111)
Jun 01, 2017 3:01:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1684/3728 took 431089 ms. Total solver calls (SAT/UNSAT): 3161244(4975/3156269)
Jun 01, 2017 3:01:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1687/3728 took 432462 ms. Total solver calls (SAT/UNSAT): 3171411(4984/3166427)
Jun 01, 2017 3:01:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1690/3728 took 433839 ms. Total solver calls (SAT/UNSAT): 3181578(4993/3176585)
Jun 01, 2017 3:01:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1693/3728 took 435217 ms. Total solver calls (SAT/UNSAT): 3191745(5002/3186743)
Jun 01, 2017 3:01:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1696/3728 took 436590 ms. Total solver calls (SAT/UNSAT): 3201912(5011/3196901)
Jun 01, 2017 3:01:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1699/3728 took 437989 ms. Total solver calls (SAT/UNSAT): 3212079(5020/3207059)
Jun 01, 2017 3:01:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1702/3728 took 439366 ms. Total solver calls (SAT/UNSAT): 3222246(5029/3217217)
Jun 01, 2017 3:01:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1705/3728 took 440741 ms. Total solver calls (SAT/UNSAT): 3232413(5038/3227375)
Jun 01, 2017 3:01:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1708/3728 took 442136 ms. Total solver calls (SAT/UNSAT): 3242580(5047/3237533)
Jun 01, 2017 3:01:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1711/3728 took 443513 ms. Total solver calls (SAT/UNSAT): 3252747(5056/3247691)
Jun 01, 2017 3:01:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1714/3728 took 444889 ms. Total solver calls (SAT/UNSAT): 3262914(5065/3257849)
Jun 01, 2017 3:01:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1717/3728 took 446272 ms. Total solver calls (SAT/UNSAT): 3273081(5074/3268007)
Jun 01, 2017 3:01:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1720/3728 took 447647 ms. Total solver calls (SAT/UNSAT): 3283248(5083/3278165)
Jun 01, 2017 3:01:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1723/3728 took 449026 ms. Total solver calls (SAT/UNSAT): 3293415(5092/3288323)
Jun 01, 2017 3:01:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1726/3728 took 450408 ms. Total solver calls (SAT/UNSAT): 3303582(5101/3298481)
Jun 01, 2017 3:01:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1729/3728 took 451783 ms. Total solver calls (SAT/UNSAT): 3313749(5110/3308639)
Jun 01, 2017 3:01:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1732/3728 took 453212 ms. Total solver calls (SAT/UNSAT): 3323916(5119/3318797)
Jun 01, 2017 3:01:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1735/3728 took 454590 ms. Total solver calls (SAT/UNSAT): 3334083(5128/3328955)
Jun 01, 2017 3:01:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1738/3728 took 456009 ms. Total solver calls (SAT/UNSAT): 3344250(5137/3339113)
Jun 01, 2017 3:01:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1741/3728 took 457390 ms. Total solver calls (SAT/UNSAT): 3354417(5146/3349271)
Jun 01, 2017 3:01:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1744/3728 took 458769 ms. Total solver calls (SAT/UNSAT): 3364584(5155/3359429)
Jun 01, 2017 3:01:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1747/3728 took 460153 ms. Total solver calls (SAT/UNSAT): 3374751(5164/3369587)
Jun 01, 2017 3:02:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1750/3728 took 461536 ms. Total solver calls (SAT/UNSAT): 3384918(5173/3379745)
Jun 01, 2017 3:02:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1753/3728 took 462927 ms. Total solver calls (SAT/UNSAT): 3395085(5182/3389903)
Jun 01, 2017 3:02:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1756/3728 took 464306 ms. Total solver calls (SAT/UNSAT): 3405252(5191/3400061)
Jun 01, 2017 3:02:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1759/3728 took 465687 ms. Total solver calls (SAT/UNSAT): 3415419(5200/3410219)
Jun 01, 2017 3:02:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1763/3728 took 466696 ms. Total solver calls (SAT/UNSAT): 3422888(5212/3417676)
Jun 01, 2017 3:02:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1767/3728 took 467709 ms. Total solver calls (SAT/UNSAT): 3430356(5224/3425132)
Jun 01, 2017 3:02:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1771/3728 took 468719 ms. Total solver calls (SAT/UNSAT): 3437824(5236/3432588)
Jun 01, 2017 3:02:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1775/3728 took 469727 ms. Total solver calls (SAT/UNSAT): 3445292(5248/3440044)
Jun 01, 2017 3:02:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1779/3728 took 470737 ms. Total solver calls (SAT/UNSAT): 3452760(5260/3447500)
Jun 01, 2017 3:02:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1783/3728 took 471982 ms. Total solver calls (SAT/UNSAT): 3461753(5272/3456481)
Jun 01, 2017 3:02:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1787/3728 took 473060 ms. Total solver calls (SAT/UNSAT): 3469225(5284/3463941)
Jun 01, 2017 3:02:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1791/3728 took 474062 ms. Total solver calls (SAT/UNSAT): 3476697(5296/3471401)
Jun 01, 2017 3:02:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1795/3728 took 475062 ms. Total solver calls (SAT/UNSAT): 3484169(5308/3478861)
Jun 01, 2017 3:02:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1800/3728 took 476342 ms. Total solver calls (SAT/UNSAT): 3493509(5323/3488186)
Jun 01, 2017 3:02:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1804/3728 took 477557 ms. Total solver calls (SAT/UNSAT): 3502503(5335/3497168)
Jun 01, 2017 3:02:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1809/3728 took 478800 ms. Total solver calls (SAT/UNSAT): 3511843(5350/3506493)
Jun 01, 2017 3:02:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1813/3728 took 479800 ms. Total solver calls (SAT/UNSAT): 3519315(5362/3513953)
Jun 01, 2017 3:02:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1817/3728 took 480800 ms. Total solver calls (SAT/UNSAT): 3526787(5374/3521413)
Jun 01, 2017 3:02:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1821/3728 took 481800 ms. Total solver calls (SAT/UNSAT): 3534259(5386/3528873)
Jun 01, 2017 3:02:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1825/3728 took 483001 ms. Total solver calls (SAT/UNSAT): 3543253(5398/3537855)
Jun 01, 2017 3:02:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1829/3728 took 484001 ms. Total solver calls (SAT/UNSAT): 3550725(5410/3545315)
Jun 01, 2017 3:02:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1834/3728 took 485248 ms. Total solver calls (SAT/UNSAT): 3560065(5425/3554640)
Jun 01, 2017 3:02:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1839/3728 took 486499 ms. Total solver calls (SAT/UNSAT): 3569405(5440/3563965)
Jun 01, 2017 3:02:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1843/3728 took 487700 ms. Total solver calls (SAT/UNSAT): 3578398(5452/3572946)
Jun 01, 2017 3:02:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1847/3728 took 488701 ms. Total solver calls (SAT/UNSAT): 3585871(5464/3580407)
Jun 01, 2017 3:02:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1852/3728 took 489950 ms. Total solver calls (SAT/UNSAT): 3595211(5479/3589732)
Jun 01, 2017 3:02:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1857/3728 took 491196 ms. Total solver calls (SAT/UNSAT): 3604551(5494/3599057)
Jun 01, 2017 3:02:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1862/3728 took 492455 ms. Total solver calls (SAT/UNSAT): 3613891(5509/3608382)
Jun 01, 2017 3:02:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1866/3728 took 493669 ms. Total solver calls (SAT/UNSAT): 3622885(5521/3617364)
Jun 01, 2017 3:02:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1870/3728 took 494679 ms. Total solver calls (SAT/UNSAT): 3630357(5533/3624824)
Jun 01, 2017 3:02:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1874/3728 took 495689 ms. Total solver calls (SAT/UNSAT): 3637829(5545/3632284)
Jun 01, 2017 3:02:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1878/3728 took 496699 ms. Total solver calls (SAT/UNSAT): 3645301(5557/3639744)
Jun 01, 2017 3:02:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1882/3728 took 497706 ms. Total solver calls (SAT/UNSAT): 3652773(5569/3647204)
Jun 01, 2017 3:02:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1886/3728 took 498919 ms. Total solver calls (SAT/UNSAT): 3661767(5581/3656186)
Jun 01, 2017 3:02:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1890/3728 took 499921 ms. Total solver calls (SAT/UNSAT): 3669239(5593/3663646)
Jun 01, 2017 3:02:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1894/3728 took 500933 ms. Total solver calls (SAT/UNSAT): 3676711(5605/3671106)
Jun 01, 2017 3:02:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1898/3728 took 501942 ms. Total solver calls (SAT/UNSAT): 3684183(5617/3678566)
Jun 01, 2017 3:02:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1902/3728 took 502949 ms. Total solver calls (SAT/UNSAT): 3691655(5629/3686026)
Jun 01, 2017 3:02:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1906/3728 took 504155 ms. Total solver calls (SAT/UNSAT): 3700648(5641/3695007)
Jun 01, 2017 3:02:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1910/3728 took 505156 ms. Total solver calls (SAT/UNSAT): 3708121(5653/3702468)
Jun 01, 2017 3:02:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1914/3728 took 506164 ms. Total solver calls (SAT/UNSAT): 3715593(5665/3709928)
Jun 01, 2017 3:02:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1918/3728 took 507175 ms. Total solver calls (SAT/UNSAT): 3723065(5677/3717388)
Jun 01, 2017 3:02:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1922/3728 took 508229 ms. Total solver calls (SAT/UNSAT): 3730537(5689/3724848)
Jun 01, 2017 3:02:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1926/3728 took 509261 ms. Total solver calls (SAT/UNSAT): 3738009(5701/3732308)
Jun 01, 2017 3:02:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1930/3728 took 510501 ms. Total solver calls (SAT/UNSAT): 3747003(5713/3741290)
Jun 01, 2017 3:02:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1934/3728 took 511526 ms. Total solver calls (SAT/UNSAT): 3754475(5725/3748750)
Jun 01, 2017 3:02:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1938/3728 took 512545 ms. Total solver calls (SAT/UNSAT): 3761947(5737/3756210)
Jun 01, 2017 3:02:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1942/3728 took 513564 ms. Total solver calls (SAT/UNSAT): 3769419(5749/3763670)
Jun 01, 2017 3:02:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1946/3728 took 514587 ms. Total solver calls (SAT/UNSAT): 3776891(5761/3771130)
Jun 01, 2017 3:02:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1950/3728 took 515814 ms. Total solver calls (SAT/UNSAT): 3785885(5773/3780112)
Jun 01, 2017 3:02:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1954/3728 took 516834 ms. Total solver calls (SAT/UNSAT): 3793357(5785/3787572)
Jun 01, 2017 3:02:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1958/3728 took 517854 ms. Total solver calls (SAT/UNSAT): 3800829(5797/3795032)
Jun 01, 2017 3:02:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1962/3728 took 518877 ms. Total solver calls (SAT/UNSAT): 3808301(5809/3802492)
Jun 01, 2017 3:02:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1966/3728 took 519905 ms. Total solver calls (SAT/UNSAT): 3815773(5821/3809952)
Jun 01, 2017 3:02:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1970/3728 took 521143 ms. Total solver calls (SAT/UNSAT): 3824767(5833/3818934)
Jun 01, 2017 3:03:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1974/3728 took 522174 ms. Total solver calls (SAT/UNSAT): 3832239(5845/3826394)
Jun 01, 2017 3:03:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1978/3728 took 523206 ms. Total solver calls (SAT/UNSAT): 3839711(5857/3833854)
Jun 01, 2017 3:03:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1982/3728 took 524233 ms. Total solver calls (SAT/UNSAT): 3847183(5869/3841314)
Jun 01, 2017 3:03:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1986/3728 took 525268 ms. Total solver calls (SAT/UNSAT): 3854655(5881/3848774)
Jun 01, 2017 3:03:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1990/3728 took 526513 ms. Total solver calls (SAT/UNSAT): 3863648(5893/3857755)
Jun 01, 2017 3:03:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1994/3728 took 527545 ms. Total solver calls (SAT/UNSAT): 3871121(5905/3865216)
Jun 01, 2017 3:03:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1998/3728 took 528569 ms. Total solver calls (SAT/UNSAT): 3878593(5917/3872676)
Jun 01, 2017 3:03:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2002/3728 took 529602 ms. Total solver calls (SAT/UNSAT): 3886065(5929/3880136)
Jun 01, 2017 3:03:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2006/3728 took 530636 ms. Total solver calls (SAT/UNSAT): 3893537(5941/3887596)
Jun 01, 2017 3:03:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2010/3728 took 531664 ms. Total solver calls (SAT/UNSAT): 3901009(5953/3895056)
Jun 01, 2017 3:03:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2014/3728 took 532897 ms. Total solver calls (SAT/UNSAT): 3910003(5965/3904038)
Jun 01, 2017 3:03:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2018/3728 took 533929 ms. Total solver calls (SAT/UNSAT): 3917475(5977/3911498)
Jun 01, 2017 3:03:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2022/3728 took 534959 ms. Total solver calls (SAT/UNSAT): 3924947(5989/3918958)
Jun 01, 2017 3:03:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2026/3728 took 535983 ms. Total solver calls (SAT/UNSAT): 3932419(6001/3926418)
Jun 01, 2017 3:03:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2030/3728 took 537012 ms. Total solver calls (SAT/UNSAT): 3939891(6013/3933878)
Jun 01, 2017 3:03:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2034/3728 took 538258 ms. Total solver calls (SAT/UNSAT): 3948885(6025/3942860)
Jun 01, 2017 3:03:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2038/3728 took 539290 ms. Total solver calls (SAT/UNSAT): 3956357(6037/3950320)
Jun 01, 2017 3:03:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2042/3728 took 540314 ms. Total solver calls (SAT/UNSAT): 3963829(6049/3957780)
Jun 01, 2017 3:03:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2046/3728 took 541352 ms. Total solver calls (SAT/UNSAT): 3971301(6061/3965240)
Jun 01, 2017 3:03:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2050/3728 took 542380 ms. Total solver calls (SAT/UNSAT): 3978773(6073/3972700)
Jun 01, 2017 3:03:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2054/3728 took 543617 ms. Total solver calls (SAT/UNSAT): 3987767(6085/3981682)
Jun 01, 2017 3:03:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2058/3728 took 544641 ms. Total solver calls (SAT/UNSAT): 3995239(6097/3989142)
Jun 01, 2017 3:03:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2062/3728 took 545672 ms. Total solver calls (SAT/UNSAT): 4002711(6109/3996602)
Jun 01, 2017 3:03:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2066/3728 took 546702 ms. Total solver calls (SAT/UNSAT): 4010183(6121/4004062)
Jun 01, 2017 3:03:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2070/3728 took 547735 ms. Total solver calls (SAT/UNSAT): 4017655(6133/4011522)
Jun 01, 2017 3:03:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2074/3728 took 548976 ms. Total solver calls (SAT/UNSAT): 4026648(6145/4020503)
Jun 01, 2017 3:03:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2078/3728 took 550016 ms. Total solver calls (SAT/UNSAT): 4034121(6157/4027964)
Jun 01, 2017 3:03:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2082/3728 took 551045 ms. Total solver calls (SAT/UNSAT): 4041593(6169/4035424)
Jun 01, 2017 3:03:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2086/3728 took 552074 ms. Total solver calls (SAT/UNSAT): 4049065(6181/4042884)
Jun 01, 2017 3:03:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2090/3728 took 553106 ms. Total solver calls (SAT/UNSAT): 4056537(6193/4050344)
Jun 01, 2017 3:03:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2094/3728 took 554135 ms. Total solver calls (SAT/UNSAT): 4064009(6205/4057804)
Jun 01, 2017 3:03:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2098/3728 took 555378 ms. Total solver calls (SAT/UNSAT): 4073003(6217/4066786)
Jun 01, 2017 3:03:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2102/3728 took 556399 ms. Total solver calls (SAT/UNSAT): 4080475(6229/4074246)
Jun 01, 2017 3:03:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2106/3728 took 557424 ms. Total solver calls (SAT/UNSAT): 4087947(6241/4081706)
Jun 01, 2017 3:03:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2110/3728 took 558449 ms. Total solver calls (SAT/UNSAT): 4095419(6253/4089166)
Jun 01, 2017 3:03:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2114/3728 took 559477 ms. Total solver calls (SAT/UNSAT): 4102891(6265/4096626)
Jun 01, 2017 3:03:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2118/3728 took 560702 ms. Total solver calls (SAT/UNSAT): 4111885(6277/4105608)
Jun 01, 2017 3:03:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2122/3728 took 561725 ms. Total solver calls (SAT/UNSAT): 4119357(6289/4113068)
Jun 01, 2017 3:03:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2126/3728 took 562746 ms. Total solver calls (SAT/UNSAT): 4126829(6301/4120528)
Jun 01, 2017 3:03:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2130/3728 took 563781 ms. Total solver calls (SAT/UNSAT): 4134301(6313/4127988)
Jun 01, 2017 3:03:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2134/3728 took 564816 ms. Total solver calls (SAT/UNSAT): 4141773(6325/4135448)
Jun 01, 2017 3:03:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2138/3728 took 566048 ms. Total solver calls (SAT/UNSAT): 4150767(6337/4144430)
Jun 01, 2017 3:03:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2142/3728 took 567071 ms. Total solver calls (SAT/UNSAT): 4158239(6349/4151890)
Jun 01, 2017 3:03:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2146/3728 took 568094 ms. Total solver calls (SAT/UNSAT): 4165711(6361/4159350)
Jun 01, 2017 3:03:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2150/3728 took 569116 ms. Total solver calls (SAT/UNSAT): 4173183(6373/4166810)
Jun 01, 2017 3:03:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2154/3728 took 570139 ms. Total solver calls (SAT/UNSAT): 4180655(6385/4174270)
Jun 01, 2017 3:03:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2158/3728 took 571367 ms. Total solver calls (SAT/UNSAT): 4189648(6397/4183251)
Jun 01, 2017 3:03:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2162/3728 took 572397 ms. Total solver calls (SAT/UNSAT): 4197121(6409/4190712)
Jun 01, 2017 3:03:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2166/3728 took 573488 ms. Total solver calls (SAT/UNSAT): 4204593(6421/4198172)
Jun 01, 2017 3:03:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2170/3728 took 574587 ms. Total solver calls (SAT/UNSAT): 4212065(6433/4205632)
Jun 01, 2017 3:03:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2174/3728 took 575658 ms. Total solver calls (SAT/UNSAT): 4219537(6445/4213092)
Jun 01, 2017 3:03:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2178/3728 took 576726 ms. Total solver calls (SAT/UNSAT): 4227009(6457/4220552)
Jun 01, 2017 3:03:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2182/3728 took 577982 ms. Total solver calls (SAT/UNSAT): 4236003(6469/4229534)
Jun 01, 2017 3:03:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2186/3728 took 579070 ms. Total solver calls (SAT/UNSAT): 4243475(6481/4236994)
Jun 01, 2017 3:03:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2190/3728 took 580107 ms. Total solver calls (SAT/UNSAT): 4250947(6493/4244454)
Jun 01, 2017 3:03:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2194/3728 took 581156 ms. Total solver calls (SAT/UNSAT): 4258419(6505/4251914)
Jun 01, 2017 3:04:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2198/3728 took 582156 ms. Total solver calls (SAT/UNSAT): 4265891(6517/4259374)
Jun 01, 2017 3:04:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2201/3728 took 583202 ms. Total solver calls (SAT/UNSAT): 4273017(6526/4266491)
Jun 01, 2017 3:04:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2205/3728 took 584269 ms. Total solver calls (SAT/UNSAT): 4280489(6538/4273951)
Jun 01, 2017 3:04:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2209/3728 took 585290 ms. Total solver calls (SAT/UNSAT): 4287961(6550/4281411)
Jun 01, 2017 3:04:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2213/3728 took 586298 ms. Total solver calls (SAT/UNSAT): 4295433(6562/4288871)
Jun 01, 2017 3:04:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2217/3728 took 587314 ms. Total solver calls (SAT/UNSAT): 4302905(6574/4296331)
Jun 01, 2017 3:04:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2221/3728 took 588551 ms. Total solver calls (SAT/UNSAT): 4311898(6586/4305312)
Jun 01, 2017 3:04:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2225/3728 took 589571 ms. Total solver calls (SAT/UNSAT): 4319371(6598/4312773)
Jun 01, 2017 3:04:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2229/3728 took 590592 ms. Total solver calls (SAT/UNSAT): 4326843(6610/4320233)
Jun 01, 2017 3:04:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2233/3728 took 591612 ms. Total solver calls (SAT/UNSAT): 4334315(6622/4327693)
Jun 01, 2017 3:04:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2237/3728 took 592635 ms. Total solver calls (SAT/UNSAT): 4341787(6634/4335153)
Jun 01, 2017 3:04:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2241/3728 took 593657 ms. Total solver calls (SAT/UNSAT): 4349259(6646/4342613)
Jun 01, 2017 3:04:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2245/3728 took 594881 ms. Total solver calls (SAT/UNSAT): 4358253(6658/4351595)
Jun 01, 2017 3:04:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2249/3728 took 595899 ms. Total solver calls (SAT/UNSAT): 4365725(6670/4359055)
Jun 01, 2017 3:04:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2253/3728 took 596905 ms. Total solver calls (SAT/UNSAT): 4373197(6682/4366515)
Jun 01, 2017 3:04:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2257/3728 took 597916 ms. Total solver calls (SAT/UNSAT): 4380669(6694/4373975)
Jun 01, 2017 3:04:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2261/3728 took 598934 ms. Total solver calls (SAT/UNSAT): 4388141(6706/4381435)
Jun 01, 2017 3:04:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2265/3728 took 600153 ms. Total solver calls (SAT/UNSAT): 4397135(6718/4390417)
Jun 01, 2017 3:04:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2269/3728 took 601168 ms. Total solver calls (SAT/UNSAT): 4404607(6730/4397877)
Jun 01, 2017 3:04:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2273/3728 took 602177 ms. Total solver calls (SAT/UNSAT): 4412079(6742/4405337)
Jun 01, 2017 3:04:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2277/3728 took 603190 ms. Total solver calls (SAT/UNSAT): 4419551(6754/4412797)
Jun 01, 2017 3:04:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2281/3728 took 604328 ms. Total solver calls (SAT/UNSAT): 4427023(6766/4420257)
Jun 01, 2017 3:04:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2284/3728 took 605359 ms. Total solver calls (SAT/UNSAT): 4434148(6775/4427373)
Jun 01, 2017 3:04:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2288/3728 took 606390 ms. Total solver calls (SAT/UNSAT): 4441621(6787/4434834)
Jun 01, 2017 3:04:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2292/3728 took 607415 ms. Total solver calls (SAT/UNSAT): 4449093(6799/4442294)
Jun 01, 2017 3:04:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2296/3728 took 608437 ms. Total solver calls (SAT/UNSAT): 4456565(6811/4449754)
Jun 01, 2017 3:04:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2300/3728 took 609458 ms. Total solver calls (SAT/UNSAT): 4464037(6823/4457214)
Jun 01, 2017 3:04:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2304/3728 took 610507 ms. Total solver calls (SAT/UNSAT): 4471509(6835/4464674)
Jun 01, 2017 3:04:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2308/3728 took 611715 ms. Total solver calls (SAT/UNSAT): 4480503(6847/4473656)
Jun 01, 2017 3:04:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2312/3728 took 612719 ms. Total solver calls (SAT/UNSAT): 4487975(6859/4481116)
Jun 01, 2017 3:04:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2316/3728 took 613724 ms. Total solver calls (SAT/UNSAT): 4495447(6871/4488576)
Jun 01, 2017 3:04:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2320/3728 took 614735 ms. Total solver calls (SAT/UNSAT): 4502919(6883/4496036)
Jun 01, 2017 3:04:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2324/3728 took 615742 ms. Total solver calls (SAT/UNSAT): 4510391(6895/4503496)
Jun 01, 2017 3:04:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2328/3728 took 616958 ms. Total solver calls (SAT/UNSAT): 4519385(6907/4512478)
Jun 01, 2017 3:04:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2332/3728 took 617969 ms. Total solver calls (SAT/UNSAT): 4526857(6919/4519938)
Jun 01, 2017 3:04:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2336/3728 took 618973 ms. Total solver calls (SAT/UNSAT): 4534329(6931/4527398)
Jun 01, 2017 3:04:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2340/3728 took 619984 ms. Total solver calls (SAT/UNSAT): 4541801(6943/4534858)
Jun 01, 2017 3:04:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2344/3728 took 620987 ms. Total solver calls (SAT/UNSAT): 4549273(6955/4542318)
Jun 01, 2017 3:04:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2348/3728 took 622192 ms. Total solver calls (SAT/UNSAT): 4558267(6967/4551300)
Jun 01, 2017 3:04:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2352/3728 took 623195 ms. Total solver calls (SAT/UNSAT): 4565739(6979/4558760)
Jun 01, 2017 3:04:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2356/3728 took 624199 ms. Total solver calls (SAT/UNSAT): 4573211(6991/4566220)
Jun 01, 2017 3:04:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2360/3728 took 625204 ms. Total solver calls (SAT/UNSAT): 4580683(7003/4573680)
Jun 01, 2017 3:04:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2364/3728 took 626208 ms. Total solver calls (SAT/UNSAT): 4588155(7015/4581140)
Jun 01, 2017 3:04:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2368/3728 took 627417 ms. Total solver calls (SAT/UNSAT): 4597148(7027/4590121)
Jun 01, 2017 3:04:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2372/3728 took 628426 ms. Total solver calls (SAT/UNSAT): 4604621(7039/4597582)
Jun 01, 2017 3:04:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2376/3728 took 629430 ms. Total solver calls (SAT/UNSAT): 4612093(7051/4605042)
Jun 01, 2017 3:04:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2380/3728 took 630535 ms. Total solver calls (SAT/UNSAT): 4619565(7063/4612502)
Jun 01, 2017 3:04:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2384/3728 took 631568 ms. Total solver calls (SAT/UNSAT): 4627037(7075/4619962)
Jun 01, 2017 3:04:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2388/3728 took 632606 ms. Total solver calls (SAT/UNSAT): 4634509(7087/4627422)
Jun 01, 2017 3:04:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2392/3728 took 633848 ms. Total solver calls (SAT/UNSAT): 4643503(7099/4636404)
Jun 01, 2017 3:04:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2396/3728 took 634885 ms. Total solver calls (SAT/UNSAT): 4650975(7111/4643864)
Jun 01, 2017 3:04:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2400/3728 took 635917 ms. Total solver calls (SAT/UNSAT): 4658447(7123/4651324)
Jun 01, 2017 3:04:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2404/3728 took 636953 ms. Total solver calls (SAT/UNSAT): 4665919(7135/4658784)
Jun 01, 2017 3:04:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2408/3728 took 637985 ms. Total solver calls (SAT/UNSAT): 4673391(7147/4666244)
Jun 01, 2017 3:04:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2412/3728 took 639225 ms. Total solver calls (SAT/UNSAT): 4682385(7159/4675226)
Jun 01, 2017 3:04:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2416/3728 took 640256 ms. Total solver calls (SAT/UNSAT): 4689857(7171/4682686)
Jun 01, 2017 3:04:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2420/3728 took 641288 ms. Total solver calls (SAT/UNSAT): 4697329(7183/4690146)
Jun 01, 2017 3:05:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2424/3728 took 642324 ms. Total solver calls (SAT/UNSAT): 4704801(7195/4697606)
Jun 01, 2017 3:05:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2428/3728 took 643355 ms. Total solver calls (SAT/UNSAT): 4712273(7207/4705066)
Jun 01, 2017 3:05:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2432/3728 took 644586 ms. Total solver calls (SAT/UNSAT): 4721267(7219/4714048)
Jun 01, 2017 3:05:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2436/3728 took 645654 ms. Total solver calls (SAT/UNSAT): 4728739(7231/4721508)
Jun 01, 2017 3:05:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2440/3728 took 646688 ms. Total solver calls (SAT/UNSAT): 4736211(7243/4728968)
Jun 01, 2017 3:05:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2444/3728 took 647725 ms. Total solver calls (SAT/UNSAT): 4743683(7255/4736428)
Jun 01, 2017 3:05:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2448/3728 took 648779 ms. Total solver calls (SAT/UNSAT): 4751155(7267/4743888)
Jun 01, 2017 3:05:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2452/3728 took 649990 ms. Total solver calls (SAT/UNSAT): 4760148(7279/4752869)
Jun 01, 2017 3:05:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2456/3728 took 650998 ms. Total solver calls (SAT/UNSAT): 4767621(7291/4760330)
Jun 01, 2017 3:05:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2460/3728 took 652004 ms. Total solver calls (SAT/UNSAT): 4775093(7303/4767790)
Jun 01, 2017 3:05:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2464/3728 took 653007 ms. Total solver calls (SAT/UNSAT): 4782565(7315/4775250)
Jun 01, 2017 3:05:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2468/3728 took 654019 ms. Total solver calls (SAT/UNSAT): 4790037(7327/4782710)
Jun 01, 2017 3:05:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2472/3728 took 655025 ms. Total solver calls (SAT/UNSAT): 4797509(7339/4790170)
Jun 01, 2017 3:05:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2476/3728 took 656233 ms. Total solver calls (SAT/UNSAT): 4806503(7351/4799152)
Jun 01, 2017 3:05:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2480/3728 took 657241 ms. Total solver calls (SAT/UNSAT): 4813975(7363/4806612)
Jun 01, 2017 3:05:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2484/3728 took 658245 ms. Total solver calls (SAT/UNSAT): 4821447(7375/4814072)
Jun 01, 2017 3:05:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2488/3728 took 659252 ms. Total solver calls (SAT/UNSAT): 4828919(7387/4821532)
Jun 01, 2017 3:05:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2492/3728 took 660253 ms. Total solver calls (SAT/UNSAT): 4836391(7399/4828992)
Jun 01, 2017 3:05:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2496/3728 took 661455 ms. Total solver calls (SAT/UNSAT): 4845385(7411/4837974)
Jun 01, 2017 3:05:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2501/3728 took 662703 ms. Total solver calls (SAT/UNSAT): 4854725(7426/4847299)
Jun 01, 2017 3:05:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2506/3728 took 663952 ms. Total solver calls (SAT/UNSAT): 4864065(7441/4856624)
Jun 01, 2017 3:05:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2511/3728 took 665199 ms. Total solver calls (SAT/UNSAT): 4873405(7456/4865949)
Jun 01, 2017 3:05:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2515/3728 took 666399 ms. Total solver calls (SAT/UNSAT): 4882398(7468/4874930)
Jun 01, 2017 3:05:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2519/3728 took 667402 ms. Total solver calls (SAT/UNSAT): 4889871(7480/4882391)
Jun 01, 2017 3:05:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2523/3728 took 668408 ms. Total solver calls (SAT/UNSAT): 4897343(7492/4889851)
Jun 01, 2017 3:05:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2527/3728 took 669414 ms. Total solver calls (SAT/UNSAT): 4904815(7504/4897311)
Jun 01, 2017 3:05:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2531/3728 took 670427 ms. Total solver calls (SAT/UNSAT): 4912287(7516/4904771)
Jun 01, 2017 3:05:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2535/3728 took 671433 ms. Total solver calls (SAT/UNSAT): 4919759(7528/4912231)
Jun 01, 2017 3:05:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2539/3728 took 672648 ms. Total solver calls (SAT/UNSAT): 4928753(7540/4921213)
Jun 01, 2017 3:05:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2543/3728 took 673656 ms. Total solver calls (SAT/UNSAT): 4936225(7552/4928673)
Jun 01, 2017 3:05:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2547/3728 took 674667 ms. Total solver calls (SAT/UNSAT): 4943697(7564/4936133)
Jun 01, 2017 3:05:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2551/3728 took 675671 ms. Total solver calls (SAT/UNSAT): 4951169(7576/4943593)
Jun 01, 2017 3:05:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2555/3728 took 676672 ms. Total solver calls (SAT/UNSAT): 4958641(7588/4951053)
Jun 01, 2017 3:05:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2559/3728 took 677874 ms. Total solver calls (SAT/UNSAT): 4967635(7600/4960035)
Jun 01, 2017 3:05:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2563/3728 took 678929 ms. Total solver calls (SAT/UNSAT): 4975107(7612/4967495)
Jun 01, 2017 3:05:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2567/3728 took 679932 ms. Total solver calls (SAT/UNSAT): 4982579(7624/4974955)
Jun 01, 2017 3:05:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2571/3728 took 680932 ms. Total solver calls (SAT/UNSAT): 4990051(7636/4982415)
Jun 01, 2017 3:05:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2575/3728 took 682044 ms. Total solver calls (SAT/UNSAT): 4997523(7648/4989875)
Jun 01, 2017 3:05:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2579/3728 took 683263 ms. Total solver calls (SAT/UNSAT): 5006517(7660/4998857)
Jun 01, 2017 3:05:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2583/3728 took 684275 ms. Total solver calls (SAT/UNSAT): 5013989(7672/5006317)
Jun 01, 2017 3:05:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2587/3728 took 685287 ms. Total solver calls (SAT/UNSAT): 5021461(7684/5013777)
Jun 01, 2017 3:05:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2591/3728 took 686297 ms. Total solver calls (SAT/UNSAT): 5028933(7696/5021237)
Jun 01, 2017 3:05:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2595/3728 took 687308 ms. Total solver calls (SAT/UNSAT): 5036405(7708/5028697)
Jun 01, 2017 3:05:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2599/3728 took 688524 ms. Total solver calls (SAT/UNSAT): 5045398(7720/5037678)
Jun 01, 2017 3:05:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2603/3728 took 689535 ms. Total solver calls (SAT/UNSAT): 5052871(7732/5045139)
Jun 01, 2017 3:05:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2607/3728 took 690544 ms. Total solver calls (SAT/UNSAT): 5060343(7744/5052599)
Jun 01, 2017 3:05:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2611/3728 took 691551 ms. Total solver calls (SAT/UNSAT): 5067815(7756/5060059)
Jun 01, 2017 3:05:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2615/3728 took 692558 ms. Total solver calls (SAT/UNSAT): 5075287(7768/5067519)
Jun 01, 2017 3:05:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2619/3728 took 693570 ms. Total solver calls (SAT/UNSAT): 5082759(7780/5074979)
Jun 01, 2017 3:05:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2623/3728 took 694790 ms. Total solver calls (SAT/UNSAT): 5091753(7792/5083961)
Jun 01, 2017 3:05:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2627/3728 took 695793 ms. Total solver calls (SAT/UNSAT): 5099225(7804/5091421)
Jun 01, 2017 3:05:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2631/3728 took 696804 ms. Total solver calls (SAT/UNSAT): 5106697(7816/5098881)
Jun 01, 2017 3:05:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2635/3728 took 697814 ms. Total solver calls (SAT/UNSAT): 5114169(7828/5106341)
Jun 01, 2017 3:05:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2639/3728 took 698827 ms. Total solver calls (SAT/UNSAT): 5121641(7840/5113801)
Jun 01, 2017 3:05:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2643/3728 took 700040 ms. Total solver calls (SAT/UNSAT): 5130635(7852/5122783)
Jun 01, 2017 3:05:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2647/3728 took 701054 ms. Total solver calls (SAT/UNSAT): 5138107(7864/5130243)
Jun 01, 2017 3:06:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2651/3728 took 702067 ms. Total solver calls (SAT/UNSAT): 5145579(7876/5137703)
Jun 01, 2017 3:06:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2655/3728 took 703079 ms. Total solver calls (SAT/UNSAT): 5153051(7888/5145163)
Jun 01, 2017 3:06:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2659/3728 took 704079 ms. Total solver calls (SAT/UNSAT): 5160523(7900/5152623)
Jun 01, 2017 3:06:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2663/3728 took 705297 ms. Total solver calls (SAT/UNSAT): 5169517(7912/5161605)
Jun 01, 2017 3:06:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2667/3728 took 706305 ms. Total solver calls (SAT/UNSAT): 5176989(7924/5169065)
Jun 01, 2017 3:06:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2671/3728 took 707376 ms. Total solver calls (SAT/UNSAT): 5184461(7936/5176525)
Jun 01, 2017 3:06:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2675/3728 took 708402 ms. Total solver calls (SAT/UNSAT): 5191933(7948/5183985)
Jun 01, 2017 3:06:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2679/3728 took 709436 ms. Total solver calls (SAT/UNSAT): 5199405(7960/5191445)
Jun 01, 2017 3:06:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2683/3728 took 710678 ms. Total solver calls (SAT/UNSAT): 5208398(7972/5200426)
Jun 01, 2017 3:06:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2687/3728 took 711703 ms. Total solver calls (SAT/UNSAT): 5215871(7984/5207887)
Jun 01, 2017 3:06:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2691/3728 took 712733 ms. Total solver calls (SAT/UNSAT): 5223343(7996/5215347)
Jun 01, 2017 3:06:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2695/3728 took 713791 ms. Total solver calls (SAT/UNSAT): 5230815(8008/5222807)
Jun 01, 2017 3:06:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2699/3728 took 714802 ms. Total solver calls (SAT/UNSAT): 5238287(8020/5230267)
Jun 01, 2017 3:06:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2703/3728 took 715805 ms. Total solver calls (SAT/UNSAT): 5245759(8032/5237727)
Jun 01, 2017 3:06:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2707/3728 took 717012 ms. Total solver calls (SAT/UNSAT): 5254753(8044/5246709)
Jun 01, 2017 3:06:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2711/3728 took 718018 ms. Total solver calls (SAT/UNSAT): 5262225(8056/5254169)
Jun 01, 2017 3:06:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2715/3728 took 719033 ms. Total solver calls (SAT/UNSAT): 5269697(8068/5261629)
Jun 01, 2017 3:06:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2719/3728 took 720036 ms. Total solver calls (SAT/UNSAT): 5277169(8080/5269089)
Jun 01, 2017 3:06:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2723/3728 took 721041 ms. Total solver calls (SAT/UNSAT): 5284641(8092/5276549)
Jun 01, 2017 3:06:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2727/3728 took 722262 ms. Total solver calls (SAT/UNSAT): 5293635(8104/5285531)
Jun 01, 2017 3:06:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2731/3728 took 723265 ms. Total solver calls (SAT/UNSAT): 5301107(8116/5292991)
Jun 01, 2017 3:06:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2735/3728 took 724267 ms. Total solver calls (SAT/UNSAT): 5308579(8128/5300451)
Jun 01, 2017 3:06:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2740/3728 took 725513 ms. Total solver calls (SAT/UNSAT): 5317919(8143/5309776)
Jun 01, 2017 3:06:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2744/3728 took 726513 ms. Total solver calls (SAT/UNSAT): 5325391(8155/5317236)
Jun 01, 2017 3:06:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2748/3728 took 727717 ms. Total solver calls (SAT/UNSAT): 5334385(8167/5326218)
Jun 01, 2017 3:06:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2752/3728 took 728724 ms. Total solver calls (SAT/UNSAT): 5341857(8179/5333678)
Jun 01, 2017 3:06:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2757/3728 took 729966 ms. Total solver calls (SAT/UNSAT): 5351197(8194/5343003)
Jun 01, 2017 3:06:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2761/3728 took 730967 ms. Total solver calls (SAT/UNSAT): 5358669(8206/5350463)
Jun 01, 2017 3:06:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2765/3728 took 731973 ms. Total solver calls (SAT/UNSAT): 5366141(8218/5357923)
Jun 01, 2017 3:06:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2769/3728 took 733170 ms. Total solver calls (SAT/UNSAT): 5375135(8230/5366905)
Jun 01, 2017 3:06:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2774/3728 took 734418 ms. Total solver calls (SAT/UNSAT): 5384475(8245/5376230)
Jun 01, 2017 3:06:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2778/3728 took 735423 ms. Total solver calls (SAT/UNSAT): 5391947(8257/5383690)
Jun 01, 2017 3:06:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2783/3728 took 736670 ms. Total solver calls (SAT/UNSAT): 5401287(8272/5393015)
Jun 01, 2017 3:06:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2788/3728 took 738120 ms. Total solver calls (SAT/UNSAT): 5412148(8287/5403861)
Jun 01, 2017 3:06:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2793/3728 took 739366 ms. Total solver calls (SAT/UNSAT): 5421489(8302/5413187)
Jun 01, 2017 3:06:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2797/3728 took 740373 ms. Total solver calls (SAT/UNSAT): 5428961(8314/5420647)
Jun 01, 2017 3:06:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2801/3728 took 741380 ms. Total solver calls (SAT/UNSAT): 5436433(8326/5428107)
Jun 01, 2017 3:06:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2805/3728 took 742387 ms. Total solver calls (SAT/UNSAT): 5443905(8338/5435567)
Jun 01, 2017 3:06:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2809/3728 took 743602 ms. Total solver calls (SAT/UNSAT): 5452898(8350/5444548)
Jun 01, 2017 3:06:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2813/3728 took 744607 ms. Total solver calls (SAT/UNSAT): 5460371(8362/5452009)
Jun 01, 2017 3:06:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2817/3728 took 745618 ms. Total solver calls (SAT/UNSAT): 5467843(8374/5459469)
Jun 01, 2017 3:06:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2822/3728 took 746871 ms. Total solver calls (SAT/UNSAT): 5477183(8389/5468794)
Jun 01, 2017 3:06:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2827/3728 took 748119 ms. Total solver calls (SAT/UNSAT): 5486523(8404/5478119)
Jun 01, 2017 3:06:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2831/3728 took 749333 ms. Total solver calls (SAT/UNSAT): 5495517(8416/5487101)
Jun 01, 2017 3:06:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2835/3728 took 750345 ms. Total solver calls (SAT/UNSAT): 5502989(8428/5494561)
Jun 01, 2017 3:06:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2839/3728 took 751350 ms. Total solver calls (SAT/UNSAT): 5510461(8440/5502021)
Jun 01, 2017 3:06:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2843/3728 took 752353 ms. Total solver calls (SAT/UNSAT): 5517933(8452/5509481)
Jun 01, 2017 3:06:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2847/3728 took 753359 ms. Total solver calls (SAT/UNSAT): 5525405(8464/5516941)
Jun 01, 2017 3:06:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2851/3728 took 754573 ms. Total solver calls (SAT/UNSAT): 5534398(8476/5525922)
Jun 01, 2017 3:06:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2855/3728 took 755574 ms. Total solver calls (SAT/UNSAT): 5541871(8488/5533383)
Jun 01, 2017 3:06:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2859/3728 took 756582 ms. Total solver calls (SAT/UNSAT): 5549343(8500/5540843)
Jun 01, 2017 3:06:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2863/3728 took 757589 ms. Total solver calls (SAT/UNSAT): 5556815(8512/5548303)
Jun 01, 2017 3:06:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2867/3728 took 758591 ms. Total solver calls (SAT/UNSAT): 5564287(8524/5555763)
Jun 01, 2017 3:06:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2871/3728 took 759599 ms. Total solver calls (SAT/UNSAT): 5571759(8536/5563223)
Jun 01, 2017 3:06:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2875/3728 took 760812 ms. Total solver calls (SAT/UNSAT): 5580753(8548/5572205)
Jun 01, 2017 3:07:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2879/3728 took 761822 ms. Total solver calls (SAT/UNSAT): 5588225(8560/5579665)
Jun 01, 2017 3:07:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2883/3728 took 762826 ms. Total solver calls (SAT/UNSAT): 5595697(8572/5587125)
Jun 01, 2017 3:07:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2887/3728 took 763829 ms. Total solver calls (SAT/UNSAT): 5603169(8584/5594585)
Jun 01, 2017 3:07:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2892/3728 took 765080 ms. Total solver calls (SAT/UNSAT): 5612509(8599/5603910)
Jun 01, 2017 3:07:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2896/3728 took 766285 ms. Total solver calls (SAT/UNSAT): 5621503(8611/5612892)
Jun 01, 2017 3:07:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2900/3728 took 767294 ms. Total solver calls (SAT/UNSAT): 5628975(8623/5620352)
Jun 01, 2017 3:07:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2905/3728 took 768539 ms. Total solver calls (SAT/UNSAT): 5638315(8638/5629677)
Jun 01, 2017 3:07:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2909/3728 took 769549 ms. Total solver calls (SAT/UNSAT): 5645787(8650/5637137)
Jun 01, 2017 3:07:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2913/3728 took 770552 ms. Total solver calls (SAT/UNSAT): 5653259(8662/5644597)
Jun 01, 2017 3:07:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2917/3728 took 771761 ms. Total solver calls (SAT/UNSAT): 5662253(8674/5653579)
Jun 01, 2017 3:07:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2921/3728 took 772767 ms. Total solver calls (SAT/UNSAT): 5669725(8686/5661039)
Jun 01, 2017 3:07:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2925/3728 took 773772 ms. Total solver calls (SAT/UNSAT): 5677197(8698/5668499)
Jun 01, 2017 3:07:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2929/3728 took 774781 ms. Total solver calls (SAT/UNSAT): 5684669(8710/5675959)
Jun 01, 2017 3:07:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2934/3728 took 776028 ms. Total solver calls (SAT/UNSAT): 5694009(8725/5685284)
Jun 01, 2017 3:07:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2938/3728 took 777240 ms. Total solver calls (SAT/UNSAT): 5703003(8737/5694266)
Jun 01, 2017 3:07:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2942/3728 took 778241 ms. Total solver calls (SAT/UNSAT): 5710475(8749/5701726)
Jun 01, 2017 3:07:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2946/3728 took 779249 ms. Total solver calls (SAT/UNSAT): 5717947(8761/5709186)
Jun 01, 2017 3:07:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2951/3728 took 780502 ms. Total solver calls (SAT/UNSAT): 5727287(8776/5718511)
Jun 01, 2017 3:07:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2955/3728 took 781508 ms. Total solver calls (SAT/UNSAT): 5734759(8788/5725971)
Jun 01, 2017 3:07:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2959/3728 took 782741 ms. Total solver calls (SAT/UNSAT): 5743753(8800/5734953)
Jun 01, 2017 3:07:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2963/3728 took 783742 ms. Total solver calls (SAT/UNSAT): 5751225(8812/5742413)
Jun 01, 2017 3:07:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2967/3728 took 784755 ms. Total solver calls (SAT/UNSAT): 5758697(8824/5749873)
Jun 01, 2017 3:07:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2971/3728 took 785758 ms. Total solver calls (SAT/UNSAT): 5766169(8836/5757333)
Jun 01, 2017 3:07:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2975/3728 took 786767 ms. Total solver calls (SAT/UNSAT): 5773641(8848/5764793)
Jun 01, 2017 3:07:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2979/3728 took 787964 ms. Total solver calls (SAT/UNSAT): 5782635(8860/5773775)
Jun 01, 2017 3:07:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2983/3728 took 788978 ms. Total solver calls (SAT/UNSAT): 5790107(8872/5781235)
Jun 01, 2017 3:07:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2987/3728 took 789979 ms. Total solver calls (SAT/UNSAT): 5797579(8884/5788695)
Jun 01, 2017 3:07:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2991/3728 took 790986 ms. Total solver calls (SAT/UNSAT): 5805051(8896/5796155)
Jun 01, 2017 3:07:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2996/3728 took 792226 ms. Total solver calls (SAT/UNSAT): 5814391(8911/5805480)
Jun 01, 2017 3:07:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3000/3728 took 793443 ms. Total solver calls (SAT/UNSAT): 5823385(8923/5814462)
Jun 01, 2017 3:07:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3004/3728 took 794443 ms. Total solver calls (SAT/UNSAT): 5830857(8935/5821922)
Jun 01, 2017 3:07:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3008/3728 took 795501 ms. Total solver calls (SAT/UNSAT): 5838329(8947/5829382)
Jun 01, 2017 3:07:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3012/3728 took 796516 ms. Total solver calls (SAT/UNSAT): 5845801(8959/5836842)
Jun 01, 2017 3:07:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3016/3728 took 797539 ms. Total solver calls (SAT/UNSAT): 5853273(8971/5844302)
Jun 01, 2017 3:07:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3020/3728 took 798762 ms. Total solver calls (SAT/UNSAT): 5862267(8983/5853284)
Jun 01, 2017 3:07:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3024/3728 took 799783 ms. Total solver calls (SAT/UNSAT): 5869739(8995/5860744)
Jun 01, 2017 3:07:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3028/3728 took 800800 ms. Total solver calls (SAT/UNSAT): 5877211(9007/5868204)
Jun 01, 2017 3:07:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3032/3728 took 801821 ms. Total solver calls (SAT/UNSAT): 5884683(9019/5875664)
Jun 01, 2017 3:07:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3036/3728 took 802837 ms. Total solver calls (SAT/UNSAT): 5892155(9031/5883124)
Jun 01, 2017 3:07:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3040/3728 took 804063 ms. Total solver calls (SAT/UNSAT): 5901148(9043/5892105)
Jun 01, 2017 3:07:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3044/3728 took 805076 ms. Total solver calls (SAT/UNSAT): 5908621(9055/5899566)
Jun 01, 2017 3:07:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3048/3728 took 806095 ms. Total solver calls (SAT/UNSAT): 5916093(9067/5907026)
Jun 01, 2017 3:07:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3052/3728 took 807112 ms. Total solver calls (SAT/UNSAT): 5923565(9079/5914486)
Jun 01, 2017 3:07:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3056/3728 took 808127 ms. Total solver calls (SAT/UNSAT): 5931037(9091/5921946)
Jun 01, 2017 3:07:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3060/3728 took 809148 ms. Total solver calls (SAT/UNSAT): 5938509(9103/5929406)
Jun 01, 2017 3:07:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3064/3728 took 810369 ms. Total solver calls (SAT/UNSAT): 5947503(9115/5938388)
Jun 01, 2017 3:07:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3068/3728 took 811390 ms. Total solver calls (SAT/UNSAT): 5954975(9127/5945848)
Jun 01, 2017 3:07:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3072/3728 took 812403 ms. Total solver calls (SAT/UNSAT): 5962447(9139/5953308)
Jun 01, 2017 3:07:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3076/3728 took 813427 ms. Total solver calls (SAT/UNSAT): 5969919(9151/5960768)
Jun 01, 2017 3:07:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3080/3728 took 814448 ms. Total solver calls (SAT/UNSAT): 5977391(9163/5968228)
Jun 01, 2017 3:07:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3084/3728 took 815687 ms. Total solver calls (SAT/UNSAT): 5986385(9175/5977210)
Jun 01, 2017 3:07:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3088/3728 took 816699 ms. Total solver calls (SAT/UNSAT): 5993857(9187/5984670)
Jun 01, 2017 3:07:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3092/3728 took 817716 ms. Total solver calls (SAT/UNSAT): 6001329(9199/5992130)
Jun 01, 2017 3:07:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3096/3728 took 818741 ms. Total solver calls (SAT/UNSAT): 6008801(9211/5999590)
Jun 01, 2017 3:07:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3100/3728 took 819762 ms. Total solver calls (SAT/UNSAT): 6016273(9223/6007050)
Jun 01, 2017 3:07:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3104/3728 took 820993 ms. Total solver calls (SAT/UNSAT): 6025267(9235/6016032)
Jun 01, 2017 3:08:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3108/3728 took 822014 ms. Total solver calls (SAT/UNSAT): 6032739(9247/6023492)
Jun 01, 2017 3:08:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3112/3728 took 823040 ms. Total solver calls (SAT/UNSAT): 6040211(9259/6030952)
Jun 01, 2017 3:08:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3116/3728 took 824058 ms. Total solver calls (SAT/UNSAT): 6047683(9271/6038412)
Jun 01, 2017 3:08:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3120/3728 took 825072 ms. Total solver calls (SAT/UNSAT): 6055155(9283/6045872)
Jun 01, 2017 3:08:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3124/3728 took 826305 ms. Total solver calls (SAT/UNSAT): 6064148(9295/6054853)
Jun 01, 2017 3:08:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3128/3728 took 827321 ms. Total solver calls (SAT/UNSAT): 6071621(9307/6062314)
Jun 01, 2017 3:08:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3132/3728 took 828357 ms. Total solver calls (SAT/UNSAT): 6079093(9319/6069774)
Jun 01, 2017 3:08:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3136/3728 took 829381 ms. Total solver calls (SAT/UNSAT): 6086565(9331/6077234)
Jun 01, 2017 3:08:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3140/3728 took 830409 ms. Total solver calls (SAT/UNSAT): 6094037(9343/6084694)
Jun 01, 2017 3:08:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3144/3728 took 831430 ms. Total solver calls (SAT/UNSAT): 6101509(9355/6092154)
Jun 01, 2017 3:08:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3148/3728 took 832656 ms. Total solver calls (SAT/UNSAT): 6110503(9367/6101136)
Jun 01, 2017 3:08:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3152/3728 took 833681 ms. Total solver calls (SAT/UNSAT): 6117975(9379/6108596)
Jun 01, 2017 3:08:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3156/3728 took 834701 ms. Total solver calls (SAT/UNSAT): 6125447(9391/6116056)
Jun 01, 2017 3:08:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3160/3728 took 835736 ms. Total solver calls (SAT/UNSAT): 6132919(9403/6123516)
Jun 01, 2017 3:08:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3164/3728 took 836754 ms. Total solver calls (SAT/UNSAT): 6140391(9415/6130976)
Jun 01, 2017 3:08:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3168/3728 took 837984 ms. Total solver calls (SAT/UNSAT): 6149385(9427/6139958)
Jun 01, 2017 3:08:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3172/3728 took 839022 ms. Total solver calls (SAT/UNSAT): 6156857(9439/6147418)
Jun 01, 2017 3:08:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3176/3728 took 840042 ms. Total solver calls (SAT/UNSAT): 6164329(9451/6154878)
Jun 01, 2017 3:08:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3180/3728 took 841071 ms. Total solver calls (SAT/UNSAT): 6171801(9463/6162338)
Jun 01, 2017 3:08:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3184/3728 took 842094 ms. Total solver calls (SAT/UNSAT): 6179273(9475/6169798)
Jun 01, 2017 3:08:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3188/3728 took 843326 ms. Total solver calls (SAT/UNSAT): 6188267(9487/6178780)
Jun 01, 2017 3:08:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3192/3728 took 844347 ms. Total solver calls (SAT/UNSAT): 6195739(9499/6186240)
Jun 01, 2017 3:08:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3196/3728 took 845365 ms. Total solver calls (SAT/UNSAT): 6203211(9511/6193700)
Jun 01, 2017 3:08:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3200/3728 took 846395 ms. Total solver calls (SAT/UNSAT): 6210683(9523/6201160)
Jun 01, 2017 3:08:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3204/3728 took 847423 ms. Total solver calls (SAT/UNSAT): 6218155(9535/6208620)
Jun 01, 2017 3:08:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3208/3728 took 848650 ms. Total solver calls (SAT/UNSAT): 6227148(9547/6217601)
Jun 01, 2017 3:08:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3212/3728 took 849686 ms. Total solver calls (SAT/UNSAT): 6234621(9559/6225062)
Jun 01, 2017 3:08:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3216/3728 took 850714 ms. Total solver calls (SAT/UNSAT): 6242093(9571/6232522)
Jun 01, 2017 3:08:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3220/3728 took 851790 ms. Total solver calls (SAT/UNSAT): 6249565(9583/6239982)
Jun 01, 2017 3:08:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3224/3728 took 852812 ms. Total solver calls (SAT/UNSAT): 6257037(9595/6247442)
Jun 01, 2017 3:08:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3228/3728 took 853835 ms. Total solver calls (SAT/UNSAT): 6264509(9607/6254902)
Jun 01, 2017 3:08:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3232/3728 took 855076 ms. Total solver calls (SAT/UNSAT): 6273503(9619/6263884)
Jun 01, 2017 3:08:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3236/3728 took 856091 ms. Total solver calls (SAT/UNSAT): 6280975(9631/6271344)
Jun 01, 2017 3:08:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3240/3728 took 857104 ms. Total solver calls (SAT/UNSAT): 6288447(9643/6278804)
Jun 01, 2017 3:08:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3244/3728 took 858120 ms. Total solver calls (SAT/UNSAT): 6295919(9655/6286264)
Jun 01, 2017 3:08:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3248/3728 took 859132 ms. Total solver calls (SAT/UNSAT): 6303391(9667/6293724)
Jun 01, 2017 3:08:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3251/3728 took 860148 ms. Total solver calls (SAT/UNSAT): 6310517(9676/6300841)
Jun 01, 2017 3:08:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3255/3728 took 861168 ms. Total solver calls (SAT/UNSAT): 6317989(9688/6308301)
Jun 01, 2017 3:08:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3259/3728 took 862190 ms. Total solver calls (SAT/UNSAT): 6325461(9700/6315761)
Jun 01, 2017 3:08:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3263/3728 took 863227 ms. Total solver calls (SAT/UNSAT): 6332933(9712/6323221)
Jun 01, 2017 3:08:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3267/3728 took 864241 ms. Total solver calls (SAT/UNSAT): 6340405(9724/6330681)
Jun 01, 2017 3:08:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3271/3728 took 865463 ms. Total solver calls (SAT/UNSAT): 6349398(9736/6339662)
Jun 01, 2017 3:08:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3275/3728 took 866489 ms. Total solver calls (SAT/UNSAT): 6356871(9748/6347123)
Jun 01, 2017 3:08:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3279/3728 took 867509 ms. Total solver calls (SAT/UNSAT): 6364343(9760/6354583)
Jun 01, 2017 3:08:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3283/3728 took 868524 ms. Total solver calls (SAT/UNSAT): 6371815(9772/6362043)
Jun 01, 2017 3:08:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3287/3728 took 869555 ms. Total solver calls (SAT/UNSAT): 6379287(9784/6369503)
Jun 01, 2017 3:08:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3291/3728 took 870579 ms. Total solver calls (SAT/UNSAT): 6386759(9796/6376963)
Jun 01, 2017 3:08:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3295/3728 took 871814 ms. Total solver calls (SAT/UNSAT): 6395753(9808/6385945)
Jun 01, 2017 3:08:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3299/3728 took 872837 ms. Total solver calls (SAT/UNSAT): 6403225(9820/6393405)
Jun 01, 2017 3:08:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3303/3728 took 873858 ms. Total solver calls (SAT/UNSAT): 6410697(9832/6400865)
Jun 01, 2017 3:08:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3307/3728 took 874924 ms. Total solver calls (SAT/UNSAT): 6418169(9844/6408325)
Jun 01, 2017 3:08:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3311/3728 took 875990 ms. Total solver calls (SAT/UNSAT): 6425641(9856/6415785)
Jun 01, 2017 3:08:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3315/3728 took 877216 ms. Total solver calls (SAT/UNSAT): 6434635(9868/6424767)
Jun 01, 2017 3:08:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3319/3728 took 878241 ms. Total solver calls (SAT/UNSAT): 6442107(9880/6432227)
Jun 01, 2017 3:08:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3323/3728 took 879266 ms. Total solver calls (SAT/UNSAT): 6449579(9892/6439687)
Jun 01, 2017 3:08:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3327/3728 took 880285 ms. Total solver calls (SAT/UNSAT): 6457051(9904/6447147)
Jun 01, 2017 3:08:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3331/3728 took 881318 ms. Total solver calls (SAT/UNSAT): 6464523(9916/6454607)
Jun 01, 2017 3:09:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3335/3728 took 882550 ms. Total solver calls (SAT/UNSAT): 6473517(9928/6463589)
Jun 01, 2017 3:09:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3339/3728 took 883572 ms. Total solver calls (SAT/UNSAT): 6480989(9940/6471049)
Jun 01, 2017 3:09:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3343/3728 took 884601 ms. Total solver calls (SAT/UNSAT): 6488461(9952/6478509)
Jun 01, 2017 3:09:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3347/3728 took 885624 ms. Total solver calls (SAT/UNSAT): 6495933(9964/6485969)
Jun 01, 2017 3:09:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3351/3728 took 886653 ms. Total solver calls (SAT/UNSAT): 6503405(9976/6493429)
Jun 01, 2017 3:09:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3355/3728 took 887882 ms. Total solver calls (SAT/UNSAT): 6512398(9988/6502410)
Jun 01, 2017 3:09:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3359/3728 took 888899 ms. Total solver calls (SAT/UNSAT): 6519871(10000/6509871)
Jun 01, 2017 3:09:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3363/3728 took 889920 ms. Total solver calls (SAT/UNSAT): 6527343(10012/6517331)
Jun 01, 2017 3:09:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3367/3728 took 890943 ms. Total solver calls (SAT/UNSAT): 6534815(10024/6524791)
Jun 01, 2017 3:09:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3371/3728 took 891965 ms. Total solver calls (SAT/UNSAT): 6542287(10036/6532251)
Jun 01, 2017 3:09:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3375/3728 took 892991 ms. Total solver calls (SAT/UNSAT): 6549759(10048/6539711)
Jun 01, 2017 3:09:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3379/3728 took 894222 ms. Total solver calls (SAT/UNSAT): 6558753(10060/6548693)
Jun 01, 2017 3:09:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3383/3728 took 895244 ms. Total solver calls (SAT/UNSAT): 6566225(10072/6556153)
Jun 01, 2017 3:09:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3387/3728 took 896266 ms. Total solver calls (SAT/UNSAT): 6573697(10084/6563613)
Jun 01, 2017 3:09:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3391/3728 took 897287 ms. Total solver calls (SAT/UNSAT): 6581169(10096/6571073)
Jun 01, 2017 3:09:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3395/3728 took 898308 ms. Total solver calls (SAT/UNSAT): 6588641(10108/6578533)
Jun 01, 2017 3:09:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3399/3728 took 899554 ms. Total solver calls (SAT/UNSAT): 6597635(10120/6587515)
Jun 01, 2017 3:09:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3403/3728 took 900567 ms. Total solver calls (SAT/UNSAT): 6605107(10132/6594975)
Jun 01, 2017 3:09:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3407/3728 took 901581 ms. Total solver calls (SAT/UNSAT): 6612579(10144/6602435)
Jun 01, 2017 3:09:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3411/3728 took 902609 ms. Total solver calls (SAT/UNSAT): 6620051(10156/6609895)
Jun 01, 2017 3:09:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3415/3728 took 903628 ms. Total solver calls (SAT/UNSAT): 6627523(10168/6617355)
Jun 01, 2017 3:09:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3419/3728 took 904852 ms. Total solver calls (SAT/UNSAT): 6636517(10180/6626337)
Jun 01, 2017 3:09:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3423/3728 took 905884 ms. Total solver calls (SAT/UNSAT): 6643989(10192/6633797)
Jun 01, 2017 3:09:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3427/3728 took 906904 ms. Total solver calls (SAT/UNSAT): 6651461(10204/6641257)
Jun 01, 2017 3:09:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3431/3728 took 907924 ms. Total solver calls (SAT/UNSAT): 6658933(10216/6648717)
Jun 01, 2017 3:09:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3435/3728 took 908948 ms. Total solver calls (SAT/UNSAT): 6666405(10228/6656177)
Jun 01, 2017 3:09:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3439/3728 took 910176 ms. Total solver calls (SAT/UNSAT): 6675398(10240/6665158)
Jun 01, 2017 3:09:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3465/3728 took 911209 ms. Total solver calls (SAT/UNSAT): 6682262(10266/6671996)
Jun 01, 2017 3:09:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3480/3728 took 912218 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="ReachabilityDeadlock"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/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 ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r010-csrt-149436129900566"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;