diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

update benchmarks

Browse Source
This commit is contained in:
Tiago Gomes 2012-04-30 11:24:04 +01:00
parent 2fa06da3c9
commit a90bfb7a86
23 changed files with 98 additions and 108 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
packages/CLPBN/clpbn/bp/benchmarks/benchs.sh
View File

@ -31,12 +31,13 @@ function run_solver
fi fi
fi fi
/usr/bin/time -o $LOG_FILE -a -f "real:%E\tuser:%U\tsys:%S" \ /usr/bin/time -o $LOG_FILE -a -f "real:%E\tuser:%U\tsys:%S" \
$YAP << EOF >> $LOG_FILE 2>> ignore.$LOG_FILE $YAP << EOF >> $LOG_FILE &>> ignore.$LOG_FILE
nogc. nogc.
[$NETWORK]. [$NETWORK].
[$constraint]. [$constraint].
clpbn_horus:set_solver($SOLVER). clpbn_horus:set_solver($SOLVER).
clpbn_horus:set_horus_flag(use_logarithms, true). clpbn_horus:set_horus_flag(use_logarithms, true).
clpbn_horus:set_horus_flag(verbosity, 1).
$solver_flag. $solver_flag.
$QUERY. $QUERY.
open("$LOG_FILE", 'append', S), format(S, '$constraint: ~15+ ', []), close(S). open("$LOG_FILE", 'append', S), format(S, '$constraint: ~15+ ', []), close(S).

10
packages/CLPBN/clpbn/bp/benchmarks/city/bp_tests.sh
View File

@ -11,10 +11,14 @@ function run_all_graphs
run_solver city1000 $2 run_solver city1000 $2
run_solver city5000 $2 run_solver city5000 $2
run_solver city10000 $2 run_solver city10000 $2
run_solver city20000 $2
run_solver city30000 $2
run_solver city40000 $2
run_solver city50000 $2 run_solver city50000 $2
run_solver city100000 $2 #run_solver city100000 $2
run_solver city500000 $2 # > 24h
run_solver city1000000 $2 #run_solver city500000 $2
#run_solver city1000000 $2
} }
prepare_new_run prepare_new_run

9
packages/CLPBN/clpbn/bp/benchmarks/city/cbp_tests.sh
View File

@ -11,10 +11,13 @@ function run_all_graphs
run_solver city1000 $2 run_solver city1000 $2
run_solver city5000 $2 run_solver city5000 $2
run_solver city10000 $2 run_solver city10000 $2
run_solver city20000 $2
run_solver city30000 $2
run_solver city40000 $2
run_solver city50000 $2 run_solver city50000 $2
run_solver city100000 $2 #run_solver city100000 $2
run_solver city500000 $2 #run_solver city500000 $2
run_solver city1000000 $2 #run_solver city1000000 $2
} }
prepare_new_run prepare_new_run

9
packages/CLPBN/clpbn/bp/benchmarks/city/fove_tests.sh
View File

@ -11,10 +11,13 @@ function run_all_graphs
run_solver city1000 $2 run_solver city1000 $2
run_solver city5000 $2 run_solver city5000 $2
run_solver city10000 $2 run_solver city10000 $2
run_solver city20000 $2
run_solver city30000 $2
run_solver city40000 $2
run_solver city50000 $2 run_solver city50000 $2
run_solver city100000 $2 #run_solver city100000 $2
run_solver city500000 $2 #run_solver city500000 $2
run_solver city1000000 $2 #run_solver city1000000 $2
} }
prepare_new_run prepare_new_run

2
packages/CLPBN/clpbn/bp/benchmarks/city/gen_city.sh
View File

@ -1,4 +1,4 @@
#! /home/tgomes/bin/yap -L -- #! /home/tiago/bin/yap -L --
:- initialization(main). :- initialization(main).

10
packages/CLPBN/clpbn/bp/benchmarks/city/hve_tests.sh
View File

