About the Execution of ITS-Tools for BridgeAndVehicles-PT-V80P20N20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15936.010 | 3600000.00 | 4791965.00 | 513.50 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is BridgeAndVehicles-PT-V80P20N20, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r010-csrt-149436129800539
=====================================================================
--------------------
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-V80P20N20-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1496282578514
Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ctl command run as :
/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/ReachabilityDeadlock.pnml.gal -t CGAL -ctl DEADLOCK
No direction supplied, using forward translation only.
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 3728 rows 198 cols
invariant : 1'NB_ATTENTE_B_0 + 1'NB_ATTENTE_B_1 + 1'NB_ATTENTE_B_2 + 1'NB_ATTENTE_B_3 + 1'NB_ATTENTE_B_4 + 1'NB_ATTENTE_B_5 + 1'NB_ATTENTE_B_6 + 1'NB_ATTENTE_B_7 + 1'NB_ATTENTE_B_8 + 1'NB_ATTENTE_B_9 + 1'NB_ATTENTE_B_10 + 1'NB_ATTENTE_B_11 + 1'NB_ATTENTE_B_12 + 1'NB_ATTENTE_B_13 + 1'NB_ATTENTE_B_14 + 1'NB_ATTENTE_B_15 + 1'NB_ATTENTE_B_16 + 1'NB_ATTENTE_B_17 + 1'NB_ATTENTE_B_18 + 1'NB_ATTENTE_B_19 + 1'NB_ATTENTE_B_20 + 1'NB_ATTENTE_B_21 + 1'NB_ATTENTE_B_22 + 1'NB_ATTENTE_B_23 + 1'NB_ATTENTE_B_24 + 1'NB_ATTENTE_B_25 + 1'NB_ATTENTE_B_26 + 1'NB_ATTENTE_B_27 + 1'NB_ATTENTE_B_28 + 1'NB_ATTENTE_B_29 + 1'NB_ATTENTE_B_30 + 1'NB_ATTENTE_B_31 + 1'NB_ATTENTE_B_32 + 1'NB_ATTENTE_B_33 + 1'NB_ATTENTE_B_34 + 1'NB_ATTENTE_B_35 + 1'NB_ATTENTE_B_36 + 1'NB_ATTENTE_B_37 + 1'NB_ATTENTE_B_38 + 1'NB_ATTENTE_B_39 + 1'NB_ATTENTE_B_40 + 1'NB_ATTENTE_B_41 + 1'NB_ATTENTE_B_42 + 1'NB_ATTENTE_B_43 + 1'NB_ATTENTE_B_44 + 1'NB_ATTENTE_B_45 + 1'NB_ATTENTE_B_46 + 1'NB_ATTENTE_B_47 + 1'NB_ATTENTE_B_48 + 1'NB_ATTENTE_B_49 + 1'NB_ATTENTE_B_50 + 1'NB_ATTENTE_B_51 + 1'NB_ATTENTE_B_52 + 1'NB_ATTENTE_B_53 + 1'NB_ATTENTE_B_54 + 1'NB_ATTENTE_B_55 + 1'NB_ATTENTE_B_56 + 1'NB_ATTENTE_B_57 + 1'NB_ATTENTE_B_58 + 1'NB_ATTENTE_B_59 + 1'NB_ATTENTE_B_60 + 1'NB_ATTENTE_B_61 + 1'NB_ATTENTE_B_62 + 1'NB_ATTENTE_B_63 + 1'NB_ATTENTE_B_64 + 1'NB_ATTENTE_B_65 + 1'NB_ATTENTE_B_66 + 1'NB_ATTENTE_B_67 + 1'NB_ATTENTE_B_68 + 1'NB_ATTENTE_B_69 + 1'NB_ATTENTE_B_70 + 1'NB_ATTENTE_B_71 + 1'NB_ATTENTE_B_72 + 1'NB_ATTENTE_B_73 + 1'NB_ATTENTE_B_74 + 1'NB_ATTENTE_B_75 + 1'NB_ATTENTE_B_76 + 1'NB_ATTENTE_B_77 + 1'NB_ATTENTE_B_78 + 1'NB_ATTENTE_B_79 + 1'NB_ATTENTE_B_80= 1
invariant : 1'ROUTE_A + 1'ATTENTE_A + 1'SUR_PONT_A + 1'SORTI_A= 80
invariant : 1'COMPTEUR_0 + 1'COMPTEUR_1 + 1'COMPTEUR_2 + 1'COMPTEUR_3 + 1'COMPTEUR_4 + 1'COMPTEUR_5 + 1'COMPTEUR_6 + 1'COMPTEUR_7 + 1'COMPTEUR_8 + 1'COMPTEUR_9 + 1'COMPTEUR_10 + 1'COMPTEUR_11 + 1'COMPTEUR_12 + 1'COMPTEUR_13 + 1'COMPTEUR_14 + 1'COMPTEUR_15 + 1'COMPTEUR_16 + 1'COMPTEUR_17 + 1'COMPTEUR_18 + 1'COMPTEUR_19 + 1'COMPTEUR_20= 1
invariant : 1'SUR_PONT_A + 1'CAPACITE + 1'SUR_PONT_B= 20
invariant : -1'SUR_PONT_A + -1'CAPACITE + 1'ATTENTE_B + 1'SORTI_B + 1'ROUTE_B= 60
invariant : 1'NB_ATTENTE_A_0 + 1'NB_ATTENTE_A_1 + 1'NB_ATTENTE_A_2 + 1'NB_ATTENTE_A_3 + 1'NB_ATTENTE_A_4 + 1'NB_ATTENTE_A_5 + 1'NB_ATTENTE_A_6 + 1'NB_ATTENTE_A_7 + 1'NB_ATTENTE_A_8 + 1'NB_ATTENTE_A_9 + 1'NB_ATTENTE_A_10 + 1'NB_ATTENTE_A_11 + 1'NB_ATTENTE_A_12 + 1'NB_ATTENTE_A_13 + 1'NB_ATTENTE_A_14 + 1'NB_ATTENTE_A_15 + 1'NB_ATTENTE_A_16 + 1'NB_ATTENTE_A_17 + 1'NB_ATTENTE_A_18 + 1'NB_ATTENTE_A_19 + 1'NB_ATTENTE_A_20 + 1'NB_ATTENTE_A_21 + 1'NB_ATTENTE_A_22 + 1'NB_ATTENTE_A_23 + 1'NB_ATTENTE_A_24 + 1'NB_ATTENTE_A_25 + 1'NB_ATTENTE_A_26 + 1'NB_ATTENTE_A_27 + 1'NB_ATTENTE_A_28 + 1'NB_ATTENTE_A_29 + 1'NB_ATTENTE_A_30 + 1'NB_ATTENTE_A_31 + 1'NB_ATTENTE_A_32 + 1'NB_ATTENTE_A_33 + 1'NB_ATTENTE_A_34 + 1'NB_ATTENTE_A_35 + 1'NB_ATTENTE_A_36 + 1'NB_ATTENTE_A_37 + 1'NB_ATTENTE_A_38 + 1'NB_ATTENTE_A_39 + 1'NB_ATTENTE_A_40 + 1'NB_ATTENTE_A_41 + 1'NB_ATTENTE_A_42 + 1'NB_ATTENTE_A_43 + 1'NB_ATTENTE_A_44 + 1'NB_ATTENTE_A_45 + 1'NB_ATTENTE_A_46 + 1'NB_ATTENTE_A_47 + 1'NB_ATTENTE_A_48 + 1'NB_ATTENTE_A_49 + 1'NB_ATTENTE_A_50 + 1'NB_ATTENTE_A_51 + 1'NB_ATTENTE_A_52 + 1'NB_ATTENTE_A_53 + 1'NB_ATTENTE_A_54 + 1'NB_ATTENTE_A_55 + 1'NB_ATTENTE_A_56 + 1'NB_ATTENTE_A_57 + 1'NB_ATTENTE_A_58 + 1'NB_ATTENTE_A_59 + 1'NB_ATTENTE_A_60 + 1'NB_ATTENTE_A_61 + 1'NB_ATTENTE_A_62 + 1'NB_ATTENTE_A_63 + 1'NB_ATTENTE_A_64 + 1'NB_ATTENTE_A_65 + 1'NB_ATTENTE_A_66 + 1'NB_ATTENTE_A_67 + 1'NB_ATTENTE_A_68 + 1'NB_ATTENTE_A_69 + 1'NB_ATTENTE_A_70 + 1'NB_ATTENTE_A_71 + 1'NB_ATTENTE_A_72 + 1'NB_ATTENTE_A_73 + 1'NB_ATTENTE_A_74 + 1'NB_ATTENTE_A_75 + 1'NB_ATTENTE_A_76 + 1'NB_ATTENTE_A_77 + 1'NB_ATTENTE_A_78 + 1'NB_ATTENTE_A_79 + 1'NB_ATTENTE_A_80= 1
invariant : 1'CONTROLEUR_1 + 1'CONTROLEUR_2 + 1'CHOIX_1 + 1'CHOIX_2 + 1'VIDANGE_1 + 1'VIDANGE_2= 1
Exit code :137
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityDeadlock = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution ReachabilityDeadlock -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination ReachabilityDeadlock -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 01, 2017 2:03:00 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 2:03:00 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 316 ms
Jun 01, 2017 2:03:00 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 198 places.
Jun 01, 2017 2:03:00 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 3728 transitions.
Jun 01, 2017 2:03:00 AM fr.lip6.move.gal.logic.togal.ToGalTransformer toGal
WARNING: Unknown predicate type in boolean expression fr.lip6.move.gal.logic.impl.DeadlockImpl
Jun 01, 2017 2:03:01 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property BridgeAndVehicles-COL-V80P20N20-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
Jun 01, 2017 2:03:01 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 939 ms
Jun 01, 2017 2:03:01 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityDeadlock.pnml.gal : 73 ms
Jun 01, 2017 2:03:04 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 526 ms
Jun 01, 2017 2:03:19 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 198 variables to be positive in 15092 ms
Jun 01, 2017 2:03:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 3728 transitions.
Jun 01, 2017 2:03:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3728 took 286 ms. Total solver calls (SAT/UNSAT): 1943(2/1941)
Jun 01, 2017 2:03:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/3728 took 1480 ms. Total solver calls (SAT/UNSAT): 9715(10/9705)
Jun 01, 2017 2:03:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/3728 took 2627 ms. Total solver calls (SAT/UNSAT): 17487(18/17469)
Jun 01, 2017 2:03:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/3728 took 3742 ms. Total solver calls (SAT/UNSAT): 25259(26/25233)
Jun 01, 2017 2:03:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :16/3728 took 4856 ms. Total solver calls (SAT/UNSAT): 33031(34/32997)
Jun 01, 2017 2:03:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/3728 took 5944 ms. Total solver calls (SAT/UNSAT): 40803(42/40761)
Jun 01, 2017 2:03:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/3728 took 7033 ms. Total solver calls (SAT/UNSAT): 48575(50/48525)
Jun 01, 2017 2:03:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/3728 took 8141 ms. Total solver calls (SAT/UNSAT): 56347(58/56289)
Jun 01, 2017 2:03:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/3728 took 9220 ms. Total solver calls (SAT/UNSAT): 64119(66/64053)
Jun 01, 2017 2:03:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/3728 took 10290 ms. Total solver calls (SAT/UNSAT): 71891(74/71817)
Jun 01, 2017 2:03:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/3728 took 11362 ms. Total solver calls (SAT/UNSAT): 79663(82/79581)
Jun 01, 2017 2:03:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/3728 took 12430 ms. Total solver calls (SAT/UNSAT): 87435(90/87345)
Jun 01, 2017 2:03:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/3728 took 13500 ms. Total solver calls (SAT/UNSAT): 95207(98/95109)
Jun 01, 2017 2:03:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/3728 took 14580 ms. Total solver calls (SAT/UNSAT): 102979(106/102873)
Jun 01, 2017 2:03:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/3728 took 15672 ms. Total solver calls (SAT/UNSAT): 110751(114/110637)
Jun 01, 2017 2:03:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/3728 took 16751 ms. Total solver calls (SAT/UNSAT): 118523(122/118401)
Jun 01, 2017 2:03:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/3728 took 17823 ms. Total solver calls (SAT/UNSAT): 126295(130/126165)
Jun 01, 2017 2:03:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/3728 took 18889 ms. Total solver calls (SAT/UNSAT): 134067(138/133929)
Jun 01, 2017 2:03:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/3728 took 19955 ms. Total solver calls (SAT/UNSAT): 141839(146/141693)
Jun 01, 2017 2:03:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/3728 took 21022 ms. Total solver calls (SAT/UNSAT): 149611(154/149457)
Jun 01, 2017 2:03:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/3728 took 22148 ms. Total solver calls (SAT/UNSAT): 157308(163/157145)
Jun 01, 2017 2:03:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/3728 took 23165 ms. Total solver calls (SAT/UNSAT): 164784(175/164609)
Jun 01, 2017 2:03:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/3728 took 24224 ms. Total solver calls (SAT/UNSAT): 172260(187/172073)
Jun 01, 2017 2:03:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/3728 took 25279 ms. Total solver calls (SAT/UNSAT): 179736(199/179537)
Jun 01, 2017 2:03:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/3728 took 26298 ms. Total solver calls (SAT/UNSAT): 187212(211/187001)
Jun 01, 2017 2:03:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/3728 took 27307 ms. Total solver calls (SAT/UNSAT): 194688(223/194465)
Jun 01, 2017 2:03:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/3728 took 28318 ms. Total solver calls (SAT/UNSAT): 202164(235/201929)
Jun 01, 2017 2:03:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/3728 took 29335 ms. Total solver calls (SAT/UNSAT): 209640(247/209393)
Jun 01, 2017 2:03:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/3728 took 30403 ms. Total solver calls (SAT/UNSAT): 217116(259/216857)
Jun 01, 2017 2:03:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :117/3728 took 31644 ms. Total solver calls (SAT/UNSAT): 226461(274/226187)
Jun 01, 2017 2:03:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/3728 took 32882 ms. Total solver calls (SAT/UNSAT): 235806(289/235517)
Jun 01, 2017 2:03:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/3728 took 34119 ms. Total solver calls (SAT/UNSAT): 245151(304/244847)
Jun 01, 2017 2:03:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/3728 took 35173 ms. Total solver calls (SAT/UNSAT): 252627(316/252311)
Jun 01, 2017 2:03:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/3728 took 36180 ms. Total solver calls (SAT/UNSAT): 260103(328/259775)
Jun 01, 2017 2:03:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :139/3728 took 37189 ms. Total solver calls (SAT/UNSAT): 267579(340/267239)
Jun 01, 2017 2:03:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :143/3728 took 38223 ms. Total solver calls (SAT/UNSAT): 275055(352/274703)
Jun 01, 2017 2:03:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/3728 took 39234 ms. Total solver calls (SAT/UNSAT): 282531(364/282167)
Jun 01, 2017 2:03:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :151/3728 took 40248 ms. Total solver calls (SAT/UNSAT): 290007(376/289631)
Jun 01, 2017 2:04:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/3728 took 41259 ms. Total solver calls (SAT/UNSAT): 297483(388/297095)
Jun 01, 2017 2:04:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :159/3728 took 42273 ms. Total solver calls (SAT/UNSAT): 304959(400/304559)
Jun 01, 2017 2:04:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :163/3728 took 43283 ms. Total solver calls (SAT/UNSAT): 312430(412/312018)
Jun 01, 2017 2:04:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/3728 took 44298 ms. Total solver calls (SAT/UNSAT): 319902(424/319478)
Jun 01, 2017 2:04:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :171/3728 took 45312 ms. Total solver calls (SAT/UNSAT): 327374(436/326938)
Jun 01, 2017 2:04:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :175/3728 took 46420 ms. Total solver calls (SAT/UNSAT): 334846(448/334398)
Jun 01, 2017 2:04:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/3728 took 47438 ms. Total solver calls (SAT/UNSAT): 342318(460/341858)
Jun 01, 2017 2:04:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/3728 took 48447 ms. Total solver calls (SAT/UNSAT): 349790(472/349318)
Jun 01, 2017 2:04:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :187/3728 took 49457 ms. Total solver calls (SAT/UNSAT): 357262(484/356778)
Jun 01, 2017 2:04:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :191/3728 took 50473 ms. Total solver calls (SAT/UNSAT): 364734(496/364238)
Jun 01, 2017 2:04:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/3728 took 51486 ms. Total solver calls (SAT/UNSAT): 372206(508/371698)
Jun 01, 2017 2:04:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/3728 took 52497 ms. Total solver calls (SAT/UNSAT): 379678(520/379158)
Jun 01, 2017 2:04:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :203/3728 took 53509 ms. Total solver calls (SAT/UNSAT): 387150(532/386618)
Jun 01, 2017 2:04:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :207/3728 took 54554 ms. Total solver calls (SAT/UNSAT): 394622(544/394078)
Jun 01, 2017 2:04:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :211/3728 took 55570 ms. Total solver calls (SAT/UNSAT): 402094(556/401538)
Jun 01, 2017 2:04:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :215/3728 took 56580 ms. Total solver calls (SAT/UNSAT): 409566(568/408998)
Jun 01, 2017 2:04:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/3728 took 57592 ms. Total solver calls (SAT/UNSAT): 417038(580/416458)
Jun 01, 2017 2:04:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/3728 took 58604 ms. Total solver calls (SAT/UNSAT): 424510(592/423918)
Jun 01, 2017 2:04:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :227/3728 took 59616 ms. Total solver calls (SAT/UNSAT): 431982(604/431378)
Jun 01, 2017 2:04:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/3728 took 60634 ms. Total solver calls (SAT/UNSAT): 439454(616/438838)
Jun 01, 2017 2:04:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :235/3728 took 61645 ms. Total solver calls (SAT/UNSAT): 446926(628/446298)
Jun 01, 2017 2:04:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :239/3728 took 62659 ms. Total solver calls (SAT/UNSAT): 454398(640/453758)
Jun 01, 2017 2:04:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/3728 took 63737 ms. Total solver calls (SAT/UNSAT): 461869(652/461217)
Jun 01, 2017 2:04:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :247/3728 took 64751 ms. Total solver calls (SAT/UNSAT): 469341(664/468677)
Jun 01, 2017 2:04:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :251/3728 took 65769 ms. Total solver calls (SAT/UNSAT): 476813(676/476137)
Jun 01, 2017 2:04:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :255/3728 took 66787 ms. Total solver calls (SAT/UNSAT): 484285(688/483597)
Jun 01, 2017 2:04:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :259/3728 took 67799 ms. Total solver calls (SAT/UNSAT): 491757(700/491057)
Jun 01, 2017 2:04:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :263/3728 took 68814 ms. Total solver calls (SAT/UNSAT): 499229(712/498517)
Jun 01, 2017 2:04:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :267/3728 took 69828 ms. Total solver calls (SAT/UNSAT): 506701(724/505977)
Jun 01, 2017 2:04:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :271/3728 took 70931 ms. Total solver calls (SAT/UNSAT): 514173(736/513437)
Jun 01, 2017 2:04:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/3728 took 71947 ms. Total solver calls (SAT/UNSAT): 521645(748/520897)
Jun 01, 2017 2:04:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :279/3728 took 73048 ms. Total solver calls (SAT/UNSAT): 529117(760/528357)
Jun 01, 2017 2:04:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/3728 took 74068 ms. Total solver calls (SAT/UNSAT): 536589(772/535817)
Jun 01, 2017 2:04:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :287/3728 took 75079 ms. Total solver calls (SAT/UNSAT): 544061(784/543277)
Jun 01, 2017 2:04:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :291/3728 took 76094 ms. Total solver calls (SAT/UNSAT): 551533(796/550737)
Jun 01, 2017 2:04:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :295/3728 took 77109 ms. Total solver calls (SAT/UNSAT): 559005(808/558197)
Jun 01, 2017 2:04:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :299/3728 took 78124 ms. Total solver calls (SAT/UNSAT): 566477(820/565657)
Jun 01, 2017 2:04:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :303/3728 took 79140 ms. Total solver calls (SAT/UNSAT): 573949(832/573117)
Jun 01, 2017 2:04:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :307/3728 took 80154 ms. Total solver calls (SAT/UNSAT): 581421(844/580577)
Jun 01, 2017 2:04:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :311/3728 took 81169 ms. Total solver calls (SAT/UNSAT): 588893(856/588037)
Jun 01, 2017 2:04:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/3728 took 82244 ms. Total solver calls (SAT/UNSAT): 596365(868/595497)
Jun 01, 2017 2:04:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/3728 took 83272 ms. Total solver calls (SAT/UNSAT): 603837(880/602957)
Jun 01, 2017 2:04:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :323/3728 took 84289 ms. Total solver calls (SAT/UNSAT): 611308(892/610416)
Jun 01, 2017 2:04:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/3728 took 85304 ms. Total solver calls (SAT/UNSAT): 618780(904/617876)
Jun 01, 2017 2:04:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :331/3728 took 86316 ms. Total solver calls (SAT/UNSAT): 626252(916/625336)
Jun 01, 2017 2:04:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :335/3728 took 87331 ms. Total solver calls (SAT/UNSAT): 633724(928/632796)
Jun 01, 2017 2:04:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :339/3728 took 88346 ms. Total solver calls (SAT/UNSAT): 641196(940/640256)
Jun 01, 2017 2:04:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :343/3728 took 89362 ms. Total solver calls (SAT/UNSAT): 648668(952/647716)
Jun 01, 2017 2:04:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/3728 took 90376 ms. Total solver calls (SAT/UNSAT): 656140(964/655176)
Jun 01, 2017 2:04:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/3728 took 91386 ms. Total solver calls (SAT/UNSAT): 663612(976/662636)
Jun 01, 2017 2:04:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/3728 took 92478 ms. Total solver calls (SAT/UNSAT): 671084(988/670096)
Jun 01, 2017 2:04:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :359/3728 took 93501 ms. Total solver calls (SAT/UNSAT): 678556(1000/677556)
Jun 01, 2017 2:04:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :363/3728 took 94512 ms. Total solver calls (SAT/UNSAT): 686028(1012/685016)
Jun 01, 2017 2:04:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :367/3728 took 95524 ms. Total solver calls (SAT/UNSAT): 693500(1024/692476)
Jun 01, 2017 2:04:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :371/3728 took 96535 ms. Total solver calls (SAT/UNSAT): 700972(1036/699936)
Jun 01, 2017 2:04:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/3728 took 97549 ms. Total solver calls (SAT/UNSAT): 708444(1048/707396)
Jun 01, 2017 2:04:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :379/3728 took 98564 ms. Total solver calls (SAT/UNSAT): 715916(1060/714856)
Jun 01, 2017 2:04:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :383/3728 took 99578 ms. Total solver calls (SAT/UNSAT): 723388(1072/722316)
Jun 01, 2017 2:04:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :387/3728 took 100596 ms. Total solver calls (SAT/UNSAT): 730860(1084/729776)
Jun 01, 2017 2:05:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :391/3728 took 101762 ms. Total solver calls (SAT/UNSAT): 738332(1096/737236)
Jun 01, 2017 2:05:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :395/3728 took 102783 ms. Total solver calls (SAT/UNSAT): 745804(1108/744696)
Jun 01, 2017 2:05:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :399/3728 took 103793 ms. Total solver calls (SAT/UNSAT): 753276(1120/752156)
Jun 01, 2017 2:05:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :403/3728 took 104801 ms. Total solver calls (SAT/UNSAT): 760747(1132/759615)
Jun 01, 2017 2:05:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :407/3728 took 105807 ms. Total solver calls (SAT/UNSAT): 768219(1144/767075)
Jun 01, 2017 2:05:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :411/3728 took 106816 ms. Total solver calls (SAT/UNSAT): 775691(1156/774535)
Jun 01, 2017 2:05:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :415/3728 took 107820 ms. Total solver calls (SAT/UNSAT): 783163(1168/781995)
Jun 01, 2017 2:05:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :419/3728 took 108826 ms. Total solver calls (SAT/UNSAT): 790635(1180/789455)
Jun 01, 2017 2:05:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :423/3728 took 109832 ms. Total solver calls (SAT/UNSAT): 798107(1192/796915)
Jun 01, 2017 2:05:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :427/3728 took 110840 ms. Total solver calls (SAT/UNSAT): 805579(1204/804375)
Jun 01, 2017 2:05:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :431/3728 took 111870 ms. Total solver calls (SAT/UNSAT): 813051(1216/811835)
Jun 01, 2017 2:05:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :435/3728 took 112871 ms. Total solver calls (SAT/UNSAT): 820523(1228/819295)
Jun 01, 2017 2:05:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :439/3728 took 113871 ms. Total solver calls (SAT/UNSAT): 827995(1240/826755)
Jun 01, 2017 2:05:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :443/3728 took 114871 ms. Total solver calls (SAT/UNSAT): 835467(1252/834215)
Jun 01, 2017 2:05:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/3728 took 115873 ms. Total solver calls (SAT/UNSAT): 842939(1264/841675)
Jun 01, 2017 2:05:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :451/3728 took 116873 ms. Total solver calls (SAT/UNSAT): 850411(1276/849135)
Jun 01, 2017 2:05:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :455/3728 took 117936 ms. Total solver calls (SAT/UNSAT): 857883(1288/856595)
Jun 01, 2017 2:05:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :459/3728 took 119051 ms. Total solver calls (SAT/UNSAT): 865355(1300/864055)
Jun 01, 2017 2:05:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :463/3728 took 120212 ms. Total solver calls (SAT/UNSAT): 872827(1312/871515)
Jun 01, 2017 2:05:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :467/3728 took 121423 ms. Total solver calls (SAT/UNSAT): 880299(1324/878975)
Jun 01, 2017 2:05:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/3728 took 122549 ms. Total solver calls (SAT/UNSAT): 887771(1336/886435)
Jun 01, 2017 2:05:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :475/3728 took 123612 ms. Total solver calls (SAT/UNSAT): 895243(1348/893895)
Jun 01, 2017 2:05:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :479/3728 took 124673 ms. Total solver calls (SAT/UNSAT): 902715(1360/901355)
Jun 01, 2017 2:05:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :483/3728 took 125687 ms. Total solver calls (SAT/UNSAT): 910186(1372/908814)
Jun 01, 2017 2:05:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :487/3728 took 126703 ms. Total solver calls (SAT/UNSAT): 917658(1384/916274)
Jun 01, 2017 2:05:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :491/3728 took 127718 ms. Total solver calls (SAT/UNSAT): 925130(1396/923734)
Jun 01, 2017 2:05:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :495/3728 took 128734 ms. Total solver calls (SAT/UNSAT): 932602(1408/931194)
Jun 01, 2017 2:05:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/3728 took 129747 ms. Total solver calls (SAT/UNSAT): 940074(1420/938654)
Jun 01, 2017 2:05:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/3728 took 130762 ms. Total solver calls (SAT/UNSAT): 947546(1432/946114)
Jun 01, 2017 2:05:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/3728 took 131776 ms. Total solver calls (SAT/UNSAT): 955018(1444/953574)
Jun 01, 2017 2:05:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/3728 took 132805 ms. Total solver calls (SAT/UNSAT): 962490(1456/961034)
Jun 01, 2017 2:05:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :515/3728 took 133825 ms. Total solver calls (SAT/UNSAT): 969962(1468/968494)
Jun 01, 2017 2:05:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :519/3728 took 134844 ms. Total solver calls (SAT/UNSAT): 977434(1480/975954)
Jun 01, 2017 2:05:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :523/3728 took 135871 ms. Total solver calls (SAT/UNSAT): 984906(1492/983414)
Jun 01, 2017 2:05:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :527/3728 took 136890 ms. Total solver calls (SAT/UNSAT): 992378(1504/990874)
Jun 01, 2017 2:05:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :531/3728 took 137909 ms. Total solver calls (SAT/UNSAT): 999850(1516/998334)
Jun 01, 2017 2:05:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :535/3728 took 138930 ms. Total solver calls (SAT/UNSAT): 1007322(1528/1005794)
Jun 01, 2017 2:05:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :539/3728 took 139949 ms. Total solver calls (SAT/UNSAT): 1014794(1540/1013254)
Jun 01, 2017 2:05:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :543/3728 took 140971 ms. Total solver calls (SAT/UNSAT): 1022266(1552/1020714)
Jun 01, 2017 2:05:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :547/3728 took 142035 ms. Total solver calls (SAT/UNSAT): 1029738(1564/1028174)
Jun 01, 2017 2:05:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/3728 took 143153 ms. Total solver calls (SAT/UNSAT): 1037210(1576/1035634)
Jun 01, 2017 2:05:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :555/3728 took 144170 ms. Total solver calls (SAT/UNSAT): 1044682(1588/1043094)
Jun 01, 2017 2:05:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/3728 took 145270 ms. Total solver calls (SAT/UNSAT): 1052154(1600/1050554)
Jun 01, 2017 2:05:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :563/3728 took 146369 ms. Total solver calls (SAT/UNSAT): 1059625(1612/1058013)
Jun 01, 2017 2:05:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :567/3728 took 147377 ms. Total solver calls (SAT/UNSAT): 1067097(1624/1065473)
Jun 01, 2017 2:05:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :571/3728 took 148439 ms. Total solver calls (SAT/UNSAT): 1074569(1636/1072933)
Jun 01, 2017 2:05:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :575/3728 took 149537 ms. Total solver calls (SAT/UNSAT): 1082041(1648/1080393)
Jun 01, 2017 2:05:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/3728 took 150596 ms. Total solver calls (SAT/UNSAT): 1089513(1660/1087853)
Jun 01, 2017 2:05:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :583/3728 took 151648 ms. Total solver calls (SAT/UNSAT): 1096985(1672/1095313)
Jun 01, 2017 2:05:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :587/3728 took 152674 ms. Total solver calls (SAT/UNSAT): 1104457(1684/1102773)
Jun 01, 2017 2:05:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/3728 took 153739 ms. Total solver calls (SAT/UNSAT): 1111929(1696/1110233)
Jun 01, 2017 2:05:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :595/3728 took 154824 ms. Total solver calls (SAT/UNSAT): 1119401(1708/1117693)
Jun 01, 2017 2:05:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :599/3728 took 155841 ms. Total solver calls (SAT/UNSAT): 1126873(1720/1125153)
Jun 01, 2017 2:05:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :603/3728 took 156947 ms. Total solver calls (SAT/UNSAT): 1134345(1732/1132613)
Jun 01, 2017 2:05:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :607/3728 took 158015 ms. Total solver calls (SAT/UNSAT): 1141817(1744/1140073)
Jun 01, 2017 2:05:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :611/3728 took 159127 ms. Total solver calls (SAT/UNSAT): 1149289(1756/1147533)
Jun 01, 2017 2:05:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :615/3728 took 160142 ms. Total solver calls (SAT/UNSAT): 1156761(1768/1154993)
Jun 01, 2017 2:06:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :619/3728 took 161156 ms. Total solver calls (SAT/UNSAT): 1164233(1780/1162453)
Jun 01, 2017 2:06:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :623/3728 took 162170 ms. Total solver calls (SAT/UNSAT): 1171705(1792/1169913)
Jun 01, 2017 2:06:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :627/3728 took 163194 ms. Total solver calls (SAT/UNSAT): 1179177(1804/1177373)
Jun 01, 2017 2:06:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :631/3728 took 164214 ms. Total solver calls (SAT/UNSAT): 1186649(1816/1184833)
Jun 01, 2017 2:06:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :635/3728 took 165290 ms. Total solver calls (SAT/UNSAT): 1194121(1828/1192293)
Jun 01, 2017 2:06:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :639/3728 took 166335 ms. Total solver calls (SAT/UNSAT): 1201593(1840/1199753)
Jun 01, 2017 2:06:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :643/3728 took 167471 ms. Total solver calls (SAT/UNSAT): 1209064(1852/1207212)
Jun 01, 2017 2:06:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :647/3728 took 168489 ms. Total solver calls (SAT/UNSAT): 1216536(1864/1214672)
Jun 01, 2017 2:06:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :651/3728 took 169663 ms. Total solver calls (SAT/UNSAT): 1224008(1876/1222132)
Jun 01, 2017 2:06:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :655/3728 took 170754 ms. Total solver calls (SAT/UNSAT): 1231480(1888/1229592)
Jun 01, 2017 2:06:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :659/3728 took 171867 ms. Total solver calls (SAT/UNSAT): 1238952(1900/1237052)
Jun 01, 2017 2:06:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :663/3728 took 173017 ms. Total solver calls (SAT/UNSAT): 1246424(1912/1244512)
Jun 01, 2017 2:06:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :667/3728 took 174118 ms. Total solver calls (SAT/UNSAT): 1253896(1924/1251972)
Jun 01, 2017 2:06:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :671/3728 took 175199 ms. Total solver calls (SAT/UNSAT): 1261368(1936/1259432)
Jun 01, 2017 2:06:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :675/3728 took 176271 ms. Total solver calls (SAT/UNSAT): 1268840(1948/1266892)
Jun 01, 2017 2:06:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :679/3728 took 177300 ms. Total solver calls (SAT/UNSAT): 1276312(1960/1274352)
Jun 01, 2017 2:06:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :683/3728 took 178370 ms. Total solver calls (SAT/UNSAT): 1283784(1972/1281812)
Jun 01, 2017 2:06:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :687/3728 took 179395 ms. Total solver calls (SAT/UNSAT): 1291256(1984/1289272)
Jun 01, 2017 2:06:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :691/3728 took 180420 ms. Total solver calls (SAT/UNSAT): 1298728(1996/1296732)
Jun 01, 2017 2:06:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :695/3728 took 181450 ms. Total solver calls (SAT/UNSAT): 1306200(2008/1304192)
Jun 01, 2017 2:06:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :699/3728 took 182474 ms. Total solver calls (SAT/UNSAT): 1313672(2020/1311652)
Jun 01, 2017 2:06:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :703/3728 took 183497 ms. Total solver calls (SAT/UNSAT): 1321144(2032/1319112)
Jun 01, 2017 2:06:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :707/3728 took 184521 ms. Total solver calls (SAT/UNSAT): 1328616(2044/1326572)
Jun 01, 2017 2:06:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :711/3728 took 185545 ms. Total solver calls (SAT/UNSAT): 1336088(2056/1334032)
Jun 01, 2017 2:06:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :715/3728 took 186569 ms. Total solver calls (SAT/UNSAT): 1343560(2068/1341492)
Jun 01, 2017 2:06:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :719/3728 took 187592 ms. Total solver calls (SAT/UNSAT): 1351032(2080/1348952)
Jun 01, 2017 2:06:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :723/3728 took 188614 ms. Total solver calls (SAT/UNSAT): 1358503(2092/1356411)
Jun 01, 2017 2:06:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :727/3728 took 189648 ms. Total solver calls (SAT/UNSAT): 1365975(2104/1363871)
Jun 01, 2017 2:06:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :731/3728 took 190672 ms. Total solver calls (SAT/UNSAT): 1373447(2116/1371331)
Jun 01, 2017 2:06:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :735/3728 took 191738 ms. Total solver calls (SAT/UNSAT): 1380919(2128/1378791)
Jun 01, 2017 2:06:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :739/3728 took 192768 ms. Total solver calls (SAT/UNSAT): 1388391(2140/1386251)
Jun 01, 2017 2:06:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :743/3728 took 193796 ms. Total solver calls (SAT/UNSAT): 1395863(2152/1393711)
Jun 01, 2017 2:06:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :747/3728 took 194819 ms. Total solver calls (SAT/UNSAT): 1403335(2164/1401171)
Jun 01, 2017 2:06:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :751/3728 took 195842 ms. Total solver calls (SAT/UNSAT): 1410807(2176/1408631)
Jun 01, 2017 2:06:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :755/3728 took 196847 ms. Total solver calls (SAT/UNSAT): 1418279(2188/1416091)
Jun 01, 2017 2:06:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :759/3728 took 197855 ms. Total solver calls (SAT/UNSAT): 1425751(2200/1423551)
Jun 01, 2017 2:06:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :763/3728 took 198860 ms. Total solver calls (SAT/UNSAT): 1433223(2212/1431011)
Jun 01, 2017 2:06:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :767/3728 took 199864 ms. Total solver calls (SAT/UNSAT): 1440695(2224/1438471)
Jun 01, 2017 2:06:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :771/3728 took 200868 ms. Total solver calls (SAT/UNSAT): 1448167(2236/1445931)
Jun 01, 2017 2:06:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :775/3728 took 201873 ms. Total solver calls (SAT/UNSAT): 1455639(2248/1453391)
Jun 01, 2017 2:06:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :779/3728 took 202879 ms. Total solver calls (SAT/UNSAT): 1463111(2260/1460851)
Jun 01, 2017 2:06:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :783/3728 took 203883 ms. Total solver calls (SAT/UNSAT): 1470583(2272/1468311)
Jun 01, 2017 2:06:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :787/3728 took 204888 ms. Total solver calls (SAT/UNSAT): 1478055(2284/1475771)
Jun 01, 2017 2:06:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :791/3728 took 205961 ms. Total solver calls (SAT/UNSAT): 1485527(2296/1483231)
Jun 01, 2017 2:06:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :795/3728 took 206989 ms. Total solver calls (SAT/UNSAT): 1492999(2308/1490691)
Jun 01, 2017 2:06:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :799/3728 took 208020 ms. Total solver calls (SAT/UNSAT): 1500471(2320/1498151)
Jun 01, 2017 2:06:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :803/3728 took 209055 ms. Total solver calls (SAT/UNSAT): 1507942(2332/1505610)
Jun 01, 2017 2:06:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :807/3728 took 210090 ms. Total solver calls (SAT/UNSAT): 1515414(2344/1513070)
Jun 01, 2017 2:06:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :811/3728 took 211124 ms. Total solver calls (SAT/UNSAT): 1522886(2356/1520530)
Jun 01, 2017 2:06:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :815/3728 took 212165 ms. Total solver calls (SAT/UNSAT): 1530358(2368/1527990)
Jun 01, 2017 2:06:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :819/3728 took 213203 ms. Total solver calls (SAT/UNSAT): 1537830(2380/1535450)
Jun 01, 2017 2:06:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :823/3728 took 214234 ms. Total solver calls (SAT/UNSAT): 1545302(2392/1542910)
Jun 01, 2017 2:06:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :827/3728 took 215270 ms. Total solver calls (SAT/UNSAT): 1552774(2404/1550370)
Jun 01, 2017 2:06:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :831/3728 took 216305 ms. Total solver calls (SAT/UNSAT): 1560246(2416/1557830)
Jun 01, 2017 2:06:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :835/3728 took 217339 ms. Total solver calls (SAT/UNSAT): 1567718(2428/1565290)
Jun 01, 2017 2:06:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :839/3728 took 218378 ms. Total solver calls (SAT/UNSAT): 1575190(2440/1572750)
Jun 01, 2017 2:06:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :843/3728 took 219415 ms. Total solver calls (SAT/UNSAT): 1582662(2452/1580210)
Jun 01, 2017 2:06:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :847/3728 took 220458 ms. Total solver calls (SAT/UNSAT): 1590134(2464/1587670)
Jun 01, 2017 2:07:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :851/3728 took 221493 ms. Total solver calls (SAT/UNSAT): 1597606(2476/1595130)
Jun 01, 2017 2:07:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :855/3728 took 222526 ms. Total solver calls (SAT/UNSAT): 1605078(2488/1602590)
Jun 01, 2017 2:07:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :859/3728 took 223561 ms. Total solver calls (SAT/UNSAT): 1612550(2500/1610050)
Jun 01, 2017 2:07:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :863/3728 took 224633 ms. Total solver calls (SAT/UNSAT): 1620022(2512/1617510)
Jun 01, 2017 2:07:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :867/3728 took 225641 ms. Total solver calls (SAT/UNSAT): 1627494(2524/1624970)
Jun 01, 2017 2:07:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :871/3728 took 226717 ms. Total solver calls (SAT/UNSAT): 1634966(2536/1632430)
Jun 01, 2017 2:07:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :875/3728 took 227756 ms. Total solver calls (SAT/UNSAT): 1642438(2548/1639890)
Jun 01, 2017 2:07:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :879/3728 took 228834 ms. Total solver calls (SAT/UNSAT): 1649910(2560/1647350)
Jun 01, 2017 2:07:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :883/3728 took 229870 ms. Total solver calls (SAT/UNSAT): 1657381(2572/1654809)
Jun 01, 2017 2:07:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :887/3728 took 230905 ms. Total solver calls (SAT/UNSAT): 1664853(2584/1662269)
Jun 01, 2017 2:07:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :891/3728 took 231936 ms. Total solver calls (SAT/UNSAT): 1672325(2596/1669729)
Jun 01, 2017 2:07:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :895/3728 took 232969 ms. Total solver calls (SAT/UNSAT): 1679797(2608/1677189)
Jun 01, 2017 2:07:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :899/3728 took 234005 ms. Total solver calls (SAT/UNSAT): 1687269(2620/1684649)
Jun 01, 2017 2:07:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :903/3728 took 235040 ms. Total solver calls (SAT/UNSAT): 1694741(2632/1692109)
Jun 01, 2017 2:07:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :907/3728 took 236072 ms. Total solver calls (SAT/UNSAT): 1702213(2644/1699569)
Jun 01, 2017 2:07:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :911/3728 took 237099 ms. Total solver calls (SAT/UNSAT): 1709685(2656/1707029)
Jun 01, 2017 2:07:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :915/3728 took 238221 ms. Total solver calls (SAT/UNSAT): 1717157(2668/1714489)
Jun 01, 2017 2:07:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :919/3728 took 239290 ms. Total solver calls (SAT/UNSAT): 1724629(2680/1721949)
Jun 01, 2017 2:07:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :923/3728 took 240353 ms. Total solver calls (SAT/UNSAT): 1732101(2692/1729409)
Jun 01, 2017 2:07:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :927/3728 took 241454 ms. Total solver calls (SAT/UNSAT): 1739573(2704/1736869)
Jun 01, 2017 2:07:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :931/3728 took 242517 ms. Total solver calls (SAT/UNSAT): 1747045(2716/1744329)
Jun 01, 2017 2:07:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :935/3728 took 243563 ms. Total solver calls (SAT/UNSAT): 1754517(2728/1751789)
Jun 01, 2017 2:07:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :939/3728 took 244629 ms. Total solver calls (SAT/UNSAT): 1761989(2740/1759249)
Jun 01, 2017 2:07:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :943/3728 took 245776 ms. Total solver calls (SAT/UNSAT): 1769461(2752/1766709)
Jun 01, 2017 2:07:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :947/3728 took 246916 ms. Total solver calls (SAT/UNSAT): 1776933(2764/1774169)
Jun 01, 2017 2:07:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :951/3728 took 247984 ms. Total solver calls (SAT/UNSAT): 1784405(2776/1781629)
Jun 01, 2017 2:07:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :955/3728 took 249046 ms. Total solver calls (SAT/UNSAT): 1791877(2788/1789089)
Jun 01, 2017 2:07:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :959/3728 took 250059 ms. Total solver calls (SAT/UNSAT): 1799349(2800/1796549)
Jun 01, 2017 2:07:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :963/3728 took 251088 ms. Total solver calls (SAT/UNSAT): 1806820(2812/1804008)
Jun 01, 2017 2:07:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :967/3728 took 252120 ms. Total solver calls (SAT/UNSAT): 1814292(2824/1811468)
Jun 01, 2017 2:07:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :971/3728 took 253275 ms. Total solver calls (SAT/UNSAT): 1821764(2836/1818928)
Jun 01, 2017 2:07:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :975/3728 took 254330 ms. Total solver calls (SAT/UNSAT): 1829236(2848/1826388)
Jun 01, 2017 2:07:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :979/3728 took 255345 ms. Total solver calls (SAT/UNSAT): 1836708(2860/1833848)
Jun 01, 2017 2:07:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :983/3728 took 256411 ms. Total solver calls (SAT/UNSAT): 1844180(2872/1841308)
Jun 01, 2017 2:07:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :987/3728 took 257443 ms. Total solver calls (SAT/UNSAT): 1851652(2884/1848768)
Jun 01, 2017 2:07:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :991/3728 took 258470 ms. Total solver calls (SAT/UNSAT): 1859124(2896/1856228)
Jun 01, 2017 2:07:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :995/3728 took 259539 ms. Total solver calls (SAT/UNSAT): 1866596(2908/1863688)
Jun 01, 2017 2:07:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :999/3728 took 260621 ms. Total solver calls (SAT/UNSAT): 1874068(2920/1871148)
Jun 01, 2017 2:07:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1003/3728 took 261702 ms. Total solver calls (SAT/UNSAT): 1881540(2932/1878608)
Jun 01, 2017 2:07:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1007/3728 took 262864 ms. Total solver calls (SAT/UNSAT): 1889012(2944/1886068)
Jun 01, 2017 2:07:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1011/3728 took 263911 ms. Total solver calls (SAT/UNSAT): 1896484(2956/1893528)
Jun 01, 2017 2:07:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1015/3728 took 265034 ms. Total solver calls (SAT/UNSAT): 1903956(2968/1900988)
Jun 01, 2017 2:07:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1019/3728 took 266115 ms. Total solver calls (SAT/UNSAT): 1911428(2980/1908448)
Jun 01, 2017 2:07:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1023/3728 took 267167 ms. Total solver calls (SAT/UNSAT): 1918900(2992/1915908)
Jun 01, 2017 2:07:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1027/3728 took 268251 ms. Total solver calls (SAT/UNSAT): 1926372(3004/1923368)
Jun 01, 2017 2:07:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1031/3728 took 269329 ms. Total solver calls (SAT/UNSAT): 1933844(3016/1930828)
Jun 01, 2017 2:07:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1035/3728 took 270430 ms. Total solver calls (SAT/UNSAT): 1941316(3028/1938288)
Jun 01, 2017 2:07:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1039/3728 took 271508 ms. Total solver calls (SAT/UNSAT): 1948788(3040/1945748)
Jun 01, 2017 2:07:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1043/3728 took 272566 ms. Total solver calls (SAT/UNSAT): 1956259(3052/1953207)
Jun 01, 2017 2:07:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1047/3728 took 273599 ms. Total solver calls (SAT/UNSAT): 1963731(3064/1960667)
Jun 01, 2017 2:07:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1051/3728 took 274624 ms. Total solver calls (SAT/UNSAT): 1971203(3076/1968127)
Jun 01, 2017 2:07:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1055/3728 took 275648 ms. Total solver calls (SAT/UNSAT): 1978675(3088/1975587)
Jun 01, 2017 2:07:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1059/3728 took 276756 ms. Total solver calls (SAT/UNSAT): 1986147(3100/1983047)
Jun 01, 2017 2:07:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1063/3728 took 277786 ms. Total solver calls (SAT/UNSAT): 1993619(3112/1990507)
Jun 01, 2017 2:07:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1067/3728 took 278823 ms. Total solver calls (SAT/UNSAT): 2001091(3124/1997967)
Jun 01, 2017 2:07:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1071/3728 took 279847 ms. Total solver calls (SAT/UNSAT): 2008563(3136/2005427)
Jun 01, 2017 2:07:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1075/3728 took 280865 ms. Total solver calls (SAT/UNSAT): 2016035(3148/2012887)
Jun 01, 2017 2:08:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1079/3728 took 281899 ms. Total solver calls (SAT/UNSAT): 2023507(3160/2020347)
Jun 01, 2017 2:08:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1083/3728 took 283036 ms. Total solver calls (SAT/UNSAT): 2030979(3172/2027807)
Jun 01, 2017 2:08:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1087/3728 took 284080 ms. Total solver calls (SAT/UNSAT): 2038451(3184/2035267)
Jun 01, 2017 2:08:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1091/3728 took 285121 ms. Total solver calls (SAT/UNSAT): 2045923(3196/2042727)
Jun 01, 2017 2:08:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1095/3728 took 286167 ms. Total solver calls (SAT/UNSAT): 2053395(3208/2050187)
Jun 01, 2017 2:08:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1099/3728 took 287212 ms. Total solver calls (SAT/UNSAT): 2060867(3220/2057647)
Jun 01, 2017 2:08:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1103/3728 took 288261 ms. Total solver calls (SAT/UNSAT): 2068339(3232/2065107)
Jun 01, 2017 2:08:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1107/3728 took 289336 ms. Total solver calls (SAT/UNSAT): 2075811(3244/2072567)
Jun 01, 2017 2:08:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1111/3728 took 290488 ms. Total solver calls (SAT/UNSAT): 2083283(3256/2080027)
Jun 01, 2017 2:08:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1115/3728 took 291512 ms. Total solver calls (SAT/UNSAT): 2090755(3268/2087487)
Jun 01, 2017 2:08:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1119/3728 took 292544 ms. Total solver calls (SAT/UNSAT): 2098227(3280/2094947)
Jun 01, 2017 2:08:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1123/3728 took 293567 ms. Total solver calls (SAT/UNSAT): 2105698(3292/2102406)
Jun 01, 2017 2:08:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1127/3728 took 294588 ms. Total solver calls (SAT/UNSAT): 2113170(3304/2109866)
Jun 01, 2017 2:08:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1131/3728 took 295608 ms. Total solver calls (SAT/UNSAT): 2120642(3316/2117326)
Jun 01, 2017 2:08:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1135/3728 took 296646 ms. Total solver calls (SAT/UNSAT): 2128114(3328/2124786)
Jun 01, 2017 2:08:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1139/3728 took 297709 ms. Total solver calls (SAT/UNSAT): 2135586(3340/2132246)
Jun 01, 2017 2:08:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1143/3728 took 298755 ms. Total solver calls (SAT/UNSAT): 2143058(3352/2139706)
Jun 01, 2017 2:08:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1147/3728 took 299809 ms. Total solver calls (SAT/UNSAT): 2150530(3364/2147166)
Jun 01, 2017 2:08:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1151/3728 took 300848 ms. Total solver calls (SAT/UNSAT): 2158002(3376/2154626)
Jun 01, 2017 2:08:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1155/3728 took 301894 ms. Total solver calls (SAT/UNSAT): 2165474(3388/2162086)
Jun 01, 2017 2:08:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1159/3728 took 302963 ms. Total solver calls (SAT/UNSAT): 2172946(3400/2169546)
Jun 01, 2017 2:08:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1163/3728 took 303993 ms. Total solver calls (SAT/UNSAT): 2180418(3412/2177006)
Jun 01, 2017 2:08:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1167/3728 took 305012 ms. Total solver calls (SAT/UNSAT): 2187890(3424/2184466)
Jun 01, 2017 2:08:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1171/3728 took 306031 ms. Total solver calls (SAT/UNSAT): 2195362(3436/2191926)
Jun 01, 2017 2:08:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1175/3728 took 307090 ms. Total solver calls (SAT/UNSAT): 2202834(3448/2199386)
Jun 01, 2017 2:08:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1179/3728 took 308113 ms. Total solver calls (SAT/UNSAT): 2210306(3460/2206846)
Jun 01, 2017 2:08:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1183/3728 took 309131 ms. Total solver calls (SAT/UNSAT): 2217778(3472/2214306)
Jun 01, 2017 2:08:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1187/3728 took 310149 ms. Total solver calls (SAT/UNSAT): 2225250(3484/2221766)
Jun 01, 2017 2:08:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1191/3728 took 311176 ms. Total solver calls (SAT/UNSAT): 2232722(3496/2229226)
Jun 01, 2017 2:08:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1195/3728 took 312195 ms. Total solver calls (SAT/UNSAT): 2240194(3508/2236686)
Jun 01, 2017 2:08:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1199/3728 took 313214 ms. Total solver calls (SAT/UNSAT): 2247666(3520/2244146)
Jun 01, 2017 2:08:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1203/3728 took 314231 ms. Total solver calls (SAT/UNSAT): 2255137(3532/2251605)
Jun 01, 2017 2:08:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1207/3728 took 315259 ms. Total solver calls (SAT/UNSAT): 2262609(3544/2259065)
Jun 01, 2017 2:08:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1211/3728 took 316276 ms. Total solver calls (SAT/UNSAT): 2270081(3556/2266525)
Jun 01, 2017 2:08:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1215/3728 took 317292 ms. Total solver calls (SAT/UNSAT): 2277553(3568/2273985)
Jun 01, 2017 2:08:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1219/3728 took 318315 ms. Total solver calls (SAT/UNSAT): 2285025(3580/2281445)
Jun 01, 2017 2:08:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1223/3728 took 319345 ms. Total solver calls (SAT/UNSAT): 2292497(3592/2288905)
Jun 01, 2017 2:08:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1227/3728 took 320363 ms. Total solver calls (SAT/UNSAT): 2299969(3604/2296365)
Jun 01, 2017 2:08:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1231/3728 took 321409 ms. Total solver calls (SAT/UNSAT): 2307441(3616/2303825)
Jun 01, 2017 2:08:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1235/3728 took 322439 ms. Total solver calls (SAT/UNSAT): 2314913(3628/2311285)
Jun 01, 2017 2:08:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1239/3728 took 323468 ms. Total solver calls (SAT/UNSAT): 2322385(3640/2318745)
Jun 01, 2017 2:08:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1243/3728 took 324496 ms. Total solver calls (SAT/UNSAT): 2329857(3652/2326205)
Jun 01, 2017 2:08:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1247/3728 took 325519 ms. Total solver calls (SAT/UNSAT): 2337329(3664/2333665)
Jun 01, 2017 2:08:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1251/3728 took 326540 ms. Total solver calls (SAT/UNSAT): 2344801(3676/2341125)
Jun 01, 2017 2:08:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1255/3728 took 327565 ms. Total solver calls (SAT/UNSAT): 2352273(3688/2348585)
Jun 01, 2017 2:08:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1259/3728 took 328578 ms. Total solver calls (SAT/UNSAT): 2359745(3700/2356045)
Jun 01, 2017 2:08:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1263/3728 took 329592 ms. Total solver calls (SAT/UNSAT): 2367217(3712/2363505)
Jun 01, 2017 2:08:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1267/3728 took 330619 ms. Total solver calls (SAT/UNSAT): 2374689(3724/2370965)
Jun 01, 2017 2:08:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1271/3728 took 331640 ms. Total solver calls (SAT/UNSAT): 2382161(3736/2378425)
Jun 01, 2017 2:08:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1275/3728 took 332660 ms. Total solver calls (SAT/UNSAT): 2389633(3748/2385885)
Jun 01, 2017 2:08:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1279/3728 took 333685 ms. Total solver calls (SAT/UNSAT): 2397105(3760/2393345)
Jun 01, 2017 2:08:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1283/3728 took 334709 ms. Total solver calls (SAT/UNSAT): 2404576(3772/2400804)
Jun 01, 2017 2:08:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1287/3728 took 335737 ms. Total solver calls (SAT/UNSAT): 2412048(3784/2408264)
Jun 01, 2017 2:08:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1291/3728 took 336762 ms. Total solver calls (SAT/UNSAT): 2419520(3796/2415724)
Jun 01, 2017 2:08:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1295/3728 took 337784 ms. Total solver calls (SAT/UNSAT): 2426992(3808/2423184)
Jun 01, 2017 2:08:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1299/3728 took 338822 ms. Total solver calls (SAT/UNSAT): 2434464(3820/2430644)
Jun 01, 2017 2:08:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1303/3728 took 339888 ms. Total solver calls (SAT/UNSAT): 2441936(3832/2438104)
Jun 01, 2017 2:08:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1307/3728 took 340925 ms. Total solver calls (SAT/UNSAT): 2449408(3844/2445564)
Jun 01, 2017 2:09:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1311/3728 took 341947 ms. Total solver calls (SAT/UNSAT): 2456880(3856/2453024)
Jun 01, 2017 2:09:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1315/3728 took 342970 ms. Total solver calls (SAT/UNSAT): 2464352(3868/2460484)
Jun 01, 2017 2:09:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1319/3728 took 344000 ms. Total solver calls (SAT/UNSAT): 2471824(3880/2467944)
Jun 01, 2017 2:09:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1323/3728 took 345028 ms. Total solver calls (SAT/UNSAT): 2479296(3892/2475404)
Jun 01, 2017 2:09:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1327/3728 took 346061 ms. Total solver calls (SAT/UNSAT): 2486768(3904/2482864)
Jun 01, 2017 2:09:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1331/3728 took 347127 ms. Total solver calls (SAT/UNSAT): 2494240(3916/2490324)
Jun 01, 2017 2:09:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1335/3728 took 348146 ms. Total solver calls (SAT/UNSAT): 2501712(3928/2497784)
Jun 01, 2017 2:09:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1339/3728 took 349159 ms. Total solver calls (SAT/UNSAT): 2509184(3940/2505244)
Jun 01, 2017 2:09:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1343/3728 took 350170 ms. Total solver calls (SAT/UNSAT): 2516656(3952/2512704)
Jun 01, 2017 2:09:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1347/3728 took 351187 ms. Total solver calls (SAT/UNSAT): 2524128(3964/2520164)
Jun 01, 2017 2:09:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1351/3728 took 352198 ms. Total solver calls (SAT/UNSAT): 2531600(3976/2527624)
Jun 01, 2017 2:09:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1355/3728 took 353222 ms. Total solver calls (SAT/UNSAT): 2539072(3988/2535084)
Jun 01, 2017 2:09:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1359/3728 took 354290 ms. Total solver calls (SAT/UNSAT): 2546544(4000/2542544)
Jun 01, 2017 2:09:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1363/3728 took 355318 ms. Total solver calls (SAT/UNSAT): 2554015(4012/2550003)
Jun 01, 2017 2:09:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1367/3728 took 356336 ms. Total solver calls (SAT/UNSAT): 2561487(4024/2557463)
Jun 01, 2017 2:09:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1371/3728 took 357356 ms. Total solver calls (SAT/UNSAT): 2568959(4036/2564923)
Jun 01, 2017 2:09:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1375/3728 took 358370 ms. Total solver calls (SAT/UNSAT): 2576431(4048/2572383)
Jun 01, 2017 2:09:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1379/3728 took 359395 ms. Total solver calls (SAT/UNSAT): 2583903(4060/2579843)
Jun 01, 2017 2:09:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1383/3728 took 360415 ms. Total solver calls (SAT/UNSAT): 2591375(4072/2587303)
Jun 01, 2017 2:09:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1387/3728 took 361445 ms. Total solver calls (SAT/UNSAT): 2598847(4084/2594763)
Jun 01, 2017 2:09:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1391/3728 took 362471 ms. Total solver calls (SAT/UNSAT): 2606319(4096/2602223)
Jun 01, 2017 2:09:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1395/3728 took 363504 ms. Total solver calls (SAT/UNSAT): 2613791(4108/2609683)
Jun 01, 2017 2:09:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1399/3728 took 364519 ms. Total solver calls (SAT/UNSAT): 2621263(4120/2617143)
Jun 01, 2017 2:09:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1403/3728 took 365548 ms. Total solver calls (SAT/UNSAT): 2628735(4132/2624603)
Jun 01, 2017 2:09:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1407/3728 took 366574 ms. Total solver calls (SAT/UNSAT): 2636207(4144/2632063)
Jun 01, 2017 2:09:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1411/3728 took 367609 ms. Total solver calls (SAT/UNSAT): 2643679(4156/2639523)
Jun 01, 2017 2:09:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1415/3728 took 368626 ms. Total solver calls (SAT/UNSAT): 2651151(4168/2646983)
Jun 01, 2017 2:09:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1419/3728 took 369658 ms. Total solver calls (SAT/UNSAT): 2658623(4180/2654443)
Jun 01, 2017 2:09:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1423/3728 took 370690 ms. Total solver calls (SAT/UNSAT): 2666095(4192/2661903)
Jun 01, 2017 2:09:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1427/3728 took 371710 ms. Total solver calls (SAT/UNSAT): 2673567(4204/2669363)
Jun 01, 2017 2:09:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1431/3728 took 372742 ms. Total solver calls (SAT/UNSAT): 2681039(4216/2676823)
Jun 01, 2017 2:09:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1435/3728 took 373769 ms. Total solver calls (SAT/UNSAT): 2688511(4228/2684283)
Jun 01, 2017 2:09:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1439/3728 took 374800 ms. Total solver calls (SAT/UNSAT): 2695983(4240/2691743)
Jun 01, 2017 2:09:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1443/3728 took 375829 ms. Total solver calls (SAT/UNSAT): 2703454(4252/2699202)
Jun 01, 2017 2:09:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1447/3728 took 376859 ms. Total solver calls (SAT/UNSAT): 2710926(4264/2706662)
Jun 01, 2017 2:09:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1451/3728 took 377891 ms. Total solver calls (SAT/UNSAT): 2718398(4276/2714122)
Jun 01, 2017 2:09:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1455/3728 took 378924 ms. Total solver calls (SAT/UNSAT): 2725870(4288/2721582)
Jun 01, 2017 2:09:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1459/3728 took 379941 ms. Total solver calls (SAT/UNSAT): 2733342(4300/2729042)
Jun 01, 2017 2:09:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1463/3728 took 380966 ms. Total solver calls (SAT/UNSAT): 2740814(4312/2736502)
Jun 01, 2017 2:09:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1467/3728 took 381993 ms. Total solver calls (SAT/UNSAT): 2748286(4324/2743962)
Jun 01, 2017 2:09:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1471/3728 took 383006 ms. Total solver calls (SAT/UNSAT): 2755758(4336/2751422)
Jun 01, 2017 2:09:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1475/3728 took 384030 ms. Total solver calls (SAT/UNSAT): 2763230(4348/2758882)
Jun 01, 2017 2:09:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1479/3728 took 385058 ms. Total solver calls (SAT/UNSAT): 2770702(4360/2766342)
Jun 01, 2017 2:09:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1483/3728 took 386084 ms. Total solver calls (SAT/UNSAT): 2778174(4372/2773802)
Jun 01, 2017 2:09:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1487/3728 took 387113 ms. Total solver calls (SAT/UNSAT): 2785646(4384/2781262)
Jun 01, 2017 2:09:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1491/3728 took 388138 ms. Total solver calls (SAT/UNSAT): 2793118(4396/2788722)
Jun 01, 2017 2:09:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1495/3728 took 389157 ms. Total solver calls (SAT/UNSAT): 2800590(4408/2796182)
Jun 01, 2017 2:09:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1499/3728 took 390187 ms. Total solver calls (SAT/UNSAT): 2808062(4420/2803642)
Jun 01, 2017 2:09:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1503/3728 took 391215 ms. Total solver calls (SAT/UNSAT): 2815534(4432/2811102)
Jun 01, 2017 2:09:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1507/3728 took 392236 ms. Total solver calls (SAT/UNSAT): 2823006(4444/2818562)
Jun 01, 2017 2:09:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1511/3728 took 393260 ms. Total solver calls (SAT/UNSAT): 2830478(4456/2826022)
Jun 01, 2017 2:09:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1515/3728 took 394287 ms. Total solver calls (SAT/UNSAT): 2837950(4468/2833482)
Jun 01, 2017 2:09:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1519/3728 took 395310 ms. Total solver calls (SAT/UNSAT): 2845422(4480/2840942)
Jun 01, 2017 2:09:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1523/3728 took 396335 ms. Total solver calls (SAT/UNSAT): 2852893(4492/2848401)
Jun 01, 2017 2:09:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1527/3728 took 397363 ms. Total solver calls (SAT/UNSAT): 2860365(4504/2855861)
Jun 01, 2017 2:09:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1531/3728 took 398394 ms. Total solver calls (SAT/UNSAT): 2867837(4516/2863321)
Jun 01, 2017 2:09:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1535/3728 took 399423 ms. Total solver calls (SAT/UNSAT): 2875309(4528/2870781)
Jun 01, 2017 2:09:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1539/3728 took 400453 ms. Total solver calls (SAT/UNSAT): 2882781(4540/2878241)
Jun 01, 2017 2:10:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1543/3728 took 401494 ms. Total solver calls (SAT/UNSAT): 2890253(4552/2885701)
Jun 01, 2017 2:10:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1547/3728 took 402532 ms. Total solver calls (SAT/UNSAT): 2897725(4564/2893161)
Jun 01, 2017 2:10:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1551/3728 took 403561 ms. Total solver calls (SAT/UNSAT): 2905197(4576/2900621)
Jun 01, 2017 2:10:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1555/3728 took 404589 ms. Total solver calls (SAT/UNSAT): 2912669(4588/2908081)
Jun 01, 2017 2:10:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1559/3728 took 405621 ms. Total solver calls (SAT/UNSAT): 2920141(4600/2915541)
Jun 01, 2017 2:10:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1563/3728 took 406654 ms. Total solver calls (SAT/UNSAT): 2927613(4612/2923001)
Jun 01, 2017 2:10:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1567/3728 took 407680 ms. Total solver calls (SAT/UNSAT): 2935085(4624/2930461)
Jun 01, 2017 2:10:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1571/3728 took 408710 ms. Total solver calls (SAT/UNSAT): 2942557(4636/2937921)
Jun 01, 2017 2:10:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1575/3728 took 409743 ms. Total solver calls (SAT/UNSAT): 2950029(4648/2945381)
Jun 01, 2017 2:10:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1579/3728 took 410774 ms. Total solver calls (SAT/UNSAT): 2957501(4660/2952841)
Jun 01, 2017 2:10:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1583/3728 took 411805 ms. Total solver calls (SAT/UNSAT): 2964973(4672/2960301)
Jun 01, 2017 2:10:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1587/3728 took 412837 ms. Total solver calls (SAT/UNSAT): 2972445(4684/2967761)
Jun 01, 2017 2:10:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1591/3728 took 413870 ms. Total solver calls (SAT/UNSAT): 2979917(4696/2975221)
Jun 01, 2017 2:10:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1595/3728 took 414902 ms. Total solver calls (SAT/UNSAT): 2987389(4708/2982681)
Jun 01, 2017 2:10:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1599/3728 took 415979 ms. Total solver calls (SAT/UNSAT): 2994861(4720/2990141)
Jun 01, 2017 2:10:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1603/3728 took 417027 ms. Total solver calls (SAT/UNSAT): 3002332(4732/2997600)
Jun 01, 2017 2:10:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1607/3728 took 418087 ms. Total solver calls (SAT/UNSAT): 3009804(4744/3005060)
Jun 01, 2017 2:10:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1611/3728 took 419152 ms. Total solver calls (SAT/UNSAT): 3017276(4756/3012520)
Jun 01, 2017 2:10:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1615/3728 took 420197 ms. Total solver calls (SAT/UNSAT): 3024748(4768/3019980)
Jun 01, 2017 2:10:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1619/3728 took 421237 ms. Total solver calls (SAT/UNSAT): 3032220(4780/3027440)
Jun 01, 2017 2:10:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1623/3728 took 422280 ms. Total solver calls (SAT/UNSAT): 3039692(4792/3034900)
Jun 01, 2017 2:10:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1627/3728 took 423318 ms. Total solver calls (SAT/UNSAT): 3047164(4804/3042360)
Jun 01, 2017 2:10:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1631/3728 took 424361 ms. Total solver calls (SAT/UNSAT): 3054636(4816/3049820)
Jun 01, 2017 2:10:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1635/3728 took 425401 ms. Total solver calls (SAT/UNSAT): 3062108(4828/3057280)
Jun 01, 2017 2:10:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1639/3728 took 426440 ms. Total solver calls (SAT/UNSAT): 3069580(4840/3064740)
Jun 01, 2017 2:10:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1643/3728 took 427481 ms. Total solver calls (SAT/UNSAT): 3077052(4852/3072200)
Jun 01, 2017 2:10:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1647/3728 took 428522 ms. Total solver calls (SAT/UNSAT): 3084524(4864/3079660)
Jun 01, 2017 2:10:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1651/3728 took 429562 ms. Total solver calls (SAT/UNSAT): 3091996(4876/3087120)
Jun 01, 2017 2:10:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1655/3728 took 430604 ms. Total solver calls (SAT/UNSAT): 3099468(4888/3094580)
Jun 01, 2017 2:10:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1659/3728 took 431645 ms. Total solver calls (SAT/UNSAT): 3106940(4900/3102040)
Jun 01, 2017 2:10:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1663/3728 took 432686 ms. Total solver calls (SAT/UNSAT): 3114412(4912/3109500)
Jun 01, 2017 2:10:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1667/3728 took 433727 ms. Total solver calls (SAT/UNSAT): 3121884(4924/3116960)
Jun 01, 2017 2:10:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1671/3728 took 434769 ms. Total solver calls (SAT/UNSAT): 3129356(4936/3124420)
Jun 01, 2017 2:10:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1675/3728 took 435812 ms. Total solver calls (SAT/UNSAT): 3136828(4948/3131880)
Jun 01, 2017 2:10:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1679/3728 took 436854 ms. Total solver calls (SAT/UNSAT): 3144300(4960/3139340)
Jun 01, 2017 2:10:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1682/3728 took 438263 ms. Total solver calls (SAT/UNSAT): 3154466(4969/3149497)
Jun 01, 2017 2:10:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1685/3728 took 439672 ms. Total solver calls (SAT/UNSAT): 3164633(4978/3159655)
Jun 01, 2017 2:10:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1688/3728 took 441084 ms. Total solver calls (SAT/UNSAT): 3174800(4987/3169813)
Jun 01, 2017 2:10:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1691/3728 took 442493 ms. Total solver calls (SAT/UNSAT): 3184967(4996/3179971)
Jun 01, 2017 2:10:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1694/3728 took 443904 ms. Total solver calls (SAT/UNSAT): 3195134(5005/3190129)
Jun 01, 2017 2:10:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1697/3728 took 445332 ms. Total solver calls (SAT/UNSAT): 3205301(5014/3200287)
Jun 01, 2017 2:10:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1700/3728 took 446757 ms. Total solver calls (SAT/UNSAT): 3215468(5023/3210445)
Jun 01, 2017 2:10:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1703/3728 took 448180 ms. Total solver calls (SAT/UNSAT): 3225635(5032/3220603)
Jun 01, 2017 2:10:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1706/3728 took 449603 ms. Total solver calls (SAT/UNSAT): 3235802(5041/3230761)
Jun 01, 2017 2:10:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1709/3728 took 451030 ms. Total solver calls (SAT/UNSAT): 3245969(5050/3240919)
Jun 01, 2017 2:10:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1712/3728 took 452445 ms. Total solver calls (SAT/UNSAT): 3256136(5059/3251077)
Jun 01, 2017 2:10:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1715/3728 took 453868 ms. Total solver calls (SAT/UNSAT): 3266303(5068/3261235)
Jun 01, 2017 2:10:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1718/3728 took 455292 ms. Total solver calls (SAT/UNSAT): 3276470(5077/3271393)
Jun 01, 2017 2:10:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1721/3728 took 456717 ms. Total solver calls (SAT/UNSAT): 3286637(5086/3281551)
Jun 01, 2017 2:10:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1724/3728 took 458144 ms. Total solver calls (SAT/UNSAT): 3296804(5095/3291709)
Jun 01, 2017 2:10:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1727/3728 took 459563 ms. Total solver calls (SAT/UNSAT): 3306971(5104/3301867)
Jun 01, 2017 2:11:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1730/3728 took 460983 ms. Total solver calls (SAT/UNSAT): 3317138(5113/3312025)
Jun 01, 2017 2:11:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1733/3728 took 462405 ms. Total solver calls (SAT/UNSAT): 3327305(5122/3322183)
Jun 01, 2017 2:11:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1736/3728 took 463823 ms. Total solver calls (SAT/UNSAT): 3337472(5131/3332341)
Jun 01, 2017 2:11:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1739/3728 took 465243 ms. Total solver calls (SAT/UNSAT): 3347639(5140/3342499)
Jun 01, 2017 2:11:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1742/3728 took 466658 ms. Total solver calls (SAT/UNSAT): 3357806(5149/3352657)
Jun 01, 2017 2:11:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1745/3728 took 468036 ms. Total solver calls (SAT/UNSAT): 3367973(5158/3362815)
Jun 01, 2017 2:11:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1748/3728 took 469416 ms. Total solver calls (SAT/UNSAT): 3378140(5167/3372973)
Jun 01, 2017 2:11:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1751/3728 took 470805 ms. Total solver calls (SAT/UNSAT): 3388307(5176/3383131)
Jun 01, 2017 2:11:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1754/3728 took 472185 ms. Total solver calls (SAT/UNSAT): 3398474(5185/3393289)
Jun 01, 2017 2:11:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1757/3728 took 473564 ms. Total solver calls (SAT/UNSAT): 3408641(5194/3403447)
Jun 01, 2017 2:11:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1760/3728 took 474735 ms. Total solver calls (SAT/UNSAT): 3417287(5203/3412084)
Jun 01, 2017 2:11:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1764/3728 took 475752 ms. Total solver calls (SAT/UNSAT): 3424755(5215/3419540)
Jun 01, 2017 2:11:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1768/3728 took 476775 ms. Total solver calls (SAT/UNSAT): 3432223(5227/3426996)
Jun 01, 2017 2:11:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1772/3728 took 477797 ms. Total solver calls (SAT/UNSAT): 3439691(5239/3434452)
Jun 01, 2017 2:11:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1776/3728 took 478826 ms. Total solver calls (SAT/UNSAT): 3447159(5251/3441908)
Jun 01, 2017 2:11:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1780/3728 took 480047 ms. Total solver calls (SAT/UNSAT): 3456148(5263/3450885)
Jun 01, 2017 2:11:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1784/3728 took 481055 ms. Total solver calls (SAT/UNSAT): 3463621(5275/3458346)
Jun 01, 2017 2:11:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1788/3728 took 482124 ms. Total solver calls (SAT/UNSAT): 3471093(5287/3465806)
Jun 01, 2017 2:11:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1792/3728 took 483151 ms. Total solver calls (SAT/UNSAT): 3478565(5299/3473266)
Jun 01, 2017 2:11:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1796/3728 took 484177 ms. Total solver calls (SAT/UNSAT): 3486037(5311/3480726)
Jun 01, 2017 2:11:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1800/3728 took 485202 ms. Total solver calls (SAT/UNSAT): 3493509(5323/3488186)
Jun 01, 2017 2:11:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1804/3728 took 486437 ms. Total solver calls (SAT/UNSAT): 3502503(5335/3497168)
Jun 01, 2017 2:11:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1808/3728 took 487459 ms. Total solver calls (SAT/UNSAT): 3509975(5347/3504628)
Jun 01, 2017 2:11:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1812/3728 took 488484 ms. Total solver calls (SAT/UNSAT): 3517447(5359/3512088)
Jun 01, 2017 2:11:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1816/3728 took 489509 ms. Total solver calls (SAT/UNSAT): 3524919(5371/3519548)
Jun 01, 2017 2:11:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1820/3728 took 490532 ms. Total solver calls (SAT/UNSAT): 3532391(5383/3527008)
Jun 01, 2017 2:11:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1824/3728 took 491768 ms. Total solver calls (SAT/UNSAT): 3541385(5395/3535990)
Jun 01, 2017 2:11:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1828/3728 took 492792 ms. Total solver calls (SAT/UNSAT): 3548857(5407/3543450)
Jun 01, 2017 2:11:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1832/3728 took 493818 ms. Total solver calls (SAT/UNSAT): 3556329(5419/3550910)
Jun 01, 2017 2:11:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1836/3728 took 494843 ms. Total solver calls (SAT/UNSAT): 3563801(5431/3558370)
Jun 01, 2017 2:11:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1840/3728 took 495875 ms. Total solver calls (SAT/UNSAT): 3571273(5443/3565830)
Jun 01, 2017 2:11:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1844/3728 took 497108 ms. Total solver calls (SAT/UNSAT): 3580267(5455/3574812)
Jun 01, 2017 2:11:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1848/3728 took 498134 ms. Total solver calls (SAT/UNSAT): 3587739(5467/3582272)
Jun 01, 2017 2:11:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1852/3728 took 499159 ms. Total solver calls (SAT/UNSAT): 3595211(5479/3589732)
Jun 01, 2017 2:11:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1856/3728 took 500184 ms. Total solver calls (SAT/UNSAT): 3602683(5491/3597192)
Jun 01, 2017 2:11:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1860/3728 took 501209 ms. Total solver calls (SAT/UNSAT): 3610155(5503/3604652)
Jun 01, 2017 2:11:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1864/3728 took 502443 ms. Total solver calls (SAT/UNSAT): 3619148(5515/3613633)
Jun 01, 2017 2:11:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1868/3728 took 503473 ms. Total solver calls (SAT/UNSAT): 3626621(5527/3621094)
Jun 01, 2017 2:11:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1872/3728 took 504508 ms. Total solver calls (SAT/UNSAT): 3634093(5539/3628554)
Jun 01, 2017 2:11:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1876/3728 took 505547 ms. Total solver calls (SAT/UNSAT): 3641565(5551/3636014)
Jun 01, 2017 2:11:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1880/3728 took 506584 ms. Total solver calls (SAT/UNSAT): 3649037(5563/3643474)
Jun 01, 2017 2:11:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1884/3728 took 507619 ms. Total solver calls (SAT/UNSAT): 3656509(5575/3650934)
Jun 01, 2017 2:11:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1888/3728 took 508867 ms. Total solver calls (SAT/UNSAT): 3665503(5587/3659916)
Jun 01, 2017 2:11:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1892/3728 took 509904 ms. Total solver calls (SAT/UNSAT): 3672975(5599/3667376)
Jun 01, 2017 2:11:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1896/3728 took 510945 ms. Total solver calls (SAT/UNSAT): 3680447(5611/3674836)
Jun 01, 2017 2:11:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1900/3728 took 511977 ms. Total solver calls (SAT/UNSAT): 3687919(5623/3682296)
Jun 01, 2017 2:11:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1904/3728 took 513047 ms. Total solver calls (SAT/UNSAT): 3695391(5635/3689756)
Jun 01, 2017 2:11:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1907/3728 took 514061 ms. Total solver calls (SAT/UNSAT): 3702517(5644/3696873)
Jun 01, 2017 2:11:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1911/3728 took 515084 ms. Total solver calls (SAT/UNSAT): 3709989(5656/3704333)
Jun 01, 2017 2:11:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1915/3728 took 516091 ms. Total solver calls (SAT/UNSAT): 3717461(5668/3711793)
Jun 01, 2017 2:11:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1919/3728 took 517100 ms. Total solver calls (SAT/UNSAT): 3724933(5680/3719253)
Jun 01, 2017 2:11:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1923/3728 took 518108 ms. Total solver calls (SAT/UNSAT): 3732405(5692/3726713)
Jun 01, 2017 2:11:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1927/3728 took 519321 ms. Total solver calls (SAT/UNSAT): 3741398(5704/3735694)
Jun 01, 2017 2:11:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1931/3728 took 520330 ms. Total solver calls (SAT/UNSAT): 3748871(5716/3743155)
Jun 01, 2017 2:12:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1935/3728 took 521341 ms. Total solver calls (SAT/UNSAT): 3756343(5728/3750615)
Jun 01, 2017 2:12:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1939/3728 took 522349 ms. Total solver calls (SAT/UNSAT): 3763815(5740/3758075)
Jun 01, 2017 2:12:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1943/3728 took 523358 ms. Total solver calls (SAT/UNSAT): 3771287(5752/3765535)
Jun 01, 2017 2:12:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1947/3728 took 524365 ms. Total solver calls (SAT/UNSAT): 3778759(5764/3772995)
Jun 01, 2017 2:12:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1951/3728 took 525584 ms. Total solver calls (SAT/UNSAT): 3787753(5776/3781977)
Jun 01, 2017 2:12:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1955/3728 took 526601 ms. Total solver calls (SAT/UNSAT): 3795225(5788/3789437)
Jun 01, 2017 2:12:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1959/3728 took 527614 ms. Total solver calls (SAT/UNSAT): 3802697(5800/3796897)
Jun 01, 2017 2:12:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1963/3728 took 528628 ms. Total solver calls (SAT/UNSAT): 3810169(5812/3804357)
Jun 01, 2017 2:12:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1967/3728 took 529645 ms. Total solver calls (SAT/UNSAT): 3817641(5824/3811817)
Jun 01, 2017 2:12:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1971/3728 took 530869 ms. Total solver calls (SAT/UNSAT): 3826635(5836/3820799)
Jun 01, 2017 2:12:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1975/3728 took 531881 ms. Total solver calls (SAT/UNSAT): 3834107(5848/3828259)
Jun 01, 2017 2:12:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1979/3728 took 532898 ms. Total solver calls (SAT/UNSAT): 3841579(5860/3835719)
Jun 01, 2017 2:12:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1983/3728 took 533959 ms. Total solver calls (SAT/UNSAT): 3849051(5872/3843179)
Jun 01, 2017 2:12:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1987/3728 took 534974 ms. Total solver calls (SAT/UNSAT): 3856523(5884/3850639)
Jun 01, 2017 2:12:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1991/3728 took 536191 ms. Total solver calls (SAT/UNSAT): 3865517(5896/3859621)
Jun 01, 2017 2:12:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1995/3728 took 537209 ms. Total solver calls (SAT/UNSAT): 3872989(5908/3867081)
Jun 01, 2017 2:12:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1999/3728 took 538226 ms. Total solver calls (SAT/UNSAT): 3880461(5920/3874541)
Jun 01, 2017 2:12:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2003/3728 took 539243 ms. Total solver calls (SAT/UNSAT): 3887933(5932/3882001)
Jun 01, 2017 2:12:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2007/3728 took 540256 ms. Total solver calls (SAT/UNSAT): 3895405(5944/3889461)
Jun 01, 2017 2:12:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2011/3728 took 541479 ms. Total solver calls (SAT/UNSAT): 3904398(5956/3898442)
Jun 01, 2017 2:12:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2015/3728 took 542627 ms. Total solver calls (SAT/UNSAT): 3911871(5968/3905903)
Jun 01, 2017 2:12:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2019/3728 took 543639 ms. Total solver calls (SAT/UNSAT): 3919343(5980/3913363)
Jun 01, 2017 2:12:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2023/3728 took 544651 ms. Total solver calls (SAT/UNSAT): 3926815(5992/3920823)
Jun 01, 2017 2:12:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2027/3728 took 545666 ms. Total solver calls (SAT/UNSAT): 3934287(6004/3928283)
Jun 01, 2017 2:12:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2031/3728 took 546681 ms. Total solver calls (SAT/UNSAT): 3941759(6016/3935743)
Jun 01, 2017 2:12:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2035/3728 took 547901 ms. Total solver calls (SAT/UNSAT): 3950753(6028/3944725)
Jun 01, 2017 2:12:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2039/3728 took 548917 ms. Total solver calls (SAT/UNSAT): 3958225(6040/3952185)
Jun 01, 2017 2:12:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2043/3728 took 549934 ms. Total solver calls (SAT/UNSAT): 3965697(6052/3959645)
Jun 01, 2017 2:12:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2047/3728 took 550945 ms. Total solver calls (SAT/UNSAT): 3973169(6064/3967105)
Jun 01, 2017 2:12:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2051/3728 took 551947 ms. Total solver calls (SAT/UNSAT): 3980641(6076/3974565)
Jun 01, 2017 2:12:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2055/3728 took 553176 ms. Total solver calls (SAT/UNSAT): 3989635(6088/3983547)
Jun 01, 2017 2:12:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2059/3728 took 554187 ms. Total solver calls (SAT/UNSAT): 3997107(6100/3991007)
Jun 01, 2017 2:12:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2063/3728 took 555202 ms. Total solver calls (SAT/UNSAT): 4004579(6112/3998467)
Jun 01, 2017 2:12:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2067/3728 took 556216 ms. Total solver calls (SAT/UNSAT): 4012051(6124/4005927)
Jun 01, 2017 2:12:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2071/3728 took 557231 ms. Total solver calls (SAT/UNSAT): 4019523(6136/4013387)
Jun 01, 2017 2:12:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2075/3728 took 558450 ms. Total solver calls (SAT/UNSAT): 4028517(6148/4022369)
Jun 01, 2017 2:12:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2079/3728 took 559468 ms. Total solver calls (SAT/UNSAT): 4035989(6160/4029829)
Jun 01, 2017 2:12:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2083/3728 took 560479 ms. Total solver calls (SAT/UNSAT): 4043461(6172/4037289)
Jun 01, 2017 2:12:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2087/3728 took 561495 ms. Total solver calls (SAT/UNSAT): 4050933(6184/4044749)
Jun 01, 2017 2:12:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2091/3728 took 562509 ms. Total solver calls (SAT/UNSAT): 4058405(6196/4052209)
Jun 01, 2017 2:12:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2095/3728 took 563729 ms. Total solver calls (SAT/UNSAT): 4067398(6208/4061190)
Jun 01, 2017 2:12:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2099/3728 took 564736 ms. Total solver calls (SAT/UNSAT): 4074871(6220/4068651)
Jun 01, 2017 2:12:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2103/3728 took 565747 ms. Total solver calls (SAT/UNSAT): 4082343(6232/4076111)
Jun 01, 2017 2:12:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2107/3728 took 566761 ms. Total solver calls (SAT/UNSAT): 4089815(6244/4083571)
Jun 01, 2017 2:12:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2111/3728 took 567773 ms. Total solver calls (SAT/UNSAT): 4097287(6256/4091031)
Jun 01, 2017 2:12:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2115/3728 took 568792 ms. Total solver calls (SAT/UNSAT): 4104759(6268/4098491)
Jun 01, 2017 2:12:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2119/3728 took 570009 ms. Total solver calls (SAT/UNSAT): 4113753(6280/4107473)
Jun 01, 2017 2:12:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2123/3728 took 571024 ms. Total solver calls (SAT/UNSAT): 4121225(6292/4114933)
Jun 01, 2017 2:12:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2127/3728 took 572038 ms. Total solver calls (SAT/UNSAT): 4128697(6304/4122393)
Jun 01, 2017 2:12:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2131/3728 took 573137 ms. Total solver calls (SAT/UNSAT): 4136169(6316/4129853)
Jun 01, 2017 2:12:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2135/3728 took 574271 ms. Total solver calls (SAT/UNSAT): 4143641(6328/4137313)
Jun 01, 2017 2:12:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2138/3728 took 575354 ms. Total solver calls (SAT/UNSAT): 4150767(6337/4144430)
Jun 01, 2017 2:12:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2142/3728 took 576486 ms. Total solver calls (SAT/UNSAT): 4158239(6349/4151890)
Jun 01, 2017 2:12:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2146/3728 took 577620 ms. Total solver calls (SAT/UNSAT): 4165711(6361/4159350)
Jun 01, 2017 2:12:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2150/3728 took 578695 ms. Total solver calls (SAT/UNSAT): 4173183(6373/4166810)
Jun 01, 2017 2:12:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2154/3728 took 579707 ms. Total solver calls (SAT/UNSAT): 4180655(6385/4174270)
Jun 01, 2017 2:12:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2158/3728 took 580919 ms. Total solver calls (SAT/UNSAT): 4189648(6397/4183251)
Jun 01, 2017 2:13:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2162/3728 took 581927 ms. Total solver calls (SAT/UNSAT): 4197121(6409/4190712)
Jun 01, 2017 2:13:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2166/3728 took 582936 ms. Total solver calls (SAT/UNSAT): 4204593(6421/4198172)
Jun 01, 2017 2:13:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2170/3728 took 583947 ms. Total solver calls (SAT/UNSAT): 4212065(6433/4205632)
Jun 01, 2017 2:13:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2174/3728 took 584963 ms. Total solver calls (SAT/UNSAT): 4219537(6445/4213092)
Jun 01, 2017 2:13:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2178/3728 took 585981 ms. Total solver calls (SAT/UNSAT): 4227009(6457/4220552)
Jun 01, 2017 2:13:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2182/3728 took 587205 ms. Total solver calls (SAT/UNSAT): 4236003(6469/4229534)
Jun 01, 2017 2:13:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2186/3728 took 588257 ms. Total solver calls (SAT/UNSAT): 4243475(6481/4236994)
Jun 01, 2017 2:13:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2190/3728 took 589271 ms. Total solver calls (SAT/UNSAT): 4250947(6493/4244454)
Jun 01, 2017 2:13:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2194/3728 took 590288 ms. Total solver calls (SAT/UNSAT): 4258419(6505/4251914)
Jun 01, 2017 2:13:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2198/3728 took 591298 ms. Total solver calls (SAT/UNSAT): 4265891(6517/4259374)
Jun 01, 2017 2:13:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2202/3728 took 592561 ms. Total solver calls (SAT/UNSAT): 4274885(6529/4268356)
Jun 01, 2017 2:13:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2206/3728 took 593583 ms. Total solver calls (SAT/UNSAT): 4282357(6541/4275816)
Jun 01, 2017 2:13:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2210/3728 took 594600 ms. Total solver calls (SAT/UNSAT): 4289829(6553/4283276)
Jun 01, 2017 2:13:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2214/3728 took 595614 ms. Total solver calls (SAT/UNSAT): 4297301(6565/4290736)
Jun 01, 2017 2:13:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2218/3728 took 596630 ms. Total solver calls (SAT/UNSAT): 4304773(6577/4298196)
Jun 01, 2017 2:13:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2222/3728 took 597855 ms. Total solver calls (SAT/UNSAT): 4313767(6589/4307178)
Jun 01, 2017 2:13:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2226/3728 took 598876 ms. Total solver calls (SAT/UNSAT): 4321239(6601/4314638)
Jun 01, 2017 2:13:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2230/3728 took 599895 ms. Total solver calls (SAT/UNSAT): 4328711(6613/4322098)
Jun 01, 2017 2:13:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2234/3728 took 600912 ms. Total solver calls (SAT/UNSAT): 4336183(6625/4329558)
Jun 01, 2017 2:13:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2238/3728 took 601933 ms. Total solver calls (SAT/UNSAT): 4343655(6637/4337018)
Jun 01, 2017 2:13:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2242/3728 took 603161 ms. Total solver calls (SAT/UNSAT): 4352648(6649/4345999)
Jun 01, 2017 2:13:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2246/3728 took 604169 ms. Total solver calls (SAT/UNSAT): 4360121(6661/4353460)
Jun 01, 2017 2:13:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2250/3728 took 605186 ms. Total solver calls (SAT/UNSAT): 4367593(6673/4360920)
Jun 01, 2017 2:13:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2254/3728 took 606210 ms. Total solver calls (SAT/UNSAT): 4375065(6685/4368380)
Jun 01, 2017 2:13:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2258/3728 took 607224 ms. Total solver calls (SAT/UNSAT): 4382537(6697/4375840)
Jun 01, 2017 2:13:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2262/3728 took 608239 ms. Total solver calls (SAT/UNSAT): 4390009(6709/4383300)
Jun 01, 2017 2:13:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2266/3728 took 609460 ms. Total solver calls (SAT/UNSAT): 4399003(6721/4392282)
Jun 01, 2017 2:13:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2270/3728 took 610490 ms. Total solver calls (SAT/UNSAT): 4406475(6733/4399742)
Jun 01, 2017 2:13:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2274/3728 took 611522 ms. Total solver calls (SAT/UNSAT): 4413947(6745/4407202)
Jun 01, 2017 2:13:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2278/3728 took 612538 ms. Total solver calls (SAT/UNSAT): 4421419(6757/4414662)
Jun 01, 2017 2:13:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2282/3728 took 613558 ms. Total solver calls (SAT/UNSAT): 4428891(6769/4422122)
Jun 01, 2017 2:13:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2286/3728 took 614796 ms. Total solver calls (SAT/UNSAT): 4437885(6781/4431104)
Jun 01, 2017 2:13:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2290/3728 took 615804 ms. Total solver calls (SAT/UNSAT): 4445357(6793/4438564)
Jun 01, 2017 2:13:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2294/3728 took 616816 ms. Total solver calls (SAT/UNSAT): 4452829(6805/4446024)
Jun 01, 2017 2:13:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2298/3728 took 617832 ms. Total solver calls (SAT/UNSAT): 4460301(6817/4453484)
Jun 01, 2017 2:13:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2302/3728 took 618850 ms. Total solver calls (SAT/UNSAT): 4467773(6829/4460944)
Jun 01, 2017 2:13:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2306/3728 took 620059 ms. Total solver calls (SAT/UNSAT): 4476767(6841/4469926)
Jun 01, 2017 2:13:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2310/3728 took 621077 ms. Total solver calls (SAT/UNSAT): 4484239(6853/4477386)
Jun 01, 2017 2:13:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2314/3728 took 622096 ms. Total solver calls (SAT/UNSAT): 4491711(6865/4484846)
Jun 01, 2017 2:13:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2318/3728 took 623108 ms. Total solver calls (SAT/UNSAT): 4499183(6877/4492306)
Jun 01, 2017 2:13:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2322/3728 took 624120 ms. Total solver calls (SAT/UNSAT): 4506655(6889/4499766)
Jun 01, 2017 2:13:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2326/3728 took 625340 ms. Total solver calls (SAT/UNSAT): 4515648(6901/4508747)
Jun 01, 2017 2:13:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2330/3728 took 626357 ms. Total solver calls (SAT/UNSAT): 4523121(6913/4516208)
Jun 01, 2017 2:13:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2334/3728 took 627370 ms. Total solver calls (SAT/UNSAT): 4530593(6925/4523668)
Jun 01, 2017 2:13:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2338/3728 took 628387 ms. Total solver calls (SAT/UNSAT): 4538065(6937/4531128)
Jun 01, 2017 2:13:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2342/3728 took 629403 ms. Total solver calls (SAT/UNSAT): 4545537(6949/4538588)
Jun 01, 2017 2:13:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2346/3728 took 630479 ms. Total solver calls (SAT/UNSAT): 4553009(6961/4546048)
Jun 01, 2017 2:13:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2350/3728 took 631714 ms. Total solver calls (SAT/UNSAT): 4562003(6973/4555030)
Jun 01, 2017 2:13:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2354/3728 took 632752 ms. Total solver calls (SAT/UNSAT): 4569475(6985/4562490)
Jun 01, 2017 2:13:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2358/3728 took 633823 ms. Total solver calls (SAT/UNSAT): 4576947(6997/4569950)
Jun 01, 2017 2:13:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2362/3728 took 634854 ms. Total solver calls (SAT/UNSAT): 4584419(7009/4577410)
Jun 01, 2017 2:13:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2366/3728 took 635874 ms. Total solver calls (SAT/UNSAT): 4591891(7021/4584870)
Jun 01, 2017 2:13:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2370/3728 took 637104 ms. Total solver calls (SAT/UNSAT): 4600885(7033/4593852)
Jun 01, 2017 2:13:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2374/3728 took 638125 ms. Total solver calls (SAT/UNSAT): 4608357(7045/4601312)
Jun 01, 2017 2:13:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2378/3728 took 639145 ms. Total solver calls (SAT/UNSAT): 4615829(7057/4608772)
Jun 01, 2017 2:13:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2382/3728 took 640166 ms. Total solver calls (SAT/UNSAT): 4623301(7069/4616232)
Jun 01, 2017 2:14:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2386/3728 took 641186 ms. Total solver calls (SAT/UNSAT): 4630773(7081/4623692)
Jun 01, 2017 2:14:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2390/3728 took 642417 ms. Total solver calls (SAT/UNSAT): 4639767(7093/4632674)
Jun 01, 2017 2:14:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2394/3728 took 643439 ms. Total solver calls (SAT/UNSAT): 4647239(7105/4640134)
Jun 01, 2017 2:14:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2398/3728 took 644462 ms. Total solver calls (SAT/UNSAT): 4654711(7117/4647594)
Jun 01, 2017 2:14:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2402/3728 took 645484 ms. Total solver calls (SAT/UNSAT): 4662183(7129/4655054)
Jun 01, 2017 2:14:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2406/3728 took 646506 ms. Total solver calls (SAT/UNSAT): 4669655(7141/4662514)
Jun 01, 2017 2:14:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2410/3728 took 647731 ms. Total solver calls (SAT/UNSAT): 4678648(7153/4671495)
Jun 01, 2017 2:14:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2414/3728 took 648753 ms. Total solver calls (SAT/UNSAT): 4686121(7165/4678956)
Jun 01, 2017 2:14:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2418/3728 took 649819 ms. Total solver calls (SAT/UNSAT): 4693593(7177/4686416)
Jun 01, 2017 2:14:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2422/3728 took 650856 ms. Total solver calls (SAT/UNSAT): 4701065(7189/4693876)
Jun 01, 2017 2:14:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2426/3728 took 651886 ms. Total solver calls (SAT/UNSAT): 4708537(7201/4701336)
Jun 01, 2017 2:14:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2430/3728 took 652916 ms. Total solver calls (SAT/UNSAT): 4716009(7213/4708796)
Jun 01, 2017 2:14:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2434/3728 took 654163 ms. Total solver calls (SAT/UNSAT): 4725003(7225/4717778)
Jun 01, 2017 2:14:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2438/3728 took 655202 ms. Total solver calls (SAT/UNSAT): 4732475(7237/4725238)
Jun 01, 2017 2:14:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2442/3728 took 656226 ms. Total solver calls (SAT/UNSAT): 4739947(7249/4732698)
Jun 01, 2017 2:14:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2446/3728 took 657261 ms. Total solver calls (SAT/UNSAT): 4747419(7261/4740158)
Jun 01, 2017 2:14:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2450/3728 took 658295 ms. Total solver calls (SAT/UNSAT): 4754891(7273/4747618)
Jun 01, 2017 2:14:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2454/3728 took 659541 ms. Total solver calls (SAT/UNSAT): 4763885(7285/4756600)
Jun 01, 2017 2:14:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2458/3728 took 660576 ms. Total solver calls (SAT/UNSAT): 4771357(7297/4764060)
Jun 01, 2017 2:14:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2462/3728 took 661616 ms. Total solver calls (SAT/UNSAT): 4778829(7309/4771520)
Jun 01, 2017 2:14:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2466/3728 took 662650 ms. Total solver calls (SAT/UNSAT): 4786301(7321/4778980)
Jun 01, 2017 2:14:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2470/3728 took 663680 ms. Total solver calls (SAT/UNSAT): 4793773(7333/4786440)
Jun 01, 2017 2:14:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2474/3728 took 664916 ms. Total solver calls (SAT/UNSAT): 4802767(7345/4795422)
Jun 01, 2017 2:14:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2478/3728 took 665945 ms. Total solver calls (SAT/UNSAT): 4810239(7357/4802882)
Jun 01, 2017 2:14:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2482/3728 took 666971 ms. Total solver calls (SAT/UNSAT): 4817711(7369/4810342)
Jun 01, 2017 2:14:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2486/3728 took 667997 ms. Total solver calls (SAT/UNSAT): 4825183(7381/4817802)
Jun 01, 2017 2:14:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2490/3728 took 669028 ms. Total solver calls (SAT/UNSAT): 4832655(7393/4825262)
Jun 01, 2017 2:14:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2494/3728 took 670261 ms. Total solver calls (SAT/UNSAT): 4841648(7405/4834243)
Jun 01, 2017 2:14:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2498/3728 took 671292 ms. Total solver calls (SAT/UNSAT): 4849121(7417/4841704)
Jun 01, 2017 2:14:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2502/3728 took 672316 ms. Total solver calls (SAT/UNSAT): 4856593(7429/4849164)
Jun 01, 2017 2:14:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2506/3728 took 673346 ms. Total solver calls (SAT/UNSAT): 4864065(7441/4856624)
Jun 01, 2017 2:14:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2510/3728 took 674372 ms. Total solver calls (SAT/UNSAT): 4871537(7453/4864084)
Jun 01, 2017 2:14:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2514/3728 took 675402 ms. Total solver calls (SAT/UNSAT): 4879009(7465/4871544)
Jun 01, 2017 2:14:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2518/3728 took 676635 ms. Total solver calls (SAT/UNSAT): 4888003(7477/4880526)
Jun 01, 2017 2:14:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2522/3728 took 677667 ms. Total solver calls (SAT/UNSAT): 4895475(7489/4887986)
Jun 01, 2017 2:14:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2526/3728 took 678698 ms. Total solver calls (SAT/UNSAT): 4902947(7501/4895446)
Jun 01, 2017 2:14:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2530/3728 took 679729 ms. Total solver calls (SAT/UNSAT): 4910419(7513/4902906)
Jun 01, 2017 2:14:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2534/3728 took 680766 ms. Total solver calls (SAT/UNSAT): 4917891(7525/4910366)
Jun 01, 2017 2:14:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2538/3728 took 682016 ms. Total solver calls (SAT/UNSAT): 4926885(7537/4919348)
Jun 01, 2017 2:14:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2542/3728 took 683042 ms. Total solver calls (SAT/UNSAT): 4934357(7549/4926808)
Jun 01, 2017 2:14:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2546/3728 took 684067 ms. Total solver calls (SAT/UNSAT): 4941829(7561/4934268)
Jun 01, 2017 2:14:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2550/3728 took 685104 ms. Total solver calls (SAT/UNSAT): 4949301(7573/4941728)
Jun 01, 2017 2:14:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2554/3728 took 686126 ms. Total solver calls (SAT/UNSAT): 4956773(7585/4949188)
Jun 01, 2017 2:14:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2558/3728 took 687369 ms. Total solver calls (SAT/UNSAT): 4965767(7597/4958170)
Jun 01, 2017 2:14:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2562/3728 took 688391 ms. Total solver calls (SAT/UNSAT): 4973239(7609/4965630)
Jun 01, 2017 2:14:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2566/3728 took 689437 ms. Total solver calls (SAT/UNSAT): 4980711(7621/4973090)
Jun 01, 2017 2:14:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2570/3728 took 690460 ms. Total solver calls (SAT/UNSAT): 4988183(7633/4980550)
Jun 01, 2017 2:14:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2574/3728 took 691485 ms. Total solver calls (SAT/UNSAT): 4995655(7645/4988010)
Jun 01, 2017 2:14:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2578/3728 took 692738 ms. Total solver calls (SAT/UNSAT): 5004648(7657/4996991)
Jun 01, 2017 2:14:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2582/3728 took 693773 ms. Total solver calls (SAT/UNSAT): 5012121(7669/5004452)
Jun 01, 2017 2:14:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2586/3728 took 694828 ms. Total solver calls (SAT/UNSAT): 5019593(7681/5011912)
Jun 01, 2017 2:14:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2590/3728 took 695858 ms. Total solver calls (SAT/UNSAT): 5027065(7693/5019372)
Jun 01, 2017 2:14:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2594/3728 took 696908 ms. Total solver calls (SAT/UNSAT): 5034537(7705/5026832)
Jun 01, 2017 2:14:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2598/3728 took 697965 ms. Total solver calls (SAT/UNSAT): 5042009(7717/5034292)
Jun 01, 2017 2:14:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2602/3728 took 699235 ms. Total solver calls (SAT/UNSAT): 5051003(7729/5043274)
Jun 01, 2017 2:14:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2606/3728 took 700258 ms. Total solver calls (SAT/UNSAT): 5058475(7741/5050734)
Jun 01, 2017 2:15:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2610/3728 took 701281 ms. Total solver calls (SAT/UNSAT): 5065947(7753/5058194)
Jun 01, 2017 2:15:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2614/3728 took 702324 ms. Total solver calls (SAT/UNSAT): 5073419(7765/5065654)
Jun 01, 2017 2:15:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2618/3728 took 703347 ms. Total solver calls (SAT/UNSAT): 5080891(7777/5073114)
Jun 01, 2017 2:15:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2622/3728 took 704585 ms. Total solver calls (SAT/UNSAT): 5089885(7789/5082096)
Jun 01, 2017 2:15:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2626/3728 took 705619 ms. Total solver calls (SAT/UNSAT): 5097357(7801/5089556)
Jun 01, 2017 2:15:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2630/3728 took 706652 ms. Total solver calls (SAT/UNSAT): 5104829(7813/5097016)
Jun 01, 2017 2:15:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2634/3728 took 707682 ms. Total solver calls (SAT/UNSAT): 5112301(7825/5104476)
Jun 01, 2017 2:15:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2638/3728 took 708703 ms. Total solver calls (SAT/UNSAT): 5119773(7837/5111936)
Jun 01, 2017 2:15:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2642/3728 took 709936 ms. Total solver calls (SAT/UNSAT): 5128767(7849/5120918)
Jun 01, 2017 2:15:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2646/3728 took 710957 ms. Total solver calls (SAT/UNSAT): 5136239(7861/5128378)
Jun 01, 2017 2:15:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2650/3728 took 711979 ms. Total solver calls (SAT/UNSAT): 5143711(7873/5135838)
Jun 01, 2017 2:15:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2654/3728 took 713015 ms. Total solver calls (SAT/UNSAT): 5151183(7885/5143298)
Jun 01, 2017 2:15:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2658/3728 took 714081 ms. Total solver calls (SAT/UNSAT): 5158655(7897/5150758)
Jun 01, 2017 2:15:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2662/3728 took 715431 ms. Total solver calls (SAT/UNSAT): 5167648(7909/5159739)
Jun 01, 2017 2:15:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2666/3728 took 716547 ms. Total solver calls (SAT/UNSAT): 5175121(7921/5167200)
Jun 01, 2017 2:15:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2670/3728 took 717578 ms. Total solver calls (SAT/UNSAT): 5182593(7933/5174660)
Jun 01, 2017 2:15:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2674/3728 took 718609 ms. Total solver calls (SAT/UNSAT): 5190065(7945/5182120)
Jun 01, 2017 2:15:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2678/3728 took 719635 ms. Total solver calls (SAT/UNSAT): 5197537(7957/5189580)
Jun 01, 2017 2:15:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2682/3728 took 720661 ms. Total solver calls (SAT/UNSAT): 5205009(7969/5197040)
Jun 01, 2017 2:15:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2686/3728 took 721900 ms. Total solver calls (SAT/UNSAT): 5214003(7981/5206022)
Jun 01, 2017 2:15:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2690/3728 took 722925 ms. Total solver calls (SAT/UNSAT): 5221475(7993/5213482)
Jun 01, 2017 2:15:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2694/3728 took 723957 ms. Total solver calls (SAT/UNSAT): 5228947(8005/5220942)
Jun 01, 2017 2:15:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2698/3728 took 724993 ms. Total solver calls (SAT/UNSAT): 5236419(8017/5228402)
Jun 01, 2017 2:15:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2702/3728 took 726028 ms. Total solver calls (SAT/UNSAT): 5243891(8029/5235862)
Jun 01, 2017 2:15:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2706/3728 took 727278 ms. Total solver calls (SAT/UNSAT): 5252885(8041/5244844)
Jun 01, 2017 2:15:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2710/3728 took 728303 ms. Total solver calls (SAT/UNSAT): 5260357(8053/5252304)
Jun 01, 2017 2:15:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2714/3728 took 729328 ms. Total solver calls (SAT/UNSAT): 5267829(8065/5259764)
Jun 01, 2017 2:15:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2718/3728 took 730367 ms. Total solver calls (SAT/UNSAT): 5275301(8077/5267224)
Jun 01, 2017 2:15:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2722/3728 took 731403 ms. Total solver calls (SAT/UNSAT): 5282773(8089/5274684)
Jun 01, 2017 2:15:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2726/3728 took 732647 ms. Total solver calls (SAT/UNSAT): 5291767(8101/5283666)
Jun 01, 2017 2:15:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2730/3728 took 733674 ms. Total solver calls (SAT/UNSAT): 5299239(8113/5291126)
Jun 01, 2017 2:15:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2734/3728 took 734700 ms. Total solver calls (SAT/UNSAT): 5306711(8125/5298586)
Jun 01, 2017 2:15:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2738/3728 took 735737 ms. Total solver calls (SAT/UNSAT): 5314183(8137/5306046)
Jun 01, 2017 2:15:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2742/3728 took 736774 ms. Total solver calls (SAT/UNSAT): 5321655(8149/5313506)
Jun 01, 2017 2:15:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2746/3728 took 738024 ms. Total solver calls (SAT/UNSAT): 5330648(8161/5322487)
Jun 01, 2017 2:15:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2750/3728 took 739059 ms. Total solver calls (SAT/UNSAT): 5338121(8173/5329948)
Jun 01, 2017 2:15:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2754/3728 took 740082 ms. Total solver calls (SAT/UNSAT): 5345593(8185/5337408)
Jun 01, 2017 2:15:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2758/3728 took 741106 ms. Total solver calls (SAT/UNSAT): 5353065(8197/5344868)
Jun 01, 2017 2:15:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2762/3728 took 742145 ms. Total solver calls (SAT/UNSAT): 5360537(8209/5352328)
Jun 01, 2017 2:15:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2766/3728 took 743178 ms. Total solver calls (SAT/UNSAT): 5368009(8221/5359788)
Jun 01, 2017 2:15:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2770/3728 took 744419 ms. Total solver calls (SAT/UNSAT): 5377003(8233/5368770)
Jun 01, 2017 2:15:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2774/3728 took 745452 ms. Total solver calls (SAT/UNSAT): 5384475(8245/5376230)
Jun 01, 2017 2:15:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2778/3728 took 746483 ms. Total solver calls (SAT/UNSAT): 5391947(8257/5383690)
Jun 01, 2017 2:15:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2782/3728 took 747519 ms. Total solver calls (SAT/UNSAT): 5399419(8269/5391150)
Jun 01, 2017 2:15:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2786/3728 took 748552 ms. Total solver calls (SAT/UNSAT): 5406891(8281/5398610)
Jun 01, 2017 2:15:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2790/3728 took 749796 ms. Total solver calls (SAT/UNSAT): 5415885(8293/5407592)
Jun 01, 2017 2:15:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2794/3728 took 750839 ms. Total solver calls (SAT/UNSAT): 5423357(8305/5415052)
Jun 01, 2017 2:15:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2798/3728 took 751868 ms. Total solver calls (SAT/UNSAT): 5430829(8317/5422512)
Jun 01, 2017 2:15:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2802/3728 took 752894 ms. Total solver calls (SAT/UNSAT): 5438301(8329/5429972)
Jun 01, 2017 2:15:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2806/3728 took 753929 ms. Total solver calls (SAT/UNSAT): 5445773(8341/5437432)
Jun 01, 2017 2:15:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2810/3728 took 755175 ms. Total solver calls (SAT/UNSAT): 5454767(8353/5446414)
Jun 01, 2017 2:15:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2814/3728 took 756203 ms. Total solver calls (SAT/UNSAT): 5462239(8365/5453874)
Jun 01, 2017 2:15:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2818/3728 took 757240 ms. Total solver calls (SAT/UNSAT): 5469711(8377/5461334)
Jun 01, 2017 2:15:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2822/3728 took 758274 ms. Total solver calls (SAT/UNSAT): 5477183(8389/5468794)
Jun 01, 2017 2:15:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2826/3728 took 759308 ms. Total solver calls (SAT/UNSAT): 5484655(8401/5476254)
Jun 01, 2017 2:15:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2830/3728 took 760554 ms. Total solver calls (SAT/UNSAT): 5493648(8413/5485235)
Jun 01, 2017 2:16:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2834/3728 took 761591 ms. Total solver calls (SAT/UNSAT): 5501121(8425/5492696)
Jun 01, 2017 2:16:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2838/3728 took 762626 ms. Total solver calls (SAT/UNSAT): 5508593(8437/5500156)
Jun 01, 2017 2:16:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2842/3728 took 763663 ms. Total solver calls (SAT/UNSAT): 5516065(8449/5507616)
Jun 01, 2017 2:16:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2846/3728 took 764689 ms. Total solver calls (SAT/UNSAT): 5523537(8461/5515076)
Jun 01, 2017 2:16:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2850/3728 took 765715 ms. Total solver calls (SAT/UNSAT): 5531009(8473/5522536)
Jun 01, 2017 2:16:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2854/3728 took 766960 ms. Total solver calls (SAT/UNSAT): 5540003(8485/5531518)
Jun 01, 2017 2:16:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2858/3728 took 767988 ms. Total solver calls (SAT/UNSAT): 5547475(8497/5538978)
Jun 01, 2017 2:16:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2862/3728 took 769013 ms. Total solver calls (SAT/UNSAT): 5554947(8509/5546438)
Jun 01, 2017 2:16:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2866/3728 took 770053 ms. Total solver calls (SAT/UNSAT): 5562419(8521/5553898)
Jun 01, 2017 2:16:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2870/3728 took 771086 ms. Total solver calls (SAT/UNSAT): 5569891(8533/5561358)
Jun 01, 2017 2:16:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2874/3728 took 772317 ms. Total solver calls (SAT/UNSAT): 5578885(8545/5570340)
Jun 01, 2017 2:16:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2878/3728 took 773351 ms. Total solver calls (SAT/UNSAT): 5586357(8557/5577800)
Jun 01, 2017 2:16:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2882/3728 took 774387 ms. Total solver calls (SAT/UNSAT): 5593829(8569/5585260)
Jun 01, 2017 2:16:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2886/3728 took 775421 ms. Total solver calls (SAT/UNSAT): 5601301(8581/5592720)
Jun 01, 2017 2:16:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2890/3728 took 776461 ms. Total solver calls (SAT/UNSAT): 5608773(8593/5600180)
Jun 01, 2017 2:16:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2894/3728 took 777695 ms. Total solver calls (SAT/UNSAT): 5617767(8605/5609162)
Jun 01, 2017 2:16:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2898/3728 took 778719 ms. Total solver calls (SAT/UNSAT): 5625239(8617/5616622)
Jun 01, 2017 2:16:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2902/3728 took 779754 ms. Total solver calls (SAT/UNSAT): 5632711(8629/5624082)
Jun 01, 2017 2:16:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2906/3728 took 780779 ms. Total solver calls (SAT/UNSAT): 5640183(8641/5631542)
Jun 01, 2017 2:16:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2910/3728 took 781802 ms. Total solver calls (SAT/UNSAT): 5647655(8653/5639002)
Jun 01, 2017 2:16:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2914/3728 took 783055 ms. Total solver calls (SAT/UNSAT): 5656648(8665/5647983)
Jun 01, 2017 2:16:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2918/3728 took 784086 ms. Total solver calls (SAT/UNSAT): 5664121(8677/5655444)
Jun 01, 2017 2:16:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2922/3728 took 785115 ms. Total solver calls (SAT/UNSAT): 5671593(8689/5662904)
Jun 01, 2017 2:16:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2926/3728 took 786150 ms. Total solver calls (SAT/UNSAT): 5679065(8701/5670364)
Jun 01, 2017 2:16:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2930/3728 took 787181 ms. Total solver calls (SAT/UNSAT): 5686537(8713/5677824)
Jun 01, 2017 2:16:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2934/3728 took 788211 ms. Total solver calls (SAT/UNSAT): 5694009(8725/5685284)
Jun 01, 2017 2:16:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2938/3728 took 789460 ms. Total solver calls (SAT/UNSAT): 5703003(8737/5694266)
Jun 01, 2017 2:16:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2942/3728 took 790488 ms. Total solver calls (SAT/UNSAT): 5710475(8749/5701726)
Jun 01, 2017 2:16:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2946/3728 took 791521 ms. Total solver calls (SAT/UNSAT): 5717947(8761/5709186)
Jun 01, 2017 2:16:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2950/3728 took 792550 ms. Total solver calls (SAT/UNSAT): 5725419(8773/5716646)
Jun 01, 2017 2:16:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2954/3728 took 793584 ms. Total solver calls (SAT/UNSAT): 5732891(8785/5724106)
Jun 01, 2017 2:16:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2958/3728 took 794824 ms. Total solver calls (SAT/UNSAT): 5741885(8797/5733088)
Jun 01, 2017 2:16:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2962/3728 took 795857 ms. Total solver calls (SAT/UNSAT): 5749357(8809/5740548)
Jun 01, 2017 2:16:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2966/3728 took 796894 ms. Total solver calls (SAT/UNSAT): 5756829(8821/5748008)
Jun 01, 2017 2:16:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2970/3728 took 797925 ms. Total solver calls (SAT/UNSAT): 5764301(8833/5755468)
Jun 01, 2017 2:16:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2974/3728 took 798959 ms. Total solver calls (SAT/UNSAT): 5771773(8845/5762928)
Jun 01, 2017 2:16:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2978/3728 took 800208 ms. Total solver calls (SAT/UNSAT): 5780767(8857/5771910)
Jun 01, 2017 2:16:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2982/3728 took 801246 ms. Total solver calls (SAT/UNSAT): 5788239(8869/5779370)
Jun 01, 2017 2:16:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2986/3728 took 802286 ms. Total solver calls (SAT/UNSAT): 5795711(8881/5786830)
Jun 01, 2017 2:16:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2990/3728 took 803333 ms. Total solver calls (SAT/UNSAT): 5803183(8893/5794290)
Jun 01, 2017 2:16:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2994/3728 took 804361 ms. Total solver calls (SAT/UNSAT): 5810655(8905/5801750)
Jun 01, 2017 2:16:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2998/3728 took 805601 ms. Total solver calls (SAT/UNSAT): 5819648(8917/5810731)
Jun 01, 2017 2:16:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3002/3728 took 806630 ms. Total solver calls (SAT/UNSAT): 5827121(8929/5818192)
Jun 01, 2017 2:16:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3006/3728 took 807674 ms. Total solver calls (SAT/UNSAT): 5834593(8941/5825652)
Jun 01, 2017 2:16:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3010/3728 took 808702 ms. Total solver calls (SAT/UNSAT): 5842065(8953/5833112)
Jun 01, 2017 2:16:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3014/3728 took 809732 ms. Total solver calls (SAT/UNSAT): 5849537(8965/5840572)
Jun 01, 2017 2:16:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3018/3728 took 810777 ms. Total solver calls (SAT/UNSAT): 5857009(8977/5848032)
Jun 01, 2017 2:16:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3022/3728 took 812021 ms. Total solver calls (SAT/UNSAT): 5866003(8989/5857014)
Jun 01, 2017 2:16:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3026/3728 took 813053 ms. Total solver calls (SAT/UNSAT): 5873475(9001/5864474)
Jun 01, 2017 2:16:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3030/3728 took 814098 ms. Total solver calls (SAT/UNSAT): 5880947(9013/5871934)
Jun 01, 2017 2:16:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3034/3728 took 815136 ms. Total solver calls (SAT/UNSAT): 5888419(9025/5879394)
Jun 01, 2017 2:16:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3038/3728 took 816166 ms. Total solver calls (SAT/UNSAT): 5895891(9037/5886854)
Jun 01, 2017 2:16:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3042/3728 took 817411 ms. Total solver calls (SAT/UNSAT): 5904885(9049/5895836)
Jun 01, 2017 2:16:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3046/3728 took 818449 ms. Total solver calls (SAT/UNSAT): 5912357(9061/5903296)
Jun 01, 2017 2:16:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3050/3728 took 819486 ms. Total solver calls (SAT/UNSAT): 5919829(9073/5910756)
Jun 01, 2017 2:16:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3054/3728 took 820514 ms. Total solver calls (SAT/UNSAT): 5927301(9085/5918216)
Jun 01, 2017 2:17:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3058/3728 took 821551 ms. Total solver calls (SAT/UNSAT): 5934773(9097/5925676)
Jun 01, 2017 2:17:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3062/3728 took 822798 ms. Total solver calls (SAT/UNSAT): 5943767(9109/5934658)
Jun 01, 2017 2:17:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3066/3728 took 823831 ms. Total solver calls (SAT/UNSAT): 5951239(9121/5942118)
Jun 01, 2017 2:17:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3070/3728 took 824865 ms. Total solver calls (SAT/UNSAT): 5958711(9133/5949578)
Jun 01, 2017 2:17:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3074/3728 took 825909 ms. Total solver calls (SAT/UNSAT): 5966183(9145/5957038)
Jun 01, 2017 2:17:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3078/3728 took 826945 ms. Total solver calls (SAT/UNSAT): 5973655(9157/5964498)
Jun 01, 2017 2:17:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3082/3728 took 828184 ms. Total solver calls (SAT/UNSAT): 5982648(9169/5973479)
Jun 01, 2017 2:17:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3086/3728 took 829242 ms. Total solver calls (SAT/UNSAT): 5990121(9181/5980940)
Jun 01, 2017 2:17:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3090/3728 took 830278 ms. Total solver calls (SAT/UNSAT): 5997593(9193/5988400)
Jun 01, 2017 2:17:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3094/3728 took 831315 ms. Total solver calls (SAT/UNSAT): 6005065(9205/5995860)
Jun 01, 2017 2:17:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3098/3728 took 832352 ms. Total solver calls (SAT/UNSAT): 6012537(9217/6003320)
Jun 01, 2017 2:17:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3102/3728 took 833380 ms. Total solver calls (SAT/UNSAT): 6020009(9229/6010780)
Jun 01, 2017 2:17:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3106/3728 took 834618 ms. Total solver calls (SAT/UNSAT): 6029003(9241/6019762)
Jun 01, 2017 2:17:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3110/3728 took 835645 ms. Total solver calls (SAT/UNSAT): 6036475(9253/6027222)
Jun 01, 2017 2:17:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3114/3728 took 836689 ms. Total solver calls (SAT/UNSAT): 6043947(9265/6034682)
Jun 01, 2017 2:17:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3118/3728 took 837728 ms. Total solver calls (SAT/UNSAT): 6051419(9277/6042142)
Jun 01, 2017 2:17:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3122/3728 took 838767 ms. Total solver calls (SAT/UNSAT): 6058891(9289/6049602)
Jun 01, 2017 2:17:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3126/3728 took 840019 ms. Total solver calls (SAT/UNSAT): 6067885(9301/6058584)
Jun 01, 2017 2:17:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3130/3728 took 841059 ms. Total solver calls (SAT/UNSAT): 6075357(9313/6066044)
Jun 01, 2017 2:17:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3134/3728 took 842098 ms. Total solver calls (SAT/UNSAT): 6082829(9325/6073504)
Jun 01, 2017 2:17:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3138/3728 took 843137 ms. Total solver calls (SAT/UNSAT): 6090301(9337/6080964)
Jun 01, 2017 2:17:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3142/3728 took 844175 ms. Total solver calls (SAT/UNSAT): 6097773(9349/6088424)
Jun 01, 2017 2:17:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3146/3728 took 845411 ms. Total solver calls (SAT/UNSAT): 6106767(9361/6097406)
Jun 01, 2017 2:17:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3150/3728 took 846439 ms. Total solver calls (SAT/UNSAT): 6114239(9373/6104866)
Jun 01, 2017 2:17:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3154/3728 took 847507 ms. Total solver calls (SAT/UNSAT): 6121711(9385/6112326)
Jun 01, 2017 2:17:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3158/3728 took 848526 ms. Total solver calls (SAT/UNSAT): 6129183(9397/6119786)
Jun 01, 2017 2:17:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3162/3728 took 849543 ms. Total solver calls (SAT/UNSAT): 6136655(9409/6127246)
Jun 01, 2017 2:17:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3166/3728 took 850765 ms. Total solver calls (SAT/UNSAT): 6145648(9421/6136227)
Jun 01, 2017 2:17:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3170/3728 took 851785 ms. Total solver calls (SAT/UNSAT): 6153121(9433/6143688)
Jun 01, 2017 2:17:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3174/3728 took 852803 ms. Total solver calls (SAT/UNSAT): 6160593(9445/6151148)
Jun 01, 2017 2:17:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3178/3728 took 853823 ms. Total solver calls (SAT/UNSAT): 6168065(9457/6158608)
Jun 01, 2017 2:17:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3182/3728 took 854843 ms. Total solver calls (SAT/UNSAT): 6175537(9469/6166068)
Jun 01, 2017 2:17:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3186/3728 took 855860 ms. Total solver calls (SAT/UNSAT): 6183009(9481/6173528)
Jun 01, 2017 2:17:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3190/3728 took 857085 ms. Total solver calls (SAT/UNSAT): 6192003(9493/6182510)
Jun 01, 2017 2:17:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3194/3728 took 858102 ms. Total solver calls (SAT/UNSAT): 6199475(9505/6189970)
Jun 01, 2017 2:17:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3198/3728 took 859159 ms. Total solver calls (SAT/UNSAT): 6206947(9517/6197430)
Jun 01, 2017 2:17:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3202/3728 took 860163 ms. Total solver calls (SAT/UNSAT): 6214419(9529/6204890)
Jun 01, 2017 2:17:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3206/3728 took 861166 ms. Total solver calls (SAT/UNSAT): 6221891(9541/6212350)
Jun 01, 2017 2:17:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3210/3728 took 862377 ms. Total solver calls (SAT/UNSAT): 6230885(9553/6221332)
Jun 01, 2017 2:17:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3214/3728 took 863378 ms. Total solver calls (SAT/UNSAT): 6238357(9565/6228792)
Jun 01, 2017 2:17:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3218/3728 took 864428 ms. Total solver calls (SAT/UNSAT): 6245829(9577/6236252)
Jun 01, 2017 2:17:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3222/3728 took 865455 ms. Total solver calls (SAT/UNSAT): 6253301(9589/6243712)
Jun 01, 2017 2:17:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3226/3728 took 866495 ms. Total solver calls (SAT/UNSAT): 6260773(9601/6251172)
Jun 01, 2017 2:17:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3230/3728 took 867733 ms. Total solver calls (SAT/UNSAT): 6269767(9613/6260154)
Jun 01, 2017 2:17:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3234/3728 took 868757 ms. Total solver calls (SAT/UNSAT): 6277239(9625/6267614)
Jun 01, 2017 2:17:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3238/3728 took 869785 ms. Total solver calls (SAT/UNSAT): 6284711(9637/6275074)
Jun 01, 2017 2:17:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3242/3728 took 870825 ms. Total solver calls (SAT/UNSAT): 6292183(9649/6282534)
Jun 01, 2017 2:17:50 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3246/3728 took 871853 ms. Total solver calls (SAT/UNSAT): 6299655(9661/6289994)
Jun 01, 2017 2:17:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3250/3728 took 873085 ms. Total solver calls (SAT/UNSAT): 6308648(9673/6298975)
Jun 01, 2017 2:17:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3254/3728 took 874160 ms. Total solver calls (SAT/UNSAT): 6316121(9685/6306436)
Jun 01, 2017 2:17:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3258/3728 took 875196 ms. Total solver calls (SAT/UNSAT): 6323593(9697/6313896)
Jun 01, 2017 2:17:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3262/3728 took 876224 ms. Total solver calls (SAT/UNSAT): 6331065(9709/6321356)
Jun 01, 2017 2:17:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3266/3728 took 877245 ms. Total solver calls (SAT/UNSAT): 6338537(9721/6328816)
Jun 01, 2017 2:17:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3270/3728 took 878272 ms. Total solver calls (SAT/UNSAT): 6346009(9733/6336276)
Jun 01, 2017 2:17:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3274/3728 took 879503 ms. Total solver calls (SAT/UNSAT): 6355003(9745/6345258)
Jun 01, 2017 2:17:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3278/3728 took 880525 ms. Total solver calls (SAT/UNSAT): 6362475(9757/6352718)
Jun 01, 2017 2:18:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3282/3728 took 881548 ms. Total solver calls (SAT/UNSAT): 6369947(9769/6360178)
Jun 01, 2017 2:18:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3286/3728 took 882582 ms. Total solver calls (SAT/UNSAT): 6377419(9781/6367638)
Jun 01, 2017 2:18:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3290/3728 took 883608 ms. Total solver calls (SAT/UNSAT): 6384891(9793/6375098)
Jun 01, 2017 2:18:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3294/3728 took 884838 ms. Total solver calls (SAT/UNSAT): 6393885(9805/6384080)
Jun 01, 2017 2:18:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3298/3728 took 885860 ms. Total solver calls (SAT/UNSAT): 6401357(9817/6391540)
Jun 01, 2017 2:18:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3302/3728 took 886899 ms. Total solver calls (SAT/UNSAT): 6408829(9829/6399000)
Jun 01, 2017 2:18:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3306/3728 took 887922 ms. Total solver calls (SAT/UNSAT): 6416301(9841/6406460)
Jun 01, 2017 2:18:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3310/3728 took 888946 ms. Total solver calls (SAT/UNSAT): 6423773(9853/6413920)
Jun 01, 2017 2:18:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3314/3728 took 890186 ms. Total solver calls (SAT/UNSAT): 6432767(9865/6422902)
Jun 01, 2017 2:18:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3318/3728 took 891213 ms. Total solver calls (SAT/UNSAT): 6440239(9877/6430362)
Jun 01, 2017 2:18:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3322/3728 took 892234 ms. Total solver calls (SAT/UNSAT): 6447711(9889/6437822)
Jun 01, 2017 2:18:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3326/3728 took 893257 ms. Total solver calls (SAT/UNSAT): 6455183(9901/6445282)
Jun 01, 2017 2:18:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3330/3728 took 894286 ms. Total solver calls (SAT/UNSAT): 6462655(9913/6452742)
Jun 01, 2017 2:18:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3334/3728 took 895520 ms. Total solver calls (SAT/UNSAT): 6471648(9925/6461723)
Jun 01, 2017 2:18:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3338/3728 took 896537 ms. Total solver calls (SAT/UNSAT): 6479121(9937/6469184)
Jun 01, 2017 2:18:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3342/3728 took 897557 ms. Total solver calls (SAT/UNSAT): 6486593(9949/6476644)
Jun 01, 2017 2:18:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3346/3728 took 898580 ms. Total solver calls (SAT/UNSAT): 6494065(9961/6484104)
Jun 01, 2017 2:18:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3350/3728 took 899600 ms. Total solver calls (SAT/UNSAT): 6501537(9973/6491564)
Jun 01, 2017 2:18:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3354/3728 took 900618 ms. Total solver calls (SAT/UNSAT): 6509009(9985/6499024)
Jun 01, 2017 2:18:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3358/3728 took 901843 ms. Total solver calls (SAT/UNSAT): 6518003(9997/6508006)
Jun 01, 2017 2:18:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3362/3728 took 902875 ms. Total solver calls (SAT/UNSAT): 6525475(10009/6515466)
Jun 01, 2017 2:18:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3366/3728 took 903895 ms. Total solver calls (SAT/UNSAT): 6532947(10021/6522926)
Jun 01, 2017 2:18:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3370/3728 took 904916 ms. Total solver calls (SAT/UNSAT): 6540419(10033/6530386)
Jun 01, 2017 2:18:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3374/3728 took 905936 ms. Total solver calls (SAT/UNSAT): 6547891(10045/6537846)
Jun 01, 2017 2:18:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3378/3728 took 907175 ms. Total solver calls (SAT/UNSAT): 6556885(10057/6546828)
Jun 01, 2017 2:18:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3382/3728 took 908194 ms. Total solver calls (SAT/UNSAT): 6564357(10069/6554288)
Jun 01, 2017 2:18:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3386/3728 took 909212 ms. Total solver calls (SAT/UNSAT): 6571829(10081/6561748)
Jun 01, 2017 2:18:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3390/3728 took 910228 ms. Total solver calls (SAT/UNSAT): 6579301(10093/6569208)
Jun 01, 2017 2:18:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3394/3728 took 911258 ms. Total solver calls (SAT/UNSAT): 6586773(10105/6576668)
Jun 01, 2017 2:18:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3398/3728 took 912485 ms. Total solver calls (SAT/UNSAT): 6595767(10117/6585650)
Jun 01, 2017 2:18:32 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3402/3728 took 913504 ms. Total solver calls (SAT/UNSAT): 6603239(10129/6593110)
Jun 01, 2017 2:18:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3406/3728 took 914526 ms. Total solver calls (SAT/UNSAT): 6610711(10141/6600570)
Jun 01, 2017 2:18:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3410/3728 took 915550 ms. Total solver calls (SAT/UNSAT): 6618183(10153/6608030)
Jun 01, 2017 2:18:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3414/3728 took 916567 ms. Total solver calls (SAT/UNSAT): 6625655(10165/6615490)
Jun 01, 2017 2:18:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3418/3728 took 917794 ms. Total solver calls (SAT/UNSAT): 6634648(10177/6624471)
Jun 01, 2017 2:18:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3422/3728 took 918820 ms. Total solver calls (SAT/UNSAT): 6642121(10189/6631932)
Jun 01, 2017 2:18:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3426/3728 took 919841 ms. Total solver calls (SAT/UNSAT): 6649593(10201/6639392)
Jun 01, 2017 2:18:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3430/3728 took 920862 ms. Total solver calls (SAT/UNSAT): 6657065(10213/6646852)
Jun 01, 2017 2:18:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3434/3728 took 921881 ms. Total solver calls (SAT/UNSAT): 6664537(10225/6654312)
Jun 01, 2017 2:18:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3438/3728 took 922916 ms. Total solver calls (SAT/UNSAT): 6672009(10237/6661772)
Jun 01, 2017 2:18:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3453/3728 took 923935 ms. Total solver calls (SAT/UNSAT): 6679094(10254/6668840)
Jun 01, 2017 2:18:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3479/3728 took 924965 ms. Total solver calls (SAT/UNSAT): 6685958(10280/6675678)
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-V80P20N20"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V80P20N20.tgz
mv BridgeAndVehicles-PT-V80P20N20 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-V80P20N20, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r010-csrt-149436129800539"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;