[bddbddb-devel] using the results of learnbestorder
Status: Beta
Brought to you by:
joewhaley
|
From: Luke S. <luk...@gm...> - 2007-06-17 18:54:37
|
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 - |