fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r010-csrt-149436129900563
Last Updated
June 27, 2017

About the Execution of ITS-Tools for BridgeAndVehicles-PT-V80P50N20

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15933.930 3600000.00 4751240.00 441.30 [undef] Time out reached

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is BridgeAndVehicles-PT-V80P50N20, examination is 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 ;