About the Execution of ITS-Tools for S_BridgeAndVehicles-PT-V80P50N20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15936.070 | 3600000.00 | 4765928.00 | 923.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 S_BridgeAndVehicles-PT-V80P50N20, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r090-csrt-149441076900566
=====================================================================
--------------------
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 1496422768759
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 02, 2017 4:59:30 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 02, 2017 4:59:30 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 333 ms
Jun 02, 2017 4:59:30 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 198 places.
Jun 02, 2017 4:59:31 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 3728 transitions.
Jun 02, 2017 4:59:31 PM fr.lip6.move.gal.logic.togal.ToGalTransformer toGal
WARNING: Unknown predicate type in boolean expression fr.lip6.move.gal.logic.impl.DeadlockImpl
Jun 02, 2017 4:59:31 PM 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 02, 2017 4:59:32 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 796 ms
Jun 02, 2017 4:59:32 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityDeadlock.pnml.gal : 83 ms
Jun 02, 2017 4:59:34 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 459 ms
Jun 02, 2017 4:59:49 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 198 variables to be positive in 15158 ms
Jun 02, 2017 4:59:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 3728 transitions.
Jun 02, 2017 4:59:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3728 took 338 ms. Total solver calls (SAT/UNSAT): 1943(2/1941)
Jun 02, 2017 4:59:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/3728 took 1459 ms. Total solver calls (SAT/UNSAT): 9715(10/9705)
Jun 02, 2017 4:59:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/3728 took 2621 ms. Total solver calls (SAT/UNSAT): 17487(18/17469)
Jun 02, 2017 4:59:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/3728 took 3766 ms. Total solver calls (SAT/UNSAT): 25259(26/25233)
Jun 02, 2017 4:59:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :16/3728 took 4909 ms. Total solver calls (SAT/UNSAT): 33031(34/32997)
Jun 02, 2017 4:59:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/3728 took 6019 ms. Total solver calls (SAT/UNSAT): 40803(42/40761)
Jun 02, 2017 4:59:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/3728 took 7126 ms. Total solver calls (SAT/UNSAT): 48575(50/48525)
Jun 02, 2017 4:59:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/3728 took 8230 ms. Total solver calls (SAT/UNSAT): 56347(58/56289)
Jun 02, 2017 4:59:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/3728 took 9321 ms. Total solver calls (SAT/UNSAT): 64119(66/64053)
Jun 02, 2017 4:59:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/3728 took 10423 ms. Total solver calls (SAT/UNSAT): 71891(74/71817)
Jun 02, 2017 5:00:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/3728 took 11515 ms. Total solver calls (SAT/UNSAT): 79663(82/79581)
Jun 02, 2017 5:00:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/3728 took 12605 ms. Total solver calls (SAT/UNSAT): 87435(90/87345)
Jun 02, 2017 5:00:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/3728 took 13693 ms. Total solver calls (SAT/UNSAT): 95207(98/95109)
Jun 02, 2017 5:00:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/3728 took 14788 ms. Total solver calls (SAT/UNSAT): 102979(106/102873)
Jun 02, 2017 5:00:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/3728 took 15878 ms. Total solver calls (SAT/UNSAT): 110751(114/110637)
Jun 02, 2017 5:00:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/3728 took 17000 ms. Total solver calls (SAT/UNSAT): 118523(122/118401)
Jun 02, 2017 5:00:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/3728 took 18063 ms. Total solver calls (SAT/UNSAT): 126295(130/126165)
Jun 02, 2017 5:00:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/3728 took 19123 ms. Total solver calls (SAT/UNSAT): 134067(138/133929)
Jun 02, 2017 5:00:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/3728 took 20189 ms. Total solver calls (SAT/UNSAT): 141839(146/141693)
Jun 02, 2017 5:00:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/3728 took 21251 ms. Total solver calls (SAT/UNSAT): 149611(154/149457)
Jun 02, 2017 5:00:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/3728 took 22383 ms. Total solver calls (SAT/UNSAT): 157308(163/157145)
Jun 02, 2017 5:00:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/3728 took 23432 ms. Total solver calls (SAT/UNSAT): 164784(175/164609)
Jun 02, 2017 5:00:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/3728 took 24477 ms. Total solver calls (SAT/UNSAT): 172260(187/172073)
Jun 02, 2017 5:00:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/3728 took 25506 ms. Total solver calls (SAT/UNSAT): 179736(199/179537)
Jun 02, 2017 5:00:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/3728 took 26531 ms. Total solver calls (SAT/UNSAT): 187212(211/187001)
Jun 02, 2017 5:00:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/3728 took 27556 ms. Total solver calls (SAT/UNSAT): 194688(223/194465)
Jun 02, 2017 5:00:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/3728 took 28575 ms. Total solver calls (SAT/UNSAT): 202164(235/201929)
Jun 02, 2017 5:00:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/3728 took 29604 ms. Total solver calls (SAT/UNSAT): 209640(247/209393)
Jun 02, 2017 5:00:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/3728 took 30640 ms. Total solver calls (SAT/UNSAT): 217116(259/216857)
Jun 02, 2017 5:00:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/3728 took 31668 ms. Total solver calls (SAT/UNSAT): 224592(271/224321)
Jun 02, 2017 5:00:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/3728 took 32695 ms. Total solver calls (SAT/UNSAT): 232068(283/231785)
Jun 02, 2017 5:00:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/3728 took 33724 ms. Total solver calls (SAT/UNSAT): 239544(295/239249)
Jun 02, 2017 5:00:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/3728 took 34752 ms. Total solver calls (SAT/UNSAT): 247020(307/246713)
Jun 02, 2017 5:00:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/3728 took 35782 ms. Total solver calls (SAT/UNSAT): 254496(319/254177)
Jun 02, 2017 5:00:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/3728 took 36815 ms. Total solver calls (SAT/UNSAT): 261972(331/261641)
Jun 02, 2017 5:00:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/3728 took 37858 ms. Total solver calls (SAT/UNSAT): 269448(343/269105)
Jun 02, 2017 5:00:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/3728 took 38883 ms. Total solver calls (SAT/UNSAT): 276924(355/276569)
Jun 02, 2017 5:00:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/3728 took 39907 ms. Total solver calls (SAT/UNSAT): 284400(367/284033)
Jun 02, 2017 5:00:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/3728 took 40925 ms. Total solver calls (SAT/UNSAT): 291876(379/291497)
Jun 02, 2017 5:00:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/3728 took 41951 ms. Total solver calls (SAT/UNSAT): 299352(391/298961)
Jun 02, 2017 5:00:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :160/3728 took 42977 ms. Total solver calls (SAT/UNSAT): 306826(403/306423)
Jun 02, 2017 5:00:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/3728 took 44004 ms. Total solver calls (SAT/UNSAT): 314298(415/313883)
Jun 02, 2017 5:00:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/3728 took 45038 ms. Total solver calls (SAT/UNSAT): 321770(427/321343)
Jun 02, 2017 5:00:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/3728 took 46071 ms. Total solver calls (SAT/UNSAT): 329242(439/328803)
Jun 02, 2017 5:00:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/3728 took 47098 ms. Total solver calls (SAT/UNSAT): 336714(451/336263)
Jun 02, 2017 5:00:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/3728 took 48126 ms. Total solver calls (SAT/UNSAT): 344186(463/343723)
Jun 02, 2017 5:00:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :184/3728 took 49151 ms. Total solver calls (SAT/UNSAT): 351658(475/351183)
Jun 02, 2017 5:00:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :188/3728 took 50181 ms. Total solver calls (SAT/UNSAT): 359130(487/358643)
Jun 02, 2017 5:00:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/3728 took 51210 ms. Total solver calls (SAT/UNSAT): 366602(499/366103)
Jun 02, 2017 5:00:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/3728 took 52238 ms. Total solver calls (SAT/UNSAT): 374074(511/373563)
Jun 02, 2017 5:00:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/3728 took 53277 ms. Total solver calls (SAT/UNSAT): 381546(523/381023)
Jun 02, 2017 5:00:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/3728 took 54301 ms. Total solver calls (SAT/UNSAT): 389018(535/388483)
Jun 02, 2017 5:00:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :208/3728 took 55329 ms. Total solver calls (SAT/UNSAT): 396490(547/395943)
Jun 02, 2017 5:00:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :212/3728 took 56359 ms. Total solver calls (SAT/UNSAT): 403962(559/403403)
Jun 02, 2017 5:00:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/3728 took 57389 ms. Total solver calls (SAT/UNSAT): 411434(571/410863)
Jun 02, 2017 5:00:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/3728 took 58419 ms. Total solver calls (SAT/UNSAT): 418906(583/418323)
Jun 02, 2017 5:00:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :224/3728 took 59447 ms. Total solver calls (SAT/UNSAT): 426378(595/425783)
Jun 02, 2017 5:00:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/3728 took 60484 ms. Total solver calls (SAT/UNSAT): 433850(607/433243)
Jun 02, 2017 5:00:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :232/3728 took 61515 ms. Total solver calls (SAT/UNSAT): 441322(619/440703)
Jun 02, 2017 5:00:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/3728 took 62541 ms. Total solver calls (SAT/UNSAT): 448794(631/448163)
Jun 02, 2017 5:00:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/3728 took 63570 ms. Total solver calls (SAT/UNSAT): 456265(643/455622)
Jun 02, 2017 5:00:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :244/3728 took 64646 ms. Total solver calls (SAT/UNSAT): 463737(655/463082)
Jun 02, 2017 5:00:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/3728 took 65719 ms. Total solver calls (SAT/UNSAT): 471209(667/470542)
Jun 02, 2017 5:00:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/3728 took 66734 ms. Total solver calls (SAT/UNSAT): 478681(679/478002)
Jun 02, 2017 5:00:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :256/3728 took 67744 ms. Total solver calls (SAT/UNSAT): 486153(691/485462)
Jun 02, 2017 5:00:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :260/3728 took 68758 ms. Total solver calls (SAT/UNSAT): 493625(703/492922)
Jun 02, 2017 5:00:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :264/3728 took 69804 ms. Total solver calls (SAT/UNSAT): 501097(715/500382)
Jun 02, 2017 5:01:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :268/3728 took 70819 ms. Total solver calls (SAT/UNSAT): 508569(727/507842)
Jun 02, 2017 5:01:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :272/3728 took 71834 ms. Total solver calls (SAT/UNSAT): 516041(739/515302)
Jun 02, 2017 5:01:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :276/3728 took 72845 ms. Total solver calls (SAT/UNSAT): 523513(751/522762)
Jun 02, 2017 5:01:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :280/3728 took 73848 ms. Total solver calls (SAT/UNSAT): 530985(763/530222)
Jun 02, 2017 5:01:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :284/3728 took 74852 ms. Total solver calls (SAT/UNSAT): 538457(775/537682)
Jun 02, 2017 5:01:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :288/3728 took 75856 ms. Total solver calls (SAT/UNSAT): 545929(787/545142)
Jun 02, 2017 5:01:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/3728 took 76864 ms. Total solver calls (SAT/UNSAT): 553401(799/552602)
Jun 02, 2017 5:01:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/3728 took 77870 ms. Total solver calls (SAT/UNSAT): 560873(811/560062)
Jun 02, 2017 5:01:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :300/3728 took 78875 ms. Total solver calls (SAT/UNSAT): 568345(823/567522)
Jun 02, 2017 5:01:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/3728 took 79883 ms. Total solver calls (SAT/UNSAT): 575817(835/574982)
Jun 02, 2017 5:01:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/3728 took 80888 ms. Total solver calls (SAT/UNSAT): 583289(847/582442)
Jun 02, 2017 5:01:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :312/3728 took 81891 ms. Total solver calls (SAT/UNSAT): 590761(859/589902)
Jun 02, 2017 5:01:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/3728 took 82897 ms. Total solver calls (SAT/UNSAT): 598233(871/597362)
Jun 02, 2017 5:01:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :320/3728 took 83899 ms. Total solver calls (SAT/UNSAT): 605704(883/604821)
Jun 02, 2017 5:01:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/3728 took 84911 ms. Total solver calls (SAT/UNSAT): 613176(895/612281)
Jun 02, 2017 5:01:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :328/3728 took 85913 ms. Total solver calls (SAT/UNSAT): 620648(907/619741)
Jun 02, 2017 5:01:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/3728 took 86915 ms. Total solver calls (SAT/UNSAT): 628120(919/627201)
Jun 02, 2017 5:01:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/3728 took 87920 ms. Total solver calls (SAT/UNSAT): 635592(931/634661)
Jun 02, 2017 5:01:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :340/3728 took 88925 ms. Total solver calls (SAT/UNSAT): 643064(943/642121)
Jun 02, 2017 5:01:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :344/3728 took 89930 ms. Total solver calls (SAT/UNSAT): 650536(955/649581)
Jun 02, 2017 5:01:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/3728 took 90934 ms. Total solver calls (SAT/UNSAT): 658008(967/657041)
Jun 02, 2017 5:01:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/3728 took 91938 ms. Total solver calls (SAT/UNSAT): 665480(979/664501)
Jun 02, 2017 5:01:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/3728 took 92951 ms. Total solver calls (SAT/UNSAT): 672952(991/671961)
Jun 02, 2017 5:01:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/3728 took 93954 ms. Total solver calls (SAT/UNSAT): 680424(1003/679421)
Jun 02, 2017 5:01:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/3728 took 94960 ms. Total solver calls (SAT/UNSAT): 687896(1015/686881)
Jun 02, 2017 5:01:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/3728 took 95965 ms. Total solver calls (SAT/UNSAT): 695368(1027/694341)
Jun 02, 2017 5:01:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/3728 took 96966 ms. Total solver calls (SAT/UNSAT): 702840(1039/701801)
Jun 02, 2017 5:01:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/3728 took 97970 ms. Total solver calls (SAT/UNSAT): 710312(1051/709261)
Jun 02, 2017 5:01:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/3728 took 98974 ms. Total solver calls (SAT/UNSAT): 717784(1063/716721)
Jun 02, 2017 5:01:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/3728 took 99979 ms. Total solver calls (SAT/UNSAT): 725256(1075/724181)
Jun 02, 2017 5:01:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/3728 took 100991 ms. Total solver calls (SAT/UNSAT): 732728(1087/731641)
Jun 02, 2017 5:01:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/3728 took 101995 ms. Total solver calls (SAT/UNSAT): 740200(1099/739101)
Jun 02, 2017 5:01:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/3728 took 102997 ms. Total solver calls (SAT/UNSAT): 747672(1111/746561)
Jun 02, 2017 5:01:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/3728 took 104001 ms. Total solver calls (SAT/UNSAT): 755143(1123/754020)
Jun 02, 2017 5:01:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/3728 took 105009 ms. Total solver calls (SAT/UNSAT): 762615(1135/761480)
Jun 02, 2017 5:01:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/3728 took 106018 ms. Total solver calls (SAT/UNSAT): 770087(1147/768940)
Jun 02, 2017 5:01:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/3728 took 107025 ms. Total solver calls (SAT/UNSAT): 777559(1159/776400)
Jun 02, 2017 5:01:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/3728 took 108031 ms. Total solver calls (SAT/UNSAT): 785031(1171/783860)
Jun 02, 2017 5:01:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/3728 took 109047 ms. Total solver calls (SAT/UNSAT): 792503(1183/791320)
Jun 02, 2017 5:01:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/3728 took 110055 ms. Total solver calls (SAT/UNSAT): 799975(1195/798780)
Jun 02, 2017 5:01:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/3728 took 111061 ms. Total solver calls (SAT/UNSAT): 807447(1207/806240)
Jun 02, 2017 5:01:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/3728 took 112070 ms. Total solver calls (SAT/UNSAT): 814919(1219/813700)
Jun 02, 2017 5:01:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :436/3728 took 113078 ms. Total solver calls (SAT/UNSAT): 822391(1231/821160)
Jun 02, 2017 5:01:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :440/3728 took 114086 ms. Total solver calls (SAT/UNSAT): 829863(1243/828620)
Jun 02, 2017 5:01:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :444/3728 took 115135 ms. Total solver calls (SAT/UNSAT): 837335(1255/836080)
Jun 02, 2017 5:01:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :448/3728 took 116138 ms. Total solver calls (SAT/UNSAT): 844807(1267/843540)
Jun 02, 2017 5:01:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/3728 took 117146 ms. Total solver calls (SAT/UNSAT): 852279(1279/851000)
Jun 02, 2017 5:01:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/3728 took 118150 ms. Total solver calls (SAT/UNSAT): 859751(1291/858460)
Jun 02, 2017 5:01:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/3728 took 119155 ms. Total solver calls (SAT/UNSAT): 867223(1303/865920)
Jun 02, 2017 5:01:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/3728 took 120162 ms. Total solver calls (SAT/UNSAT): 874695(1315/873380)
Jun 02, 2017 5:01:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :468/3728 took 121167 ms. Total solver calls (SAT/UNSAT): 882167(1327/880840)
Jun 02, 2017 5:01:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :472/3728 took 122170 ms. Total solver calls (SAT/UNSAT): 889639(1339/888300)
Jun 02, 2017 5:01:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/3728 took 123173 ms. Total solver calls (SAT/UNSAT): 897111(1351/895760)
Jun 02, 2017 5:01:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :480/3728 took 124174 ms. Total solver calls (SAT/UNSAT): 904582(1363/903219)
Jun 02, 2017 5:01:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :484/3728 took 125182 ms. Total solver calls (SAT/UNSAT): 912054(1375/910679)
Jun 02, 2017 5:01:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :488/3728 took 126186 ms. Total solver calls (SAT/UNSAT): 919526(1387/918139)
Jun 02, 2017 5:01:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :492/3728 took 127190 ms. Total solver calls (SAT/UNSAT): 926998(1399/925599)
Jun 02, 2017 5:01:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :496/3728 took 128196 ms. Total solver calls (SAT/UNSAT): 934470(1411/933059)
Jun 02, 2017 5:01:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :500/3728 took 129199 ms. Total solver calls (SAT/UNSAT): 941942(1423/940519)
Jun 02, 2017 5:01:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :504/3728 took 130206 ms. Total solver calls (SAT/UNSAT): 949414(1435/947979)
Jun 02, 2017 5:02:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/3728 took 131209 ms. Total solver calls (SAT/UNSAT): 956886(1447/955439)
Jun 02, 2017 5:02:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :512/3728 took 132215 ms. Total solver calls (SAT/UNSAT): 964358(1459/962899)
Jun 02, 2017 5:02:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/3728 took 133224 ms. Total solver calls (SAT/UNSAT): 971830(1471/970359)
Jun 02, 2017 5:02:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/3728 took 134235 ms. Total solver calls (SAT/UNSAT): 979302(1483/977819)
Jun 02, 2017 5:02:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/3728 took 135242 ms. Total solver calls (SAT/UNSAT): 986774(1495/985279)
Jun 02, 2017 5:02:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :528/3728 took 136247 ms. Total solver calls (SAT/UNSAT): 994246(1507/992739)
Jun 02, 2017 5:02:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :532/3728 took 137252 ms. Total solver calls (SAT/UNSAT): 1001718(1519/1000199)
Jun 02, 2017 5:02:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :536/3728 took 138253 ms. Total solver calls (SAT/UNSAT): 1009190(1531/1007659)
Jun 02, 2017 5:02:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :540/3728 took 139258 ms. Total solver calls (SAT/UNSAT): 1016662(1543/1015119)
Jun 02, 2017 5:02:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :544/3728 took 140260 ms. Total solver calls (SAT/UNSAT): 1024134(1555/1022579)
Jun 02, 2017 5:02:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :548/3728 took 141262 ms. Total solver calls (SAT/UNSAT): 1031606(1567/1030039)
Jun 02, 2017 5:02:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :552/3728 took 142269 ms. Total solver calls (SAT/UNSAT): 1039078(1579/1037499)
Jun 02, 2017 5:02:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/3728 took 143271 ms. Total solver calls (SAT/UNSAT): 1046550(1591/1044959)
Jun 02, 2017 5:02:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :560/3728 took 144273 ms. Total solver calls (SAT/UNSAT): 1054021(1603/1052418)
Jun 02, 2017 5:02:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/3728 took 145273 ms. Total solver calls (SAT/UNSAT): 1061493(1615/1059878)
Jun 02, 2017 5:02:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/3728 took 146275 ms. Total solver calls (SAT/UNSAT): 1068965(1627/1067338)
Jun 02, 2017 5:02:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/3728 took 147282 ms. Total solver calls (SAT/UNSAT): 1076437(1639/1074798)
Jun 02, 2017 5:02:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/3728 took 148287 ms. Total solver calls (SAT/UNSAT): 1083909(1651/1082258)
Jun 02, 2017 5:02:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/3728 took 149293 ms. Total solver calls (SAT/UNSAT): 1091381(1663/1089718)
Jun 02, 2017 5:02:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/3728 took 150317 ms. Total solver calls (SAT/UNSAT): 1098853(1675/1097178)
Jun 02, 2017 5:02:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/3728 took 151384 ms. Total solver calls (SAT/UNSAT): 1106325(1687/1104638)
Jun 02, 2017 5:02:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :592/3728 took 152499 ms. Total solver calls (SAT/UNSAT): 1113797(1699/1112098)
Jun 02, 2017 5:02:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :596/3728 took 153561 ms. Total solver calls (SAT/UNSAT): 1121269(1711/1119558)
Jun 02, 2017 5:02:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :600/3728 took 154627 ms. Total solver calls (SAT/UNSAT): 1128741(1723/1127018)
Jun 02, 2017 5:02:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :604/3728 took 155691 ms. Total solver calls (SAT/UNSAT): 1136213(1735/1134478)
Jun 02, 2017 5:02:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :608/3728 took 156761 ms. Total solver calls (SAT/UNSAT): 1143685(1747/1141938)
Jun 02, 2017 5:02:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :612/3728 took 157830 ms. Total solver calls (SAT/UNSAT): 1151157(1759/1149398)
Jun 02, 2017 5:02:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :616/3728 took 158906 ms. Total solver calls (SAT/UNSAT): 1158629(1771/1156858)
Jun 02, 2017 5:02:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :620/3728 took 159975 ms. Total solver calls (SAT/UNSAT): 1166101(1783/1164318)
Jun 02, 2017 5:02:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :624/3728 took 161052 ms. Total solver calls (SAT/UNSAT): 1173573(1795/1171778)
Jun 02, 2017 5:02:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :628/3728 took 162071 ms. Total solver calls (SAT/UNSAT): 1181045(1807/1179238)
Jun 02, 2017 5:02:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :632/3728 took 163095 ms. Total solver calls (SAT/UNSAT): 1188517(1819/1186698)
Jun 02, 2017 5:02:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :636/3728 took 164118 ms. Total solver calls (SAT/UNSAT): 1195989(1831/1194158)
Jun 02, 2017 5:02:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :640/3728 took 165142 ms. Total solver calls (SAT/UNSAT): 1203460(1843/1201617)
Jun 02, 2017 5:02:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :644/3728 took 166167 ms. Total solver calls (SAT/UNSAT): 1210932(1855/1209077)
Jun 02, 2017 5:02:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :648/3728 took 167190 ms. Total solver calls (SAT/UNSAT): 1218404(1867/1216537)
Jun 02, 2017 5:02:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :652/3728 took 168216 ms. Total solver calls (SAT/UNSAT): 1225876(1879/1223997)
Jun 02, 2017 5:02:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :656/3728 took 169238 ms. Total solver calls (SAT/UNSAT): 1233348(1891/1231457)
Jun 02, 2017 5:02:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :660/3728 took 170257 ms. Total solver calls (SAT/UNSAT): 1240820(1903/1238917)
Jun 02, 2017 5:02:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :664/3728 took 171279 ms. Total solver calls (SAT/UNSAT): 1248292(1915/1246377)
Jun 02, 2017 5:02:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :668/3728 took 172301 ms. Total solver calls (SAT/UNSAT): 1255764(1927/1253837)
Jun 02, 2017 5:02:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :672/3728 took 173323 ms. Total solver calls (SAT/UNSAT): 1263236(1939/1261297)
Jun 02, 2017 5:02:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :676/3728 took 174347 ms. Total solver calls (SAT/UNSAT): 1270708(1951/1268757)
Jun 02, 2017 5:02:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :680/3728 took 175367 ms. Total solver calls (SAT/UNSAT): 1278180(1963/1276217)
Jun 02, 2017 5:02:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :684/3728 took 176402 ms. Total solver calls (SAT/UNSAT): 1285652(1975/1283677)
Jun 02, 2017 5:02:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :688/3728 took 177425 ms. Total solver calls (SAT/UNSAT): 1293124(1987/1291137)
Jun 02, 2017 5:02:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :692/3728 took 178447 ms. Total solver calls (SAT/UNSAT): 1300596(1999/1298597)
Jun 02, 2017 5:02:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :696/3728 took 179469 ms. Total solver calls (SAT/UNSAT): 1308068(2011/1306057)
Jun 02, 2017 5:02:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :700/3728 took 180491 ms. Total solver calls (SAT/UNSAT): 1315540(2023/1313517)
Jun 02, 2017 5:02:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :704/3728 took 181511 ms. Total solver calls (SAT/UNSAT): 1323012(2035/1320977)
Jun 02, 2017 5:02:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :708/3728 took 182531 ms. Total solver calls (SAT/UNSAT): 1330484(2047/1328437)
Jun 02, 2017 5:02:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :712/3728 took 183556 ms. Total solver calls (SAT/UNSAT): 1337956(2059/1335897)
Jun 02, 2017 5:02:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :716/3728 took 184574 ms. Total solver calls (SAT/UNSAT): 1345428(2071/1343357)
Jun 02, 2017 5:02:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :720/3728 took 185593 ms. Total solver calls (SAT/UNSAT): 1352899(2083/1350816)
Jun 02, 2017 5:02:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :724/3728 took 186614 ms. Total solver calls (SAT/UNSAT): 1360371(2095/1358276)
Jun 02, 2017 5:02:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :728/3728 took 187636 ms. Total solver calls (SAT/UNSAT): 1367843(2107/1365736)
Jun 02, 2017 5:02:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :732/3728 took 188659 ms. Total solver calls (SAT/UNSAT): 1375315(2119/1373196)
Jun 02, 2017 5:02:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :736/3728 took 189679 ms. Total solver calls (SAT/UNSAT): 1382787(2131/1380656)
Jun 02, 2017 5:03:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :740/3728 took 190706 ms. Total solver calls (SAT/UNSAT): 1390259(2143/1388116)
Jun 02, 2017 5:03:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :744/3728 took 191729 ms. Total solver calls (SAT/UNSAT): 1397731(2155/1395576)
Jun 02, 2017 5:03:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :748/3728 took 192753 ms. Total solver calls (SAT/UNSAT): 1405203(2167/1403036)
Jun 02, 2017 5:03:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :752/3728 took 193775 ms. Total solver calls (SAT/UNSAT): 1412675(2179/1410496)
Jun 02, 2017 5:03:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :756/3728 took 194798 ms. Total solver calls (SAT/UNSAT): 1420147(2191/1417956)
Jun 02, 2017 5:03:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :760/3728 took 195821 ms. Total solver calls (SAT/UNSAT): 1427619(2203/1425416)
Jun 02, 2017 5:03:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :764/3728 took 196845 ms. Total solver calls (SAT/UNSAT): 1435091(2215/1432876)
Jun 02, 2017 5:03:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :768/3728 took 197876 ms. Total solver calls (SAT/UNSAT): 1442563(2227/1440336)
Jun 02, 2017 5:03:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :772/3728 took 198903 ms. Total solver calls (SAT/UNSAT): 1450035(2239/1447796)
Jun 02, 2017 5:03:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :776/3728 took 199972 ms. Total solver calls (SAT/UNSAT): 1457507(2251/1455256)
Jun 02, 2017 5:03:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :780/3728 took 200981 ms. Total solver calls (SAT/UNSAT): 1464979(2263/1462716)
Jun 02, 2017 5:03:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :784/3728 took 201988 ms. Total solver calls (SAT/UNSAT): 1472451(2275/1470176)
Jun 02, 2017 5:03:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :788/3728 took 202994 ms. Total solver calls (SAT/UNSAT): 1479923(2287/1477636)
Jun 02, 2017 5:03:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :792/3728 took 204003 ms. Total solver calls (SAT/UNSAT): 1487395(2299/1485096)
Jun 02, 2017 5:03:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :796/3728 took 205018 ms. Total solver calls (SAT/UNSAT): 1494867(2311/1492556)
Jun 02, 2017 5:03:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :800/3728 took 206026 ms. Total solver calls (SAT/UNSAT): 1502338(2323/1500015)
Jun 02, 2017 5:03:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :804/3728 took 207032 ms. Total solver calls (SAT/UNSAT): 1509810(2335/1507475)
Jun 02, 2017 5:03:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :808/3728 took 208096 ms. Total solver calls (SAT/UNSAT): 1517282(2347/1514935)
Jun 02, 2017 5:03:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :812/3728 took 209185 ms. Total solver calls (SAT/UNSAT): 1524754(2359/1522395)
Jun 02, 2017 5:03:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :816/3728 took 210261 ms. Total solver calls (SAT/UNSAT): 1532226(2371/1529855)
Jun 02, 2017 5:03:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :820/3728 took 211346 ms. Total solver calls (SAT/UNSAT): 1539698(2383/1537315)
Jun 02, 2017 5:03:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :824/3728 took 212425 ms. Total solver calls (SAT/UNSAT): 1547170(2395/1544775)
Jun 02, 2017 5:03:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :828/3728 took 213466 ms. Total solver calls (SAT/UNSAT): 1554642(2407/1552235)
Jun 02, 2017 5:03:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :832/3728 took 214510 ms. Total solver calls (SAT/UNSAT): 1562114(2419/1559695)
Jun 02, 2017 5:03:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :836/3728 took 215556 ms. Total solver calls (SAT/UNSAT): 1569586(2431/1567155)
Jun 02, 2017 5:03:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :840/3728 took 216603 ms. Total solver calls (SAT/UNSAT): 1577058(2443/1574615)
Jun 02, 2017 5:03:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :844/3728 took 217653 ms. Total solver calls (SAT/UNSAT): 1584530(2455/1582075)
Jun 02, 2017 5:03:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :848/3728 took 218707 ms. Total solver calls (SAT/UNSAT): 1592002(2467/1589535)
Jun 02, 2017 5:03:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :852/3728 took 219756 ms. Total solver calls (SAT/UNSAT): 1599474(2479/1596995)
Jun 02, 2017 5:03:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :856/3728 took 220804 ms. Total solver calls (SAT/UNSAT): 1606946(2491/1604455)
Jun 02, 2017 5:03:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :860/3728 took 221857 ms. Total solver calls (SAT/UNSAT): 1614418(2503/1611915)
Jun 02, 2017 5:03:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :864/3728 took 222908 ms. Total solver calls (SAT/UNSAT): 1621890(2515/1619375)
Jun 02, 2017 5:03:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :868/3728 took 223961 ms. Total solver calls (SAT/UNSAT): 1629362(2527/1626835)
Jun 02, 2017 5:03:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :872/3728 took 225011 ms. Total solver calls (SAT/UNSAT): 1636834(2539/1634295)
Jun 02, 2017 5:03:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :876/3728 took 226059 ms. Total solver calls (SAT/UNSAT): 1644306(2551/1641755)
Jun 02, 2017 5:03:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :880/3728 took 227144 ms. Total solver calls (SAT/UNSAT): 1651777(2563/1649214)
Jun 02, 2017 5:03:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :884/3728 took 228186 ms. Total solver calls (SAT/UNSAT): 1659249(2575/1656674)
Jun 02, 2017 5:03:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :888/3728 took 229220 ms. Total solver calls (SAT/UNSAT): 1666721(2587/1664134)
Jun 02, 2017 5:03:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :892/3728 took 230260 ms. Total solver calls (SAT/UNSAT): 1674193(2599/1671594)
Jun 02, 2017 5:03:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :896/3728 took 231287 ms. Total solver calls (SAT/UNSAT): 1681665(2611/1679054)
Jun 02, 2017 5:03:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :900/3728 took 232315 ms. Total solver calls (SAT/UNSAT): 1689137(2623/1686514)
Jun 02, 2017 5:03:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :904/3728 took 233345 ms. Total solver calls (SAT/UNSAT): 1696609(2635/1693974)
Jun 02, 2017 5:03:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :908/3728 took 234375 ms. Total solver calls (SAT/UNSAT): 1704081(2647/1701434)
Jun 02, 2017 5:03:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :912/3728 took 235403 ms. Total solver calls (SAT/UNSAT): 1711553(2659/1708894)
Jun 02, 2017 5:03:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :916/3728 took 236485 ms. Total solver calls (SAT/UNSAT): 1719025(2671/1716354)
Jun 02, 2017 5:03:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :920/3728 took 237566 ms. Total solver calls (SAT/UNSAT): 1726497(2683/1723814)
Jun 02, 2017 5:03:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :924/3728 took 238604 ms. Total solver calls (SAT/UNSAT): 1733969(2695/1731274)
Jun 02, 2017 5:03:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :928/3728 took 239673 ms. Total solver calls (SAT/UNSAT): 1741441(2707/1738734)
Jun 02, 2017 5:03:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :932/3728 took 240715 ms. Total solver calls (SAT/UNSAT): 1748913(2719/1746194)
Jun 02, 2017 5:03:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :936/3728 took 241760 ms. Total solver calls (SAT/UNSAT): 1756385(2731/1753654)
Jun 02, 2017 5:03:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :940/3728 took 242857 ms. Total solver calls (SAT/UNSAT): 1763857(2743/1761114)
Jun 02, 2017 5:03:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :944/3728 took 243897 ms. Total solver calls (SAT/UNSAT): 1771329(2755/1768574)
Jun 02, 2017 5:03:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :948/3728 took 244937 ms. Total solver calls (SAT/UNSAT): 1778801(2767/1776034)
Jun 02, 2017 5:03:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :952/3728 took 245983 ms. Total solver calls (SAT/UNSAT): 1786273(2779/1783494)
Jun 02, 2017 5:03:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :956/3728 took 247063 ms. Total solver calls (SAT/UNSAT): 1793745(2791/1790954)
Jun 02, 2017 5:03:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :960/3728 took 248146 ms. Total solver calls (SAT/UNSAT): 1801216(2803/1798413)
Jun 02, 2017 5:03:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :964/3728 took 249178 ms. Total solver calls (SAT/UNSAT): 1808688(2815/1805873)
Jun 02, 2017 5:03:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :968/3728 took 250256 ms. Total solver calls (SAT/UNSAT): 1816160(2827/1813333)
Jun 02, 2017 5:04:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :972/3728 took 251316 ms. Total solver calls (SAT/UNSAT): 1823632(2839/1820793)
Jun 02, 2017 5:04:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :976/3728 took 252356 ms. Total solver calls (SAT/UNSAT): 1831104(2851/1828253)
Jun 02, 2017 5:04:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :980/3728 took 253380 ms. Total solver calls (SAT/UNSAT): 1838576(2863/1835713)
Jun 02, 2017 5:04:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :984/3728 took 254457 ms. Total solver calls (SAT/UNSAT): 1846048(2875/1843173)
Jun 02, 2017 5:04:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :988/3728 took 255495 ms. Total solver calls (SAT/UNSAT): 1853520(2887/1850633)
Jun 02, 2017 5:04:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :992/3728 took 256533 ms. Total solver calls (SAT/UNSAT): 1860992(2899/1858093)
Jun 02, 2017 5:04:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :996/3728 took 257556 ms. Total solver calls (SAT/UNSAT): 1868464(2911/1865553)
Jun 02, 2017 5:04:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1000/3728 took 258575 ms. Total solver calls (SAT/UNSAT): 1875936(2923/1873013)
Jun 02, 2017 5:04:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1004/3728 took 259720 ms. Total solver calls (SAT/UNSAT): 1883408(2935/1880473)
Jun 02, 2017 5:04:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1008/3728 took 260787 ms. Total solver calls (SAT/UNSAT): 1890880(2947/1887933)
Jun 02, 2017 5:04:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1012/3728 took 261850 ms. Total solver calls (SAT/UNSAT): 1898352(2959/1895393)
Jun 02, 2017 5:04:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1016/3728 took 262887 ms. Total solver calls (SAT/UNSAT): 1905824(2971/1902853)
Jun 02, 2017 5:04:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1020/3728 took 263927 ms. Total solver calls (SAT/UNSAT): 1913296(2983/1910313)
Jun 02, 2017 5:04:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1024/3728 took 264958 ms. Total solver calls (SAT/UNSAT): 1920768(2995/1917773)
Jun 02, 2017 5:04:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1028/3728 took 266000 ms. Total solver calls (SAT/UNSAT): 1928240(3007/1925233)
Jun 02, 2017 5:04:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1032/3728 took 267029 ms. Total solver calls (SAT/UNSAT): 1935712(3019/1932693)
Jun 02, 2017 5:04:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1036/3728 took 268062 ms. Total solver calls (SAT/UNSAT): 1943184(3031/1940153)
Jun 02, 2017 5:04:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1040/3728 took 269085 ms. Total solver calls (SAT/UNSAT): 1950655(3043/1947612)
Jun 02, 2017 5:04:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1044/3728 took 270113 ms. Total solver calls (SAT/UNSAT): 1958127(3055/1955072)
Jun 02, 2017 5:04:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1048/3728 took 271143 ms. Total solver calls (SAT/UNSAT): 1965599(3067/1962532)
Jun 02, 2017 5:04:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1052/3728 took 272176 ms. Total solver calls (SAT/UNSAT): 1973071(3079/1969992)
Jun 02, 2017 5:04:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1056/3728 took 273203 ms. Total solver calls (SAT/UNSAT): 1980543(3091/1977452)
Jun 02, 2017 5:04:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1060/3728 took 274324 ms. Total solver calls (SAT/UNSAT): 1988015(3103/1984912)
Jun 02, 2017 5:04:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1064/3728 took 275345 ms. Total solver calls (SAT/UNSAT): 1995487(3115/1992372)
Jun 02, 2017 5:04:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1068/3728 took 276406 ms. Total solver calls (SAT/UNSAT): 2002959(3127/1999832)
Jun 02, 2017 5:04:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1072/3728 took 277438 ms. Total solver calls (SAT/UNSAT): 2010431(3139/2007292)
Jun 02, 2017 5:04:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1076/3728 took 278478 ms. Total solver calls (SAT/UNSAT): 2017903(3151/2014752)
Jun 02, 2017 5:04:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1080/3728 took 279501 ms. Total solver calls (SAT/UNSAT): 2025375(3163/2022212)
Jun 02, 2017 5:04:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1084/3728 took 280518 ms. Total solver calls (SAT/UNSAT): 2032847(3175/2029672)
Jun 02, 2017 5:04:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1088/3728 took 281590 ms. Total solver calls (SAT/UNSAT): 2040319(3187/2037132)
Jun 02, 2017 5:04:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1092/3728 took 282681 ms. Total solver calls (SAT/UNSAT): 2047791(3199/2044592)
Jun 02, 2017 5:04:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1096/3728 took 283725 ms. Total solver calls (SAT/UNSAT): 2055263(3211/2052052)
Jun 02, 2017 5:04:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1100/3728 took 284834 ms. Total solver calls (SAT/UNSAT): 2062735(3223/2059512)
Jun 02, 2017 5:04:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1104/3728 took 285857 ms. Total solver calls (SAT/UNSAT): 2070207(3235/2066972)
Jun 02, 2017 5:04:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1108/3728 took 286894 ms. Total solver calls (SAT/UNSAT): 2077679(3247/2074432)
Jun 02, 2017 5:04:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1112/3728 took 287910 ms. Total solver calls (SAT/UNSAT): 2085151(3259/2081892)
Jun 02, 2017 5:04:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1116/3728 took 288934 ms. Total solver calls (SAT/UNSAT): 2092623(3271/2089352)
Jun 02, 2017 5:04:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1120/3728 took 290014 ms. Total solver calls (SAT/UNSAT): 2100094(3283/2096811)
Jun 02, 2017 5:04:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1124/3728 took 291081 ms. Total solver calls (SAT/UNSAT): 2107566(3295/2104271)
Jun 02, 2017 5:04:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1128/3728 took 292168 ms. Total solver calls (SAT/UNSAT): 2115038(3307/2111731)
Jun 02, 2017 5:04:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1132/3728 took 293206 ms. Total solver calls (SAT/UNSAT): 2122510(3319/2119191)
Jun 02, 2017 5:04:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1136/3728 took 294285 ms. Total solver calls (SAT/UNSAT): 2129982(3331/2126651)
Jun 02, 2017 5:04:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1140/3728 took 295305 ms. Total solver calls (SAT/UNSAT): 2137454(3343/2134111)
Jun 02, 2017 5:04:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1144/3728 took 296416 ms. Total solver calls (SAT/UNSAT): 2144926(3355/2141571)
Jun 02, 2017 5:04:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1148/3728 took 297427 ms. Total solver calls (SAT/UNSAT): 2152398(3367/2149031)
Jun 02, 2017 5:04:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1152/3728 took 298438 ms. Total solver calls (SAT/UNSAT): 2159870(3379/2156491)
Jun 02, 2017 5:04:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1156/3728 took 299491 ms. Total solver calls (SAT/UNSAT): 2167342(3391/2163951)
Jun 02, 2017 5:04:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1160/3728 took 300568 ms. Total solver calls (SAT/UNSAT): 2174814(3403/2171411)
Jun 02, 2017 5:04:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1164/3728 took 301593 ms. Total solver calls (SAT/UNSAT): 2182286(3415/2178871)
Jun 02, 2017 5:04:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1168/3728 took 302618 ms. Total solver calls (SAT/UNSAT): 2189758(3427/2186331)
Jun 02, 2017 5:04:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1172/3728 took 303647 ms. Total solver calls (SAT/UNSAT): 2197230(3439/2193791)
Jun 02, 2017 5:04:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1176/3728 took 304676 ms. Total solver calls (SAT/UNSAT): 2204702(3451/2201251)
Jun 02, 2017 5:04:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1180/3728 took 305745 ms. Total solver calls (SAT/UNSAT): 2212174(3463/2208711)
Jun 02, 2017 5:04:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1184/3728 took 306774 ms. Total solver calls (SAT/UNSAT): 2219646(3475/2216171)
Jun 02, 2017 5:04:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1188/3728 took 307805 ms. Total solver calls (SAT/UNSAT): 2227118(3487/2223631)
Jun 02, 2017 5:04:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1192/3728 took 308898 ms. Total solver calls (SAT/UNSAT): 2234590(3499/2231091)
Jun 02, 2017 5:04:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1196/3728 took 310031 ms. Total solver calls (SAT/UNSAT): 2242062(3511/2238551)
Jun 02, 2017 5:05:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1200/3728 took 311057 ms. Total solver calls (SAT/UNSAT): 2249533(3523/2246010)
Jun 02, 2017 5:05:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1204/3728 took 312088 ms. Total solver calls (SAT/UNSAT): 2257005(3535/2253470)
Jun 02, 2017 5:05:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1208/3728 took 313109 ms. Total solver calls (SAT/UNSAT): 2264477(3547/2260930)
Jun 02, 2017 5:05:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1212/3728 took 314232 ms. Total solver calls (SAT/UNSAT): 2271949(3559/2268390)
Jun 02, 2017 5:05:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1216/3728 took 315262 ms. Total solver calls (SAT/UNSAT): 2279421(3571/2275850)
Jun 02, 2017 5:05:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1220/3728 took 316294 ms. Total solver calls (SAT/UNSAT): 2286893(3583/2283310)
Jun 02, 2017 5:05:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1224/3728 took 317313 ms. Total solver calls (SAT/UNSAT): 2294365(3595/2290770)
Jun 02, 2017 5:05:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1228/3728 took 318349 ms. Total solver calls (SAT/UNSAT): 2301837(3607/2298230)
Jun 02, 2017 5:05:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1232/3728 took 319579 ms. Total solver calls (SAT/UNSAT): 2309309(3619/2305690)
Jun 02, 2017 5:05:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1236/3728 took 320654 ms. Total solver calls (SAT/UNSAT): 2316781(3631/2313150)
Jun 02, 2017 5:05:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1240/3728 took 321706 ms. Total solver calls (SAT/UNSAT): 2324253(3643/2320610)
Jun 02, 2017 5:05:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1244/3728 took 322780 ms. Total solver calls (SAT/UNSAT): 2331725(3655/2328070)
Jun 02, 2017 5:05:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1248/3728 took 323835 ms. Total solver calls (SAT/UNSAT): 2339197(3667/2335530)
Jun 02, 2017 5:05:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1252/3728 took 324973 ms. Total solver calls (SAT/UNSAT): 2346669(3679/2342990)
Jun 02, 2017 5:05:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1256/3728 took 326037 ms. Total solver calls (SAT/UNSAT): 2354141(3691/2350450)
Jun 02, 2017 5:05:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1260/3728 took 327168 ms. Total solver calls (SAT/UNSAT): 2361613(3703/2357910)
Jun 02, 2017 5:05:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1264/3728 took 328257 ms. Total solver calls (SAT/UNSAT): 2369085(3715/2365370)
Jun 02, 2017 5:05:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1269/3728 took 329505 ms. Total solver calls (SAT/UNSAT): 2378425(3730/2374695)
Jun 02, 2017 5:05:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1273/3728 took 330523 ms. Total solver calls (SAT/UNSAT): 2385897(3742/2382155)
Jun 02, 2017 5:05:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1277/3728 took 331531 ms. Total solver calls (SAT/UNSAT): 2393369(3754/2389615)
Jun 02, 2017 5:05:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1281/3728 took 332535 ms. Total solver calls (SAT/UNSAT): 2400840(3766/2397074)
Jun 02, 2017 5:05:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1285/3728 took 333554 ms. Total solver calls (SAT/UNSAT): 2408312(3778/2404534)
Jun 02, 2017 5:05:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1289/3728 took 334569 ms. Total solver calls (SAT/UNSAT): 2415784(3790/2411994)
Jun 02, 2017 5:05:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1293/3728 took 335590 ms. Total solver calls (SAT/UNSAT): 2423256(3802/2419454)
Jun 02, 2017 5:05:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1297/3728 took 336606 ms. Total solver calls (SAT/UNSAT): 2430728(3814/2426914)
Jun 02, 2017 5:05:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1301/3728 took 337616 ms. Total solver calls (SAT/UNSAT): 2438200(3826/2434374)
Jun 02, 2017 5:05:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1305/3728 took 338712 ms. Total solver calls (SAT/UNSAT): 2445672(3838/2441834)
Jun 02, 2017 5:05:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1309/3728 took 339921 ms. Total solver calls (SAT/UNSAT): 2453144(3850/2449294)
Jun 02, 2017 5:05:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1313/3728 took 341041 ms. Total solver calls (SAT/UNSAT): 2460616(3862/2456754)
Jun 02, 2017 5:05:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1317/3728 took 342221 ms. Total solver calls (SAT/UNSAT): 2468088(3874/2464214)
Jun 02, 2017 5:05:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1321/3728 took 343292 ms. Total solver calls (SAT/UNSAT): 2475560(3886/2471674)
Jun 02, 2017 5:05:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1325/3728 took 344383 ms. Total solver calls (SAT/UNSAT): 2483032(3898/2479134)
Jun 02, 2017 5:05:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1329/3728 took 345407 ms. Total solver calls (SAT/UNSAT): 2490504(3910/2486594)
Jun 02, 2017 5:05:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1333/3728 took 346435 ms. Total solver calls (SAT/UNSAT): 2497976(3922/2494054)
Jun 02, 2017 5:05:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1337/3728 took 347534 ms. Total solver calls (SAT/UNSAT): 2505448(3934/2501514)
Jun 02, 2017 5:05:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1341/3728 took 348585 ms. Total solver calls (SAT/UNSAT): 2512920(3946/2508974)
Jun 02, 2017 5:05:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1345/3728 took 349622 ms. Total solver calls (SAT/UNSAT): 2520392(3958/2516434)
Jun 02, 2017 5:05:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1349/3728 took 350661 ms. Total solver calls (SAT/UNSAT): 2527864(3970/2523894)
Jun 02, 2017 5:05:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1353/3728 took 351701 ms. Total solver calls (SAT/UNSAT): 2535336(3982/2531354)
Jun 02, 2017 5:05:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1357/3728 took 352776 ms. Total solver calls (SAT/UNSAT): 2542808(3994/2538814)
Jun 02, 2017 5:05:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1361/3728 took 353812 ms. Total solver calls (SAT/UNSAT): 2550279(4006/2546273)
Jun 02, 2017 5:05:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1365/3728 took 354846 ms. Total solver calls (SAT/UNSAT): 2557751(4018/2553733)
Jun 02, 2017 5:05:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1369/3728 took 355872 ms. Total solver calls (SAT/UNSAT): 2565223(4030/2561193)
Jun 02, 2017 5:05:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1373/3728 took 356903 ms. Total solver calls (SAT/UNSAT): 2572695(4042/2568653)
Jun 02, 2017 5:05:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1377/3728 took 357920 ms. Total solver calls (SAT/UNSAT): 2580167(4054/2576113)
Jun 02, 2017 5:05:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1381/3728 took 358969 ms. Total solver calls (SAT/UNSAT): 2587639(4066/2583573)
Jun 02, 2017 5:05:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1385/3728 took 360002 ms. Total solver calls (SAT/UNSAT): 2595111(4078/2591033)
Jun 02, 2017 5:05:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1389/3728 took 361023 ms. Total solver calls (SAT/UNSAT): 2602583(4090/2598493)
Jun 02, 2017 5:05:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1393/3728 took 362049 ms. Total solver calls (SAT/UNSAT): 2610055(4102/2605953)
Jun 02, 2017 5:05:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1397/3728 took 363128 ms. Total solver calls (SAT/UNSAT): 2617527(4114/2613413)
Jun 02, 2017 5:05:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1401/3728 took 364163 ms. Total solver calls (SAT/UNSAT): 2624999(4126/2620873)
Jun 02, 2017 5:05:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1405/3728 took 365203 ms. Total solver calls (SAT/UNSAT): 2632471(4138/2628333)
Jun 02, 2017 5:05:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1409/3728 took 366247 ms. Total solver calls (SAT/UNSAT): 2639943(4150/2635793)
Jun 02, 2017 5:05:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1413/3728 took 367283 ms. Total solver calls (SAT/UNSAT): 2647415(4162/2643253)
Jun 02, 2017 5:05:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1417/3728 took 368322 ms. Total solver calls (SAT/UNSAT): 2654887(4174/2650713)
Jun 02, 2017 5:05:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1421/3728 took 369365 ms. Total solver calls (SAT/UNSAT): 2662359(4186/2658173)
Jun 02, 2017 5:05:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1425/3728 took 370406 ms. Total solver calls (SAT/UNSAT): 2669831(4198/2665633)
Jun 02, 2017 5:06:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1429/3728 took 371445 ms. Total solver calls (SAT/UNSAT): 2677303(4210/2673093)
Jun 02, 2017 5:06:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1433/3728 took 372485 ms. Total solver calls (SAT/UNSAT): 2684775(4222/2680553)
Jun 02, 2017 5:06:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1437/3728 took 373524 ms. Total solver calls (SAT/UNSAT): 2692247(4234/2688013)
Jun 02, 2017 5:06:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1441/3728 took 374565 ms. Total solver calls (SAT/UNSAT): 2699718(4246/2695472)
Jun 02, 2017 5:06:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1445/3728 took 375602 ms. Total solver calls (SAT/UNSAT): 2707190(4258/2702932)
Jun 02, 2017 5:06:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1449/3728 took 376644 ms. Total solver calls (SAT/UNSAT): 2714662(4270/2710392)
Jun 02, 2017 5:06:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1453/3728 took 377684 ms. Total solver calls (SAT/UNSAT): 2722134(4282/2717852)
Jun 02, 2017 5:06:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1457/3728 took 378724 ms. Total solver calls (SAT/UNSAT): 2729606(4294/2725312)
Jun 02, 2017 5:06:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1461/3728 took 379762 ms. Total solver calls (SAT/UNSAT): 2737078(4306/2732772)
Jun 02, 2017 5:06:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1465/3728 took 380804 ms. Total solver calls (SAT/UNSAT): 2744550(4318/2740232)
Jun 02, 2017 5:06:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1469/3728 took 381842 ms. Total solver calls (SAT/UNSAT): 2752022(4330/2747692)
Jun 02, 2017 5:06:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1473/3728 took 382880 ms. Total solver calls (SAT/UNSAT): 2759494(4342/2755152)
Jun 02, 2017 5:06:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1477/3728 took 383918 ms. Total solver calls (SAT/UNSAT): 2766966(4354/2762612)
Jun 02, 2017 5:06:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1481/3728 took 384960 ms. Total solver calls (SAT/UNSAT): 2774438(4366/2770072)
Jun 02, 2017 5:06:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1485/3728 took 386003 ms. Total solver calls (SAT/UNSAT): 2781910(4378/2777532)
Jun 02, 2017 5:06:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1489/3728 took 387043 ms. Total solver calls (SAT/UNSAT): 2789382(4390/2784992)
Jun 02, 2017 5:06:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1493/3728 took 388129 ms. Total solver calls (SAT/UNSAT): 2796854(4402/2792452)
Jun 02, 2017 5:06:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1497/3728 took 389150 ms. Total solver calls (SAT/UNSAT): 2804326(4414/2799912)
Jun 02, 2017 5:06:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1501/3728 took 390176 ms. Total solver calls (SAT/UNSAT): 2811798(4426/2807372)
Jun 02, 2017 5:06:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1505/3728 took 391192 ms. Total solver calls (SAT/UNSAT): 2819270(4438/2814832)
Jun 02, 2017 5:06:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1509/3728 took 392212 ms. Total solver calls (SAT/UNSAT): 2826742(4450/2822292)
Jun 02, 2017 5:06:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1513/3728 took 393231 ms. Total solver calls (SAT/UNSAT): 2834214(4462/2829752)
Jun 02, 2017 5:06:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1517/3728 took 394250 ms. Total solver calls (SAT/UNSAT): 2841686(4474/2837212)
Jun 02, 2017 5:06:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1521/3728 took 395270 ms. Total solver calls (SAT/UNSAT): 2849157(4486/2844671)
Jun 02, 2017 5:06:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1525/3728 took 396289 ms. Total solver calls (SAT/UNSAT): 2856629(4498/2852131)
Jun 02, 2017 5:06:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1529/3728 took 397311 ms. Total solver calls (SAT/UNSAT): 2864101(4510/2859591)
Jun 02, 2017 5:06:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1533/3728 took 398332 ms. Total solver calls (SAT/UNSAT): 2871573(4522/2867051)
Jun 02, 2017 5:06:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1537/3728 took 399356 ms. Total solver calls (SAT/UNSAT): 2879045(4534/2874511)
Jun 02, 2017 5:06:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1541/3728 took 400387 ms. Total solver calls (SAT/UNSAT): 2886517(4546/2881971)
Jun 02, 2017 5:06:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1545/3728 took 401409 ms. Total solver calls (SAT/UNSAT): 2893989(4558/2889431)
Jun 02, 2017 5:06:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1549/3728 took 402430 ms. Total solver calls (SAT/UNSAT): 2901461(4570/2896891)
Jun 02, 2017 5:06:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1553/3728 took 403447 ms. Total solver calls (SAT/UNSAT): 2908933(4582/2904351)
Jun 02, 2017 5:06:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1557/3728 took 404464 ms. Total solver calls (SAT/UNSAT): 2916405(4594/2911811)
Jun 02, 2017 5:06:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1561/3728 took 405480 ms. Total solver calls (SAT/UNSAT): 2923877(4606/2919271)
Jun 02, 2017 5:06:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1565/3728 took 406499 ms. Total solver calls (SAT/UNSAT): 2931349(4618/2926731)
Jun 02, 2017 5:06:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1569/3728 took 407518 ms. Total solver calls (SAT/UNSAT): 2938821(4630/2934191)
Jun 02, 2017 5:06:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1573/3728 took 408544 ms. Total solver calls (SAT/UNSAT): 2946293(4642/2941651)
Jun 02, 2017 5:06:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1577/3728 took 409706 ms. Total solver calls (SAT/UNSAT): 2953765(4654/2949111)
Jun 02, 2017 5:06:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1581/3728 took 410738 ms. Total solver calls (SAT/UNSAT): 2961237(4666/2956571)
Jun 02, 2017 5:06:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1585/3728 took 411767 ms. Total solver calls (SAT/UNSAT): 2968709(4678/2964031)
Jun 02, 2017 5:06:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1589/3728 took 412802 ms. Total solver calls (SAT/UNSAT): 2976181(4690/2971491)
Jun 02, 2017 5:06:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1593/3728 took 413839 ms. Total solver calls (SAT/UNSAT): 2983653(4702/2978951)
Jun 02, 2017 5:06:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1597/3728 took 414858 ms. Total solver calls (SAT/UNSAT): 2991125(4714/2986411)
Jun 02, 2017 5:06:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1601/3728 took 415883 ms. Total solver calls (SAT/UNSAT): 2998596(4726/2993870)
Jun 02, 2017 5:06:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1605/3728 took 416910 ms. Total solver calls (SAT/UNSAT): 3006068(4738/3001330)
Jun 02, 2017 5:06:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1609/3728 took 417946 ms. Total solver calls (SAT/UNSAT): 3013540(4750/3008790)
Jun 02, 2017 5:06:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1613/3728 took 419007 ms. Total solver calls (SAT/UNSAT): 3021012(4762/3016250)
Jun 02, 2017 5:06:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1617/3728 took 420092 ms. Total solver calls (SAT/UNSAT): 3028484(4774/3023710)
Jun 02, 2017 5:06:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1621/3728 took 421264 ms. Total solver calls (SAT/UNSAT): 3035956(4786/3031170)
Jun 02, 2017 5:06:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1625/3728 took 422292 ms. Total solver calls (SAT/UNSAT): 3043428(4798/3038630)
Jun 02, 2017 5:06:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1629/3728 took 423321 ms. Total solver calls (SAT/UNSAT): 3050900(4810/3046090)
Jun 02, 2017 5:06:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1633/3728 took 424338 ms. Total solver calls (SAT/UNSAT): 3058372(4822/3053550)
Jun 02, 2017 5:06:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1637/3728 took 425439 ms. Total solver calls (SAT/UNSAT): 3065844(4834/3061010)
Jun 02, 2017 5:06:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1641/3728 took 426495 ms. Total solver calls (SAT/UNSAT): 3073316(4846/3068470)
Jun 02, 2017 5:06:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1645/3728 took 427536 ms. Total solver calls (SAT/UNSAT): 3080788(4858/3075930)
Jun 02, 2017 5:06:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1649/3728 took 428580 ms. Total solver calls (SAT/UNSAT): 3088260(4870/3083390)
Jun 02, 2017 5:06:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1653/3728 took 429620 ms. Total solver calls (SAT/UNSAT): 3095732(4882/3090850)
Jun 02, 2017 5:07:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1657/3728 took 430653 ms. Total solver calls (SAT/UNSAT): 3103204(4894/3098310)
Jun 02, 2017 5:07:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1661/3728 took 431695 ms. Total solver calls (SAT/UNSAT): 3110676(4906/3105770)
Jun 02, 2017 5:07:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1665/3728 took 432733 ms. Total solver calls (SAT/UNSAT): 3118148(4918/3113230)
Jun 02, 2017 5:07:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1669/3728 took 433766 ms. Total solver calls (SAT/UNSAT): 3125620(4930/3120690)
Jun 02, 2017 5:07:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1673/3728 took 434852 ms. Total solver calls (SAT/UNSAT): 3133092(4942/3128150)
Jun 02, 2017 5:07:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1677/3728 took 435902 ms. Total solver calls (SAT/UNSAT): 3140564(4954/3135610)
Jun 02, 2017 5:07:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1680/3728 took 436902 ms. Total solver calls (SAT/UNSAT): 3147688(4963/3142725)
Jun 02, 2017 5:07:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1683/3728 took 438315 ms. Total solver calls (SAT/UNSAT): 3157855(4972/3152883)
Jun 02, 2017 5:07:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1686/3728 took 439722 ms. Total solver calls (SAT/UNSAT): 3168022(4981/3163041)
Jun 02, 2017 5:07:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1689/3728 took 441115 ms. Total solver calls (SAT/UNSAT): 3178189(4990/3173199)
Jun 02, 2017 5:07:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1692/3728 took 442502 ms. Total solver calls (SAT/UNSAT): 3188356(4999/3183357)
Jun 02, 2017 5:07:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1695/3728 took 443894 ms. Total solver calls (SAT/UNSAT): 3198523(5008/3193515)
Jun 02, 2017 5:07:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1698/3728 took 445273 ms. Total solver calls (SAT/UNSAT): 3208690(5017/3203673)
Jun 02, 2017 5:07:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1701/3728 took 446670 ms. Total solver calls (SAT/UNSAT): 3218857(5026/3213831)
Jun 02, 2017 5:07:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1704/3728 took 448072 ms. Total solver calls (SAT/UNSAT): 3229024(5035/3223989)
Jun 02, 2017 5:07:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1707/3728 took 449469 ms. Total solver calls (SAT/UNSAT): 3239191(5044/3234147)
Jun 02, 2017 5:07:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1710/3728 took 450956 ms. Total solver calls (SAT/UNSAT): 3249358(5053/3244305)
Jun 02, 2017 5:07:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1713/3728 took 452355 ms. Total solver calls (SAT/UNSAT): 3259525(5062/3254463)
Jun 02, 2017 5:07:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1716/3728 took 453752 ms. Total solver calls (SAT/UNSAT): 3269692(5071/3264621)
Jun 02, 2017 5:07:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1719/3728 took 455164 ms. Total solver calls (SAT/UNSAT): 3279859(5080/3274779)
Jun 02, 2017 5:07:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1721/3728 took 456165 ms. Total solver calls (SAT/UNSAT): 3286637(5086/3281551)
Jun 02, 2017 5:07:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1724/3728 took 457543 ms. Total solver calls (SAT/UNSAT): 3296804(5095/3291709)
Jun 02, 2017 5:07:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1727/3728 took 458981 ms. Total solver calls (SAT/UNSAT): 3306971(5104/3301867)
Jun 02, 2017 5:07:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1730/3728 took 460426 ms. Total solver calls (SAT/UNSAT): 3317138(5113/3312025)
Jun 02, 2017 5:07:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1733/3728 took 461860 ms. Total solver calls (SAT/UNSAT): 3327305(5122/3322183)
Jun 02, 2017 5:07:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1736/3728 took 463352 ms. Total solver calls (SAT/UNSAT): 3337472(5131/3332341)
Jun 02, 2017 5:07:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1739/3728 took 464743 ms. Total solver calls (SAT/UNSAT): 3347639(5140/3342499)
Jun 02, 2017 5:07:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1742/3728 took 466150 ms. Total solver calls (SAT/UNSAT): 3357806(5149/3352657)
Jun 02, 2017 5:07:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1745/3728 took 467611 ms. Total solver calls (SAT/UNSAT): 3367973(5158/3362815)
Jun 02, 2017 5:07:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1748/3728 took 469106 ms. Total solver calls (SAT/UNSAT): 3378140(5167/3372973)
Jun 02, 2017 5:07:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1751/3728 took 470529 ms. Total solver calls (SAT/UNSAT): 3388307(5176/3383131)
Jun 02, 2017 5:07:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1754/3728 took 471890 ms. Total solver calls (SAT/UNSAT): 3398474(5185/3393289)
Jun 02, 2017 5:07:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1757/3728 took 473255 ms. Total solver calls (SAT/UNSAT): 3408641(5194/3403447)
Jun 02, 2017 5:07:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1760/3728 took 474420 ms. Total solver calls (SAT/UNSAT): 3417287(5203/3412084)
Jun 02, 2017 5:07:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1764/3728 took 475424 ms. Total solver calls (SAT/UNSAT): 3424755(5215/3419540)
Jun 02, 2017 5:07:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1768/3728 took 476427 ms. Total solver calls (SAT/UNSAT): 3432223(5227/3426996)
Jun 02, 2017 5:07:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1772/3728 took 477429 ms. Total solver calls (SAT/UNSAT): 3439691(5239/3434452)
Jun 02, 2017 5:07:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1776/3728 took 478435 ms. Total solver calls (SAT/UNSAT): 3447159(5251/3441908)
Jun 02, 2017 5:07:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1780/3728 took 479642 ms. Total solver calls (SAT/UNSAT): 3456148(5263/3450885)
Jun 02, 2017 5:07:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1784/3728 took 480652 ms. Total solver calls (SAT/UNSAT): 3463621(5275/3458346)
Jun 02, 2017 5:07:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1788/3728 took 481728 ms. Total solver calls (SAT/UNSAT): 3471093(5287/3465806)
Jun 02, 2017 5:07:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1792/3728 took 482760 ms. Total solver calls (SAT/UNSAT): 3478565(5299/3473266)
Jun 02, 2017 5:07:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1796/3728 took 483857 ms. Total solver calls (SAT/UNSAT): 3486037(5311/3480726)
Jun 02, 2017 5:07:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1800/3728 took 484858 ms. Total solver calls (SAT/UNSAT): 3493509(5323/3488186)
Jun 02, 2017 5:07:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1804/3728 took 486057 ms. Total solver calls (SAT/UNSAT): 3502503(5335/3497168)
Jun 02, 2017 5:07:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1809/3728 took 487302 ms. Total solver calls (SAT/UNSAT): 3511843(5350/3506493)
Jun 02, 2017 5:07:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1813/3728 took 488310 ms. Total solver calls (SAT/UNSAT): 3519315(5362/3513953)
Jun 02, 2017 5:07:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1817/3728 took 489315 ms. Total solver calls (SAT/UNSAT): 3526787(5374/3521413)
Jun 02, 2017 5:07:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1821/3728 took 490325 ms. Total solver calls (SAT/UNSAT): 3534259(5386/3528873)
Jun 02, 2017 5:08:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1824/3728 took 491389 ms. Total solver calls (SAT/UNSAT): 3541385(5395/3535990)
Jun 02, 2017 5:08:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1828/3728 took 492456 ms. Total solver calls (SAT/UNSAT): 3548857(5407/3543450)
Jun 02, 2017 5:08:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1832/3728 took 493504 ms. Total solver calls (SAT/UNSAT): 3556329(5419/3550910)
Jun 02, 2017 5:08:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1836/3728 took 494585 ms. Total solver calls (SAT/UNSAT): 3563801(5431/3558370)
Jun 02, 2017 5:08:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1840/3728 took 495618 ms. Total solver calls (SAT/UNSAT): 3571273(5443/3565830)
Jun 02, 2017 5:08:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1844/3728 took 496855 ms. Total solver calls (SAT/UNSAT): 3580267(5455/3574812)
Jun 02, 2017 5:08:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1848/3728 took 497938 ms. Total solver calls (SAT/UNSAT): 3587739(5467/3582272)
Jun 02, 2017 5:08:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1852/3728 took 498998 ms. Total solver calls (SAT/UNSAT): 3595211(5479/3589732)
Jun 02, 2017 5:08:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1856/3728 took 500007 ms. Total solver calls (SAT/UNSAT): 3602683(5491/3597192)
Jun 02, 2017 5:08:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1860/3728 took 501010 ms. Total solver calls (SAT/UNSAT): 3610155(5503/3604652)
Jun 02, 2017 5:08:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1864/3728 took 502281 ms. Total solver calls (SAT/UNSAT): 3619148(5515/3613633)
Jun 02, 2017 5:08:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1868/3728 took 503307 ms. Total solver calls (SAT/UNSAT): 3626621(5527/3621094)
Jun 02, 2017 5:08:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1872/3728 took 504334 ms. Total solver calls (SAT/UNSAT): 3634093(5539/3628554)
Jun 02, 2017 5:08:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1876/3728 took 505357 ms. Total solver calls (SAT/UNSAT): 3641565(5551/3636014)
Jun 02, 2017 5:08:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1880/3728 took 506383 ms. Total solver calls (SAT/UNSAT): 3649037(5563/3643474)
Jun 02, 2017 5:08:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1884/3728 took 507406 ms. Total solver calls (SAT/UNSAT): 3656509(5575/3650934)
Jun 02, 2017 5:08:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1888/3728 took 508641 ms. Total solver calls (SAT/UNSAT): 3665503(5587/3659916)
Jun 02, 2017 5:08:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1892/3728 took 509669 ms. Total solver calls (SAT/UNSAT): 3672975(5599/3667376)
Jun 02, 2017 5:08:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1896/3728 took 510700 ms. Total solver calls (SAT/UNSAT): 3680447(5611/3674836)
Jun 02, 2017 5:08:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1900/3728 took 511734 ms. Total solver calls (SAT/UNSAT): 3687919(5623/3682296)
Jun 02, 2017 5:08:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1904/3728 took 512785 ms. Total solver calls (SAT/UNSAT): 3695391(5635/3689756)
Jun 02, 2017 5:08:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1908/3728 took 513989 ms. Total solver calls (SAT/UNSAT): 3704385(5647/3698738)
Jun 02, 2017 5:08:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1912/3728 took 514997 ms. Total solver calls (SAT/UNSAT): 3711857(5659/3706198)
Jun 02, 2017 5:08:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1916/3728 took 516002 ms. Total solver calls (SAT/UNSAT): 3719329(5671/3713658)
Jun 02, 2017 5:08:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1920/3728 took 517008 ms. Total solver calls (SAT/UNSAT): 3726801(5683/3721118)
Jun 02, 2017 5:08:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1924/3728 took 518009 ms. Total solver calls (SAT/UNSAT): 3734273(5695/3728578)
Jun 02, 2017 5:08:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1928/3728 took 519226 ms. Total solver calls (SAT/UNSAT): 3743267(5707/3737560)
Jun 02, 2017 5:08:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1932/3728 took 520240 ms. Total solver calls (SAT/UNSAT): 3750739(5719/3745020)
Jun 02, 2017 5:08:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1936/3728 took 521249 ms. Total solver calls (SAT/UNSAT): 3758211(5731/3752480)
Jun 02, 2017 5:08:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1940/3728 took 522263 ms. Total solver calls (SAT/UNSAT): 3765683(5743/3759940)
Jun 02, 2017 5:08:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1944/3728 took 523273 ms. Total solver calls (SAT/UNSAT): 3773155(5755/3767400)
Jun 02, 2017 5:08:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1948/3728 took 524492 ms. Total solver calls (SAT/UNSAT): 3782148(5767/3776381)
Jun 02, 2017 5:08:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1952/3728 took 525495 ms. Total solver calls (SAT/UNSAT): 3789621(5779/3783842)
Jun 02, 2017 5:08:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1956/3728 took 526505 ms. Total solver calls (SAT/UNSAT): 3797093(5791/3791302)
Jun 02, 2017 5:08:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1960/3728 took 527510 ms. Total solver calls (SAT/UNSAT): 3804565(5803/3798762)
Jun 02, 2017 5:08:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1964/3728 took 528515 ms. Total solver calls (SAT/UNSAT): 3812037(5815/3806222)
Jun 02, 2017 5:08:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1968/3728 took 529522 ms. Total solver calls (SAT/UNSAT): 3819509(5827/3813682)
Jun 02, 2017 5:08:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1972/3728 took 530741 ms. Total solver calls (SAT/UNSAT): 3828503(5839/3822664)
Jun 02, 2017 5:08:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1976/3728 took 531747 ms. Total solver calls (SAT/UNSAT): 3835975(5851/3830124)
Jun 02, 2017 5:08:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1980/3728 took 532758 ms. Total solver calls (SAT/UNSAT): 3843447(5863/3837584)
Jun 02, 2017 5:08:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1984/3728 took 533887 ms. Total solver calls (SAT/UNSAT): 3850919(5875/3845044)
Jun 02, 2017 5:08:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1988/3728 took 534958 ms. Total solver calls (SAT/UNSAT): 3858391(5887/3852504)
Jun 02, 2017 5:08:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1992/3728 took 536190 ms. Total solver calls (SAT/UNSAT): 3867385(5899/3861486)
Jun 02, 2017 5:08:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1996/3728 took 537215 ms. Total solver calls (SAT/UNSAT): 3874857(5911/3868946)
Jun 02, 2017 5:08:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2000/3728 took 538241 ms. Total solver calls (SAT/UNSAT): 3882329(5923/3876406)
Jun 02, 2017 5:08:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2004/3728 took 539258 ms. Total solver calls (SAT/UNSAT): 3889801(5935/3883866)
Jun 02, 2017 5:08:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2008/3728 took 540276 ms. Total solver calls (SAT/UNSAT): 3897273(5947/3891326)
Jun 02, 2017 5:08:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2012/3728 took 541505 ms. Total solver calls (SAT/UNSAT): 3906267(5959/3900308)
Jun 02, 2017 5:08:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2016/3728 took 542526 ms. Total solver calls (SAT/UNSAT): 3913739(5971/3907768)
Jun 02, 2017 5:08:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2020/3728 took 543547 ms. Total solver calls (SAT/UNSAT): 3921211(5983/3915228)
Jun 02, 2017 5:08:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2024/3728 took 544568 ms. Total solver calls (SAT/UNSAT): 3928683(5995/3922688)
Jun 02, 2017 5:08:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2028/3728 took 545581 ms. Total solver calls (SAT/UNSAT): 3936155(6007/3930148)
Jun 02, 2017 5:08:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2032/3728 took 546807 ms. Total solver calls (SAT/UNSAT): 3945148(6019/3939129)
Jun 02, 2017 5:08:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2036/3728 took 547976 ms. Total solver calls (SAT/UNSAT): 3952621(6031/3946590)
Jun 02, 2017 5:08:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2040/3728 took 549045 ms. Total solver calls (SAT/UNSAT): 3960093(6043/3954050)
Jun 02, 2017 5:08:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2044/3728 took 550123 ms. Total solver calls (SAT/UNSAT): 3967565(6055/3961510)
Jun 02, 2017 5:09:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2048/3728 took 551212 ms. Total solver calls (SAT/UNSAT): 3975037(6067/3968970)
Jun 02, 2017 5:09:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2052/3728 took 552230 ms. Total solver calls (SAT/UNSAT): 3982509(6079/3976430)
Jun 02, 2017 5:09:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2055/3728 took 553350 ms. Total solver calls (SAT/UNSAT): 3989635(6088/3983547)
Jun 02, 2017 5:09:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2059/3728 took 554423 ms. Total solver calls (SAT/UNSAT): 3997107(6100/3991007)
Jun 02, 2017 5:09:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2063/3728 took 555503 ms. Total solver calls (SAT/UNSAT): 4004579(6112/3998467)
Jun 02, 2017 5:09:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2067/3728 took 556536 ms. Total solver calls (SAT/UNSAT): 4012051(6124/4005927)
Jun 02, 2017 5:09:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2071/3728 took 557650 ms. Total solver calls (SAT/UNSAT): 4019523(6136/4013387)
Jun 02, 2017 5:09:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2074/3728 took 558693 ms. Total solver calls (SAT/UNSAT): 4026648(6145/4020503)
Jun 02, 2017 5:09:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2078/3728 took 559725 ms. Total solver calls (SAT/UNSAT): 4034121(6157/4027964)
Jun 02, 2017 5:09:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2082/3728 took 560757 ms. Total solver calls (SAT/UNSAT): 4041593(6169/4035424)
Jun 02, 2017 5:09:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2086/3728 took 561789 ms. Total solver calls (SAT/UNSAT): 4049065(6181/4042884)
Jun 02, 2017 5:09:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2090/3728 took 562864 ms. Total solver calls (SAT/UNSAT): 4056537(6193/4050344)
Jun 02, 2017 5:09:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2094/3728 took 563901 ms. Total solver calls (SAT/UNSAT): 4064009(6205/4057804)
Jun 02, 2017 5:09:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2098/3728 took 565144 ms. Total solver calls (SAT/UNSAT): 4073003(6217/4066786)
Jun 02, 2017 5:09:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2102/3728 took 566219 ms. Total solver calls (SAT/UNSAT): 4080475(6229/4074246)
Jun 02, 2017 5:09:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2106/3728 took 567285 ms. Total solver calls (SAT/UNSAT): 4087947(6241/4081706)
Jun 02, 2017 5:09:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2110/3728 took 568415 ms. Total solver calls (SAT/UNSAT): 4095419(6253/4089166)
Jun 02, 2017 5:09:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2114/3728 took 569552 ms. Total solver calls (SAT/UNSAT): 4102891(6265/4096626)
Jun 02, 2017 5:09:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2118/3728 took 570813 ms. Total solver calls (SAT/UNSAT): 4111885(6277/4105608)
Jun 02, 2017 5:09:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2122/3728 took 571843 ms. Total solver calls (SAT/UNSAT): 4119357(6289/4113068)
Jun 02, 2017 5:09:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2126/3728 took 572856 ms. Total solver calls (SAT/UNSAT): 4126829(6301/4120528)
Jun 02, 2017 5:09:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2130/3728 took 573882 ms. Total solver calls (SAT/UNSAT): 4134301(6313/4127988)
Jun 02, 2017 5:09:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2134/3728 took 574984 ms. Total solver calls (SAT/UNSAT): 4141773(6325/4135448)
Jun 02, 2017 5:09:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2137/3728 took 576057 ms. Total solver calls (SAT/UNSAT): 4148898(6334/4142564)
Jun 02, 2017 5:09:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2141/3728 took 577091 ms. Total solver calls (SAT/UNSAT): 4156371(6346/4150025)
Jun 02, 2017 5:09:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2145/3728 took 578118 ms. Total solver calls (SAT/UNSAT): 4163843(6358/4157485)
Jun 02, 2017 5:09:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2149/3728 took 579144 ms. Total solver calls (SAT/UNSAT): 4171315(6370/4164945)
Jun 02, 2017 5:09:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2153/3728 took 580174 ms. Total solver calls (SAT/UNSAT): 4178787(6382/4172405)
Jun 02, 2017 5:09:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2157/3728 took 581207 ms. Total solver calls (SAT/UNSAT): 4186259(6394/4179865)
Jun 02, 2017 5:09:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2161/3728 took 582457 ms. Total solver calls (SAT/UNSAT): 4195253(6406/4188847)
Jun 02, 2017 5:09:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2165/3728 took 583490 ms. Total solver calls (SAT/UNSAT): 4202725(6418/4196307)
Jun 02, 2017 5:09:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2169/3728 took 584529 ms. Total solver calls (SAT/UNSAT): 4210197(6430/4203767)
Jun 02, 2017 5:09:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2173/3728 took 585554 ms. Total solver calls (SAT/UNSAT): 4217669(6442/4211227)
Jun 02, 2017 5:09:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2177/3728 took 586587 ms. Total solver calls (SAT/UNSAT): 4225141(6454/4218687)
Jun 02, 2017 5:09:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2180/3728 took 587603 ms. Total solver calls (SAT/UNSAT): 4232267(6463/4225804)
Jun 02, 2017 5:09:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2184/3728 took 588615 ms. Total solver calls (SAT/UNSAT): 4239739(6475/4233264)
Jun 02, 2017 5:09:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2188/3728 took 589624 ms. Total solver calls (SAT/UNSAT): 4247211(6487/4240724)
Jun 02, 2017 5:09:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2192/3728 took 590647 ms. Total solver calls (SAT/UNSAT): 4254683(6499/4248184)
Jun 02, 2017 5:09:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2196/3728 took 591657 ms. Total solver calls (SAT/UNSAT): 4262155(6511/4255644)
Jun 02, 2017 5:09:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2200/3728 took 592875 ms. Total solver calls (SAT/UNSAT): 4271148(6523/4264625)
Jun 02, 2017 5:09:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2204/3728 took 593890 ms. Total solver calls (SAT/UNSAT): 4278621(6535/4272086)
Jun 02, 2017 5:09:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2208/3728 took 595060 ms. Total solver calls (SAT/UNSAT): 4286093(6547/4279546)
Jun 02, 2017 5:09:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2212/3728 took 596142 ms. Total solver calls (SAT/UNSAT): 4293565(6559/4287006)
Jun 02, 2017 5:09:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2216/3728 took 597169 ms. Total solver calls (SAT/UNSAT): 4301037(6571/4294466)
Jun 02, 2017 5:09:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2220/3728 took 598209 ms. Total solver calls (SAT/UNSAT): 4308509(6583/4301926)
Jun 02, 2017 5:09:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2224/3728 took 599451 ms. Total solver calls (SAT/UNSAT): 4317503(6595/4310908)
Jun 02, 2017 5:09:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2228/3728 took 600481 ms. Total solver calls (SAT/UNSAT): 4324975(6607/4318368)
Jun 02, 2017 5:09:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2232/3728 took 601512 ms. Total solver calls (SAT/UNSAT): 4332447(6619/4325828)
Jun 02, 2017 5:09:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2236/3728 took 602545 ms. Total solver calls (SAT/UNSAT): 4339919(6631/4333288)
Jun 02, 2017 5:09:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2240/3728 took 603615 ms. Total solver calls (SAT/UNSAT): 4347391(6643/4340748)
Jun 02, 2017 5:09:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2243/3728 took 604722 ms. Total solver calls (SAT/UNSAT): 4354517(6652/4347865)
Jun 02, 2017 5:09:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2247/3728 took 605867 ms. Total solver calls (SAT/UNSAT): 4361989(6664/4355325)
Jun 02, 2017 5:09:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2251/3728 took 606909 ms. Total solver calls (SAT/UNSAT): 4369461(6676/4362785)
Jun 02, 2017 5:09:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2255/3728 took 607938 ms. Total solver calls (SAT/UNSAT): 4376933(6688/4370245)
Jun 02, 2017 5:09:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2259/3728 took 609034 ms. Total solver calls (SAT/UNSAT): 4384405(6700/4377705)
Jun 02, 2017 5:09:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2263/3728 took 610424 ms. Total solver calls (SAT/UNSAT): 4393398(6712/4386686)
Jun 02, 2017 5:10:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2267/3728 took 611557 ms. Total solver calls (SAT/UNSAT): 4400871(6724/4394147)
Jun 02, 2017 5:10:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2271/3728 took 612579 ms. Total solver calls (SAT/UNSAT): 4408343(6736/4401607)
Jun 02, 2017 5:10:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2275/3728 took 613590 ms. Total solver calls (SAT/UNSAT): 4415815(6748/4409067)
Jun 02, 2017 5:10:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2279/3728 took 614605 ms. Total solver calls (SAT/UNSAT): 4423287(6760/4416527)
Jun 02, 2017 5:10:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2283/3728 took 615656 ms. Total solver calls (SAT/UNSAT): 4430759(6772/4423987)
Jun 02, 2017 5:10:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2287/3728 took 616874 ms. Total solver calls (SAT/UNSAT): 4439753(6784/4432969)
Jun 02, 2017 5:10:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2291/3728 took 617891 ms. Total solver calls (SAT/UNSAT): 4447225(6796/4440429)
Jun 02, 2017 5:10:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2295/3728 took 618908 ms. Total solver calls (SAT/UNSAT): 4454697(6808/4447889)
Jun 02, 2017 5:10:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2299/3728 took 619916 ms. Total solver calls (SAT/UNSAT): 4462169(6820/4455349)
Jun 02, 2017 5:10:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2303/3728 took 620925 ms. Total solver calls (SAT/UNSAT): 4469641(6832/4462809)
Jun 02, 2017 5:10:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2307/3728 took 622139 ms. Total solver calls (SAT/UNSAT): 4478635(6844/4471791)
Jun 02, 2017 5:10:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2311/3728 took 623156 ms. Total solver calls (SAT/UNSAT): 4486107(6856/4479251)
Jun 02, 2017 5:10:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2315/3728 took 624160 ms. Total solver calls (SAT/UNSAT): 4493579(6868/4486711)
Jun 02, 2017 5:10:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2319/3728 took 625171 ms. Total solver calls (SAT/UNSAT): 4501051(6880/4494171)
Jun 02, 2017 5:10:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2323/3728 took 626254 ms. Total solver calls (SAT/UNSAT): 4508523(6892/4501631)
Jun 02, 2017 5:10:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2326/3728 took 627259 ms. Total solver calls (SAT/UNSAT): 4515648(6901/4508747)
Jun 02, 2017 5:10:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2330/3728 took 628291 ms. Total solver calls (SAT/UNSAT): 4523121(6913/4516208)
Jun 02, 2017 5:10:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2334/3728 took 629333 ms. Total solver calls (SAT/UNSAT): 4530593(6925/4523668)
Jun 02, 2017 5:10:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2338/3728 took 630372 ms. Total solver calls (SAT/UNSAT): 4538065(6937/4531128)
Jun 02, 2017 5:10:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2342/3728 took 631411 ms. Total solver calls (SAT/UNSAT): 4545537(6949/4538588)
Jun 02, 2017 5:10:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2346/3728 took 632450 ms. Total solver calls (SAT/UNSAT): 4553009(6961/4546048)
Jun 02, 2017 5:10:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2350/3728 took 633697 ms. Total solver calls (SAT/UNSAT): 4562003(6973/4555030)
Jun 02, 2017 5:10:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2354/3728 took 634799 ms. Total solver calls (SAT/UNSAT): 4569475(6985/4562490)
Jun 02, 2017 5:10:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2358/3728 took 635841 ms. Total solver calls (SAT/UNSAT): 4576947(6997/4569950)
Jun 02, 2017 5:10:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2362/3728 took 636875 ms. Total solver calls (SAT/UNSAT): 4584419(7009/4577410)
Jun 02, 2017 5:10:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2366/3728 took 637916 ms. Total solver calls (SAT/UNSAT): 4591891(7021/4584870)
Jun 02, 2017 5:10:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2370/3728 took 639167 ms. Total solver calls (SAT/UNSAT): 4600885(7033/4593852)
Jun 02, 2017 5:10:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2374/3728 took 640200 ms. Total solver calls (SAT/UNSAT): 4608357(7045/4601312)
Jun 02, 2017 5:10:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2378/3728 took 641232 ms. Total solver calls (SAT/UNSAT): 4615829(7057/4608772)
Jun 02, 2017 5:10:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2382/3728 took 642279 ms. Total solver calls (SAT/UNSAT): 4623301(7069/4616232)
Jun 02, 2017 5:10:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2386/3728 took 643315 ms. Total solver calls (SAT/UNSAT): 4630773(7081/4623692)
Jun 02, 2017 5:10:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2390/3728 took 644561 ms. Total solver calls (SAT/UNSAT): 4639767(7093/4632674)
Jun 02, 2017 5:10:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2394/3728 took 645592 ms. Total solver calls (SAT/UNSAT): 4647239(7105/4640134)
Jun 02, 2017 5:10:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2398/3728 took 646630 ms. Total solver calls (SAT/UNSAT): 4654711(7117/4647594)
Jun 02, 2017 5:10:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2402/3728 took 647667 ms. Total solver calls (SAT/UNSAT): 4662183(7129/4655054)
Jun 02, 2017 5:10:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2406/3728 took 648706 ms. Total solver calls (SAT/UNSAT): 4669655(7141/4662514)
Jun 02, 2017 5:10:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2410/3728 took 649947 ms. Total solver calls (SAT/UNSAT): 4678648(7153/4671495)
Jun 02, 2017 5:10:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2414/3728 took 650980 ms. Total solver calls (SAT/UNSAT): 4686121(7165/4678956)
Jun 02, 2017 5:10:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2418/3728 took 652011 ms. Total solver calls (SAT/UNSAT): 4693593(7177/4686416)
Jun 02, 2017 5:10:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2422/3728 took 653033 ms. Total solver calls (SAT/UNSAT): 4701065(7189/4693876)
Jun 02, 2017 5:10:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2426/3728 took 654063 ms. Total solver calls (SAT/UNSAT): 4708537(7201/4701336)
Jun 02, 2017 5:10:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2430/3728 took 655093 ms. Total solver calls (SAT/UNSAT): 4716009(7213/4708796)
Jun 02, 2017 5:10:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2433/3728 took 656165 ms. Total solver calls (SAT/UNSAT): 4723135(7222/4715913)
Jun 02, 2017 5:10:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2437/3728 took 657179 ms. Total solver calls (SAT/UNSAT): 4730607(7234/4723373)
Jun 02, 2017 5:10:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2441/3728 took 658195 ms. Total solver calls (SAT/UNSAT): 4738079(7246/4730833)
Jun 02, 2017 5:10:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2445/3728 took 659221 ms. Total solver calls (SAT/UNSAT): 4745551(7258/4738293)
Jun 02, 2017 5:10:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2449/3728 took 660229 ms. Total solver calls (SAT/UNSAT): 4753023(7270/4745753)
Jun 02, 2017 5:10:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2452/3728 took 661245 ms. Total solver calls (SAT/UNSAT): 4760148(7279/4752869)
Jun 02, 2017 5:10:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2456/3728 took 662287 ms. Total solver calls (SAT/UNSAT): 4767621(7291/4760330)
Jun 02, 2017 5:10:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2460/3728 took 663331 ms. Total solver calls (SAT/UNSAT): 4775093(7303/4767790)
Jun 02, 2017 5:10:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2464/3728 took 664369 ms. Total solver calls (SAT/UNSAT): 4782565(7315/4775250)
Jun 02, 2017 5:10:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2468/3728 took 665409 ms. Total solver calls (SAT/UNSAT): 4790037(7327/4782710)
Jun 02, 2017 5:10:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2472/3728 took 666450 ms. Total solver calls (SAT/UNSAT): 4797509(7339/4790170)
Jun 02, 2017 5:10:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2476/3728 took 667707 ms. Total solver calls (SAT/UNSAT): 4806503(7351/4799152)
Jun 02, 2017 5:10:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2480/3728 took 668751 ms. Total solver calls (SAT/UNSAT): 4813975(7363/4806612)
Jun 02, 2017 5:10:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2484/3728 took 669814 ms. Total solver calls (SAT/UNSAT): 4821447(7375/4814072)
Jun 02, 2017 5:11:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2488/3728 took 670835 ms. Total solver calls (SAT/UNSAT): 4828919(7387/4821532)
Jun 02, 2017 5:11:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2492/3728 took 671861 ms. Total solver calls (SAT/UNSAT): 4836391(7399/4828992)
Jun 02, 2017 5:11:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2495/3728 took 672919 ms. Total solver calls (SAT/UNSAT): 4843517(7408/4836109)
Jun 02, 2017 5:11:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2499/3728 took 674069 ms. Total solver calls (SAT/UNSAT): 4850989(7420/4843569)
Jun 02, 2017 5:11:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2503/3728 took 675161 ms. Total solver calls (SAT/UNSAT): 4858461(7432/4851029)
Jun 02, 2017 5:11:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2507/3728 took 676213 ms. Total solver calls (SAT/UNSAT): 4865933(7444/4858489)
Jun 02, 2017 5:11:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2511/3728 took 677331 ms. Total solver calls (SAT/UNSAT): 4873405(7456/4865949)
Jun 02, 2017 5:11:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2515/3728 took 678583 ms. Total solver calls (SAT/UNSAT): 4882398(7468/4874930)
Jun 02, 2017 5:11:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2519/3728 took 679618 ms. Total solver calls (SAT/UNSAT): 4889871(7480/4882391)
Jun 02, 2017 5:11:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2523/3728 took 680648 ms. Total solver calls (SAT/UNSAT): 4897343(7492/4889851)
Jun 02, 2017 5:11:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2527/3728 took 681687 ms. Total solver calls (SAT/UNSAT): 4904815(7504/4897311)
Jun 02, 2017 5:11:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2531/3728 took 682725 ms. Total solver calls (SAT/UNSAT): 4912287(7516/4904771)
Jun 02, 2017 5:11:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2535/3728 took 683763 ms. Total solver calls (SAT/UNSAT): 4919759(7528/4912231)
Jun 02, 2017 5:11:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2539/3728 took 684999 ms. Total solver calls (SAT/UNSAT): 4928753(7540/4921213)
Jun 02, 2017 5:11:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2543/3728 took 686019 ms. Total solver calls (SAT/UNSAT): 4936225(7552/4928673)
Jun 02, 2017 5:11:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2547/3728 took 687043 ms. Total solver calls (SAT/UNSAT): 4943697(7564/4936133)
Jun 02, 2017 5:11:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2551/3728 took 688075 ms. Total solver calls (SAT/UNSAT): 4951169(7576/4943593)
Jun 02, 2017 5:11:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2555/3728 took 689111 ms. Total solver calls (SAT/UNSAT): 4958641(7588/4951053)
Jun 02, 2017 5:11:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2559/3728 took 690361 ms. Total solver calls (SAT/UNSAT): 4967635(7600/4960035)
Jun 02, 2017 5:11:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2563/3728 took 691395 ms. Total solver calls (SAT/UNSAT): 4975107(7612/4967495)
Jun 02, 2017 5:11:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2567/3728 took 692432 ms. Total solver calls (SAT/UNSAT): 4982579(7624/4974955)
Jun 02, 2017 5:11:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2571/3728 took 693462 ms. Total solver calls (SAT/UNSAT): 4990051(7636/4982415)
Jun 02, 2017 5:11:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2575/3728 took 694527 ms. Total solver calls (SAT/UNSAT): 4997523(7648/4989875)
Jun 02, 2017 5:11:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2579/3728 took 695746 ms. Total solver calls (SAT/UNSAT): 5006517(7660/4998857)
Jun 02, 2017 5:11:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2583/3728 took 696765 ms. Total solver calls (SAT/UNSAT): 5013989(7672/5006317)
Jun 02, 2017 5:11:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2587/3728 took 697783 ms. Total solver calls (SAT/UNSAT): 5021461(7684/5013777)
Jun 02, 2017 5:11:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2591/3728 took 698809 ms. Total solver calls (SAT/UNSAT): 5028933(7696/5021237)
Jun 02, 2017 5:11:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2595/3728 took 699823 ms. Total solver calls (SAT/UNSAT): 5036405(7708/5028697)
Jun 02, 2017 5:11:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2599/3728 took 701049 ms. Total solver calls (SAT/UNSAT): 5045398(7720/5037678)
Jun 02, 2017 5:11:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2603/3728 took 702070 ms. Total solver calls (SAT/UNSAT): 5052871(7732/5045139)
Jun 02, 2017 5:11:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2607/3728 took 703106 ms. Total solver calls (SAT/UNSAT): 5060343(7744/5052599)
Jun 02, 2017 5:11:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2611/3728 took 704153 ms. Total solver calls (SAT/UNSAT): 5067815(7756/5060059)
Jun 02, 2017 5:11:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2615/3728 took 705198 ms. Total solver calls (SAT/UNSAT): 5075287(7768/5067519)
Jun 02, 2017 5:11:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2619/3728 took 706251 ms. Total solver calls (SAT/UNSAT): 5082759(7780/5074979)
Jun 02, 2017 5:11:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2623/3728 took 707510 ms. Total solver calls (SAT/UNSAT): 5091753(7792/5083961)
Jun 02, 2017 5:11:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2627/3728 took 708552 ms. Total solver calls (SAT/UNSAT): 5099225(7804/5091421)
Jun 02, 2017 5:11:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2631/3728 took 709597 ms. Total solver calls (SAT/UNSAT): 5106697(7816/5098881)
Jun 02, 2017 5:11:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2635/3728 took 710670 ms. Total solver calls (SAT/UNSAT): 5114169(7828/5106341)
Jun 02, 2017 5:11:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2639/3728 took 711748 ms. Total solver calls (SAT/UNSAT): 5121641(7840/5113801)
Jun 02, 2017 5:11:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2643/3728 took 713000 ms. Total solver calls (SAT/UNSAT): 5130635(7852/5122783)
Jun 02, 2017 5:11:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2647/3728 took 714030 ms. Total solver calls (SAT/UNSAT): 5138107(7864/5130243)
Jun 02, 2017 5:11:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2651/3728 took 715064 ms. Total solver calls (SAT/UNSAT): 5145579(7876/5137703)
Jun 02, 2017 5:11:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2655/3728 took 716091 ms. Total solver calls (SAT/UNSAT): 5153051(7888/5145163)
Jun 02, 2017 5:11:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2659/3728 took 717116 ms. Total solver calls (SAT/UNSAT): 5160523(7900/5152623)
Jun 02, 2017 5:11:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2663/3728 took 718350 ms. Total solver calls (SAT/UNSAT): 5169517(7912/5161605)
Jun 02, 2017 5:11:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2667/3728 took 719374 ms. Total solver calls (SAT/UNSAT): 5176989(7924/5169065)
Jun 02, 2017 5:11:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2671/3728 took 720428 ms. Total solver calls (SAT/UNSAT): 5184461(7936/5176525)
Jun 02, 2017 5:11:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2675/3728 took 721437 ms. Total solver calls (SAT/UNSAT): 5191933(7948/5183985)
Jun 02, 2017 5:11:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2679/3728 took 722512 ms. Total solver calls (SAT/UNSAT): 5199405(7960/5191445)
Jun 02, 2017 5:11:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2683/3728 took 723768 ms. Total solver calls (SAT/UNSAT): 5208398(7972/5200426)
Jun 02, 2017 5:11:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2687/3728 took 724807 ms. Total solver calls (SAT/UNSAT): 5215871(7984/5207887)
Jun 02, 2017 5:11:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2691/3728 took 725840 ms. Total solver calls (SAT/UNSAT): 5223343(7996/5215347)
Jun 02, 2017 5:11:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2695/3728 took 726875 ms. Total solver calls (SAT/UNSAT): 5230815(8008/5222807)
Jun 02, 2017 5:11:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2699/3728 took 727918 ms. Total solver calls (SAT/UNSAT): 5238287(8020/5230267)
Jun 02, 2017 5:11:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2703/3728 took 728956 ms. Total solver calls (SAT/UNSAT): 5245759(8032/5237727)
Jun 02, 2017 5:11:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2707/3728 took 730208 ms. Total solver calls (SAT/UNSAT): 5254753(8044/5246709)
Jun 02, 2017 5:12:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2711/3728 took 731240 ms. Total solver calls (SAT/UNSAT): 5262225(8056/5254169)
Jun 02, 2017 5:12:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2715/3728 took 732281 ms. Total solver calls (SAT/UNSAT): 5269697(8068/5261629)
Jun 02, 2017 5:12:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2719/3728 took 733317 ms. Total solver calls (SAT/UNSAT): 5277169(8080/5269089)
Jun 02, 2017 5:12:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2723/3728 took 734352 ms. Total solver calls (SAT/UNSAT): 5284641(8092/5276549)
Jun 02, 2017 5:12:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2727/3728 took 735601 ms. Total solver calls (SAT/UNSAT): 5293635(8104/5285531)
Jun 02, 2017 5:12:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2731/3728 took 736634 ms. Total solver calls (SAT/UNSAT): 5301107(8116/5292991)
Jun 02, 2017 5:12:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2735/3728 took 737671 ms. Total solver calls (SAT/UNSAT): 5308579(8128/5300451)
Jun 02, 2017 5:12:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2739/3728 took 738722 ms. Total solver calls (SAT/UNSAT): 5316051(8140/5307911)
Jun 02, 2017 5:12:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2743/3728 took 739764 ms. Total solver calls (SAT/UNSAT): 5323523(8152/5315371)
Jun 02, 2017 5:12:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2747/3728 took 741015 ms. Total solver calls (SAT/UNSAT): 5332517(8164/5324353)
Jun 02, 2017 5:12:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2751/3728 took 742058 ms. Total solver calls (SAT/UNSAT): 5339989(8176/5331813)
Jun 02, 2017 5:12:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2755/3728 took 743223 ms. Total solver calls (SAT/UNSAT): 5347461(8188/5339273)
Jun 02, 2017 5:12:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2759/3728 took 744266 ms. Total solver calls (SAT/UNSAT): 5354933(8200/5346733)
Jun 02, 2017 5:12:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2763/3728 took 745301 ms. Total solver calls (SAT/UNSAT): 5362405(8212/5354193)
Jun 02, 2017 5:12:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2767/3728 took 746552 ms. Total solver calls (SAT/UNSAT): 5371398(8224/5363174)
Jun 02, 2017 5:12:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2771/3728 took 747599 ms. Total solver calls (SAT/UNSAT): 5378871(8236/5370635)
Jun 02, 2017 5:12:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2775/3728 took 748636 ms. Total solver calls (SAT/UNSAT): 5386343(8248/5378095)
Jun 02, 2017 5:12:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2779/3728 took 749671 ms. Total solver calls (SAT/UNSAT): 5393815(8260/5385555)
Jun 02, 2017 5:12:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2783/3728 took 750714 ms. Total solver calls (SAT/UNSAT): 5401287(8272/5393015)
Jun 02, 2017 5:12:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2787/3728 took 751755 ms. Total solver calls (SAT/UNSAT): 5408759(8284/5400475)
Jun 02, 2017 5:12:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2791/3728 took 753003 ms. Total solver calls (SAT/UNSAT): 5417753(8296/5409457)
Jun 02, 2017 5:12:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2795/3728 took 754048 ms. Total solver calls (SAT/UNSAT): 5425225(8308/5416917)
Jun 02, 2017 5:12:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2799/3728 took 755172 ms. Total solver calls (SAT/UNSAT): 5432697(8320/5424377)
Jun 02, 2017 5:12:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2803/3728 took 756248 ms. Total solver calls (SAT/UNSAT): 5440169(8332/5431837)
Jun 02, 2017 5:12:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2807/3728 took 757263 ms. Total solver calls (SAT/UNSAT): 5447641(8344/5439297)
Jun 02, 2017 5:12:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2811/3728 took 758471 ms. Total solver calls (SAT/UNSAT): 5456635(8356/5448279)
Jun 02, 2017 5:12:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2815/3728 took 759480 ms. Total solver calls (SAT/UNSAT): 5464107(8368/5455739)
Jun 02, 2017 5:12:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2819/3728 took 760485 ms. Total solver calls (SAT/UNSAT): 5471579(8380/5463199)
Jun 02, 2017 5:12:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2823/3728 took 761493 ms. Total solver calls (SAT/UNSAT): 5479051(8392/5470659)
Jun 02, 2017 5:12:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2827/3728 took 762498 ms. Total solver calls (SAT/UNSAT): 5486523(8404/5478119)
Jun 02, 2017 5:12:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2831/3728 took 763704 ms. Total solver calls (SAT/UNSAT): 5495517(8416/5487101)
Jun 02, 2017 5:12:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2836/3728 took 764950 ms. Total solver calls (SAT/UNSAT): 5504857(8431/5496426)
Jun 02, 2017 5:12:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2841/3728 took 766196 ms. Total solver calls (SAT/UNSAT): 5514197(8446/5505751)
Jun 02, 2017 5:12:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2845/3728 took 767200 ms. Total solver calls (SAT/UNSAT): 5521669(8458/5513211)
Jun 02, 2017 5:12:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2850/3728 took 768451 ms. Total solver calls (SAT/UNSAT): 5531009(8473/5522536)
Jun 02, 2017 5:12:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2854/3728 took 769675 ms. Total solver calls (SAT/UNSAT): 5540003(8485/5531518)
Jun 02, 2017 5:12:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2858/3728 took 770745 ms. Total solver calls (SAT/UNSAT): 5547475(8497/5538978)
Jun 02, 2017 5:12:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2862/3728 took 771803 ms. Total solver calls (SAT/UNSAT): 5554947(8509/5546438)
Jun 02, 2017 5:12:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2866/3728 took 772819 ms. Total solver calls (SAT/UNSAT): 5562419(8521/5553898)
Jun 02, 2017 5:12:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2870/3728 took 773835 ms. Total solver calls (SAT/UNSAT): 5569891(8533/5561358)
Jun 02, 2017 5:12:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2874/3728 took 775053 ms. Total solver calls (SAT/UNSAT): 5578885(8545/5570340)
Jun 02, 2017 5:12:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2878/3728 took 776065 ms. Total solver calls (SAT/UNSAT): 5586357(8557/5577800)
Jun 02, 2017 5:12:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2882/3728 took 777081 ms. Total solver calls (SAT/UNSAT): 5593829(8569/5585260)
Jun 02, 2017 5:12:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2886/3728 took 778096 ms. Total solver calls (SAT/UNSAT): 5601301(8581/5592720)
Jun 02, 2017 5:12:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2890/3728 took 779111 ms. Total solver calls (SAT/UNSAT): 5608773(8593/5600180)
Jun 02, 2017 5:12:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2894/3728 took 780323 ms. Total solver calls (SAT/UNSAT): 5617767(8605/5609162)
Jun 02, 2017 5:12:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2898/3728 took 781325 ms. Total solver calls (SAT/UNSAT): 5625239(8617/5616622)
Jun 02, 2017 5:12:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2902/3728 took 782331 ms. Total solver calls (SAT/UNSAT): 5632711(8629/5624082)
Jun 02, 2017 5:12:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2906/3728 took 783346 ms. Total solver calls (SAT/UNSAT): 5640183(8641/5631542)
Jun 02, 2017 5:12:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2910/3728 took 784404 ms. Total solver calls (SAT/UNSAT): 5647655(8653/5639002)
Jun 02, 2017 5:12:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2914/3728 took 785640 ms. Total solver calls (SAT/UNSAT): 5656648(8665/5647983)
Jun 02, 2017 5:12:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2918/3728 took 786669 ms. Total solver calls (SAT/UNSAT): 5664121(8677/5655444)
Jun 02, 2017 5:12:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2922/3728 took 787693 ms. Total solver calls (SAT/UNSAT): 5671593(8689/5662904)
Jun 02, 2017 5:12:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2926/3728 took 788717 ms. Total solver calls (SAT/UNSAT): 5679065(8701/5670364)
Jun 02, 2017 5:12:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2930/3728 took 789796 ms. Total solver calls (SAT/UNSAT): 5686537(8713/5677824)
Jun 02, 2017 5:13:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2934/3728 took 790839 ms. Total solver calls (SAT/UNSAT): 5694009(8725/5685284)
Jun 02, 2017 5:13:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2938/3728 took 792090 ms. Total solver calls (SAT/UNSAT): 5703003(8737/5694266)
Jun 02, 2017 5:13:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2942/3728 took 793121 ms. Total solver calls (SAT/UNSAT): 5710475(8749/5701726)
Jun 02, 2017 5:13:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2946/3728 took 794155 ms. Total solver calls (SAT/UNSAT): 5717947(8761/5709186)
Jun 02, 2017 5:13:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2950/3728 took 795229 ms. Total solver calls (SAT/UNSAT): 5725419(8773/5716646)
Jun 02, 2017 5:13:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2954/3728 took 796252 ms. Total solver calls (SAT/UNSAT): 5732891(8785/5724106)
Jun 02, 2017 5:13:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2958/3728 took 797477 ms. Total solver calls (SAT/UNSAT): 5741885(8797/5733088)
Jun 02, 2017 5:13:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2962/3728 took 798494 ms. Total solver calls (SAT/UNSAT): 5749357(8809/5740548)
Jun 02, 2017 5:13:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2966/3728 took 799510 ms. Total solver calls (SAT/UNSAT): 5756829(8821/5748008)
Jun 02, 2017 5:13:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2970/3728 took 800557 ms. Total solver calls (SAT/UNSAT): 5764301(8833/5755468)
Jun 02, 2017 5:13:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2974/3728 took 801632 ms. Total solver calls (SAT/UNSAT): 5771773(8845/5762928)
Jun 02, 2017 5:13:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2978/3728 took 802855 ms. Total solver calls (SAT/UNSAT): 5780767(8857/5771910)
Jun 02, 2017 5:13:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2982/3728 took 803870 ms. Total solver calls (SAT/UNSAT): 5788239(8869/5779370)
Jun 02, 2017 5:13:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2986/3728 took 804886 ms. Total solver calls (SAT/UNSAT): 5795711(8881/5786830)
Jun 02, 2017 5:13:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2990/3728 took 805900 ms. Total solver calls (SAT/UNSAT): 5803183(8893/5794290)
Jun 02, 2017 5:13:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2994/3728 took 806915 ms. Total solver calls (SAT/UNSAT): 5810655(8905/5801750)
Jun 02, 2017 5:13:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2998/3728 took 808141 ms. Total solver calls (SAT/UNSAT): 5819648(8917/5810731)
Jun 02, 2017 5:13:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3002/3728 took 809156 ms. Total solver calls (SAT/UNSAT): 5827121(8929/5818192)
Jun 02, 2017 5:13:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3006/3728 took 810169 ms. Total solver calls (SAT/UNSAT): 5834593(8941/5825652)
Jun 02, 2017 5:13:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3010/3728 took 811185 ms. Total solver calls (SAT/UNSAT): 5842065(8953/5833112)
Jun 02, 2017 5:13:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3014/3728 took 812195 ms. Total solver calls (SAT/UNSAT): 5849537(8965/5840572)
Jun 02, 2017 5:13:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3018/3728 took 813201 ms. Total solver calls (SAT/UNSAT): 5857009(8977/5848032)
Jun 02, 2017 5:13:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3022/3728 took 814419 ms. Total solver calls (SAT/UNSAT): 5866003(8989/5857014)
Jun 02, 2017 5:13:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3026/3728 took 815436 ms. Total solver calls (SAT/UNSAT): 5873475(9001/5864474)
Jun 02, 2017 5:13:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3030/3728 took 816441 ms. Total solver calls (SAT/UNSAT): 5880947(9013/5871934)
Jun 02, 2017 5:13:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3034/3728 took 817544 ms. Total solver calls (SAT/UNSAT): 5888419(9025/5879394)
Jun 02, 2017 5:13:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3038/3728 took 818586 ms. Total solver calls (SAT/UNSAT): 5895891(9037/5886854)
Jun 02, 2017 5:13:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3042/3728 took 819839 ms. Total solver calls (SAT/UNSAT): 5904885(9049/5895836)
Jun 02, 2017 5:13:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3046/3728 took 820881 ms. Total solver calls (SAT/UNSAT): 5912357(9061/5903296)
Jun 02, 2017 5:13:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3050/3728 took 821909 ms. Total solver calls (SAT/UNSAT): 5919829(9073/5910756)
Jun 02, 2017 5:13:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3054/3728 took 822941 ms. Total solver calls (SAT/UNSAT): 5927301(9085/5918216)
Jun 02, 2017 5:13:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3058/3728 took 823970 ms. Total solver calls (SAT/UNSAT): 5934773(9097/5925676)
Jun 02, 2017 5:13:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3062/3728 took 825214 ms. Total solver calls (SAT/UNSAT): 5943767(9109/5934658)
Jun 02, 2017 5:13:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3066/3728 took 826259 ms. Total solver calls (SAT/UNSAT): 5951239(9121/5942118)
Jun 02, 2017 5:13:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3070/3728 took 827296 ms. Total solver calls (SAT/UNSAT): 5958711(9133/5949578)
Jun 02, 2017 5:13:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3074/3728 took 828336 ms. Total solver calls (SAT/UNSAT): 5966183(9145/5957038)
Jun 02, 2017 5:13:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3078/3728 took 829370 ms. Total solver calls (SAT/UNSAT): 5973655(9157/5964498)
Jun 02, 2017 5:13:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3082/3728 took 830614 ms. Total solver calls (SAT/UNSAT): 5982648(9169/5973479)
Jun 02, 2017 5:13:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3086/3728 took 831661 ms. Total solver calls (SAT/UNSAT): 5990121(9181/5980940)
Jun 02, 2017 5:13:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3090/3728 took 832693 ms. Total solver calls (SAT/UNSAT): 5997593(9193/5988400)
Jun 02, 2017 5:13:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3094/3728 took 833739 ms. Total solver calls (SAT/UNSAT): 6005065(9205/5995860)
Jun 02, 2017 5:13:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3098/3728 took 834778 ms. Total solver calls (SAT/UNSAT): 6012537(9217/6003320)
Jun 02, 2017 5:13:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3102/3728 took 835818 ms. Total solver calls (SAT/UNSAT): 6020009(9229/6010780)
Jun 02, 2017 5:13:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3106/3728 took 837070 ms. Total solver calls (SAT/UNSAT): 6029003(9241/6019762)
Jun 02, 2017 5:13:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3110/3728 took 838100 ms. Total solver calls (SAT/UNSAT): 6036475(9253/6027222)
Jun 02, 2017 5:13:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3114/3728 took 839137 ms. Total solver calls (SAT/UNSAT): 6043947(9265/6034682)
Jun 02, 2017 5:13:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3118/3728 took 840164 ms. Total solver calls (SAT/UNSAT): 6051419(9277/6042142)
Jun 02, 2017 5:13:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3122/3728 took 841200 ms. Total solver calls (SAT/UNSAT): 6058891(9289/6049602)
Jun 02, 2017 5:13:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3126/3728 took 842448 ms. Total solver calls (SAT/UNSAT): 6067885(9301/6058584)
Jun 02, 2017 5:13:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3130/3728 took 843485 ms. Total solver calls (SAT/UNSAT): 6075357(9313/6066044)
Jun 02, 2017 5:13:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3134/3728 took 844526 ms. Total solver calls (SAT/UNSAT): 6082829(9325/6073504)
Jun 02, 2017 5:13:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3138/3728 took 845556 ms. Total solver calls (SAT/UNSAT): 6090301(9337/6080964)
Jun 02, 2017 5:13:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3142/3728 took 846595 ms. Total solver calls (SAT/UNSAT): 6097773(9349/6088424)
Jun 02, 2017 5:13:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3146/3728 took 847843 ms. Total solver calls (SAT/UNSAT): 6106767(9361/6097406)
Jun 02, 2017 5:13:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3150/3728 took 848886 ms. Total solver calls (SAT/UNSAT): 6114239(9373/6104866)
Jun 02, 2017 5:13:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3154/3728 took 849922 ms. Total solver calls (SAT/UNSAT): 6121711(9385/6112326)
Jun 02, 2017 5:14:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3158/3728 took 850956 ms. Total solver calls (SAT/UNSAT): 6129183(9397/6119786)
Jun 02, 2017 5:14:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3162/3728 took 852001 ms. Total solver calls (SAT/UNSAT): 6136655(9409/6127246)
Jun 02, 2017 5:14:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3166/3728 took 853238 ms. Total solver calls (SAT/UNSAT): 6145648(9421/6136227)
Jun 02, 2017 5:14:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3170/3728 took 854315 ms. Total solver calls (SAT/UNSAT): 6153121(9433/6143688)
Jun 02, 2017 5:14:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3174/3728 took 855408 ms. Total solver calls (SAT/UNSAT): 6160593(9445/6151148)
Jun 02, 2017 5:14:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3178/3728 took 856418 ms. Total solver calls (SAT/UNSAT): 6168065(9457/6158608)
Jun 02, 2017 5:14:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3182/3728 took 857419 ms. Total solver calls (SAT/UNSAT): 6175537(9469/6166068)
Jun 02, 2017 5:14:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3186/3728 took 858429 ms. Total solver calls (SAT/UNSAT): 6183009(9481/6173528)
Jun 02, 2017 5:14:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3190/3728 took 859639 ms. Total solver calls (SAT/UNSAT): 6192003(9493/6182510)
Jun 02, 2017 5:14:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3194/3728 took 860646 ms. Total solver calls (SAT/UNSAT): 6199475(9505/6189970)
Jun 02, 2017 5:14:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3198/3728 took 861657 ms. Total solver calls (SAT/UNSAT): 6206947(9517/6197430)
Jun 02, 2017 5:14:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3202/3728 took 862667 ms. Total solver calls (SAT/UNSAT): 6214419(9529/6204890)
Jun 02, 2017 5:14:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3206/3728 took 863672 ms. Total solver calls (SAT/UNSAT): 6221891(9541/6212350)
Jun 02, 2017 5:14:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3210/3728 took 864882 ms. Total solver calls (SAT/UNSAT): 6230885(9553/6221332)
Jun 02, 2017 5:14:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3214/3728 took 865889 ms. Total solver calls (SAT/UNSAT): 6238357(9565/6228792)
Jun 02, 2017 5:14:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3218/3728 took 866894 ms. Total solver calls (SAT/UNSAT): 6245829(9577/6236252)
Jun 02, 2017 5:14:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3222/3728 took 867950 ms. Total solver calls (SAT/UNSAT): 6253301(9589/6243712)
Jun 02, 2017 5:14:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3226/3728 took 868990 ms. Total solver calls (SAT/UNSAT): 6260773(9601/6251172)
Jun 02, 2017 5:14:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3230/3728 took 870238 ms. Total solver calls (SAT/UNSAT): 6269767(9613/6260154)
Jun 02, 2017 5:14:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3234/3728 took 871274 ms. Total solver calls (SAT/UNSAT): 6277239(9625/6267614)
Jun 02, 2017 5:14:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3238/3728 took 872314 ms. Total solver calls (SAT/UNSAT): 6284711(9637/6275074)
Jun 02, 2017 5:14:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3242/3728 took 873351 ms. Total solver calls (SAT/UNSAT): 6292183(9649/6282534)
Jun 02, 2017 5:14:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3246/3728 took 874387 ms. Total solver calls (SAT/UNSAT): 6299655(9661/6289994)
Jun 02, 2017 5:14:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3250/3728 took 875632 ms. Total solver calls (SAT/UNSAT): 6308648(9673/6298975)
Jun 02, 2017 5:14:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3254/3728 took 876675 ms. Total solver calls (SAT/UNSAT): 6316121(9685/6306436)
Jun 02, 2017 5:14:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3258/3728 took 877749 ms. Total solver calls (SAT/UNSAT): 6323593(9697/6313896)
Jun 02, 2017 5:14:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3262/3728 took 878872 ms. Total solver calls (SAT/UNSAT): 6331065(9709/6321356)
Jun 02, 2017 5:14:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3266/3728 took 879923 ms. Total solver calls (SAT/UNSAT): 6338537(9721/6328816)
Jun 02, 2017 5:14:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3270/3728 took 880987 ms. Total solver calls (SAT/UNSAT): 6346009(9733/6336276)
Jun 02, 2017 5:14:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3274/3728 took 882200 ms. Total solver calls (SAT/UNSAT): 6355003(9745/6345258)
Jun 02, 2017 5:14:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3278/3728 took 883214 ms. Total solver calls (SAT/UNSAT): 6362475(9757/6352718)
Jun 02, 2017 5:14:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3282/3728 took 884221 ms. Total solver calls (SAT/UNSAT): 6369947(9769/6360178)
Jun 02, 2017 5:14:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3286/3728 took 885239 ms. Total solver calls (SAT/UNSAT): 6377419(9781/6367638)
Jun 02, 2017 5:14:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3290/3728 took 886249 ms. Total solver calls (SAT/UNSAT): 6384891(9793/6375098)
Jun 02, 2017 5:14:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3294/3728 took 887466 ms. Total solver calls (SAT/UNSAT): 6393885(9805/6384080)
Jun 02, 2017 5:14:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3298/3728 took 888588 ms. Total solver calls (SAT/UNSAT): 6401357(9817/6391540)
Jun 02, 2017 5:14:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3302/3728 took 889620 ms. Total solver calls (SAT/UNSAT): 6408829(9829/6399000)
Jun 02, 2017 5:14:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3306/3728 took 890630 ms. Total solver calls (SAT/UNSAT): 6416301(9841/6406460)
Jun 02, 2017 5:14:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3310/3728 took 891672 ms. Total solver calls (SAT/UNSAT): 6423773(9853/6413920)
Jun 02, 2017 5:14:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3314/3728 took 892886 ms. Total solver calls (SAT/UNSAT): 6432767(9865/6422902)
Jun 02, 2017 5:14:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3318/3728 took 893893 ms. Total solver calls (SAT/UNSAT): 6440239(9877/6430362)
Jun 02, 2017 5:14:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3322/3728 took 894898 ms. Total solver calls (SAT/UNSAT): 6447711(9889/6437822)
Jun 02, 2017 5:14:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3326/3728 took 895912 ms. Total solver calls (SAT/UNSAT): 6455183(9901/6445282)
Jun 02, 2017 5:14:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3330/3728 took 896916 ms. Total solver calls (SAT/UNSAT): 6462655(9913/6452742)
Jun 02, 2017 5:14:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3334/3728 took 898127 ms. Total solver calls (SAT/UNSAT): 6471648(9925/6461723)
Jun 02, 2017 5:14:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3338/3728 took 899130 ms. Total solver calls (SAT/UNSAT): 6479121(9937/6469184)
Jun 02, 2017 5:14:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3342/3728 took 900140 ms. Total solver calls (SAT/UNSAT): 6486593(9949/6476644)
Jun 02, 2017 5:14:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3347/3728 took 901384 ms. Total solver calls (SAT/UNSAT): 6495933(9964/6485969)
Jun 02, 2017 5:14:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3351/3728 took 902386 ms. Total solver calls (SAT/UNSAT): 6503405(9976/6493429)
Jun 02, 2017 5:14:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3355/3728 took 903594 ms. Total solver calls (SAT/UNSAT): 6512398(9988/6502410)
Jun 02, 2017 5:14:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3359/3728 took 904610 ms. Total solver calls (SAT/UNSAT): 6519871(10000/6509871)
Jun 02, 2017 5:14:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3363/3728 took 905617 ms. Total solver calls (SAT/UNSAT): 6527343(10012/6517331)
Jun 02, 2017 5:14:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3367/3728 took 906625 ms. Total solver calls (SAT/UNSAT): 6534815(10024/6524791)
Jun 02, 2017 5:14:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3371/3728 took 907631 ms. Total solver calls (SAT/UNSAT): 6542287(10036/6532251)
Jun 02, 2017 5:14:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3375/3728 took 908642 ms. Total solver calls (SAT/UNSAT): 6549759(10048/6539711)
Jun 02, 2017 5:14:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3379/3728 took 909848 ms. Total solver calls (SAT/UNSAT): 6558753(10060/6548693)
Jun 02, 2017 5:15:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3383/3728 took 910900 ms. Total solver calls (SAT/UNSAT): 6566225(10072/6556153)
Jun 02, 2017 5:15:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3387/3728 took 911960 ms. Total solver calls (SAT/UNSAT): 6573697(10084/6563613)
Jun 02, 2017 5:15:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3391/3728 took 912976 ms. Total solver calls (SAT/UNSAT): 6581169(10096/6571073)
Jun 02, 2017 5:15:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3395/3728 took 913985 ms. Total solver calls (SAT/UNSAT): 6588641(10108/6578533)
Jun 02, 2017 5:15:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3399/3728 took 915245 ms. Total solver calls (SAT/UNSAT): 6597635(10120/6587515)
Jun 02, 2017 5:15:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3403/3728 took 916288 ms. Total solver calls (SAT/UNSAT): 6605107(10132/6594975)
Jun 02, 2017 5:15:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3407/3728 took 917327 ms. Total solver calls (SAT/UNSAT): 6612579(10144/6602435)
Jun 02, 2017 5:15:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3411/3728 took 918372 ms. Total solver calls (SAT/UNSAT): 6620051(10156/6609895)
Jun 02, 2017 5:15:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3415/3728 took 919413 ms. Total solver calls (SAT/UNSAT): 6627523(10168/6617355)
Jun 02, 2017 5:15:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3419/3728 took 920669 ms. Total solver calls (SAT/UNSAT): 6636517(10180/6626337)
Jun 02, 2017 5:15:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3423/3728 took 921706 ms. Total solver calls (SAT/UNSAT): 6643989(10192/6633797)
Jun 02, 2017 5:15:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3427/3728 took 922748 ms. Total solver calls (SAT/UNSAT): 6651461(10204/6641257)
Jun 02, 2017 5:15:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3431/3728 took 923818 ms. Total solver calls (SAT/UNSAT): 6658933(10216/6648717)
Jun 02, 2017 5:15:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3435/3728 took 924836 ms. Total solver calls (SAT/UNSAT): 6666405(10228/6656177)
Jun 02, 2017 5:15:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3439/3728 took 926136 ms. Total solver calls (SAT/UNSAT): 6675398(10240/6665158)
Jun 02, 2017 5:15:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3465/3728 took 927159 ms. Total solver calls (SAT/UNSAT): 6682262(10266/6671996)
Jun 02, 2017 5:15:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3481/3728 took 928591 ms. Total solver calls (SAT/UNSAT): 6692566(10282/6682284)
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_BridgeAndVehicles-PT-V80P50N20"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/S_BridgeAndVehicles-PT-V80P50N20.tgz
mv S_BridgeAndVehicles-PT-V80P50N20 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is S_BridgeAndVehicles-PT-V80P50N20, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r090-csrt-149441076900566"
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 ;