Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is BridgeAndVehicles-PT-V80P50N20, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r010-csrt-149436129900563
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-0
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-1
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-10
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-11
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-12
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-13
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-14
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-15
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-2
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-3
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-4
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-5
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-6
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-7
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-8
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLCardinality-9

=== Now, execution of the tool begins

BK_START 1496285156734


Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ltl command run as :

/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLCardinality.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLCardinality.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((F(("(VIDANGE_1+VIDANGE_2)<=((((((((((((((((((((COMPTEUR_0+COMPTEUR_1)+COMPTEUR_2)+COMPTEUR_3)+COMPTEUR_4)+COMPTEUR_5)+COMPTEUR_6)+COMPTEUR_7)+COMPTEUR_8)+COMPTEUR_9)+COMPTEUR_10)+COMPTEUR_11)+COMPTEUR_12)+COMPTEUR_13)+COMPTEUR_14)+COMPTEUR_15)+COMPTEUR_16)+COMPTEUR_17)+COMPTEUR_18)+COMPTEUR_19)+COMPTEUR_20)")U("ROUTE_B<=(VIDANGE_1+VIDANGE_2)"))))
Formula 0 simplified : !F("(VIDANGE_1+VIDANGE_2)<=((((((((((((((((((((COMPTEUR_0+COMPTEUR_1)+COMPTEUR_2)+COMPTEUR_3)+COMPTEUR_4)+COMPTEUR_5)+COMPTEUR_6)+COMPTEUR_7)+COMPTEUR_8)+COMPTEUR_9)+COMPTEUR_10)+COMPTEUR_11)+COMPTEUR_12)+COMPTEUR_13)+COMPTEUR_14)+COMPTEUR_15)+COMPTEUR_16)+COMPTEUR_17)+COMPTEUR_18)+COMPTEUR_19)+COMPTEUR_20)" U "ROUTE_B<=(VIDANGE_1+VIDANGE_2)")
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 3728 rows 198 cols
invariant : 1'NB_ATTENTE_B_0 + 1'NB_ATTENTE_B_1 + 1'NB_ATTENTE_B_2 + 1'NB_ATTENTE_B_3 + 1'NB_ATTENTE_B_4 + 1'NB_ATTENTE_B_5 + 1'NB_ATTENTE_B_6 + 1'NB_ATTENTE_B_7 + 1'NB_ATTENTE_B_8 + 1'NB_ATTENTE_B_9 + 1'NB_ATTENTE_B_10 + 1'NB_ATTENTE_B_11 + 1'NB_ATTENTE_B_12 + 1'NB_ATTENTE_B_13 + 1'NB_ATTENTE_B_14 + 1'NB_ATTENTE_B_15 + 1'NB_ATTENTE_B_16 + 1'NB_ATTENTE_B_17 + 1'NB_ATTENTE_B_18 + 1'NB_ATTENTE_B_19 + 1'NB_ATTENTE_B_20 + 1'NB_ATTENTE_B_21 + 1'NB_ATTENTE_B_22 + 1'NB_ATTENTE_B_23 + 1'NB_ATTENTE_B_24 + 1'NB_ATTENTE_B_25 + 1'NB_ATTENTE_B_26 + 1'NB_ATTENTE_B_27 + 1'NB_ATTENTE_B_28 + 1'NB_ATTENTE_B_29 + 1'NB_ATTENTE_B_30 + 1'NB_ATTENTE_B_31 + 1'NB_ATTENTE_B_32 + 1'NB_ATTENTE_B_33 + 1'NB_ATTENTE_B_34 + 1'NB_ATTENTE_B_35 + 1'NB_ATTENTE_B_36 + 1'NB_ATTENTE_B_37 + 1'NB_ATTENTE_B_38 + 1'NB_ATTENTE_B_39 + 1'NB_ATTENTE_B_40 + 1'NB_ATTENTE_B_41 + 1'NB_ATTENTE_B_42 + 1'NB_ATTENTE_B_43 + 1'NB_ATTENTE_B_44 + 1'NB_ATTENTE_B_45 + 1'NB_ATTENTE_B_46 + 1'NB_ATTENTE_B_47 + 1'NB_ATTENTE_B_48 + 1'NB_ATTENTE_B_49 + 1'NB_ATTENTE_B_50 + 1'NB_ATTENTE_B_51 + 1'NB_ATTENTE_B_52 + 1'NB_ATTENTE_B_53 + 1'NB_ATTENTE_B_54 + 1'NB_ATTENTE_B_55 + 1'NB_ATTENTE_B_56 + 1'NB_ATTENTE_B_57 + 1'NB_ATTENTE_B_58 + 1'NB_ATTENTE_B_59 + 1'NB_ATTENTE_B_60 + 1'NB_ATTENTE_B_61 + 1'NB_ATTENTE_B_62 + 1'NB_ATTENTE_B_63 + 1'NB_ATTENTE_B_64 + 1'NB_ATTENTE_B_65 + 1'NB_ATTENTE_B_66 + 1'NB_ATTENTE_B_67 + 1'NB_ATTENTE_B_68 + 1'NB_ATTENTE_B_69 + 1'NB_ATTENTE_B_70 + 1'NB_ATTENTE_B_71 + 1'NB_ATTENTE_B_72 + 1'NB_ATTENTE_B_73 + 1'NB_ATTENTE_B_74 + 1'NB_ATTENTE_B_75 + 1'NB_ATTENTE_B_76 + 1'NB_ATTENTE_B_77 + 1'NB_ATTENTE_B_78 + 1'NB_ATTENTE_B_79 + 1'NB_ATTENTE_B_80= 1
invariant : 1'ROUTE_A + 1'ATTENTE_A + 1'SUR_PONT_A + 1'SORTI_A= 80
invariant : 1'COMPTEUR_0 + 1'COMPTEUR_1 + 1'COMPTEUR_2 + 1'COMPTEUR_3 + 1'COMPTEUR_4 + 1'COMPTEUR_5 + 1'COMPTEUR_6 + 1'COMPTEUR_7 + 1'COMPTEUR_8 + 1'COMPTEUR_9 + 1'COMPTEUR_10 + 1'COMPTEUR_11 + 1'COMPTEUR_12 + 1'COMPTEUR_13 + 1'COMPTEUR_14 + 1'COMPTEUR_15 + 1'COMPTEUR_16 + 1'COMPTEUR_17 + 1'COMPTEUR_18 + 1'COMPTEUR_19 + 1'COMPTEUR_20= 1
invariant : 1'SUR_PONT_A + 1'CAPACITE + 1'SUR_PONT_B= 50
invariant : -1'SUR_PONT_A + -1'CAPACITE + 1'ATTENTE_B + 1'SORTI_B + 1'ROUTE_B= 30
invariant : 1'NB_ATTENTE_A_0 + 1'NB_ATTENTE_A_1 + 1'NB_ATTENTE_A_2 + 1'NB_ATTENTE_A_3 + 1'NB_ATTENTE_A_4 + 1'NB_ATTENTE_A_5 + 1'NB_ATTENTE_A_6 + 1'NB_ATTENTE_A_7 + 1'NB_ATTENTE_A_8 + 1'NB_ATTENTE_A_9 + 1'NB_ATTENTE_A_10 + 1'NB_ATTENTE_A_11 + 1'NB_ATTENTE_A_12 + 1'NB_ATTENTE_A_13 + 1'NB_ATTENTE_A_14 + 1'NB_ATTENTE_A_15 + 1'NB_ATTENTE_A_16 + 1'NB_ATTENTE_A_17 + 1'NB_ATTENTE_A_18 + 1'NB_ATTENTE_A_19 + 1'NB_ATTENTE_A_20 + 1'NB_ATTENTE_A_21 + 1'NB_ATTENTE_A_22 + 1'NB_ATTENTE_A_23 + 1'NB_ATTENTE_A_24 + 1'NB_ATTENTE_A_25 + 1'NB_ATTENTE_A_26 + 1'NB_ATTENTE_A_27 + 1'NB_ATTENTE_A_28 + 1'NB_ATTENTE_A_29 + 1'NB_ATTENTE_A_30 + 1'NB_ATTENTE_A_31 + 1'NB_ATTENTE_A_32 + 1'NB_ATTENTE_A_33 + 1'NB_ATTENTE_A_34 + 1'NB_ATTENTE_A_35 + 1'NB_ATTENTE_A_36 + 1'NB_ATTENTE_A_37 + 1'NB_ATTENTE_A_38 + 1'NB_ATTENTE_A_39 + 1'NB_ATTENTE_A_40 + 1'NB_ATTENTE_A_41 + 1'NB_ATTENTE_A_42 + 1'NB_ATTENTE_A_43 + 1'NB_ATTENTE_A_44 + 1'NB_ATTENTE_A_45 + 1'NB_ATTENTE_A_46 + 1'NB_ATTENTE_A_47 + 1'NB_ATTENTE_A_48 + 1'NB_ATTENTE_A_49 + 1'NB_ATTENTE_A_50 + 1'NB_ATTENTE_A_51 + 1'NB_ATTENTE_A_52 + 1'NB_ATTENTE_A_53 + 1'NB_ATTENTE_A_54 + 1'NB_ATTENTE_A_55 + 1'NB_ATTENTE_A_56 + 1'NB_ATTENTE_A_57 + 1'NB_ATTENTE_A_58 + 1'NB_ATTENTE_A_59 + 1'NB_ATTENTE_A_60 + 1'NB_ATTENTE_A_61 + 1'NB_ATTENTE_A_62 + 1'NB_ATTENTE_A_63 + 1'NB_ATTENTE_A_64 + 1'NB_ATTENTE_A_65 + 1'NB_ATTENTE_A_66 + 1'NB_ATTENTE_A_67 + 1'NB_ATTENTE_A_68 + 1'NB_ATTENTE_A_69 + 1'NB_ATTENTE_A_70 + 1'NB_ATTENTE_A_71 + 1'NB_ATTENTE_A_72 + 1'NB_ATTENTE_A_73 + 1'NB_ATTENTE_A_74 + 1'NB_ATTENTE_A_75 + 1'NB_ATTENTE_A_76 + 1'NB_ATTENTE_A_77 + 1'NB_ATTENTE_A_78 + 1'NB_ATTENTE_A_79 + 1'NB_ATTENTE_A_80= 1
invariant : 1'CONTROLEUR_1 + 1'CONTROLEUR_2 + 1'CHOIX_1 + 1'CHOIX_2 + 1'VIDANGE_1 + 1'VIDANGE_2= 1
Exit code :137

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLCardinality -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLCardinality -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 01, 2017 2:45:58 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 2:45:58 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 366 ms
Jun 01, 2017 2:45:58 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 198 places.
Jun 01, 2017 2:45:59 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 3728 transitions.
Jun 01, 2017 2:46:00 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 857 ms
Jun 01, 2017 2:46:00 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 102 ms
Jun 01, 2017 2:46:00 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 2 ms
Jun 01, 2017 2:46:02 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 544 ms
Jun 01, 2017 2:46:17 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 198 variables to be positive in 15445 ms
Jun 01, 2017 2:46:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 3728 transitions.
Jun 01, 2017 2:46:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3728 took 298 ms. Total solver calls (SAT/UNSAT): 1943(2/1941)
Jun 01, 2017 2:46:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/3728 took 1489 ms. Total solver calls (SAT/UNSAT): 9715(10/9705)
Jun 01, 2017 2:46:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/3728 took 2693 ms. Total solver calls (SAT/UNSAT): 17487(18/17469)
Jun 01, 2017 2:46:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/3728 took 3808 ms. Total solver calls (SAT/UNSAT): 25259(26/25233)
Jun 01, 2017 2:46:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :16/3728 took 5001 ms. Total solver calls (SAT/UNSAT): 33031(34/32997)
Jun 01, 2017 2:46:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/3728 took 6211 ms. Total solver calls (SAT/UNSAT): 40803(42/40761)
Jun 01, 2017 2:46:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/3728 took 7430 ms. Total solver calls (SAT/UNSAT): 48575(50/48525)
Jun 01, 2017 2:46:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/3728 took 8578 ms. Total solver calls (SAT/UNSAT): 56347(58/56289)
Jun 01, 2017 2:46:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/3728 took 9795 ms. Total solver calls (SAT/UNSAT): 64119(66/64053)
Jun 01, 2017 2:46:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/3728 took 10931 ms. Total solver calls (SAT/UNSAT): 71891(74/71817)
Jun 01, 2017 2:46:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/3728 took 12069 ms. Total solver calls (SAT/UNSAT): 79663(82/79581)
Jun 01, 2017 2:46:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/3728 took 13125 ms. Total solver calls (SAT/UNSAT): 87435(90/87345)
Jun 01, 2017 2:46:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/3728 took 14252 ms. Total solver calls (SAT/UNSAT): 95207(98/95109)
Jun 01, 2017 2:46:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/3728 took 15324 ms. Total solver calls (SAT/UNSAT): 102979(106/102873)
Jun 01, 2017 2:46:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/3728 took 16468 ms. Total solver calls (SAT/UNSAT): 110751(114/110637)
Jun 01, 2017 2:46:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/3728 took 17641 ms. Total solver calls (SAT/UNSAT): 118523(122/118401)
Jun 01, 2017 2:46:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/3728 took 18838 ms. Total solver calls (SAT/UNSAT): 126295(130/126165)
Jun 01, 2017 2:46:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/3728 took 19947 ms. Total solver calls (SAT/UNSAT): 134067(138/133929)
Jun 01, 2017 2:46:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/3728 took 21043 ms. Total solver calls (SAT/UNSAT): 141839(146/141693)
Jun 01, 2017 2:46:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/3728 took 22194 ms. Total solver calls (SAT/UNSAT): 149611(154/149457)
Jun 01, 2017 2:46:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/3728 took 23289 ms. Total solver calls (SAT/UNSAT): 157308(163/157145)
Jun 01, 2017 2:46:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/3728 took 24377 ms. Total solver calls (SAT/UNSAT): 164784(175/164609)
Jun 01, 2017 2:46:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/3728 took 25403 ms. Total solver calls (SAT/UNSAT): 172260(187/172073)
Jun 01, 2017 2:46:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/3728 took 26472 ms. Total solver calls (SAT/UNSAT): 179736(199/179537)
Jun 01, 2017 2:46:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/3728 took 27497 ms. Total solver calls (SAT/UNSAT): 187212(211/187001)
Jun 01, 2017 2:46:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/3728 took 28532 ms. Total solver calls (SAT/UNSAT): 194688(223/194465)
Jun 01, 2017 2:46:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/3728 took 29563 ms. Total solver calls (SAT/UNSAT): 202164(235/201929)
Jun 01, 2017 2:46:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/3728 took 30652 ms. Total solver calls (SAT/UNSAT): 209640(247/209393)
Jun 01, 2017 2:46:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/3728 took 31672 ms. Total solver calls (SAT/UNSAT): 217116(259/216857)
Jun 01, 2017 2:46:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/3728 took 32694 ms. Total solver calls (SAT/UNSAT): 224592(271/224321)
Jun 01, 2017 2:46:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/3728 took 33737 ms. Total solver calls (SAT/UNSAT): 232068(283/231785)
Jun 01, 2017 2:46:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/3728 took 34769 ms. Total solver calls (SAT/UNSAT): 239544(295/239249)
Jun 01, 2017 2:46:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/3728 took 35793 ms. Total solver calls (SAT/UNSAT): 247020(307/246713)
Jun 01, 2017 2:46:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/3728 took 36893 ms. Total solver calls (SAT/UNSAT): 254496(319/254177)
Jun 01, 2017 2:46:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/3728 took 37988 ms. Total solver calls (SAT/UNSAT): 261972(331/261641)
Jun 01, 2017 2:46:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/3728 took 39004 ms. Total solver calls (SAT/UNSAT): 269448(343/269105)
Jun 01, 2017 2:46:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/3728 took 40066 ms. Total solver calls (SAT/UNSAT): 276924(355/276569)
Jun 01, 2017 2:46:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/3728 took 41142 ms. Total solver calls (SAT/UNSAT): 284400(367/284033)
Jun 01, 2017 2:46:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/3728 took 42165 ms. Total solver calls (SAT/UNSAT): 291876(379/291497)
Jun 01, 2017 2:47:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/3728 took 43206 ms. Total solver calls (SAT/UNSAT): 299352(391/298961)
Jun 01, 2017 2:47:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :160/3728 took 44262 ms. Total solver calls (SAT/UNSAT): 306826(403/306423)
Jun 01, 2017 2:47:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/3728 took 45338 ms. Total solver calls (SAT/UNSAT): 314298(415/313883)
Jun 01, 2017 2:47:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/3728 took 46460 ms. Total solver calls (SAT/UNSAT): 321770(427/321343)
Jun 01, 2017 2:47:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/3728 took 47517 ms. Total solver calls (SAT/UNSAT): 329242(439/328803)
Jun 01, 2017 2:47:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/3728 took 48586 ms. Total solver calls (SAT/UNSAT): 336714(451/336263)
Jun 01, 2017 2:47:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/3728 took 49650 ms. Total solver calls (SAT/UNSAT): 344186(463/343723)
Jun 01, 2017 2:47:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :185/3728 took 50901 ms. Total solver calls (SAT/UNSAT): 353526(478/353048)
Jun 01, 2017 2:47:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :189/3728 took 51951 ms. Total solver calls (SAT/UNSAT): 360998(490/360508)
Jun 01, 2017 2:47:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :193/3728 took 52984 ms. Total solver calls (SAT/UNSAT): 368470(502/367968)
Jun 01, 2017 2:47:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :197/3728 took 54011 ms. Total solver calls (SAT/UNSAT): 375942(514/375428)
Jun 01, 2017 2:47:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :201/3728 took 55051 ms. Total solver calls (SAT/UNSAT): 383414(526/382888)
Jun 01, 2017 2:47:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :205/3728 took 56085 ms. Total solver calls (SAT/UNSAT): 390886(538/390348)
Jun 01, 2017 2:47:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :209/3728 took 57133 ms. Total solver calls (SAT/UNSAT): 398358(550/397808)
Jun 01, 2017 2:47:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :213/3728 took 58170 ms. Total solver calls (SAT/UNSAT): 405830(562/405268)
Jun 01, 2017 2:47:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :217/3728 took 59188 ms. Total solver calls (SAT/UNSAT): 413302(574/412728)
Jun 01, 2017 2:47:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/3728 took 60205 ms. Total solver calls (SAT/UNSAT): 420774(586/420188)
Jun 01, 2017 2:47:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :225/3728 took 61226 ms. Total solver calls (SAT/UNSAT): 428246(598/427648)
Jun 01, 2017 2:47:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :229/3728 took 62247 ms. Total solver calls (SAT/UNSAT): 435718(610/435108)
Jun 01, 2017 2:47:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :233/3728 took 63273 ms. Total solver calls (SAT/UNSAT): 443190(622/442568)
Jun 01, 2017 2:47:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :237/3728 took 64290 ms. Total solver calls (SAT/UNSAT): 450662(634/450028)
Jun 01, 2017 2:47:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/3728 took 65306 ms. Total solver calls (SAT/UNSAT): 458133(646/457487)
Jun 01, 2017 2:47:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :245/3728 took 66322 ms. Total solver calls (SAT/UNSAT): 465605(658/464947)
Jun 01, 2017 2:47:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :249/3728 took 67343 ms. Total solver calls (SAT/UNSAT): 473077(670/472407)
Jun 01, 2017 2:47:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :253/3728 took 68364 ms. Total solver calls (SAT/UNSAT): 480549(682/479867)
Jun 01, 2017 2:47:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :257/3728 took 69388 ms. Total solver calls (SAT/UNSAT): 488021(694/487327)
Jun 01, 2017 2:47:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :261/3728 took 70407 ms. Total solver calls (SAT/UNSAT): 495493(706/494787)
Jun 01, 2017 2:47:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :265/3728 took 71420 ms. Total solver calls (SAT/UNSAT): 502965(718/502247)
Jun 01, 2017 2:47:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :269/3728 took 72435 ms. Total solver calls (SAT/UNSAT): 510437(730/509707)
Jun 01, 2017 2:47:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :273/3728 took 73508 ms. Total solver calls (SAT/UNSAT): 517909(742/517167)
Jun 01, 2017 2:47:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :277/3728 took 74573 ms. Total solver calls (SAT/UNSAT): 525381(754/524627)
Jun 01, 2017 2:47:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :281/3728 took 75594 ms. Total solver calls (SAT/UNSAT): 532853(766/532087)
Jun 01, 2017 2:47:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :285/3728 took 76612 ms. Total solver calls (SAT/UNSAT): 540325(778/539547)
Jun 01, 2017 2:47:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :289/3728 took 77622 ms. Total solver calls (SAT/UNSAT): 547797(790/547007)
Jun 01, 2017 2:47:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :293/3728 took 78633 ms. Total solver calls (SAT/UNSAT): 555269(802/554467)
Jun 01, 2017 2:47:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :297/3728 took 79649 ms. Total solver calls (SAT/UNSAT): 562741(814/561927)
Jun 01, 2017 2:47:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :301/3728 took 80660 ms. Total solver calls (SAT/UNSAT): 570213(826/569387)
Jun 01, 2017 2:47:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :305/3728 took 81673 ms. Total solver calls (SAT/UNSAT): 577685(838/576847)
Jun 01, 2017 2:47:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :309/3728 took 82678 ms. Total solver calls (SAT/UNSAT): 585157(850/584307)
Jun 01, 2017 2:47:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :313/3728 took 83745 ms. Total solver calls (SAT/UNSAT): 592629(862/591767)
Jun 01, 2017 2:47:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :318/3728 took 84988 ms. Total solver calls (SAT/UNSAT): 601969(877/601092)
Jun 01, 2017 2:47:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :322/3728 took 86053 ms. Total solver calls (SAT/UNSAT): 609440(889/608551)
Jun 01, 2017 2:47:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :326/3728 took 87133 ms. Total solver calls (SAT/UNSAT): 616912(901/616011)
Jun 01, 2017 2:47:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :330/3728 took 88146 ms. Total solver calls (SAT/UNSAT): 624384(913/623471)
Jun 01, 2017 2:47:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :334/3728 took 89177 ms. Total solver calls (SAT/UNSAT): 631856(925/630931)
Jun 01, 2017 2:47:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :339/3728 took 90415 ms. Total solver calls (SAT/UNSAT): 641196(940/640256)
Jun 01, 2017 2:47:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :344/3728 took 91651 ms. Total solver calls (SAT/UNSAT): 650536(955/649581)
Jun 01, 2017 2:47:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :349/3728 took 92863 ms. Total solver calls (SAT/UNSAT): 659876(970/658906)
Jun 01, 2017 2:47:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :353/3728 took 93983 ms. Total solver calls (SAT/UNSAT): 667348(982/666366)
Jun 01, 2017 2:47:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :357/3728 took 94988 ms. Total solver calls (SAT/UNSAT): 674820(994/673826)
Jun 01, 2017 2:47:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :361/3728 took 95994 ms. Total solver calls (SAT/UNSAT): 682292(1006/681286)
Jun 01, 2017 2:47:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/3728 took 97070 ms. Total solver calls (SAT/UNSAT): 689764(1018/688746)
Jun 01, 2017 2:47:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :369/3728 took 98104 ms. Total solver calls (SAT/UNSAT): 697236(1030/696206)
Jun 01, 2017 2:47:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :374/3728 took 99396 ms. Total solver calls (SAT/UNSAT): 706576(1045/705531)
Jun 01, 2017 2:47:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :378/3728 took 100529 ms. Total solver calls (SAT/UNSAT): 714048(1057/712991)
Jun 01, 2017 2:47:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :382/3728 took 101664 ms. Total solver calls (SAT/UNSAT): 721520(1069/720451)
Jun 01, 2017 2:48:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :386/3728 took 102744 ms. Total solver calls (SAT/UNSAT): 728992(1081/727911)
Jun 01, 2017 2:48:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/3728 took 103748 ms. Total solver calls (SAT/UNSAT): 736464(1093/735371)
Jun 01, 2017 2:48:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/3728 took 104755 ms. Total solver calls (SAT/UNSAT): 743936(1105/742831)
Jun 01, 2017 2:48:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/3728 took 105789 ms. Total solver calls (SAT/UNSAT): 751408(1117/750291)
Jun 01, 2017 2:48:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/3728 took 106837 ms. Total solver calls (SAT/UNSAT): 758879(1129/757750)
Jun 01, 2017 2:48:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :406/3728 took 107869 ms. Total solver calls (SAT/UNSAT): 766351(1141/765210)
Jun 01, 2017 2:48:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/3728 took 109116 ms. Total solver calls (SAT/UNSAT): 775691(1156/774535)
Jun 01, 2017 2:48:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/3728 took 110351 ms. Total solver calls (SAT/UNSAT): 785031(1171/783860)
Jun 01, 2017 2:48:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/3728 took 111380 ms. Total solver calls (SAT/UNSAT): 792503(1183/791320)
Jun 01, 2017 2:48:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :425/3728 took 112619 ms. Total solver calls (SAT/UNSAT): 801843(1198/800645)
Jun 01, 2017 2:48:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :430/3728 took 113865 ms. Total solver calls (SAT/UNSAT): 811183(1213/809970)
Jun 01, 2017 2:48:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/3728 took 115105 ms. Total solver calls (SAT/UNSAT): 820523(1228/819295)
Jun 01, 2017 2:48:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/3728 took 116111 ms. Total solver calls (SAT/UNSAT): 827995(1240/826755)
Jun 01, 2017 2:48:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/3728 took 117148 ms. Total solver calls (SAT/UNSAT): 835467(1252/834215)
Jun 01, 2017 2:48:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/3728 took 118153 ms. Total solver calls (SAT/UNSAT): 842939(1264/841675)
Jun 01, 2017 2:48:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/3728 took 119426 ms. Total solver calls (SAT/UNSAT): 852279(1279/851000)
Jun 01, 2017 2:48:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :456/3728 took 120508 ms. Total solver calls (SAT/UNSAT): 859751(1291/858460)
Jun 01, 2017 2:48:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :460/3728 took 121515 ms. Total solver calls (SAT/UNSAT): 867223(1303/865920)
Jun 01, 2017 2:48:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :464/3728 took 122549 ms. Total solver calls (SAT/UNSAT): 874695(1315/873380)
Jun 01, 2017 2:48:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :469/3728 took 123767 ms. Total solver calls (SAT/UNSAT): 884035(1330/882705)
Jun 01, 2017 2:48:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :473/3728 took 124887 ms. Total solver calls (SAT/UNSAT): 891507(1342/890165)
Jun 01, 2017 2:48:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :477/3728 took 125947 ms. Total solver calls (SAT/UNSAT): 898979(1354/897625)
Jun 01, 2017 2:48:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/3728 took 126998 ms. Total solver calls (SAT/UNSAT): 906450(1366/905084)
Jun 01, 2017 2:48:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/3728 took 128017 ms. Total solver calls (SAT/UNSAT): 913922(1378/912544)
Jun 01, 2017 2:48:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :490/3728 took 129255 ms. Total solver calls (SAT/UNSAT): 923262(1393/921869)
Jun 01, 2017 2:48:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/3728 took 130313 ms. Total solver calls (SAT/UNSAT): 930734(1405/929329)
Jun 01, 2017 2:48:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/3728 took 131562 ms. Total solver calls (SAT/UNSAT): 940074(1420/938654)
Jun 01, 2017 2:48:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/3728 took 132614 ms. Total solver calls (SAT/UNSAT): 947546(1432/946114)
Jun 01, 2017 2:48:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :508/3728 took 133819 ms. Total solver calls (SAT/UNSAT): 956886(1447/955439)
Jun 01, 2017 2:48:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :513/3728 took 135047 ms. Total solver calls (SAT/UNSAT): 966226(1462/964764)
Jun 01, 2017 2:48:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :518/3728 took 136278 ms. Total solver calls (SAT/UNSAT): 975566(1477/974089)
Jun 01, 2017 2:48:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :522/3728 took 137319 ms. Total solver calls (SAT/UNSAT): 983038(1489/981549)
Jun 01, 2017 2:48:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :526/3728 took 138360 ms. Total solver calls (SAT/UNSAT): 990510(1501/989009)
Jun 01, 2017 2:48:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :530/3728 took 139400 ms. Total solver calls (SAT/UNSAT): 997982(1513/996469)
Jun 01, 2017 2:48:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/3728 took 140435 ms. Total solver calls (SAT/UNSAT): 1005454(1525/1003929)
Jun 01, 2017 2:48:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/3728 took 141504 ms. Total solver calls (SAT/UNSAT): 1012926(1537/1011389)
Jun 01, 2017 2:48:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/3728 took 142506 ms. Total solver calls (SAT/UNSAT): 1020398(1549/1018849)
Jun 01, 2017 2:48:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :547/3728 took 143756 ms. Total solver calls (SAT/UNSAT): 1029738(1564/1028174)
Jun 01, 2017 2:48:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/3728 took 144760 ms. Total solver calls (SAT/UNSAT): 1037210(1576/1035634)
Jun 01, 2017 2:48:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/3728 took 145761 ms. Total solver calls (SAT/UNSAT): 1044682(1588/1043094)
Jun 01, 2017 2:48:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/3728 took 146767 ms. Total solver calls (SAT/UNSAT): 1052154(1600/1050554)
Jun 01, 2017 2:48:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/3728 took 148014 ms. Total solver calls (SAT/UNSAT): 1061493(1615/1059878)
Jun 01, 2017 2:48:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :568/3728 took 149014 ms. Total solver calls (SAT/UNSAT): 1068965(1627/1067338)
Jun 01, 2017 2:48:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :572/3728 took 150017 ms. Total solver calls (SAT/UNSAT): 1076437(1639/1074798)
Jun 01, 2017 2:48:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/3728 took 151019 ms. Total solver calls (SAT/UNSAT): 1083909(1651/1082258)
Jun 01, 2017 2:48:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :580/3728 took 152021 ms. Total solver calls (SAT/UNSAT): 1091381(1663/1089718)
Jun 01, 2017 2:48:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/3728 took 153023 ms. Total solver calls (SAT/UNSAT): 1098853(1675/1097178)
Jun 01, 2017 2:48:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :588/3728 took 154023 ms. Total solver calls (SAT/UNSAT): 1106325(1687/1104638)
Jun 01, 2017 2:48:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :592/3728 took 155024 ms. Total solver calls (SAT/UNSAT): 1113797(1699/1112098)
Jun 01, 2017 2:48:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :596/3728 took 156031 ms. Total solver calls (SAT/UNSAT): 1121269(1711/1119558)
Jun 01, 2017 2:48:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :600/3728 took 157032 ms. Total solver calls (SAT/UNSAT): 1128741(1723/1127018)
Jun 01, 2017 2:48:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :604/3728 took 158034 ms. Total solver calls (SAT/UNSAT): 1136213(1735/1134478)
Jun 01, 2017 2:48:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :608/3728 took 159034 ms. Total solver calls (SAT/UNSAT): 1143685(1747/1141938)
Jun 01, 2017 2:48:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :613/3728 took 160259 ms. Total solver calls (SAT/UNSAT): 1153025(1762/1151263)
Jun 01, 2017 2:48:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :618/3728 took 161506 ms. Total solver calls (SAT/UNSAT): 1162365(1777/1160588)
Jun 01, 2017 2:49:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :622/3728 took 162510 ms. Total solver calls (SAT/UNSAT): 1169837(1789/1168048)
Jun 01, 2017 2:49:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :626/3728 took 163546 ms. Total solver calls (SAT/UNSAT): 1177309(1801/1175508)
Jun 01, 2017 2:49:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :630/3728 took 164580 ms. Total solver calls (SAT/UNSAT): 1184781(1813/1182968)
Jun 01, 2017 2:49:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :635/3728 took 165805 ms. Total solver calls (SAT/UNSAT): 1194121(1828/1192293)
Jun 01, 2017 2:49:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :640/3728 took 167035 ms. Total solver calls (SAT/UNSAT): 1203460(1843/1201617)
Jun 01, 2017 2:49:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :645/3728 took 168278 ms. Total solver calls (SAT/UNSAT): 1212800(1858/1210942)
Jun 01, 2017 2:49:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :650/3728 took 169538 ms. Total solver calls (SAT/UNSAT): 1222140(1873/1220267)
Jun 01, 2017 2:49:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :654/3728 took 170651 ms. Total solver calls (SAT/UNSAT): 1229612(1885/1227727)
Jun 01, 2017 2:49:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :658/3728 took 171652 ms. Total solver calls (SAT/UNSAT): 1237084(1897/1235187)
Jun 01, 2017 2:49:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :663/3728 took 172863 ms. Total solver calls (SAT/UNSAT): 1246424(1912/1244512)
Jun 01, 2017 2:49:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :667/3728 took 173865 ms. Total solver calls (SAT/UNSAT): 1253896(1924/1251972)
Jun 01, 2017 2:49:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :672/3728 took 175117 ms. Total solver calls (SAT/UNSAT): 1263236(1939/1261297)
Jun 01, 2017 2:49:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :676/3728 took 176323 ms. Total solver calls (SAT/UNSAT): 1270708(1951/1268757)
Jun 01, 2017 2:49:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :680/3728 took 177473 ms. Total solver calls (SAT/UNSAT): 1278180(1963/1276217)
Jun 01, 2017 2:49:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :684/3728 took 178604 ms. Total solver calls (SAT/UNSAT): 1285652(1975/1283677)
Jun 01, 2017 2:49:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :688/3728 took 179612 ms. Total solver calls (SAT/UNSAT): 1293124(1987/1291137)
Jun 01, 2017 2:49:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :693/3728 took 180847 ms. Total solver calls (SAT/UNSAT): 1302464(2002/1300462)
Jun 01, 2017 2:49:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :697/3728 took 181914 ms. Total solver calls (SAT/UNSAT): 1309936(2014/1307922)
Jun 01, 2017 2:49:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :701/3728 took 183001 ms. Total solver calls (SAT/UNSAT): 1317408(2026/1315382)
Jun 01, 2017 2:49:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :705/3728 took 184030 ms. Total solver calls (SAT/UNSAT): 1324880(2038/1322842)
Jun 01, 2017 2:49:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :709/3728 took 185041 ms. Total solver calls (SAT/UNSAT): 1332352(2050/1330302)
Jun 01, 2017 2:49:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :713/3728 took 186181 ms. Total solver calls (SAT/UNSAT): 1339824(2062/1337762)
Jun 01, 2017 2:49:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :717/3728 took 187346 ms. Total solver calls (SAT/UNSAT): 1347296(2074/1345222)
Jun 01, 2017 2:49:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :721/3728 took 188378 ms. Total solver calls (SAT/UNSAT): 1354767(2086/1352681)
Jun 01, 2017 2:49:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :725/3728 took 189438 ms. Total solver calls (SAT/UNSAT): 1362239(2098/1360141)
Jun 01, 2017 2:49:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :729/3728 took 190467 ms. Total solver calls (SAT/UNSAT): 1369711(2110/1367601)
Jun 01, 2017 2:49:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :733/3728 took 191495 ms. Total solver calls (SAT/UNSAT): 1377183(2122/1375061)
Jun 01, 2017 2:49:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :737/3728 took 192562 ms. Total solver calls (SAT/UNSAT): 1384655(2134/1382521)
Jun 01, 2017 2:49:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :742/3728 took 193791 ms. Total solver calls (SAT/UNSAT): 1393995(2149/1391846)
Jun 01, 2017 2:49:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :747/3728 took 195006 ms. Total solver calls (SAT/UNSAT): 1403335(2164/1401171)
Jun 01, 2017 2:49:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :751/3728 took 196040 ms. Total solver calls (SAT/UNSAT): 1410807(2176/1408631)
Jun 01, 2017 2:49:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :756/3728 took 197287 ms. Total solver calls (SAT/UNSAT): 1420147(2191/1417956)
Jun 01, 2017 2:49:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :760/3728 took 198295 ms. Total solver calls (SAT/UNSAT): 1427619(2203/1425416)
Jun 01, 2017 2:49:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :764/3728 took 199329 ms. Total solver calls (SAT/UNSAT): 1435091(2215/1432876)
Jun 01, 2017 2:49:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :769/3728 took 200543 ms. Total solver calls (SAT/UNSAT): 1444431(2230/1442201)
Jun 01, 2017 2:49:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :774/3728 took 201739 ms. Total solver calls (SAT/UNSAT): 1453771(2245/1451526)
Jun 01, 2017 2:49:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :779/3728 took 202929 ms. Total solver calls (SAT/UNSAT): 1463111(2260/1460851)
Jun 01, 2017 2:49:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :784/3728 took 204152 ms. Total solver calls (SAT/UNSAT): 1472451(2275/1470176)
Jun 01, 2017 2:49:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :788/3728 took 205212 ms. Total solver calls (SAT/UNSAT): 1479923(2287/1477636)
Jun 01, 2017 2:49:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :792/3728 took 206220 ms. Total solver calls (SAT/UNSAT): 1487395(2299/1485096)
Jun 01, 2017 2:49:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :796/3728 took 207300 ms. Total solver calls (SAT/UNSAT): 1494867(2311/1492556)
Jun 01, 2017 2:49:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :800/3728 took 208369 ms. Total solver calls (SAT/UNSAT): 1502338(2323/1500015)
Jun 01, 2017 2:49:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :804/3728 took 209369 ms. Total solver calls (SAT/UNSAT): 1509810(2335/1507475)
Jun 01, 2017 2:49:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :808/3728 took 210416 ms. Total solver calls (SAT/UNSAT): 1517282(2347/1514935)
Jun 01, 2017 2:49:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :813/3728 took 211667 ms. Total solver calls (SAT/UNSAT): 1526622(2362/1524260)
Jun 01, 2017 2:49:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :817/3728 took 212707 ms. Total solver calls (SAT/UNSAT): 1534094(2374/1531720)
Jun 01, 2017 2:49:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :822/3728 took 213954 ms. Total solver calls (SAT/UNSAT): 1543434(2389/1541045)
Jun 01, 2017 2:49:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :827/3728 took 215167 ms. Total solver calls (SAT/UNSAT): 1552774(2404/1550370)
Jun 01, 2017 2:49:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :831/3728 took 216187 ms. Total solver calls (SAT/UNSAT): 1560246(2416/1557830)
Jun 01, 2017 2:49:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :835/3728 took 217220 ms. Total solver calls (SAT/UNSAT): 1567718(2428/1565290)
Jun 01, 2017 2:49:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :840/3728 took 218390 ms. Total solver calls (SAT/UNSAT): 1577058(2443/1574615)
Jun 01, 2017 2:49:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :844/3728 took 219527 ms. Total solver calls (SAT/UNSAT): 1584530(2455/1582075)
Jun 01, 2017 2:49:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :848/3728 took 220588 ms. Total solver calls (SAT/UNSAT): 1592002(2467/1589535)
Jun 01, 2017 2:49:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :852/3728 took 221640 ms. Total solver calls (SAT/UNSAT): 1599474(2479/1596995)
Jun 01, 2017 2:50:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :856/3728 took 222694 ms. Total solver calls (SAT/UNSAT): 1606946(2491/1604455)
Jun 01, 2017 2:50:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :861/3728 took 223922 ms. Total solver calls (SAT/UNSAT): 1616286(2506/1613780)
Jun 01, 2017 2:50:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :865/3728 took 224973 ms. Total solver calls (SAT/UNSAT): 1623758(2518/1621240)
Jun 01, 2017 2:50:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :870/3728 took 226160 ms. Total solver calls (SAT/UNSAT): 1633098(2533/1630565)
Jun 01, 2017 2:50:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :875/3728 took 227382 ms. Total solver calls (SAT/UNSAT): 1642438(2548/1639890)
Jun 01, 2017 2:50:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :880/3728 took 228624 ms. Total solver calls (SAT/UNSAT): 1651777(2563/1649214)
Jun 01, 2017 2:50:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :885/3728 took 229872 ms. Total solver calls (SAT/UNSAT): 1661117(2578/1658539)
Jun 01, 2017 2:50:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :889/3728 took 230953 ms. Total solver calls (SAT/UNSAT): 1668589(2590/1665999)
Jun 01, 2017 2:50:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :893/3728 took 232079 ms. Total solver calls (SAT/UNSAT): 1676061(2602/1673459)
Jun 01, 2017 2:50:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :897/3728 took 233206 ms. Total solver calls (SAT/UNSAT): 1683533(2614/1680919)
Jun 01, 2017 2:50:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :901/3728 took 234344 ms. Total solver calls (SAT/UNSAT): 1691005(2626/1688379)
Jun 01, 2017 2:50:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :905/3728 took 235572 ms. Total solver calls (SAT/UNSAT): 1698477(2638/1695839)
Jun 01, 2017 2:50:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :909/3728 took 236624 ms. Total solver calls (SAT/UNSAT): 1705949(2650/1703299)
Jun 01, 2017 2:50:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :913/3728 took 237684 ms. Total solver calls (SAT/UNSAT): 1713421(2662/1710759)
Jun 01, 2017 2:50:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :917/3728 took 238826 ms. Total solver calls (SAT/UNSAT): 1720893(2674/1718219)
Jun 01, 2017 2:50:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :921/3728 took 239980 ms. Total solver calls (SAT/UNSAT): 1728365(2686/1725679)
Jun 01, 2017 2:50:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :925/3728 took 241024 ms. Total solver calls (SAT/UNSAT): 1735837(2698/1733139)
Jun 01, 2017 2:50:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :929/3728 took 242110 ms. Total solver calls (SAT/UNSAT): 1743309(2710/1740599)
Jun 01, 2017 2:50:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :933/3728 took 243152 ms. Total solver calls (SAT/UNSAT): 1750781(2722/1748059)
Jun 01, 2017 2:50:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :938/3728 took 244403 ms. Total solver calls (SAT/UNSAT): 1760121(2737/1757384)
Jun 01, 2017 2:50:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :942/3728 took 245451 ms. Total solver calls (SAT/UNSAT): 1767593(2749/1764844)
Jun 01, 2017 2:50:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :947/3728 took 246696 ms. Total solver calls (SAT/UNSAT): 1776933(2764/1774169)
Jun 01, 2017 2:50:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :952/3728 took 247945 ms. Total solver calls (SAT/UNSAT): 1786273(2779/1783494)
Jun 01, 2017 2:50:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :956/3728 took 249008 ms. Total solver calls (SAT/UNSAT): 1793745(2791/1790954)
Jun 01, 2017 2:50:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :960/3728 took 250028 ms. Total solver calls (SAT/UNSAT): 1801216(2803/1798413)
Jun 01, 2017 2:50:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :964/3728 took 251052 ms. Total solver calls (SAT/UNSAT): 1808688(2815/1805873)
Jun 01, 2017 2:50:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :968/3728 took 252081 ms. Total solver calls (SAT/UNSAT): 1816160(2827/1813333)
Jun 01, 2017 2:50:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :972/3728 took 253148 ms. Total solver calls (SAT/UNSAT): 1823632(2839/1820793)
Jun 01, 2017 2:50:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :976/3728 took 254183 ms. Total solver calls (SAT/UNSAT): 1831104(2851/1828253)
Jun 01, 2017 2:50:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :980/3728 took 255221 ms. Total solver calls (SAT/UNSAT): 1838576(2863/1835713)
Jun 01, 2017 2:50:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :984/3728 took 256257 ms. Total solver calls (SAT/UNSAT): 1846048(2875/1843173)
Jun 01, 2017 2:50:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :988/3728 took 257292 ms. Total solver calls (SAT/UNSAT): 1853520(2887/1850633)
Jun 01, 2017 2:50:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :992/3728 took 258441 ms. Total solver calls (SAT/UNSAT): 1860992(2899/1858093)
Jun 01, 2017 2:50:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :996/3728 took 259466 ms. Total solver calls (SAT/UNSAT): 1868464(2911/1865553)
Jun 01, 2017 2:50:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1000/3728 took 260473 ms. Total solver calls (SAT/UNSAT): 1875936(2923/1873013)
Jun 01, 2017 2:50:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1004/3728 took 261503 ms. Total solver calls (SAT/UNSAT): 1883408(2935/1880473)
Jun 01, 2017 2:50:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1008/3728 took 262556 ms. Total solver calls (SAT/UNSAT): 1890880(2947/1887933)
Jun 01, 2017 2:50:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1012/3728 took 263600 ms. Total solver calls (SAT/UNSAT): 1898352(2959/1895393)
Jun 01, 2017 2:50:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1016/3728 took 264673 ms. Total solver calls (SAT/UNSAT): 1905824(2971/1902853)
Jun 01, 2017 2:50:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1020/3728 took 265694 ms. Total solver calls (SAT/UNSAT): 1913296(2983/1910313)
Jun 01, 2017 2:50:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1024/3728 took 266709 ms. Total solver calls (SAT/UNSAT): 1920768(2995/1917773)
Jun 01, 2017 2:50:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1028/3728 took 267716 ms. Total solver calls (SAT/UNSAT): 1928240(3007/1925233)
Jun 01, 2017 2:50:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1032/3728 took 268723 ms. Total solver calls (SAT/UNSAT): 1935712(3019/1932693)
Jun 01, 2017 2:50:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1036/3728 took 269781 ms. Total solver calls (SAT/UNSAT): 1943184(3031/1940153)
Jun 01, 2017 2:50:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1040/3728 took 270786 ms. Total solver calls (SAT/UNSAT): 1950655(3043/1947612)
Jun 01, 2017 2:50:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1044/3728 took 271840 ms. Total solver calls (SAT/UNSAT): 1958127(3055/1955072)
Jun 01, 2017 2:50:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1048/3728 took 272896 ms. Total solver calls (SAT/UNSAT): 1965599(3067/1962532)
Jun 01, 2017 2:50:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1052/3728 took 274027 ms. Total solver calls (SAT/UNSAT): 1973071(3079/1969992)
Jun 01, 2017 2:50:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1056/3728 took 275159 ms. Total solver calls (SAT/UNSAT): 1980543(3091/1977452)
Jun 01, 2017 2:50:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1060/3728 took 276204 ms. Total solver calls (SAT/UNSAT): 1988015(3103/1984912)
Jun 01, 2017 2:50:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1064/3728 took 277236 ms. Total solver calls (SAT/UNSAT): 1995487(3115/1992372)
Jun 01, 2017 2:50:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1068/3728 took 278267 ms. Total solver calls (SAT/UNSAT): 2002959(3127/1999832)
Jun 01, 2017 2:50:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1072/3728 took 279343 ms. Total solver calls (SAT/UNSAT): 2010431(3139/2007292)
Jun 01, 2017 2:50:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1076/3728 took 280458 ms. Total solver calls (SAT/UNSAT): 2017903(3151/2014752)
Jun 01, 2017 2:50:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1080/3728 took 281556 ms. Total solver calls (SAT/UNSAT): 2025375(3163/2022212)
Jun 01, 2017 2:51:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1084/3728 took 282686 ms. Total solver calls (SAT/UNSAT): 2032847(3175/2029672)
Jun 01, 2017 2:51:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1088/3728 took 283754 ms. Total solver calls (SAT/UNSAT): 2040319(3187/2037132)
Jun 01, 2017 2:51:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1092/3728 took 284796 ms. Total solver calls (SAT/UNSAT): 2047791(3199/2044592)
Jun 01, 2017 2:51:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1096/3728 took 285892 ms. Total solver calls (SAT/UNSAT): 2055263(3211/2052052)
Jun 01, 2017 2:51:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1100/3728 took 286904 ms. Total solver calls (SAT/UNSAT): 2062735(3223/2059512)
Jun 01, 2017 2:51:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1104/3728 took 287926 ms. Total solver calls (SAT/UNSAT): 2070207(3235/2066972)
Jun 01, 2017 2:51:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1108/3728 took 288931 ms. Total solver calls (SAT/UNSAT): 2077679(3247/2074432)
Jun 01, 2017 2:51:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1112/3728 took 290047 ms. Total solver calls (SAT/UNSAT): 2085151(3259/2081892)
Jun 01, 2017 2:51:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1116/3728 took 291067 ms. Total solver calls (SAT/UNSAT): 2092623(3271/2089352)
Jun 01, 2017 2:51:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1120/3728 took 292084 ms. Total solver calls (SAT/UNSAT): 2100094(3283/2096811)
Jun 01, 2017 2:51:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1124/3728 took 293104 ms. Total solver calls (SAT/UNSAT): 2107566(3295/2104271)
Jun 01, 2017 2:51:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1128/3728 took 294166 ms. Total solver calls (SAT/UNSAT): 2115038(3307/2111731)
Jun 01, 2017 2:51:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1132/3728 took 295214 ms. Total solver calls (SAT/UNSAT): 2122510(3319/2119191)
Jun 01, 2017 2:51:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1136/3728 took 296244 ms. Total solver calls (SAT/UNSAT): 2129982(3331/2126651)
Jun 01, 2017 2:51:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1140/3728 took 297267 ms. Total solver calls (SAT/UNSAT): 2137454(3343/2134111)
Jun 01, 2017 2:51:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1144/3728 took 298291 ms. Total solver calls (SAT/UNSAT): 2144926(3355/2141571)
Jun 01, 2017 2:51:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1148/3728 took 299329 ms. Total solver calls (SAT/UNSAT): 2152398(3367/2149031)
Jun 01, 2017 2:51:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1152/3728 took 300362 ms. Total solver calls (SAT/UNSAT): 2159870(3379/2156491)
Jun 01, 2017 2:51:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1156/3728 took 301477 ms. Total solver calls (SAT/UNSAT): 2167342(3391/2163951)
Jun 01, 2017 2:51:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1160/3728 took 302544 ms. Total solver calls (SAT/UNSAT): 2174814(3403/2171411)
Jun 01, 2017 2:51:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1164/3728 took 303544 ms. Total solver calls (SAT/UNSAT): 2182286(3415/2178871)
Jun 01, 2017 2:51:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1169/3728 took 304784 ms. Total solver calls (SAT/UNSAT): 2191626(3430/2188196)
Jun 01, 2017 2:51:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1173/3728 took 305789 ms. Total solver calls (SAT/UNSAT): 2199098(3442/2195656)
Jun 01, 2017 2:51:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1177/3728 took 306858 ms. Total solver calls (SAT/UNSAT): 2206570(3454/2203116)
Jun 01, 2017 2:51:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1181/3728 took 307909 ms. Total solver calls (SAT/UNSAT): 2214042(3466/2210576)
Jun 01, 2017 2:51:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1185/3728 took 308914 ms. Total solver calls (SAT/UNSAT): 2221514(3478/2218036)
Jun 01, 2017 2:51:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1190/3728 took 310162 ms. Total solver calls (SAT/UNSAT): 2230854(3493/2227361)
Jun 01, 2017 2:51:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1195/3728 took 311411 ms. Total solver calls (SAT/UNSAT): 2240194(3508/2236686)
Jun 01, 2017 2:51:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1199/3728 took 312415 ms. Total solver calls (SAT/UNSAT): 2247666(3520/2244146)
Jun 01, 2017 2:51:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1203/3728 took 313415 ms. Total solver calls (SAT/UNSAT): 2255137(3532/2251605)
Jun 01, 2017 2:51:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1207/3728 took 314417 ms. Total solver calls (SAT/UNSAT): 2262609(3544/2259065)
Jun 01, 2017 2:51:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1211/3728 took 315422 ms. Total solver calls (SAT/UNSAT): 2270081(3556/2266525)
Jun 01, 2017 2:51:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1215/3728 took 316423 ms. Total solver calls (SAT/UNSAT): 2277553(3568/2273985)
Jun 01, 2017 2:51:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1219/3728 took 317423 ms. Total solver calls (SAT/UNSAT): 2285025(3580/2281445)
Jun 01, 2017 2:51:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1223/3728 took 318427 ms. Total solver calls (SAT/UNSAT): 2292497(3592/2288905)
Jun 01, 2017 2:51:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1227/3728 took 319427 ms. Total solver calls (SAT/UNSAT): 2299969(3604/2296365)
Jun 01, 2017 2:51:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1231/3728 took 320429 ms. Total solver calls (SAT/UNSAT): 2307441(3616/2303825)
Jun 01, 2017 2:51:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1235/3728 took 321434 ms. Total solver calls (SAT/UNSAT): 2314913(3628/2311285)
Jun 01, 2017 2:51:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1239/3728 took 322436 ms. Total solver calls (SAT/UNSAT): 2322385(3640/2318745)
Jun 01, 2017 2:51:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1244/3728 took 323696 ms. Total solver calls (SAT/UNSAT): 2331725(3655/2328070)
Jun 01, 2017 2:51:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1248/3728 took 324696 ms. Total solver calls (SAT/UNSAT): 2339197(3667/2335530)
Jun 01, 2017 2:51:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1253/3728 took 325944 ms. Total solver calls (SAT/UNSAT): 2348537(3682/2344855)
Jun 01, 2017 2:51:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1257/3728 took 326956 ms. Total solver calls (SAT/UNSAT): 2356009(3694/2352315)
Jun 01, 2017 2:51:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1261/3728 took 327965 ms. Total solver calls (SAT/UNSAT): 2363481(3706/2359775)
Jun 01, 2017 2:51:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1265/3728 took 328969 ms. Total solver calls (SAT/UNSAT): 2370953(3718/2367235)
Jun 01, 2017 2:51:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1269/3728 took 329977 ms. Total solver calls (SAT/UNSAT): 2378425(3730/2374695)
Jun 01, 2017 2:51:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1273/3728 took 330989 ms. Total solver calls (SAT/UNSAT): 2385897(3742/2382155)
Jun 01, 2017 2:51:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1277/3728 took 332012 ms. Total solver calls (SAT/UNSAT): 2393369(3754/2389615)
Jun 01, 2017 2:51:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1282/3728 took 333261 ms. Total solver calls (SAT/UNSAT): 2402708(3769/2398939)
Jun 01, 2017 2:51:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1286/3728 took 334271 ms. Total solver calls (SAT/UNSAT): 2410180(3781/2406399)
Jun 01, 2017 2:51:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1290/3728 took 335279 ms. Total solver calls (SAT/UNSAT): 2417652(3793/2413859)
Jun 01, 2017 2:51:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1294/3728 took 336291 ms. Total solver calls (SAT/UNSAT): 2425124(3805/2421319)
Jun 01, 2017 2:51:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1298/3728 took 337300 ms. Total solver calls (SAT/UNSAT): 2432596(3817/2428779)
Jun 01, 2017 2:51:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1302/3728 took 338308 ms. Total solver calls (SAT/UNSAT): 2440068(3829/2436239)
Jun 01, 2017 2:51:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1306/3728 took 339323 ms. Total solver calls (SAT/UNSAT): 2447540(3841/2443699)
Jun 01, 2017 2:51:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1310/3728 took 340331 ms. Total solver calls (SAT/UNSAT): 2455012(3853/2451159)
Jun 01, 2017 2:51:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1314/3728 took 341343 ms. Total solver calls (SAT/UNSAT): 2462484(3865/2458619)
Jun 01, 2017 2:52:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1318/3728 took 342352 ms. Total solver calls (SAT/UNSAT): 2469956(3877/2466079)
Jun 01, 2017 2:52:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1322/3728 took 343368 ms. Total solver calls (SAT/UNSAT): 2477428(3889/2473539)
Jun 01, 2017 2:52:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1326/3728 took 344373 ms. Total solver calls (SAT/UNSAT): 2484900(3901/2480999)
Jun 01, 2017 2:52:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1330/3728 took 345378 ms. Total solver calls (SAT/UNSAT): 2492372(3913/2488459)
Jun 01, 2017 2:52:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1334/3728 took 346384 ms. Total solver calls (SAT/UNSAT): 2499844(3925/2495919)
Jun 01, 2017 2:52:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1338/3728 took 347396 ms. Total solver calls (SAT/UNSAT): 2507316(3937/2503379)
Jun 01, 2017 2:52:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1342/3728 took 348398 ms. Total solver calls (SAT/UNSAT): 2514788(3949/2510839)
Jun 01, 2017 2:52:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1346/3728 took 349406 ms. Total solver calls (SAT/UNSAT): 2522260(3961/2518299)
Jun 01, 2017 2:52:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1350/3728 took 350412 ms. Total solver calls (SAT/UNSAT): 2529732(3973/2525759)
Jun 01, 2017 2:52:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1354/3728 took 351421 ms. Total solver calls (SAT/UNSAT): 2537204(3985/2533219)
Jun 01, 2017 2:52:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1358/3728 took 352423 ms. Total solver calls (SAT/UNSAT): 2544676(3997/2540679)
Jun 01, 2017 2:52:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1362/3728 took 353426 ms. Total solver calls (SAT/UNSAT): 2552147(4009/2548138)
Jun 01, 2017 2:52:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1366/3728 took 354431 ms. Total solver calls (SAT/UNSAT): 2559619(4021/2555598)
Jun 01, 2017 2:52:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1370/3728 took 355439 ms. Total solver calls (SAT/UNSAT): 2567091(4033/2563058)
Jun 01, 2017 2:52:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1374/3728 took 356499 ms. Total solver calls (SAT/UNSAT): 2574563(4045/2570518)
Jun 01, 2017 2:52:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1378/3728 took 357505 ms. Total solver calls (SAT/UNSAT): 2582035(4057/2577978)
Jun 01, 2017 2:52:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1382/3728 took 358508 ms. Total solver calls (SAT/UNSAT): 2589507(4069/2585438)
Jun 01, 2017 2:52:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1386/3728 took 359519 ms. Total solver calls (SAT/UNSAT): 2596979(4081/2592898)
Jun 01, 2017 2:52:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1390/3728 took 360530 ms. Total solver calls (SAT/UNSAT): 2604451(4093/2600358)
Jun 01, 2017 2:52:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1394/3728 took 361579 ms. Total solver calls (SAT/UNSAT): 2611923(4105/2607818)
Jun 01, 2017 2:52:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1398/3728 took 362587 ms. Total solver calls (SAT/UNSAT): 2619395(4117/2615278)
Jun 01, 2017 2:52:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1402/3728 took 363591 ms. Total solver calls (SAT/UNSAT): 2626867(4129/2622738)
Jun 01, 2017 2:52:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1406/3728 took 364599 ms. Total solver calls (SAT/UNSAT): 2634339(4141/2630198)
Jun 01, 2017 2:52:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1410/3728 took 365607 ms. Total solver calls (SAT/UNSAT): 2641811(4153/2637658)
Jun 01, 2017 2:52:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1414/3728 took 366610 ms. Total solver calls (SAT/UNSAT): 2649283(4165/2645118)
Jun 01, 2017 2:52:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1418/3728 took 367624 ms. Total solver calls (SAT/UNSAT): 2656755(4177/2652578)
Jun 01, 2017 2:52:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1422/3728 took 368643 ms. Total solver calls (SAT/UNSAT): 2664227(4189/2660038)
Jun 01, 2017 2:52:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1426/3728 took 369652 ms. Total solver calls (SAT/UNSAT): 2671699(4201/2667498)
Jun 01, 2017 2:52:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1430/3728 took 370671 ms. Total solver calls (SAT/UNSAT): 2679171(4213/2674958)
Jun 01, 2017 2:52:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1434/3728 took 371687 ms. Total solver calls (SAT/UNSAT): 2686643(4225/2682418)
Jun 01, 2017 2:52:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1438/3728 took 372694 ms. Total solver calls (SAT/UNSAT): 2694115(4237/2689878)
Jun 01, 2017 2:52:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1442/3728 took 373707 ms. Total solver calls (SAT/UNSAT): 2701586(4249/2697337)
Jun 01, 2017 2:52:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1446/3728 took 374724 ms. Total solver calls (SAT/UNSAT): 2709058(4261/2704797)
Jun 01, 2017 2:52:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1451/3728 took 375971 ms. Total solver calls (SAT/UNSAT): 2718398(4276/2714122)
Jun 01, 2017 2:52:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1455/3728 took 376973 ms. Total solver calls (SAT/UNSAT): 2725870(4288/2721582)
Jun 01, 2017 2:52:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1459/3728 took 377982 ms. Total solver calls (SAT/UNSAT): 2733342(4300/2729042)
Jun 01, 2017 2:52:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1463/3728 took 378996 ms. Total solver calls (SAT/UNSAT): 2740814(4312/2736502)
Jun 01, 2017 2:52:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1467/3728 took 380006 ms. Total solver calls (SAT/UNSAT): 2748286(4324/2743962)
Jun 01, 2017 2:52:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1471/3728 took 381020 ms. Total solver calls (SAT/UNSAT): 2755758(4336/2751422)
Jun 01, 2017 2:52:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1475/3728 took 382037 ms. Total solver calls (SAT/UNSAT): 2763230(4348/2758882)
Jun 01, 2017 2:52:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1479/3728 took 383059 ms. Total solver calls (SAT/UNSAT): 2770702(4360/2766342)
Jun 01, 2017 2:52:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1483/3728 took 384073 ms. Total solver calls (SAT/UNSAT): 2778174(4372/2773802)
Jun 01, 2017 2:52:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1487/3728 took 385088 ms. Total solver calls (SAT/UNSAT): 2785646(4384/2781262)
Jun 01, 2017 2:52:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1491/3728 took 386115 ms. Total solver calls (SAT/UNSAT): 2793118(4396/2788722)
Jun 01, 2017 2:52:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1495/3728 took 387132 ms. Total solver calls (SAT/UNSAT): 2800590(4408/2796182)
Jun 01, 2017 2:52:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1499/3728 took 388156 ms. Total solver calls (SAT/UNSAT): 2808062(4420/2803642)
Jun 01, 2017 2:52:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1503/3728 took 389162 ms. Total solver calls (SAT/UNSAT): 2815534(4432/2811102)
Jun 01, 2017 2:52:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1507/3728 took 390174 ms. Total solver calls (SAT/UNSAT): 2823006(4444/2818562)
Jun 01, 2017 2:52:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1511/3728 took 391189 ms. Total solver calls (SAT/UNSAT): 2830478(4456/2826022)
Jun 01, 2017 2:52:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1515/3728 took 392206 ms. Total solver calls (SAT/UNSAT): 2837950(4468/2833482)
Jun 01, 2017 2:52:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1519/3728 took 393220 ms. Total solver calls (SAT/UNSAT): 2845422(4480/2840942)
Jun 01, 2017 2:52:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1523/3728 took 394237 ms. Total solver calls (SAT/UNSAT): 2852893(4492/2848401)
Jun 01, 2017 2:52:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1527/3728 took 395259 ms. Total solver calls (SAT/UNSAT): 2860365(4504/2855861)
Jun 01, 2017 2:52:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1531/3728 took 396277 ms. Total solver calls (SAT/UNSAT): 2867837(4516/2863321)
Jun 01, 2017 2:52:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1535/3728 took 397288 ms. Total solver calls (SAT/UNSAT): 2875309(4528/2870781)
Jun 01, 2017 2:52:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1539/3728 took 398306 ms. Total solver calls (SAT/UNSAT): 2882781(4540/2878241)
Jun 01, 2017 2:52:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1543/3728 took 399325 ms. Total solver calls (SAT/UNSAT): 2890253(4552/2885701)
Jun 01, 2017 2:52:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1547/3728 took 400342 ms. Total solver calls (SAT/UNSAT): 2897725(4564/2893161)
Jun 01, 2017 2:52:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1551/3728 took 401374 ms. Total solver calls (SAT/UNSAT): 2905197(4576/2900621)
Jun 01, 2017 2:53:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1555/3728 took 402381 ms. Total solver calls (SAT/UNSAT): 2912669(4588/2908081)
Jun 01, 2017 2:53:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1559/3728 took 403381 ms. Total solver calls (SAT/UNSAT): 2920141(4600/2915541)
Jun 01, 2017 2:53:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1563/3728 took 404392 ms. Total solver calls (SAT/UNSAT): 2927613(4612/2923001)
Jun 01, 2017 2:53:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1567/3728 took 405409 ms. Total solver calls (SAT/UNSAT): 2935085(4624/2930461)
Jun 01, 2017 2:53:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1571/3728 took 406426 ms. Total solver calls (SAT/UNSAT): 2942557(4636/2937921)
Jun 01, 2017 2:53:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1575/3728 took 407443 ms. Total solver calls (SAT/UNSAT): 2950029(4648/2945381)
Jun 01, 2017 2:53:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1579/3728 took 408451 ms. Total solver calls (SAT/UNSAT): 2957501(4660/2952841)
Jun 01, 2017 2:53:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1583/3728 took 409462 ms. Total solver calls (SAT/UNSAT): 2964973(4672/2960301)
Jun 01, 2017 2:53:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1587/3728 took 410476 ms. Total solver calls (SAT/UNSAT): 2972445(4684/2967761)
Jun 01, 2017 2:53:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1591/3728 took 411491 ms. Total solver calls (SAT/UNSAT): 2979917(4696/2975221)
Jun 01, 2017 2:53:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1595/3728 took 412505 ms. Total solver calls (SAT/UNSAT): 2987389(4708/2982681)
Jun 01, 2017 2:53:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1599/3728 took 413522 ms. Total solver calls (SAT/UNSAT): 2994861(4720/2990141)
Jun 01, 2017 2:53:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1603/3728 took 414536 ms. Total solver calls (SAT/UNSAT): 3002332(4732/2997600)
Jun 01, 2017 2:53:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1607/3728 took 415552 ms. Total solver calls (SAT/UNSAT): 3009804(4744/3005060)
Jun 01, 2017 2:53:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1611/3728 took 416561 ms. Total solver calls (SAT/UNSAT): 3017276(4756/3012520)
Jun 01, 2017 2:53:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1615/3728 took 417577 ms. Total solver calls (SAT/UNSAT): 3024748(4768/3019980)
Jun 01, 2017 2:53:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1619/3728 took 418590 ms. Total solver calls (SAT/UNSAT): 3032220(4780/3027440)
Jun 01, 2017 2:53:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1623/3728 took 419600 ms. Total solver calls (SAT/UNSAT): 3039692(4792/3034900)
Jun 01, 2017 2:53:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1627/3728 took 420610 ms. Total solver calls (SAT/UNSAT): 3047164(4804/3042360)
Jun 01, 2017 2:53:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1631/3728 took 421685 ms. Total solver calls (SAT/UNSAT): 3054636(4816/3049820)
Jun 01, 2017 2:53:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1635/3728 took 422720 ms. Total solver calls (SAT/UNSAT): 3062108(4828/3057280)
Jun 01, 2017 2:53:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1639/3728 took 423758 ms. Total solver calls (SAT/UNSAT): 3069580(4840/3064740)
Jun 01, 2017 2:53:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1643/3728 took 424787 ms. Total solver calls (SAT/UNSAT): 3077052(4852/3072200)
Jun 01, 2017 2:53:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1647/3728 took 425820 ms. Total solver calls (SAT/UNSAT): 3084524(4864/3079660)
Jun 01, 2017 2:53:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1651/3728 took 426850 ms. Total solver calls (SAT/UNSAT): 3091996(4876/3087120)
Jun 01, 2017 2:53:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1655/3728 took 427883 ms. Total solver calls (SAT/UNSAT): 3099468(4888/3094580)
Jun 01, 2017 2:53:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1659/3728 took 428917 ms. Total solver calls (SAT/UNSAT): 3106940(4900/3102040)
Jun 01, 2017 2:53:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1663/3728 took 429951 ms. Total solver calls (SAT/UNSAT): 3114412(4912/3109500)
Jun 01, 2017 2:53:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1667/3728 took 430991 ms. Total solver calls (SAT/UNSAT): 3121884(4924/3116960)
Jun 01, 2017 2:53:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1671/3728 took 432059 ms. Total solver calls (SAT/UNSAT): 3129356(4936/3124420)
Jun 01, 2017 2:53:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1675/3728 took 433090 ms. Total solver calls (SAT/UNSAT): 3136828(4948/3131880)
Jun 01, 2017 2:53:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1679/3728 took 434133 ms. Total solver calls (SAT/UNSAT): 3144300(4960/3139340)
Jun 01, 2017 2:53:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1682/3728 took 435542 ms. Total solver calls (SAT/UNSAT): 3154466(4969/3149497)
Jun 01, 2017 2:53:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1685/3728 took 436936 ms. Total solver calls (SAT/UNSAT): 3164633(4978/3159655)
Jun 01, 2017 2:53:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1688/3728 took 438329 ms. Total solver calls (SAT/UNSAT): 3174800(4987/3169813)
Jun 01, 2017 2:53:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1691/3728 took 439720 ms. Total solver calls (SAT/UNSAT): 3184967(4996/3179971)
Jun 01, 2017 2:53:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1694/3728 took 441110 ms. Total solver calls (SAT/UNSAT): 3195134(5005/3190129)
Jun 01, 2017 2:53:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1697/3728 took 442511 ms. Total solver calls (SAT/UNSAT): 3205301(5014/3200287)
Jun 01, 2017 2:53:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1700/3728 took 443919 ms. Total solver calls (SAT/UNSAT): 3215468(5023/3210445)
Jun 01, 2017 2:53:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1703/3728 took 445315 ms. Total solver calls (SAT/UNSAT): 3225635(5032/3220603)
Jun 01, 2017 2:53:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1706/3728 took 446710 ms. Total solver calls (SAT/UNSAT): 3235802(5041/3230761)
Jun 01, 2017 2:53:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1709/3728 took 448101 ms. Total solver calls (SAT/UNSAT): 3245969(5050/3240919)
Jun 01, 2017 2:53:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1712/3728 took 449509 ms. Total solver calls (SAT/UNSAT): 3256136(5059/3251077)
Jun 01, 2017 2:53:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1715/3728 took 450893 ms. Total solver calls (SAT/UNSAT): 3266303(5068/3261235)
Jun 01, 2017 2:53:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1718/3728 took 452262 ms. Total solver calls (SAT/UNSAT): 3276470(5077/3271393)
Jun 01, 2017 2:53:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1721/3728 took 453699 ms. Total solver calls (SAT/UNSAT): 3286637(5086/3281551)
Jun 01, 2017 2:53:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1724/3728 took 455058 ms. Total solver calls (SAT/UNSAT): 3296804(5095/3291709)
Jun 01, 2017 2:53:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1727/3728 took 456419 ms. Total solver calls (SAT/UNSAT): 3306971(5104/3301867)
Jun 01, 2017 2:53:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1730/3728 took 457777 ms. Total solver calls (SAT/UNSAT): 3317138(5113/3312025)
Jun 01, 2017 2:53:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1733/3728 took 459140 ms. Total solver calls (SAT/UNSAT): 3327305(5122/3322183)
Jun 01, 2017 2:53:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1736/3728 took 460501 ms. Total solver calls (SAT/UNSAT): 3337472(5131/3332341)
Jun 01, 2017 2:53:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1739/3728 took 461855 ms. Total solver calls (SAT/UNSAT): 3347639(5140/3342499)
Jun 01, 2017 2:54:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1742/3728 took 463220 ms. Total solver calls (SAT/UNSAT): 3357806(5149/3352657)
Jun 01, 2017 2:54:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1745/3728 took 464584 ms. Total solver calls (SAT/UNSAT): 3367973(5158/3362815)
Jun 01, 2017 2:54:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1747/3728 took 465651 ms. Total solver calls (SAT/UNSAT): 3374751(5164/3369587)
Jun 01, 2017 2:54:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1750/3728 took 467016 ms. Total solver calls (SAT/UNSAT): 3384918(5173/3379745)
Jun 01, 2017 2:54:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1753/3728 took 468389 ms. Total solver calls (SAT/UNSAT): 3395085(5182/3389903)
Jun 01, 2017 2:54:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1756/3728 took 469763 ms. Total solver calls (SAT/UNSAT): 3405252(5191/3400061)
Jun 01, 2017 2:54:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1759/3728 took 471146 ms. Total solver calls (SAT/UNSAT): 3415419(5200/3410219)
Jun 01, 2017 2:54:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1763/3728 took 472153 ms. Total solver calls (SAT/UNSAT): 3422888(5212/3417676)
Jun 01, 2017 2:54:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1767/3728 took 473155 ms. Total solver calls (SAT/UNSAT): 3430356(5224/3425132)
Jun 01, 2017 2:54:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1771/3728 took 474167 ms. Total solver calls (SAT/UNSAT): 3437824(5236/3432588)
Jun 01, 2017 2:54:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1775/3728 took 475172 ms. Total solver calls (SAT/UNSAT): 3445292(5248/3440044)
Jun 01, 2017 2:54:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1779/3728 took 476181 ms. Total solver calls (SAT/UNSAT): 3452760(5260/3447500)
Jun 01, 2017 2:54:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1783/3728 took 477383 ms. Total solver calls (SAT/UNSAT): 3461753(5272/3456481)
Jun 01, 2017 2:54:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1787/3728 took 478391 ms. Total solver calls (SAT/UNSAT): 3469225(5284/3463941)
Jun 01, 2017 2:54:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1791/3728 took 479393 ms. Total solver calls (SAT/UNSAT): 3476697(5296/3471401)
Jun 01, 2017 2:54:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1795/3728 took 480403 ms. Total solver calls (SAT/UNSAT): 3484169(5308/3478861)
Jun 01, 2017 2:54:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1799/3728 took 481404 ms. Total solver calls (SAT/UNSAT): 3491641(5320/3486321)
Jun 01, 2017 2:54:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1803/3728 took 482615 ms. Total solver calls (SAT/UNSAT): 3500635(5332/3495303)
Jun 01, 2017 2:54:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1807/3728 took 483624 ms. Total solver calls (SAT/UNSAT): 3508107(5344/3502763)
Jun 01, 2017 2:54:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1812/3728 took 484867 ms. Total solver calls (SAT/UNSAT): 3517447(5359/3512088)
Jun 01, 2017 2:54:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1816/3728 took 485872 ms. Total solver calls (SAT/UNSAT): 3524919(5371/3519548)
Jun 01, 2017 2:54:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1820/3728 took 486881 ms. Total solver calls (SAT/UNSAT): 3532391(5383/3527008)
Jun 01, 2017 2:54:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1824/3728 took 488097 ms. Total solver calls (SAT/UNSAT): 3541385(5395/3535990)
Jun 01, 2017 2:54:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1829/3728 took 489341 ms. Total solver calls (SAT/UNSAT): 3550725(5410/3545315)
Jun 01, 2017 2:54:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1833/3728 took 490350 ms. Total solver calls (SAT/UNSAT): 3558197(5422/3552775)
Jun 01, 2017 2:54:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1837/3728 took 491366 ms. Total solver calls (SAT/UNSAT): 3565669(5434/3560235)
Jun 01, 2017 2:54:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1842/3728 took 492616 ms. Total solver calls (SAT/UNSAT): 3575009(5449/3569560)
Jun 01, 2017 2:54:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1846/3728 took 493822 ms. Total solver calls (SAT/UNSAT): 3584003(5461/3578542)
Jun 01, 2017 2:54:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1850/3728 took 494838 ms. Total solver calls (SAT/UNSAT): 3591475(5473/3586002)
Jun 01, 2017 2:54:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1854/3728 took 495845 ms. Total solver calls (SAT/UNSAT): 3598947(5485/3593462)
Jun 01, 2017 2:54:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1859/3728 took 497085 ms. Total solver calls (SAT/UNSAT): 3608287(5500/3602787)
Jun 01, 2017 2:54:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1863/3728 took 498091 ms. Total solver calls (SAT/UNSAT): 3615759(5512/3610247)
Jun 01, 2017 2:54:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1867/3728 took 499306 ms. Total solver calls (SAT/UNSAT): 3624753(5524/3619229)
Jun 01, 2017 2:54:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1872/3728 took 500559 ms. Total solver calls (SAT/UNSAT): 3634093(5539/3628554)
Jun 01, 2017 2:54:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1876/3728 took 501562 ms. Total solver calls (SAT/UNSAT): 3641565(5551/3636014)
Jun 01, 2017 2:54:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1880/3728 took 502573 ms. Total solver calls (SAT/UNSAT): 3649037(5563/3643474)
Jun 01, 2017 2:54:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1884/3728 took 503575 ms. Total solver calls (SAT/UNSAT): 3656509(5575/3650934)
Jun 01, 2017 2:54:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1888/3728 took 504779 ms. Total solver calls (SAT/UNSAT): 3665503(5587/3659916)
Jun 01, 2017 2:54:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1892/3728 took 505782 ms. Total solver calls (SAT/UNSAT): 3672975(5599/3667376)
Jun 01, 2017 2:54:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1896/3728 took 506783 ms. Total solver calls (SAT/UNSAT): 3680447(5611/3674836)
Jun 01, 2017 2:54:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1900/3728 took 507790 ms. Total solver calls (SAT/UNSAT): 3687919(5623/3682296)
Jun 01, 2017 2:54:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1905/3728 took 509036 ms. Total solver calls (SAT/UNSAT): 3697259(5638/3691621)
Jun 01, 2017 2:54:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1909/3728 took 510243 ms. Total solver calls (SAT/UNSAT): 3706253(5650/3700603)
Jun 01, 2017 2:54:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1913/3728 took 511251 ms. Total solver calls (SAT/UNSAT): 3713725(5662/3708063)
Jun 01, 2017 2:54:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1918/3728 took 512498 ms. Total solver calls (SAT/UNSAT): 3723065(5677/3717388)
Jun 01, 2017 2:54:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1922/3728 took 513503 ms. Total solver calls (SAT/UNSAT): 3730537(5689/3724848)
Jun 01, 2017 2:54:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1926/3728 took 514510 ms. Total solver calls (SAT/UNSAT): 3738009(5701/3732308)
Jun 01, 2017 2:54:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1930/3728 took 515717 ms. Total solver calls (SAT/UNSAT): 3747003(5713/3741290)
Jun 01, 2017 2:54:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1934/3728 took 516719 ms. Total solver calls (SAT/UNSAT): 3754475(5725/3748750)
Jun 01, 2017 2:54:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1938/3728 took 517721 ms. Total solver calls (SAT/UNSAT): 3761947(5737/3756210)
Jun 01, 2017 2:54:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1942/3728 took 518725 ms. Total solver calls (SAT/UNSAT): 3769419(5749/3763670)
Jun 01, 2017 2:54:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1946/3728 took 519727 ms. Total solver calls (SAT/UNSAT): 3776891(5761/3771130)
Jun 01, 2017 2:54:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1950/3728 took 520931 ms. Total solver calls (SAT/UNSAT): 3785885(5773/3780112)
Jun 01, 2017 2:54:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1954/3728 took 521934 ms. Total solver calls (SAT/UNSAT): 3793357(5785/3787572)
Jun 01, 2017 2:55:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1958/3728 took 522945 ms. Total solver calls (SAT/UNSAT): 3800829(5797/3795032)
Jun 01, 2017 2:55:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1962/3728 took 523945 ms. Total solver calls (SAT/UNSAT): 3808301(5809/3802492)
Jun 01, 2017 2:55:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1966/3728 took 524949 ms. Total solver calls (SAT/UNSAT): 3815773(5821/3809952)
Jun 01, 2017 2:55:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1969/3728 took 525956 ms. Total solver calls (SAT/UNSAT): 3822898(5830/3817068)
Jun 01, 2017 2:55:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1973/3728 took 526979 ms. Total solver calls (SAT/UNSAT): 3830371(5842/3824529)
Jun 01, 2017 2:55:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1977/3728 took 528002 ms. Total solver calls (SAT/UNSAT): 3837843(5854/3831989)
Jun 01, 2017 2:55:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1981/3728 took 529011 ms. Total solver calls (SAT/UNSAT): 3845315(5866/3839449)
Jun 01, 2017 2:55:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1985/3728 took 530019 ms. Total solver calls (SAT/UNSAT): 3852787(5878/3846909)
Jun 01, 2017 2:55:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1989/3728 took 531035 ms. Total solver calls (SAT/UNSAT): 3860259(5890/3854369)
Jun 01, 2017 2:55:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1993/3728 took 532253 ms. Total solver calls (SAT/UNSAT): 3869253(5902/3863351)
Jun 01, 2017 2:55:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1997/3728 took 533272 ms. Total solver calls (SAT/UNSAT): 3876725(5914/3870811)
Jun 01, 2017 2:55:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2001/3728 took 534292 ms. Total solver calls (SAT/UNSAT): 3884197(5926/3878271)
Jun 01, 2017 2:55:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2005/3728 took 535313 ms. Total solver calls (SAT/UNSAT): 3891669(5938/3885731)
Jun 01, 2017 2:55:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2009/3728 took 536328 ms. Total solver calls (SAT/UNSAT): 3899141(5950/3893191)
Jun 01, 2017 2:55:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2013/3728 took 537542 ms. Total solver calls (SAT/UNSAT): 3908135(5962/3902173)
Jun 01, 2017 2:55:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2017/3728 took 538553 ms. Total solver calls (SAT/UNSAT): 3915607(5974/3909633)
Jun 01, 2017 2:55:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2021/3728 took 539566 ms. Total solver calls (SAT/UNSAT): 3923079(5986/3917093)
Jun 01, 2017 2:55:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2025/3728 took 540573 ms. Total solver calls (SAT/UNSAT): 3930551(5998/3924553)
Jun 01, 2017 2:55:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2029/3728 took 541582 ms. Total solver calls (SAT/UNSAT): 3938023(6010/3932013)
Jun 01, 2017 2:55:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2033/3728 took 542795 ms. Total solver calls (SAT/UNSAT): 3947017(6022/3940995)
Jun 01, 2017 2:55:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2037/3728 took 543805 ms. Total solver calls (SAT/UNSAT): 3954489(6034/3948455)
Jun 01, 2017 2:55:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2041/3728 took 544812 ms. Total solver calls (SAT/UNSAT): 3961961(6046/3955915)
Jun 01, 2017 2:55:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2045/3728 took 545819 ms. Total solver calls (SAT/UNSAT): 3969433(6058/3963375)
Jun 01, 2017 2:55:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2049/3728 took 546824 ms. Total solver calls (SAT/UNSAT): 3976905(6070/3970835)
Jun 01, 2017 2:55:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2053/3728 took 548041 ms. Total solver calls (SAT/UNSAT): 3985898(6082/3979816)
Jun 01, 2017 2:55:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2057/3728 took 549045 ms. Total solver calls (SAT/UNSAT): 3993371(6094/3987277)
Jun 01, 2017 2:55:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2061/3728 took 550062 ms. Total solver calls (SAT/UNSAT): 4000843(6106/3994737)
Jun 01, 2017 2:55:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2065/3728 took 551078 ms. Total solver calls (SAT/UNSAT): 4008315(6118/4002197)
Jun 01, 2017 2:55:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2069/3728 took 552097 ms. Total solver calls (SAT/UNSAT): 4015787(6130/4009657)
Jun 01, 2017 2:55:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2073/3728 took 553105 ms. Total solver calls (SAT/UNSAT): 4023259(6142/4017117)
Jun 01, 2017 2:55:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2077/3728 took 554325 ms. Total solver calls (SAT/UNSAT): 4032253(6154/4026099)
Jun 01, 2017 2:55:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2081/3728 took 555341 ms. Total solver calls (SAT/UNSAT): 4039725(6166/4033559)
Jun 01, 2017 2:55:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2085/3728 took 556358 ms. Total solver calls (SAT/UNSAT): 4047197(6178/4041019)
Jun 01, 2017 2:55:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2089/3728 took 557374 ms. Total solver calls (SAT/UNSAT): 4054669(6190/4048479)
Jun 01, 2017 2:55:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2093/3728 took 558391 ms. Total solver calls (SAT/UNSAT): 4062141(6202/4055939)
Jun 01, 2017 2:55:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2097/3728 took 559618 ms. Total solver calls (SAT/UNSAT): 4071135(6214/4064921)
Jun 01, 2017 2:55:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2101/3728 took 560626 ms. Total solver calls (SAT/UNSAT): 4078607(6226/4072381)
Jun 01, 2017 2:55:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2105/3728 took 561646 ms. Total solver calls (SAT/UNSAT): 4086079(6238/4079841)
Jun 01, 2017 2:55:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2109/3728 took 562664 ms. Total solver calls (SAT/UNSAT): 4093551(6250/4087301)
Jun 01, 2017 2:55:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2113/3728 took 563683 ms. Total solver calls (SAT/UNSAT): 4101023(6262/4094761)
Jun 01, 2017 2:55:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2117/3728 took 564896 ms. Total solver calls (SAT/UNSAT): 4110017(6274/4103743)
Jun 01, 2017 2:55:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2121/3728 took 565944 ms. Total solver calls (SAT/UNSAT): 4117489(6286/4111203)
Jun 01, 2017 2:55:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2126/3728 took 567192 ms. Total solver calls (SAT/UNSAT): 4126829(6301/4120528)
Jun 01, 2017 2:55:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2130/3728 took 568197 ms. Total solver calls (SAT/UNSAT): 4134301(6313/4127988)
Jun 01, 2017 2:55:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2135/3728 took 569438 ms. Total solver calls (SAT/UNSAT): 4143641(6328/4137313)
Jun 01, 2017 2:55:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2139/3728 took 570634 ms. Total solver calls (SAT/UNSAT): 4152635(6340/4146295)
Jun 01, 2017 2:55:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2144/3728 took 571875 ms. Total solver calls (SAT/UNSAT): 4161975(6355/4155620)
Jun 01, 2017 2:55:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2148/3728 took 572938 ms. Total solver calls (SAT/UNSAT): 4169447(6367/4163080)
Jun 01, 2017 2:55:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2153/3728 took 574185 ms. Total solver calls (SAT/UNSAT): 4178787(6382/4172405)
Jun 01, 2017 2:55:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2157/3728 took 575194 ms. Total solver calls (SAT/UNSAT): 4186259(6394/4179865)
Jun 01, 2017 2:55:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2161/3728 took 576392 ms. Total solver calls (SAT/UNSAT): 4195253(6406/4188847)
Jun 01, 2017 2:55:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2165/3728 took 577397 ms. Total solver calls (SAT/UNSAT): 4202725(6418/4196307)
Jun 01, 2017 2:55:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2169/3728 took 578401 ms. Total solver calls (SAT/UNSAT): 4210197(6430/4203767)
Jun 01, 2017 2:55:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2173/3728 took 579410 ms. Total solver calls (SAT/UNSAT): 4217669(6442/4211227)
Jun 01, 2017 2:55:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2177/3728 took 580410 ms. Total solver calls (SAT/UNSAT): 4225141(6454/4218687)
Jun 01, 2017 2:55:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2181/3728 took 581662 ms. Total solver calls (SAT/UNSAT): 4234135(6466/4227669)
Jun 01, 2017 2:56:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2185/3728 took 582684 ms. Total solver calls (SAT/UNSAT): 4241607(6478/4235129)
Jun 01, 2017 2:56:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2189/3728 took 583730 ms. Total solver calls (SAT/UNSAT): 4249079(6490/4242589)
Jun 01, 2017 2:56:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2193/3728 took 584871 ms. Total solver calls (SAT/UNSAT): 4256551(6502/4250049)
Jun 01, 2017 2:56:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2197/3728 took 585876 ms. Total solver calls (SAT/UNSAT): 4264023(6514/4257509)
Jun 01, 2017 2:56:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2201/3728 took 587089 ms. Total solver calls (SAT/UNSAT): 4273017(6526/4266491)
Jun 01, 2017 2:56:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2205/3728 took 588093 ms. Total solver calls (SAT/UNSAT): 4280489(6538/4273951)
Jun 01, 2017 2:56:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2210/3728 took 589346 ms. Total solver calls (SAT/UNSAT): 4289829(6553/4283276)
Jun 01, 2017 2:56:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2214/3728 took 590354 ms. Total solver calls (SAT/UNSAT): 4297301(6565/4290736)
Jun 01, 2017 2:56:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2218/3728 took 591362 ms. Total solver calls (SAT/UNSAT): 4304773(6577/4298196)
Jun 01, 2017 2:56:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2222/3728 took 592574 ms. Total solver calls (SAT/UNSAT): 4313767(6589/4307178)
Jun 01, 2017 2:56:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2227/3728 took 593819 ms. Total solver calls (SAT/UNSAT): 4323107(6604/4316503)
Jun 01, 2017 2:56:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2231/3728 took 594828 ms. Total solver calls (SAT/UNSAT): 4330579(6616/4323963)
Jun 01, 2017 2:56:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2235/3728 took 595835 ms. Total solver calls (SAT/UNSAT): 4338051(6628/4331423)
Jun 01, 2017 2:56:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2239/3728 took 596838 ms. Total solver calls (SAT/UNSAT): 4345523(6640/4338883)
Jun 01, 2017 2:56:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2243/3728 took 598051 ms. Total solver calls (SAT/UNSAT): 4354517(6652/4347865)
Jun 01, 2017 2:56:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2247/3728 took 599054 ms. Total solver calls (SAT/UNSAT): 4361989(6664/4355325)
Jun 01, 2017 2:56:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2251/3728 took 600062 ms. Total solver calls (SAT/UNSAT): 4369461(6676/4362785)
Jun 01, 2017 2:56:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2256/3728 took 601308 ms. Total solver calls (SAT/UNSAT): 4378801(6691/4372110)
Jun 01, 2017 2:56:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2260/3728 took 602316 ms. Total solver calls (SAT/UNSAT): 4386273(6703/4379570)
Jun 01, 2017 2:56:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2264/3728 took 603526 ms. Total solver calls (SAT/UNSAT): 4395267(6715/4388552)
Jun 01, 2017 2:56:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2268/3728 took 604530 ms. Total solver calls (SAT/UNSAT): 4402739(6727/4396012)
Jun 01, 2017 2:56:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2272/3728 took 605590 ms. Total solver calls (SAT/UNSAT): 4410211(6739/4403472)
Jun 01, 2017 2:56:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2276/3728 took 606617 ms. Total solver calls (SAT/UNSAT): 4417683(6751/4410932)
Jun 01, 2017 2:56:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2280/3728 took 607644 ms. Total solver calls (SAT/UNSAT): 4425155(6763/4418392)
Jun 01, 2017 2:56:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2284/3728 took 608872 ms. Total solver calls (SAT/UNSAT): 4434148(6775/4427373)
Jun 01, 2017 2:56:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2288/3728 took 609892 ms. Total solver calls (SAT/UNSAT): 4441621(6787/4434834)
Jun 01, 2017 2:56:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2292/3728 took 610909 ms. Total solver calls (SAT/UNSAT): 4449093(6799/4442294)
Jun 01, 2017 2:56:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2296/3728 took 611924 ms. Total solver calls (SAT/UNSAT): 4456565(6811/4449754)
Jun 01, 2017 2:56:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2300/3728 took 612948 ms. Total solver calls (SAT/UNSAT): 4464037(6823/4457214)
Jun 01, 2017 2:56:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2304/3728 took 613968 ms. Total solver calls (SAT/UNSAT): 4471509(6835/4464674)
Jun 01, 2017 2:56:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2308/3728 took 615204 ms. Total solver calls (SAT/UNSAT): 4480503(6847/4473656)
Jun 01, 2017 2:56:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2312/3728 took 616225 ms. Total solver calls (SAT/UNSAT): 4487975(6859/4481116)
Jun 01, 2017 2:56:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2316/3728 took 617236 ms. Total solver calls (SAT/UNSAT): 4495447(6871/4488576)
Jun 01, 2017 2:56:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2320/3728 took 618285 ms. Total solver calls (SAT/UNSAT): 4502919(6883/4496036)
Jun 01, 2017 2:56:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2324/3728 took 619287 ms. Total solver calls (SAT/UNSAT): 4510391(6895/4503496)
Jun 01, 2017 2:56:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2328/3728 took 620489 ms. Total solver calls (SAT/UNSAT): 4519385(6907/4512478)
Jun 01, 2017 2:56:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2332/3728 took 621562 ms. Total solver calls (SAT/UNSAT): 4526857(6919/4519938)
Jun 01, 2017 2:56:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2336/3728 took 622589 ms. Total solver calls (SAT/UNSAT): 4534329(6931/4527398)
Jun 01, 2017 2:56:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2340/3728 took 623624 ms. Total solver calls (SAT/UNSAT): 4541801(6943/4534858)
Jun 01, 2017 2:56:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2344/3728 took 624645 ms. Total solver calls (SAT/UNSAT): 4549273(6955/4542318)
Jun 01, 2017 2:56:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2348/3728 took 625872 ms. Total solver calls (SAT/UNSAT): 4558267(6967/4551300)
Jun 01, 2017 2:56:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2352/3728 took 626903 ms. Total solver calls (SAT/UNSAT): 4565739(6979/4558760)
Jun 01, 2017 2:56:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2356/3728 took 627928 ms. Total solver calls (SAT/UNSAT): 4573211(6991/4566220)
Jun 01, 2017 2:56:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2360/3728 took 628956 ms. Total solver calls (SAT/UNSAT): 4580683(7003/4573680)
Jun 01, 2017 2:56:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2364/3728 took 629982 ms. Total solver calls (SAT/UNSAT): 4588155(7015/4581140)
Jun 01, 2017 2:56:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2368/3728 took 631258 ms. Total solver calls (SAT/UNSAT): 4597148(7027/4590121)
Jun 01, 2017 2:56:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2372/3728 took 632267 ms. Total solver calls (SAT/UNSAT): 4604621(7039/4597582)
Jun 01, 2017 2:56:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2377/3728 took 633508 ms. Total solver calls (SAT/UNSAT): 4613961(7054/4606907)
Jun 01, 2017 2:56:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2382/3728 took 634759 ms. Total solver calls (SAT/UNSAT): 4623301(7069/4616232)
Jun 01, 2017 2:56:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2386/3728 took 635762 ms. Total solver calls (SAT/UNSAT): 4630773(7081/4623692)
Jun 01, 2017 2:56:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2390/3728 took 636959 ms. Total solver calls (SAT/UNSAT): 4639767(7093/4632674)
Jun 01, 2017 2:56:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2395/3728 took 638205 ms. Total solver calls (SAT/UNSAT): 4649107(7108/4641999)
Jun 01, 2017 2:56:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2400/3728 took 639448 ms. Total solver calls (SAT/UNSAT): 4658447(7123/4651324)
Jun 01, 2017 2:56:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2404/3728 took 640453 ms. Total solver calls (SAT/UNSAT): 4665919(7135/4658784)
Jun 01, 2017 2:56:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2408/3728 took 641457 ms. Total solver calls (SAT/UNSAT): 4673391(7147/4666244)
Jun 01, 2017 2:57:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2412/3728 took 642662 ms. Total solver calls (SAT/UNSAT): 4682385(7159/4675226)
Jun 01, 2017 2:57:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2416/3728 took 643673 ms. Total solver calls (SAT/UNSAT): 4689857(7171/4682686)
Jun 01, 2017 2:57:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2421/3728 took 644915 ms. Total solver calls (SAT/UNSAT): 4699197(7186/4692011)
Jun 01, 2017 2:57:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2425/3728 took 645915 ms. Total solver calls (SAT/UNSAT): 4706669(7198/4699471)
Jun 01, 2017 2:57:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2429/3728 took 646915 ms. Total solver calls (SAT/UNSAT): 4714141(7210/4706931)
Jun 01, 2017 2:57:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2433/3728 took 648119 ms. Total solver calls (SAT/UNSAT): 4723135(7222/4715913)
Jun 01, 2017 2:57:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2437/3728 took 649120 ms. Total solver calls (SAT/UNSAT): 4730607(7234/4723373)
Jun 01, 2017 2:57:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2442/3728 took 650369 ms. Total solver calls (SAT/UNSAT): 4739947(7249/4732698)
Jun 01, 2017 2:57:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2446/3728 took 651370 ms. Total solver calls (SAT/UNSAT): 4747419(7261/4740158)
Jun 01, 2017 2:57:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2450/3728 took 652376 ms. Total solver calls (SAT/UNSAT): 4754891(7273/4747618)
Jun 01, 2017 2:57:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2453/3728 took 653385 ms. Total solver calls (SAT/UNSAT): 4762017(7282/4754735)
Jun 01, 2017 2:57:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2457/3728 took 654416 ms. Total solver calls (SAT/UNSAT): 4769489(7294/4762195)
Jun 01, 2017 2:57:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2461/3728 took 655446 ms. Total solver calls (SAT/UNSAT): 4776961(7306/4769655)
Jun 01, 2017 2:57:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2465/3728 took 656467 ms. Total solver calls (SAT/UNSAT): 4784433(7318/4777115)
Jun 01, 2017 2:57:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2469/3728 took 657485 ms. Total solver calls (SAT/UNSAT): 4791905(7330/4784575)
Jun 01, 2017 2:57:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2473/3728 took 658706 ms. Total solver calls (SAT/UNSAT): 4800898(7342/4793556)
Jun 01, 2017 2:57:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2477/3728 took 659756 ms. Total solver calls (SAT/UNSAT): 4808371(7354/4801017)
Jun 01, 2017 2:57:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2482/3728 took 661007 ms. Total solver calls (SAT/UNSAT): 4817711(7369/4810342)
Jun 01, 2017 2:57:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2486/3728 took 662009 ms. Total solver calls (SAT/UNSAT): 4825183(7381/4817802)
Jun 01, 2017 2:57:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2490/3728 took 663013 ms. Total solver calls (SAT/UNSAT): 4832655(7393/4825262)
Jun 01, 2017 2:57:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2494/3728 took 664222 ms. Total solver calls (SAT/UNSAT): 4841648(7405/4834243)
Jun 01, 2017 2:57:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2499/3728 took 665464 ms. Total solver calls (SAT/UNSAT): 4850989(7420/4843569)
Jun 01, 2017 2:57:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2504/3728 took 666708 ms. Total solver calls (SAT/UNSAT): 4860329(7435/4852894)
Jun 01, 2017 2:57:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2509/3728 took 667955 ms. Total solver calls (SAT/UNSAT): 4869669(7450/4862219)
Jun 01, 2017 2:57:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2514/3728 took 669199 ms. Total solver calls (SAT/UNSAT): 4879009(7465/4871544)
Jun 01, 2017 2:57:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2518/3728 took 670401 ms. Total solver calls (SAT/UNSAT): 4888003(7477/4880526)
Jun 01, 2017 2:57:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2523/3728 took 671650 ms. Total solver calls (SAT/UNSAT): 4897343(7492/4889851)
Jun 01, 2017 2:57:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2528/3728 took 672895 ms. Total solver calls (SAT/UNSAT): 4906683(7507/4899176)
Jun 01, 2017 2:57:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2532/3728 took 673900 ms. Total solver calls (SAT/UNSAT): 4914155(7519/4906636)
Jun 01, 2017 2:57:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2536/3728 took 675105 ms. Total solver calls (SAT/UNSAT): 4923148(7531/4915617)
Jun 01, 2017 2:57:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2540/3728 took 676109 ms. Total solver calls (SAT/UNSAT): 4930621(7543/4923078)
Jun 01, 2017 2:57:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2544/3728 took 677117 ms. Total solver calls (SAT/UNSAT): 4938093(7555/4930538)
Jun 01, 2017 2:57:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2548/3728 took 678118 ms. Total solver calls (SAT/UNSAT): 4945565(7567/4937998)
Jun 01, 2017 2:57:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2553/3728 took 679359 ms. Total solver calls (SAT/UNSAT): 4954905(7582/4947323)
Jun 01, 2017 2:57:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2557/3728 took 680556 ms. Total solver calls (SAT/UNSAT): 4963898(7594/4956304)
Jun 01, 2017 2:57:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2562/3728 took 681796 ms. Total solver calls (SAT/UNSAT): 4973239(7609/4965630)
Jun 01, 2017 2:57:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2567/3728 took 683042 ms. Total solver calls (SAT/UNSAT): 4982579(7624/4974955)
Jun 01, 2017 2:57:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2572/3728 took 684285 ms. Total solver calls (SAT/UNSAT): 4991919(7639/4984280)
Jun 01, 2017 2:57:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2577/3728 took 685527 ms. Total solver calls (SAT/UNSAT): 5001259(7654/4993605)
Jun 01, 2017 2:57:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2581/3728 took 686725 ms. Total solver calls (SAT/UNSAT): 5010253(7666/5002587)
Jun 01, 2017 2:57:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2586/3728 took 687968 ms. Total solver calls (SAT/UNSAT): 5019593(7681/5011912)
Jun 01, 2017 2:57:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2591/3728 took 689215 ms. Total solver calls (SAT/UNSAT): 5028933(7696/5021237)
Jun 01, 2017 2:57:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2596/3728 took 690456 ms. Total solver calls (SAT/UNSAT): 5038273(7711/5030562)
Jun 01, 2017 2:57:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2600/3728 took 691652 ms. Total solver calls (SAT/UNSAT): 5047267(7723/5039544)
Jun 01, 2017 2:57:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2605/3728 took 692900 ms. Total solver calls (SAT/UNSAT): 5056607(7738/5048869)
Jun 01, 2017 2:57:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2610/3728 took 694144 ms. Total solver calls (SAT/UNSAT): 5065947(7753/5058194)
Jun 01, 2017 2:57:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2614/3728 took 695145 ms. Total solver calls (SAT/UNSAT): 5073419(7765/5065654)
Jun 01, 2017 2:57:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2618/3728 took 696146 ms. Total solver calls (SAT/UNSAT): 5080891(7777/5073114)
Jun 01, 2017 2:57:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2622/3728 took 697341 ms. Total solver calls (SAT/UNSAT): 5089885(7789/5082096)
Jun 01, 2017 2:57:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2627/3728 took 698588 ms. Total solver calls (SAT/UNSAT): 5099225(7804/5091421)
Jun 01, 2017 2:57:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2631/3728 took 699589 ms. Total solver calls (SAT/UNSAT): 5106697(7816/5098881)
Jun 01, 2017 2:57:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2636/3728 took 700835 ms. Total solver calls (SAT/UNSAT): 5116037(7831/5108206)
Jun 01, 2017 2:57:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2640/3728 took 701838 ms. Total solver calls (SAT/UNSAT): 5123509(7843/5115666)
Jun 01, 2017 2:58:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2644/3728 took 703044 ms. Total solver calls (SAT/UNSAT): 5132503(7855/5124648)
Jun 01, 2017 2:58:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2648/3728 took 704049 ms. Total solver calls (SAT/UNSAT): 5139975(7867/5132108)
Jun 01, 2017 2:58:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2652/3728 took 705103 ms. Total solver calls (SAT/UNSAT): 5147447(7879/5139568)
Jun 01, 2017 2:58:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2656/3728 took 706131 ms. Total solver calls (SAT/UNSAT): 5154919(7891/5147028)
Jun 01, 2017 2:58:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2660/3728 took 707157 ms. Total solver calls (SAT/UNSAT): 5162391(7903/5154488)
Jun 01, 2017 2:58:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2664/3728 took 708392 ms. Total solver calls (SAT/UNSAT): 5171385(7915/5163470)
Jun 01, 2017 2:58:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2668/3728 took 709412 ms. Total solver calls (SAT/UNSAT): 5178857(7927/5170930)
Jun 01, 2017 2:58:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2672/3728 took 710431 ms. Total solver calls (SAT/UNSAT): 5186329(7939/5178390)
Jun 01, 2017 2:58:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2676/3728 took 711455 ms. Total solver calls (SAT/UNSAT): 5193801(7951/5185850)
Jun 01, 2017 2:58:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2680/3728 took 712473 ms. Total solver calls (SAT/UNSAT): 5201273(7963/5193310)
Jun 01, 2017 2:58:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2684/3728 took 713700 ms. Total solver calls (SAT/UNSAT): 5210267(7975/5202292)
Jun 01, 2017 2:58:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2688/3728 took 714725 ms. Total solver calls (SAT/UNSAT): 5217739(7987/5209752)
Jun 01, 2017 2:58:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2692/3728 took 715745 ms. Total solver calls (SAT/UNSAT): 5225211(7999/5217212)
Jun 01, 2017 2:58:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2696/3728 took 716765 ms. Total solver calls (SAT/UNSAT): 5232683(8011/5224672)
Jun 01, 2017 2:58:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2700/3728 took 717784 ms. Total solver calls (SAT/UNSAT): 5240155(8023/5232132)
Jun 01, 2017 2:58:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2704/3728 took 719017 ms. Total solver calls (SAT/UNSAT): 5249148(8035/5241113)
Jun 01, 2017 2:58:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2708/3728 took 720037 ms. Total solver calls (SAT/UNSAT): 5256621(8047/5248574)
Jun 01, 2017 2:58:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2712/3728 took 721056 ms. Total solver calls (SAT/UNSAT): 5264093(8059/5256034)
Jun 01, 2017 2:58:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2716/3728 took 722082 ms. Total solver calls (SAT/UNSAT): 5271565(8071/5263494)
Jun 01, 2017 2:58:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2720/3728 took 723100 ms. Total solver calls (SAT/UNSAT): 5279037(8083/5270954)
Jun 01, 2017 2:58:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2724/3728 took 724120 ms. Total solver calls (SAT/UNSAT): 5286509(8095/5278414)
Jun 01, 2017 2:58:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2728/3728 took 725364 ms. Total solver calls (SAT/UNSAT): 5295503(8107/5287396)
Jun 01, 2017 2:58:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2732/3728 took 726393 ms. Total solver calls (SAT/UNSAT): 5302975(8119/5294856)
Jun 01, 2017 2:58:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2736/3728 took 727423 ms. Total solver calls (SAT/UNSAT): 5310447(8131/5302316)
Jun 01, 2017 2:58:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2740/3728 took 728460 ms. Total solver calls (SAT/UNSAT): 5317919(8143/5309776)
Jun 01, 2017 2:58:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2744/3728 took 729488 ms. Total solver calls (SAT/UNSAT): 5325391(8155/5317236)
Jun 01, 2017 2:58:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2748/3728 took 730725 ms. Total solver calls (SAT/UNSAT): 5334385(8167/5326218)
Jun 01, 2017 2:58:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2752/3728 took 731755 ms. Total solver calls (SAT/UNSAT): 5341857(8179/5333678)
Jun 01, 2017 2:58:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2756/3728 took 732773 ms. Total solver calls (SAT/UNSAT): 5349329(8191/5341138)
Jun 01, 2017 2:58:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2760/3728 took 733792 ms. Total solver calls (SAT/UNSAT): 5356801(8203/5348598)
Jun 01, 2017 2:58:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2764/3728 took 734808 ms. Total solver calls (SAT/UNSAT): 5364273(8215/5356058)
Jun 01, 2017 2:58:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2768/3728 took 736050 ms. Total solver calls (SAT/UNSAT): 5373267(8227/5365040)
Jun 01, 2017 2:58:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2772/3728 took 737068 ms. Total solver calls (SAT/UNSAT): 5380739(8239/5372500)
Jun 01, 2017 2:58:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2776/3728 took 738085 ms. Total solver calls (SAT/UNSAT): 5388211(8251/5379960)
Jun 01, 2017 2:58:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2780/3728 took 739113 ms. Total solver calls (SAT/UNSAT): 5395683(8263/5387420)
Jun 01, 2017 2:58:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2784/3728 took 740141 ms. Total solver calls (SAT/UNSAT): 5403155(8275/5394880)
Jun 01, 2017 2:58:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2788/3728 took 741364 ms. Total solver calls (SAT/UNSAT): 5412148(8287/5403861)
Jun 01, 2017 2:58:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2792/3728 took 742386 ms. Total solver calls (SAT/UNSAT): 5419621(8299/5411322)
Jun 01, 2017 2:58:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2796/3728 took 743412 ms. Total solver calls (SAT/UNSAT): 5427093(8311/5418782)
Jun 01, 2017 2:58:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2800/3728 took 744432 ms. Total solver calls (SAT/UNSAT): 5434565(8323/5426242)
Jun 01, 2017 2:58:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2804/3728 took 745448 ms. Total solver calls (SAT/UNSAT): 5442037(8335/5433702)
Jun 01, 2017 2:58:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2808/3728 took 746479 ms. Total solver calls (SAT/UNSAT): 5449509(8347/5441162)
Jun 01, 2017 2:58:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2812/3728 took 747712 ms. Total solver calls (SAT/UNSAT): 5458503(8359/5450144)
Jun 01, 2017 2:58:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2816/3728 took 748733 ms. Total solver calls (SAT/UNSAT): 5465975(8371/5457604)
Jun 01, 2017 2:58:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2820/3728 took 749762 ms. Total solver calls (SAT/UNSAT): 5473447(8383/5465064)
Jun 01, 2017 2:58:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2824/3728 took 750787 ms. Total solver calls (SAT/UNSAT): 5480919(8395/5472524)
Jun 01, 2017 2:58:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2828/3728 took 751814 ms. Total solver calls (SAT/UNSAT): 5488391(8407/5479984)
Jun 01, 2017 2:58:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2832/3728 took 753048 ms. Total solver calls (SAT/UNSAT): 5497385(8419/5488966)
Jun 01, 2017 2:58:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2836/3728 took 754073 ms. Total solver calls (SAT/UNSAT): 5504857(8431/5496426)
Jun 01, 2017 2:58:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2840/3728 took 755102 ms. Total solver calls (SAT/UNSAT): 5512329(8443/5503886)
Jun 01, 2017 2:58:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2844/3728 took 756128 ms. Total solver calls (SAT/UNSAT): 5519801(8455/5511346)
Jun 01, 2017 2:58:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2848/3728 took 757158 ms. Total solver calls (SAT/UNSAT): 5527273(8467/5518806)
Jun 01, 2017 2:58:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2852/3728 took 758392 ms. Total solver calls (SAT/UNSAT): 5536267(8479/5527788)
Jun 01, 2017 2:58:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2856/3728 took 759417 ms. Total solver calls (SAT/UNSAT): 5543739(8491/5535248)
Jun 01, 2017 2:58:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2860/3728 took 760444 ms. Total solver calls (SAT/UNSAT): 5551211(8503/5542708)
Jun 01, 2017 2:58:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2864/3728 took 761461 ms. Total solver calls (SAT/UNSAT): 5558683(8515/5550168)
Jun 01, 2017 2:59:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2868/3728 took 762478 ms. Total solver calls (SAT/UNSAT): 5566155(8527/5557628)
Jun 01, 2017 2:59:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2872/3728 took 763704 ms. Total solver calls (SAT/UNSAT): 5575148(8539/5566609)
Jun 01, 2017 2:59:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2876/3728 took 764720 ms. Total solver calls (SAT/UNSAT): 5582621(8551/5574070)
Jun 01, 2017 2:59:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2880/3728 took 765739 ms. Total solver calls (SAT/UNSAT): 5590093(8563/5581530)
Jun 01, 2017 2:59:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2884/3728 took 766757 ms. Total solver calls (SAT/UNSAT): 5597565(8575/5588990)
Jun 01, 2017 2:59:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2888/3728 took 767782 ms. Total solver calls (SAT/UNSAT): 5605037(8587/5596450)
Jun 01, 2017 2:59:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2892/3728 took 768801 ms. Total solver calls (SAT/UNSAT): 5612509(8599/5603910)
Jun 01, 2017 2:59:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2896/3728 took 770032 ms. Total solver calls (SAT/UNSAT): 5621503(8611/5612892)
Jun 01, 2017 2:59:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2900/3728 took 771050 ms. Total solver calls (SAT/UNSAT): 5628975(8623/5620352)
Jun 01, 2017 2:59:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2904/3728 took 772085 ms. Total solver calls (SAT/UNSAT): 5636447(8635/5627812)
Jun 01, 2017 2:59:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2908/3728 took 773104 ms. Total solver calls (SAT/UNSAT): 5643919(8647/5635272)
Jun 01, 2017 2:59:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2912/3728 took 774122 ms. Total solver calls (SAT/UNSAT): 5651391(8659/5642732)
Jun 01, 2017 2:59:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2916/3728 took 775361 ms. Total solver calls (SAT/UNSAT): 5660385(8671/5651714)
Jun 01, 2017 2:59:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2920/3728 took 776385 ms. Total solver calls (SAT/UNSAT): 5667857(8683/5659174)
Jun 01, 2017 2:59:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2924/3728 took 777405 ms. Total solver calls (SAT/UNSAT): 5675329(8695/5666634)
Jun 01, 2017 2:59:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2928/3728 took 778427 ms. Total solver calls (SAT/UNSAT): 5682801(8707/5674094)
Jun 01, 2017 2:59:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2932/3728 took 779458 ms. Total solver calls (SAT/UNSAT): 5690273(8719/5681554)
Jun 01, 2017 2:59:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2936/3728 took 780690 ms. Total solver calls (SAT/UNSAT): 5699267(8731/5690536)
Jun 01, 2017 2:59:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2940/3728 took 781708 ms. Total solver calls (SAT/UNSAT): 5706739(8743/5697996)
Jun 01, 2017 2:59:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2944/3728 took 782744 ms. Total solver calls (SAT/UNSAT): 5714211(8755/5705456)
Jun 01, 2017 2:59:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2948/3728 took 783769 ms. Total solver calls (SAT/UNSAT): 5721683(8767/5712916)
Jun 01, 2017 2:59:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2952/3728 took 784787 ms. Total solver calls (SAT/UNSAT): 5729155(8779/5720376)
Jun 01, 2017 2:59:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2956/3728 took 786012 ms. Total solver calls (SAT/UNSAT): 5738148(8791/5729357)
Jun 01, 2017 2:59:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2960/3728 took 787038 ms. Total solver calls (SAT/UNSAT): 5745621(8803/5736818)
Jun 01, 2017 2:59:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2964/3728 took 788058 ms. Total solver calls (SAT/UNSAT): 5753093(8815/5744278)
Jun 01, 2017 2:59:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2968/3728 took 789076 ms. Total solver calls (SAT/UNSAT): 5760565(8827/5751738)
Jun 01, 2017 2:59:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2972/3728 took 790101 ms. Total solver calls (SAT/UNSAT): 5768037(8839/5759198)
Jun 01, 2017 2:59:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2976/3728 took 791121 ms. Total solver calls (SAT/UNSAT): 5775509(8851/5766658)
Jun 01, 2017 2:59:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2980/3728 took 792345 ms. Total solver calls (SAT/UNSAT): 5784503(8863/5775640)
Jun 01, 2017 2:59:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2984/3728 took 793364 ms. Total solver calls (SAT/UNSAT): 5791975(8875/5783100)
Jun 01, 2017 2:59:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2988/3728 took 794389 ms. Total solver calls (SAT/UNSAT): 5799447(8887/5790560)
Jun 01, 2017 2:59:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2992/3728 took 795407 ms. Total solver calls (SAT/UNSAT): 5806919(8899/5798020)
Jun 01, 2017 2:59:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2996/3728 took 796425 ms. Total solver calls (SAT/UNSAT): 5814391(8911/5805480)
Jun 01, 2017 2:59:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3000/3728 took 797651 ms. Total solver calls (SAT/UNSAT): 5823385(8923/5814462)
Jun 01, 2017 2:59:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3004/3728 took 798683 ms. Total solver calls (SAT/UNSAT): 5830857(8935/5821922)
Jun 01, 2017 2:59:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3008/3728 took 799708 ms. Total solver calls (SAT/UNSAT): 5838329(8947/5829382)
Jun 01, 2017 2:59:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3012/3728 took 800730 ms. Total solver calls (SAT/UNSAT): 5845801(8959/5836842)
Jun 01, 2017 2:59:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3016/3728 took 801755 ms. Total solver calls (SAT/UNSAT): 5853273(8971/5844302)
Jun 01, 2017 2:59:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3020/3728 took 802990 ms. Total solver calls (SAT/UNSAT): 5862267(8983/5853284)
Jun 01, 2017 2:59:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3024/3728 took 804017 ms. Total solver calls (SAT/UNSAT): 5869739(8995/5860744)
Jun 01, 2017 2:59:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3028/3728 took 805035 ms. Total solver calls (SAT/UNSAT): 5877211(9007/5868204)
Jun 01, 2017 2:59:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3032/3728 took 806063 ms. Total solver calls (SAT/UNSAT): 5884683(9019/5875664)
Jun 01, 2017 2:59:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3036/3728 took 807086 ms. Total solver calls (SAT/UNSAT): 5892155(9031/5883124)
Jun 01, 2017 2:59:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3040/3728 took 808318 ms. Total solver calls (SAT/UNSAT): 5901148(9043/5892105)
Jun 01, 2017 2:59:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3044/3728 took 809334 ms. Total solver calls (SAT/UNSAT): 5908621(9055/5899566)
Jun 01, 2017 2:59:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3048/3728 took 810372 ms. Total solver calls (SAT/UNSAT): 5916093(9067/5907026)
Jun 01, 2017 2:59:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3052/3728 took 811394 ms. Total solver calls (SAT/UNSAT): 5923565(9079/5914486)
Jun 01, 2017 2:59:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3056/3728 took 812416 ms. Total solver calls (SAT/UNSAT): 5931037(9091/5921946)
Jun 01, 2017 2:59:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3060/3728 took 813431 ms. Total solver calls (SAT/UNSAT): 5938509(9103/5929406)
Jun 01, 2017 2:59:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3064/3728 took 814668 ms. Total solver calls (SAT/UNSAT): 5947503(9115/5938388)
Jun 01, 2017 2:59:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3068/3728 took 815692 ms. Total solver calls (SAT/UNSAT): 5954975(9127/5945848)
Jun 01, 2017 2:59:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3072/3728 took 816714 ms. Total solver calls (SAT/UNSAT): 5962447(9139/5953308)
Jun 01, 2017 2:59:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3076/3728 took 817736 ms. Total solver calls (SAT/UNSAT): 5969919(9151/5960768)
Jun 01, 2017 2:59:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3080/3728 took 818763 ms. Total solver calls (SAT/UNSAT): 5977391(9163/5968228)
Jun 01, 2017 2:59:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3084/3728 took 819995 ms. Total solver calls (SAT/UNSAT): 5986385(9175/5977210)
Jun 01, 2017 2:59:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3088/3728 took 821007 ms. Total solver calls (SAT/UNSAT): 5993857(9187/5984670)
Jun 01, 2017 2:59:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3092/3728 took 822026 ms. Total solver calls (SAT/UNSAT): 6001329(9199/5992130)
Jun 01, 2017 3:00:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3096/3728 took 823040 ms. Total solver calls (SAT/UNSAT): 6008801(9211/5999590)
Jun 01, 2017 3:00:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3100/3728 took 824053 ms. Total solver calls (SAT/UNSAT): 6016273(9223/6007050)
Jun 01, 2017 3:00:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3104/3728 took 825272 ms. Total solver calls (SAT/UNSAT): 6025267(9235/6016032)
Jun 01, 2017 3:00:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3108/3728 took 826300 ms. Total solver calls (SAT/UNSAT): 6032739(9247/6023492)
Jun 01, 2017 3:00:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3112/3728 took 827322 ms. Total solver calls (SAT/UNSAT): 6040211(9259/6030952)
Jun 01, 2017 3:00:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3116/3728 took 828335 ms. Total solver calls (SAT/UNSAT): 6047683(9271/6038412)
Jun 01, 2017 3:00:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3120/3728 took 829347 ms. Total solver calls (SAT/UNSAT): 6055155(9283/6045872)
Jun 01, 2017 3:00:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3124/3728 took 830580 ms. Total solver calls (SAT/UNSAT): 6064148(9295/6054853)
Jun 01, 2017 3:00:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3128/3728 took 831601 ms. Total solver calls (SAT/UNSAT): 6071621(9307/6062314)
Jun 01, 2017 3:00:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3132/3728 took 832618 ms. Total solver calls (SAT/UNSAT): 6079093(9319/6069774)
Jun 01, 2017 3:00:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3136/3728 took 833631 ms. Total solver calls (SAT/UNSAT): 6086565(9331/6077234)
Jun 01, 2017 3:00:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3140/3728 took 834653 ms. Total solver calls (SAT/UNSAT): 6094037(9343/6084694)
Jun 01, 2017 3:00:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3144/3728 took 835672 ms. Total solver calls (SAT/UNSAT): 6101509(9355/6092154)
Jun 01, 2017 3:00:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3148/3728 took 836895 ms. Total solver calls (SAT/UNSAT): 6110503(9367/6101136)
Jun 01, 2017 3:00:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3152/3728 took 837942 ms. Total solver calls (SAT/UNSAT): 6117975(9379/6108596)
Jun 01, 2017 3:00:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3156/3728 took 838944 ms. Total solver calls (SAT/UNSAT): 6125447(9391/6116056)
Jun 01, 2017 3:00:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3161/3728 took 840186 ms. Total solver calls (SAT/UNSAT): 6134787(9406/6125381)
Jun 01, 2017 3:00:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3166/3728 took 841624 ms. Total solver calls (SAT/UNSAT): 6145648(9421/6136227)
Jun 01, 2017 3:00:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3171/3728 took 842864 ms. Total solver calls (SAT/UNSAT): 6154989(9436/6145553)
Jun 01, 2017 3:00:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3176/3728 took 844104 ms. Total solver calls (SAT/UNSAT): 6164329(9451/6154878)
Jun 01, 2017 3:00:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3181/3728 took 845343 ms. Total solver calls (SAT/UNSAT): 6173669(9466/6164203)
Jun 01, 2017 3:00:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3186/3728 took 846586 ms. Total solver calls (SAT/UNSAT): 6183009(9481/6173528)
Jun 01, 2017 3:00:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3190/3728 took 847781 ms. Total solver calls (SAT/UNSAT): 6192003(9493/6182510)
Jun 01, 2017 3:00:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3195/3728 took 849023 ms. Total solver calls (SAT/UNSAT): 6201343(9508/6191835)
Jun 01, 2017 3:00:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3200/3728 took 850262 ms. Total solver calls (SAT/UNSAT): 6210683(9523/6201160)
Jun 01, 2017 3:00:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3205/3728 took 851509 ms. Total solver calls (SAT/UNSAT): 6220023(9538/6210485)
Jun 01, 2017 3:00:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3209/3728 took 852702 ms. Total solver calls (SAT/UNSAT): 6229017(9550/6219467)
Jun 01, 2017 3:00:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3214/3728 took 853943 ms. Total solver calls (SAT/UNSAT): 6238357(9565/6228792)
Jun 01, 2017 3:00:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3219/3728 took 855188 ms. Total solver calls (SAT/UNSAT): 6247697(9580/6238117)
Jun 01, 2017 3:00:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3224/3728 took 856433 ms. Total solver calls (SAT/UNSAT): 6257037(9595/6247442)
Jun 01, 2017 3:00:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3229/3728 took 857872 ms. Total solver calls (SAT/UNSAT): 6267898(9610/6258288)
Jun 01, 2017 3:00:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3233/3728 took 858873 ms. Total solver calls (SAT/UNSAT): 6275371(9622/6265749)
Jun 01, 2017 3:00:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3238/3728 took 860120 ms. Total solver calls (SAT/UNSAT): 6284711(9637/6275074)
Jun 01, 2017 3:00:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3243/3728 took 861358 ms. Total solver calls (SAT/UNSAT): 6294051(9652/6284399)
Jun 01, 2017 3:00:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3248/3728 took 862596 ms. Total solver calls (SAT/UNSAT): 6303391(9667/6293724)
Jun 01, 2017 3:00:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3251/3728 took 863622 ms. Total solver calls (SAT/UNSAT): 6310517(9676/6300841)
Jun 01, 2017 3:00:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3255/3728 took 864663 ms. Total solver calls (SAT/UNSAT): 6317989(9688/6308301)
Jun 01, 2017 3:00:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3260/3728 took 865906 ms. Total solver calls (SAT/UNSAT): 6327329(9703/6317626)
Jun 01, 2017 3:00:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3265/3728 took 867142 ms. Total solver calls (SAT/UNSAT): 6336669(9718/6326951)
Jun 01, 2017 3:00:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3269/3728 took 868186 ms. Total solver calls (SAT/UNSAT): 6344141(9730/6334411)
Jun 01, 2017 3:00:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3273/3728 took 869411 ms. Total solver calls (SAT/UNSAT): 6353135(9742/6343393)
Jun 01, 2017 3:00:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3277/3728 took 870427 ms. Total solver calls (SAT/UNSAT): 6360607(9754/6350853)
Jun 01, 2017 3:00:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3281/3728 took 871441 ms. Total solver calls (SAT/UNSAT): 6368079(9766/6358313)
Jun 01, 2017 3:00:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3285/3728 took 872462 ms. Total solver calls (SAT/UNSAT): 6375551(9778/6365773)
Jun 01, 2017 3:00:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3289/3728 took 873480 ms. Total solver calls (SAT/UNSAT): 6383023(9790/6373233)
Jun 01, 2017 3:00:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3293/3728 took 874702 ms. Total solver calls (SAT/UNSAT): 6392017(9802/6382215)
Jun 01, 2017 3:00:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3297/3728 took 875719 ms. Total solver calls (SAT/UNSAT): 6399489(9814/6389675)
Jun 01, 2017 3:00:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3301/3728 took 876741 ms. Total solver calls (SAT/UNSAT): 6406961(9826/6397135)
Jun 01, 2017 3:00:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3305/3728 took 877756 ms. Total solver calls (SAT/UNSAT): 6414433(9838/6404595)
Jun 01, 2017 3:00:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3309/3728 took 878772 ms. Total solver calls (SAT/UNSAT): 6421905(9850/6412055)
Jun 01, 2017 3:00:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3313/3728 took 879997 ms. Total solver calls (SAT/UNSAT): 6430898(9862/6421036)
Jun 01, 2017 3:00:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3317/3728 took 881016 ms. Total solver calls (SAT/UNSAT): 6438371(9874/6428497)
Jun 01, 2017 3:00:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3321/3728 took 882032 ms. Total solver calls (SAT/UNSAT): 6445843(9886/6435957)
Jun 01, 2017 3:01:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3325/3728 took 883050 ms. Total solver calls (SAT/UNSAT): 6453315(9898/6443417)
Jun 01, 2017 3:01:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3329/3728 took 884067 ms. Total solver calls (SAT/UNSAT): 6460787(9910/6450877)
Jun 01, 2017 3:01:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3333/3728 took 885084 ms. Total solver calls (SAT/UNSAT): 6468259(9922/6458337)
Jun 01, 2017 3:01:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3337/3728 took 886301 ms. Total solver calls (SAT/UNSAT): 6477253(9934/6467319)
Jun 01, 2017 3:01:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3341/3728 took 887314 ms. Total solver calls (SAT/UNSAT): 6484725(9946/6474779)
Jun 01, 2017 3:01:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3345/3728 took 888329 ms. Total solver calls (SAT/UNSAT): 6492197(9958/6482239)
Jun 01, 2017 3:01:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3349/3728 took 889345 ms. Total solver calls (SAT/UNSAT): 6499669(9970/6489699)
Jun 01, 2017 3:01:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3353/3728 took 890357 ms. Total solver calls (SAT/UNSAT): 6507141(9982/6497159)
Jun 01, 2017 3:01:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3357/3728 took 891576 ms. Total solver calls (SAT/UNSAT): 6516135(9994/6506141)
Jun 01, 2017 3:01:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3361/3728 took 892590 ms. Total solver calls (SAT/UNSAT): 6523607(10006/6513601)
Jun 01, 2017 3:01:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3365/3728 took 893609 ms. Total solver calls (SAT/UNSAT): 6531079(10018/6521061)
Jun 01, 2017 3:01:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3369/3728 took 894626 ms. Total solver calls (SAT/UNSAT): 6538551(10030/6528521)
Jun 01, 2017 3:01:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3373/3728 took 895641 ms. Total solver calls (SAT/UNSAT): 6546023(10042/6535981)
Jun 01, 2017 3:01:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3377/3728 took 896860 ms. Total solver calls (SAT/UNSAT): 6555017(10054/6544963)
Jun 01, 2017 3:01:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3381/3728 took 897880 ms. Total solver calls (SAT/UNSAT): 6562489(10066/6552423)
Jun 01, 2017 3:01:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3385/3728 took 898903 ms. Total solver calls (SAT/UNSAT): 6569961(10078/6559883)
Jun 01, 2017 3:01:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3389/3728 took 899925 ms. Total solver calls (SAT/UNSAT): 6577433(10090/6567343)
Jun 01, 2017 3:01:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3393/3728 took 900939 ms. Total solver calls (SAT/UNSAT): 6584905(10102/6574803)
Jun 01, 2017 3:01:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3397/3728 took 902161 ms. Total solver calls (SAT/UNSAT): 6593898(10114/6583784)
Jun 01, 2017 3:01:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3401/3728 took 903179 ms. Total solver calls (SAT/UNSAT): 6601371(10126/6591245)
Jun 01, 2017 3:01:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3405/3728 took 904192 ms. Total solver calls (SAT/UNSAT): 6608843(10138/6598705)
Jun 01, 2017 3:01:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3409/3728 took 905238 ms. Total solver calls (SAT/UNSAT): 6616315(10150/6606165)
Jun 01, 2017 3:01:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3413/3728 took 906247 ms. Total solver calls (SAT/UNSAT): 6623787(10162/6613625)
Jun 01, 2017 3:01:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3417/3728 took 907307 ms. Total solver calls (SAT/UNSAT): 6631259(10174/6621085)
Jun 01, 2017 3:01:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3421/3728 took 908535 ms. Total solver calls (SAT/UNSAT): 6640253(10186/6630067)
Jun 01, 2017 3:01:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3425/3728 took 909549 ms. Total solver calls (SAT/UNSAT): 6647725(10198/6637527)
Jun 01, 2017 3:01:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3429/3728 took 910562 ms. Total solver calls (SAT/UNSAT): 6655197(10210/6644987)
Jun 01, 2017 3:01:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3433/3728 took 911589 ms. Total solver calls (SAT/UNSAT): 6662669(10222/6652447)
Jun 01, 2017 3:01:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3437/3728 took 912607 ms. Total solver calls (SAT/UNSAT): 6670141(10234/6659907)
Jun 01, 2017 3:01:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3447/3728 took 913635 ms. Total solver calls (SAT/UNSAT): 6677510(10248/6667262)
Jun 01, 2017 3:01:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3473/3728 took 914656 ms. Total solver calls (SAT/UNSAT): 6684374(10274/6674100)
Jun 01, 2017 3:01:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3481/3728 took 915789 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="BridgeAndVehicles-PT-V80P50N20"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V80P50N20.tgz
mv BridgeAndVehicles-PT-V80P50N20 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is BridgeAndVehicles-PT-V80P50N20, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r010-csrt-149436129900563"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' LTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;