@ -11,10 +11,14 @@ function run_all_graphs
run_solver city1000 $2 run_solver city1000 $2
run_solver city5000 $2 run_solver city5000 $2
run_solver city10000 $2 run_solver city10000 $2
run_solver city20000 $2
run_solver city30000 $2
run_solver city40000 $2
run_solver city50000 $2 run_solver city50000 $2
run_solver city100000 $2 #run_solver city100000 $2
run_solver city500000 $2 # > 24h
run_solver city1000000 $2 #run_solver city500000 $2
#run_solver city1000000 $2
} }
prepare_new_run prepare_new_run

6
packages/CLPBN/clpbn/bp/benchmarks/comp_workshops/bp_tests.sh
View File

@ -11,10 +11,10 @@ function run_all_graphs
run_solver p1000w$N_WORKSHOPS $2 run_solver p1000w$N_WORKSHOPS $2
run_solver p5000w$N_WORKSHOPS $2 run_solver p5000w$N_WORKSHOPS $2
run_solver p10000w$N_WORKSHOPS $2 run_solver p10000w$N_WORKSHOPS $2
run_solver p20000w$N_WORKSHOPS $2
run_solver p30000w$N_WORKSHOPS $2
run_solver p40000w$N_WORKSHOPS $2
run_solver p50000w$N_WORKSHOPS $2 run_solver p50000w$N_WORKSHOPS $2
run_solver p100000w$N_WORKSHOPS $2
run_solver p500000w$N_WORKSHOPS $2
run_solver p1000000w$N_WORKSHOPS $2
} }
prepare_new_run prepare_new_run

6
packages/CLPBN/clpbn/bp/benchmarks/comp_workshops/cbp_tests.sh
View File

@ -11,10 +11,10 @@ function run_all_graphs
run_solver p1000w$N_WORKSHOPS $2 run_solver p1000w$N_WORKSHOPS $2
run_solver p5000w$N_WORKSHOPS $2 run_solver p5000w$N_WORKSHOPS $2
run_solver p10000w$N_WORKSHOPS $2 run_solver p10000w$N_WORKSHOPS $2
run_solver p20000w$N_WORKSHOPS $2
run_solver p30000w$N_WORKSHOPS $2
run_solver p40000w$N_WORKSHOPS $2
run_solver p50000w$N_WORKSHOPS $2 run_solver p50000w$N_WORKSHOPS $2
run_solver p100000w$N_WORKSHOPS $2
run_solver p500000w$N_WORKSHOPS $2
run_solver p1000000w$N_WORKSHOPS $2
} }
prepare_new_run prepare_new_run

6
packages/CLPBN/clpbn/bp/benchmarks/comp_workshops/fove_tests.sh
View File

@ -11,10 +11,10 @@ function run_all_graphs
run_solver p1000w$N_WORKSHOPS $2 run_solver p1000w$N_WORKSHOPS $2
run_solver p5000w$N_WORKSHOPS $2 run_solver p5000w$N_WORKSHOPS $2
run_solver p10000w$N_WORKSHOPS $2 run_solver p10000w$N_WORKSHOPS $2
run_solver p20000w$N_WORKSHOPS $2
run_solver p30000w$N_WORKSHOPS $2
run_solver p40000w$N_WORKSHOPS $2
run_solver p50000w$N_WORKSHOPS $2 run_solver p50000w$N_WORKSHOPS $2
run_solver p100000w$N_WORKSHOPS $2
run_solver p500000w$N_WORKSHOPS $2
run_solver p1000000w$N_WORKSHOPS $2
} }
prepare_new_run prepare_new_run

1
packages/CLPBN/clpbn/bp/benchmarks/comp_workshops/gen_workshops.sh
View File

@ -2,7 +2,6 @@
:- use_module(library(lists)). :- use_module(library(lists)).
:- initialization(main). :- initialization(main).

6
packages/CLPBN/clpbn/bp/benchmarks/comp_workshops/hve_tests.sh
View File

@ -11,10 +11,10 @@ function run_all_graphs
run_solver p1000w$N_WORKSHOPS $2 run_solver p1000w$N_WORKSHOPS $2
run_solver p5000w$N_WORKSHOPS $2 run_solver p5000w$N_WORKSHOPS $2
run_solver p10000w$N_WORKSHOPS $2 run_solver p10000w$N_WORKSHOPS $2
run_solver p20000w$N_WORKSHOPS $2
run_solver p30000w$N_WORKSHOPS $2
run_solver p40000w$N_WORKSHOPS $2
run_solver p50000w$N_WORKSHOPS $2 run_solver p50000w$N_WORKSHOPS $2
run_solver p100000w$N_WORKSHOPS $2
run_solver p500000w$N_WORKSHOPS $2
run_solver p1000000w$N_WORKSHOPS $2
} }
prepare_new_run prepare_new_run

