[bddbddb-devel] using the results of learnbestorder

[Luke S. <luk...@gm...>]

I have been trying to recreate the published results of learnbestorder, and
I am having some difficulty.  I am trying to learn a good variable order for
pa.datalog.  At least something comparable to the published results.  Here
is how I ran the learning session, which took hours to complete, printing
the following results at the end.  My first question is, how is
learnbestorder used from end to end?  What do I do with the generated
output?  Am I supposed to run each variable ordering and see which one is
the fastest?  What should I do with all of the files generated by the
process?  Am I supposed to seed another learning session with the generated
output?  Also, what does "Score" mean?  Is a higher score better?

java -cp
.:/home/lsimon/workspace/bddbddb:/home/lsimon/workspace/bddbddb/jdom.jar:/home/lsimon/workspace/bddbddb/weka.jar:/home/lsimon/workspace/JavaBDD/javabdd-
2.0.jar:/home/lsimon/workspace/jwutil/target/classes -Xmx1024m
-Dbddnodes=10000000 -Dfindbestorder=yes -Dbddvarorder= -Dfbotrials=700
-Dtrialfile=/home/lsimon/test/trials.xml -Dsingleignore=yes
-Dbasedir=./pa.joeq
net.sf.bddbddb.Solver/home/lsimon/workspace/bddbddb_examples/pa.datalog

...

