About the Execution of ITS-Tools for S_BridgeAndVehicles-PT-V80P20N20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15933.780 | 3600000.00 | 4735821.00 | 485.80 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is S_BridgeAndVehicles-PT-V80P20N20, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r090-csrt-149441076900539
=====================================================================
--------------------
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 1496419870803
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 02, 2017 4:11:12 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 02, 2017 4:11:13 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 329 ms
Jun 02, 2017 4:11:13 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 198 places.
Jun 02, 2017 4:11:13 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 3728 transitions.
Jun 02, 2017 4:11:13 PM fr.lip6.move.gal.logic.togal.ToGalTransformer toGal
WARNING: Unknown predicate type in boolean expression fr.lip6.move.gal.logic.impl.DeadlockImpl
Jun 02, 2017 4:11:14 PM 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 02, 2017 4:11:14 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 817 ms
Jun 02, 2017 4:11:14 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityDeadlock.pnml.gal : 92 ms
Jun 02, 2017 4:11:17 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 483 ms
Jun 02, 2017 4:11:31 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 198 variables to be positive in 15065 ms
Jun 02, 2017 4:11:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 3728 transitions.
Jun 02, 2017 4:11:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3728 took 326 ms. Total solver calls (SAT/UNSAT): 1943(2/1941)
Jun 02, 2017 4:11:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/3728 took 1598 ms. Total solver calls (SAT/UNSAT): 9715(10/9705)
Jun 02, 2017 4:11:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/3728 took 2846 ms. Total solver calls (SAT/UNSAT): 17487(18/17469)
Jun 02, 2017 4:11:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/3728 took 4083 ms. Total solver calls (SAT/UNSAT): 25259(26/25233)
Jun 02, 2017 4:11:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :16/3728 took 5331 ms. Total solver calls (SAT/UNSAT): 33031(34/32997)
Jun 02, 2017 4:11:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/3728 took 6550 ms. Total solver calls (SAT/UNSAT): 40803(42/40761)
Jun 02, 2017 4:11:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/3728 took 7640 ms. Total solver calls (SAT/UNSAT): 48575(50/48525)
Jun 02, 2017 4:11:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/3728 took 8774 ms. Total solver calls (SAT/UNSAT): 56347(58/56289)
Jun 02, 2017 4:11:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/3728 took 9984 ms. Total solver calls (SAT/UNSAT): 64119(66/64053)
Jun 02, 2017 4:11:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/3728 took 11090 ms. Total solver calls (SAT/UNSAT): 71891(74/71817)
Jun 02, 2017 4:11:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/3728 took 12220 ms. Total solver calls (SAT/UNSAT): 79663(82/79581)
Jun 02, 2017 4:11:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/3728 took 13356 ms. Total solver calls (SAT/UNSAT): 87435(90/87345)
Jun 02, 2017 4:11:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/3728 took 14438 ms. Total solver calls (SAT/UNSAT): 95207(98/95109)
Jun 02, 2017 4:11:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/3728 took 15519 ms. Total solver calls (SAT/UNSAT): 102979(106/102873)
Jun 02, 2017 4:11:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/3728 took 16620 ms. Total solver calls (SAT/UNSAT): 110751(114/110637)
Jun 02, 2017 4:11:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/3728 took 17832 ms. Total solver calls (SAT/UNSAT): 118523(122/118401)
Jun 02, 2017 4:11:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/3728 took 18991 ms. Total solver calls (SAT/UNSAT): 126295(130/126165)
Jun 02, 2017 4:11:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/3728 took 20135 ms. Total solver calls (SAT/UNSAT): 134067(138/133929)
Jun 02, 2017 4:11:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/3728 took 21278 ms. Total solver calls (SAT/UNSAT): 141839(146/141693)
Jun 02, 2017 4:11:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/3728 took 22376 ms. Total solver calls (SAT/UNSAT): 149611(154/149457)
Jun 02, 2017 4:11:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/3728 took 23464 ms. Total solver calls (SAT/UNSAT): 157308(163/157145)
Jun 02, 2017 4:11:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/3728 took 24646 ms. Total solver calls (SAT/UNSAT): 164784(175/164609)
Jun 02, 2017 4:11:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :88/3728 took 25708 ms. Total solver calls (SAT/UNSAT): 172260(187/172073)
Jun 02, 2017 4:11:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :92/3728 took 26737 ms. Total solver calls (SAT/UNSAT): 179736(199/179537)
Jun 02, 2017 4:11:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/3728 took 27748 ms. Total solver calls (SAT/UNSAT): 187212(211/187001)
Jun 02, 2017 4:12:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :100/3728 took 28759 ms. Total solver calls (SAT/UNSAT): 194688(223/194465)
Jun 02, 2017 4:12:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :104/3728 took 29811 ms. Total solver calls (SAT/UNSAT): 202164(235/201929)
Jun 02, 2017 4:12:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :108/3728 took 30907 ms. Total solver calls (SAT/UNSAT): 209640(247/209393)
Jun 02, 2017 4:12:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :112/3728 took 32034 ms. Total solver calls (SAT/UNSAT): 217116(259/216857)
Jun 02, 2017 4:12:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :116/3728 took 33158 ms. Total solver calls (SAT/UNSAT): 224592(271/224321)
Jun 02, 2017 4:12:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :120/3728 took 34286 ms. Total solver calls (SAT/UNSAT): 232068(283/231785)
Jun 02, 2017 4:12:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :124/3728 took 35443 ms. Total solver calls (SAT/UNSAT): 239544(295/239249)
Jun 02, 2017 4:12:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :128/3728 took 36579 ms. Total solver calls (SAT/UNSAT): 247020(307/246713)
Jun 02, 2017 4:12:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :132/3728 took 37691 ms. Total solver calls (SAT/UNSAT): 254496(319/254177)
Jun 02, 2017 4:12:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :136/3728 took 38704 ms. Total solver calls (SAT/UNSAT): 261972(331/261641)
Jun 02, 2017 4:12:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/3728 took 39711 ms. Total solver calls (SAT/UNSAT): 269448(343/269105)
Jun 02, 2017 4:12:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :144/3728 took 40719 ms. Total solver calls (SAT/UNSAT): 276924(355/276569)
Jun 02, 2017 4:12:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :148/3728 took 41723 ms. Total solver calls (SAT/UNSAT): 284400(367/284033)
Jun 02, 2017 4:12:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :152/3728 took 42730 ms. Total solver calls (SAT/UNSAT): 291876(379/291497)
Jun 02, 2017 4:12:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/3728 took 43738 ms. Total solver calls (SAT/UNSAT): 299352(391/298961)
Jun 02, 2017 4:12:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :160/3728 took 44760 ms. Total solver calls (SAT/UNSAT): 306826(403/306423)
Jun 02, 2017 4:12:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/3728 took 46001 ms. Total solver calls (SAT/UNSAT): 314298(415/313883)
Jun 02, 2017 4:12:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/3728 took 47136 ms. Total solver calls (SAT/UNSAT): 321770(427/321343)
Jun 02, 2017 4:12:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :172/3728 took 48264 ms. Total solver calls (SAT/UNSAT): 329242(439/328803)
Jun 02, 2017 4:12:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :176/3728 took 49391 ms. Total solver calls (SAT/UNSAT): 336714(451/336263)
Jun 02, 2017 4:12:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :180/3728 took 50515 ms. Total solver calls (SAT/UNSAT): 344186(463/343723)
Jun 02, 2017 4:12:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :184/3728 took 51641 ms. Total solver calls (SAT/UNSAT): 351658(475/351183)
Jun 02, 2017 4:12:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :188/3728 took 52767 ms. Total solver calls (SAT/UNSAT): 359130(487/358643)
Jun 02, 2017 4:12:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :192/3728 took 53900 ms. Total solver calls (SAT/UNSAT): 366602(499/366103)
Jun 02, 2017 4:12:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :196/3728 took 55050 ms. Total solver calls (SAT/UNSAT): 374074(511/373563)
Jun 02, 2017 4:12:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/3728 took 56171 ms. Total solver calls (SAT/UNSAT): 381546(523/381023)
Jun 02, 2017 4:12:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/3728 took 57292 ms. Total solver calls (SAT/UNSAT): 389018(535/388483)
Jun 02, 2017 4:12:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :208/3728 took 58320 ms. Total solver calls (SAT/UNSAT): 396490(547/395943)
Jun 02, 2017 4:12:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :212/3728 took 59337 ms. Total solver calls (SAT/UNSAT): 403962(559/403403)
Jun 02, 2017 4:12:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :216/3728 took 60352 ms. Total solver calls (SAT/UNSAT): 411434(571/410863)
Jun 02, 2017 4:12:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :220/3728 took 61373 ms. Total solver calls (SAT/UNSAT): 418906(583/418323)
Jun 02, 2017 4:12:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :224/3728 took 62392 ms. Total solver calls (SAT/UNSAT): 426378(595/425783)
Jun 02, 2017 4:12:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :228/3728 took 63413 ms. Total solver calls (SAT/UNSAT): 433850(607/433243)
Jun 02, 2017 4:12:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :232/3728 took 64452 ms. Total solver calls (SAT/UNSAT): 441322(619/440703)
Jun 02, 2017 4:12:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/3728 took 65480 ms. Total solver calls (SAT/UNSAT): 448794(631/448163)
Jun 02, 2017 4:12:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :240/3728 took 66508 ms. Total solver calls (SAT/UNSAT): 456265(643/455622)
Jun 02, 2017 4:12:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :244/3728 took 67526 ms. Total solver calls (SAT/UNSAT): 463737(655/463082)
Jun 02, 2017 4:12:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/3728 took 68544 ms. Total solver calls (SAT/UNSAT): 471209(667/470542)
Jun 02, 2017 4:12:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :252/3728 took 69563 ms. Total solver calls (SAT/UNSAT): 478681(679/478002)
Jun 02, 2017 4:12:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :256/3728 took 70582 ms. Total solver calls (SAT/UNSAT): 486153(691/485462)
Jun 02, 2017 4:12:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :260/3728 took 71599 ms. Total solver calls (SAT/UNSAT): 493625(703/492922)
Jun 02, 2017 4:12:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :264/3728 took 72617 ms. Total solver calls (SAT/UNSAT): 501097(715/500382)
Jun 02, 2017 4:12:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :268/3728 took 73653 ms. Total solver calls (SAT/UNSAT): 508569(727/507842)
Jun 02, 2017 4:12:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :272/3728 took 74678 ms. Total solver calls (SAT/UNSAT): 516041(739/515302)
Jun 02, 2017 4:12:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :276/3728 took 75697 ms. Total solver calls (SAT/UNSAT): 523513(751/522762)
Jun 02, 2017 4:12:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :280/3728 took 76714 ms. Total solver calls (SAT/UNSAT): 530985(763/530222)
Jun 02, 2017 4:12:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :284/3728 took 77733 ms. Total solver calls (SAT/UNSAT): 538457(775/537682)
Jun 02, 2017 4:12:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :288/3728 took 78751 ms. Total solver calls (SAT/UNSAT): 545929(787/545142)
Jun 02, 2017 4:12:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :292/3728 took 79769 ms. Total solver calls (SAT/UNSAT): 553401(799/552602)
Jun 02, 2017 4:12:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :296/3728 took 80787 ms. Total solver calls (SAT/UNSAT): 560873(811/560062)
Jun 02, 2017 4:12:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :300/3728 took 81806 ms. Total solver calls (SAT/UNSAT): 568345(823/567522)
Jun 02, 2017 4:12:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :304/3728 took 82825 ms. Total solver calls (SAT/UNSAT): 575817(835/574982)
Jun 02, 2017 4:12:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :308/3728 took 83861 ms. Total solver calls (SAT/UNSAT): 583289(847/582442)
Jun 02, 2017 4:12:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :312/3728 took 84889 ms. Total solver calls (SAT/UNSAT): 590761(859/589902)
Jun 02, 2017 4:12:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :316/3728 took 85917 ms. Total solver calls (SAT/UNSAT): 598233(871/597362)
Jun 02, 2017 4:12:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :320/3728 took 86937 ms. Total solver calls (SAT/UNSAT): 605704(883/604821)
Jun 02, 2017 4:12:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :324/3728 took 87954 ms. Total solver calls (SAT/UNSAT): 613176(895/612281)
Jun 02, 2017 4:13:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :328/3728 took 88970 ms. Total solver calls (SAT/UNSAT): 620648(907/619741)
Jun 02, 2017 4:13:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/3728 took 89988 ms. Total solver calls (SAT/UNSAT): 628120(919/627201)
Jun 02, 2017 4:13:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :336/3728 took 91006 ms. Total solver calls (SAT/UNSAT): 635592(931/634661)
Jun 02, 2017 4:13:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :340/3728 took 92025 ms. Total solver calls (SAT/UNSAT): 643064(943/642121)
Jun 02, 2017 4:13:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :344/3728 took 93040 ms. Total solver calls (SAT/UNSAT): 650536(955/649581)
Jun 02, 2017 4:13:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :348/3728 took 94080 ms. Total solver calls (SAT/UNSAT): 658008(967/657041)
Jun 02, 2017 4:13:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :352/3728 took 95099 ms. Total solver calls (SAT/UNSAT): 665480(979/664501)
Jun 02, 2017 4:13:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :356/3728 took 96119 ms. Total solver calls (SAT/UNSAT): 672952(991/671961)
Jun 02, 2017 4:13:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/3728 took 97138 ms. Total solver calls (SAT/UNSAT): 680424(1003/679421)
Jun 02, 2017 4:13:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :364/3728 took 98157 ms. Total solver calls (SAT/UNSAT): 687896(1015/686881)
Jun 02, 2017 4:13:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :368/3728 took 99175 ms. Total solver calls (SAT/UNSAT): 695368(1027/694341)
Jun 02, 2017 4:13:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :372/3728 took 100194 ms. Total solver calls (SAT/UNSAT): 702840(1039/701801)
Jun 02, 2017 4:13:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :376/3728 took 101211 ms. Total solver calls (SAT/UNSAT): 710312(1051/709261)
Jun 02, 2017 4:13:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/3728 took 102232 ms. Total solver calls (SAT/UNSAT): 717784(1063/716721)
Jun 02, 2017 4:13:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :384/3728 took 103252 ms. Total solver calls (SAT/UNSAT): 725256(1075/724181)
Jun 02, 2017 4:13:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :388/3728 took 104323 ms. Total solver calls (SAT/UNSAT): 732728(1087/731641)
Jun 02, 2017 4:13:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :392/3728 took 105331 ms. Total solver calls (SAT/UNSAT): 740200(1099/739101)
Jun 02, 2017 4:13:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :396/3728 took 106337 ms. Total solver calls (SAT/UNSAT): 747672(1111/746561)
Jun 02, 2017 4:13:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :400/3728 took 107338 ms. Total solver calls (SAT/UNSAT): 755143(1123/754020)
Jun 02, 2017 4:13:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :404/3728 took 108339 ms. Total solver calls (SAT/UNSAT): 762615(1135/761480)
Jun 02, 2017 4:13:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :408/3728 took 109343 ms. Total solver calls (SAT/UNSAT): 770087(1147/768940)
Jun 02, 2017 4:13:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :412/3728 took 110349 ms. Total solver calls (SAT/UNSAT): 777559(1159/776400)
Jun 02, 2017 4:13:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :416/3728 took 111351 ms. Total solver calls (SAT/UNSAT): 785031(1171/783860)
Jun 02, 2017 4:13:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :420/3728 took 112352 ms. Total solver calls (SAT/UNSAT): 792503(1183/791320)
Jun 02, 2017 4:13:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :424/3728 took 113357 ms. Total solver calls (SAT/UNSAT): 799975(1195/798780)
Jun 02, 2017 4:13:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :428/3728 took 114375 ms. Total solver calls (SAT/UNSAT): 807447(1207/806240)
Jun 02, 2017 4:13:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :432/3728 took 115420 ms. Total solver calls (SAT/UNSAT): 814919(1219/813700)
Jun 02, 2017 4:13:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :437/3728 took 116664 ms. Total solver calls (SAT/UNSAT): 824259(1234/823025)
Jun 02, 2017 4:13:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/3728 took 117909 ms. Total solver calls (SAT/UNSAT): 833599(1249/832350)
Jun 02, 2017 4:13:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :447/3728 took 119153 ms. Total solver calls (SAT/UNSAT): 842939(1264/841675)
Jun 02, 2017 4:13:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :452/3728 took 120398 ms. Total solver calls (SAT/UNSAT): 852279(1279/851000)
Jun 02, 2017 4:13:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :457/3728 took 121643 ms. Total solver calls (SAT/UNSAT): 861619(1294/860325)
Jun 02, 2017 4:13:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/3728 took 122891 ms. Total solver calls (SAT/UNSAT): 870959(1309/869650)
Jun 02, 2017 4:13:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :466/3728 took 123902 ms. Total solver calls (SAT/UNSAT): 878431(1321/877110)
Jun 02, 2017 4:13:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :470/3728 took 124938 ms. Total solver calls (SAT/UNSAT): 885903(1333/884570)
Jun 02, 2017 4:13:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :474/3728 took 125964 ms. Total solver calls (SAT/UNSAT): 893375(1345/892030)
Jun 02, 2017 4:13:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :478/3728 took 126964 ms. Total solver calls (SAT/UNSAT): 900847(1357/899490)
Jun 02, 2017 4:13:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :482/3728 took 127965 ms. Total solver calls (SAT/UNSAT): 908318(1369/906949)
Jun 02, 2017 4:13:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :486/3728 took 128968 ms. Total solver calls (SAT/UNSAT): 915790(1381/914409)
Jun 02, 2017 4:13:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :490/3728 took 129971 ms. Total solver calls (SAT/UNSAT): 923262(1393/921869)
Jun 02, 2017 4:13:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :494/3728 took 130974 ms. Total solver calls (SAT/UNSAT): 930734(1405/929329)
Jun 02, 2017 4:13:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :499/3728 took 132223 ms. Total solver calls (SAT/UNSAT): 940074(1420/938654)
Jun 02, 2017 4:13:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :503/3728 took 133226 ms. Total solver calls (SAT/UNSAT): 947546(1432/946114)
Jun 02, 2017 4:13:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :507/3728 took 134240 ms. Total solver calls (SAT/UNSAT): 955018(1444/953574)
Jun 02, 2017 4:13:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/3728 took 135240 ms. Total solver calls (SAT/UNSAT): 962490(1456/961034)
Jun 02, 2017 4:13:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/3728 took 136489 ms. Total solver calls (SAT/UNSAT): 971830(1471/970359)
Jun 02, 2017 4:13:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :520/3728 took 137490 ms. Total solver calls (SAT/UNSAT): 979302(1483/977819)
Jun 02, 2017 4:13:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :524/3728 took 138490 ms. Total solver calls (SAT/UNSAT): 986774(1495/985279)
Jun 02, 2017 4:13:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/3728 took 139737 ms. Total solver calls (SAT/UNSAT): 996114(1510/994604)
Jun 02, 2017 4:13:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :533/3728 took 140738 ms. Total solver calls (SAT/UNSAT): 1003586(1522/1002064)
Jun 02, 2017 4:13:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/3728 took 141986 ms. Total solver calls (SAT/UNSAT): 1012926(1537/1011389)
Jun 02, 2017 4:13:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/3728 took 142987 ms. Total solver calls (SAT/UNSAT): 1020398(1549/1018849)
Jun 02, 2017 4:13:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :547/3728 took 144236 ms. Total solver calls (SAT/UNSAT): 1029738(1564/1028174)
Jun 02, 2017 4:13:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :551/3728 took 145239 ms. Total solver calls (SAT/UNSAT): 1037210(1576/1035634)
Jun 02, 2017 4:13:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :556/3728 took 146482 ms. Total solver calls (SAT/UNSAT): 1046550(1591/1044959)
Jun 02, 2017 4:13:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :561/3728 took 147725 ms. Total solver calls (SAT/UNSAT): 1055889(1606/1054283)
Jun 02, 2017 4:14:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :566/3728 took 148969 ms. Total solver calls (SAT/UNSAT): 1065229(1621/1063608)
Jun 02, 2017 4:14:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :571/3728 took 150214 ms. Total solver calls (SAT/UNSAT): 1074569(1636/1072933)
Jun 02, 2017 4:14:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :576/3728 took 151460 ms. Total solver calls (SAT/UNSAT): 1083909(1651/1082258)
Jun 02, 2017 4:14:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :581/3728 took 152705 ms. Total solver calls (SAT/UNSAT): 1093249(1666/1091583)
Jun 02, 2017 4:14:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :586/3728 took 153952 ms. Total solver calls (SAT/UNSAT): 1102589(1681/1100908)
Jun 02, 2017 4:14:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :591/3728 took 155201 ms. Total solver calls (SAT/UNSAT): 1111929(1696/1110233)
Jun 02, 2017 4:14:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :596/3728 took 156448 ms. Total solver calls (SAT/UNSAT): 1121269(1711/1119558)
Jun 02, 2017 4:14:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :600/3728 took 157515 ms. Total solver calls (SAT/UNSAT): 1128741(1723/1127018)
Jun 02, 2017 4:14:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :604/3728 took 158608 ms. Total solver calls (SAT/UNSAT): 1136213(1735/1134478)
Jun 02, 2017 4:14:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :608/3728 took 159627 ms. Total solver calls (SAT/UNSAT): 1143685(1747/1141938)
Jun 02, 2017 4:14:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :612/3728 took 160646 ms. Total solver calls (SAT/UNSAT): 1151157(1759/1149398)
Jun 02, 2017 4:14:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :616/3728 took 161667 ms. Total solver calls (SAT/UNSAT): 1158629(1771/1156858)
Jun 02, 2017 4:14:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :620/3728 took 162685 ms. Total solver calls (SAT/UNSAT): 1166101(1783/1164318)
Jun 02, 2017 4:14:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :624/3728 took 163761 ms. Total solver calls (SAT/UNSAT): 1173573(1795/1171778)
Jun 02, 2017 4:14:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :628/3728 took 164890 ms. Total solver calls (SAT/UNSAT): 1181045(1807/1179238)
Jun 02, 2017 4:14:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :632/3728 took 166026 ms. Total solver calls (SAT/UNSAT): 1188517(1819/1186698)
Jun 02, 2017 4:14:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :636/3728 took 167152 ms. Total solver calls (SAT/UNSAT): 1195989(1831/1194158)
Jun 02, 2017 4:14:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :640/3728 took 168278 ms. Total solver calls (SAT/UNSAT): 1203460(1843/1201617)
Jun 02, 2017 4:14:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :644/3728 took 169375 ms. Total solver calls (SAT/UNSAT): 1210932(1855/1209077)
Jun 02, 2017 4:14:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :648/3728 took 170398 ms. Total solver calls (SAT/UNSAT): 1218404(1867/1216537)
Jun 02, 2017 4:14:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :652/3728 took 171422 ms. Total solver calls (SAT/UNSAT): 1225876(1879/1223997)
Jun 02, 2017 4:14:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :656/3728 took 172447 ms. Total solver calls (SAT/UNSAT): 1233348(1891/1231457)
Jun 02, 2017 4:14:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :660/3728 took 173468 ms. Total solver calls (SAT/UNSAT): 1240820(1903/1238917)
Jun 02, 2017 4:14:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :664/3728 took 174490 ms. Total solver calls (SAT/UNSAT): 1248292(1915/1246377)
Jun 02, 2017 4:14:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :668/3728 took 175524 ms. Total solver calls (SAT/UNSAT): 1255764(1927/1253837)
Jun 02, 2017 4:14:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :672/3728 took 176560 ms. Total solver calls (SAT/UNSAT): 1263236(1939/1261297)
Jun 02, 2017 4:14:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :676/3728 took 177597 ms. Total solver calls (SAT/UNSAT): 1270708(1951/1268757)
Jun 02, 2017 4:14:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :680/3728 took 178623 ms. Total solver calls (SAT/UNSAT): 1278180(1963/1276217)
Jun 02, 2017 4:14:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :684/3728 took 179649 ms. Total solver calls (SAT/UNSAT): 1285652(1975/1283677)
Jun 02, 2017 4:14:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :688/3728 took 180678 ms. Total solver calls (SAT/UNSAT): 1293124(1987/1291137)
Jun 02, 2017 4:14:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :692/3728 took 181705 ms. Total solver calls (SAT/UNSAT): 1300596(1999/1298597)
Jun 02, 2017 4:14:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :696/3728 took 182734 ms. Total solver calls (SAT/UNSAT): 1308068(2011/1306057)
Jun 02, 2017 4:14:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :700/3728 took 183761 ms. Total solver calls (SAT/UNSAT): 1315540(2023/1313517)
Jun 02, 2017 4:14:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :704/3728 took 184791 ms. Total solver calls (SAT/UNSAT): 1323012(2035/1320977)
Jun 02, 2017 4:14:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :708/3728 took 185816 ms. Total solver calls (SAT/UNSAT): 1330484(2047/1328437)
Jun 02, 2017 4:14:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :712/3728 took 186841 ms. Total solver calls (SAT/UNSAT): 1337956(2059/1335897)
Jun 02, 2017 4:14:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :716/3728 took 187865 ms. Total solver calls (SAT/UNSAT): 1345428(2071/1343357)
Jun 02, 2017 4:14:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :720/3728 took 188889 ms. Total solver calls (SAT/UNSAT): 1352899(2083/1350816)
Jun 02, 2017 4:14:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :724/3728 took 189910 ms. Total solver calls (SAT/UNSAT): 1360371(2095/1358276)
Jun 02, 2017 4:14:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :728/3728 took 190932 ms. Total solver calls (SAT/UNSAT): 1367843(2107/1365736)
Jun 02, 2017 4:14:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :732/3728 took 191957 ms. Total solver calls (SAT/UNSAT): 1375315(2119/1373196)
Jun 02, 2017 4:14:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :736/3728 took 192984 ms. Total solver calls (SAT/UNSAT): 1382787(2131/1380656)
Jun 02, 2017 4:14:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :740/3728 took 194018 ms. Total solver calls (SAT/UNSAT): 1390259(2143/1388116)
Jun 02, 2017 4:14:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :744/3728 took 195041 ms. Total solver calls (SAT/UNSAT): 1397731(2155/1395576)
Jun 02, 2017 4:14:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :748/3728 took 196060 ms. Total solver calls (SAT/UNSAT): 1405203(2167/1403036)
Jun 02, 2017 4:14:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :752/3728 took 197080 ms. Total solver calls (SAT/UNSAT): 1412675(2179/1410496)
Jun 02, 2017 4:14:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :756/3728 took 198101 ms. Total solver calls (SAT/UNSAT): 1420147(2191/1417956)
Jun 02, 2017 4:14:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :760/3728 took 199124 ms. Total solver calls (SAT/UNSAT): 1427619(2203/1425416)
Jun 02, 2017 4:14:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :764/3728 took 200147 ms. Total solver calls (SAT/UNSAT): 1435091(2215/1432876)
Jun 02, 2017 4:14:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :768/3728 took 201171 ms. Total solver calls (SAT/UNSAT): 1442563(2227/1440336)
Jun 02, 2017 4:14:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :772/3728 took 202200 ms. Total solver calls (SAT/UNSAT): 1450035(2239/1447796)
Jun 02, 2017 4:14:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :776/3728 took 203219 ms. Total solver calls (SAT/UNSAT): 1457507(2251/1455256)
Jun 02, 2017 4:14:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :780/3728 took 204242 ms. Total solver calls (SAT/UNSAT): 1464979(2263/1462716)
Jun 02, 2017 4:14:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :784/3728 took 205265 ms. Total solver calls (SAT/UNSAT): 1472451(2275/1470176)
Jun 02, 2017 4:14:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :788/3728 took 206285 ms. Total solver calls (SAT/UNSAT): 1479923(2287/1477636)
Jun 02, 2017 4:14:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :792/3728 took 207304 ms. Total solver calls (SAT/UNSAT): 1487395(2299/1485096)
Jun 02, 2017 4:14:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :796/3728 took 208324 ms. Total solver calls (SAT/UNSAT): 1494867(2311/1492556)
Jun 02, 2017 4:15:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :800/3728 took 209345 ms. Total solver calls (SAT/UNSAT): 1502338(2323/1500015)
Jun 02, 2017 4:15:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :804/3728 took 210375 ms. Total solver calls (SAT/UNSAT): 1509810(2335/1507475)
Jun 02, 2017 4:15:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :808/3728 took 211394 ms. Total solver calls (SAT/UNSAT): 1517282(2347/1514935)
Jun 02, 2017 4:15:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :812/3728 took 212417 ms. Total solver calls (SAT/UNSAT): 1524754(2359/1522395)
Jun 02, 2017 4:15:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :816/3728 took 213439 ms. Total solver calls (SAT/UNSAT): 1532226(2371/1529855)
Jun 02, 2017 4:15:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :820/3728 took 214459 ms. Total solver calls (SAT/UNSAT): 1539698(2383/1537315)
Jun 02, 2017 4:15:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :824/3728 took 215477 ms. Total solver calls (SAT/UNSAT): 1547170(2395/1544775)
Jun 02, 2017 4:15:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :828/3728 took 216497 ms. Total solver calls (SAT/UNSAT): 1554642(2407/1552235)
Jun 02, 2017 4:15:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :832/3728 took 217518 ms. Total solver calls (SAT/UNSAT): 1562114(2419/1559695)
Jun 02, 2017 4:15:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :836/3728 took 218552 ms. Total solver calls (SAT/UNSAT): 1569586(2431/1567155)
Jun 02, 2017 4:15:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :840/3728 took 219574 ms. Total solver calls (SAT/UNSAT): 1577058(2443/1574615)
Jun 02, 2017 4:15:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :844/3728 took 220594 ms. Total solver calls (SAT/UNSAT): 1584530(2455/1582075)
Jun 02, 2017 4:15:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :848/3728 took 221615 ms. Total solver calls (SAT/UNSAT): 1592002(2467/1589535)
Jun 02, 2017 4:15:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :852/3728 took 222633 ms. Total solver calls (SAT/UNSAT): 1599474(2479/1596995)
Jun 02, 2017 4:15:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :856/3728 took 223651 ms. Total solver calls (SAT/UNSAT): 1606946(2491/1604455)
Jun 02, 2017 4:15:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :860/3728 took 224670 ms. Total solver calls (SAT/UNSAT): 1614418(2503/1611915)
Jun 02, 2017 4:15:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :864/3728 took 225699 ms. Total solver calls (SAT/UNSAT): 1621890(2515/1619375)
Jun 02, 2017 4:15:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :868/3728 took 226725 ms. Total solver calls (SAT/UNSAT): 1629362(2527/1626835)
Jun 02, 2017 4:15:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :872/3728 took 227747 ms. Total solver calls (SAT/UNSAT): 1636834(2539/1634295)
Jun 02, 2017 4:15:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :876/3728 took 228768 ms. Total solver calls (SAT/UNSAT): 1644306(2551/1641755)
Jun 02, 2017 4:15:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :880/3728 took 229787 ms. Total solver calls (SAT/UNSAT): 1651777(2563/1649214)
Jun 02, 2017 4:15:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :884/3728 took 230806 ms. Total solver calls (SAT/UNSAT): 1659249(2575/1656674)
Jun 02, 2017 4:15:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :888/3728 took 231826 ms. Total solver calls (SAT/UNSAT): 1666721(2587/1664134)
Jun 02, 2017 4:15:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :892/3728 took 232860 ms. Total solver calls (SAT/UNSAT): 1674193(2599/1671594)
Jun 02, 2017 4:15:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :896/3728 took 233889 ms. Total solver calls (SAT/UNSAT): 1681665(2611/1679054)
Jun 02, 2017 4:15:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :900/3728 took 234912 ms. Total solver calls (SAT/UNSAT): 1689137(2623/1686514)
Jun 02, 2017 4:15:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :904/3728 took 235934 ms. Total solver calls (SAT/UNSAT): 1696609(2635/1693974)
Jun 02, 2017 4:15:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :908/3728 took 236956 ms. Total solver calls (SAT/UNSAT): 1704081(2647/1701434)
Jun 02, 2017 4:15:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :912/3728 took 237980 ms. Total solver calls (SAT/UNSAT): 1711553(2659/1708894)
Jun 02, 2017 4:15:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :916/3728 took 239006 ms. Total solver calls (SAT/UNSAT): 1719025(2671/1716354)
Jun 02, 2017 4:15:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :920/3728 took 240045 ms. Total solver calls (SAT/UNSAT): 1726497(2683/1723814)
Jun 02, 2017 4:15:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :924/3728 took 241081 ms. Total solver calls (SAT/UNSAT): 1733969(2695/1731274)
Jun 02, 2017 4:15:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :928/3728 took 242112 ms. Total solver calls (SAT/UNSAT): 1741441(2707/1738734)
Jun 02, 2017 4:15:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :932/3728 took 243135 ms. Total solver calls (SAT/UNSAT): 1748913(2719/1746194)
Jun 02, 2017 4:15:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :936/3728 took 244159 ms. Total solver calls (SAT/UNSAT): 1756385(2731/1753654)
Jun 02, 2017 4:15:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :940/3728 took 245181 ms. Total solver calls (SAT/UNSAT): 1763857(2743/1761114)
Jun 02, 2017 4:15:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :944/3728 took 246213 ms. Total solver calls (SAT/UNSAT): 1771329(2755/1768574)
Jun 02, 2017 4:15:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :948/3728 took 247236 ms. Total solver calls (SAT/UNSAT): 1778801(2767/1776034)
Jun 02, 2017 4:15:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :952/3728 took 248258 ms. Total solver calls (SAT/UNSAT): 1786273(2779/1783494)
Jun 02, 2017 4:15:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :956/3728 took 249278 ms. Total solver calls (SAT/UNSAT): 1793745(2791/1790954)
Jun 02, 2017 4:15:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :960/3728 took 250298 ms. Total solver calls (SAT/UNSAT): 1801216(2803/1798413)
Jun 02, 2017 4:15:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :964/3728 took 251320 ms. Total solver calls (SAT/UNSAT): 1808688(2815/1805873)
Jun 02, 2017 4:15:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :968/3728 took 252350 ms. Total solver calls (SAT/UNSAT): 1816160(2827/1813333)
Jun 02, 2017 4:15:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :972/3728 took 253380 ms. Total solver calls (SAT/UNSAT): 1823632(2839/1820793)
Jun 02, 2017 4:15:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :976/3728 took 254410 ms. Total solver calls (SAT/UNSAT): 1831104(2851/1828253)
Jun 02, 2017 4:15:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :980/3728 took 255478 ms. Total solver calls (SAT/UNSAT): 1838576(2863/1835713)
Jun 02, 2017 4:15:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :984/3728 took 256514 ms. Total solver calls (SAT/UNSAT): 1846048(2875/1843173)
Jun 02, 2017 4:15:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :988/3728 took 257551 ms. Total solver calls (SAT/UNSAT): 1853520(2887/1850633)
Jun 02, 2017 4:15:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :992/3728 took 258593 ms. Total solver calls (SAT/UNSAT): 1860992(2899/1858093)
Jun 02, 2017 4:15:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :996/3728 took 259622 ms. Total solver calls (SAT/UNSAT): 1868464(2911/1865553)
Jun 02, 2017 4:15:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1000/3728 took 260643 ms. Total solver calls (SAT/UNSAT): 1875936(2923/1873013)
Jun 02, 2017 4:15:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1004/3728 took 261665 ms. Total solver calls (SAT/UNSAT): 1883408(2935/1880473)
Jun 02, 2017 4:15:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1008/3728 took 262686 ms. Total solver calls (SAT/UNSAT): 1890880(2947/1887933)
Jun 02, 2017 4:15:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1012/3728 took 263707 ms. Total solver calls (SAT/UNSAT): 1898352(2959/1895393)
Jun 02, 2017 4:15:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1016/3728 took 264733 ms. Total solver calls (SAT/UNSAT): 1905824(2971/1902853)
Jun 02, 2017 4:15:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1020/3728 took 265758 ms. Total solver calls (SAT/UNSAT): 1913296(2983/1910313)
Jun 02, 2017 4:15:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1024/3728 took 266782 ms. Total solver calls (SAT/UNSAT): 1920768(2995/1917773)
Jun 02, 2017 4:15:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1028/3728 took 267808 ms. Total solver calls (SAT/UNSAT): 1928240(3007/1925233)
Jun 02, 2017 4:16:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1032/3728 took 268832 ms. Total solver calls (SAT/UNSAT): 1935712(3019/1932693)
Jun 02, 2017 4:16:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1036/3728 took 269867 ms. Total solver calls (SAT/UNSAT): 1943184(3031/1940153)
Jun 02, 2017 4:16:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1040/3728 took 270901 ms. Total solver calls (SAT/UNSAT): 1950655(3043/1947612)
Jun 02, 2017 4:16:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1044/3728 took 271929 ms. Total solver calls (SAT/UNSAT): 1958127(3055/1955072)
Jun 02, 2017 4:16:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1048/3728 took 272956 ms. Total solver calls (SAT/UNSAT): 1965599(3067/1962532)
Jun 02, 2017 4:16:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1052/3728 took 273984 ms. Total solver calls (SAT/UNSAT): 1973071(3079/1969992)
Jun 02, 2017 4:16:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1056/3728 took 275010 ms. Total solver calls (SAT/UNSAT): 1980543(3091/1977452)
Jun 02, 2017 4:16:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1060/3728 took 276051 ms. Total solver calls (SAT/UNSAT): 1988015(3103/1984912)
Jun 02, 2017 4:16:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1064/3728 took 277088 ms. Total solver calls (SAT/UNSAT): 1995487(3115/1992372)
Jun 02, 2017 4:16:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1068/3728 took 278127 ms. Total solver calls (SAT/UNSAT): 2002959(3127/1999832)
Jun 02, 2017 4:16:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1072/3728 took 279162 ms. Total solver calls (SAT/UNSAT): 2010431(3139/2007292)
Jun 02, 2017 4:16:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1076/3728 took 280190 ms. Total solver calls (SAT/UNSAT): 2017903(3151/2014752)
Jun 02, 2017 4:16:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1080/3728 took 281227 ms. Total solver calls (SAT/UNSAT): 2025375(3163/2022212)
Jun 02, 2017 4:16:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1084/3728 took 282263 ms. Total solver calls (SAT/UNSAT): 2032847(3175/2029672)
Jun 02, 2017 4:16:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1088/3728 took 283291 ms. Total solver calls (SAT/UNSAT): 2040319(3187/2037132)
Jun 02, 2017 4:16:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1092/3728 took 284317 ms. Total solver calls (SAT/UNSAT): 2047791(3199/2044592)
Jun 02, 2017 4:16:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1096/3728 took 285346 ms. Total solver calls (SAT/UNSAT): 2055263(3211/2052052)
Jun 02, 2017 4:16:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1100/3728 took 286385 ms. Total solver calls (SAT/UNSAT): 2062735(3223/2059512)
Jun 02, 2017 4:16:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1104/3728 took 287415 ms. Total solver calls (SAT/UNSAT): 2070207(3235/2066972)
Jun 02, 2017 4:16:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1108/3728 took 288480 ms. Total solver calls (SAT/UNSAT): 2077679(3247/2074432)
Jun 02, 2017 4:16:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1112/3728 took 289494 ms. Total solver calls (SAT/UNSAT): 2085151(3259/2081892)
Jun 02, 2017 4:16:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1116/3728 took 290517 ms. Total solver calls (SAT/UNSAT): 2092623(3271/2089352)
Jun 02, 2017 4:16:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1120/3728 took 291524 ms. Total solver calls (SAT/UNSAT): 2100094(3283/2096811)
Jun 02, 2017 4:16:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1124/3728 took 292532 ms. Total solver calls (SAT/UNSAT): 2107566(3295/2104271)
Jun 02, 2017 4:16:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1128/3728 took 293541 ms. Total solver calls (SAT/UNSAT): 2115038(3307/2111731)
Jun 02, 2017 4:16:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1132/3728 took 294547 ms. Total solver calls (SAT/UNSAT): 2122510(3319/2119191)
Jun 02, 2017 4:16:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1136/3728 took 295573 ms. Total solver calls (SAT/UNSAT): 2129982(3331/2126651)
Jun 02, 2017 4:16:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1140/3728 took 296587 ms. Total solver calls (SAT/UNSAT): 2137454(3343/2134111)
Jun 02, 2017 4:16:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1144/3728 took 297602 ms. Total solver calls (SAT/UNSAT): 2144926(3355/2141571)
Jun 02, 2017 4:16:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1148/3728 took 298615 ms. Total solver calls (SAT/UNSAT): 2152398(3367/2149031)
Jun 02, 2017 4:16:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1152/3728 took 299633 ms. Total solver calls (SAT/UNSAT): 2159870(3379/2156491)
Jun 02, 2017 4:16:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1156/3728 took 300642 ms. Total solver calls (SAT/UNSAT): 2167342(3391/2163951)
Jun 02, 2017 4:16:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1160/3728 took 301647 ms. Total solver calls (SAT/UNSAT): 2174814(3403/2171411)
Jun 02, 2017 4:16:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1164/3728 took 302773 ms. Total solver calls (SAT/UNSAT): 2182286(3415/2178871)
Jun 02, 2017 4:16:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1168/3728 took 303901 ms. Total solver calls (SAT/UNSAT): 2189758(3427/2186331)
Jun 02, 2017 4:16:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1172/3728 took 305027 ms. Total solver calls (SAT/UNSAT): 2197230(3439/2193791)
Jun 02, 2017 4:16:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1176/3728 took 306152 ms. Total solver calls (SAT/UNSAT): 2204702(3451/2201251)
Jun 02, 2017 4:16:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1180/3728 took 307279 ms. Total solver calls (SAT/UNSAT): 2212174(3463/2208711)
Jun 02, 2017 4:16:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1184/3728 took 308409 ms. Total solver calls (SAT/UNSAT): 2219646(3475/2216171)
Jun 02, 2017 4:16:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1188/3728 took 309539 ms. Total solver calls (SAT/UNSAT): 2227118(3487/2223631)
Jun 02, 2017 4:16:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1192/3728 took 310666 ms. Total solver calls (SAT/UNSAT): 2234590(3499/2231091)
Jun 02, 2017 4:16:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1196/3728 took 311792 ms. Total solver calls (SAT/UNSAT): 2242062(3511/2238551)
Jun 02, 2017 4:16:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1200/3728 took 312923 ms. Total solver calls (SAT/UNSAT): 2249533(3523/2246010)
Jun 02, 2017 4:16:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1204/3728 took 314046 ms. Total solver calls (SAT/UNSAT): 2257005(3535/2253470)
Jun 02, 2017 4:16:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1208/3728 took 315170 ms. Total solver calls (SAT/UNSAT): 2264477(3547/2260930)
Jun 02, 2017 4:16:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1212/3728 took 316294 ms. Total solver calls (SAT/UNSAT): 2271949(3559/2268390)
Jun 02, 2017 4:16:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1216/3728 took 317437 ms. Total solver calls (SAT/UNSAT): 2279421(3571/2275850)
Jun 02, 2017 4:16:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1220/3728 took 318569 ms. Total solver calls (SAT/UNSAT): 2286893(3583/2283310)
Jun 02, 2017 4:16:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1224/3728 took 319695 ms. Total solver calls (SAT/UNSAT): 2294365(3595/2290770)
Jun 02, 2017 4:16:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1228/3728 took 320830 ms. Total solver calls (SAT/UNSAT): 2301837(3607/2298230)
Jun 02, 2017 4:16:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1232/3728 took 321965 ms. Total solver calls (SAT/UNSAT): 2309309(3619/2305690)
Jun 02, 2017 4:16:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1236/3728 took 323093 ms. Total solver calls (SAT/UNSAT): 2316781(3631/2313150)
Jun 02, 2017 4:16:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1240/3728 took 324215 ms. Total solver calls (SAT/UNSAT): 2324253(3643/2320610)
Jun 02, 2017 4:16:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1244/3728 took 325352 ms. Total solver calls (SAT/UNSAT): 2331725(3655/2328070)
Jun 02, 2017 4:16:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1248/3728 took 326477 ms. Total solver calls (SAT/UNSAT): 2339197(3667/2335530)
Jun 02, 2017 4:16:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1252/3728 took 327600 ms. Total solver calls (SAT/UNSAT): 2346669(3679/2342990)
Jun 02, 2017 4:17:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1256/3728 took 328734 ms. Total solver calls (SAT/UNSAT): 2354141(3691/2350450)
Jun 02, 2017 4:17:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1260/3728 took 329866 ms. Total solver calls (SAT/UNSAT): 2361613(3703/2357910)
Jun 02, 2017 4:17:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1264/3728 took 330993 ms. Total solver calls (SAT/UNSAT): 2369085(3715/2365370)
Jun 02, 2017 4:17:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1268/3728 took 332128 ms. Total solver calls (SAT/UNSAT): 2376557(3727/2372830)
Jun 02, 2017 4:17:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1272/3728 took 333263 ms. Total solver calls (SAT/UNSAT): 2384029(3739/2380290)
Jun 02, 2017 4:17:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1276/3728 took 334399 ms. Total solver calls (SAT/UNSAT): 2391501(3751/2387750)
Jun 02, 2017 4:17:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1280/3728 took 335534 ms. Total solver calls (SAT/UNSAT): 2398972(3763/2395209)
Jun 02, 2017 4:17:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1284/3728 took 336667 ms. Total solver calls (SAT/UNSAT): 2406444(3775/2402669)
Jun 02, 2017 4:17:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1288/3728 took 337802 ms. Total solver calls (SAT/UNSAT): 2413916(3787/2410129)
Jun 02, 2017 4:17:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1292/3728 took 338930 ms. Total solver calls (SAT/UNSAT): 2421388(3799/2417589)
Jun 02, 2017 4:17:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1296/3728 took 339939 ms. Total solver calls (SAT/UNSAT): 2428860(3811/2425049)
Jun 02, 2017 4:17:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1300/3728 took 340945 ms. Total solver calls (SAT/UNSAT): 2436332(3823/2432509)
Jun 02, 2017 4:17:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1304/3728 took 341959 ms. Total solver calls (SAT/UNSAT): 2443804(3835/2439969)
Jun 02, 2017 4:17:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1308/3728 took 342967 ms. Total solver calls (SAT/UNSAT): 2451276(3847/2447429)
Jun 02, 2017 4:17:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1312/3728 took 343974 ms. Total solver calls (SAT/UNSAT): 2458748(3859/2454889)
Jun 02, 2017 4:17:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1316/3728 took 344989 ms. Total solver calls (SAT/UNSAT): 2466220(3871/2462349)
Jun 02, 2017 4:17:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1320/3728 took 345999 ms. Total solver calls (SAT/UNSAT): 2473692(3883/2469809)
Jun 02, 2017 4:17:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1324/3728 took 347004 ms. Total solver calls (SAT/UNSAT): 2481164(3895/2477269)
Jun 02, 2017 4:17:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1328/3728 took 348018 ms. Total solver calls (SAT/UNSAT): 2488636(3907/2484729)
Jun 02, 2017 4:17:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1332/3728 took 349032 ms. Total solver calls (SAT/UNSAT): 2496108(3919/2492189)
Jun 02, 2017 4:17:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1336/3728 took 350118 ms. Total solver calls (SAT/UNSAT): 2503580(3931/2499649)
Jun 02, 2017 4:17:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1340/3728 took 351151 ms. Total solver calls (SAT/UNSAT): 2511052(3943/2507109)
Jun 02, 2017 4:17:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1344/3728 took 352178 ms. Total solver calls (SAT/UNSAT): 2518524(3955/2514569)
Jun 02, 2017 4:17:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1348/3728 took 353216 ms. Total solver calls (SAT/UNSAT): 2525996(3967/2522029)
Jun 02, 2017 4:17:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1352/3728 took 354254 ms. Total solver calls (SAT/UNSAT): 2533468(3979/2529489)
Jun 02, 2017 4:17:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1356/3728 took 355285 ms. Total solver calls (SAT/UNSAT): 2540940(3991/2536949)
Jun 02, 2017 4:17:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1360/3728 took 356325 ms. Total solver calls (SAT/UNSAT): 2548411(4003/2544408)
Jun 02, 2017 4:17:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1364/3728 took 357362 ms. Total solver calls (SAT/UNSAT): 2555883(4015/2551868)
Jun 02, 2017 4:17:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1368/3728 took 358406 ms. Total solver calls (SAT/UNSAT): 2563355(4027/2559328)
Jun 02, 2017 4:17:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1372/3728 took 359435 ms. Total solver calls (SAT/UNSAT): 2570827(4039/2566788)
Jun 02, 2017 4:17:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1376/3728 took 360498 ms. Total solver calls (SAT/UNSAT): 2578299(4051/2574248)
Jun 02, 2017 4:17:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1380/3728 took 361508 ms. Total solver calls (SAT/UNSAT): 2585771(4063/2581708)
Jun 02, 2017 4:17:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1384/3728 took 362518 ms. Total solver calls (SAT/UNSAT): 2593243(4075/2589168)
Jun 02, 2017 4:17:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1388/3728 took 363525 ms. Total solver calls (SAT/UNSAT): 2600715(4087/2596628)
Jun 02, 2017 4:17:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1392/3728 took 364529 ms. Total solver calls (SAT/UNSAT): 2608187(4099/2604088)
Jun 02, 2017 4:17:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1396/3728 took 365538 ms. Total solver calls (SAT/UNSAT): 2615659(4111/2611548)
Jun 02, 2017 4:17:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1400/3728 took 366544 ms. Total solver calls (SAT/UNSAT): 2623131(4123/2619008)
Jun 02, 2017 4:17:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1404/3728 took 367550 ms. Total solver calls (SAT/UNSAT): 2630603(4135/2626468)
Jun 02, 2017 4:17:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1408/3728 took 368555 ms. Total solver calls (SAT/UNSAT): 2638075(4147/2633928)
Jun 02, 2017 4:17:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1412/3728 took 369563 ms. Total solver calls (SAT/UNSAT): 2645547(4159/2641388)
Jun 02, 2017 4:17:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1416/3728 took 370569 ms. Total solver calls (SAT/UNSAT): 2653019(4171/2648848)
Jun 02, 2017 4:17:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1420/3728 took 371578 ms. Total solver calls (SAT/UNSAT): 2660491(4183/2656308)
Jun 02, 2017 4:17:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1424/3728 took 372582 ms. Total solver calls (SAT/UNSAT): 2667963(4195/2663768)
Jun 02, 2017 4:17:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1428/3728 took 373591 ms. Total solver calls (SAT/UNSAT): 2675435(4207/2671228)
Jun 02, 2017 4:17:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1432/3728 took 374597 ms. Total solver calls (SAT/UNSAT): 2682907(4219/2678688)
Jun 02, 2017 4:17:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1436/3728 took 375610 ms. Total solver calls (SAT/UNSAT): 2690379(4231/2686148)
Jun 02, 2017 4:17:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1440/3728 took 376623 ms. Total solver calls (SAT/UNSAT): 2697850(4243/2693607)
Jun 02, 2017 4:17:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1444/3728 took 377638 ms. Total solver calls (SAT/UNSAT): 2705322(4255/2701067)
Jun 02, 2017 4:17:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1448/3728 took 378647 ms. Total solver calls (SAT/UNSAT): 2712794(4267/2708527)
Jun 02, 2017 4:17:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1452/3728 took 379668 ms. Total solver calls (SAT/UNSAT): 2720266(4279/2715987)
Jun 02, 2017 4:17:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1456/3728 took 380730 ms. Total solver calls (SAT/UNSAT): 2727738(4291/2723447)
Jun 02, 2017 4:17:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1460/3728 took 381768 ms. Total solver calls (SAT/UNSAT): 2735210(4303/2730907)
Jun 02, 2017 4:17:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1464/3728 took 382799 ms. Total solver calls (SAT/UNSAT): 2742682(4315/2738367)
Jun 02, 2017 4:17:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1468/3728 took 383826 ms. Total solver calls (SAT/UNSAT): 2750154(4327/2745827)
Jun 02, 2017 4:17:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1472/3728 took 384859 ms. Total solver calls (SAT/UNSAT): 2757626(4339/2753287)
Jun 02, 2017 4:17:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1476/3728 took 385892 ms. Total solver calls (SAT/UNSAT): 2765098(4351/2760747)
Jun 02, 2017 4:17:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1480/3728 took 386923 ms. Total solver calls (SAT/UNSAT): 2772570(4363/2768207)
Jun 02, 2017 4:17:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1484/3728 took 387953 ms. Total solver calls (SAT/UNSAT): 2780042(4375/2775667)
Jun 02, 2017 4:18:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1488/3728 took 388984 ms. Total solver calls (SAT/UNSAT): 2787514(4387/2783127)
Jun 02, 2017 4:18:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1492/3728 took 390022 ms. Total solver calls (SAT/UNSAT): 2794986(4399/2790587)
Jun 02, 2017 4:18:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1496/3728 took 391050 ms. Total solver calls (SAT/UNSAT): 2802458(4411/2798047)
Jun 02, 2017 4:18:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1500/3728 took 392087 ms. Total solver calls (SAT/UNSAT): 2809930(4423/2805507)
Jun 02, 2017 4:18:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1504/3728 took 393128 ms. Total solver calls (SAT/UNSAT): 2817402(4435/2812967)
Jun 02, 2017 4:18:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1508/3728 took 394159 ms. Total solver calls (SAT/UNSAT): 2824874(4447/2820427)
Jun 02, 2017 4:18:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1512/3728 took 395191 ms. Total solver calls (SAT/UNSAT): 2832346(4459/2827887)
Jun 02, 2017 4:18:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1516/3728 took 396275 ms. Total solver calls (SAT/UNSAT): 2839818(4471/2835347)
Jun 02, 2017 4:18:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1520/3728 took 397313 ms. Total solver calls (SAT/UNSAT): 2847289(4483/2842806)
Jun 02, 2017 4:18:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1524/3728 took 398355 ms. Total solver calls (SAT/UNSAT): 2854761(4495/2850266)
Jun 02, 2017 4:18:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1528/3728 took 399393 ms. Total solver calls (SAT/UNSAT): 2862233(4507/2857726)
Jun 02, 2017 4:18:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1532/3728 took 400432 ms. Total solver calls (SAT/UNSAT): 2869705(4519/2865186)
Jun 02, 2017 4:18:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1536/3728 took 401477 ms. Total solver calls (SAT/UNSAT): 2877177(4531/2872646)
Jun 02, 2017 4:18:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1540/3728 took 402521 ms. Total solver calls (SAT/UNSAT): 2884649(4543/2880106)
Jun 02, 2017 4:18:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1544/3728 took 403560 ms. Total solver calls (SAT/UNSAT): 2892121(4555/2887566)
Jun 02, 2017 4:18:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1548/3728 took 404599 ms. Total solver calls (SAT/UNSAT): 2899593(4567/2895026)
Jun 02, 2017 4:18:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1552/3728 took 405643 ms. Total solver calls (SAT/UNSAT): 2907065(4579/2902486)
Jun 02, 2017 4:18:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1556/3728 took 406685 ms. Total solver calls (SAT/UNSAT): 2914537(4591/2909946)
Jun 02, 2017 4:18:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1560/3728 took 407722 ms. Total solver calls (SAT/UNSAT): 2922009(4603/2917406)
Jun 02, 2017 4:18:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1564/3728 took 408764 ms. Total solver calls (SAT/UNSAT): 2929481(4615/2924866)
Jun 02, 2017 4:18:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1568/3728 took 409816 ms. Total solver calls (SAT/UNSAT): 2936953(4627/2932326)
Jun 02, 2017 4:18:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1572/3728 took 410859 ms. Total solver calls (SAT/UNSAT): 2944425(4639/2939786)
Jun 02, 2017 4:18:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1576/3728 took 411900 ms. Total solver calls (SAT/UNSAT): 2951897(4651/2947246)
Jun 02, 2017 4:18:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1580/3728 took 412937 ms. Total solver calls (SAT/UNSAT): 2959369(4663/2954706)
Jun 02, 2017 4:18:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1584/3728 took 413977 ms. Total solver calls (SAT/UNSAT): 2966841(4675/2962166)
Jun 02, 2017 4:18:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1588/3728 took 415008 ms. Total solver calls (SAT/UNSAT): 2974313(4687/2969626)
Jun 02, 2017 4:18:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1592/3728 took 416045 ms. Total solver calls (SAT/UNSAT): 2981785(4699/2977086)
Jun 02, 2017 4:18:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1596/3728 took 417079 ms. Total solver calls (SAT/UNSAT): 2989257(4711/2984546)
Jun 02, 2017 4:18:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1600/3728 took 418118 ms. Total solver calls (SAT/UNSAT): 2996728(4723/2992005)
Jun 02, 2017 4:18:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1604/3728 took 419163 ms. Total solver calls (SAT/UNSAT): 3004200(4735/2999465)
Jun 02, 2017 4:18:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1608/3728 took 420199 ms. Total solver calls (SAT/UNSAT): 3011672(4747/3006925)
Jun 02, 2017 4:18:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1612/3728 took 421232 ms. Total solver calls (SAT/UNSAT): 3019144(4759/3014385)
Jun 02, 2017 4:18:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1616/3728 took 422266 ms. Total solver calls (SAT/UNSAT): 3026616(4771/3021845)
Jun 02, 2017 4:18:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1620/3728 took 423300 ms. Total solver calls (SAT/UNSAT): 3034088(4783/3029305)
Jun 02, 2017 4:18:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1624/3728 took 424333 ms. Total solver calls (SAT/UNSAT): 3041560(4795/3036765)
Jun 02, 2017 4:18:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1628/3728 took 425368 ms. Total solver calls (SAT/UNSAT): 3049032(4807/3044225)
Jun 02, 2017 4:18:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1632/3728 took 426402 ms. Total solver calls (SAT/UNSAT): 3056504(4819/3051685)
Jun 02, 2017 4:18:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1636/3728 took 427440 ms. Total solver calls (SAT/UNSAT): 3063976(4831/3059145)
Jun 02, 2017 4:18:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1640/3728 took 428483 ms. Total solver calls (SAT/UNSAT): 3071448(4843/3066605)
Jun 02, 2017 4:18:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1644/3728 took 429526 ms. Total solver calls (SAT/UNSAT): 3078920(4855/3074065)
Jun 02, 2017 4:18:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1648/3728 took 430565 ms. Total solver calls (SAT/UNSAT): 3086392(4867/3081525)
Jun 02, 2017 4:18:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1652/3728 took 431604 ms. Total solver calls (SAT/UNSAT): 3093864(4879/3088985)
Jun 02, 2017 4:18:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1656/3728 took 432661 ms. Total solver calls (SAT/UNSAT): 3101336(4891/3096445)
Jun 02, 2017 4:18:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1660/3728 took 433706 ms. Total solver calls (SAT/UNSAT): 3108808(4903/3103905)
Jun 02, 2017 4:18:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1664/3728 took 434747 ms. Total solver calls (SAT/UNSAT): 3116280(4915/3111365)
Jun 02, 2017 4:18:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1668/3728 took 435787 ms. Total solver calls (SAT/UNSAT): 3123752(4927/3118825)
Jun 02, 2017 4:18:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1672/3728 took 436850 ms. Total solver calls (SAT/UNSAT): 3131224(4939/3126285)
Jun 02, 2017 4:18:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1676/3728 took 437924 ms. Total solver calls (SAT/UNSAT): 3138696(4951/3133745)
Jun 02, 2017 4:18:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1680/3728 took 439141 ms. Total solver calls (SAT/UNSAT): 3147688(4963/3142725)
Jun 02, 2017 4:18:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1683/3728 took 440515 ms. Total solver calls (SAT/UNSAT): 3157855(4972/3152883)
Jun 02, 2017 4:18:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1686/3728 took 441889 ms. Total solver calls (SAT/UNSAT): 3168022(4981/3163041)
Jun 02, 2017 4:18:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1689/3728 took 443268 ms. Total solver calls (SAT/UNSAT): 3178189(4990/3173199)
Jun 02, 2017 4:18:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1692/3728 took 444653 ms. Total solver calls (SAT/UNSAT): 3188356(4999/3183357)
Jun 02, 2017 4:18:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1695/3728 took 446025 ms. Total solver calls (SAT/UNSAT): 3198523(5008/3193515)
Jun 02, 2017 4:18:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1698/3728 took 447400 ms. Total solver calls (SAT/UNSAT): 3208690(5017/3203673)
Jun 02, 2017 4:19:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1701/3728 took 448777 ms. Total solver calls (SAT/UNSAT): 3218857(5026/3213831)
Jun 02, 2017 4:19:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1704/3728 took 450198 ms. Total solver calls (SAT/UNSAT): 3229024(5035/3223989)
Jun 02, 2017 4:19:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1707/3728 took 451587 ms. Total solver calls (SAT/UNSAT): 3239191(5044/3234147)
Jun 02, 2017 4:19:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1710/3728 took 453007 ms. Total solver calls (SAT/UNSAT): 3249358(5053/3244305)
Jun 02, 2017 4:19:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1713/3728 took 454380 ms. Total solver calls (SAT/UNSAT): 3259525(5062/3254463)
Jun 02, 2017 4:19:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1716/3728 took 455816 ms. Total solver calls (SAT/UNSAT): 3269692(5071/3264621)
Jun 02, 2017 4:19:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1719/3728 took 457264 ms. Total solver calls (SAT/UNSAT): 3279859(5080/3274779)
Jun 02, 2017 4:19:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1722/3728 took 458642 ms. Total solver calls (SAT/UNSAT): 3290026(5089/3284937)
Jun 02, 2017 4:19:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1725/3728 took 460023 ms. Total solver calls (SAT/UNSAT): 3300193(5098/3295095)
Jun 02, 2017 4:19:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1728/3728 took 461414 ms. Total solver calls (SAT/UNSAT): 3310360(5107/3305253)
Jun 02, 2017 4:19:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1731/3728 took 462789 ms. Total solver calls (SAT/UNSAT): 3320527(5116/3315411)
Jun 02, 2017 4:19:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1734/3728 took 464167 ms. Total solver calls (SAT/UNSAT): 3330694(5125/3325569)
Jun 02, 2017 4:19:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1737/3728 took 465549 ms. Total solver calls (SAT/UNSAT): 3340861(5134/3335727)
Jun 02, 2017 4:19:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1740/3728 took 466931 ms. Total solver calls (SAT/UNSAT): 3351028(5143/3345885)
Jun 02, 2017 4:19:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1743/3728 took 468314 ms. Total solver calls (SAT/UNSAT): 3361195(5152/3356043)
Jun 02, 2017 4:19:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1746/3728 took 469694 ms. Total solver calls (SAT/UNSAT): 3371362(5161/3366201)
Jun 02, 2017 4:19:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1749/3728 took 471070 ms. Total solver calls (SAT/UNSAT): 3381529(5170/3376359)
Jun 02, 2017 4:19:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1752/3728 took 472457 ms. Total solver calls (SAT/UNSAT): 3391696(5179/3386517)
Jun 02, 2017 4:19:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1755/3728 took 473845 ms. Total solver calls (SAT/UNSAT): 3401863(5188/3396675)
Jun 02, 2017 4:19:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1758/3728 took 475230 ms. Total solver calls (SAT/UNSAT): 3412030(5197/3406833)
Jun 02, 2017 4:19:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1762/3728 took 476451 ms. Total solver calls (SAT/UNSAT): 3421021(5209/3415812)
Jun 02, 2017 4:19:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1766/3728 took 477464 ms. Total solver calls (SAT/UNSAT): 3428489(5221/3423268)
Jun 02, 2017 4:19:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1770/3728 took 478477 ms. Total solver calls (SAT/UNSAT): 3435957(5233/3430724)
Jun 02, 2017 4:19:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1774/3728 took 479491 ms. Total solver calls (SAT/UNSAT): 3443425(5245/3438180)
Jun 02, 2017 4:19:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1778/3728 took 480506 ms. Total solver calls (SAT/UNSAT): 3450893(5257/3445636)
Jun 02, 2017 4:19:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1782/3728 took 481729 ms. Total solver calls (SAT/UNSAT): 3459885(5269/3454616)
Jun 02, 2017 4:19:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1786/3728 took 482742 ms. Total solver calls (SAT/UNSAT): 3467357(5281/3462076)
Jun 02, 2017 4:19:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1790/3728 took 483758 ms. Total solver calls (SAT/UNSAT): 3474829(5293/3469536)
Jun 02, 2017 4:19:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1794/3728 took 484779 ms. Total solver calls (SAT/UNSAT): 3482301(5305/3476996)
Jun 02, 2017 4:19:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1798/3728 took 485803 ms. Total solver calls (SAT/UNSAT): 3489773(5317/3484456)
Jun 02, 2017 4:19:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1802/3728 took 487022 ms. Total solver calls (SAT/UNSAT): 3498767(5329/3493438)
Jun 02, 2017 4:19:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1806/3728 took 488035 ms. Total solver calls (SAT/UNSAT): 3506239(5341/3500898)
Jun 02, 2017 4:19:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1810/3728 took 489091 ms. Total solver calls (SAT/UNSAT): 3513711(5353/3508358)
Jun 02, 2017 4:19:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1814/3728 took 490095 ms. Total solver calls (SAT/UNSAT): 3521183(5365/3515818)
Jun 02, 2017 4:19:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1819/3728 took 491339 ms. Total solver calls (SAT/UNSAT): 3530523(5380/3525143)
Jun 02, 2017 4:19:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1823/3728 took 492545 ms. Total solver calls (SAT/UNSAT): 3539517(5392/3534125)
Jun 02, 2017 4:19:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1827/3728 took 493548 ms. Total solver calls (SAT/UNSAT): 3546989(5404/3541585)
Jun 02, 2017 4:19:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1831/3728 took 494551 ms. Total solver calls (SAT/UNSAT): 3554461(5416/3549045)
Jun 02, 2017 4:19:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1836/3728 took 495798 ms. Total solver calls (SAT/UNSAT): 3563801(5431/3558370)
Jun 02, 2017 4:19:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1840/3728 took 496841 ms. Total solver calls (SAT/UNSAT): 3571273(5443/3565830)
Jun 02, 2017 4:19:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1844/3728 took 498079 ms. Total solver calls (SAT/UNSAT): 3580267(5455/3574812)
Jun 02, 2017 4:19:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1848/3728 took 499108 ms. Total solver calls (SAT/UNSAT): 3587739(5467/3582272)
Jun 02, 2017 4:19:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1852/3728 took 500140 ms. Total solver calls (SAT/UNSAT): 3595211(5479/3589732)
Jun 02, 2017 4:19:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1856/3728 took 501177 ms. Total solver calls (SAT/UNSAT): 3602683(5491/3597192)
Jun 02, 2017 4:19:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1860/3728 took 502213 ms. Total solver calls (SAT/UNSAT): 3610155(5503/3604652)
Jun 02, 2017 4:19:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1864/3728 took 503451 ms. Total solver calls (SAT/UNSAT): 3619148(5515/3613633)
Jun 02, 2017 4:19:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1868/3728 took 504471 ms. Total solver calls (SAT/UNSAT): 3626621(5527/3621094)
Jun 02, 2017 4:19:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1872/3728 took 505491 ms. Total solver calls (SAT/UNSAT): 3634093(5539/3628554)
Jun 02, 2017 4:19:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1876/3728 took 506513 ms. Total solver calls (SAT/UNSAT): 3641565(5551/3636014)
Jun 02, 2017 4:19:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1880/3728 took 507533 ms. Total solver calls (SAT/UNSAT): 3649037(5563/3643474)
Jun 02, 2017 4:20:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1884/3728 took 508554 ms. Total solver calls (SAT/UNSAT): 3656509(5575/3650934)
Jun 02, 2017 4:20:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1888/3728 took 509786 ms. Total solver calls (SAT/UNSAT): 3665503(5587/3659916)
Jun 02, 2017 4:20:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1892/3728 took 510806 ms. Total solver calls (SAT/UNSAT): 3672975(5599/3667376)
Jun 02, 2017 4:20:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1896/3728 took 511829 ms. Total solver calls (SAT/UNSAT): 3680447(5611/3674836)
Jun 02, 2017 4:20:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1900/3728 took 512852 ms. Total solver calls (SAT/UNSAT): 3687919(5623/3682296)
Jun 02, 2017 4:20:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1904/3728 took 513874 ms. Total solver calls (SAT/UNSAT): 3695391(5635/3689756)
Jun 02, 2017 4:20:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1908/3728 took 515104 ms. Total solver calls (SAT/UNSAT): 3704385(5647/3698738)
Jun 02, 2017 4:20:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1912/3728 took 516123 ms. Total solver calls (SAT/UNSAT): 3711857(5659/3706198)
Jun 02, 2017 4:20:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1916/3728 took 517142 ms. Total solver calls (SAT/UNSAT): 3719329(5671/3713658)
Jun 02, 2017 4:20:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1920/3728 took 518160 ms. Total solver calls (SAT/UNSAT): 3726801(5683/3721118)
Jun 02, 2017 4:20:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1924/3728 took 519184 ms. Total solver calls (SAT/UNSAT): 3734273(5695/3728578)
Jun 02, 2017 4:20:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1928/3728 took 520423 ms. Total solver calls (SAT/UNSAT): 3743267(5707/3737560)
Jun 02, 2017 4:20:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1932/3728 took 521452 ms. Total solver calls (SAT/UNSAT): 3750739(5719/3745020)
Jun 02, 2017 4:20:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1936/3728 took 522483 ms. Total solver calls (SAT/UNSAT): 3758211(5731/3752480)
Jun 02, 2017 4:20:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1940/3728 took 523513 ms. Total solver calls (SAT/UNSAT): 3765683(5743/3759940)
Jun 02, 2017 4:20:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1944/3728 took 524541 ms. Total solver calls (SAT/UNSAT): 3773155(5755/3767400)
Jun 02, 2017 4:20:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1948/3728 took 525772 ms. Total solver calls (SAT/UNSAT): 3782148(5767/3776381)
Jun 02, 2017 4:20:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1952/3728 took 526794 ms. Total solver calls (SAT/UNSAT): 3789621(5779/3783842)
Jun 02, 2017 4:20:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1956/3728 took 527818 ms. Total solver calls (SAT/UNSAT): 3797093(5791/3791302)
Jun 02, 2017 4:20:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1960/3728 took 528843 ms. Total solver calls (SAT/UNSAT): 3804565(5803/3798762)
Jun 02, 2017 4:20:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1964/3728 took 529866 ms. Total solver calls (SAT/UNSAT): 3812037(5815/3806222)
Jun 02, 2017 4:20:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1968/3728 took 530892 ms. Total solver calls (SAT/UNSAT): 3819509(5827/3813682)
Jun 02, 2017 4:20:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1972/3728 took 532127 ms. Total solver calls (SAT/UNSAT): 3828503(5839/3822664)
Jun 02, 2017 4:20:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1976/3728 took 533153 ms. Total solver calls (SAT/UNSAT): 3835975(5851/3830124)
Jun 02, 2017 4:20:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1980/3728 took 534178 ms. Total solver calls (SAT/UNSAT): 3843447(5863/3837584)
Jun 02, 2017 4:20:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1984/3728 took 535199 ms. Total solver calls (SAT/UNSAT): 3850919(5875/3845044)
Jun 02, 2017 4:20:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1988/3728 took 536235 ms. Total solver calls (SAT/UNSAT): 3858391(5887/3852504)
Jun 02, 2017 4:20:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1992/3728 took 537480 ms. Total solver calls (SAT/UNSAT): 3867385(5899/3861486)
Jun 02, 2017 4:20:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1996/3728 took 538509 ms. Total solver calls (SAT/UNSAT): 3874857(5911/3868946)
Jun 02, 2017 4:20:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2000/3728 took 539531 ms. Total solver calls (SAT/UNSAT): 3882329(5923/3876406)
Jun 02, 2017 4:20:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2004/3728 took 540588 ms. Total solver calls (SAT/UNSAT): 3889801(5935/3883866)
Jun 02, 2017 4:20:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2009/3728 took 541826 ms. Total solver calls (SAT/UNSAT): 3899141(5950/3893191)
Jun 02, 2017 4:20:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2013/3728 took 543028 ms. Total solver calls (SAT/UNSAT): 3908135(5962/3902173)
Jun 02, 2017 4:20:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2017/3728 took 544028 ms. Total solver calls (SAT/UNSAT): 3915607(5974/3909633)
Jun 02, 2017 4:20:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2021/3728 took 545029 ms. Total solver calls (SAT/UNSAT): 3923079(5986/3917093)
Jun 02, 2017 4:20:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2026/3728 took 546275 ms. Total solver calls (SAT/UNSAT): 3932419(6001/3926418)
Jun 02, 2017 4:20:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2030/3728 took 547276 ms. Total solver calls (SAT/UNSAT): 3939891(6013/3933878)
Jun 02, 2017 4:20:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2034/3728 took 548524 ms. Total solver calls (SAT/UNSAT): 3948885(6025/3942860)
Jun 02, 2017 4:20:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2038/3728 took 549524 ms. Total solver calls (SAT/UNSAT): 3956357(6037/3950320)
Jun 02, 2017 4:20:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2042/3728 took 550530 ms. Total solver calls (SAT/UNSAT): 3963829(6049/3957780)
Jun 02, 2017 4:20:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2047/3728 took 551769 ms. Total solver calls (SAT/UNSAT): 3973169(6064/3967105)
Jun 02, 2017 4:20:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2052/3728 took 553015 ms. Total solver calls (SAT/UNSAT): 3982509(6079/3976430)
Jun 02, 2017 4:20:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2056/3728 took 554210 ms. Total solver calls (SAT/UNSAT): 3991503(6091/3985412)
Jun 02, 2017 4:20:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2060/3728 took 555294 ms. Total solver calls (SAT/UNSAT): 3998975(6103/3992872)
Jun 02, 2017 4:20:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2065/3728 took 556539 ms. Total solver calls (SAT/UNSAT): 4008315(6118/4002197)
Jun 02, 2017 4:20:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2070/3728 took 557792 ms. Total solver calls (SAT/UNSAT): 4017655(6133/4011522)
Jun 02, 2017 4:20:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2074/3728 took 559037 ms. Total solver calls (SAT/UNSAT): 4026648(6145/4020503)
Jun 02, 2017 4:20:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2078/3728 took 560046 ms. Total solver calls (SAT/UNSAT): 4034121(6157/4027964)
Jun 02, 2017 4:20:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2082/3728 took 561051 ms. Total solver calls (SAT/UNSAT): 4041593(6169/4035424)
Jun 02, 2017 4:20:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2086/3728 took 562058 ms. Total solver calls (SAT/UNSAT): 4049065(6181/4042884)
Jun 02, 2017 4:20:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2090/3728 took 563061 ms. Total solver calls (SAT/UNSAT): 4056537(6193/4050344)
Jun 02, 2017 4:20:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2094/3728 took 564065 ms. Total solver calls (SAT/UNSAT): 4064009(6205/4057804)
Jun 02, 2017 4:20:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2098/3728 took 565277 ms. Total solver calls (SAT/UNSAT): 4073003(6217/4066786)
Jun 02, 2017 4:20:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2102/3728 took 566287 ms. Total solver calls (SAT/UNSAT): 4080475(6229/4074246)
Jun 02, 2017 4:20:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2106/3728 took 567293 ms. Total solver calls (SAT/UNSAT): 4087947(6241/4081706)
Jun 02, 2017 4:20:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2110/3728 took 568305 ms. Total solver calls (SAT/UNSAT): 4095419(6253/4089166)
Jun 02, 2017 4:21:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2114/3728 took 569310 ms. Total solver calls (SAT/UNSAT): 4102891(6265/4096626)
Jun 02, 2017 4:21:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2118/3728 took 570521 ms. Total solver calls (SAT/UNSAT): 4111885(6277/4105608)
Jun 02, 2017 4:21:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2122/3728 took 571525 ms. Total solver calls (SAT/UNSAT): 4119357(6289/4113068)
Jun 02, 2017 4:21:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2126/3728 took 572535 ms. Total solver calls (SAT/UNSAT): 4126829(6301/4120528)
Jun 02, 2017 4:21:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2130/3728 took 573542 ms. Total solver calls (SAT/UNSAT): 4134301(6313/4127988)
Jun 02, 2017 4:21:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2134/3728 took 574550 ms. Total solver calls (SAT/UNSAT): 4141773(6325/4135448)
Jun 02, 2017 4:21:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2138/3728 took 575769 ms. Total solver calls (SAT/UNSAT): 4150767(6337/4144430)
Jun 02, 2017 4:21:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2142/3728 took 576778 ms. Total solver calls (SAT/UNSAT): 4158239(6349/4151890)
Jun 02, 2017 4:21:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2146/3728 took 577784 ms. Total solver calls (SAT/UNSAT): 4165711(6361/4159350)
Jun 02, 2017 4:21:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2150/3728 took 578791 ms. Total solver calls (SAT/UNSAT): 4173183(6373/4166810)
Jun 02, 2017 4:21:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2154/3728 took 579800 ms. Total solver calls (SAT/UNSAT): 4180655(6385/4174270)
Jun 02, 2017 4:21:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2158/3728 took 581010 ms. Total solver calls (SAT/UNSAT): 4189648(6397/4183251)
Jun 02, 2017 4:21:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2162/3728 took 582018 ms. Total solver calls (SAT/UNSAT): 4197121(6409/4190712)
Jun 02, 2017 4:21:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2166/3728 took 583023 ms. Total solver calls (SAT/UNSAT): 4204593(6421/4198172)
Jun 02, 2017 4:21:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2170/3728 took 584030 ms. Total solver calls (SAT/UNSAT): 4212065(6433/4205632)
Jun 02, 2017 4:21:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2174/3728 took 585037 ms. Total solver calls (SAT/UNSAT): 4219537(6445/4213092)
Jun 02, 2017 4:21:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2178/3728 took 586044 ms. Total solver calls (SAT/UNSAT): 4227009(6457/4220552)
Jun 02, 2017 4:21:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2182/3728 took 587253 ms. Total solver calls (SAT/UNSAT): 4236003(6469/4229534)
Jun 02, 2017 4:21:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2186/3728 took 588254 ms. Total solver calls (SAT/UNSAT): 4243475(6481/4236994)
Jun 02, 2017 4:21:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2190/3728 took 589262 ms. Total solver calls (SAT/UNSAT): 4250947(6493/4244454)
Jun 02, 2017 4:21:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2194/3728 took 590270 ms. Total solver calls (SAT/UNSAT): 4258419(6505/4251914)
Jun 02, 2017 4:21:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2198/3728 took 591279 ms. Total solver calls (SAT/UNSAT): 4265891(6517/4259374)
Jun 02, 2017 4:21:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2202/3728 took 592545 ms. Total solver calls (SAT/UNSAT): 4274885(6529/4268356)
Jun 02, 2017 4:21:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2206/3728 took 593555 ms. Total solver calls (SAT/UNSAT): 4282357(6541/4275816)
Jun 02, 2017 4:21:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2210/3728 took 594563 ms. Total solver calls (SAT/UNSAT): 4289829(6553/4283276)
Jun 02, 2017 4:21:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2214/3728 took 595572 ms. Total solver calls (SAT/UNSAT): 4297301(6565/4290736)
Jun 02, 2017 4:21:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2218/3728 took 596581 ms. Total solver calls (SAT/UNSAT): 4304773(6577/4298196)
Jun 02, 2017 4:21:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2222/3728 took 597800 ms. Total solver calls (SAT/UNSAT): 4313767(6589/4307178)
Jun 02, 2017 4:21:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2226/3728 took 598806 ms. Total solver calls (SAT/UNSAT): 4321239(6601/4314638)
Jun 02, 2017 4:21:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2230/3728 took 599813 ms. Total solver calls (SAT/UNSAT): 4328711(6613/4322098)
Jun 02, 2017 4:21:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2234/3728 took 600821 ms. Total solver calls (SAT/UNSAT): 4336183(6625/4329558)
Jun 02, 2017 4:21:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2238/3728 took 601861 ms. Total solver calls (SAT/UNSAT): 4343655(6637/4337018)
Jun 02, 2017 4:21:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2242/3728 took 603059 ms. Total solver calls (SAT/UNSAT): 4352648(6649/4345999)
Jun 02, 2017 4:21:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2247/3728 took 604303 ms. Total solver calls (SAT/UNSAT): 4361989(6664/4355325)
Jun 02, 2017 4:21:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2251/3728 took 605312 ms. Total solver calls (SAT/UNSAT): 4369461(6676/4362785)
Jun 02, 2017 4:21:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2255/3728 took 606319 ms. Total solver calls (SAT/UNSAT): 4376933(6688/4370245)
Jun 02, 2017 4:21:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2260/3728 took 607568 ms. Total solver calls (SAT/UNSAT): 4386273(6703/4379570)
Jun 02, 2017 4:21:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2264/3728 took 608779 ms. Total solver calls (SAT/UNSAT): 4395267(6715/4388552)
Jun 02, 2017 4:21:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2268/3728 took 609786 ms. Total solver calls (SAT/UNSAT): 4402739(6727/4396012)
Jun 02, 2017 4:21:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2272/3728 took 610788 ms. Total solver calls (SAT/UNSAT): 4410211(6739/4403472)
Jun 02, 2017 4:21:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2276/3728 took 611793 ms. Total solver calls (SAT/UNSAT): 4417683(6751/4410932)
Jun 02, 2017 4:21:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2280/3728 took 612797 ms. Total solver calls (SAT/UNSAT): 4425155(6763/4418392)
Jun 02, 2017 4:21:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2284/3728 took 614006 ms. Total solver calls (SAT/UNSAT): 4434148(6775/4427373)
Jun 02, 2017 4:21:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2288/3728 took 615008 ms. Total solver calls (SAT/UNSAT): 4441621(6787/4434834)
Jun 02, 2017 4:21:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2292/3728 took 616017 ms. Total solver calls (SAT/UNSAT): 4449093(6799/4442294)
Jun 02, 2017 4:21:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2296/3728 took 617024 ms. Total solver calls (SAT/UNSAT): 4456565(6811/4449754)
Jun 02, 2017 4:21:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2300/3728 took 618031 ms. Total solver calls (SAT/UNSAT): 4464037(6823/4457214)
Jun 02, 2017 4:21:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2304/3728 took 619040 ms. Total solver calls (SAT/UNSAT): 4471509(6835/4464674)
Jun 02, 2017 4:21:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2308/3728 took 620254 ms. Total solver calls (SAT/UNSAT): 4480503(6847/4473656)
Jun 02, 2017 4:21:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2312/3728 took 621257 ms. Total solver calls (SAT/UNSAT): 4487975(6859/4481116)
Jun 02, 2017 4:21:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2316/3728 took 622260 ms. Total solver calls (SAT/UNSAT): 4495447(6871/4488576)
Jun 02, 2017 4:21:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2320/3728 took 623266 ms. Total solver calls (SAT/UNSAT): 4502919(6883/4496036)
Jun 02, 2017 4:21:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2324/3728 took 624271 ms. Total solver calls (SAT/UNSAT): 4510391(6895/4503496)
Jun 02, 2017 4:21:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2328/3728 took 625479 ms. Total solver calls (SAT/UNSAT): 4519385(6907/4512478)
Jun 02, 2017 4:21:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2332/3728 took 626484 ms. Total solver calls (SAT/UNSAT): 4526857(6919/4519938)
Jun 02, 2017 4:21:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2337/3728 took 627731 ms. Total solver calls (SAT/UNSAT): 4536197(6934/4529263)
Jun 02, 2017 4:22:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2341/3728 took 628737 ms. Total solver calls (SAT/UNSAT): 4543669(6946/4536723)
Jun 02, 2017 4:22:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2345/3728 took 629743 ms. Total solver calls (SAT/UNSAT): 4551141(6958/4544183)
Jun 02, 2017 4:22:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2349/3728 took 630951 ms. Total solver calls (SAT/UNSAT): 4560135(6970/4553165)
Jun 02, 2017 4:22:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2353/3728 took 631952 ms. Total solver calls (SAT/UNSAT): 4567607(6982/4560625)
Jun 02, 2017 4:22:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2358/3728 took 633199 ms. Total solver calls (SAT/UNSAT): 4576947(6997/4569950)
Jun 02, 2017 4:22:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2362/3728 took 634201 ms. Total solver calls (SAT/UNSAT): 4584419(7009/4577410)
Jun 02, 2017 4:22:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2366/3728 took 635204 ms. Total solver calls (SAT/UNSAT): 4591891(7021/4584870)
Jun 02, 2017 4:22:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2370/3728 took 636409 ms. Total solver calls (SAT/UNSAT): 4600885(7033/4593852)
Jun 02, 2017 4:22:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2374/3728 took 637462 ms. Total solver calls (SAT/UNSAT): 4608357(7045/4601312)
Jun 02, 2017 4:22:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2378/3728 took 638462 ms. Total solver calls (SAT/UNSAT): 4615829(7057/4608772)
Jun 02, 2017 4:22:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2383/3728 took 639701 ms. Total solver calls (SAT/UNSAT): 4625169(7072/4618097)
Jun 02, 2017 4:22:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2388/3728 took 640947 ms. Total solver calls (SAT/UNSAT): 4634509(7087/4627422)
Jun 02, 2017 4:22:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2392/3728 took 642149 ms. Total solver calls (SAT/UNSAT): 4643503(7099/4636404)
Jun 02, 2017 4:22:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2397/3728 took 643394 ms. Total solver calls (SAT/UNSAT): 4652843(7114/4645729)
Jun 02, 2017 4:22:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2402/3728 took 644637 ms. Total solver calls (SAT/UNSAT): 4662183(7129/4655054)
Jun 02, 2017 4:22:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2407/3728 took 645885 ms. Total solver calls (SAT/UNSAT): 4671523(7144/4664379)
Jun 02, 2017 4:22:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2411/3728 took 647081 ms. Total solver calls (SAT/UNSAT): 4680517(7156/4673361)
Jun 02, 2017 4:22:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2415/3728 took 648089 ms. Total solver calls (SAT/UNSAT): 4687989(7168/4680821)
Jun 02, 2017 4:22:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2420/3728 took 649330 ms. Total solver calls (SAT/UNSAT): 4697329(7183/4690146)
Jun 02, 2017 4:22:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2425/3728 took 650576 ms. Total solver calls (SAT/UNSAT): 4706669(7198/4699471)
Jun 02, 2017 4:22:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2429/3728 took 651579 ms. Total solver calls (SAT/UNSAT): 4714141(7210/4706931)
Jun 02, 2017 4:22:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2433/3728 took 652774 ms. Total solver calls (SAT/UNSAT): 4723135(7222/4715913)
Jun 02, 2017 4:22:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2437/3728 took 653782 ms. Total solver calls (SAT/UNSAT): 4730607(7234/4723373)
Jun 02, 2017 4:22:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2442/3728 took 655028 ms. Total solver calls (SAT/UNSAT): 4739947(7249/4732698)
Jun 02, 2017 4:22:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2446/3728 took 656030 ms. Total solver calls (SAT/UNSAT): 4747419(7261/4740158)
Jun 02, 2017 4:22:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2450/3728 took 657033 ms. Total solver calls (SAT/UNSAT): 4754891(7273/4747618)
Jun 02, 2017 4:22:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2454/3728 took 658240 ms. Total solver calls (SAT/UNSAT): 4763885(7285/4756600)
Jun 02, 2017 4:22:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2458/3728 took 659240 ms. Total solver calls (SAT/UNSAT): 4771357(7297/4764060)
Jun 02, 2017 4:22:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2462/3728 took 660243 ms. Total solver calls (SAT/UNSAT): 4778829(7309/4771520)
Jun 02, 2017 4:22:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2466/3728 took 661250 ms. Total solver calls (SAT/UNSAT): 4786301(7321/4778980)
Jun 02, 2017 4:22:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2470/3728 took 662250 ms. Total solver calls (SAT/UNSAT): 4793773(7333/4786440)
Jun 02, 2017 4:22:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2474/3728 took 663462 ms. Total solver calls (SAT/UNSAT): 4802767(7345/4795422)
Jun 02, 2017 4:22:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2478/3728 took 664464 ms. Total solver calls (SAT/UNSAT): 4810239(7357/4802882)
Jun 02, 2017 4:22:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2482/3728 took 665472 ms. Total solver calls (SAT/UNSAT): 4817711(7369/4810342)
Jun 02, 2017 4:22:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2487/3728 took 666718 ms. Total solver calls (SAT/UNSAT): 4827051(7384/4819667)
Jun 02, 2017 4:22:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2492/3728 took 667964 ms. Total solver calls (SAT/UNSAT): 4836391(7399/4828992)
Jun 02, 2017 4:22:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2496/3728 took 669172 ms. Total solver calls (SAT/UNSAT): 4845385(7411/4837974)
Jun 02, 2017 4:22:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2500/3728 took 670175 ms. Total solver calls (SAT/UNSAT): 4852857(7423/4845434)
Jun 02, 2017 4:22:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2505/3728 took 671431 ms. Total solver calls (SAT/UNSAT): 4862197(7438/4854759)
Jun 02, 2017 4:22:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2509/3728 took 672438 ms. Total solver calls (SAT/UNSAT): 4869669(7450/4862219)
Jun 02, 2017 4:22:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2513/3728 took 673444 ms. Total solver calls (SAT/UNSAT): 4877141(7462/4869679)
Jun 02, 2017 4:22:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2517/3728 took 674651 ms. Total solver calls (SAT/UNSAT): 4886135(7474/4878661)
Jun 02, 2017 4:22:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2521/3728 took 675651 ms. Total solver calls (SAT/UNSAT): 4893607(7486/4886121)
Jun 02, 2017 4:22:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2525/3728 took 676655 ms. Total solver calls (SAT/UNSAT): 4901079(7498/4893581)
Jun 02, 2017 4:22:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2529/3728 took 677657 ms. Total solver calls (SAT/UNSAT): 4908551(7510/4901041)
Jun 02, 2017 4:22:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2533/3728 took 678660 ms. Total solver calls (SAT/UNSAT): 4916023(7522/4908501)
Jun 02, 2017 4:22:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2537/3728 took 679862 ms. Total solver calls (SAT/UNSAT): 4925017(7534/4917483)
Jun 02, 2017 4:22:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2541/3728 took 680867 ms. Total solver calls (SAT/UNSAT): 4932489(7546/4924943)
Jun 02, 2017 4:22:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2545/3728 took 681880 ms. Total solver calls (SAT/UNSAT): 4939961(7558/4932403)
Jun 02, 2017 4:22:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2549/3728 took 682880 ms. Total solver calls (SAT/UNSAT): 4947433(7570/4939863)
Jun 02, 2017 4:22:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2553/3728 took 683884 ms. Total solver calls (SAT/UNSAT): 4954905(7582/4947323)
Jun 02, 2017 4:22:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2557/3728 took 685103 ms. Total solver calls (SAT/UNSAT): 4963898(7594/4956304)
Jun 02, 2017 4:22:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2561/3728 took 686106 ms. Total solver calls (SAT/UNSAT): 4971371(7606/4963765)
Jun 02, 2017 4:22:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2565/3728 took 687109 ms. Total solver calls (SAT/UNSAT): 4978843(7618/4971225)
Jun 02, 2017 4:22:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2569/3728 took 688109 ms. Total solver calls (SAT/UNSAT): 4986315(7630/4978685)
Jun 02, 2017 4:23:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2573/3728 took 689113 ms. Total solver calls (SAT/UNSAT): 4993787(7642/4986145)
Jun 02, 2017 4:23:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2577/3728 took 690118 ms. Total solver calls (SAT/UNSAT): 5001259(7654/4993605)
Jun 02, 2017 4:23:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2581/3728 took 691320 ms. Total solver calls (SAT/UNSAT): 5010253(7666/5002587)
Jun 02, 2017 4:23:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2585/3728 took 692326 ms. Total solver calls (SAT/UNSAT): 5017725(7678/5010047)
Jun 02, 2017 4:23:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2589/3728 took 693336 ms. Total solver calls (SAT/UNSAT): 5025197(7690/5017507)
Jun 02, 2017 4:23:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2593/3728 took 694339 ms. Total solver calls (SAT/UNSAT): 5032669(7702/5024967)
Jun 02, 2017 4:23:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2598/3728 took 695588 ms. Total solver calls (SAT/UNSAT): 5042009(7717/5034292)
Jun 02, 2017 4:23:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2602/3728 took 696802 ms. Total solver calls (SAT/UNSAT): 5051003(7729/5043274)
Jun 02, 2017 4:23:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2606/3728 took 697804 ms. Total solver calls (SAT/UNSAT): 5058475(7741/5050734)
Jun 02, 2017 4:23:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2610/3728 took 698928 ms. Total solver calls (SAT/UNSAT): 5065947(7753/5058194)
Jun 02, 2017 4:23:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2614/3728 took 699942 ms. Total solver calls (SAT/UNSAT): 5073419(7765/5065654)
Jun 02, 2017 4:23:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2618/3728 took 700946 ms. Total solver calls (SAT/UNSAT): 5080891(7777/5073114)
Jun 02, 2017 4:23:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2622/3728 took 702151 ms. Total solver calls (SAT/UNSAT): 5089885(7789/5082096)
Jun 02, 2017 4:23:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2627/3728 took 703400 ms. Total solver calls (SAT/UNSAT): 5099225(7804/5091421)
Jun 02, 2017 4:23:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2631/3728 took 704404 ms. Total solver calls (SAT/UNSAT): 5106697(7816/5098881)
Jun 02, 2017 4:23:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2635/3728 took 705411 ms. Total solver calls (SAT/UNSAT): 5114169(7828/5106341)
Jun 02, 2017 4:23:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2639/3728 took 706414 ms. Total solver calls (SAT/UNSAT): 5121641(7840/5113801)
Jun 02, 2017 4:23:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2643/3728 took 707617 ms. Total solver calls (SAT/UNSAT): 5130635(7852/5122783)
Jun 02, 2017 4:23:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2647/3728 took 708622 ms. Total solver calls (SAT/UNSAT): 5138107(7864/5130243)
Jun 02, 2017 4:23:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2651/3728 took 709626 ms. Total solver calls (SAT/UNSAT): 5145579(7876/5137703)
Jun 02, 2017 4:23:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2655/3728 took 710627 ms. Total solver calls (SAT/UNSAT): 5153051(7888/5145163)
Jun 02, 2017 4:23:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2659/3728 took 711628 ms. Total solver calls (SAT/UNSAT): 5160523(7900/5152623)
Jun 02, 2017 4:23:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2663/3728 took 712838 ms. Total solver calls (SAT/UNSAT): 5169517(7912/5161605)
Jun 02, 2017 4:23:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2667/3728 took 713839 ms. Total solver calls (SAT/UNSAT): 5176989(7924/5169065)
Jun 02, 2017 4:23:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2671/3728 took 714840 ms. Total solver calls (SAT/UNSAT): 5184461(7936/5176525)
Jun 02, 2017 4:23:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2675/3728 took 715841 ms. Total solver calls (SAT/UNSAT): 5191933(7948/5183985)
Jun 02, 2017 4:23:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2680/3728 took 717092 ms. Total solver calls (SAT/UNSAT): 5201273(7963/5193310)
Jun 02, 2017 4:23:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2684/3728 took 718295 ms. Total solver calls (SAT/UNSAT): 5210267(7975/5202292)
Jun 02, 2017 4:23:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2688/3728 took 719303 ms. Total solver calls (SAT/UNSAT): 5217739(7987/5209752)
Jun 02, 2017 4:23:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2693/3728 took 720558 ms. Total solver calls (SAT/UNSAT): 5227079(8002/5219077)
Jun 02, 2017 4:23:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2698/3728 took 721807 ms. Total solver calls (SAT/UNSAT): 5236419(8017/5228402)
Jun 02, 2017 4:23:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2703/3728 took 723056 ms. Total solver calls (SAT/UNSAT): 5245759(8032/5237727)
Jun 02, 2017 4:23:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2707/3728 took 724252 ms. Total solver calls (SAT/UNSAT): 5254753(8044/5246709)
Jun 02, 2017 4:23:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2711/3728 took 725263 ms. Total solver calls (SAT/UNSAT): 5262225(8056/5254169)
Jun 02, 2017 4:23:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2715/3728 took 726266 ms. Total solver calls (SAT/UNSAT): 5269697(8068/5261629)
Jun 02, 2017 4:23:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2720/3728 took 727512 ms. Total solver calls (SAT/UNSAT): 5279037(8083/5270954)
Jun 02, 2017 4:23:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2724/3728 took 728526 ms. Total solver calls (SAT/UNSAT): 5286509(8095/5278414)
Jun 02, 2017 4:23:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2728/3728 took 729727 ms. Total solver calls (SAT/UNSAT): 5295503(8107/5287396)
Jun 02, 2017 4:23:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2733/3728 took 730972 ms. Total solver calls (SAT/UNSAT): 5304843(8122/5296721)
Jun 02, 2017 4:23:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2737/3728 took 731973 ms. Total solver calls (SAT/UNSAT): 5312315(8134/5304181)
Jun 02, 2017 4:23:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2741/3728 took 732973 ms. Total solver calls (SAT/UNSAT): 5319787(8146/5311641)
Jun 02, 2017 4:23:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2746/3728 took 734423 ms. Total solver calls (SAT/UNSAT): 5330648(8161/5322487)
Jun 02, 2017 4:23:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2751/3728 took 735666 ms. Total solver calls (SAT/UNSAT): 5339989(8176/5331813)
Jun 02, 2017 4:23:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2756/3728 took 736910 ms. Total solver calls (SAT/UNSAT): 5349329(8191/5341138)
Jun 02, 2017 4:23:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2760/3728 took 737911 ms. Total solver calls (SAT/UNSAT): 5356801(8203/5348598)
Jun 02, 2017 4:23:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2764/3728 took 738912 ms. Total solver calls (SAT/UNSAT): 5364273(8215/5356058)
Jun 02, 2017 4:23:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2768/3728 took 740116 ms. Total solver calls (SAT/UNSAT): 5373267(8227/5365040)
Jun 02, 2017 4:23:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2772/3728 took 741118 ms. Total solver calls (SAT/UNSAT): 5380739(8239/5372500)
Jun 02, 2017 4:23:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2776/3728 took 742119 ms. Total solver calls (SAT/UNSAT): 5388211(8251/5379960)
Jun 02, 2017 4:23:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2781/3728 took 743362 ms. Total solver calls (SAT/UNSAT): 5397551(8266/5389285)
Jun 02, 2017 4:23:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2786/3728 took 744608 ms. Total solver calls (SAT/UNSAT): 5406891(8281/5398610)
Jun 02, 2017 4:23:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2790/3728 took 745811 ms. Total solver calls (SAT/UNSAT): 5415885(8293/5407592)
Jun 02, 2017 4:23:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2794/3728 took 746812 ms. Total solver calls (SAT/UNSAT): 5423357(8305/5415052)
Jun 02, 2017 4:23:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2799/3728 took 748059 ms. Total solver calls (SAT/UNSAT): 5432697(8320/5424377)
Jun 02, 2017 4:24:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2803/3728 took 749063 ms. Total solver calls (SAT/UNSAT): 5440169(8332/5431837)
Jun 02, 2017 4:24:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2807/3728 took 750065 ms. Total solver calls (SAT/UNSAT): 5447641(8344/5439297)
Jun 02, 2017 4:24:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2811/3728 took 751257 ms. Total solver calls (SAT/UNSAT): 5456635(8356/5448279)
Jun 02, 2017 4:24:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2815/3728 took 752260 ms. Total solver calls (SAT/UNSAT): 5464107(8368/5455739)
Jun 02, 2017 4:24:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2819/3728 took 753263 ms. Total solver calls (SAT/UNSAT): 5471579(8380/5463199)
Jun 02, 2017 4:24:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2823/3728 took 754265 ms. Total solver calls (SAT/UNSAT): 5479051(8392/5470659)
Jun 02, 2017 4:24:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2827/3728 took 755265 ms. Total solver calls (SAT/UNSAT): 5486523(8404/5478119)
Jun 02, 2017 4:24:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2831/3728 took 756477 ms. Total solver calls (SAT/UNSAT): 5495517(8416/5487101)
Jun 02, 2017 4:24:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2836/3728 took 757725 ms. Total solver calls (SAT/UNSAT): 5504857(8431/5496426)
Jun 02, 2017 4:24:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2840/3728 took 758725 ms. Total solver calls (SAT/UNSAT): 5512329(8443/5503886)
Jun 02, 2017 4:24:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2845/3728 took 759980 ms. Total solver calls (SAT/UNSAT): 5521669(8458/5513211)
Jun 02, 2017 4:24:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2850/3728 took 761223 ms. Total solver calls (SAT/UNSAT): 5531009(8473/5522536)
Jun 02, 2017 4:24:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2854/3728 took 762438 ms. Total solver calls (SAT/UNSAT): 5540003(8485/5531518)
Jun 02, 2017 4:24:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2858/3728 took 763440 ms. Total solver calls (SAT/UNSAT): 5547475(8497/5538978)
Jun 02, 2017 4:24:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2863/3728 took 764687 ms. Total solver calls (SAT/UNSAT): 5556815(8512/5548303)
Jun 02, 2017 4:24:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2867/3728 took 765697 ms. Total solver calls (SAT/UNSAT): 5564287(8524/5555763)
Jun 02, 2017 4:24:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2872/3728 took 767157 ms. Total solver calls (SAT/UNSAT): 5575148(8539/5566609)
Jun 02, 2017 4:24:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2877/3728 took 768405 ms. Total solver calls (SAT/UNSAT): 5584489(8554/5575935)
Jun 02, 2017 4:24:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2881/3728 took 769414 ms. Total solver calls (SAT/UNSAT): 5591961(8566/5583395)
Jun 02, 2017 4:24:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2885/3728 took 770415 ms. Total solver calls (SAT/UNSAT): 5599433(8578/5590855)
Jun 02, 2017 4:24:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2890/3728 took 771659 ms. Total solver calls (SAT/UNSAT): 5608773(8593/5600180)
Jun 02, 2017 4:24:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2894/3728 took 772856 ms. Total solver calls (SAT/UNSAT): 5617767(8605/5609162)
Jun 02, 2017 4:24:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2899/3728 took 774098 ms. Total solver calls (SAT/UNSAT): 5627107(8620/5618487)
Jun 02, 2017 4:24:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2904/3728 took 775340 ms. Total solver calls (SAT/UNSAT): 5636447(8635/5627812)
Jun 02, 2017 4:24:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2909/3728 took 776583 ms. Total solver calls (SAT/UNSAT): 5645787(8650/5637137)
Jun 02, 2017 4:24:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2914/3728 took 778028 ms. Total solver calls (SAT/UNSAT): 5656648(8665/5647983)
Jun 02, 2017 4:24:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2919/3728 took 779269 ms. Total solver calls (SAT/UNSAT): 5665989(8680/5657309)
Jun 02, 2017 4:24:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2924/3728 took 780512 ms. Total solver calls (SAT/UNSAT): 5675329(8695/5666634)
Jun 02, 2017 4:24:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2929/3728 took 781753 ms. Total solver calls (SAT/UNSAT): 5684669(8710/5675959)
Jun 02, 2017 4:24:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2934/3728 took 782995 ms. Total solver calls (SAT/UNSAT): 5694009(8725/5685284)
Jun 02, 2017 4:24:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2938/3728 took 784190 ms. Total solver calls (SAT/UNSAT): 5703003(8737/5694266)
Jun 02, 2017 4:24:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2943/3728 took 785430 ms. Total solver calls (SAT/UNSAT): 5712343(8752/5703591)
Jun 02, 2017 4:24:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2948/3728 took 786674 ms. Total solver calls (SAT/UNSAT): 5721683(8767/5712916)
Jun 02, 2017 4:24:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2953/3728 took 787916 ms. Total solver calls (SAT/UNSAT): 5731023(8782/5722241)
Jun 02, 2017 4:24:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2957/3728 took 789109 ms. Total solver calls (SAT/UNSAT): 5740017(8794/5731223)
Jun 02, 2017 4:24:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2962/3728 took 790349 ms. Total solver calls (SAT/UNSAT): 5749357(8809/5740548)
Jun 02, 2017 4:24:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2967/3728 took 791585 ms. Total solver calls (SAT/UNSAT): 5758697(8824/5749873)
Jun 02, 2017 4:24:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2972/3728 took 792823 ms. Total solver calls (SAT/UNSAT): 5768037(8839/5759198)
Jun 02, 2017 4:24:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2977/3728 took 794260 ms. Total solver calls (SAT/UNSAT): 5778898(8854/5770044)
Jun 02, 2017 4:24:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2982/3728 took 795496 ms. Total solver calls (SAT/UNSAT): 5788239(8869/5779370)
Jun 02, 2017 4:24:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2987/3728 took 796735 ms. Total solver calls (SAT/UNSAT): 5797579(8884/5788695)
Jun 02, 2017 4:24:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2992/3728 took 797976 ms. Total solver calls (SAT/UNSAT): 5806919(8899/5798020)
Jun 02, 2017 4:24:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2997/3728 took 799214 ms. Total solver calls (SAT/UNSAT): 5816259(8914/5807345)
Jun 02, 2017 4:24:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3001/3728 took 800415 ms. Total solver calls (SAT/UNSAT): 5825253(8926/5816327)
Jun 02, 2017 4:24:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3006/3728 took 801668 ms. Total solver calls (SAT/UNSAT): 5834593(8941/5825652)
Jun 02, 2017 4:24:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3011/3728 took 802911 ms. Total solver calls (SAT/UNSAT): 5843933(8956/5834977)
Jun 02, 2017 4:24:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3016/3728 took 804157 ms. Total solver calls (SAT/UNSAT): 5853273(8971/5844302)
Jun 02, 2017 4:24:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3020/3728 took 805358 ms. Total solver calls (SAT/UNSAT): 5862267(8983/5853284)
Jun 02, 2017 4:24:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3024/3728 took 806361 ms. Total solver calls (SAT/UNSAT): 5869739(8995/5860744)
Jun 02, 2017 4:24:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3029/3728 took 807598 ms. Total solver calls (SAT/UNSAT): 5879079(9010/5870069)
Jun 02, 2017 4:25:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3034/3728 took 808847 ms. Total solver calls (SAT/UNSAT): 5888419(9025/5879394)
Jun 02, 2017 4:25:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3039/3728 took 810100 ms. Total solver calls (SAT/UNSAT): 5897759(9040/5888719)
Jun 02, 2017 4:25:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3043/3728 took 811291 ms. Total solver calls (SAT/UNSAT): 5906753(9052/5897701)
Jun 02, 2017 4:25:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3048/3728 took 812538 ms. Total solver calls (SAT/UNSAT): 5916093(9067/5907026)
Jun 02, 2017 4:25:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3052/3728 took 813538 ms. Total solver calls (SAT/UNSAT): 5923565(9079/5914486)
Jun 02, 2017 4:25:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3056/3728 took 814543 ms. Total solver calls (SAT/UNSAT): 5931037(9091/5921946)
Jun 02, 2017 4:25:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3061/3728 took 815981 ms. Total solver calls (SAT/UNSAT): 5941898(9106/5932792)
Jun 02, 2017 4:25:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3065/3728 took 816981 ms. Total solver calls (SAT/UNSAT): 5949371(9118/5940253)
Jun 02, 2017 4:25:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3070/3728 took 818227 ms. Total solver calls (SAT/UNSAT): 5958711(9133/5949578)
Jun 02, 2017 4:25:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3075/3728 took 819471 ms. Total solver calls (SAT/UNSAT): 5968051(9148/5958903)
Jun 02, 2017 4:25:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3080/3728 took 820714 ms. Total solver calls (SAT/UNSAT): 5977391(9163/5968228)
Jun 02, 2017 4:25:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3084/3728 took 821913 ms. Total solver calls (SAT/UNSAT): 5986385(9175/5977210)
Jun 02, 2017 4:25:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3088/3728 took 822914 ms. Total solver calls (SAT/UNSAT): 5993857(9187/5984670)
Jun 02, 2017 4:25:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3093/3728 took 824160 ms. Total solver calls (SAT/UNSAT): 6003197(9202/5993995)
Jun 02, 2017 4:25:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3097/3728 took 825160 ms. Total solver calls (SAT/UNSAT): 6010669(9214/6001455)
Jun 02, 2017 4:25:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3102/3728 took 826405 ms. Total solver calls (SAT/UNSAT): 6020009(9229/6010780)
Jun 02, 2017 4:25:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3106/3728 took 827609 ms. Total solver calls (SAT/UNSAT): 6029003(9241/6019762)
Jun 02, 2017 4:25:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3111/3728 took 828855 ms. Total solver calls (SAT/UNSAT): 6038343(9256/6029087)
Jun 02, 2017 4:25:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3116/3728 took 830099 ms. Total solver calls (SAT/UNSAT): 6047683(9271/6038412)
Jun 02, 2017 4:25:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3121/3728 took 831340 ms. Total solver calls (SAT/UNSAT): 6057023(9286/6047737)
Jun 02, 2017 4:25:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3125/3728 took 832547 ms. Total solver calls (SAT/UNSAT): 6066017(9298/6056719)
Jun 02, 2017 4:25:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3129/3728 took 833547 ms. Total solver calls (SAT/UNSAT): 6073489(9310/6064179)
Jun 02, 2017 4:25:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3133/3728 took 834549 ms. Total solver calls (SAT/UNSAT): 6080961(9322/6071639)
Jun 02, 2017 4:25:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3138/3728 took 835789 ms. Total solver calls (SAT/UNSAT): 6090301(9337/6080964)
Jun 02, 2017 4:25:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3142/3728 took 836793 ms. Total solver calls (SAT/UNSAT): 6097773(9349/6088424)
Jun 02, 2017 4:25:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3146/3728 took 837996 ms. Total solver calls (SAT/UNSAT): 6106767(9361/6097406)
Jun 02, 2017 4:25:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3151/3728 took 839244 ms. Total solver calls (SAT/UNSAT): 6116107(9376/6106731)
Jun 02, 2017 4:25:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3156/3728 took 840490 ms. Total solver calls (SAT/UNSAT): 6125447(9391/6116056)
Jun 02, 2017 4:25:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3160/3728 took 841490 ms. Total solver calls (SAT/UNSAT): 6132919(9403/6123516)
Jun 02, 2017 4:25:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3165/3728 took 842740 ms. Total solver calls (SAT/UNSAT): 6142259(9418/6132841)
Jun 02, 2017 4:25:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3169/3728 took 843944 ms. Total solver calls (SAT/UNSAT): 6151253(9430/6141823)
Jun 02, 2017 4:25:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3173/3728 took 844944 ms. Total solver calls (SAT/UNSAT): 6158725(9442/6149283)
Jun 02, 2017 4:25:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3177/3728 took 845950 ms. Total solver calls (SAT/UNSAT): 6166197(9454/6156743)
Jun 02, 2017 4:25:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3182/3728 took 847196 ms. Total solver calls (SAT/UNSAT): 6175537(9469/6166068)
Jun 02, 2017 4:25:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3186/3728 took 848201 ms. Total solver calls (SAT/UNSAT): 6183009(9481/6173528)
Jun 02, 2017 4:25:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3190/3728 took 849404 ms. Total solver calls (SAT/UNSAT): 6192003(9493/6182510)
Jun 02, 2017 4:25:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3194/3728 took 850408 ms. Total solver calls (SAT/UNSAT): 6199475(9505/6189970)
Jun 02, 2017 4:25:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3199/3728 took 851649 ms. Total solver calls (SAT/UNSAT): 6208815(9520/6199295)
Jun 02, 2017 4:25:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3203/3728 took 852653 ms. Total solver calls (SAT/UNSAT): 6216287(9532/6206755)
Jun 02, 2017 4:25:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3207/3728 took 853655 ms. Total solver calls (SAT/UNSAT): 6223759(9544/6214215)
Jun 02, 2017 4:25:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3211/3728 took 854863 ms. Total solver calls (SAT/UNSAT): 6232753(9556/6223197)
Jun 02, 2017 4:25:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3216/3728 took 856103 ms. Total solver calls (SAT/UNSAT): 6242093(9571/6232522)
Jun 02, 2017 4:25:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3220/3728 took 857104 ms. Total solver calls (SAT/UNSAT): 6249565(9583/6239982)
Jun 02, 2017 4:25:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3224/3728 took 858104 ms. Total solver calls (SAT/UNSAT): 6257037(9595/6247442)
Jun 02, 2017 4:25:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3228/3728 took 859106 ms. Total solver calls (SAT/UNSAT): 6264509(9607/6254902)
Jun 02, 2017 4:25:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3232/3728 took 860310 ms. Total solver calls (SAT/UNSAT): 6273503(9619/6263884)
Jun 02, 2017 4:25:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3236/3728 took 861314 ms. Total solver calls (SAT/UNSAT): 6280975(9631/6271344)
Jun 02, 2017 4:25:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3240/3728 took 862320 ms. Total solver calls (SAT/UNSAT): 6288447(9643/6278804)
Jun 02, 2017 4:25:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3245/3728 took 863561 ms. Total solver calls (SAT/UNSAT): 6297787(9658/6288129)
Jun 02, 2017 4:25:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3249/3728 took 864564 ms. Total solver calls (SAT/UNSAT): 6305259(9670/6295589)
Jun 02, 2017 4:25:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3253/3728 took 865766 ms. Total solver calls (SAT/UNSAT): 6314253(9682/6304571)
Jun 02, 2017 4:25:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3257/3728 took 866773 ms. Total solver calls (SAT/UNSAT): 6321725(9694/6312031)
Jun 02, 2017 4:25:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3262/3728 took 868016 ms. Total solver calls (SAT/UNSAT): 6331065(9709/6321356)
Jun 02, 2017 4:26:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3266/3728 took 869017 ms. Total solver calls (SAT/UNSAT): 6338537(9721/6328816)
Jun 02, 2017 4:26:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3271/3728 took 870469 ms. Total solver calls (SAT/UNSAT): 6349398(9736/6339662)
Jun 02, 2017 4:26:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3275/3728 took 871472 ms. Total solver calls (SAT/UNSAT): 6356871(9748/6347123)
Jun 02, 2017 4:26:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3279/3728 took 872475 ms. Total solver calls (SAT/UNSAT): 6364343(9760/6354583)
Jun 02, 2017 4:26:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3283/3728 took 873479 ms. Total solver calls (SAT/UNSAT): 6371815(9772/6362043)
Jun 02, 2017 4:26:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3288/3728 took 874725 ms. Total solver calls (SAT/UNSAT): 6381155(9787/6371368)
Jun 02, 2017 4:26:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3292/3728 took 875927 ms. Total solver calls (SAT/UNSAT): 6390148(9799/6380349)
Jun 02, 2017 4:26:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3296/3728 took 876928 ms. Total solver calls (SAT/UNSAT): 6397621(9811/6387810)
Jun 02, 2017 4:26:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3301/3728 took 878170 ms. Total solver calls (SAT/UNSAT): 6406961(9826/6397135)
Jun 02, 2017 4:26:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3305/3728 took 879172 ms. Total solver calls (SAT/UNSAT): 6414433(9838/6404595)
Jun 02, 2017 4:26:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3310/3728 took 880418 ms. Total solver calls (SAT/UNSAT): 6423773(9853/6413920)
Jun 02, 2017 4:26:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3314/3728 took 881621 ms. Total solver calls (SAT/UNSAT): 6432767(9865/6422902)
Jun 02, 2017 4:26:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3319/3728 took 882864 ms. Total solver calls (SAT/UNSAT): 6442107(9880/6432227)
Jun 02, 2017 4:26:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3324/3728 took 884112 ms. Total solver calls (SAT/UNSAT): 6451447(9895/6441552)
Jun 02, 2017 4:26:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3329/3728 took 885356 ms. Total solver calls (SAT/UNSAT): 6460787(9910/6450877)
Jun 02, 2017 4:26:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3334/3728 took 886804 ms. Total solver calls (SAT/UNSAT): 6471648(9925/6461723)
Jun 02, 2017 4:26:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3339/3728 took 888038 ms. Total solver calls (SAT/UNSAT): 6480989(9940/6471049)
Jun 02, 2017 4:26:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3344/3728 took 889286 ms. Total solver calls (SAT/UNSAT): 6490329(9955/6480374)
Jun 02, 2017 4:26:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3349/3728 took 890527 ms. Total solver calls (SAT/UNSAT): 6499669(9970/6489699)
Jun 02, 2017 4:26:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3354/3728 took 891772 ms. Total solver calls (SAT/UNSAT): 6509009(9985/6499024)
Jun 02, 2017 4:26:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3358/3728 took 892969 ms. Total solver calls (SAT/UNSAT): 6518003(9997/6508006)
Jun 02, 2017 4:26:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3362/3728 took 893972 ms. Total solver calls (SAT/UNSAT): 6525475(10009/6515466)
Jun 02, 2017 4:26:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3367/3728 took 895251 ms. Total solver calls (SAT/UNSAT): 6534815(10024/6524791)
Jun 02, 2017 4:26:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3371/3728 took 896283 ms. Total solver calls (SAT/UNSAT): 6542287(10036/6532251)
Jun 02, 2017 4:26:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3375/3728 took 897317 ms. Total solver calls (SAT/UNSAT): 6549759(10048/6539711)
Jun 02, 2017 4:26:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3379/3728 took 898555 ms. Total solver calls (SAT/UNSAT): 6558753(10060/6548693)
Jun 02, 2017 4:26:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3383/3728 took 899581 ms. Total solver calls (SAT/UNSAT): 6566225(10072/6556153)
Jun 02, 2017 4:26:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3387/3728 took 900602 ms. Total solver calls (SAT/UNSAT): 6573697(10084/6563613)
Jun 02, 2017 4:26:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3391/3728 took 901623 ms. Total solver calls (SAT/UNSAT): 6581169(10096/6571073)
Jun 02, 2017 4:26:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3395/3728 took 902647 ms. Total solver calls (SAT/UNSAT): 6588641(10108/6578533)
Jun 02, 2017 4:26:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3399/3728 took 903877 ms. Total solver calls (SAT/UNSAT): 6597635(10120/6587515)
Jun 02, 2017 4:26:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3403/3728 took 904902 ms. Total solver calls (SAT/UNSAT): 6605107(10132/6594975)
Jun 02, 2017 4:26:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3407/3728 took 905924 ms. Total solver calls (SAT/UNSAT): 6612579(10144/6602435)
Jun 02, 2017 4:26:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3411/3728 took 906947 ms. Total solver calls (SAT/UNSAT): 6620051(10156/6609895)
Jun 02, 2017 4:26:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3415/3728 took 907971 ms. Total solver calls (SAT/UNSAT): 6627523(10168/6617355)
Jun 02, 2017 4:26:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3419/3728 took 909204 ms. Total solver calls (SAT/UNSAT): 6636517(10180/6626337)
Jun 02, 2017 4:26:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3423/3728 took 910226 ms. Total solver calls (SAT/UNSAT): 6643989(10192/6633797)
Jun 02, 2017 4:26:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3427/3728 took 911245 ms. Total solver calls (SAT/UNSAT): 6651461(10204/6641257)
Jun 02, 2017 4:26:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3431/3728 took 912267 ms. Total solver calls (SAT/UNSAT): 6658933(10216/6648717)
Jun 02, 2017 4:26:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3435/3728 took 913289 ms. Total solver calls (SAT/UNSAT): 6666405(10228/6656177)
Jun 02, 2017 4:26:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3439/3728 took 914516 ms. Total solver calls (SAT/UNSAT): 6675398(10240/6665158)
Jun 02, 2017 4:26:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3465/3728 took 915550 ms. Total solver calls (SAT/UNSAT): 6682262(10266/6671996)
Jun 02, 2017 4:26:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3480/3728 took 916552 ms. Total solver calls (SAT/UNSAT): 6689262(10281/6678981)
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_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/S_BridgeAndVehicles-PT-V80P20N20.tgz
mv S_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 S_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 r090-csrt-149441076900539"
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 ;