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-05-23 12:40:34 +01:00
parent 7c3e4ed3ab
commit a4d181eb97
19 changed files with 212 additions and 43 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -30,7 +30,7 @@ function run_solver
echo "unknow flag $2" echo "unknow flag $2"
fi fi
fi fi
/usr/bin/time -o $LOG_FILE -a -f "real:%e\tuser:%U\tsys:%S\tmem:%MkB" \ /usr/bin/time -o $LOG_FILE -a -f "%U\t%S\t%e\t%M" \
$YAP << EOF >> $LOG_FILE &>> ignore.$LOG_FILE $YAP << EOF >> $LOG_FILE &>> ignore.$LOG_FILE
nogc. nogc.
[$NETWORK]. [$NETWORK].
@ -40,7 +40,7 @@ clpbn_horus:set_horus_flag(use_logarithms, true).
clpbn_horus:set_horus_flag(verbosity, 1). 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).
EOF EOF
} }
@ -65,7 +65,7 @@ function write_header
{ {
echo -n "****************************************" >> $LOG_FILE echo -n "****************************************" >> $LOG_FILE
echo "****************************************" >> $LOG_FILE echo "****************************************" >> $LOG_FILE
echo "results for solver $1" >> $LOG_FILE echo "results for solver $1 user(s) sys(s) real(s), mem(kB)" >> $LOG_FILE
echo -n "****************************************" >> $LOG_FILE echo -n "****************************************" >> $LOG_FILE
echo "****************************************" >> $LOG_FILE echo "****************************************" >> $LOG_FILE
} }

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

@ -11,14 +11,25 @@ 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 city15000 $2
run_solver city20000 $2 run_solver city20000 $2
run_solver city25000 $2
run_solver city30000 $2 run_solver city30000 $2
run_solver city35000 $2
run_solver city40000 $2 run_solver city40000 $2
run_solver city45000 $2
run_solver city50000 $2 run_solver city50000 $2
#run_solver city100000 $2 run_solver city55000 $2
# > 24h run_solver city60000 $2
#run_solver city500000 $2 run_solver city65000 $2
#run_solver city1000000 $2 return
run_solver city70000 $2
run_solver city75000 $2
run_solver city80000 $2
run_solver city85000 $2
run_solver city90000 $2
run_solver city95000 $2
run_solver city100000 $2
} }
prepare_new_run prepare_new_run

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

@ -11,13 +11,24 @@ 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 city15000 $2
run_solver city20000 $2 run_solver city20000 $2
run_solver city25000 $2
run_solver city30000 $2 run_solver city30000 $2
run_solver city35000 $2
run_solver city40000 $2 run_solver city40000 $2
run_solver city45000 $2
run_solver city50000 $2 run_solver city50000 $2
#run_solver city100000 $2 run_solver city55000 $2
#run_solver city500000 $2 run_solver city60000 $2
#run_solver city1000000 $2 run_solver city65000 $2
run_solver city70000 $2
run_solver city75000 $2
run_solver city80000 $2
run_solver city85000 $2
run_solver city90000 $2
run_solver city95000 $2
run_solver city100000 $2
} }
prepare_new_run prepare_new_run

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

@ -11,13 +11,24 @@ 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 city15000 $2
run_solver city20000 $2 run_solver city20000 $2
run_solver city25000 $2
run_solver city30000 $2 run_solver city30000 $2
run_solver city35000 $2
run_solver city40000 $2 run_solver city40000 $2
run_solver city45000 $2
run_solver city50000 $2 run_solver city50000 $2
#run_solver city100000 $2 run_solver city55000 $2
#run_solver city500000 $2 run_solver city60000 $2
#run_solver city1000000 $2 run_solver city65000 $2
run_solver city70000 $2
run_solver city75000 $2
run_solver city80000 $2
run_solver city85000 $2
run_solver city90000 $2
run_solver city95000 $2
run_solver city100000 $2
} }
prepare_new_run prepare_new_run

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

@ -11,14 +11,25 @@ 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 city15000 $2
run_solver city20000 $2 run_solver city20000 $2
run_solver city25000 $2
run_solver city30000 $2 run_solver city30000 $2
run_solver city35000 $2
run_solver city40000 $2 run_solver city40000 $2
run_solver city45000 $2
run_solver city50000 $2 run_solver city50000 $2
#run_solver city100000 $2 run_solver city55000 $2
# > 24h run_solver city60000 $2
#run_solver city500000 $2 run_solver city65000 $2
#run_solver city1000000 $2 run_solver city70000 $2
run_solver city75000 $2
run_solver city80000 $2
run_solver city85000 $2
run_solver city90000 $2
run_solver city95000 $2
run_solver city100000 $2
} }
prepare_new_run prepare_new_run

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

