[bddbddb-devel] Repost: (Mangled Encoding) -findbestorder problem

[Alan R. <ala...@gm...>]

Hi, this is a repost of last weeks topic, it seems to  have been
mangled on the SF page:


I am having trouble getting the solver to run the machine learning
algorithm.  I have taken a trivial app and run:

[alan@soma-dt resources]$ java -cp $CLASSPATH:resources/:.  -Xmx1024m -
Dpa.dumppath=results/ -Dpa.specialmapinfo=yes -Dpa.dumpunmunged=yes -
Dpa.signaturesinlocs=yes joeq.Main.GenRelations Driver

This produces the relations as expected.  I then want to take
pacs2.datalogsupplied in bddbdb_examples and run it.   I comment out
the .bddnodes &
.bddcache & .bddvarorder directives (same error if I don't do this) in
pacs2.datalog and then run:

[alan@soma-dt resources]$ java -cp $CLASSPATH:resources/:.  -Xmx1024m -
Dpa.dumppath=results/ -Dfindbestorder -Dfbotrials=700 -Dbddnodes=100000
-Dbddvarorder= net.sf.bddbddb.Solver pacs2.datalog

This gives me:
 (the entire output is attached, libbuddy.so is not loading for me, I get an
'unsatisifed link error : addRef' when I put in the directory I am executing
from.  I haven't tried to solve this.)



Exception in thread "main" java.lang.NullPointerException
        at net.sf.bddbddb.order.TrialData
Repository.buildAttribInstances(
TrialDataRepository.java:79)
        at net.sf.bddbddb.order.TrialDataRepository.getAttribDataGroup(
TrialDataRepository.java:153)
        at net.sf.bddbddb.FindBestDomainOrder.tryNewGoodOrder(
FindBestDomainOrder.java:777)
        at net.sf.bddbddb.FindBestDomainOrder.hasOrdersToTry(
FindBestDomainOrder.java:602)
        at net.sf.bddbddb.FindBestDomainOrder.findBestDomainOrder(
FindBestDomainOrder.java:2065)
        at net.sf.bddbddb.BDDInferenceRule.evalRelations(
BDDInferenceRule.java:480)
        at net.sf.bddbddb.BDDInferenceRule.update(BDDInferenceRule.java:373)
        at net.sf.bddbddb.ir.BDDInterpreter.interpret(BDDInterpreter.java
:70)
        at net.sf.bddbddb.ir.BDDInterpreter.interpret(BDDInterpreter.java
:50)
        at net.sf.bddbddb.BDDSolver.solve(BDDSolver.java:395)
        at net.sf.bddbddb.Solver.run(Solver.java:388)
        at net.sf.bddbddb.Solver.main2(Solver.java:441)
        at net.sf.bddbddb.Solver.main(Solver.java:1108)




What am I doing wrong here - I cannot seem to get the results that Luke was
getting in his email regarding the same?



Thanks,
Alan

-- 
T:  +353 91 512601

Dept. of Information Technology.
National University of Ireland, Galway