13
packages/CLPBN/clpbn/bp/benchmarks/smokers/bp_tests.sh
View File

@ -8,13 +8,12 @@ SOLVER="bp"
function run_all_graphs function run_all_graphs
{ {
write_header $1 write_header $1
run_solver pop1000 $2 run_solver pop25 $2
run_solver pop5000 $2 run_solver pop50 $2
run_solver pop10000 $2 run_solver pop75 $2
run_solver pop50000 $2 run_solver pop100 $2
run_solver pop100000 $2 run_solver pop125 $2
run_solver pop500000 $2 run_solver pop150 $2
run_solver pop1000000 $2
} }
prepare_new_run prepare_new_run

13
packages/CLPBN/clpbn/bp/benchmarks/smokers/cbp_tests.sh
View File

@ -8,13 +8,12 @@ SOLVER="cbp"
function run_all_graphs function run_all_graphs
{ {
write_header $1 write_header $1
run_solver pop1000 $2 run_solver pop25 $2
run_solver pop5000 $2 run_solver pop50 $2
run_solver pop10000 $2 run_solver pop75 $2
run_solver pop50000 $2 run_solver pop100 $2
run_solver pop100000 $2 run_solver pop125 $2
run_solver pop500000 $2 run_solver pop150 $2
run_solver pop1000000 $2
} }
prepare_new_run prepare_new_run

13
packages/CLPBN/clpbn/bp/benchmarks/smokers/fove_tests.sh
View File

@ -8,13 +8,12 @@ SOLVER="fove"
function run_all_graphs function run_all_graphs
{ {
write_header $1 write_header $1
run_solver pop1000 $2 run_solver pop25 $2
run_solver pop5000 $2 run_solver pop50 $2
run_solver pop10000 $2 run_solver pop75 $2
run_solver pop50000 $2 run_solver pop100 $2
run_solver pop100000 $2 run_solver pop125 $2
run_solver pop500000 $2 run_solver pop150 $2
run_solver pop1000000 $2
} }
prepare_new_run prepare_new_run

2
packages/CLPBN/clpbn/bp/benchmarks/smokers/gen_people.sh
View File

@ -1,4 +1,4 @@
#!/home/tgomes/bin/yap -L -- #!/home/tiago/bin/yap -L --
:- initialization(main). :- initialization(main).

13
packages/CLPBN/clpbn/bp/benchmarks/smokers/hve_tests.sh
View File

@ -8,13 +8,12 @@ SOLVER="hve"
function run_all_graphs function run_all_graphs
{ {
write_header $1 write_header $1
run_solver pop1000 $2 run_solver pop25 $2
run_solver pop5000 $2 run_solver pop50 $2
run_solver pop10000 $2 run_solver pop75 $2
run_solver pop50000 $2 run_solver pop100 $2
run_solver pop100000 $2 run_solver pop125 $2
run_solver pop500000 $2 run_solver pop150 $2
run_solver pop1000000 $2
} }
prepare_new_run prepare_new_run

2
packages/CLPBN/clpbn/bp/benchmarks/smokers/sm.sh
View File

@ -2,5 +2,5 @@
NETWORK="'../../examples/smokers'" NETWORK="'../../examples/smokers'"
SHORTNAME="sm" SHORTNAME="sm"
QUERY="friend(p1,p2,X)" QUERY="smokes(p1,t), smokes(p2,t), friends(p1,p2,X)"

14
packages/CLPBN/clpbn/bp/benchmarks/workshop_attrs/bp_tests.sh
View File