@ -11,10 +11,19 @@ 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 p15000w$N_WORKSHOPS $2
run_solver p20000w$N_WORKSHOPS $2 run_solver p20000w$N_WORKSHOPS $2
run_solver p25000w$N_WORKSHOPS $2
return
run_solver p30000w$N_WORKSHOPS $2 run_solver p30000w$N_WORKSHOPS $2
run_solver p35000w$N_WORKSHOPS $2
run_solver p40000w$N_WORKSHOPS $2 run_solver p40000w$N_WORKSHOPS $2
run_solver p45000w$N_WORKSHOPS $2
run_solver p50000w$N_WORKSHOPS $2 run_solver p50000w$N_WORKSHOPS $2
run_solver p55000w$N_WORKSHOPS $2
run_solver p60000w$N_WORKSHOPS $2
run_solver p65000w$N_WORKSHOPS $2
run_solver p70000w$N_WORKSHOPS $2
} }
prepare_new_run prepare_new_run

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

@ -11,10 +11,18 @@ 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 p15000w$N_WORKSHOPS $2
run_solver p20000w$N_WORKSHOPS $2 run_solver p20000w$N_WORKSHOPS $2
run_solver p25000w$N_WORKSHOPS $2
run_solver p30000w$N_WORKSHOPS $2 run_solver p30000w$N_WORKSHOPS $2
run_solver p35000w$N_WORKSHOPS $2
run_solver p40000w$N_WORKSHOPS $2 run_solver p40000w$N_WORKSHOPS $2
run_solver p45000w$N_WORKSHOPS $2
run_solver p50000w$N_WORKSHOPS $2 run_solver p50000w$N_WORKSHOPS $2
run_solver p55000w$N_WORKSHOPS $2
run_solver p60000w$N_WORKSHOPS $2
run_solver p65000w$N_WORKSHOPS $2
run_solver p70000w$N_WORKSHOPS $2
} }
prepare_new_run prepare_new_run

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

@ -4,6 +4,5 @@ NETWORK="'../../examples/comp_workshops'"
SHORTNAME="cw" SHORTNAME="cw"
QUERY="series(X)" QUERY="series(X)"
N_WORKSHOPS=10 N_WORKSHOPS=10

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

@ -11,10 +11,18 @@ 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 p15000w$N_WORKSHOPS $2
run_solver p20000w$N_WORKSHOPS $2 run_solver p20000w$N_WORKSHOPS $2
run_solver p25000w$N_WORKSHOPS $2
run_solver p30000w$N_WORKSHOPS $2 run_solver p30000w$N_WORKSHOPS $2
run_solver p35000w$N_WORKSHOPS $2
run_solver p40000w$N_WORKSHOPS $2 run_solver p40000w$N_WORKSHOPS $2
run_solver p45000w$N_WORKSHOPS $2
run_solver p50000w$N_WORKSHOPS $2 run_solver p50000w$N_WORKSHOPS $2
run_solver p55000w$N_WORKSHOPS $2
run_solver p60000w$N_WORKSHOPS $2
run_solver p65000w$N_WORKSHOPS $2
run_solver p70000w$N_WORKSHOPS $2
} }
prepare_new_run prepare_new_run

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

@ -11,10 +11,18 @@ 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 p15000w$N_WORKSHOPS $2
run_solver p20000w$N_WORKSHOPS $2 run_solver p20000w$N_WORKSHOPS $2
run_solver p25000w$N_WORKSHOPS $2
run_solver p30000w$N_WORKSHOPS $2 run_solver p30000w$N_WORKSHOPS $2
run_solver p35000w$N_WORKSHOPS $2
run_solver p40000w$N_WORKSHOPS $2 run_solver p40000w$N_WORKSHOPS $2
run_solver p45000w$N_WORKSHOPS $2
run_solver p50000w$N_WORKSHOPS $2 run_solver p50000w$N_WORKSHOPS $2
run_solver p55000w$N_WORKSHOPS $2
run_solver p60000w$N_WORKSHOPS $2
run_solver p65000w$N_WORKSHOPS $2
run_solver p70000w$N_WORKSHOPS $2
} }
prepare_new_run prepare_new_run

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

@ -8,12 +8,21 @@ SOLVER="bp"
function run_all_graphs function run_all_graphs
{ {
write_header $1 write_header $1
run_solver pop25 $2 run_solver pop100 $2
run_solver pop50 $2 run_solver pop200 $2
run_solver pop75 $2 run_solver pop300 $2
run_solver pop100 $2 run_solver pop400 $2
run_solver pop125 $2 run_solver pop500 $2
run_solver pop150 $2 run_solver pop600 $2
run_solver pop700 $2
run_solver pop800 $2
run_solver pop900 $2
run_solver pop1000 $2
run_solver pop1100 $2
run_solver pop1200 $2
run_solver pop1300 $2
run_solver pop1400 $2
run_solver pop1500 $2
} }
prepare_new_run prepare_new_run

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

