Commit 4063d2fa authored by Erwan Jahier's avatar Erwan Jahier

lurette 0.108 Fri, 25 Oct 2002 16:57:33 +0200 by jahier

Parent-Version:      0.107
Version-Log:

source/lurette.ml:
source/command_line.ml
source/command_line.mli
source/util.ml:
source/lurettetop.ml:
   use crete_process instead un sys.command to call lurette from lurettetop

ihm/xlurette/xlurette_glade_main.ml:
   Put the newly generated random seed into the manual text box.

Project-Description: Lurette
parent c53e9c14
......@@ -42,15 +42,15 @@
(mlcuddidl/rdd.mli 7174 1034006019 c/40_rdd.mli 1.1)
(test/Makefile 32 1035531408 c/0_Makefile 1.8)
(source/parse_env.ml 24584 1033723811 41_parse_env. 1.29)
(ihm/xlurette/xlurette_glade_main.ml 21315 1035535912 c/12_xlurette_g 1.10)
(ihm/xlurette/xlurette_glade_main.ml 21199 1035557853 c/12_xlurette_g 1.11)
(demo/chaudiere/chaudiere_oracle.lus 107 1031732392 c/8_chaudiere_ 1.1)
(source/solver.ml 31802 1033732198 39_solver.ml 1.32)
(test/ControleurPorte.lus 3219 1032940601 c/17_Controleur 1.1)
(source/lurette.ml 13628 1035531408 12_lurette.ml 1.56)
(source/lurette.ml 14052 1035557853 12_lurette.ml 1.57)
(source/Makefile 1114 1035531408 c/20_Makefile 1.7)
(source/util.ml 18693 1035373803 35_util.ml 1.30)
(source/util.ml 19000 1035557853 35_util.ml 1.31)
(mlcuddidl/manager.mli 7912 1034006019 c/46_manager.ml 1.1)
(test/time.res 6228 1035531408 b/49_time.res 1.16)
(test/time.res 6325 1035557853 b/49_time.res 1.17)
(doc/Interface_draft 5232 1003928781 19_Interface_ 1.1)
(source/sim2chro.mli 1455 1027943375 b/23_sim2chro.m 1.5)
(source/command_line_luc_exe.mli 1082 1034006019 b/34_command_li 1.5)
......@@ -62,7 +62,7 @@
(source/parse_env.mli 1025 1033738731 40_parse_env. 1.10)
(source/gen_stubs.ml 33599 1034351455 24_generate_l 1.38)
(OcamlMakefile 22626 1034951022 17_OcamlMakef 1.45)
(source/command_line.ml 4811 1035531408 b/20_command_li 1.9)
(source/command_line.ml 4914 1035557853 b/20_command_li 1.10)
(mlcuddidl/bdd.ml 10889 1034006019 d/6_bdd.ml 1.1)
(mlcuddidl/idd_caml.c 15964 1034006019 c/50_idd_caml.c 1.1)
(cuddaux/cuddauxCompose.c 13638 1034006019 c/30_cuddauxCom 1.1)
......@@ -70,7 +70,7 @@
(make_lurette 1306 1034006019 27_make_luret 1.17)
(source/control.ml 4416 1030975996 c/4_control.ml 1.3)
(ihm/xlurette/xlurette_glade_interface.ml 31699 1035535912 c/15_xlurette_g 1.7)
(source/lurettetop.ml 27480 1035535912 c/1_lurettetop 1.17)
(source/lurettetop.ml 28209 1035557853 c/1_lurettetop 1.18)
(mlcuddidl/README 1574 1034006019 d/8_README 1.1)
(source/Makefile.lurettetop 300 1035531408 d/14_Makefile.l 1.1)
(cuddaux/README 1427 1034006019 c/34_README 1.1)
......@@ -83,7 +83,7 @@
(source/env.mli 2027 1033738731 15_env.mli 1.16)
(mlcuddidl/rdd_caml.c 41613 1034006019 c/39_rdd_caml.c 1.1)
(Makefile.common.in 528 1034951022 d/12_Makefile.c 1.2)
(user-rules 13891 1035535912 c/14_myrules 1.14)
(user-rules 13894 1035557853 c/14_myrules 1.15)
(doc/archi.fig 3693 1003928781 20_archi.fig 1.1)
(source/lurette.mli 448 1016027474 11_lurette.ml 1.12)
(source/gne.mli 1552 1033397911 b/36_gne.mli 1.4)
......@@ -97,7 +97,7 @@
(mlcuddidl/manager.idl 11024 1034006019 c/48_manager.id 1.1)
(test/vrai_tram.c 3060 1027066799 b/8_vrai_tram. 1.3)
(Makefile 941 1035531408 d/13_Makefile 1.1)
(source/command_line.mli 1482 1035531408 b/21_command_li 1.8)
(source/command_line.mli 1491 1035557853 b/21_command_li 1.9)
(ihm/xlurette/xlurette.glade 47917 1035535912 c/13_xlurette.g 1.8)
(demo/chaudiere/chaudiere.luc 446 1032789516 c/11_chaudiere. 1.5)
(source/graph.mli 2218 1027066799 13_graph.mli 1.9)
......@@ -136,7 +136,7 @@
(source/command_line_luc_exe.ml 2786 1034006019 b/33_command_li 1.7)
(mlcuddidl/cudd_caml.h 1210 1034006019 d/2_cudd_caml. 1.1)
(source/value.ml 2355 1033723811 c/23_value.ml 1.1)
(test/time.exp 6228 1035531408 b/48_time.exp 1.13)
(test/time.exp 6325 1035557853 b/48_time.exp 1.14)
(test/giro/allocator.lus 1087 1031732392 c/5_allocator. 1.1)
(lurette.depfull.dot 49 1007651448 b/5_lurette.de 1.2)
(mlcuddidl/idd.mli 5470 1034006019 c/51_idd.mli 1.1)
......
......@@ -75,17 +75,12 @@ class customized_callbacks = object(self)
()
)
else if
String.length str > 4 && String.sub str 0 4 = "*** "
then
(
display (str ^ "\n")
)
else if
String.length str > 57 && String.sub str 0 34 = "The random engine was initialized "
String.length str > 36
&& String.sub str 0 34 = "The random engine was initialized "
then
let seed_str = String.sub str 48 ((String.length str) - 48) in
self#top_xlurette#user_seed#set_text seed_str;
display ("*****" ^ str ^ "\n")
display (str ^ "\n")
else if
String.length str > 7 && String.sub str 0 8 = "<lurette"
then
......@@ -306,9 +301,7 @@ class customized_callbacks = object(self)
|| self#top_xlurette#radiobutton_verbose_on#active )
then "set_show_step true \n"
else "set_show_step false \n"
in
in
cmd_oracle ^ cmd_test_length ^ cmd_formula_nb ^ cmd_draw_nb
^ cmd_rif_file ^ cmd_env ^ cmd_sut ^ cmd_step ^ cmd_seed
^ cmd_draw_mode ^ cmd_call_sim2chro ^ cmd_display_local
......@@ -637,14 +630,13 @@ let main () =
event masks from glade
*)
let _ = GtkBase.Widget.add_events xlurette#xlurette#as_widget [`ALL_EVENTS] in
let args = (Array.make 2 "") in
let args =
if !restore
then (* XXX Does not work. why ??? *)
(
Array.set args 0 "--restore" ;
Array.set args 1 (callbacks#get_restore ())
);
Array.of_list ["lurettetop"; "--restore"; (callbacks#get_restore ())]
else
Array.of_list ["lurettetop"]
in
pid := Unix.create_process "lurettetop" args
lurette_stdin_in lurette_stdout_out Unix.stderr ;
......
;; -*- Prcs -*-
(Created-By-Prcs-Version 1 3 3)
(Project-Description "Lurette")
(Project-Version lurette 0 107)
(Parent-Version lurette 0 106)
(Project-Version lurette 0 108)
(Parent-Version lurette 0 107)
(Version-Log "
source/lurette.ml:
source/command_line.ml
source/command_line.mli
source/util.ml:
source/lurettetop.ml:
ihm/xlurette/.ml:
fix a bug when reading the .lurette_rc where the the env were added
instead of beinf overrided when they were both specified in the rc
file and as a comd line option.
use crete_process instead un sys.command to call lurette from lurettetop
ihm/xlurette/xlurette_glade_main.ml:
Put the newly generated random seed into the manual text box.
")
(New-Version-Log ""
)
(Checkin-Time "Fri, 25 Oct 2002 10:51:52 +0200")
(Checkin-Time "Fri, 25 Oct 2002 16:57:33 +0200")
(Checkin-Login jahier)
(Populate-Ignore ())
(Project-Keywords)
......@@ -32,10 +38,10 @@ ihm/xlurette/.ml:
;; Sources files for lurette only
(source/lurette.mli (lurette/11_lurette.ml 1.12 644))
(source/lurette.ml (lurette/12_lurette.ml 1.56 644))
(source/lurette.ml (lurette/12_lurette.ml 1.57 644))
(source/command_line.ml (lurette/b/20_command_li 1.9 644))
(source/command_line.mli (lurette/b/21_command_li 1.8 644))
(source/command_line.ml (lurette/b/20_command_li 1.10 644))
(source/command_line.mli (lurette/b/21_command_li 1.9 644))
;; Sources files common to lurette and luc_exe
(source/graph.mli (lurette/13_graph.mli 1.9 644))
......@@ -44,7 +50,7 @@ ihm/xlurette/.ml:
(source/env.mli (lurette/15_env.mli 1.16 644))
(source/env.ml (lurette/16_env.ml 1.29 644))
(source/util.ml (lurette/35_util.ml 1.30 444))
(source/util.ml (lurette/35_util.ml 1.31 444))
(source/solver.mli (lurette/38_solver.mli 1.13 644))
(source/solver.ml (lurette/39_solver.ml 1.32 644))
......@@ -79,7 +85,7 @@ ihm/xlurette/.ml:
(source/gne.mli (lurette/b/36_gne.mli 1.4 644))
(source/gne.ml (lurette/b/37_gne.ml 1.4 644))
(source/lurettetop.ml (lurette/c/1_lurettetop 1.17 644))
(source/lurettetop.ml (lurette/c/1_lurettetop 1.18 644))
(source/gen_stubs.ml (lurette/24_generate_l 1.38 644))
(source/control.mli (lurette/c/3_control.ml 1.2 644))
......@@ -102,7 +108,7 @@ ihm/xlurette/.ml:
(Makefile.common.in (lurette/d/12_Makefile.c 1.2 644))
(OcamlMakefile (lurette/17_OcamlMakef 1.45 644))
(Makefile.lurette (lurette/b/38_Makefile.l 1.14 644))
(user-rules (lurette/c/14_myrules 1.14 644))
(user-rules (lurette/c/14_myrules 1.15 644))
(user-rules.skel (lurette/c/25_user-rules 1.1 644))
(source/Makefile.show_luc (lurette/b/40_Makefile.s 1.7 644))
......@@ -126,8 +132,8 @@ ihm/xlurette/.ml:
(lurette.depfull.dot (lurette/b/5_lurette.de 1.2 644))
(TAGS (lurette/21_TAGS 1.6 644))
(test/time.exp (lurette/b/48_time.exp 1.13 644))
(test/time.res (lurette/b/49_time.res 1.16 644))
(test/time.exp (lurette/b/48_time.exp 1.14 644))
(test/time.res (lurette/b/49_time.res 1.17 644))
;; Various files used for testing purposes
(test/usager.luc (lurette/b/14_usager.env 1.9 644))
......@@ -165,7 +171,7 @@ ihm/xlurette/.ml:
(test/Makefile (lurette/c/0_Makefile 1.8 644))
;; xlurette
(ihm/xlurette/xlurette_glade_main.ml (lurette/c/12_xlurette_g 1.10 644))
(ihm/xlurette/xlurette_glade_main.ml (lurette/c/12_xlurette_g 1.11 644))
(ihm/xlurette/xlurette.glade (lurette/c/13_xlurette.g 1.8 644))
(ihm/xlurette/xlurette_glade_interface.ml (lurette/c/15_xlurette_g 1.7 644))
(ihm/xlurette/makefile (lurette/c/16_makefile 1.5 644))
......
......@@ -26,7 +26,7 @@ type cmd_line_optionT =
Step | NoStep | Help
| DisplayLocalVar | NoDisplayLocalVar
| Sim2chro | NoSim2chro
| Edges | Verteces
| Inside | Edges | Verteces
(* | CuddHeapInit *)
| Seed | NoOracle | Verbose | ShowStep | Output
......@@ -62,6 +62,7 @@ let (string_to_option: (string * cmd_line_optionT) list) = [
("--do-not-display-local-var", NoDisplayLocalVar);
("-nlv", NoDisplayLocalVar);
("--draw-inside", Inside);
("--draw-edges", Edges);
("--draw-verteces", Verteces);
......@@ -81,6 +82,7 @@ let (option_to_usage: cmd_line_optionT -> string) =
(* | CuddHeapInit -> "Set a magic number (related to the gc) that is used by mldd \n\t\t\tfor initializing Dd (Default is 20).\n" *)
| Seed -> "Set the value of the seed the random engine is initialized with (0 lets the system draw a seed).\n"
| NoOracle -> "Do not run the oracle.\n "
| Inside -> "Draw inside the convex hull of solutions.\n "
| Edges -> "Draw on the edges of the convex hull of solutions.\n "
| Verteces -> "Draw among the verteces of the convex hull of solutions.\n "
| Verbose -> "Set on a wordier mode.\n"
......@@ -136,7 +138,7 @@ let usage =
let cmd_line_string_to_int str errmsg =
try
(int_of_string str)
with Failure("int_of_string")
with Failure ("int_of_string")
->
print_string usage ;
print_string errmsg ;
......
......@@ -40,7 +40,7 @@ type cmd_line_optionT =
| DisplayLocalVar | NoDisplayLocalVar
| Sim2chro | NoSim2chro
(* | CuddHeapInit *)
| Edges | Verteces
| Inside | Edges | Verteces
| Seed | NoOracle | Verbose | ShowStep | Output
......
......@@ -117,15 +117,18 @@ external random_seed: unit -> int = "sys_random_seed";;
let rec (main : unit -> 'a) =
fun _ ->
Array.iter (fun x -> print_string (x ^ " ")) Sys.argv;
print_string "\n";
flush stdout;
try
if (arg_nb < 5) then output_string stderr usage
else
let s = (cmd_line_string_to_int Sys.argv.(1)
"*** int expected as first argument." )
("*** int expected as first argument. " ^ Sys.argv.(1) ^ " is not an int.") )
and n = (cmd_line_string_to_int Sys.argv.(2)
"*** int expected as second argument." )
("*** int expected as second argument. " ^ Sys.argv.(2) ^ " is not an int.") )
and p = (cmd_line_string_to_int Sys.argv.(3)
"*** int expected as third argument." )
("*** int expected as third argument. " ^ Sys.argv.(3) ^ " is not an int.") )
in
let res = main2 s n p in
if (not options.step_by_step && options.display_sim2chro)
......@@ -163,6 +166,7 @@ and
| NoOracle -> options.oracle <- false ; (n+1)
| Verbose -> options.verbose <- true ; (n+1)
| ShowStep -> options.show_step <- true ; (n+1)
| Inside -> Env_state.set_draw_mode Env_state.Inside ; (n+1)
| Edges -> Env_state.set_draw_mode Env_state.Edges ; (n+1)
| Verteces -> Env_state.set_draw_mode Env_state.Verteces ; (n+1)
| Help -> options.help <- true ; (n+1)
......@@ -216,7 +220,7 @@ and
(* Clean up tables as non-reg assert stuff migth have filled them *)
let _ = Env_state.clear_all () in
(* Initialisation of `Env_state.env_state' *)
(* Initialisation of `Env_state.luc_state' *)
let env_llist = (get_env_from_args 4 []) in
let () = Env_state.read_env_state env_llist in
......@@ -233,7 +237,11 @@ and
(* Initialisation of the random engine *)
let seed =
if (options.user_seed = 0)
then (random_seed ())
then
let s =(random_seed ()) in
if s >= 0 then s else (-s)
(* XXX To turn around a bug in glade where it
can not accept negative seeds... *)
else options.user_seed
in
check_generated_vars env_llist;
......@@ -243,7 +251,7 @@ and
Random.init seed ;
output_string stdout
("The random engine was initialized with the seed " ^
("\nThe random engine was initialized with the seed " ^
(string_of_int seed) ^ "\n ");
flush stdout ;
......
......@@ -236,6 +236,7 @@ let (build : string -> string -> string -> bool) =
(str2, str2)
in
let make_cmd =
(* XXX Not portable !! *)
("make -I " ^ user_dir ^ " -f "
^ lurette_dir ^ "/Makefile.lurette " ^ flag.make_opt ^ "> make_lurette.log \n")
in
......@@ -280,59 +281,86 @@ let (run : string -> int) =
fun lurette_tmp_dir ->
let seed_str =
match flag.seed with
None -> ""
| Some i -> (" -seed " ^ (string_of_int i))
and verb_str = if !(flag.verbose) then " -v" else ""
and show_step_str = if !(flag.show_step) then " --show-step" else ""
None -> []
| Some i -> "-seed"::[(string_of_int i)]
and verb_str = if !(flag.verbose) then ["-v"] else []
and show_step_str = if !(flag.show_step) then ["--show-step"] else []
and draw_mode_str =
match flag.draw_mode with
Inside -> " "
| Edges -> " --draw-edges"
| Verteces -> " --draw-verteces"
Inside -> ["--draw-inside"]
| Edges -> ["--draw-edges"]
| Verteces -> ["--draw-verteces" ]
and orac_str =
match flag.oracle with
None -> " --no-oracle"
| Some str -> ""
and outp_str = (" -o " ^ flag.output)
and step_str = if !(flag.step_by_step) then " -s" else ""
and sim2_str = if !(flag.display_sim2chro) then " --call-sim2chro" else " -ns2c"
None -> ["--no-oracle"]
| Some str -> []
and step_nb_str = [(string_of_int flag.step_nb)]
and formula_nb_str = [(string_of_int flag.formula_nb)]
and draw_nb_str = [(string_of_int flag.draw_nb)]
and outp_str = "-o"::[flag.output]
and step_str = if !(flag.step_by_step) then ["-s"] else []
and sim2_str = if !(flag.display_sim2chro) then ["--call-sim2chro"] else ["-ns2c"]
and dlvr_str =
if !(flag.display_local_var) then " --display-local-var " else " -nlv "
if !(flag.display_local_var) then ["--display-local-var"] else ["-nlv"]
in
let lurette = (lurette_tmp_dir ^ "/lurette") in
let prefix = Util.string_to_string_list flag.prefix in
(* let lurette = lurette_tmp_dir ^ "/lurette" in *)
let arg_list0 =
List.flatten
[
prefix;
[lurette];
step_nb_str ;
formula_nb_str ;
draw_nb_str ;
draw_mode_str ;
seed_str;
verb_str ;
show_step_str ;
orac_str ;
outp_str ;
step_str ;
sim2_str ;
dlvr_str ;
(Util.string_to_string_list flag.env)
]
in
let prog = if flag.prefix = "" then lurette else List.hd prefix in
let arg_list = Util.rm "" arg_list0 in
let args = Array.of_list arg_list in
let times0 = Unix.times () in
let run _cmd =
(flag.prefix ^ " " ^ lurette_tmp_dir ^ "/lurette " ^
(string_of_int flag.step_nb) ^ " " ^
(string_of_int flag.formula_nb) ^ " " ^
(string_of_int flag.draw_nb) ^ " " ^
draw_mode_str ^ seed_str ^ verb_str ^ show_step_str ^ orac_str ^
outp_str ^ step_str ^ sim2_str ^ dlvr_str ^ flag.env
let pid = Unix.create_process prog args Unix.stdin Unix.stdout Unix.stderr in
let (_, status) = Unix.waitpid [Unix.WUNTRACED] pid in
( match status with
Unix.WEXITED i ->
if i = 127 then 1 else
let times1 = Unix.times () in
let times =
times1.Unix.tms_cutime
+.times1.Unix.tms_cstime
-.times0.Unix.tms_cutime
-.times0.Unix.tms_cstime
in
let times_str = string_of_float times in
output_string stdout
("\nThe execution lasted " ^ times_str ^ " second" ^
(if times > 1. then "s" else "") ^ ".\n" ^
"********************************************************************\n");
flush stdout;
0
| Unix.WSIGNALED i ->
print_string ("lurette was killed by signal nb "
^ (string_of_int i) ^ ".\n");
flush stdout;
1
| Unix.WSTOPPED i ->
print_string ("lurette was stopped by signal nb "
^ (string_of_int i) ^ ".\n");
flush stdout;
2
)
in
let result =
output_string stderr (run_cmd ^ "\n");
flush stderr;
Sys.command run_cmd
in
if result = 0 then
(
let times1 = Unix.times () in
let times =
times1.Unix.tms_cutime
+.times1.Unix.tms_cstime
-.times0.Unix.tms_cutime
-.times0.Unix.tms_cstime
in
let times_str = string_of_float times in
output_string stdout
("\nThe execution lasted " ^ times_str ^ " second" ^
(if times > 1. then "s" else "") ^ ".\n" ^
"********************************************************************\n");
flush stdout;
result
)
else
result
type cmd =
Sut of string
......@@ -708,6 +736,7 @@ let (read_commands : string -> string -> string -> (unit -> string) -> bool) =
| Output(str) ->
flag.output <- str; true
| Clean ->
(* XXX Not portable !! *)
let rm_cmd = ("rm -f " ^ lurette_tmp_dir ^ "/*") in
let _ = Sys.command rm_cmd in
print_string (rm_cmd ^ "\n");
......@@ -757,6 +786,7 @@ let (read_commands : string -> string -> string -> (unit -> string) -> bool) =
| Help -> display_cmd (); true
| Man -> print_string man ; true
| Pack(file) ->
(* XXX Not portable !! *)
let
cmd = ("mv " ^ lurette_tmp_dir ^ " /tmp/" ^ file ^
"; cd " ^ user_dir ^ "; tar cvfz " ^
......@@ -856,7 +886,7 @@ let _ =
match flag.restore with
None -> tmp_dir
| Some file ->
(* XXX autoconf: gnu tar ougth to be installed ! *)
(* XXX Not portable !! *)
let cmd = ("tar xvfz " ^ user_dir ^ file ^ " --directory " ^ tmp_dir) in
let tar_res =
output_string stderr (cmd ^ "\n");
......@@ -927,6 +957,7 @@ let _ =
if (flag.env = "") then flag.env <- env_saved;
in
(* XXX Not portable !! *)
let _ = Sys.command ("cp " ^ lurette_dir ^ "/source/lurette.ml " ^ lurette_tmp_dir ^
" ; cp " ^ lurette_dir ^ "/source/lurette.mli " ^ lurette_tmp_dir)
in
......@@ -944,7 +975,7 @@ let _ =
(run lurette_tmp_dir) <> 0
then
(
print_string "Can not create dir in /tmp/\n";
print_string "Can not run lurette, sorry.\n";
exit 1
);
rm_dir lurette_tmp_dir;
......
......@@ -27,6 +27,14 @@ let rec (rm: 'a -> 'a list -> 'a list) =
| y::t -> (if x = y then (rm x t) else y::(rm x t))
(* [string_to_string_list str] returns the list of substrings of
[str] that are separated by blanks. *)
let (string_to_string_list : string -> string list) =
fun str ->
Str.split (Str.regexp " ") str
let _ = assert ((string_to_string_list "a aa aaa aa") = ["a";"aa";"aaa";"aa"])
(**
[rm_first x l] returns [l] without the left-most occurence of [x].
*)
......@@ -134,8 +142,13 @@ let (readfile: string -> string) =
fun file ->
let rec (readfile_ic : in_channel -> string -> string) =
fun ic acc ->
let line = try (input_line ic) with End_of_file -> (close_in ic) ; "end_of_file" in
if (line = "end_of_file") then acc else (readfile_ic ic (acc ^ "\n" ^ line))
let line =
try (input_line ic)
with End_of_file -> (close_in ic) ; "end_of_file"
in
if (line = "end_of_file")
then acc
else (readfile_ic ic (acc ^ "\n" ^ line))
in
let ic = (open_in file) in
let str = readfile_ic ic "" in
......@@ -336,7 +349,6 @@ let _ = assert ((split_pre_var_string "_pre44toto") = (44, "toto"))
(* Why isn't that £@!ù&^$¤! of ocaml String lib does not contain that
one ??? *)
let rec (is_substring: string -> string -> bool) =
fun ss s ->
let reg = Str.regexp_string ss in
......
Command being timed: "/tmp/lurette13/lurette 10000 1 1 -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): 10.88
System time (seconds): 0.15
Percent of CPU this job got: 91%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:12.04
Command being timed: "/tmp/lurette84/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): 10.61
System time (seconds): 0.13
Percent of CPU this job got: 86%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:12.38
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: 244
Major (requiring I/O) page faults: 245
Minor (reclaiming a frame) page faults: 2456
Voluntary context switches: 0
Involuntary context switches: 0
......@@ -22,19 +22,19 @@
Page size (bytes): 4096
Exit status: 0
Command being timed: "/tmp/lurette13/lurette 10 100 100 -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): 24.72
System time (seconds): 0.51
Percent of CPU this job got: 89%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:28.06
Command being timed: "/tmp/lurette84/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): 23.62
System time (seconds): 0.39
Percent of CPU this job got: 85%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:28.16
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: 244
Minor (reclaiming a frame) page faults: 17621
Major (requiring I/O) page faults: 245
Minor (reclaiming a frame) page faults: 17419
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -46,19 +46,19 @@
Page size (bytes): 4096
Exit status: 0
Command being timed: "/tmp/lurette13/lurette 100 50 50 -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): 55.32
System time (seconds): 0.79
Percent of CPU this job got: 89%
Elapsed (wall clock) time (h:mm:ss or m:ss): 1:02.46
Command being timed: "/tmp/lurette84/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): 52.44
System time (seconds): 0.77
Percent of CPU this job got: 94%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:56.57
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: 244
Minor (reclaiming a frame) page faults: 37904
Major (requiring I/O) page faults: 245
Minor (reclaiming a frame) page faults: 38104
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -70,19 +70,19 @@
Page size (bytes): 4096
Exit status: 0
Command being timed: "/tmp/lurette13/lurette 10000 1 1 -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_float.luc"
User time (seconds): 3.70
System time (seconds): 0.07
Percent of CPU this job got: 84%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:04.43
Command being timed: "/tmp/lurette84/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): 3.53
System time (seconds): 0.10
Percent of CPU this job got: 85%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:04.22
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: 271
Minor (reclaiming a frame) page faults: 2451
Major (requiring I/O) page faults: 270
Minor (reclaiming a frame) page faults: 2450
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -94,19 +94,19 @@
Page size (bytes): 4096
Exit status: 0
Command being timed: "/tmp/lurette13/lurette 10 100 100 -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_float.luc"
User time (seconds): 8.67
System time (seconds): 0.13
Percent of CPU this job got: 86%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:10.18
Command being timed: "/tmp/lurette84/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): 8.13
System time (seconds): 0.20
Percent of CPU this job got: 87%
Elapsed (wall clock) time (h:mm:ss or m:ss): 0:09.54
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: 271
Minor (reclaiming a frame) page faults: 7432
Major (requiring I/O) page faults: 270
Minor (reclaiming a frame) page faults: 7338
Voluntary context switches: 0
Involuntary context switches: 0
Swaps: 0
......@@ -118,19 +118,19 @@
Page size (bytes): 4096
Exit status: 0
Command being timed: "/tmp/lurette13/lurette 10000 1 1 -seed 1015403953 --no-oracle -o lurette.rif -ns2c -nlv /home/jahier/lurette/test/temp_int.luc"