More than 100 orders. Dumping...random sample
Max queue size:  21 Nodes expanded: 19
Score 222,765.791: C0_F0_T1_H0_I1_N0_T0_H1xI0xM1xV0_M0xZ0_V1
Score 222,765.791: F0xT1_H0_H1xI0xM1xT0xV0_C0_I1_M0xZ0_V1_N0
Score 222,765.791: F0xN0_T1_H0_T0_M1_H1xI0xV0_C0_I1_M0xZ0_V1
Score 222,765.791: F0xT1_H0_I1xT0_H1xI0xV0_C0_M1_M0xN0xZ0_V1
Score 222,765.791: F0xI1xT1_M1_H0_C0xT0_H1xI0xV0_M0xZ0_V1_N0
-
Score 222,765.791: F0_C0_M1xT1_H0_T0_H1xI0xV0_M0xZ0_N0xV1_I1
Score 222,765.791: C0xF0xT1_H0_T0_H1xI0xV0_M0xZ0_N0_M1_I1_V1
Score 222,765.791: F0xM1xT1_H0_T0_H1xI0xV0_N0_M0xZ0_C0xI1xV1
Score 222,765.791: F0xM1xN0_I1xT1_H0_T0_H1xI0xV0_C0_M0xZ0_V1
Score 222,765.791: F0xI1_M1xT1_H0_T0_C0xH1xI0xV0_M0xN0xZ0_V1
-
Score 222,765.791: T1_F0_H0_C0xH1xI0xI1xM0xT0xV0xZ0_M1xN0xV1
Score 222,765.791: F0xM1_T1_H0_N0xT0_H1xI0xV0_M0xZ0_C0xI1xV1
Score 222,765.791: F0xN0_M1xT1_H0_T0_H1xI0xV0_C0_I1xM0xZ0_V1
Score 222,765.791: F0_C0xT1_H0_T0_H1xI0xV0_M0xZ0_V1_I1_M1_N0
Score 222,765.791: F0xT1_H0_M1xT0_C0xH1xI0xV0_M0xZ0_I1xV1_N0
-
Score 222,765.791: F0xT1_H0_T0_H1xI0xV0_C0xI1xM0xZ0_M1_N0_V1
Score 222,765.791: F0_I1xN0xT1_C0_H0_T0_H1xI0xV0_M0xZ0_M1xV1
Score 222,765.791: F0_I1xM1xT1_H0_T0_H1xI0xV0_M0xZ0_C0xV1_N0
Score 222,765.791: C0xF0xI1xT1_H0_T0_H1xI0xV0_M0xZ0_N0_V1_M1
Score 222,765.791: F0xT1_H0_T0_N0_H1xI0xM1xV0_M0xZ0_C0xI1xV1
-
Score 222,765.791: F0xT1_H0_T0_I1_H1xI0xM1xV0_M0xZ0_C0xN0xV1
Score 222,765.791: I1xN0_F0xT1_H0_T0_H1xI0xV0_M0xZ0_C0xV1_M1
Score 222,765.791: N0_F0_T1_H0_I1_M1xT0_H1xI0xV0_C0xM0xZ0_V1
Score 222,765.791: F0xT1_N0_C0_H0xH1xI0xI1xT0xV0_M0xZ0_V1_M1
Score 222,765.791: F0_C0_H0xM1xN0xT1_T0_H1xI0xV0_I1xM0xZ0_V1
-
Score 222,765.791: F0xT1_H0_T0_H1xI0xV0_C0xI1xM0xZ0_M1xN0_V1
Score 222,765.791: F0xM1_T1_H0_T0_H1xI0xV0_C0xM0xZ0_V1_I1xN0
Score 222,765.791: N0_F0xT1_H0_T0_H1xI0xM1xV0_C0xM0xZ0_V1_I1
Score 222,765.791: M1_F0xI1_T1_H0_T0_N0_H1xI0xV0_C0xM0xZ0_V1
Score 222,765.791: F0_C0_T1_H0_T0_H1xI0xV0_M0xZ0_V1_I1xM1xN0
-
Score 222,765.791: C0xF0xT1_N0_I1_H0_T0_H1xI0xV0_M0xZ0_M1xV1
Score 222,765.791: F0xI1xT1_H0_T0_H1xI0xN0xV0_C0xM0xM1xZ0_V1
Score 222,765.791: F0xT1_H0_T0_H1xI0xV0_M0xM1xZ0_I1_C0xN0_V1
Score 222,765.791: C0xF0xT1_H0_T0_I1_H1xI0xN0xV0_M0xZ0_V1_M1
Score 222,765.791: N0_F0_M1_T1_H0_H1xI0xI1xM0xT0xV0xZ0_C0_V1
-
Score 222,765.791: F0xM1xN0xT1_H0_T0_H1xI0xV0_I1_M0xZ0_C0xV1
Score 222,765.791: F0_I1xN0xT1_C0xH0xT0_H1xI0xV0_M0xZ0_M1_V1
Score 222,765.791: T1_F0xM1_H0_T0_C0xH1xI0xI1xM0xN0xV0xZ0_V1
Score 222,765.791: F0_C0xI1_T1_H0xM1_T0_H1xI0xV0_M0xN0xZ0_V1
Score 222,765.791: F0xM1xT1_H0_C0xN0_T0_H1xI0xV0_M0xZ0_I1xV1
-
Score 222,765.791: F0xI1xT1_H0_T0_M1_C0xH1xI0xV0_M0xZ0_N0xV1
Score 222,765.791: F0xT1_C0xH0_T0_H1xI0xI1xN0xV0_M0xZ0_M1xV1
Score 222,765.791: F0_T1_H0_T0_H1xI0xV0_C0xM0xZ0_V1_I1_M1xN0
Score 222,765.791: F0_M1xT1_H0_T0_H1xI0xV0_C0_I1_M0xN0xZ0_V1
Score 222,765.791: F0xT1_H0_T0_H1xI0xV0_M0xZ0_I1xN0_M1xV1_C0
-
Score 222,766.913: C0_F0xT1_H0xI1xT0_H1xI0xM1xN0xV0_M0xZ0_V1
Score 222,766.913: T1_F0_H0_I1_C0xH1xI0xM0xM1xN0xT0xV0xV1xZ0
Score 222,766.913: F0xT1_H0_T0_C0xH1xI0xV0_M0xM1xZ0_I1_V1_N0
Score 222,766.913: F0xN0_T1_H0_T0_H1xI0xV0_M0xM1xZ0_C0xI1xV1
Score 222,766.913: F0_T1_H0_T0_H1xI0xV0_M0xZ0_C0xI1xM1xN0xV1
-
Score 222,766.913: T1_F0_H0xM1_T0_H1xI0xI1xV0_M0xN0xZ0_C0xV1
Score 222,766.913: C0_F0_H0xI1xT0xT1_M1_H1xI0xV0_M0xZ0_N0xV1
Score 222,766.913: C0xF0_T1_H0_T0_H1xI0xM1xV0_M0xZ0_I1_N0xV1
Score 222,766.913: T1_F0_H0_M1_T0_H1xI0xV0_C0xM0xN0xZ0_V1_I1
Score 222,766.913: F0_C0xT1_H0_H1xI0xI1xT0xV0_M0xZ0_V1_M1_N0
-
Score 222,766.913: N0_F0xT1_I1_H0_T0_H1xI0xV0_C0xM0xZ0_V1_M1
Score 222,766.913: F0_T1_H0_T0_H1xI0xV0_C0xI1xM0xN0xZ0_M1_V1
Score 222,766.913: F0xT1_H0_T0_H1xI0xM1xN0xV0_M0xZ0_I1_C0_V1
Score 222,766.913: F0_C0xN0xT1_H0_T0_H1xI0xV0_M0xZ0_M1xV1_I1
Score 222,766.913: F0xH0xH1xI0xM1xN0xT0xT1xV0_I1_C0_M0xZ0_V1
-
Score 222,766.913: F0xN0_T1_H0_T0_M1_H1xI0xI1xV0_M0xZ0_C0xV1
Score 222,766.913: F0_T1_H0_T0_H1xI0xV0_I1xM0xN0xV1xZ0_C0_M1
Score 222,766.913: F0_M1xT1_C0xH0xI1_T0_H1xI0xV0_M0xN0xZ0_V1
Score 222,766.913: F0xT1_H0_I1xT0_C0xH1xI0xN0xV0_M0xZ0_V1_M1
Score 222,766.913: T1_F0_H0xI1_T0_H1xI0xV0_M0xZ0_C0xM1xN0_V1
-
Score 222,766.913: F0xT1_H0_T0_C0_H1xI0xV0_M0xZ0_M1xN0xV1_I1
Score 222,766.913: C0_I1xT1_F0_H0_T0_H1xI0xV0_M1_N0_M0xZ0_V1
Score 222,766.913: F0xT1_H0xN0_M1_T0_H1xI0xV0_M0xZ0_V1_C0xI1
Score 222,766.913: F0_T1_H0xI1_T0_H1xI0xV0_M0xZ0_M1_C0xN0xV1
Score 222,766.913: F0xM1_I1xT1_H0_T0_H1xI0xV0_C0xM0xN0xZ0_V1
-
Score 222,766.913: F0xT1_H0_T0_H1xI0xV0_M0xZ0_M1_I1xN0_C0xV1
Score 222,766.913: F0xT1_H0xM1_T0_H1xI0xV0_M0xN0xZ0_C0_I1xV1
Score 222,766.913: T1_F0_H0_I1xM1xN0xT0_H1xI0xV0_C0xM0xZ0_V1
Score 222,766.913: N0_C0xF0xH0xT1_T0_H1xI0xI1xV0_M0xM1xZ0_V1
Score 222,766.913: F0xT1_H0_T0_H1xI0xN0xV0_M0xM1xZ0_V1_C0xI1
-
Score 222,766.913: F0xT1_H0_M1_T0_N0_C0xH1xI0xV0_M0xZ0_I1xV1
Score 222,766.913: I1_F0_T1_C0xM1_H0_T0_H1xI0xV0_M0xZ0_N0_V1
Score 222,766.913: F0_T1_H0xN0_T0_H1xI0xV0_C0xI1xM0xM1xV1xZ0
Score 222,766.913: N0_C0xF0xT1_H0_T0_H1xI0xV0_M0xZ0_I1xM1_V1
Score 222,766.913: F0_I1xM1xN0xT1_H0_T0_H1xI0xV0_C0xM0xZ0_V1
-
Score 222,766.913: F0_T1_H0_C0xT0_H1xI0xN0xV0_M0xZ0_M1_V1_I1
Score 222,766.913: N0_F0xI1xT1_H0_T0_H1xI0xV0_M0xZ0_C0xM1_V1
Score 222,766.913: F0_M1_C0xT1_H0xI1xT0_H1xI0xV0_M0xZ0_V1_N0
Score 222,766.913: M1_I1_F0_T1_H0_T0_H1xI0xV0_M0xZ0_N0_V1_C0
Score 222,766.913: C0xF0xH0xH1xI0xT0xT1xV0_I1xM0xM1xZ0_N0xV1
-
Score 222,766.913: C0_N0_F0xT1_H0_M1xT0_H1xI0xV0_I1xM0xZ0_V1
Score 222,766.913: F0xN0xT1_C0_I1_H0_T0_H1xI0xV0_M0xZ0_V1_M1
Score 222,766.913: F0_T1_H0_T0_H1xI0xV0_M0xZ0_I1xM1xV1_N0_C0
Score 222,766.913: C0xN0_F0_M1_T1_H0_T0_H1xI0xV0_M0xZ0_I1_V1
Score 222,766.913: F0_T1_H0_T0_H1xI0xI1xV0_M0xM1xZ0_C0xN0xV1
-
Score 222,763.548: C0xF0xT1_I1_H0_N0_T0_H1xI0xM1xV0_M0xZ0_V1
Score 222,763.548: F0xI1xT1_H0_T0_H1xI0xM1xV0_M0xZ0_V1_C0xN0
Score 222,763.548: F0_T1_H0_N0_T0_C0_H1xI0xV0_M0xZ0_I1_M1xV1
Score 222,763.548: N0xT1_F0_C0_H0_I1_T0_H1xI0xM1xV0_M0xZ0_V1
Score 222,763.548: F0xT1_H0xI1xN0xT0_H1xI0xV0_M0xZ0_C0xM1_V1
-
Score 222,763.548: F0_T1_C0_H0xN0_T0_H1xI0xV0_I1_M0xZ0_V1_M1
Score 222,763.548: F0_T1_H0_T0_H1xI0xV0_I1xM0xZ0_C0_M1_N0xV1
Score 222,763.548: M1_F0xT1_I1_H0_T0_H1xI0xV0_M0xZ0_V1_C0xN0
Score 222,763.548: F0_M1_T1_H0_T0_H1xI0xV0_I1xM0xZ0_C0_N0_V1
Score 222,763.548: I1xT1_C0_M1xN0_F0_H0_T0_H1xI0xV0_M0xZ0_V1
-