@ -8,12 +8,21 @@ SOLVER="cbp"
function run_all_graphs function run_all_graphs
{ {
write_header $1 write_header $1
run_solver pop25 $2 run_solver pop100 $2
run_solver pop50 $2 run_solver pop200 $2
run_solver pop75 $2 run_solver pop300 $2
run_solver pop100 $2 run_solver pop400 $2
run_solver pop125 $2 run_solver pop500 $2
run_solver pop150 $2 run_solver pop600 $2
run_solver pop700 $2
run_solver pop800 $2
run_solver pop900 $2
run_solver pop1000 $2
run_solver pop1100 $2
run_solver pop1200 $2
run_solver pop1300 $2
run_solver pop1400 $2
run_solver pop1500 $2
} }
prepare_new_run prepare_new_run

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

@ -8,12 +8,21 @@ SOLVER="fove"
function run_all_graphs function run_all_graphs
{ {
write_header $1 write_header $1
run_solver pop25 $2 run_solver pop100 $2
run_solver pop50 $2 run_solver pop200 $2
run_solver pop75 $2 run_solver pop300 $2
run_solver pop100 $2 run_solver pop400 $2
run_solver pop125 $2 run_solver pop500 $2
run_solver pop150 $2 run_solver pop600 $2
run_solver pop700 $2
run_solver pop800 $2
run_solver pop900 $2
run_solver pop1000 $2
run_solver pop1100 $2
run_solver pop1200 $2
run_solver pop1300 $2
run_solver pop1400 $2
run_solver pop1500 $2
} }
prepare_new_run prepare_new_run

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

@ -8,12 +8,21 @@ SOLVER="hve"
function run_all_graphs function run_all_graphs
{ {
write_header $1 write_header $1
run_solver pop25 $2 run_solver pop100 $2
run_solver pop50 $2 #run_solver pop200 $2
#run_solver pop75 $2 #run_solver pop300 $2
#run_solver pop100 $2 #run_solver pop400 $2
#run_solver pop125 $2 #run_solver pop500 $2
#run_solver pop150 $2 #run_solver pop600 $2
#run_solver pop700 $2
#run_solver pop800 $2
#run_solver pop900 $2
#run_solver pop1000 $2
#run_solver pop1100 $2
#run_solver pop1200 $2
#run_solver pop1300 $2
#run_solver pop1400 $2
#run_solver pop1500 $2
} }
prepare_new_run prepare_new_run

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

@ -1,6 +1,6 @@
#!/bin/bash #!/bin/bash
NETWORK="'../../examples/smokers'" NETWORK="'../../examples/smokers2'"
SHORTNAME="sm" SHORTNAME="sm"
QUERY="smokes(p1,t), smokes(p2,t), friends(p1,p2,X)" QUERY="smokes(p1,t), smokes(p2,t), friends(p1,p2,X)"

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

@ -11,10 +11,25 @@ function run_all_graphs
run_solver p1000attrs$N_ATTRS $2 run_solver p1000attrs$N_ATTRS $2
run_solver p5000attrs$N_ATTRS $2 run_solver p5000attrs$N_ATTRS $2
run_solver p10000attrs$N_ATTRS $2 run_solver p10000attrs$N_ATTRS $2
run_solver p15000attrs$N_ATTRS $2
run_solver p20000attrs$N_ATTRS $2 run_solver p20000attrs$N_ATTRS $2
run_solver p25000attrs$N_ATTRS $2
run_solver p30000attrs$N_ATTRS $2 run_solver p30000attrs$N_ATTRS $2
run_solver p35000attrs$N_ATTRS $2
return
run_solver p40000attrs$N_ATTRS $2 run_solver p40000attrs$N_ATTRS $2
run_solver p45000attrs$N_ATTRS $2
run_solver p50000attrs$N_ATTRS $2 run_solver p50000attrs$N_ATTRS $2
run_solver p55000attrs$N_ATTRS $2
run_solver p60000attrs$N_ATTRS $2
run_solver p65000attrs$N_ATTRS $2
run_solver p70000attrs$N_ATTRS $2
run_solver p75000attrs$N_ATTRS $2
run_solver p80000attrs$N_ATTRS $2
run_solver p85000attrs$N_ATTRS $2
run_solver p90000attrs$N_ATTRS $2
run_solver p95000attrs$N_ATTRS $2
run_solver p100000attrs$N_ATTRS $2
} }
prepare_new_run prepare_new_run

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

