Skip to content

GitLab

L
lutin
Commit d6a175bd authored by Erwan Jahier's avatar Erwan Jahier
Browse files
Options

lurette 0.120 Thu, 19 Dec 2002 11:15:29 +0100 by jahier 

Parent-Version:      0.119
Version-Log:

source/solver.ml:
source/rnumsolver.ml:
   replace split_store_eq by add_eq_to_store as split_store_eq
   was simply calling split store and appendind its result,
   it is simplier to just call slipt_store from solver.ml ...

Project-Description: Lurette
parent 566a6b90
Hide whitespace changes
Inline Side-by-side
Showing with 258 additions and 288 deletions
.lurette.prcs_aux
View file @ d6a175bd
......@@ -11,7 +11,7 @@
(doc/ocamldoc.sty 1380 1008328137 b/12_ocamldoc.s 1.1)
(mlcuddidl/Makefile 7150 1034006019 d/9_Makefile 1.1)
(test/tram_simple.h 1746 1013519411 b/25_tram_simpl 1.1)
(test/time-ossau.res 6395 1040290175 b/49_time.res 1.27)
(test/time-ossau.res 6395 1040292929 b/49_time.res 1.28)
(mlcuddidl/session.ml 603 1034006019 c/37_session.ml 1.1)
(cuddaux/cuddauxGenCof.c 12011 1034006019 c/29_cuddauxGen 1.1)
(mlcuddidl/rdd.idl 14806 1034006019 c/42_rdd.idl 1.1)
......@@ -22,7 +22,7 @@
(test/heater_int.rif.exp 886 1034951022 b/28_heater_int 1.10)
(source/ne.ml 9371 1037625990 c/21_ne.ml 1.3)
(source/prevar.ml 981 1037192189 d/18_prevar.ml 1.1)
(test/time-ecrins.exp 6391 1040290175 d/21_time-ecrin 1.1)
(test/time-ecrins.exp 6392 1040292929 d/21_time-ecrin 1.2)
(source/value.mli 1101 1033723811 c/24_value.mli 1.1)
(user-rules.skel 1167 1040226023 c/25_user-rules 1.2)
(source/Makefile.gen_stubs 212 1036048863 b/42_Makefile.g 1.5)
......@@ -42,14 +42,14 @@
(source/Makefile.show_luc 1026 1037192189 b/40_Makefile.s 1.8)
(source/env_state.mli 6791 1036675177 50_env_state. 1.25)
(mlcuddidl/idd.ml 7061 1034006019 d/0_idd.ml 1.1)
(test/time-ossau.exp 6395 1040290175 b/48_time.exp 1.24)
(test/time-ossau.exp 6395 1040292929 b/48_time.exp 1.25)
(source/print.mli 1145 1033397911 46_print.mli 1.12)
(mlcuddidl/rdd.mli 7174 1034006019 c/40_rdd.mli 1.1)
(test/Makefile 32 1035531408 c/0_Makefile 1.8)
(source/parse_env.ml 31420 1040290175 41_parse_env. 1.33)
(ihm/xlurette/xlurette_glade_main.ml 23620 1036675177 c/12_xlurette_g 1.15)
(demo/chaudiere/chaudiere_oracle.lus 107 1031732392 c/8_chaudiere_ 1.1)
(source/solver.ml 30075 1040290175 39_solver.ml 1.37)
(source/solver.ml 29908 1040292929 39_solver.ml 1.38)
(test/ControleurPorte.lus 3219 1032940601 c/17_Controleur 1.1)
(source/gen_fake_lutin.ml 3449 1036048863 d/16_gen_fake_l 1.1)
(source/lurette.ml 14219 1036675177 12_lurette.ml 1.60)
......@@ -129,7 +129,7 @@
(mlcuddidl/bdd.mli 8573 1034006019 d/5_bdd.mli 1.1)
(doc/automata_format 0 1007379917 b/3_automata_f 1.1)
(source/solver.mli 1003 1027092697 38_solver.mli 1.13)
(source/rnumsolver.ml 21487 1037625990 b/27_rnumsolver 1.16)
(source/rnumsolver.ml 21001 1040292929 b/27_rnumsolver 1.17)
(mlcuddidl/cudd_caml.c 22890 1034006019 d/3_cudd_caml. 1.1)
(source/print.ml 5807 1033723811 47_print.ml 1.21)
(test/ControleurPorte.h 2306 1012914629 b/18_Controleur 1.1)
......@@ -139,13 +139,13 @@
(mlcuddidl/Changes 64 1034006019 d/10_Changes 1.1)
(source/parse_poc.ml 7093 1036048863 d/15_parse_poc. 1.1)
(cuddaux/cuddauxAddIte.c 12812 1034006019 c/32_cuddauxAdd 1.1)
(source/rnumsolver.mli 2198 1033732198 b/26_rnumsolver 1.9)
(source/rnumsolver.mli 2156 1040292929 b/26_rnumsolver 1.10)
(source/sim2chro.ml 2721 1033397911 b/24_sim2chro.m 1.14)
(source/command_line_luc_exe.ml 2748 1040226023 b/33_command_li 1.9)
(mlcuddidl/cudd_caml.h 1210 1034006019 d/2_cudd_caml. 1.1)
(source/value.ml 2355 1033723811 c/23_value.ml 1.1)
(test/giro/allocator.lus 1087 1031732392 c/5_allocator. 1.1)
(test/time-ecrins.res 6391 1040290175 d/20_time-ecrin 1.1)
(test/time-ecrins.res 6392 1040292929 d/20_time-ecrin 1.2)
(lurette.depfull.dot 49 1007651448 b/5_lurette.de 1.2)
(mlcuddidl/idd.mli 5470 1034006019 c/51_idd.mli 1.1)
(ID_EN_VRAC 2184 1002196285 0_ID_EN_VRAC 1.1)
lurette.prj
View file @ d6a175bd
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
(Project-Description "Lurette")
(Project-Version lurette 0 119)
(Parent-Version lurette 0 118)
(Project-Version lurette 0 120)
(Parent-Version lurette 0 119)
(Version-Log "
user-rules:
Add the name of the host in the timing result files.
Also runs the timing tests on ecrins.
source/solver.ml:
source/rnumsolver.ml:
replace split_store_eq by add_eq_to_store as split_store_eq
was simply calling split store and appendind its result,
it is simplier to just call slipt_store from solver.ml ...
")
(New-Version-Log ""
)
(Checkin-Time "Thu, 19 Dec 2002 10:29:35 +0100")
(Checkin-Time "Thu, 19 Dec 2002 11:15:29 +0100")
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
......@@ -45,10 +46,10 @@ user-rules:
(source/util.ml (lurette/35_util.ml 1.36 444))
(source/solver.mli (lurette/38_solver.mli 1.13 644))
(source/solver.ml (lurette/39_solver.ml 1.37 644))
(source/solver.ml (lurette/39_solver.ml 1.38 644))
(source/rnumsolver.mli (lurette/b/26_rnumsolver 1.9 644))
(source/rnumsolver.ml (lurette/b/27_rnumsolver 1.16 644))
(source/rnumsolver.mli (lurette/b/26_rnumsolver 1.10 644))
(source/rnumsolver.ml (lurette/b/27_rnumsolver 1.17 644))
(source/parse_env.mli (lurette/40_parse_env. 1.11 644))
(source/parse_env.ml (lurette/41_parse_env. 1.33 644))
......@@ -133,10 +134,10 @@ user-rules:
(lurette.depfull.dot (lurette/b/5_lurette.de 1.2 644))
(TAGS (lurette/21_TAGS 1.6 644))
(test/time-ossau.exp (lurette/b/48_time.exp 1.24 644))
(test/time-ossau.res (lurette/b/49_time.res 1.27 644))
(test/time-ecrins.res (lurette/d/20_time-ecrin 1.1 644))
(test/time-ecrins.exp (lurette/d/21_time-ecrin 1.1 644))
(test/time-ossau.exp (lurette/b/48_time.exp 1.25 644))
(test/time-ossau.res (lurette/b/49_time.res 1.28 644))
(test/time-ecrins.res (lurette/d/20_time-ecrin 1.2 644))
(test/time-ecrins.exp (lurette/d/21_time-ecrin 1.2 644))
;; Various files used for testing purposes
(test/usager.luc (lurette/b/14_usager.env 1.9 644))
......
source/rnumsolver.ml
View file @ d6a175bd
......@@ -46,8 +46,6 @@ type substl = Ne.subst list
delay its addition to the store until an equality makes it a
constraint of dimension 1 (i.e., it contains only 1 var). At bdd
leaves, if this list is not empty, it means that the current
formula cannot be solved with an interval based solver.
*)
type delay = Constraint.ineq list
......@@ -643,11 +641,6 @@ and (split_store_do : store -> Constraint.ineq -> store * store) =
)
(* exported *)
and (split_store_eq : store -> Ne.t -> store * store * store ) =
fun store ne0 ->
let ne = Ne.apply_substl store.substl ne0 in
(* let _ = *)
(* print_string (store_to_string store); *)
......@@ -655,98 +648,78 @@ and (split_store_eq : store -> Ne.t -> store * store * store ) =
(* print_string (Constraint.to_string (EqZ ne)); *)
(* flush stdout *)
(* in *)
(* exported *)
and (add_eq_to_store : store -> Ne.t -> store) =
fun store ne0 ->
let ne = Ne.apply_substl store.substl ne0 in
let dim = Ne.dimension ne in
if
dim = 0
then
let v = match (Ne.find "" ne) with
Some x -> x
| None -> I(0)
and unsat_store = { var = None ; substl = [] ; delay = [] } in
if
Value.num_eq_zero v
then
store, unsat_store, unsat_store
else if
Value.num_sup_zero v
then
unsat_store, store, unsat_store
else
unsat_store, unsat_store, store
let v = match (Ne.find "" ne) with
Some x -> x
| None -> I(0)
and unsat_store = { var = None ; substl = [] ; delay = [] }
in
if Value.num_eq_zero v then store else unsat_store
else
(* dim > 0 *)
let (store_inf, store_sup) = split_store_do store (GZ ne) in
let (var, sl, d) = (store.var, store.substl, store.delay) in
let (vn_val_opt, ne_tail) = Ne.split ne in
match vn_val_opt with
None ->
raise No_numeric_solution
| Some (vn, nval0) ->
let nval = Value.neg nval0 in
let s = ((vn, nval), ne_tail) in
let d2 = List.map (Constraint.apply_subst_ineq s) d in
let (waked, new_d) = List.partition
(fun cstr -> Constraint.dimension_ineq cstr = 1)
d2
in
let new_sl = s::sl in
let range_vn, new_var =
match var with
None -> assert false
| Some(tbl) ->
(
Hashtbl.find tbl vn,
(
let tbl2 = Hashtbl.copy tbl in
Hashtbl.remove tbl2 vn;
Some(tbl2)
)
)
in
let new_store =
List.fold_left
(fun acc cstr -> fst (split_store acc cstr))
{ var = new_var; substl = new_sl; delay = new_d }
waked
in
if
Ne.is_a_constant ne_tail
then
(
new_store,
store_inf,
store_sup
)
else
let c1, c2 =
match range_vn with
RangeI(min, max) ->
GeqZ(Ne.diff (Ne.make "" (I (-min))) ne_tail),
GeqZ(Ne.diff (Ne.make "" (I max)) ne_tail)
| RangeF(min, max) ->
GeqZ(Ne.diff (Ne.make "" (F (-.min))) ne_tail),
GeqZ(Ne.diff (Ne.make "" (F max)) ne_tail)
in
if
dim = 2
then
(
fst (split_store (fst (split_store new_store c1)) c2),
store_inf,
store_sup
)
else
(* dim > 2 *)
let (vn_val_opt, ne_tail) = Ne.split ne in
match vn_val_opt with
None ->
raise No_numeric_solution
| Some (vn, nval0) ->
let nval = Value.neg nval0 in
let s = ((vn, nval), ne_tail) in
let d2 = List.map (Constraint.apply_subst_ineq s) d in
let (waked, new_d) =
List.partition
(fun cstr -> Constraint.dimension_ineq cstr = 1) d2
in
let new_sl = s::sl in
let range_vn, new_var =
match var with
None -> assert false
| Some(tbl) ->
(
Hashtbl.find tbl vn,
(
{
var = new_store.var ;
substl = new_store.substl ;
delay = c1::c2::new_store.delay
},
store_inf,
store_sup
let tbl2 = Hashtbl.copy tbl in
Hashtbl.remove tbl2 vn;
Some(tbl2)
)
)
in
let new_store =
List.fold_left
(fun acc cstr -> fst (split_store acc cstr))
{ var = new_var; substl = new_sl; delay = new_d }
waked
in
if Ne.is_a_constant ne_tail then new_store
else
let c1, c2 =
match range_vn with
RangeI(min, max) ->
GeqZ(Ne.diff (Ne.make "" (I (-min))) ne_tail),
GeqZ(Ne.diff (Ne.make "" (I max)) ne_tail)
| RangeF(min, max) ->
GeqZ(Ne.diff (Ne.make "" (F (-.min))) ne_tail),
GeqZ(Ne.diff (Ne.make "" (F max)) ne_tail)
in
if
dim = 2
then
fst (split_store (fst (split_store new_store c1)) c2)
else
(* dim > 2 *)
{
var = new_store.var ;
substl = new_store.substl ;
delay = c1::c2::new_store.delay
}
(* exported *)
let (is_store_satisfiable : store -> bool) =
......
source/rnumsolver.mli
View file @ d6a175bd
......@@ -15,25 +15,18 @@ type store
(** Abstract type representing a conjunction of linear_constraint. *)
val new_store : Formula.vnt list -> store
(** [get_empty_store vnlt] returns an empty store for the variable
(** [new_store vnlt] returns an empty store for the variable
contained in [vnlt]. *)
(* Raised during the toss if no solution is found in the branch *)
exception No_numeric_solution
val split_store : store -> Constraint.ineq -> store * store
(** If [c] is not an equality constraint, [split_store s c] returns
the store [s] with the numeric constraint [c] (resp [not c])
added in the lhs of the pair (resp rhs).
*)
val split_store_eq : store -> Ne.t -> store * store * store
(** [split_store_eq s e] returns the store [s] with the numeric
constraint [EqZ(e)], [GZ(e)], and [GZ(-e)] in first, second and
third position respectively.
(** [split_store s c] returns the store [s] with the numeric
constraint [c] (resp [not c]) added in the lhs of the pair (resp
rhs). *)
Fails if [c] is not an equality constraint (cf [split_store])
val add_eq_to_store : store -> Ne.t -> store
(** [add_eq_to_store s e] returns the store [s] with the numeric
constraint [EqZ(e)] added.
*)
val is_store_satisfiable : store -> bool
......@@ -41,6 +34,11 @@ val is_store_satisfiable : store -> bool
inconsistency. *)
(*-----------------------------------------------------------------------*)
(* Raised during the toss if no solution is found in the branch *)
exception No_numeric_solution
val draw_inside : store -> Formula.subst list
(** [draw_inside s n] draws [n] points fairly inside the (bounded)
solution hull. *)
......@@ -61,7 +59,7 @@ val draw_verteces : store -> Formula.subst list
(** Returns the substitution list corresponding to the centre of
gravity of the (convex) hull defined by the store. *)
(*-----------------------------------------------------------------------*)
(** Pretty printing *)
val store_to_string : store -> string
source/solver.ml
View file @ d6a175bd
......@@ -769,15 +769,14 @@ and (draw_in_bdd_eq: Ne.t -> subst list * store -> Bdd.t -> Bdd.t ->
subst list * store) =
fun ne (sl, store) bdd comb ->
(*
When we add to the store an equality constraint EqZ(ne)
([split_store_eq]), 3 stores are returned. The first is a
store where the equilaty has been added; the second is a store
where the inequality [ne > 0] has been added; the third is a
store where [ne < 0] has been added.
Whether we choose the first one on not depends on toss made
according the (boolean) solution number in both branchs of the
bdd. If the else branch is choose (if it is chosen in the
We consider 3 stores:
- store + [ne = 0]
- store + [ne > 0]
- store + [ne < 0]
Whether we choose the first one or not depends on toss made
according the (boolean) solution number in both branches of the
bdd. If the else branch is choosen (if it is chosen in the
first place, or if backtracking occurs because no solutions is
found in the then branch) whether we try the second or the
third store first is (fairly) tossed up.
......@@ -787,9 +786,8 @@ and (draw_in_bdd_eq: Ne.t -> subst list * store -> Bdd.t -> Bdd.t ->
if ((eq_sol_nb n zero_sol) && (eq_sol_nb m zero_sol))
then raise No_numeric_solution ;
in
let
(store_plus_cstr, store_plus_not_cstr, store_plus_not_cstr2) =
split_store_eq store ne
let store_plus_cstr = add_eq_to_store store ne
and (store_plus_not_cstr, store_plus_not_cstr2) = split_store store (GZ ne)
in
let (
store1, bdd1, sol_nb1,
......
test/time-ecrins.exp
View file @ d6a175bd
Linux ecrins 2.4.18 #1 SMP Thu Nov 21 14:25:48 CET 2002 i686 unknown
Command being timed: "/tmp/lurette1/lurette 10000 1 1 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/tram.luc /home/jahier/lurette/test/usager.luc /home/jahier/lurette/test/porte.luc /home/jahier/lurette/test/passerelle.luc"
User time (seconds): 3.46
System time (seconds): 0.21
Percent of CPU this job got: 100%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.64
User time (seconds): 3.28
System time (seconds): 0.49
Percent of CPU this job got: 95%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.94
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 216
Minor (reclaiming a frame) page faults: 18593
Major (requiring I/O) page faults: 214
Minor (reclaiming a frame) page faults: 18592
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -24,18 +24,18 @@ Linux ecrins 2.4.18 #1 SMP Thu Nov 21 14:25:48 CET 2002 i686 unknown
Exit status: 0
Command being timed: "/tmp/lurette1/lurette 10 100 100 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/tram.luc /home/jahier/lurette/test/usager.luc /home/jahier/lurette/test/porte.luc /home/jahier/lurette/test/passerelle.luc"
User time (seconds): 8.70
System time (seconds): 0.48
Percent of CPU this job got: 99%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:09.20
User time (seconds): 8.12
System time (seconds): 0.54
Percent of CPU this job got: 100%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:08.66
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 216
Minor (reclaiming a frame) page faults: 33566
Major (requiring I/O) page faults: 214
Minor (reclaiming a frame) page faults: 33570
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -48,18 +48,18 @@ Linux ecrins 2.4.18 #1 SMP Thu Nov 21 14:25:48 CET 2002 i686 unknown
Exit status: 0
Command being timed: "/tmp/lurette1/lurette 100 50 50 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/tram.luc /home/jahier/lurette/test/usager.luc /home/jahier/lurette/test/porte.luc /home/jahier/lurette/test/passerelle.luc"
User time (seconds): 19.77
System time (seconds): 0.76
User time (seconds): 18.48
System time (seconds): 0.50
Percent of CPU this job got: 99%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:20.56
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:18.98
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 216
Minor (reclaiming a frame) page faults: 53540
Major (requiring I/O) page faults: 214
Minor (reclaiming a frame) page faults: 54223
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -72,17 +72,17 @@ Linux ecrins 2.4.18 #1 SMP Thu Nov 21 14:25:48 CET 2002 i686 unknown
Exit status: 0
Command being timed: "/tmp/lurette1/lurette 10000 1 1 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_float.luc"
User time (seconds): 1.17
System time (seconds): 0.17
Percent of CPU this job got: 99%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.34
User time (seconds): 1.13
System time (seconds): 0.13
Percent of CPU this job got: 98%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.27
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 233
Major (requiring I/O) page faults: 231
Minor (reclaiming a frame) page faults: 18586
Voluntary context switches: 0
Involuntary context switches: 0
......@@ -96,18 +96,18 @@ Linux ecrins 2.4.18 #1 SMP Thu Nov 21 14:25:48 CET 2002 i686 unknown
Exit status: 0
Command being timed: "/tmp/lurette1/lurette 10 100 100 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_float.luc"
User time (seconds): 2.71
System time (seconds): 0.43
User time (seconds): 2.70
System time (seconds): 0.15
Percent of CPU this job got: 99%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.15
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:02.85
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 233
Minor (reclaiming a frame) page faults: 23511
Major (requiring I/O) page faults: 231
Minor (reclaiming a frame) page faults: 23434
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -121,16 +121,16 @@ Linux ecrins 2.4.18 #1 SMP Thu Nov 21 14:25:48 CET 2002 i686 unknown
Command being timed: "/tmp/lurette1/lurette 10000 1 1 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_int.luc"
User time (seconds): 0.89
System time (seconds): 0.42
Percent of CPU this job got: 91%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.42
System time (seconds): 0.19
Percent of CPU this job got: 99%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.08
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 231
Major (requiring I/O) page faults: 229
Minor (reclaiming a frame) page faults: 18585
Voluntary context switches: 0
Involuntary context switches: 0
......@@ -144,18 +144,18 @@ Linux ecrins 2.4.18 #1 SMP Thu Nov 21 14:25:48 CET 2002 i686 unknown
Exit status: 0
Command being timed: "/tmp/lurette1/lurette 10 100 100 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_int.luc"
User time (seconds): 3.25
System time (seconds): 0.34
Percent of CPU this job got: 99%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.59
User time (seconds): 2.90
System time (seconds): 0.30
Percent of CPU this job got: 100%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.20
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 231
Minor (reclaiming a frame) page faults: 23914
Major (requiring I/O) page faults: 229
Minor (reclaiming a frame) page faults: 24040
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......
test/time-ecrins.res
View file @ d6a175bd
Linux ecrins 2.4.18 #1 SMP Thu Nov 21 14:25:48 CET 2002 i686 unknown
Command being timed: "/tmp/lurette1/lurette 10000 1 1 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/tram.luc /home/jahier/lurette/test/usager.luc /home/jahier/lurette/test/porte.luc /home/jahier/lurette/test/passerelle.luc"
User time (seconds): 3.46
System time (seconds): 0.21
Percent of CPU this job got: 100%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.64
User time (seconds): 3.28
System time (seconds): 0.49
Percent of CPU this job got: 95%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.94
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 216
Minor (reclaiming a frame) page faults: 18593
Major (requiring I/O) page faults: 214
Minor (reclaiming a frame) page faults: 18592
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -24,18 +24,18 @@ Linux ecrins 2.4.18 #1 SMP Thu Nov 21 14:25:48 CET 2002 i686 unknown
Exit status: 0
Command being timed: "/tmp/lurette1/lurette 10 100 100 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/tram.luc /home/jahier/lurette/test/usager.luc /home/jahier/lurette/test/porte.luc /home/jahier/lurette/test/passerelle.luc"
User time (seconds): 8.70
System time (seconds): 0.48
Percent of CPU this job got: 99%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:09.20
User time (seconds): 8.12
System time (seconds): 0.54
Percent of CPU this job got: 100%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:08.66
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 216
Minor (reclaiming a frame) page faults: 33566
Major (requiring I/O) page faults: 214
Minor (reclaiming a frame) page faults: 33570
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -48,18 +48,18 @@ Linux ecrins 2.4.18 #1 SMP Thu Nov 21 14:25:48 CET 2002 i686 unknown
Exit status: 0
Command being timed: "/tmp/lurette1/lurette 100 50 50 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/tram.luc /home/jahier/lurette/test/usager.luc /home/jahier/lurette/test/porte.luc /home/jahier/lurette/test/passerelle.luc"
User time (seconds): 19.77
System time (seconds): 0.76
User time (seconds): 18.48
System time (seconds): 0.50
Percent of CPU this job got: 99%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:20.56
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:18.98
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 216
Minor (reclaiming a frame) page faults: 53540
Major (requiring I/O) page faults: 214
Minor (reclaiming a frame) page faults: 54223
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -72,17 +72,17 @@ Linux ecrins 2.4.18 #1 SMP Thu Nov 21 14:25:48 CET 2002 i686 unknown
Exit status: 0
Command being timed: "/tmp/lurette1/lurette 10000 1 1 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_float.luc"
User time (seconds): 1.17
System time (seconds): 0.17
Percent of CPU this job got: 99%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.34
User time (seconds): 1.13
System time (seconds): 0.13
Percent of CPU this job got: 98%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.27
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 233
Major (requiring I/O) page faults: 231
Minor (reclaiming a frame) page faults: 18586
Voluntary context switches: 0
Involuntary context switches: 0
......@@ -96,18 +96,18 @@ Linux ecrins 2.4.18 #1 SMP Thu Nov 21 14:25:48 CET 2002 i686 unknown
Exit status: 0
Command being timed: "/tmp/lurette1/lurette 10 100 100 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_float.luc"
User time (seconds): 2.71
System time (seconds): 0.43
User time (seconds): 2.70
System time (seconds): 0.15
Percent of CPU this job got: 99%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.15
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:02.85
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 233
Minor (reclaiming a frame) page faults: 23511
Major (requiring I/O) page faults: 231
Minor (reclaiming a frame) page faults: 23434
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -121,16 +121,16 @@ Linux ecrins 2.4.18 #1 SMP Thu Nov 21 14:25:48 CET 2002 i686 unknown
Command being timed: "/tmp/lurette1/lurette 10000 1 1 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_int.luc"
User time (seconds): 0.89
System time (seconds): 0.42
Percent of CPU this job got: 91%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.42
System time (seconds): 0.19
Percent of CPU this job got: 99%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.08
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 231
Major (requiring I/O) page faults: 229
Minor (reclaiming a frame) page faults: 18585
Voluntary context switches: 0
Involuntary context switches: 0
......@@ -144,18 +144,18 @@ Linux ecrins 2.4.18 #1 SMP Thu Nov 21 14:25:48 CET 2002 i686 unknown
Exit status: 0
Command being timed: "/tmp/lurette1/lurette 10 100 100 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_int.luc"
User time (seconds): 3.25
System time (seconds): 0.34
Percent of CPU this job got: 99%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.59
User time (seconds): 2.90
System time (seconds): 0.30
Percent of CPU this job got: 100%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.20
Average shared text size (kbytes): 0
Average unshared data size (kbytes): 0
Average stack size (kbytes): 0
Average total size (kbytes): 0
Maximum resident set size (kbytes): 0
Average resident set size (kbytes): 0
Major (requiring I/O) page faults: 231
Minor (reclaiming a frame) page faults: 23914
Major (requiring I/O) page faults: 229
Minor (reclaiming a frame) page faults: 24040
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......
test/time-ossau.exp
View file @ d6a175bd
Linux ossau 2.4.18-bf2.4 #1 Son Apr 14 09:53:28 CEST 2002 i686 unknown
Command being timed: "/tmp/lurette6/lurette 10000 1 1 --draw-inside -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/tram.luc /home/jahier/lurette/test/usager.luc /home/jahier/lurette/test/porte.luc /home/jahier/lurette/test/passerelle.luc"
User time (seconds): 11.07
System time (seconds): 0.51
Percent of CPU this job got: 83%