About the Execution of ITS-Tools for S_BridgeAndVehicles-PT-V80P50N20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15939.950 | 3600000.00 | 4707616.00 | 522.50 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is S_BridgeAndVehicles-PT-V80P50N20, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r090-csrt-149441076900564
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-0
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-1
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-10
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-11
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-12
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-13
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-14
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-15
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-2
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-3
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-4
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-5
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-6
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-7
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-8
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-LTLFireability-9
=== Now, execution of the tool begins
BK_START 1496422523679
Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ltl command run as :
/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !(((("CHOIX_1>=1")&&("COMPTEUR_20>=1"))||(("CHOIX_2>=1")&&("COMPTEUR_20>=1"))))
Formula 0 simplified : !(("CHOIX_1>=1" & "COMPTEUR_20>=1") | ("CHOIX_2>=1" & "COMPTEUR_20>=1"))
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 3728 rows 198 cols
invariant : 1'NB_ATTENTE_B_0 + 1'NB_ATTENTE_B_1 + 1'NB_ATTENTE_B_2 + 1'NB_ATTENTE_B_3 + 1'NB_ATTENTE_B_4 + 1'NB_ATTENTE_B_5 + 1'NB_ATTENTE_B_6 + 1'NB_ATTENTE_B_7 + 1'NB_ATTENTE_B_8 + 1'NB_ATTENTE_B_9 + 1'NB_ATTENTE_B_10 + 1'NB_ATTENTE_B_11 + 1'NB_ATTENTE_B_12 + 1'NB_ATTENTE_B_13 + 1'NB_ATTENTE_B_14 + 1'NB_ATTENTE_B_15 + 1'NB_ATTENTE_B_16 + 1'NB_ATTENTE_B_17 + 1'NB_ATTENTE_B_18 + 1'NB_ATTENTE_B_19 + 1'NB_ATTENTE_B_20 + 1'NB_ATTENTE_B_21 + 1'NB_ATTENTE_B_22 + 1'NB_ATTENTE_B_23 + 1'NB_ATTENTE_B_24 + 1'NB_ATTENTE_B_25 + 1'NB_ATTENTE_B_26 + 1'NB_ATTENTE_B_27 + 1'NB_ATTENTE_B_28 + 1'NB_ATTENTE_B_29 + 1'NB_ATTENTE_B_30 + 1'NB_ATTENTE_B_31 + 1'NB_ATTENTE_B_32 + 1'NB_ATTENTE_B_33 + 1'NB_ATTENTE_B_34 + 1'NB_ATTENTE_B_35 + 1'NB_ATTENTE_B_36 + 1'NB_ATTENTE_B_37 + 1'NB_ATTENTE_B_38 + 1'NB_ATTENTE_B_39 + 1'NB_ATTENTE_B_40 + 1'NB_ATTENTE_B_41 + 1'NB_ATTENTE_B_42 + 1'NB_ATTENTE_B_43 + 1'NB_ATTENTE_B_44 + 1'NB_ATTENTE_B_45 + 1'NB_ATTENTE_B_46 + 1'NB_ATTENTE_B_47 + 1'NB_ATTENTE_B_48 + 1'NB_ATTENTE_B_49 + 1'NB_ATTENTE_B_50 + 1'NB_ATTENTE_B_51 + 1'NB_ATTENTE_B_52 + 1'NB_ATTENTE_B_53 + 1'NB_ATTENTE_B_54 + 1'NB_ATTENTE_B_55 + 1'NB_ATTENTE_B_56 + 1'NB_ATTENTE_B_57 + 1'NB_ATTENTE_B_58 + 1'NB_ATTENTE_B_59 + 1'NB_ATTENTE_B_60 + 1'NB_ATTENTE_B_61 + 1'NB_ATTENTE_B_62 + 1'NB_ATTENTE_B_63 + 1'NB_ATTENTE_B_64 + 1'NB_ATTENTE_B_65 + 1'NB_ATTENTE_B_66 + 1'NB_ATTENTE_B_67 + 1'NB_ATTENTE_B_68 + 1'NB_ATTENTE_B_69 + 1'NB_ATTENTE_B_70 + 1'NB_ATTENTE_B_71 + 1'NB_ATTENTE_B_72 + 1'NB_ATTENTE_B_73 + 1'NB_ATTENTE_B_74 + 1'NB_ATTENTE_B_75 + 1'NB_ATTENTE_B_76 + 1'NB_ATTENTE_B_77 + 1'NB_ATTENTE_B_78 + 1'NB_ATTENTE_B_79 + 1'NB_ATTENTE_B_80= 1
invariant : 1'ROUTE_A + 1'ATTENTE_A + 1'SUR_PONT_A + 1'SORTI_A= 80
invariant : 1'COMPTEUR_0 + 1'COMPTEUR_1 + 1'COMPTEUR_2 + 1'COMPTEUR_3 + 1'COMPTEUR_4 + 1'COMPTEUR_5 + 1'COMPTEUR_6 + 1'COMPTEUR_7 + 1'COMPTEUR_8 + 1'COMPTEUR_9 + 1'COMPTEUR_10 + 1'COMPTEUR_11 + 1'COMPTEUR_12 + 1'COMPTEUR_13 + 1'COMPTEUR_14 + 1'COMPTEUR_15 + 1'COMPTEUR_16 + 1'COMPTEUR_17 + 1'COMPTEUR_18 + 1'COMPTEUR_19 + 1'COMPTEUR_20= 1
invariant : 1'SUR_PONT_A + 1'CAPACITE + 1'SUR_PONT_B= 50
invariant : -1'SUR_PONT_A + -1'CAPACITE + 1'ATTENTE_B + 1'SORTI_B + 1'ROUTE_B= 30
invariant : 1'NB_ATTENTE_A_0 + 1'NB_ATTENTE_A_1 + 1'NB_ATTENTE_A_2 + 1'NB_ATTENTE_A_3 + 1'NB_ATTENTE_A_4 + 1'NB_ATTENTE_A_5 + 1'NB_ATTENTE_A_6 + 1'NB_ATTENTE_A_7 + 1'NB_ATTENTE_A_8 + 1'NB_ATTENTE_A_9 + 1'NB_ATTENTE_A_10 + 1'NB_ATTENTE_A_11 + 1'NB_ATTENTE_A_12 + 1'NB_ATTENTE_A_13 + 1'NB_ATTENTE_A_14 + 1'NB_ATTENTE_A_15 + 1'NB_ATTENTE_A_16 + 1'NB_ATTENTE_A_17 + 1'NB_ATTENTE_A_18 + 1'NB_ATTENTE_A_19 + 1'NB_ATTENTE_A_20 + 1'NB_ATTENTE_A_21 + 1'NB_ATTENTE_A_22 + 1'NB_ATTENTE_A_23 + 1'NB_ATTENTE_A_24 + 1'NB_ATTENTE_A_25 + 1'NB_ATTENTE_A_26 + 1'NB_ATTENTE_A_27 + 1'NB_ATTENTE_A_28 + 1'NB_ATTENTE_A_29 + 1'NB_ATTENTE_A_30 + 1'NB_ATTENTE_A_31 + 1'NB_ATTENTE_A_32 + 1'NB_ATTENTE_A_33 + 1'NB_ATTENTE_A_34 + 1'NB_ATTENTE_A_35 + 1'NB_ATTENTE_A_36 + 1'NB_ATTENTE_A_37 + 1'NB_ATTENTE_A_38 + 1'NB_ATTENTE_A_39 + 1'NB_ATTENTE_A_40 + 1'NB_ATTENTE_A_41 + 1'NB_ATTENTE_A_42 + 1'NB_ATTENTE_A_43 + 1'NB_ATTENTE_A_44 + 1'NB_ATTENTE_A_45 + 1'NB_ATTENTE_A_46 + 1'NB_ATTENTE_A_47 + 1'NB_ATTENTE_A_48 + 1'NB_ATTENTE_A_49 + 1'NB_ATTENTE_A_50 + 1'NB_ATTENTE_A_51 + 1'NB_ATTENTE_A_52 + 1'NB_ATTENTE_A_53 + 1'NB_ATTENTE_A_54 + 1'NB_ATTENTE_A_55 + 1'NB_ATTENTE_A_56 + 1'NB_ATTENTE_A_57 + 1'NB_ATTENTE_A_58 + 1'NB_ATTENTE_A_59 + 1'NB_ATTENTE_A_60 + 1'NB_ATTENTE_A_61 + 1'NB_ATTENTE_A_62 + 1'NB_ATTENTE_A_63 + 1'NB_ATTENTE_A_64 + 1'NB_ATTENTE_A_65 + 1'NB_ATTENTE_A_66 + 1'NB_ATTENTE_A_67 + 1'NB_ATTENTE_A_68 + 1'NB_ATTENTE_A_69 + 1'NB_ATTENTE_A_70 + 1'NB_ATTENTE_A_71 + 1'NB_ATTENTE_A_72 + 1'NB_ATTENTE_A_73 + 1'NB_ATTENTE_A_74 + 1'NB_ATTENTE_A_75 + 1'NB_ATTENTE_A_76 + 1'NB_ATTENTE_A_77 + 1'NB_ATTENTE_A_78 + 1'NB_ATTENTE_A_79 + 1'NB_ATTENTE_A_80= 1
invariant : 1'CONTROLEUR_1 + 1'CONTROLEUR_2 + 1'CHOIX_1 + 1'CHOIX_2 + 1'VIDANGE_1 + 1'VIDANGE_2= 1
Exit code :137
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -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 LTLFireability -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 02, 2017 4:55:25 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 02, 2017 4:55:25 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 350 ms
Jun 02, 2017 4:55:25 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 198 places.
Jun 02, 2017 4:55:25 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 3728 transitions.
Jun 02, 2017 4:55:28 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 624 ms
Jun 02, 2017 4:55:28 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 78 ms
Jun 02, 2017 4:55:28 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 68 ms
Jun 02, 2017 4:55:31 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 7 place invariants in 530 ms
Jun 02, 2017 4:55:45 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 198 variables to be positive in 15192 ms
Jun 02, 2017 4:55:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 3728 transitions.
Jun 02, 2017 4:55:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/3728 took 302 ms. Total solver calls (SAT/UNSAT): 1943(2/1941)
Jun 02, 2017 4:55:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :4/3728 took 1465 ms. Total solver calls (SAT/UNSAT): 9715(10/9705)
Jun 02, 2017 4:55:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :8/3728 took 2567 ms. Total solver calls (SAT/UNSAT): 17487(18/17469)
Jun 02, 2017 4:55:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :12/3728 took 3669 ms. Total solver calls (SAT/UNSAT): 25259(26/25233)
Jun 02, 2017 4:55:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :16/3728 took 4767 ms. Total solver calls (SAT/UNSAT): 33031(34/32997)
Jun 02, 2017 4:55:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :20/3728 took 5841 ms. Total solver calls (SAT/UNSAT): 40803(42/40761)
Jun 02, 2017 4:55:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :24/3728 took 6917 ms. Total solver calls (SAT/UNSAT): 48575(50/48525)
Jun 02, 2017 4:55:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :28/3728 took 7989 ms. Total solver calls (SAT/UNSAT): 56347(58/56289)
Jun 02, 2017 4:55:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :32/3728 took 9059 ms. Total solver calls (SAT/UNSAT): 64119(66/64053)
Jun 02, 2017 4:55:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :36/3728 took 10128 ms. Total solver calls (SAT/UNSAT): 71891(74/71817)
Jun 02, 2017 4:55:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/3728 took 11181 ms. Total solver calls (SAT/UNSAT): 79663(82/79581)
Jun 02, 2017 4:55:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/3728 took 12227 ms. Total solver calls (SAT/UNSAT): 87435(90/87345)
Jun 02, 2017 4:55:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :48/3728 took 13269 ms. Total solver calls (SAT/UNSAT): 95207(98/95109)
Jun 02, 2017 4:56:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/3728 took 14313 ms. Total solver calls (SAT/UNSAT): 102979(106/102873)
Jun 02, 2017 4:56:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :56/3728 took 15403 ms. Total solver calls (SAT/UNSAT): 110751(114/110637)
Jun 02, 2017 4:56:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :60/3728 took 16502 ms. Total solver calls (SAT/UNSAT): 118523(122/118401)
Jun 02, 2017 4:56:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/3728 took 17551 ms. Total solver calls (SAT/UNSAT): 126295(130/126165)
Jun 02, 2017 4:56:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/3728 took 18575 ms. Total solver calls (SAT/UNSAT): 134067(138/133929)
Jun 02, 2017 4:56:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :72/3728 took 19603 ms. Total solver calls (SAT/UNSAT): 141839(146/141693)
Jun 02, 2017 4:56:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :76/3728 took 20629 ms. Total solver calls (SAT/UNSAT): 149611(154/149457)
Jun 02, 2017 4:56:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :80/3728 took 21630 ms. Total solver calls (SAT/UNSAT): 157308(163/157145)
Jun 02, 2017 4:56:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :85/3728 took 22849 ms. Total solver calls (SAT/UNSAT): 166653(178/166475)
Jun 02, 2017 4:56:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :90/3728 took 24064 ms. Total solver calls (SAT/UNSAT): 175998(193/175805)
Jun 02, 2017 4:56:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :94/3728 took 25148 ms. Total solver calls (SAT/UNSAT): 183474(205/183269)
Jun 02, 2017 4:56:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :98/3728 took 26148 ms. Total solver calls (SAT/UNSAT): 190950(217/190733)
Jun 02, 2017 4:56:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :102/3728 took 27292 ms. Total solver calls (SAT/UNSAT): 198426(229/198197)
Jun 02, 2017 4:56:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :106/3728 took 28398 ms. Total solver calls (SAT/UNSAT): 205902(241/205661)
Jun 02, 2017 4:56:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :110/3728 took 29508 ms. Total solver calls (SAT/UNSAT): 213378(253/213125)
Jun 02, 2017 4:56:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :114/3728 took 30618 ms. Total solver calls (SAT/UNSAT): 220854(265/220589)
Jun 02, 2017 4:56:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :118/3728 took 31718 ms. Total solver calls (SAT/UNSAT): 228330(277/228053)
Jun 02, 2017 4:56:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :122/3728 took 32778 ms. Total solver calls (SAT/UNSAT): 235806(289/235517)
Jun 02, 2017 4:56:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :126/3728 took 33780 ms. Total solver calls (SAT/UNSAT): 243282(301/242981)
Jun 02, 2017 4:56:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/3728 took 35030 ms. Total solver calls (SAT/UNSAT): 252627(316/252311)
Jun 02, 2017 4:56:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :135/3728 took 36030 ms. Total solver calls (SAT/UNSAT): 260103(328/259775)
Jun 02, 2017 4:56:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/3728 took 37265 ms. Total solver calls (SAT/UNSAT): 269448(343/269105)
Jun 02, 2017 4:56:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :145/3728 took 38498 ms. Total solver calls (SAT/UNSAT): 278793(358/278435)
Jun 02, 2017 4:56:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/3728 took 39740 ms. Total solver calls (SAT/UNSAT): 288138(373/287765)
Jun 02, 2017 4:56:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :155/3728 took 40986 ms. Total solver calls (SAT/UNSAT): 297483(388/297095)
Jun 02, 2017 4:56:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :160/3728 took 42228 ms. Total solver calls (SAT/UNSAT): 306826(403/306423)
Jun 02, 2017 4:56:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :165/3728 took 43455 ms. Total solver calls (SAT/UNSAT): 316166(418/315748)
Jun 02, 2017 4:56:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :170/3728 took 44697 ms. Total solver calls (SAT/UNSAT): 325506(433/325073)
Jun 02, 2017 4:56:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/3728 took 45748 ms. Total solver calls (SAT/UNSAT): 332978(445/332533)
Jun 02, 2017 4:56:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :179/3728 took 47038 ms. Total solver calls (SAT/UNSAT): 342318(460/341858)
Jun 02, 2017 4:56:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/3728 took 48131 ms. Total solver calls (SAT/UNSAT): 349790(472/349318)
Jun 02, 2017 4:56:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :187/3728 took 49225 ms. Total solver calls (SAT/UNSAT): 357262(484/356778)
Jun 02, 2017 4:56:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :191/3728 took 50319 ms. Total solver calls (SAT/UNSAT): 364734(496/364238)
Jun 02, 2017 4:56:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :195/3728 took 51398 ms. Total solver calls (SAT/UNSAT): 372206(508/371698)
Jun 02, 2017 4:56:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/3728 took 52492 ms. Total solver calls (SAT/UNSAT): 379678(520/379158)
Jun 02, 2017 4:56:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :203/3728 took 53601 ms. Total solver calls (SAT/UNSAT): 387150(532/386618)
Jun 02, 2017 4:56:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :207/3728 took 54697 ms. Total solver calls (SAT/UNSAT): 394622(544/394078)
Jun 02, 2017 4:56:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :211/3728 took 55791 ms. Total solver calls (SAT/UNSAT): 402094(556/401538)
Jun 02, 2017 4:56:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :215/3728 took 56889 ms. Total solver calls (SAT/UNSAT): 409566(568/408998)
Jun 02, 2017 4:56:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :219/3728 took 57967 ms. Total solver calls (SAT/UNSAT): 417038(580/416458)
Jun 02, 2017 4:56:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :223/3728 took 59056 ms. Total solver calls (SAT/UNSAT): 424510(592/423918)
Jun 02, 2017 4:56:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :227/3728 took 60131 ms. Total solver calls (SAT/UNSAT): 431982(604/431378)
Jun 02, 2017 4:56:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :231/3728 took 61226 ms. Total solver calls (SAT/UNSAT): 439454(616/438838)
Jun 02, 2017 4:56:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :235/3728 took 62304 ms. Total solver calls (SAT/UNSAT): 446926(628/446298)
Jun 02, 2017 4:56:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :239/3728 took 63395 ms. Total solver calls (SAT/UNSAT): 454398(640/453758)
Jun 02, 2017 4:56:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :243/3728 took 64559 ms. Total solver calls (SAT/UNSAT): 461869(652/461217)
Jun 02, 2017 4:56:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :247/3728 took 65735 ms. Total solver calls (SAT/UNSAT): 469341(664/468677)
Jun 02, 2017 4:56:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :251/3728 took 66838 ms. Total solver calls (SAT/UNSAT): 476813(676/476137)
Jun 02, 2017 4:56:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :255/3728 took 67940 ms. Total solver calls (SAT/UNSAT): 484285(688/483597)
Jun 02, 2017 4:56:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :259/3728 took 69031 ms. Total solver calls (SAT/UNSAT): 491757(700/491057)
Jun 02, 2017 4:56:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :263/3728 took 70124 ms. Total solver calls (SAT/UNSAT): 499229(712/498517)
Jun 02, 2017 4:56:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :267/3728 took 71215 ms. Total solver calls (SAT/UNSAT): 506701(724/505977)
Jun 02, 2017 4:56:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :271/3728 took 72305 ms. Total solver calls (SAT/UNSAT): 514173(736/513437)
Jun 02, 2017 4:56:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :275/3728 took 73397 ms. Total solver calls (SAT/UNSAT): 521645(748/520897)
Jun 02, 2017 4:57:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :279/3728 took 74486 ms. Total solver calls (SAT/UNSAT): 529117(760/528357)
Jun 02, 2017 4:57:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :283/3728 took 75573 ms. Total solver calls (SAT/UNSAT): 536589(772/535817)
Jun 02, 2017 4:57:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :287/3728 took 76661 ms. Total solver calls (SAT/UNSAT): 544061(784/543277)
Jun 02, 2017 4:57:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :291/3728 took 77751 ms. Total solver calls (SAT/UNSAT): 551533(796/550737)
Jun 02, 2017 4:57:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :295/3728 took 78844 ms. Total solver calls (SAT/UNSAT): 559005(808/558197)
Jun 02, 2017 4:57:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :299/3728 took 79934 ms. Total solver calls (SAT/UNSAT): 566477(820/565657)
Jun 02, 2017 4:57:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :303/3728 took 81025 ms. Total solver calls (SAT/UNSAT): 573949(832/573117)
Jun 02, 2017 4:57:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :307/3728 took 82131 ms. Total solver calls (SAT/UNSAT): 581421(844/580577)
Jun 02, 2017 4:57:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :311/3728 took 83219 ms. Total solver calls (SAT/UNSAT): 588893(856/588037)
Jun 02, 2017 4:57:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :315/3728 took 84309 ms. Total solver calls (SAT/UNSAT): 596365(868/595497)
Jun 02, 2017 4:57:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :319/3728 took 85398 ms. Total solver calls (SAT/UNSAT): 603837(880/602957)
Jun 02, 2017 4:57:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :323/3728 took 86490 ms. Total solver calls (SAT/UNSAT): 611308(892/610416)
Jun 02, 2017 4:57:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :327/3728 took 87578 ms. Total solver calls (SAT/UNSAT): 618780(904/617876)
Jun 02, 2017 4:57:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :331/3728 took 88667 ms. Total solver calls (SAT/UNSAT): 626252(916/625336)
Jun 02, 2017 4:57:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :335/3728 took 89757 ms. Total solver calls (SAT/UNSAT): 633724(928/632796)
Jun 02, 2017 4:57:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :339/3728 took 90846 ms. Total solver calls (SAT/UNSAT): 641196(940/640256)
Jun 02, 2017 4:57:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :343/3728 took 91939 ms. Total solver calls (SAT/UNSAT): 648668(952/647716)
Jun 02, 2017 4:57:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :347/3728 took 93029 ms. Total solver calls (SAT/UNSAT): 656140(964/655176)
Jun 02, 2017 4:57:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :351/3728 took 94119 ms. Total solver calls (SAT/UNSAT): 663612(976/662636)
Jun 02, 2017 4:57:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :355/3728 took 95176 ms. Total solver calls (SAT/UNSAT): 671084(988/670096)
Jun 02, 2017 4:57:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :360/3728 took 96411 ms. Total solver calls (SAT/UNSAT): 680424(1003/679421)
Jun 02, 2017 4:57:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :365/3728 took 97626 ms. Total solver calls (SAT/UNSAT): 689764(1018/688746)
Jun 02, 2017 4:57:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :370/3728 took 98843 ms. Total solver calls (SAT/UNSAT): 699104(1033/698071)
Jun 02, 2017 4:57:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :375/3728 took 100055 ms. Total solver calls (SAT/UNSAT): 708444(1048/707396)
Jun 02, 2017 4:57:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :380/3728 took 101269 ms. Total solver calls (SAT/UNSAT): 717784(1063/716721)
Jun 02, 2017 4:57:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :385/3728 took 102484 ms. Total solver calls (SAT/UNSAT): 727124(1078/726046)
Jun 02, 2017 4:57:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :390/3728 took 103700 ms. Total solver calls (SAT/UNSAT): 736464(1093/735371)
Jun 02, 2017 4:57:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :394/3728 took 104724 ms. Total solver calls (SAT/UNSAT): 743936(1105/742831)
Jun 02, 2017 4:57:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :398/3728 took 105760 ms. Total solver calls (SAT/UNSAT): 751408(1117/750291)
Jun 02, 2017 4:57:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :402/3728 took 106850 ms. Total solver calls (SAT/UNSAT): 758879(1129/757750)
Jun 02, 2017 4:57:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :406/3728 took 107939 ms. Total solver calls (SAT/UNSAT): 766351(1141/765210)
Jun 02, 2017 4:57:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :410/3728 took 109027 ms. Total solver calls (SAT/UNSAT): 773823(1153/772670)
Jun 02, 2017 4:57:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :414/3728 took 110122 ms. Total solver calls (SAT/UNSAT): 781295(1165/780130)
Jun 02, 2017 4:57:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :418/3728 took 111224 ms. Total solver calls (SAT/UNSAT): 788767(1177/787590)
Jun 02, 2017 4:57:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :422/3728 took 112318 ms. Total solver calls (SAT/UNSAT): 796239(1189/795050)
Jun 02, 2017 4:57:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :426/3728 took 113408 ms. Total solver calls (SAT/UNSAT): 803711(1201/802510)
Jun 02, 2017 4:57:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :430/3728 took 114600 ms. Total solver calls (SAT/UNSAT): 811183(1213/809970)
Jun 02, 2017 4:57:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :434/3728 took 115703 ms. Total solver calls (SAT/UNSAT): 818655(1225/817430)
Jun 02, 2017 4:57:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :438/3728 took 116796 ms. Total solver calls (SAT/UNSAT): 826127(1237/824890)
Jun 02, 2017 4:57:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :442/3728 took 117888 ms. Total solver calls (SAT/UNSAT): 833599(1249/832350)
Jun 02, 2017 4:57:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :446/3728 took 119038 ms. Total solver calls (SAT/UNSAT): 841071(1261/839810)
Jun 02, 2017 4:57:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :450/3728 took 120134 ms. Total solver calls (SAT/UNSAT): 848543(1273/847270)
Jun 02, 2017 4:57:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :454/3728 took 121219 ms. Total solver calls (SAT/UNSAT): 856015(1285/854730)
Jun 02, 2017 4:57:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :458/3728 took 122303 ms. Total solver calls (SAT/UNSAT): 863487(1297/862190)
Jun 02, 2017 4:57:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :462/3728 took 123402 ms. Total solver calls (SAT/UNSAT): 870959(1309/869650)
Jun 02, 2017 4:57:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :466/3728 took 124507 ms. Total solver calls (SAT/UNSAT): 878431(1321/877110)
Jun 02, 2017 4:57:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :471/3728 took 125748 ms. Total solver calls (SAT/UNSAT): 887771(1336/886435)
Jun 02, 2017 4:57:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :476/3728 took 126977 ms. Total solver calls (SAT/UNSAT): 897111(1351/895760)
Jun 02, 2017 4:57:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :481/3728 took 128200 ms. Total solver calls (SAT/UNSAT): 906450(1366/905084)
Jun 02, 2017 4:57:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :485/3728 took 129333 ms. Total solver calls (SAT/UNSAT): 913922(1378/912544)
Jun 02, 2017 4:57:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :489/3728 took 130434 ms. Total solver calls (SAT/UNSAT): 921394(1390/920004)
Jun 02, 2017 4:57:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :493/3728 took 131535 ms. Total solver calls (SAT/UNSAT): 928866(1402/927464)
Jun 02, 2017 4:57:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :497/3728 took 132638 ms. Total solver calls (SAT/UNSAT): 936338(1414/934924)
Jun 02, 2017 4:57:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :501/3728 took 133639 ms. Total solver calls (SAT/UNSAT): 943810(1426/942384)
Jun 02, 2017 4:58:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :506/3728 took 134887 ms. Total solver calls (SAT/UNSAT): 953150(1441/951709)
Jun 02, 2017 4:58:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :511/3728 took 136135 ms. Total solver calls (SAT/UNSAT): 962490(1456/961034)
Jun 02, 2017 4:58:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :516/3728 took 137373 ms. Total solver calls (SAT/UNSAT): 971830(1471/970359)
Jun 02, 2017 4:58:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :521/3728 took 138606 ms. Total solver calls (SAT/UNSAT): 981170(1486/979684)
Jun 02, 2017 4:58:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :525/3728 took 139607 ms. Total solver calls (SAT/UNSAT): 988642(1498/987144)
Jun 02, 2017 4:58:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :529/3728 took 140612 ms. Total solver calls (SAT/UNSAT): 996114(1510/994604)
Jun 02, 2017 4:58:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :534/3728 took 141859 ms. Total solver calls (SAT/UNSAT): 1005454(1525/1003929)
Jun 02, 2017 4:58:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :538/3728 took 143056 ms. Total solver calls (SAT/UNSAT): 1012926(1537/1011389)
Jun 02, 2017 4:58:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :542/3728 took 144148 ms. Total solver calls (SAT/UNSAT): 1020398(1549/1018849)
Jun 02, 2017 4:58:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :546/3728 took 145309 ms. Total solver calls (SAT/UNSAT): 1027870(1561/1026309)
Jun 02, 2017 4:58:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :550/3728 took 146422 ms. Total solver calls (SAT/UNSAT): 1035342(1573/1033769)
Jun 02, 2017 4:58:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :554/3728 took 147464 ms. Total solver calls (SAT/UNSAT): 1042814(1585/1041229)
Jun 02, 2017 4:58:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :559/3728 took 148703 ms. Total solver calls (SAT/UNSAT): 1052154(1600/1050554)
Jun 02, 2017 4:58:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :564/3728 took 149926 ms. Total solver calls (SAT/UNSAT): 1061493(1615/1059878)
Jun 02, 2017 4:58:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :569/3728 took 151160 ms. Total solver calls (SAT/UNSAT): 1070833(1630/1069203)
Jun 02, 2017 4:58:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :574/3728 took 152399 ms. Total solver calls (SAT/UNSAT): 1080173(1645/1078528)
Jun 02, 2017 4:58:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :579/3728 took 153617 ms. Total solver calls (SAT/UNSAT): 1089513(1660/1087853)
Jun 02, 2017 4:58:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :584/3728 took 154847 ms. Total solver calls (SAT/UNSAT): 1098853(1675/1097178)
Jun 02, 2017 4:58:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :589/3728 took 156083 ms. Total solver calls (SAT/UNSAT): 1108193(1690/1106503)
Jun 02, 2017 4:58:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :594/3728 took 157312 ms. Total solver calls (SAT/UNSAT): 1117533(1705/1115828)
Jun 02, 2017 4:58:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :599/3728 took 158549 ms. Total solver calls (SAT/UNSAT): 1126873(1720/1125153)
Jun 02, 2017 4:58:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :603/3728 took 159694 ms. Total solver calls (SAT/UNSAT): 1134345(1732/1132613)
Jun 02, 2017 4:58:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :607/3728 took 160840 ms. Total solver calls (SAT/UNSAT): 1141817(1744/1140073)
Jun 02, 2017 4:58:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :611/3728 took 161947 ms. Total solver calls (SAT/UNSAT): 1149289(1756/1147533)
Jun 02, 2017 4:58:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :615/3728 took 163113 ms. Total solver calls (SAT/UNSAT): 1156761(1768/1154993)
Jun 02, 2017 4:58:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :619/3728 took 164258 ms. Total solver calls (SAT/UNSAT): 1164233(1780/1162453)
Jun 02, 2017 4:58:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :623/3728 took 165353 ms. Total solver calls (SAT/UNSAT): 1171705(1792/1169913)
Jun 02, 2017 4:58:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :627/3728 took 166425 ms. Total solver calls (SAT/UNSAT): 1179177(1804/1177373)
Jun 02, 2017 4:58:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :631/3728 took 167459 ms. Total solver calls (SAT/UNSAT): 1186649(1816/1184833)
Jun 02, 2017 4:58:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :635/3728 took 168594 ms. Total solver calls (SAT/UNSAT): 1194121(1828/1192293)
Jun 02, 2017 4:58:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :639/3728 took 169744 ms. Total solver calls (SAT/UNSAT): 1201593(1840/1199753)
Jun 02, 2017 4:58:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :643/3728 took 170850 ms. Total solver calls (SAT/UNSAT): 1209064(1852/1207212)
Jun 02, 2017 4:58:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :647/3728 took 171950 ms. Total solver calls (SAT/UNSAT): 1216536(1864/1214672)
Jun 02, 2017 4:58:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :651/3728 took 173041 ms. Total solver calls (SAT/UNSAT): 1224008(1876/1222132)
Jun 02, 2017 4:58:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :655/3728 took 174199 ms. Total solver calls (SAT/UNSAT): 1231480(1888/1229592)
Jun 02, 2017 4:58:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :659/3728 took 175354 ms. Total solver calls (SAT/UNSAT): 1238952(1900/1237052)
Jun 02, 2017 4:58:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :663/3728 took 176435 ms. Total solver calls (SAT/UNSAT): 1246424(1912/1244512)
Jun 02, 2017 4:58:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :667/3728 took 177485 ms. Total solver calls (SAT/UNSAT): 1253896(1924/1251972)
Jun 02, 2017 4:58:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :671/3728 took 178539 ms. Total solver calls (SAT/UNSAT): 1261368(1936/1259432)
Jun 02, 2017 4:58:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :675/3728 took 179613 ms. Total solver calls (SAT/UNSAT): 1268840(1948/1266892)
Jun 02, 2017 4:58:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :679/3728 took 180681 ms. Total solver calls (SAT/UNSAT): 1276312(1960/1274352)
Jun 02, 2017 4:58:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :684/3728 took 181886 ms. Total solver calls (SAT/UNSAT): 1285652(1975/1283677)
Jun 02, 2017 4:58:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :689/3728 took 183095 ms. Total solver calls (SAT/UNSAT): 1294992(1990/1293002)
Jun 02, 2017 4:58:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :694/3728 took 184301 ms. Total solver calls (SAT/UNSAT): 1304332(2005/1302327)
Jun 02, 2017 4:58:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :699/3728 took 185518 ms. Total solver calls (SAT/UNSAT): 1313672(2020/1311652)
Jun 02, 2017 4:58:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :704/3728 took 186740 ms. Total solver calls (SAT/UNSAT): 1323012(2035/1320977)
Jun 02, 2017 4:58:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :709/3728 took 187962 ms. Total solver calls (SAT/UNSAT): 1332352(2050/1330302)
Jun 02, 2017 4:58:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :714/3728 took 189183 ms. Total solver calls (SAT/UNSAT): 1341692(2065/1339627)
Jun 02, 2017 4:58:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :719/3728 took 190402 ms. Total solver calls (SAT/UNSAT): 1351032(2080/1348952)
Jun 02, 2017 4:58:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :724/3728 took 191621 ms. Total solver calls (SAT/UNSAT): 1360371(2095/1358276)
Jun 02, 2017 4:58:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :729/3728 took 192844 ms. Total solver calls (SAT/UNSAT): 1369711(2110/1367601)
Jun 02, 2017 4:58:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :734/3728 took 194068 ms. Total solver calls (SAT/UNSAT): 1379051(2125/1376926)
Jun 02, 2017 4:59:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :739/3728 took 195292 ms. Total solver calls (SAT/UNSAT): 1388391(2140/1386251)
Jun 02, 2017 4:59:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :744/3728 took 196518 ms. Total solver calls (SAT/UNSAT): 1397731(2155/1395576)
Jun 02, 2017 4:59:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :749/3728 took 197742 ms. Total solver calls (SAT/UNSAT): 1407071(2170/1404901)
Jun 02, 2017 4:59:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :754/3728 took 198963 ms. Total solver calls (SAT/UNSAT): 1416411(2185/1414226)
Jun 02, 2017 4:59:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :759/3728 took 200179 ms. Total solver calls (SAT/UNSAT): 1425751(2200/1423551)
Jun 02, 2017 4:59:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :764/3728 took 201400 ms. Total solver calls (SAT/UNSAT): 1435091(2215/1432876)
Jun 02, 2017 4:59:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :769/3728 took 202619 ms. Total solver calls (SAT/UNSAT): 1444431(2230/1442201)
Jun 02, 2017 4:59:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :774/3728 took 203840 ms. Total solver calls (SAT/UNSAT): 1453771(2245/1451526)
Jun 02, 2017 4:59:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :779/3728 took 205059 ms. Total solver calls (SAT/UNSAT): 1463111(2260/1460851)
Jun 02, 2017 4:59:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :784/3728 took 206279 ms. Total solver calls (SAT/UNSAT): 1472451(2275/1470176)
Jun 02, 2017 4:59:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :789/3728 took 207498 ms. Total solver calls (SAT/UNSAT): 1481791(2290/1479501)
Jun 02, 2017 4:59:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :794/3728 took 208717 ms. Total solver calls (SAT/UNSAT): 1491131(2305/1488826)
Jun 02, 2017 4:59:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :799/3728 took 209939 ms. Total solver calls (SAT/UNSAT): 1500471(2320/1498151)
Jun 02, 2017 4:59:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :804/3728 took 211157 ms. Total solver calls (SAT/UNSAT): 1509810(2335/1507475)
Jun 02, 2017 4:59:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :809/3728 took 212381 ms. Total solver calls (SAT/UNSAT): 1519150(2350/1516800)
Jun 02, 2017 4:59:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :814/3728 took 213599 ms. Total solver calls (SAT/UNSAT): 1528490(2365/1526125)
Jun 02, 2017 4:59:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :819/3728 took 214800 ms. Total solver calls (SAT/UNSAT): 1537830(2380/1535450)
Jun 02, 2017 4:59:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :824/3728 took 216017 ms. Total solver calls (SAT/UNSAT): 1547170(2395/1544775)
Jun 02, 2017 4:59:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :829/3728 took 217238 ms. Total solver calls (SAT/UNSAT): 1556510(2410/1554100)
Jun 02, 2017 4:59:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :834/3728 took 218458 ms. Total solver calls (SAT/UNSAT): 1565850(2425/1563425)
Jun 02, 2017 4:59:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :839/3728 took 219680 ms. Total solver calls (SAT/UNSAT): 1575190(2440/1572750)
Jun 02, 2017 4:59:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :843/3728 took 220711 ms. Total solver calls (SAT/UNSAT): 1582662(2452/1580210)
Jun 02, 2017 4:59:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :847/3728 took 221716 ms. Total solver calls (SAT/UNSAT): 1590134(2464/1587670)
Jun 02, 2017 4:59:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :852/3728 took 222963 ms. Total solver calls (SAT/UNSAT): 1599474(2479/1596995)
Jun 02, 2017 4:59:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :857/3728 took 224211 ms. Total solver calls (SAT/UNSAT): 1608814(2494/1606320)
Jun 02, 2017 4:59:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :862/3728 took 225456 ms. Total solver calls (SAT/UNSAT): 1618154(2509/1615645)
Jun 02, 2017 4:59:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :866/3728 took 226457 ms. Total solver calls (SAT/UNSAT): 1625626(2521/1623105)
Jun 02, 2017 4:59:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :871/3728 took 227705 ms. Total solver calls (SAT/UNSAT): 1634966(2536/1632430)
Jun 02, 2017 4:59:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :876/3728 took 228952 ms. Total solver calls (SAT/UNSAT): 1644306(2551/1641755)
Jun 02, 2017 4:59:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :881/3728 took 230199 ms. Total solver calls (SAT/UNSAT): 1653645(2566/1651079)
Jun 02, 2017 4:59:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :886/3728 took 231444 ms. Total solver calls (SAT/UNSAT): 1662985(2581/1660404)
Jun 02, 2017 4:59:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :891/3728 took 232689 ms. Total solver calls (SAT/UNSAT): 1672325(2596/1669729)
Jun 02, 2017 4:59:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :896/3728 took 233920 ms. Total solver calls (SAT/UNSAT): 1681665(2611/1679054)
Jun 02, 2017 4:59:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :901/3728 took 235154 ms. Total solver calls (SAT/UNSAT): 1691005(2626/1688379)
Jun 02, 2017 4:59:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :906/3728 took 236387 ms. Total solver calls (SAT/UNSAT): 1700345(2641/1697704)
Jun 02, 2017 4:59:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :911/3728 took 237614 ms. Total solver calls (SAT/UNSAT): 1709685(2656/1707029)
Jun 02, 2017 4:59:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :916/3728 took 238841 ms. Total solver calls (SAT/UNSAT): 1719025(2671/1716354)
Jun 02, 2017 4:59:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :921/3728 took 240069 ms. Total solver calls (SAT/UNSAT): 1728365(2686/1725679)
Jun 02, 2017 4:59:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :926/3728 took 241297 ms. Total solver calls (SAT/UNSAT): 1737705(2701/1735004)
Jun 02, 2017 4:59:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :931/3728 took 242528 ms. Total solver calls (SAT/UNSAT): 1747045(2716/1744329)
Jun 02, 2017 4:59:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :936/3728 took 243770 ms. Total solver calls (SAT/UNSAT): 1756385(2731/1753654)
Jun 02, 2017 4:59:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :941/3728 took 245003 ms. Total solver calls (SAT/UNSAT): 1765725(2746/1762979)
Jun 02, 2017 4:59:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :946/3728 took 246237 ms. Total solver calls (SAT/UNSAT): 1775065(2761/1772304)
Jun 02, 2017 4:59:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :951/3728 took 247470 ms. Total solver calls (SAT/UNSAT): 1784405(2776/1781629)
Jun 02, 2017 4:59:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :956/3728 took 248701 ms. Total solver calls (SAT/UNSAT): 1793745(2791/1790954)
Jun 02, 2017 4:59:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :961/3728 took 249935 ms. Total solver calls (SAT/UNSAT): 1803084(2806/1800278)
Jun 02, 2017 4:59:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :966/3728 took 251171 ms. Total solver calls (SAT/UNSAT): 1812424(2821/1809603)
Jun 02, 2017 4:59:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :971/3728 took 252410 ms. Total solver calls (SAT/UNSAT): 1821764(2836/1818928)
Jun 02, 2017 4:59:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :975/3728 took 253446 ms. Total solver calls (SAT/UNSAT): 1829236(2848/1826388)
Jun 02, 2017 5:00:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :980/3728 took 254661 ms. Total solver calls (SAT/UNSAT): 1838576(2863/1835713)
Jun 02, 2017 5:00:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :985/3728 took 255878 ms. Total solver calls (SAT/UNSAT): 1847916(2878/1845038)
Jun 02, 2017 5:00:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :990/3728 took 257090 ms. Total solver calls (SAT/UNSAT): 1857256(2893/1854363)
Jun 02, 2017 5:00:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :995/3728 took 258300 ms. Total solver calls (SAT/UNSAT): 1866596(2908/1863688)
Jun 02, 2017 5:00:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1000/3728 took 259509 ms. Total solver calls (SAT/UNSAT): 1875936(2923/1873013)
Jun 02, 2017 5:00:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1005/3728 took 260718 ms. Total solver calls (SAT/UNSAT): 1885276(2938/1882338)
Jun 02, 2017 5:00:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1010/3728 took 261926 ms. Total solver calls (SAT/UNSAT): 1894616(2953/1891663)
Jun 02, 2017 5:00:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1015/3728 took 263144 ms. Total solver calls (SAT/UNSAT): 1903956(2968/1900988)
Jun 02, 2017 5:00:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1020/3728 took 264354 ms. Total solver calls (SAT/UNSAT): 1913296(2983/1910313)
Jun 02, 2017 5:00:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1025/3728 took 265561 ms. Total solver calls (SAT/UNSAT): 1922636(2998/1919638)
Jun 02, 2017 5:00:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1030/3728 took 266772 ms. Total solver calls (SAT/UNSAT): 1931976(3013/1928963)
Jun 02, 2017 5:00:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1035/3728 took 267990 ms. Total solver calls (SAT/UNSAT): 1941316(3028/1938288)
Jun 02, 2017 5:00:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1040/3728 took 269208 ms. Total solver calls (SAT/UNSAT): 1950655(3043/1947612)
Jun 02, 2017 5:00:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1045/3728 took 270425 ms. Total solver calls (SAT/UNSAT): 1959995(3058/1956937)
Jun 02, 2017 5:00:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1050/3728 took 271643 ms. Total solver calls (SAT/UNSAT): 1969335(3073/1966262)
Jun 02, 2017 5:00:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1054/3728 took 272683 ms. Total solver calls (SAT/UNSAT): 1976807(3085/1973722)
Jun 02, 2017 5:00:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1058/3728 took 273685 ms. Total solver calls (SAT/UNSAT): 1984279(3097/1981182)
Jun 02, 2017 5:00:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1062/3728 took 274690 ms. Total solver calls (SAT/UNSAT): 1991751(3109/1988642)
Jun 02, 2017 5:00:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1066/3728 took 275692 ms. Total solver calls (SAT/UNSAT): 1999223(3121/1996102)
Jun 02, 2017 5:00:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1070/3728 took 276796 ms. Total solver calls (SAT/UNSAT): 2006695(3133/2003562)
Jun 02, 2017 5:00:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1074/3728 took 277961 ms. Total solver calls (SAT/UNSAT): 2014167(3145/2011022)
Jun 02, 2017 5:00:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1078/3728 took 279048 ms. Total solver calls (SAT/UNSAT): 2021639(3157/2018482)
Jun 02, 2017 5:00:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1082/3728 took 280145 ms. Total solver calls (SAT/UNSAT): 2029111(3169/2025942)
Jun 02, 2017 5:00:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1086/3728 took 281239 ms. Total solver calls (SAT/UNSAT): 2036583(3181/2033402)
Jun 02, 2017 5:00:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1090/3728 took 282428 ms. Total solver calls (SAT/UNSAT): 2044055(3193/2040862)
Jun 02, 2017 5:00:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1094/3728 took 283529 ms. Total solver calls (SAT/UNSAT): 2051527(3205/2048322)
Jun 02, 2017 5:00:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1098/3728 took 284622 ms. Total solver calls (SAT/UNSAT): 2058999(3217/2055782)
Jun 02, 2017 5:00:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1102/3728 took 285713 ms. Total solver calls (SAT/UNSAT): 2066471(3229/2063242)
Jun 02, 2017 5:00:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1106/3728 took 286811 ms. Total solver calls (SAT/UNSAT): 2073943(3241/2070702)
Jun 02, 2017 5:00:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1110/3728 took 287909 ms. Total solver calls (SAT/UNSAT): 2081415(3253/2078162)
Jun 02, 2017 5:00:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1114/3728 took 289000 ms. Total solver calls (SAT/UNSAT): 2088887(3265/2085622)
Jun 02, 2017 5:00:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1118/3728 took 290082 ms. Total solver calls (SAT/UNSAT): 2096359(3277/2093082)
Jun 02, 2017 5:00:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1122/3728 took 291085 ms. Total solver calls (SAT/UNSAT): 2103830(3289/2100541)
Jun 02, 2017 5:00:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1126/3728 took 292087 ms. Total solver calls (SAT/UNSAT): 2111302(3301/2108001)
Jun 02, 2017 5:00:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1131/3728 took 293325 ms. Total solver calls (SAT/UNSAT): 2120642(3316/2117326)
Jun 02, 2017 5:00:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1136/3728 took 294565 ms. Total solver calls (SAT/UNSAT): 2129982(3331/2126651)
Jun 02, 2017 5:00:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1141/3728 took 295808 ms. Total solver calls (SAT/UNSAT): 2139322(3346/2135976)
Jun 02, 2017 5:00:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1146/3728 took 297053 ms. Total solver calls (SAT/UNSAT): 2148662(3361/2145301)
Jun 02, 2017 5:00:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1151/3728 took 298295 ms. Total solver calls (SAT/UNSAT): 2158002(3376/2154626)
Jun 02, 2017 5:00:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1156/3728 took 299539 ms. Total solver calls (SAT/UNSAT): 2167342(3391/2163951)
Jun 02, 2017 5:00:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1160/3728 took 300542 ms. Total solver calls (SAT/UNSAT): 2174814(3403/2171411)
Jun 02, 2017 5:00:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1165/3728 took 301784 ms. Total solver calls (SAT/UNSAT): 2184154(3418/2180736)
Jun 02, 2017 5:00:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1170/3728 took 303023 ms. Total solver calls (SAT/UNSAT): 2193494(3433/2190061)
Jun 02, 2017 5:00:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1175/3728 took 304261 ms. Total solver calls (SAT/UNSAT): 2202834(3448/2199386)
Jun 02, 2017 5:00:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1180/3728 took 305501 ms. Total solver calls (SAT/UNSAT): 2212174(3463/2208711)
Jun 02, 2017 5:00:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1185/3728 took 306746 ms. Total solver calls (SAT/UNSAT): 2221514(3478/2218036)
Jun 02, 2017 5:00:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1189/3728 took 307751 ms. Total solver calls (SAT/UNSAT): 2228986(3490/2225496)
Jun 02, 2017 5:00:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1193/3728 took 308752 ms. Total solver calls (SAT/UNSAT): 2236458(3502/2232956)
Jun 02, 2017 5:00:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1197/3728 took 309759 ms. Total solver calls (SAT/UNSAT): 2243930(3514/2240416)
Jun 02, 2017 5:00:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1201/3728 took 310760 ms. Total solver calls (SAT/UNSAT): 2251401(3526/2247875)
Jun 02, 2017 5:00:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1206/3728 took 312011 ms. Total solver calls (SAT/UNSAT): 2260741(3541/2257200)
Jun 02, 2017 5:00:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1211/3728 took 313260 ms. Total solver calls (SAT/UNSAT): 2270081(3556/2266525)
Jun 02, 2017 5:01:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1215/3728 took 314261 ms. Total solver calls (SAT/UNSAT): 2277553(3568/2273985)
Jun 02, 2017 5:01:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1219/3728 took 315263 ms. Total solver calls (SAT/UNSAT): 2285025(3580/2281445)
Jun 02, 2017 5:01:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1223/3728 took 316280 ms. Total solver calls (SAT/UNSAT): 2292497(3592/2288905)
Jun 02, 2017 5:01:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1228/3728 took 317519 ms. Total solver calls (SAT/UNSAT): 2301837(3607/2298230)
Jun 02, 2017 5:01:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1233/3728 took 318757 ms. Total solver calls (SAT/UNSAT): 2311177(3622/2307555)
Jun 02, 2017 5:01:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1238/3728 took 319999 ms. Total solver calls (SAT/UNSAT): 2320517(3637/2316880)
Jun 02, 2017 5:01:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1243/3728 took 321248 ms. Total solver calls (SAT/UNSAT): 2329857(3652/2326205)
Jun 02, 2017 5:01:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1248/3728 took 322491 ms. Total solver calls (SAT/UNSAT): 2339197(3667/2335530)
Jun 02, 2017 5:01:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1252/3728 took 323524 ms. Total solver calls (SAT/UNSAT): 2346669(3679/2342990)
Jun 02, 2017 5:01:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1257/3728 took 324742 ms. Total solver calls (SAT/UNSAT): 2356009(3694/2352315)
Jun 02, 2017 5:01:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1262/3728 took 325964 ms. Total solver calls (SAT/UNSAT): 2365349(3709/2361640)
Jun 02, 2017 5:01:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1267/3728 took 327174 ms. Total solver calls (SAT/UNSAT): 2374689(3724/2370965)
Jun 02, 2017 5:01:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1272/3728 took 328381 ms. Total solver calls (SAT/UNSAT): 2384029(3739/2380290)
Jun 02, 2017 5:01:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1277/3728 took 329601 ms. Total solver calls (SAT/UNSAT): 2393369(3754/2389615)
Jun 02, 2017 5:01:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1282/3728 took 330821 ms. Total solver calls (SAT/UNSAT): 2402708(3769/2398939)
Jun 02, 2017 5:01:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1287/3728 took 332038 ms. Total solver calls (SAT/UNSAT): 2412048(3784/2408264)
Jun 02, 2017 5:01:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1292/3728 took 333248 ms. Total solver calls (SAT/UNSAT): 2421388(3799/2417589)
Jun 02, 2017 5:01:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1297/3728 took 334460 ms. Total solver calls (SAT/UNSAT): 2430728(3814/2426914)
Jun 02, 2017 5:01:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1302/3728 took 335674 ms. Total solver calls (SAT/UNSAT): 2440068(3829/2436239)
Jun 02, 2017 5:01:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1307/3728 took 336902 ms. Total solver calls (SAT/UNSAT): 2449408(3844/2445564)
Jun 02, 2017 5:01:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1312/3728 took 338120 ms. Total solver calls (SAT/UNSAT): 2458748(3859/2454889)
Jun 02, 2017 5:01:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1317/3728 took 339338 ms. Total solver calls (SAT/UNSAT): 2468088(3874/2464214)
Jun 02, 2017 5:01:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1322/3728 took 340552 ms. Total solver calls (SAT/UNSAT): 2477428(3889/2473539)
Jun 02, 2017 5:01:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1327/3728 took 341777 ms. Total solver calls (SAT/UNSAT): 2486768(3904/2482864)
Jun 02, 2017 5:01:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1332/3728 took 343018 ms. Total solver calls (SAT/UNSAT): 2496108(3919/2492189)
Jun 02, 2017 5:01:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1337/3728 took 344251 ms. Total solver calls (SAT/UNSAT): 2505448(3934/2501514)
Jun 02, 2017 5:01:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1342/3728 took 345473 ms. Total solver calls (SAT/UNSAT): 2514788(3949/2510839)
Jun 02, 2017 5:01:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1347/3728 took 346698 ms. Total solver calls (SAT/UNSAT): 2524128(3964/2520164)
Jun 02, 2017 5:01:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1352/3728 took 347920 ms. Total solver calls (SAT/UNSAT): 2533468(3979/2529489)
Jun 02, 2017 5:01:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1357/3728 took 349160 ms. Total solver calls (SAT/UNSAT): 2542808(3994/2538814)
Jun 02, 2017 5:01:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1362/3728 took 350394 ms. Total solver calls (SAT/UNSAT): 2552147(4009/2548138)
Jun 02, 2017 5:01:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1367/3728 took 351628 ms. Total solver calls (SAT/UNSAT): 2561487(4024/2557463)
Jun 02, 2017 5:01:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1372/3728 took 352854 ms. Total solver calls (SAT/UNSAT): 2570827(4039/2566788)
Jun 02, 2017 5:01:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1377/3728 took 354078 ms. Total solver calls (SAT/UNSAT): 2580167(4054/2576113)
Jun 02, 2017 5:01:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1382/3728 took 355314 ms. Total solver calls (SAT/UNSAT): 2589507(4069/2585438)
Jun 02, 2017 5:01:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1387/3728 took 356541 ms. Total solver calls (SAT/UNSAT): 2598847(4084/2594763)
Jun 02, 2017 5:01:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1392/3728 took 357765 ms. Total solver calls (SAT/UNSAT): 2608187(4099/2604088)
Jun 02, 2017 5:01:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1397/3728 took 358988 ms. Total solver calls (SAT/UNSAT): 2617527(4114/2613413)
Jun 02, 2017 5:01:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1402/3728 took 360223 ms. Total solver calls (SAT/UNSAT): 2626867(4129/2622738)
Jun 02, 2017 5:01:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1407/3728 took 361459 ms. Total solver calls (SAT/UNSAT): 2636207(4144/2632063)
Jun 02, 2017 5:01:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1412/3728 took 362694 ms. Total solver calls (SAT/UNSAT): 2645547(4159/2641388)
Jun 02, 2017 5:01:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1417/3728 took 363930 ms. Total solver calls (SAT/UNSAT): 2654887(4174/2650713)
Jun 02, 2017 5:01:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1422/3728 took 365157 ms. Total solver calls (SAT/UNSAT): 2664227(4189/2660038)
Jun 02, 2017 5:01:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1427/3728 took 366401 ms. Total solver calls (SAT/UNSAT): 2673567(4204/2669363)
Jun 02, 2017 5:01:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1432/3728 took 367631 ms. Total solver calls (SAT/UNSAT): 2682907(4219/2678688)
Jun 02, 2017 5:01:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1437/3728 took 368857 ms. Total solver calls (SAT/UNSAT): 2692247(4234/2688013)
Jun 02, 2017 5:01:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1442/3728 took 370080 ms. Total solver calls (SAT/UNSAT): 2701586(4249/2697337)
Jun 02, 2017 5:01:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1447/3728 took 371320 ms. Total solver calls (SAT/UNSAT): 2710926(4264/2706662)
Jun 02, 2017 5:01:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1452/3728 took 372548 ms. Total solver calls (SAT/UNSAT): 2720266(4279/2715987)
Jun 02, 2017 5:01:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1457/3728 took 373773 ms. Total solver calls (SAT/UNSAT): 2729606(4294/2725312)
Jun 02, 2017 5:02:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1462/3728 took 374995 ms. Total solver calls (SAT/UNSAT): 2738946(4309/2734637)
Jun 02, 2017 5:02:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1467/3728 took 376228 ms. Total solver calls (SAT/UNSAT): 2748286(4324/2743962)
Jun 02, 2017 5:02:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1472/3728 took 377452 ms. Total solver calls (SAT/UNSAT): 2757626(4339/2753287)
Jun 02, 2017 5:02:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1477/3728 took 378676 ms. Total solver calls (SAT/UNSAT): 2766966(4354/2762612)
Jun 02, 2017 5:02:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1481/3728 took 379703 ms. Total solver calls (SAT/UNSAT): 2774438(4366/2770072)
Jun 02, 2017 5:02:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1485/3728 took 380735 ms. Total solver calls (SAT/UNSAT): 2781910(4378/2777532)
Jun 02, 2017 5:02:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1490/3728 took 381967 ms. Total solver calls (SAT/UNSAT): 2791250(4393/2786857)
Jun 02, 2017 5:02:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1494/3728 took 383017 ms. Total solver calls (SAT/UNSAT): 2798722(4405/2794317)
Jun 02, 2017 5:02:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1498/3728 took 384020 ms. Total solver calls (SAT/UNSAT): 2806194(4417/2801777)
Jun 02, 2017 5:02:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1502/3728 took 385083 ms. Total solver calls (SAT/UNSAT): 2813666(4429/2809237)
Jun 02, 2017 5:02:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1506/3728 took 386109 ms. Total solver calls (SAT/UNSAT): 2821138(4441/2816697)
Jun 02, 2017 5:02:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1510/3728 took 387134 ms. Total solver calls (SAT/UNSAT): 2828610(4453/2824157)
Jun 02, 2017 5:02:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1515/3728 took 388355 ms. Total solver calls (SAT/UNSAT): 2837950(4468/2833482)
Jun 02, 2017 5:02:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1520/3728 took 389578 ms. Total solver calls (SAT/UNSAT): 2847289(4483/2842806)
Jun 02, 2017 5:02:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1524/3728 took 390626 ms. Total solver calls (SAT/UNSAT): 2854761(4495/2850266)
Jun 02, 2017 5:02:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1528/3728 took 391632 ms. Total solver calls (SAT/UNSAT): 2862233(4507/2857726)
Jun 02, 2017 5:02:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1532/3728 took 392644 ms. Total solver calls (SAT/UNSAT): 2869705(4519/2865186)
Jun 02, 2017 5:02:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1536/3728 took 393657 ms. Total solver calls (SAT/UNSAT): 2877177(4531/2872646)
Jun 02, 2017 5:02:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1540/3728 took 394677 ms. Total solver calls (SAT/UNSAT): 2884649(4543/2880106)
Jun 02, 2017 5:02:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1544/3728 took 395692 ms. Total solver calls (SAT/UNSAT): 2892121(4555/2887566)
Jun 02, 2017 5:02:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1548/3728 took 396707 ms. Total solver calls (SAT/UNSAT): 2899593(4567/2895026)
Jun 02, 2017 5:02:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1552/3728 took 397721 ms. Total solver calls (SAT/UNSAT): 2907065(4579/2902486)
Jun 02, 2017 5:02:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1556/3728 took 398739 ms. Total solver calls (SAT/UNSAT): 2914537(4591/2909946)
Jun 02, 2017 5:02:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1560/3728 took 399753 ms. Total solver calls (SAT/UNSAT): 2922009(4603/2917406)
Jun 02, 2017 5:02:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1564/3728 took 400770 ms. Total solver calls (SAT/UNSAT): 2929481(4615/2924866)
Jun 02, 2017 5:02:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1568/3728 took 401785 ms. Total solver calls (SAT/UNSAT): 2936953(4627/2932326)
Jun 02, 2017 5:02:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1572/3728 took 402806 ms. Total solver calls (SAT/UNSAT): 2944425(4639/2939786)
Jun 02, 2017 5:02:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1576/3728 took 403819 ms. Total solver calls (SAT/UNSAT): 2951897(4651/2947246)
Jun 02, 2017 5:02:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1580/3728 took 404830 ms. Total solver calls (SAT/UNSAT): 2959369(4663/2954706)
Jun 02, 2017 5:02:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1584/3728 took 405841 ms. Total solver calls (SAT/UNSAT): 2966841(4675/2962166)
Jun 02, 2017 5:02:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1588/3728 took 406855 ms. Total solver calls (SAT/UNSAT): 2974313(4687/2969626)
Jun 02, 2017 5:02:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1592/3728 took 407867 ms. Total solver calls (SAT/UNSAT): 2981785(4699/2977086)
Jun 02, 2017 5:02:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1596/3728 took 408877 ms. Total solver calls (SAT/UNSAT): 2989257(4711/2984546)
Jun 02, 2017 5:02:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1600/3728 took 409886 ms. Total solver calls (SAT/UNSAT): 2996728(4723/2992005)
Jun 02, 2017 5:02:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1604/3728 took 410901 ms. Total solver calls (SAT/UNSAT): 3004200(4735/2999465)
Jun 02, 2017 5:02:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1608/3728 took 411914 ms. Total solver calls (SAT/UNSAT): 3011672(4747/3006925)
Jun 02, 2017 5:02:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1612/3728 took 412916 ms. Total solver calls (SAT/UNSAT): 3019144(4759/3014385)
Jun 02, 2017 5:02:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1616/3728 took 413918 ms. Total solver calls (SAT/UNSAT): 3026616(4771/3021845)
Jun 02, 2017 5:02:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1620/3728 took 414932 ms. Total solver calls (SAT/UNSAT): 3034088(4783/3029305)
Jun 02, 2017 5:02:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1624/3728 took 415941 ms. Total solver calls (SAT/UNSAT): 3041560(4795/3036765)
Jun 02, 2017 5:02:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1628/3728 took 416945 ms. Total solver calls (SAT/UNSAT): 3049032(4807/3044225)
Jun 02, 2017 5:02:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1632/3728 took 417955 ms. Total solver calls (SAT/UNSAT): 3056504(4819/3051685)
Jun 02, 2017 5:02:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1636/3728 took 418966 ms. Total solver calls (SAT/UNSAT): 3063976(4831/3059145)
Jun 02, 2017 5:02:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1640/3728 took 419976 ms. Total solver calls (SAT/UNSAT): 3071448(4843/3066605)
Jun 02, 2017 5:02:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1645/3728 took 421230 ms. Total solver calls (SAT/UNSAT): 3080788(4858/3075930)
Jun 02, 2017 5:02:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1650/3728 took 422481 ms. Total solver calls (SAT/UNSAT): 3090128(4873/3085255)
Jun 02, 2017 5:02:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1654/3728 took 423485 ms. Total solver calls (SAT/UNSAT): 3097600(4885/3092715)
Jun 02, 2017 5:02:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1658/3728 took 424489 ms. Total solver calls (SAT/UNSAT): 3105072(4897/3100175)
Jun 02, 2017 5:02:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1662/3728 took 425492 ms. Total solver calls (SAT/UNSAT): 3112544(4909/3107635)
Jun 02, 2017 5:02:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1666/3728 took 426501 ms. Total solver calls (SAT/UNSAT): 3120016(4921/3115095)
Jun 02, 2017 5:02:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1670/3728 took 427558 ms. Total solver calls (SAT/UNSAT): 3127488(4933/3122555)
Jun 02, 2017 5:02:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1674/3728 took 428565 ms. Total solver calls (SAT/UNSAT): 3134960(4945/3130015)
Jun 02, 2017 5:02:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1678/3728 took 429573 ms. Total solver calls (SAT/UNSAT): 3142432(4957/3137475)
Jun 02, 2017 5:02:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1681/3728 took 430738 ms. Total solver calls (SAT/UNSAT): 3151077(4966/3146111)
Jun 02, 2017 5:02:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1684/3728 took 432104 ms. Total solver calls (SAT/UNSAT): 3161244(4975/3156269)
Jun 02, 2017 5:02:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1687/3728 took 433465 ms. Total solver calls (SAT/UNSAT): 3171411(4984/3166427)
Jun 02, 2017 5:03:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1690/3728 took 434835 ms. Total solver calls (SAT/UNSAT): 3181578(4993/3176585)
Jun 02, 2017 5:03:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1693/3728 took 436195 ms. Total solver calls (SAT/UNSAT): 3191745(5002/3186743)
Jun 02, 2017 5:03:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1696/3728 took 437596 ms. Total solver calls (SAT/UNSAT): 3201912(5011/3196901)
Jun 02, 2017 5:03:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1699/3728 took 438929 ms. Total solver calls (SAT/UNSAT): 3212079(5020/3207059)
Jun 02, 2017 5:03:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1702/3728 took 440268 ms. Total solver calls (SAT/UNSAT): 3222246(5029/3217217)
Jun 02, 2017 5:03:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1705/3728 took 441600 ms. Total solver calls (SAT/UNSAT): 3232413(5038/3227375)
Jun 02, 2017 5:03:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1708/3728 took 442936 ms. Total solver calls (SAT/UNSAT): 3242580(5047/3237533)
Jun 02, 2017 5:03:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1711/3728 took 444269 ms. Total solver calls (SAT/UNSAT): 3252747(5056/3247691)
Jun 02, 2017 5:03:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1714/3728 took 445601 ms. Total solver calls (SAT/UNSAT): 3262914(5065/3257849)
Jun 02, 2017 5:03:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1717/3728 took 446920 ms. Total solver calls (SAT/UNSAT): 3273081(5074/3268007)
Jun 02, 2017 5:03:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1720/3728 took 448241 ms. Total solver calls (SAT/UNSAT): 3283248(5083/3278165)
Jun 02, 2017 5:03:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1723/3728 took 449548 ms. Total solver calls (SAT/UNSAT): 3293415(5092/3288323)
Jun 02, 2017 5:03:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1726/3728 took 450880 ms. Total solver calls (SAT/UNSAT): 3303582(5101/3298481)
Jun 02, 2017 5:03:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1729/3728 took 452217 ms. Total solver calls (SAT/UNSAT): 3313749(5110/3308639)
Jun 02, 2017 5:03:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1732/3728 took 453549 ms. Total solver calls (SAT/UNSAT): 3323916(5119/3318797)
Jun 02, 2017 5:03:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1735/3728 took 454884 ms. Total solver calls (SAT/UNSAT): 3334083(5128/3328955)
Jun 02, 2017 5:03:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1738/3728 took 456211 ms. Total solver calls (SAT/UNSAT): 3344250(5137/3339113)
Jun 02, 2017 5:03:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1741/3728 took 457546 ms. Total solver calls (SAT/UNSAT): 3354417(5146/3349271)
Jun 02, 2017 5:03:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1744/3728 took 458883 ms. Total solver calls (SAT/UNSAT): 3364584(5155/3359429)
Jun 02, 2017 5:03:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1747/3728 took 460212 ms. Total solver calls (SAT/UNSAT): 3374751(5164/3369587)
Jun 02, 2017 5:03:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1750/3728 took 461543 ms. Total solver calls (SAT/UNSAT): 3384918(5173/3379745)
Jun 02, 2017 5:03:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1753/3728 took 462872 ms. Total solver calls (SAT/UNSAT): 3395085(5182/3389903)
Jun 02, 2017 5:03:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1756/3728 took 464201 ms. Total solver calls (SAT/UNSAT): 3405252(5191/3400061)
Jun 02, 2017 5:03:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1759/3728 took 465534 ms. Total solver calls (SAT/UNSAT): 3415419(5200/3410219)
Jun 02, 2017 5:03:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1764/3728 took 466756 ms. Total solver calls (SAT/UNSAT): 3424755(5215/3419540)
Jun 02, 2017 5:03:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1769/3728 took 467982 ms. Total solver calls (SAT/UNSAT): 3434090(5230/3428860)
Jun 02, 2017 5:03:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1774/3728 took 469203 ms. Total solver calls (SAT/UNSAT): 3443425(5245/3438180)
Jun 02, 2017 5:03:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1779/3728 took 470424 ms. Total solver calls (SAT/UNSAT): 3452760(5260/3447500)
Jun 02, 2017 5:03:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1783/3728 took 471606 ms. Total solver calls (SAT/UNSAT): 3461753(5272/3456481)
Jun 02, 2017 5:03:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1788/3728 took 472826 ms. Total solver calls (SAT/UNSAT): 3471093(5287/3465806)
Jun 02, 2017 5:03:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1793/3728 took 474049 ms. Total solver calls (SAT/UNSAT): 3480433(5302/3475131)
Jun 02, 2017 5:03:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1798/3728 took 475273 ms. Total solver calls (SAT/UNSAT): 3489773(5317/3484456)
Jun 02, 2017 5:03:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1802/3728 took 476456 ms. Total solver calls (SAT/UNSAT): 3498767(5329/3493438)
Jun 02, 2017 5:03:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1807/3728 took 477688 ms. Total solver calls (SAT/UNSAT): 3508107(5344/3502763)
Jun 02, 2017 5:03:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1812/3728 took 478908 ms. Total solver calls (SAT/UNSAT): 3517447(5359/3512088)
Jun 02, 2017 5:03:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1817/3728 took 480131 ms. Total solver calls (SAT/UNSAT): 3526787(5374/3521413)
Jun 02, 2017 5:03:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1822/3728 took 481536 ms. Total solver calls (SAT/UNSAT): 3537648(5389/3532259)
Jun 02, 2017 5:03:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1827/3728 took 482763 ms. Total solver calls (SAT/UNSAT): 3546989(5404/3541585)
Jun 02, 2017 5:03:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1832/3728 took 483984 ms. Total solver calls (SAT/UNSAT): 3556329(5419/3550910)
Jun 02, 2017 5:03:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1837/3728 took 485216 ms. Total solver calls (SAT/UNSAT): 3565669(5434/3560235)
Jun 02, 2017 5:03:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1842/3728 took 486444 ms. Total solver calls (SAT/UNSAT): 3575009(5449/3569560)
Jun 02, 2017 5:03:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1846/3728 took 487632 ms. Total solver calls (SAT/UNSAT): 3584003(5461/3578542)
Jun 02, 2017 5:03:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1851/3728 took 488853 ms. Total solver calls (SAT/UNSAT): 3593343(5476/3587867)
Jun 02, 2017 5:03:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1856/3728 took 490078 ms. Total solver calls (SAT/UNSAT): 3602683(5491/3597192)
Jun 02, 2017 5:03:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1861/3728 took 491308 ms. Total solver calls (SAT/UNSAT): 3612023(5506/3606517)
Jun 02, 2017 5:03:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1865/3728 took 492486 ms. Total solver calls (SAT/UNSAT): 3621017(5518/3615499)
Jun 02, 2017 5:03:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1870/3728 took 493712 ms. Total solver calls (SAT/UNSAT): 3630357(5533/3624824)
Jun 02, 2017 5:04:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1875/3728 took 494942 ms. Total solver calls (SAT/UNSAT): 3639697(5548/3634149)
Jun 02, 2017 5:04:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1880/3728 took 496177 ms. Total solver calls (SAT/UNSAT): 3649037(5563/3643474)
Jun 02, 2017 5:04:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1885/3728 took 497610 ms. Total solver calls (SAT/UNSAT): 3659898(5578/3654320)
Jun 02, 2017 5:04:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1890/3728 took 498847 ms. Total solver calls (SAT/UNSAT): 3669239(5593/3663646)
Jun 02, 2017 5:04:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1895/3728 took 500081 ms. Total solver calls (SAT/UNSAT): 3678579(5608/3672971)
Jun 02, 2017 5:04:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1900/3728 took 501311 ms. Total solver calls (SAT/UNSAT): 3687919(5623/3682296)
Jun 02, 2017 5:04:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1905/3728 took 502538 ms. Total solver calls (SAT/UNSAT): 3697259(5638/3691621)
Jun 02, 2017 5:04:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1909/3728 took 503722 ms. Total solver calls (SAT/UNSAT): 3706253(5650/3700603)
Jun 02, 2017 5:04:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1914/3728 took 504943 ms. Total solver calls (SAT/UNSAT): 3715593(5665/3709928)
Jun 02, 2017 5:04:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1919/3728 took 506175 ms. Total solver calls (SAT/UNSAT): 3724933(5680/3719253)
Jun 02, 2017 5:04:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1924/3728 took 507407 ms. Total solver calls (SAT/UNSAT): 3734273(5695/3728578)
Jun 02, 2017 5:04:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1928/3728 took 508586 ms. Total solver calls (SAT/UNSAT): 3743267(5707/3737560)
Jun 02, 2017 5:04:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1933/3728 took 509818 ms. Total solver calls (SAT/UNSAT): 3752607(5722/3746885)
Jun 02, 2017 5:04:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1938/3728 took 511046 ms. Total solver calls (SAT/UNSAT): 3761947(5737/3756210)
Jun 02, 2017 5:04:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1943/3728 took 512267 ms. Total solver calls (SAT/UNSAT): 3771287(5752/3765535)
Jun 02, 2017 5:04:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1948/3728 took 513687 ms. Total solver calls (SAT/UNSAT): 3782148(5767/3776381)
Jun 02, 2017 5:04:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1953/3728 took 514915 ms. Total solver calls (SAT/UNSAT): 3791489(5782/3785707)
Jun 02, 2017 5:04:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1958/3728 took 516140 ms. Total solver calls (SAT/UNSAT): 3800829(5797/3795032)
Jun 02, 2017 5:04:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1963/3728 took 517361 ms. Total solver calls (SAT/UNSAT): 3810169(5812/3804357)
Jun 02, 2017 5:04:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1968/3728 took 518588 ms. Total solver calls (SAT/UNSAT): 3819509(5827/3813682)
Jun 02, 2017 5:04:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1972/3728 took 519766 ms. Total solver calls (SAT/UNSAT): 3828503(5839/3822664)
Jun 02, 2017 5:04:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1977/3728 took 520999 ms. Total solver calls (SAT/UNSAT): 3837843(5854/3831989)
Jun 02, 2017 5:04:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1982/3728 took 522226 ms. Total solver calls (SAT/UNSAT): 3847183(5869/3841314)
Jun 02, 2017 5:04:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1987/3728 took 523452 ms. Total solver calls (SAT/UNSAT): 3856523(5884/3850639)
Jun 02, 2017 5:04:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1991/3728 took 524629 ms. Total solver calls (SAT/UNSAT): 3865517(5896/3859621)
Jun 02, 2017 5:04:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :1996/3728 took 525855 ms. Total solver calls (SAT/UNSAT): 3874857(5911/3868946)
Jun 02, 2017 5:04:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2001/3728 took 527085 ms. Total solver calls (SAT/UNSAT): 3884197(5926/3878271)
Jun 02, 2017 5:04:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2006/3728 took 528307 ms. Total solver calls (SAT/UNSAT): 3893537(5941/3887596)
Jun 02, 2017 5:04:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2011/3728 took 529743 ms. Total solver calls (SAT/UNSAT): 3904398(5956/3898442)
Jun 02, 2017 5:04:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2016/3728 took 530970 ms. Total solver calls (SAT/UNSAT): 3913739(5971/3907768)
Jun 02, 2017 5:04:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2021/3728 took 532196 ms. Total solver calls (SAT/UNSAT): 3923079(5986/3917093)
Jun 02, 2017 5:04:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2026/3728 took 533430 ms. Total solver calls (SAT/UNSAT): 3932419(6001/3926418)
Jun 02, 2017 5:04:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2031/3728 took 534660 ms. Total solver calls (SAT/UNSAT): 3941759(6016/3935743)
Jun 02, 2017 5:04:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2035/3728 took 535848 ms. Total solver calls (SAT/UNSAT): 3950753(6028/3944725)
Jun 02, 2017 5:04:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2040/3728 took 537081 ms. Total solver calls (SAT/UNSAT): 3960093(6043/3954050)
Jun 02, 2017 5:04:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2045/3728 took 538313 ms. Total solver calls (SAT/UNSAT): 3969433(6058/3963375)
Jun 02, 2017 5:04:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2050/3728 took 539543 ms. Total solver calls (SAT/UNSAT): 3978773(6073/3972700)
Jun 02, 2017 5:04:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2054/3728 took 540725 ms. Total solver calls (SAT/UNSAT): 3987767(6085/3981682)
Jun 02, 2017 5:04:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2059/3728 took 541957 ms. Total solver calls (SAT/UNSAT): 3997107(6100/3991007)
Jun 02, 2017 5:04:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2064/3728 took 543186 ms. Total solver calls (SAT/UNSAT): 4006447(6115/4000332)
Jun 02, 2017 5:04:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2069/3728 took 544416 ms. Total solver calls (SAT/UNSAT): 4015787(6130/4009657)
Jun 02, 2017 5:04:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2074/3728 took 545851 ms. Total solver calls (SAT/UNSAT): 4026648(6145/4020503)
Jun 02, 2017 5:04:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2079/3728 took 547077 ms. Total solver calls (SAT/UNSAT): 4035989(6160/4029829)
Jun 02, 2017 5:04:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2084/3728 took 548286 ms. Total solver calls (SAT/UNSAT): 4045329(6175/4039154)
Jun 02, 2017 5:04:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2089/3728 took 549507 ms. Total solver calls (SAT/UNSAT): 4054669(6190/4048479)
Jun 02, 2017 5:04:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2094/3728 took 550731 ms. Total solver calls (SAT/UNSAT): 4064009(6205/4057804)
Jun 02, 2017 5:04:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2098/3728 took 551914 ms. Total solver calls (SAT/UNSAT): 4073003(6217/4066786)
Jun 02, 2017 5:04:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2103/3728 took 553144 ms. Total solver calls (SAT/UNSAT): 4082343(6232/4076111)
Jun 02, 2017 5:05:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2108/3728 took 554375 ms. Total solver calls (SAT/UNSAT): 4091683(6247/4085436)
Jun 02, 2017 5:05:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2113/3728 took 555609 ms. Total solver calls (SAT/UNSAT): 4101023(6262/4094761)
Jun 02, 2017 5:05:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2117/3728 took 556791 ms. Total solver calls (SAT/UNSAT): 4110017(6274/4103743)
Jun 02, 2017 5:05:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2122/3728 took 558014 ms. Total solver calls (SAT/UNSAT): 4119357(6289/4113068)
Jun 02, 2017 5:05:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2126/3728 took 559065 ms. Total solver calls (SAT/UNSAT): 4126829(6301/4120528)
Jun 02, 2017 5:05:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2130/3728 took 560074 ms. Total solver calls (SAT/UNSAT): 4134301(6313/4127988)
Jun 02, 2017 5:05:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2134/3728 took 561093 ms. Total solver calls (SAT/UNSAT): 4141773(6325/4135448)
Jun 02, 2017 5:05:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2138/3728 took 562310 ms. Total solver calls (SAT/UNSAT): 4150767(6337/4144430)
Jun 02, 2017 5:05:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2142/3728 took 563317 ms. Total solver calls (SAT/UNSAT): 4158239(6349/4151890)
Jun 02, 2017 5:05:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2146/3728 took 564325 ms. Total solver calls (SAT/UNSAT): 4165711(6361/4159350)
Jun 02, 2017 5:05:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2150/3728 took 565334 ms. Total solver calls (SAT/UNSAT): 4173183(6373/4166810)
Jun 02, 2017 5:05:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2154/3728 took 566346 ms. Total solver calls (SAT/UNSAT): 4180655(6385/4174270)
Jun 02, 2017 5:05:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2158/3728 took 567555 ms. Total solver calls (SAT/UNSAT): 4189648(6397/4183251)
Jun 02, 2017 5:05:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2162/3728 took 568570 ms. Total solver calls (SAT/UNSAT): 4197121(6409/4190712)
Jun 02, 2017 5:05:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2166/3728 took 569578 ms. Total solver calls (SAT/UNSAT): 4204593(6421/4198172)
Jun 02, 2017 5:05:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2170/3728 took 570585 ms. Total solver calls (SAT/UNSAT): 4212065(6433/4205632)
Jun 02, 2017 5:05:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2174/3728 took 571593 ms. Total solver calls (SAT/UNSAT): 4219537(6445/4213092)
Jun 02, 2017 5:05:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2178/3728 took 572604 ms. Total solver calls (SAT/UNSAT): 4227009(6457/4220552)
Jun 02, 2017 5:05:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2182/3728 took 573830 ms. Total solver calls (SAT/UNSAT): 4236003(6469/4229534)
Jun 02, 2017 5:05:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2186/3728 took 574835 ms. Total solver calls (SAT/UNSAT): 4243475(6481/4236994)
Jun 02, 2017 5:05:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2190/3728 took 575842 ms. Total solver calls (SAT/UNSAT): 4250947(6493/4244454)
Jun 02, 2017 5:05:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2194/3728 took 576850 ms. Total solver calls (SAT/UNSAT): 4258419(6505/4251914)
Jun 02, 2017 5:05:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2198/3728 took 577859 ms. Total solver calls (SAT/UNSAT): 4265891(6517/4259374)
Jun 02, 2017 5:05:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2202/3728 took 579075 ms. Total solver calls (SAT/UNSAT): 4274885(6529/4268356)
Jun 02, 2017 5:05:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2206/3728 took 580091 ms. Total solver calls (SAT/UNSAT): 4282357(6541/4275816)
Jun 02, 2017 5:05:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2210/3728 took 581095 ms. Total solver calls (SAT/UNSAT): 4289829(6553/4283276)
Jun 02, 2017 5:05:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2214/3728 took 582104 ms. Total solver calls (SAT/UNSAT): 4297301(6565/4290736)
Jun 02, 2017 5:05:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2218/3728 took 583110 ms. Total solver calls (SAT/UNSAT): 4304773(6577/4298196)
Jun 02, 2017 5:05:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2222/3728 took 584335 ms. Total solver calls (SAT/UNSAT): 4313767(6589/4307178)
Jun 02, 2017 5:05:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2227/3728 took 585555 ms. Total solver calls (SAT/UNSAT): 4323107(6604/4316503)
Jun 02, 2017 5:05:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2232/3728 took 586787 ms. Total solver calls (SAT/UNSAT): 4332447(6619/4325828)
Jun 02, 2017 5:05:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2237/3728 took 588022 ms. Total solver calls (SAT/UNSAT): 4341787(6634/4335153)
Jun 02, 2017 5:05:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2242/3728 took 589447 ms. Total solver calls (SAT/UNSAT): 4352648(6649/4345999)
Jun 02, 2017 5:05:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2247/3728 took 590686 ms. Total solver calls (SAT/UNSAT): 4361989(6664/4355325)
Jun 02, 2017 5:05:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2252/3728 took 591925 ms. Total solver calls (SAT/UNSAT): 4371329(6679/4364650)
Jun 02, 2017 5:05:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2257/3728 took 593158 ms. Total solver calls (SAT/UNSAT): 4380669(6694/4373975)
Jun 02, 2017 5:05:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2262/3728 took 594389 ms. Total solver calls (SAT/UNSAT): 4390009(6709/4383300)
Jun 02, 2017 5:05:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2266/3728 took 595580 ms. Total solver calls (SAT/UNSAT): 4399003(6721/4392282)
Jun 02, 2017 5:05:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2271/3728 took 596807 ms. Total solver calls (SAT/UNSAT): 4408343(6736/4401607)
Jun 02, 2017 5:05:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2276/3728 took 598040 ms. Total solver calls (SAT/UNSAT): 4417683(6751/4410932)
Jun 02, 2017 5:05:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2281/3728 took 599271 ms. Total solver calls (SAT/UNSAT): 4427023(6766/4420257)
Jun 02, 2017 5:05:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2285/3728 took 600462 ms. Total solver calls (SAT/UNSAT): 4436017(6778/4429239)
Jun 02, 2017 5:05:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2290/3728 took 601694 ms. Total solver calls (SAT/UNSAT): 4445357(6793/4438564)
Jun 02, 2017 5:05:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2295/3728 took 602926 ms. Total solver calls (SAT/UNSAT): 4454697(6808/4447889)
Jun 02, 2017 5:05:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2300/3728 took 604154 ms. Total solver calls (SAT/UNSAT): 4464037(6823/4457214)
Jun 02, 2017 5:05:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2305/3728 took 605579 ms. Total solver calls (SAT/UNSAT): 4474898(6838/4468060)
Jun 02, 2017 5:05:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2310/3728 took 606816 ms. Total solver calls (SAT/UNSAT): 4484239(6853/4477386)
Jun 02, 2017 5:05:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2315/3728 took 608047 ms. Total solver calls (SAT/UNSAT): 4493579(6868/4486711)
Jun 02, 2017 5:05:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2320/3728 took 609277 ms. Total solver calls (SAT/UNSAT): 4502919(6883/4496036)
Jun 02, 2017 5:05:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2325/3728 took 610507 ms. Total solver calls (SAT/UNSAT): 4512259(6898/4505361)
Jun 02, 2017 5:05:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2329/3728 took 611689 ms. Total solver calls (SAT/UNSAT): 4521253(6910/4514343)
Jun 02, 2017 5:05:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2333/3728 took 612731 ms. Total solver calls (SAT/UNSAT): 4528725(6922/4521803)
Jun 02, 2017 5:05:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2337/3728 took 613762 ms. Total solver calls (SAT/UNSAT): 4536197(6934/4529263)
Jun 02, 2017 5:06:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2341/3728 took 614792 ms. Total solver calls (SAT/UNSAT): 4543669(6946/4536723)
Jun 02, 2017 5:06:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2345/3728 took 615798 ms. Total solver calls (SAT/UNSAT): 4551141(6958/4544183)
Jun 02, 2017 5:06:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2349/3728 took 617003 ms. Total solver calls (SAT/UNSAT): 4560135(6970/4553165)
Jun 02, 2017 5:06:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2353/3728 took 618012 ms. Total solver calls (SAT/UNSAT): 4567607(6982/4560625)
Jun 02, 2017 5:06:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2357/3728 took 619027 ms. Total solver calls (SAT/UNSAT): 4575079(6994/4568085)
Jun 02, 2017 5:06:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2361/3728 took 620029 ms. Total solver calls (SAT/UNSAT): 4582551(7006/4575545)
Jun 02, 2017 5:06:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2365/3728 took 621032 ms. Total solver calls (SAT/UNSAT): 4590023(7018/4583005)
Jun 02, 2017 5:06:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2369/3728 took 622246 ms. Total solver calls (SAT/UNSAT): 4599017(7030/4591987)
Jun 02, 2017 5:06:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2373/3728 took 623258 ms. Total solver calls (SAT/UNSAT): 4606489(7042/4599447)
Jun 02, 2017 5:06:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2377/3728 took 624264 ms. Total solver calls (SAT/UNSAT): 4613961(7054/4606907)
Jun 02, 2017 5:06:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2381/3728 took 625275 ms. Total solver calls (SAT/UNSAT): 4621433(7066/4614367)
Jun 02, 2017 5:06:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2385/3728 took 626280 ms. Total solver calls (SAT/UNSAT): 4628905(7078/4621827)
Jun 02, 2017 5:06:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2389/3728 took 627486 ms. Total solver calls (SAT/UNSAT): 4637898(7090/4630808)
Jun 02, 2017 5:06:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2394/3728 took 628741 ms. Total solver calls (SAT/UNSAT): 4647239(7105/4640134)
Jun 02, 2017 5:06:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2398/3728 took 629744 ms. Total solver calls (SAT/UNSAT): 4654711(7117/4647594)
Jun 02, 2017 5:06:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2403/3728 took 630993 ms. Total solver calls (SAT/UNSAT): 4664051(7132/4656919)
Jun 02, 2017 5:06:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2407/3728 took 631997 ms. Total solver calls (SAT/UNSAT): 4671523(7144/4664379)
Jun 02, 2017 5:06:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2411/3728 took 633201 ms. Total solver calls (SAT/UNSAT): 4680517(7156/4673361)
Jun 02, 2017 5:06:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2415/3728 took 634205 ms. Total solver calls (SAT/UNSAT): 4687989(7168/4680821)
Jun 02, 2017 5:06:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2419/3728 took 635208 ms. Total solver calls (SAT/UNSAT): 4695461(7180/4688281)
Jun 02, 2017 5:06:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2423/3728 took 636212 ms. Total solver calls (SAT/UNSAT): 4702933(7192/4695741)
Jun 02, 2017 5:06:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2427/3728 took 637219 ms. Total solver calls (SAT/UNSAT): 4710405(7204/4703201)
Jun 02, 2017 5:06:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2431/3728 took 638428 ms. Total solver calls (SAT/UNSAT): 4719398(7216/4712182)
Jun 02, 2017 5:06:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2435/3728 took 639434 ms. Total solver calls (SAT/UNSAT): 4726871(7228/4719643)
Jun 02, 2017 5:06:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2439/3728 took 640439 ms. Total solver calls (SAT/UNSAT): 4734343(7240/4727103)
Jun 02, 2017 5:06:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2443/3728 took 641440 ms. Total solver calls (SAT/UNSAT): 4741815(7252/4734563)
Jun 02, 2017 5:06:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2447/3728 took 642448 ms. Total solver calls (SAT/UNSAT): 4749287(7264/4742023)
Jun 02, 2017 5:06:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2451/3728 took 643453 ms. Total solver calls (SAT/UNSAT): 4756759(7276/4749483)
Jun 02, 2017 5:06:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2455/3728 took 644667 ms. Total solver calls (SAT/UNSAT): 4765753(7288/4758465)
Jun 02, 2017 5:06:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2459/3728 took 645675 ms. Total solver calls (SAT/UNSAT): 4773225(7300/4765925)
Jun 02, 2017 5:06:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2463/3728 took 646685 ms. Total solver calls (SAT/UNSAT): 4780697(7312/4773385)
Jun 02, 2017 5:06:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2467/3728 took 647694 ms. Total solver calls (SAT/UNSAT): 4788169(7324/4780845)
Jun 02, 2017 5:06:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2471/3728 took 648697 ms. Total solver calls (SAT/UNSAT): 4795641(7336/4788305)
Jun 02, 2017 5:06:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2475/3728 took 649934 ms. Total solver calls (SAT/UNSAT): 4804635(7348/4797287)
Jun 02, 2017 5:06:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2480/3728 took 651167 ms. Total solver calls (SAT/UNSAT): 4813975(7363/4806612)
Jun 02, 2017 5:06:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2485/3728 took 652396 ms. Total solver calls (SAT/UNSAT): 4823315(7378/4815937)
Jun 02, 2017 5:06:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2490/3728 took 653632 ms. Total solver calls (SAT/UNSAT): 4832655(7393/4825262)
Jun 02, 2017 5:06:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2494/3728 took 654822 ms. Total solver calls (SAT/UNSAT): 4841648(7405/4834243)
Jun 02, 2017 5:06:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2499/3728 took 656056 ms. Total solver calls (SAT/UNSAT): 4850989(7420/4843569)
Jun 02, 2017 5:06:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2504/3728 took 657285 ms. Total solver calls (SAT/UNSAT): 4860329(7435/4852894)
Jun 02, 2017 5:06:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2509/3728 took 658516 ms. Total solver calls (SAT/UNSAT): 4869669(7450/4862219)
Jun 02, 2017 5:06:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2514/3728 took 659756 ms. Total solver calls (SAT/UNSAT): 4879009(7465/4871544)
Jun 02, 2017 5:06:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2518/3728 took 660965 ms. Total solver calls (SAT/UNSAT): 4888003(7477/4880526)
Jun 02, 2017 5:06:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2523/3728 took 662217 ms. Total solver calls (SAT/UNSAT): 4897343(7492/4889851)
Jun 02, 2017 5:06:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2528/3728 took 663441 ms. Total solver calls (SAT/UNSAT): 4906683(7507/4899176)
Jun 02, 2017 5:06:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2532/3728 took 664496 ms. Total solver calls (SAT/UNSAT): 4914155(7519/4906636)
Jun 02, 2017 5:06:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2536/3728 took 665666 ms. Total solver calls (SAT/UNSAT): 4923148(7531/4915617)
Jun 02, 2017 5:06:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2541/3728 took 666882 ms. Total solver calls (SAT/UNSAT): 4932489(7546/4924943)
Jun 02, 2017 5:06:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2546/3728 took 668108 ms. Total solver calls (SAT/UNSAT): 4941829(7561/4934268)
Jun 02, 2017 5:06:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2551/3728 took 669329 ms. Total solver calls (SAT/UNSAT): 4951169(7576/4943593)
Jun 02, 2017 5:06:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2556/3728 took 670560 ms. Total solver calls (SAT/UNSAT): 4960509(7591/4952918)
Jun 02, 2017 5:06:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2560/3728 took 671737 ms. Total solver calls (SAT/UNSAT): 4969503(7603/4961900)
Jun 02, 2017 5:06:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2565/3728 took 672957 ms. Total solver calls (SAT/UNSAT): 4978843(7618/4971225)
Jun 02, 2017 5:07:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2570/3728 took 674181 ms. Total solver calls (SAT/UNSAT): 4988183(7633/4980550)
Jun 02, 2017 5:07:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2574/3728 took 675198 ms. Total solver calls (SAT/UNSAT): 4995655(7645/4988010)
Jun 02, 2017 5:07:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2578/3728 took 676385 ms. Total solver calls (SAT/UNSAT): 5004648(7657/4996991)
Jun 02, 2017 5:07:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2583/3728 took 677615 ms. Total solver calls (SAT/UNSAT): 5013989(7672/5006317)
Jun 02, 2017 5:07:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2588/3728 took 678843 ms. Total solver calls (SAT/UNSAT): 5023329(7687/5015642)
Jun 02, 2017 5:07:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2593/3728 took 680070 ms. Total solver calls (SAT/UNSAT): 5032669(7702/5024967)
Jun 02, 2017 5:07:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2598/3728 took 681303 ms. Total solver calls (SAT/UNSAT): 5042009(7717/5034292)
Jun 02, 2017 5:07:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2602/3728 took 682490 ms. Total solver calls (SAT/UNSAT): 5051003(7729/5043274)
Jun 02, 2017 5:07:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2607/3728 took 683718 ms. Total solver calls (SAT/UNSAT): 5060343(7744/5052599)
Jun 02, 2017 5:07:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2612/3728 took 684943 ms. Total solver calls (SAT/UNSAT): 5069683(7759/5061924)
Jun 02, 2017 5:07:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2617/3728 took 686173 ms. Total solver calls (SAT/UNSAT): 5079023(7774/5071249)
Jun 02, 2017 5:07:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2621/3728 took 687365 ms. Total solver calls (SAT/UNSAT): 5088017(7786/5080231)
Jun 02, 2017 5:07:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2626/3728 took 688587 ms. Total solver calls (SAT/UNSAT): 5097357(7801/5089556)
Jun 02, 2017 5:07:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2631/3728 took 689820 ms. Total solver calls (SAT/UNSAT): 5106697(7816/5098881)
Jun 02, 2017 5:07:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2636/3728 took 691048 ms. Total solver calls (SAT/UNSAT): 5116037(7831/5108206)
Jun 02, 2017 5:07:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2641/3728 took 692480 ms. Total solver calls (SAT/UNSAT): 5126898(7846/5119052)
Jun 02, 2017 5:07:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2645/3728 took 693506 ms. Total solver calls (SAT/UNSAT): 5134371(7858/5126513)
Jun 02, 2017 5:07:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2650/3728 took 694731 ms. Total solver calls (SAT/UNSAT): 5143711(7873/5135838)
Jun 02, 2017 5:07:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2655/3728 took 695958 ms. Total solver calls (SAT/UNSAT): 5153051(7888/5145163)
Jun 02, 2017 5:07:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2660/3728 took 697171 ms. Total solver calls (SAT/UNSAT): 5162391(7903/5154488)
Jun 02, 2017 5:07:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2664/3728 took 698342 ms. Total solver calls (SAT/UNSAT): 5171385(7915/5163470)
Jun 02, 2017 5:07:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2669/3728 took 699559 ms. Total solver calls (SAT/UNSAT): 5180725(7930/5172795)
Jun 02, 2017 5:07:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2674/3728 took 700775 ms. Total solver calls (SAT/UNSAT): 5190065(7945/5182120)
Jun 02, 2017 5:07:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2679/3728 took 701992 ms. Total solver calls (SAT/UNSAT): 5199405(7960/5191445)
Jun 02, 2017 5:07:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2683/3728 took 703161 ms. Total solver calls (SAT/UNSAT): 5208398(7972/5200426)
Jun 02, 2017 5:07:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2688/3728 took 704380 ms. Total solver calls (SAT/UNSAT): 5217739(7987/5209752)
Jun 02, 2017 5:07:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2693/3728 took 705597 ms. Total solver calls (SAT/UNSAT): 5227079(8002/5219077)
Jun 02, 2017 5:07:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2698/3728 took 706818 ms. Total solver calls (SAT/UNSAT): 5236419(8017/5228402)
Jun 02, 2017 5:07:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2703/3728 took 708036 ms. Total solver calls (SAT/UNSAT): 5245759(8032/5237727)
Jun 02, 2017 5:07:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2707/3728 took 709258 ms. Total solver calls (SAT/UNSAT): 5254753(8044/5246709)
Jun 02, 2017 5:07:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2711/3728 took 710269 ms. Total solver calls (SAT/UNSAT): 5262225(8056/5254169)
Jun 02, 2017 5:07:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2715/3728 took 711458 ms. Total solver calls (SAT/UNSAT): 5269697(8068/5261629)
Jun 02, 2017 5:07:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2719/3728 took 712472 ms. Total solver calls (SAT/UNSAT): 5277169(8080/5269089)
Jun 02, 2017 5:07:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2723/3728 took 713486 ms. Total solver calls (SAT/UNSAT): 5284641(8092/5276549)
Jun 02, 2017 5:07:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2727/3728 took 714712 ms. Total solver calls (SAT/UNSAT): 5293635(8104/5285531)
Jun 02, 2017 5:07:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2731/3728 took 715730 ms. Total solver calls (SAT/UNSAT): 5301107(8116/5292991)
Jun 02, 2017 5:07:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2735/3728 took 716735 ms. Total solver calls (SAT/UNSAT): 5308579(8128/5300451)
Jun 02, 2017 5:07:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2739/3728 took 717744 ms. Total solver calls (SAT/UNSAT): 5316051(8140/5307911)
Jun 02, 2017 5:07:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2743/3728 took 718758 ms. Total solver calls (SAT/UNSAT): 5323523(8152/5315371)
Jun 02, 2017 5:07:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2747/3728 took 719978 ms. Total solver calls (SAT/UNSAT): 5332517(8164/5324353)
Jun 02, 2017 5:07:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2751/3728 took 720989 ms. Total solver calls (SAT/UNSAT): 5339989(8176/5331813)
Jun 02, 2017 5:07:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2755/3728 took 722002 ms. Total solver calls (SAT/UNSAT): 5347461(8188/5339273)
Jun 02, 2017 5:07:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2759/3728 took 723018 ms. Total solver calls (SAT/UNSAT): 5354933(8200/5346733)
Jun 02, 2017 5:07:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2763/3728 took 724032 ms. Total solver calls (SAT/UNSAT): 5362405(8212/5354193)
Jun 02, 2017 5:07:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2767/3728 took 725247 ms. Total solver calls (SAT/UNSAT): 5371398(8224/5363174)
Jun 02, 2017 5:07:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2771/3728 took 726258 ms. Total solver calls (SAT/UNSAT): 5378871(8236/5370635)
Jun 02, 2017 5:07:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2775/3728 took 727270 ms. Total solver calls (SAT/UNSAT): 5386343(8248/5378095)
Jun 02, 2017 5:07:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2779/3728 took 728278 ms. Total solver calls (SAT/UNSAT): 5393815(8260/5385555)
Jun 02, 2017 5:07:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2783/3728 took 729287 ms. Total solver calls (SAT/UNSAT): 5401287(8272/5393015)
Jun 02, 2017 5:07:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2787/3728 took 730297 ms. Total solver calls (SAT/UNSAT): 5408759(8284/5400475)
Jun 02, 2017 5:07:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2791/3728 took 731520 ms. Total solver calls (SAT/UNSAT): 5417753(8296/5409457)
Jun 02, 2017 5:07:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2795/3728 took 732527 ms. Total solver calls (SAT/UNSAT): 5425225(8308/5416917)
Jun 02, 2017 5:07:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2799/3728 took 733534 ms. Total solver calls (SAT/UNSAT): 5432697(8320/5424377)
Jun 02, 2017 5:08:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2804/3728 took 734780 ms. Total solver calls (SAT/UNSAT): 5442037(8335/5433702)
Jun 02, 2017 5:08:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2808/3728 took 735785 ms. Total solver calls (SAT/UNSAT): 5449509(8347/5441162)
Jun 02, 2017 5:08:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2812/3728 took 737001 ms. Total solver calls (SAT/UNSAT): 5458503(8359/5450144)
Jun 02, 2017 5:08:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2816/3728 took 738012 ms. Total solver calls (SAT/UNSAT): 5465975(8371/5457604)
Jun 02, 2017 5:08:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2820/3728 took 739025 ms. Total solver calls (SAT/UNSAT): 5473447(8383/5465064)
Jun 02, 2017 5:08:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2824/3728 took 740033 ms. Total solver calls (SAT/UNSAT): 5480919(8395/5472524)
Jun 02, 2017 5:08:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2828/3728 took 741044 ms. Total solver calls (SAT/UNSAT): 5488391(8407/5479984)
Jun 02, 2017 5:08:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2832/3728 took 742267 ms. Total solver calls (SAT/UNSAT): 5497385(8419/5488966)
Jun 02, 2017 5:08:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2836/3728 took 743276 ms. Total solver calls (SAT/UNSAT): 5504857(8431/5496426)
Jun 02, 2017 5:08:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2840/3728 took 744282 ms. Total solver calls (SAT/UNSAT): 5512329(8443/5503886)
Jun 02, 2017 5:08:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2844/3728 took 745291 ms. Total solver calls (SAT/UNSAT): 5519801(8455/5511346)
Jun 02, 2017 5:08:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2849/3728 took 746551 ms. Total solver calls (SAT/UNSAT): 5529141(8470/5520671)
Jun 02, 2017 5:08:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2853/3728 took 747766 ms. Total solver calls (SAT/UNSAT): 5538135(8482/5529653)
Jun 02, 2017 5:08:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2857/3728 took 748777 ms. Total solver calls (SAT/UNSAT): 5545607(8494/5537113)
Jun 02, 2017 5:08:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2861/3728 took 749791 ms. Total solver calls (SAT/UNSAT): 5553079(8506/5544573)
Jun 02, 2017 5:08:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2865/3728 took 750800 ms. Total solver calls (SAT/UNSAT): 5560551(8518/5552033)
Jun 02, 2017 5:08:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2869/3728 took 751814 ms. Total solver calls (SAT/UNSAT): 5568023(8530/5559493)
Jun 02, 2017 5:08:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2873/3728 took 753025 ms. Total solver calls (SAT/UNSAT): 5577017(8542/5568475)
Jun 02, 2017 5:08:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2877/3728 took 754032 ms. Total solver calls (SAT/UNSAT): 5584489(8554/5575935)
Jun 02, 2017 5:08:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2881/3728 took 755046 ms. Total solver calls (SAT/UNSAT): 5591961(8566/5583395)
Jun 02, 2017 5:08:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2885/3728 took 756052 ms. Total solver calls (SAT/UNSAT): 5599433(8578/5590855)
Jun 02, 2017 5:08:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2889/3728 took 757058 ms. Total solver calls (SAT/UNSAT): 5606905(8590/5598315)
Jun 02, 2017 5:08:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2893/3728 took 758267 ms. Total solver calls (SAT/UNSAT): 5615898(8602/5607296)
Jun 02, 2017 5:08:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2898/3728 took 759512 ms. Total solver calls (SAT/UNSAT): 5625239(8617/5616622)
Jun 02, 2017 5:08:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2903/3728 took 760762 ms. Total solver calls (SAT/UNSAT): 5634579(8632/5625947)
Jun 02, 2017 5:08:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2907/3728 took 761790 ms. Total solver calls (SAT/UNSAT): 5642051(8644/5633407)
Jun 02, 2017 5:08:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2911/3728 took 762812 ms. Total solver calls (SAT/UNSAT): 5649523(8656/5640867)
Jun 02, 2017 5:08:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2915/3728 took 764002 ms. Total solver calls (SAT/UNSAT): 5658517(8668/5649849)
Jun 02, 2017 5:08:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2920/3728 took 765230 ms. Total solver calls (SAT/UNSAT): 5667857(8683/5659174)
Jun 02, 2017 5:08:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2925/3728 took 766457 ms. Total solver calls (SAT/UNSAT): 5677197(8698/5668499)
Jun 02, 2017 5:08:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2930/3728 took 767689 ms. Total solver calls (SAT/UNSAT): 5686537(8713/5677824)
Jun 02, 2017 5:08:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2935/3728 took 769117 ms. Total solver calls (SAT/UNSAT): 5697398(8728/5688670)
Jun 02, 2017 5:08:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2940/3728 took 770346 ms. Total solver calls (SAT/UNSAT): 5706739(8743/5697996)
Jun 02, 2017 5:08:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2945/3728 took 771577 ms. Total solver calls (SAT/UNSAT): 5716079(8758/5707321)
Jun 02, 2017 5:08:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2950/3728 took 772809 ms. Total solver calls (SAT/UNSAT): 5725419(8773/5716646)
Jun 02, 2017 5:08:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2955/3728 took 774032 ms. Total solver calls (SAT/UNSAT): 5734759(8788/5725971)
Jun 02, 2017 5:08:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2959/3728 took 775216 ms. Total solver calls (SAT/UNSAT): 5743753(8800/5734953)
Jun 02, 2017 5:08:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2964/3728 took 776449 ms. Total solver calls (SAT/UNSAT): 5753093(8815/5744278)
Jun 02, 2017 5:08:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2969/3728 took 777671 ms. Total solver calls (SAT/UNSAT): 5762433(8830/5753603)
Jun 02, 2017 5:08:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2974/3728 took 778901 ms. Total solver calls (SAT/UNSAT): 5771773(8845/5762928)
Jun 02, 2017 5:08:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2978/3728 took 780084 ms. Total solver calls (SAT/UNSAT): 5780767(8857/5771910)
Jun 02, 2017 5:08:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2983/3728 took 781317 ms. Total solver calls (SAT/UNSAT): 5790107(8872/5781235)
Jun 02, 2017 5:08:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2988/3728 took 782555 ms. Total solver calls (SAT/UNSAT): 5799447(8887/5790560)
Jun 02, 2017 5:08:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2993/3728 took 783783 ms. Total solver calls (SAT/UNSAT): 5808787(8902/5799885)
Jun 02, 2017 5:08:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :2998/3728 took 785216 ms. Total solver calls (SAT/UNSAT): 5819648(8917/5810731)
Jun 02, 2017 5:08:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3003/3728 took 786445 ms. Total solver calls (SAT/UNSAT): 5828989(8932/5820057)
Jun 02, 2017 5:08:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3008/3728 took 787655 ms. Total solver calls (SAT/UNSAT): 5838329(8947/5829382)
Jun 02, 2017 5:08:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3013/3728 took 788870 ms. Total solver calls (SAT/UNSAT): 5847669(8962/5838707)
Jun 02, 2017 5:08:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3018/3728 took 790077 ms. Total solver calls (SAT/UNSAT): 5857009(8977/5848032)
Jun 02, 2017 5:08:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3022/3728 took 791255 ms. Total solver calls (SAT/UNSAT): 5866003(8989/5857014)
Jun 02, 2017 5:08:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3027/3728 took 792475 ms. Total solver calls (SAT/UNSAT): 5875343(9004/5866339)
Jun 02, 2017 5:08:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3032/3728 took 793699 ms. Total solver calls (SAT/UNSAT): 5884683(9019/5875664)
Jun 02, 2017 5:09:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3037/3728 took 794931 ms. Total solver calls (SAT/UNSAT): 5894023(9034/5884989)
Jun 02, 2017 5:09:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3041/3728 took 796104 ms. Total solver calls (SAT/UNSAT): 5903017(9046/5893971)
Jun 02, 2017 5:09:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3046/3728 took 797332 ms. Total solver calls (SAT/UNSAT): 5912357(9061/5903296)
Jun 02, 2017 5:09:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3051/3728 took 798559 ms. Total solver calls (SAT/UNSAT): 5921697(9076/5912621)
Jun 02, 2017 5:09:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3056/3728 took 799780 ms. Total solver calls (SAT/UNSAT): 5931037(9091/5921946)
Jun 02, 2017 5:09:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3060/3728 took 800806 ms. Total solver calls (SAT/UNSAT): 5938509(9103/5929406)
Jun 02, 2017 5:09:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3064/3728 took 801977 ms. Total solver calls (SAT/UNSAT): 5947503(9115/5938388)
Jun 02, 2017 5:09:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3069/3728 took 803204 ms. Total solver calls (SAT/UNSAT): 5956843(9130/5947713)
Jun 02, 2017 5:09:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3074/3728 took 804427 ms. Total solver calls (SAT/UNSAT): 5966183(9145/5957038)
Jun 02, 2017 5:09:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3079/3728 took 805655 ms. Total solver calls (SAT/UNSAT): 5975523(9160/5966363)
Jun 02, 2017 5:09:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3083/3728 took 806835 ms. Total solver calls (SAT/UNSAT): 5984517(9172/5975345)
Jun 02, 2017 5:09:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3088/3728 took 808063 ms. Total solver calls (SAT/UNSAT): 5993857(9187/5984670)
Jun 02, 2017 5:09:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3093/3728 took 809285 ms. Total solver calls (SAT/UNSAT): 6003197(9202/5993995)
Jun 02, 2017 5:09:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3098/3728 took 810510 ms. Total solver calls (SAT/UNSAT): 6012537(9217/6003320)
Jun 02, 2017 5:09:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3103/3728 took 811938 ms. Total solver calls (SAT/UNSAT): 6023398(9232/6014166)
Jun 02, 2017 5:09:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3108/3728 took 813152 ms. Total solver calls (SAT/UNSAT): 6032739(9247/6023492)
Jun 02, 2017 5:09:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3113/3728 took 814379 ms. Total solver calls (SAT/UNSAT): 6042079(9262/6032817)
Jun 02, 2017 5:09:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3118/3728 took 815607 ms. Total solver calls (SAT/UNSAT): 6051419(9277/6042142)
Jun 02, 2017 5:09:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3123/3728 took 816838 ms. Total solver calls (SAT/UNSAT): 6060759(9292/6051467)
Jun 02, 2017 5:09:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3127/3728 took 818013 ms. Total solver calls (SAT/UNSAT): 6069753(9304/6060449)
Jun 02, 2017 5:09:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3132/3728 took 819242 ms. Total solver calls (SAT/UNSAT): 6079093(9319/6069774)
Jun 02, 2017 5:09:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3137/3728 took 820469 ms. Total solver calls (SAT/UNSAT): 6088433(9334/6079099)
Jun 02, 2017 5:09:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3142/3728 took 821695 ms. Total solver calls (SAT/UNSAT): 6097773(9349/6088424)
Jun 02, 2017 5:09:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3146/3728 took 822879 ms. Total solver calls (SAT/UNSAT): 6106767(9361/6097406)
Jun 02, 2017 5:09:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3151/3728 took 824102 ms. Total solver calls (SAT/UNSAT): 6116107(9376/6106731)
Jun 02, 2017 5:09:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3156/3728 took 825324 ms. Total solver calls (SAT/UNSAT): 6125447(9391/6116056)
Jun 02, 2017 5:09:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3161/3728 took 826551 ms. Total solver calls (SAT/UNSAT): 6134787(9406/6125381)
Jun 02, 2017 5:09:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3165/3728 took 827552 ms. Total solver calls (SAT/UNSAT): 6142259(9418/6132841)
Jun 02, 2017 5:09:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3169/3728 took 828723 ms. Total solver calls (SAT/UNSAT): 6151253(9430/6141823)
Jun 02, 2017 5:09:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3174/3728 took 829950 ms. Total solver calls (SAT/UNSAT): 6160593(9445/6151148)
Jun 02, 2017 5:09:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3179/3728 took 831175 ms. Total solver calls (SAT/UNSAT): 6169933(9460/6160473)
Jun 02, 2017 5:09:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3184/3728 took 832408 ms. Total solver calls (SAT/UNSAT): 6179273(9475/6169798)
Jun 02, 2017 5:09:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3188/3728 took 833573 ms. Total solver calls (SAT/UNSAT): 6188267(9487/6178780)
Jun 02, 2017 5:09:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3193/3728 took 834785 ms. Total solver calls (SAT/UNSAT): 6197607(9502/6188105)
Jun 02, 2017 5:09:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3198/3728 took 835989 ms. Total solver calls (SAT/UNSAT): 6206947(9517/6197430)
Jun 02, 2017 5:09:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3203/3728 took 837205 ms. Total solver calls (SAT/UNSAT): 6216287(9532/6206755)
Jun 02, 2017 5:09:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3208/3728 took 838618 ms. Total solver calls (SAT/UNSAT): 6227148(9547/6217601)
Jun 02, 2017 5:09:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3213/3728 took 839838 ms. Total solver calls (SAT/UNSAT): 6236489(9562/6226927)
Jun 02, 2017 5:09:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3218/3728 took 841054 ms. Total solver calls (SAT/UNSAT): 6245829(9577/6236252)
Jun 02, 2017 5:09:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3223/3728 took 842285 ms. Total solver calls (SAT/UNSAT): 6255169(9592/6245577)
Jun 02, 2017 5:09:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3228/3728 took 843509 ms. Total solver calls (SAT/UNSAT): 6264509(9607/6254902)
Jun 02, 2017 5:09:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3232/3728 took 844687 ms. Total solver calls (SAT/UNSAT): 6273503(9619/6263884)
Jun 02, 2017 5:09:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3237/3728 took 845901 ms. Total solver calls (SAT/UNSAT): 6282843(9634/6273209)
Jun 02, 2017 5:09:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3242/3728 took 847114 ms. Total solver calls (SAT/UNSAT): 6292183(9649/6282534)
Jun 02, 2017 5:09:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3247/3728 took 848336 ms. Total solver calls (SAT/UNSAT): 6301523(9664/6291859)
Jun 02, 2017 5:09:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3251/3728 took 849511 ms. Total solver calls (SAT/UNSAT): 6310517(9676/6300841)
Jun 02, 2017 5:09:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3256/3728 took 850718 ms. Total solver calls (SAT/UNSAT): 6319857(9691/6310166)
Jun 02, 2017 5:09:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3261/3728 took 851929 ms. Total solver calls (SAT/UNSAT): 6329197(9706/6319491)
Jun 02, 2017 5:09:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3266/3728 took 853142 ms. Total solver calls (SAT/UNSAT): 6338537(9721/6328816)
Jun 02, 2017 5:10:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3271/3728 took 854559 ms. Total solver calls (SAT/UNSAT): 6349398(9736/6339662)
Jun 02, 2017 5:10:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3276/3728 took 855767 ms. Total solver calls (SAT/UNSAT): 6358739(9751/6348988)
Jun 02, 2017 5:10:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3281/3728 took 856974 ms. Total solver calls (SAT/UNSAT): 6368079(9766/6358313)
Jun 02, 2017 5:10:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3286/3728 took 858188 ms. Total solver calls (SAT/UNSAT): 6377419(9781/6367638)
Jun 02, 2017 5:10:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3291/3728 took 859412 ms. Total solver calls (SAT/UNSAT): 6386759(9796/6376963)
Jun 02, 2017 5:10:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3295/3728 took 860584 ms. Total solver calls (SAT/UNSAT): 6395753(9808/6385945)
Jun 02, 2017 5:10:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3300/3728 took 861801 ms. Total solver calls (SAT/UNSAT): 6405093(9823/6395270)
Jun 02, 2017 5:10:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3305/3728 took 863030 ms. Total solver calls (SAT/UNSAT): 6414433(9838/6404595)
Jun 02, 2017 5:10:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3310/3728 took 864253 ms. Total solver calls (SAT/UNSAT): 6423773(9853/6413920)
Jun 02, 2017 5:10:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3314/3728 took 865436 ms. Total solver calls (SAT/UNSAT): 6432767(9865/6422902)
Jun 02, 2017 5:10:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3319/3728 took 866660 ms. Total solver calls (SAT/UNSAT): 6442107(9880/6432227)
Jun 02, 2017 5:10:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3324/3728 took 867891 ms. Total solver calls (SAT/UNSAT): 6451447(9895/6441552)
Jun 02, 2017 5:10:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3329/3728 took 869107 ms. Total solver calls (SAT/UNSAT): 6460787(9910/6450877)
Jun 02, 2017 5:10:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3334/3728 took 870528 ms. Total solver calls (SAT/UNSAT): 6471648(9925/6461723)
Jun 02, 2017 5:10:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3339/3728 took 871745 ms. Total solver calls (SAT/UNSAT): 6480989(9940/6471049)
Jun 02, 2017 5:10:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3343/3728 took 872777 ms. Total solver calls (SAT/UNSAT): 6488461(9952/6478509)
Jun 02, 2017 5:10:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3347/3728 took 873837 ms. Total solver calls (SAT/UNSAT): 6495933(9964/6485969)
Jun 02, 2017 5:10:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3351/3728 took 874891 ms. Total solver calls (SAT/UNSAT): 6503405(9976/6493429)
Jun 02, 2017 5:10:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3355/3728 took 876164 ms. Total solver calls (SAT/UNSAT): 6512398(9988/6502410)
Jun 02, 2017 5:10:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3359/3728 took 877206 ms. Total solver calls (SAT/UNSAT): 6519871(10000/6509871)
Jun 02, 2017 5:10:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3363/3728 took 878231 ms. Total solver calls (SAT/UNSAT): 6527343(10012/6517331)
Jun 02, 2017 5:10:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3367/3728 took 879287 ms. Total solver calls (SAT/UNSAT): 6534815(10024/6524791)
Jun 02, 2017 5:10:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3371/3728 took 880323 ms. Total solver calls (SAT/UNSAT): 6542287(10036/6532251)
Jun 02, 2017 5:10:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3376/3728 took 881769 ms. Total solver calls (SAT/UNSAT): 6553148(10051/6543097)
Jun 02, 2017 5:10:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3381/3728 took 883016 ms. Total solver calls (SAT/UNSAT): 6562489(10066/6552423)
Jun 02, 2017 5:10:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3386/3728 took 884259 ms. Total solver calls (SAT/UNSAT): 6571829(10081/6561748)
Jun 02, 2017 5:10:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3391/3728 took 885507 ms. Total solver calls (SAT/UNSAT): 6581169(10096/6571073)
Jun 02, 2017 5:10:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3396/3728 took 886754 ms. Total solver calls (SAT/UNSAT): 6590509(10111/6580398)
Jun 02, 2017 5:10:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3400/3728 took 887965 ms. Total solver calls (SAT/UNSAT): 6599503(10123/6589380)
Jun 02, 2017 5:10:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3405/3728 took 889208 ms. Total solver calls (SAT/UNSAT): 6608843(10138/6598705)
Jun 02, 2017 5:10:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3409/3728 took 890211 ms. Total solver calls (SAT/UNSAT): 6616315(10150/6606165)
Jun 02, 2017 5:10:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3413/3728 took 891214 ms. Total solver calls (SAT/UNSAT): 6623787(10162/6613625)
Jun 02, 2017 5:10:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3418/3728 took 892662 ms. Total solver calls (SAT/UNSAT): 6634648(10177/6624471)
Jun 02, 2017 5:10:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3422/3728 took 893667 ms. Total solver calls (SAT/UNSAT): 6642121(10189/6631932)
Jun 02, 2017 5:10:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3426/3728 took 894670 ms. Total solver calls (SAT/UNSAT): 6649593(10201/6639392)
Jun 02, 2017 5:10:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3430/3728 took 895674 ms. Total solver calls (SAT/UNSAT): 6657065(10213/6646852)
Jun 02, 2017 5:10:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3434/3728 took 896678 ms. Total solver calls (SAT/UNSAT): 6664537(10225/6654312)
Jun 02, 2017 5:10:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3438/3728 took 897678 ms. Total solver calls (SAT/UNSAT): 6672009(10237/6661772)
Jun 02, 2017 5:10:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3453/3728 took 898680 ms. Total solver calls (SAT/UNSAT): 6679094(10254/6668840)
Jun 02, 2017 5:10:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :3479/3728 took 899698 ms. Total solver calls (SAT/UNSAT): 6685958(10280/6675678)
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_BridgeAndVehicles-PT-V80P50N20"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/S_BridgeAndVehicles-PT-V80P50N20.tgz
mv S_BridgeAndVehicles-PT-V80P50N20 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is S_BridgeAndVehicles-PT-V80P50N20, examination is LTLFireability"
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-149441076900564"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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 ;