@ -11,10 +11,24 @@ function run_all_graphs
run_solver p1000attrs$N_ATTRS $2 run_solver p1000attrs$N_ATTRS $2
run_solver p5000attrs$N_ATTRS $2 run_solver p5000attrs$N_ATTRS $2
run_solver p10000attrs$N_ATTRS $2 run_solver p10000attrs$N_ATTRS $2
run_solver p15000attrs$N_ATTRS $2
run_solver p20000attrs$N_ATTRS $2 run_solver p20000attrs$N_ATTRS $2
run_solver p25000attrs$N_ATTRS $2
run_solver p30000attrs$N_ATTRS $2 run_solver p30000attrs$N_ATTRS $2
run_solver p35000attrs$N_ATTRS $2
run_solver p40000attrs$N_ATTRS $2 run_solver p40000attrs$N_ATTRS $2
run_solver p45000attrs$N_ATTRS $2
run_solver p50000attrs$N_ATTRS $2 run_solver p50000attrs$N_ATTRS $2
run_solver p55000attrs$N_ATTRS $2
run_solver p60000attrs$N_ATTRS $2
run_solver p65000attrs$N_ATTRS $2
run_solver p70000attrs$N_ATTRS $2
run_solver p75000attrs$N_ATTRS $2
run_solver p80000attrs$N_ATTRS $2
run_solver p85000attrs$N_ATTRS $2
run_solver p90000attrs$N_ATTRS $2
run_solver p95000attrs$N_ATTRS $2
run_solver p100000attrs$N_ATTRS $2
} }
prepare_new_run prepare_new_run

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

@ -11,10 +11,24 @@ function run_all_graphs
run_solver p1000attrs$N_ATTRS $2 run_solver p1000attrs$N_ATTRS $2
run_solver p5000attrs$N_ATTRS $2 run_solver p5000attrs$N_ATTRS $2
run_solver p10000attrs$N_ATTRS $2 run_solver p10000attrs$N_ATTRS $2
run_solver p15000attrs$N_ATTRS $2
run_solver p20000attrs$N_ATTRS $2 run_solver p20000attrs$N_ATTRS $2
run_solver p25000attrs$N_ATTRS $2
run_solver p30000attrs$N_ATTRS $2 run_solver p30000attrs$N_ATTRS $2
run_solver p35000attrs$N_ATTRS $2
run_solver p40000attrs$N_ATTRS $2 run_solver p40000attrs$N_ATTRS $2
run_solver p45000attrs$N_ATTRS $2
run_solver p50000attrs$N_ATTRS $2 run_solver p50000attrs$N_ATTRS $2
run_solver p55000attrs$N_ATTRS $2
run_solver p60000attrs$N_ATTRS $2
run_solver p65000attrs$N_ATTRS $2
run_solver p70000attrs$N_ATTRS $2
run_solver p75000attrs$N_ATTRS $2
run_solver p80000attrs$N_ATTRS $2
run_solver p85000attrs$N_ATTRS $2
run_solver p90000attrs$N_ATTRS $2
run_solver p95000attrs$N_ATTRS $2
run_solver p100000attrs$N_ATTRS $2
} }
prepare_new_run prepare_new_run

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

@ -11,10 +11,24 @@ function run_all_graphs
run_solver p1000attrs$N_ATTRS $2 run_solver p1000attrs$N_ATTRS $2
run_solver p5000attrs$N_ATTRS $2 run_solver p5000attrs$N_ATTRS $2
run_solver p10000attrs$N_ATTRS $2 run_solver p10000attrs$N_ATTRS $2
run_solver p15000attrs$N_ATTRS $2
run_solver p20000attrs$N_ATTRS $2 run_solver p20000attrs$N_ATTRS $2
run_solver p25000attrs$N_ATTRS $2
run_solver p30000attrs$N_ATTRS $2 run_solver p30000attrs$N_ATTRS $2
run_solver p35000attrs$N_ATTRS $2
run_solver p40000attrs$N_ATTRS $2 run_solver p40000attrs$N_ATTRS $2
run_solver p45000attrs$N_ATTRS $2
run_solver p50000attrs$N_ATTRS $2 run_solver p50000attrs$N_ATTRS $2
run_solver p55000attrs$N_ATTRS $2
run_solver p60000attrs$N_ATTRS $2
run_solver p65000attrs$N_ATTRS $2
run_solver p70000attrs$N_ATTRS $2
run_solver p75000attrs$N_ATTRS $2
run_solver p80000attrs$N_ATTRS $2
run_solver p85000attrs$N_ATTRS $2
run_solver p90000attrs$N_ATTRS $2
run_solver p95000attrs$N_ATTRS $2
run_solver p100000attrs$N_ATTRS $2
} }
prepare_new_run prepare_new_run