@ -8,13 +8,13 @@ SOLVER="bp"
function run_all_graphs function run_all_graphs
{ {
write_header $1 write_header $1
run_solver pop1000 $2 run_solver p1000attrs$N_ATTRS $2
run_solver pop5000 $2 run_solver p5000attrs$N_ATTRS $2
run_solver pop10000 $2 run_solver p10000attrs$N_ATTRS $2
run_solver pop50000 $2 run_solver p20000attrs$N_ATTRS $2
run_solver pop100000 $2 run_solver p30000attrs$N_ATTRS $2
run_solver pop500000 $2 run_solver p40000attrs$N_ATTRS $2
run_solver pop1000000 $2 run_solver p50000attrs$N_ATTRS $2
} }
prepare_new_run prepare_new_run

14
packages/CLPBN/clpbn/bp/benchmarks/workshop_attrs/cbp_tests.sh
View File

@ -8,13 +8,13 @@ SOLVER="cbp"
function run_all_graphs function run_all_graphs
{ {
write_header $1 write_header $1
run_solver pop1000 $2 run_solver p1000attrs$N_ATTRS $2
run_solver pop5000 $2 run_solver p5000attrs$N_ATTRS $2
run_solver pop10000 $2 run_solver p10000attrs$N_ATTRS $2
run_solver pop50000 $2 run_solver p20000attrs$N_ATTRS $2
run_solver pop100000 $2 run_solver p30000attrs$N_ATTRS $2
run_solver pop500000 $2 run_solver p40000attrs$N_ATTRS $2
run_solver pop1000000 $2 run_solver p50000attrs$N_ATTRS $2
} }
prepare_new_run prepare_new_run

14
packages/CLPBN/clpbn/bp/benchmarks/workshop_attrs/fove_tests.sh
View File

@ -8,13 +8,13 @@ SOLVER="fove"
function run_all_graphs function run_all_graphs
{ {
write_header $1 write_header $1
run_solver pop1000 $2 run_solver p1000attrs$N_ATTRS $2
run_solver pop5000 $2 run_solver p5000attrs$N_ATTRS $2
run_solver pop10000 $2 run_solver p10000attrs$N_ATTRS $2
run_solver pop50000 $2 run_solver p20000attrs$N_ATTRS $2
run_solver pop100000 $2 run_solver p30000attrs$N_ATTRS $2
run_solver pop500000 $2 run_solver p40000attrs$N_ATTRS $2
run_solver pop1000000 $2 run_solver p50000attrs$N_ATTRS $2
} }
prepare_new_run prepare_new_run

23
packages/CLPBN/clpbn/bp/benchmarks/workshop_attrs/gen_people.sh
View File

@ -1,23 +0,0 @@
#!/home/tgomes/bin/yap -L --
:- initialization(main).
main :-
unix(argv([N])),
atomic_concat(['pop', N, '.yap'], FileName),
open(FileName, 'write', S),
atom_number(N, N2),
generate_people(S, N2, 4),
write(S, '\n'),
close(S).
generate_people(S, N, Counting) :-
Counting > N, !.
generate_people(S, N, Counting) :-
format(S, 'people(p~w).~n', [Counting]),
Counting1 is Counting + 1,
generate_people(S, N, Counting1).

14
packages/CLPBN/clpbn/bp/benchmarks/workshop_attrs/hve_tests.sh
View File

@ -8,13 +8,13 @@ SOLVER="hve"
function run_all_graphs function run_all_graphs
{ {
write_header $1 write_header $1
run_solver pop1000 $2 run_solver p1000attrs$N_ATTRS $2
run_solver pop000 $2 run_solver p5000attrs$N_ATTRS $2
run_solver pop10000 $2 run_solver p10000attrs$N_ATTRS $2
run_solver pop50000 $2 run_solver p20000attrs$N_ATTRS $2
run_solver pop100000 $2 run_solver p30000attrs$N_ATTRS $2
run_solver pop500000 $2 run_solver p40000attrs$N_ATTRS $2
run_solver pop1000000 $2 run_solver p50000attrs$N_ATTRS $2
} }
prepare_new_run prepare_new_run

3
packages/CLPBN/clpbn/bp/benchmarks/workshop_attrs/wa.sh
View File

@ -4,3 +4,6 @@ NETWORK="'../../examples/workshop_attrs'"
SHORTNAME="wa" SHORTNAME="wa"
QUERY="series(X)" QUERY="series(X)"
N_ATTRS=6