Geschrieben von:/Posted by: Dann Corbit at 04 June 2004 20:36:22:
Using Beowulf's calibration function, we see some interesting results for shallow tests of binary parameters.
DEPTH=2
use_delta
(x=0.000000, y=4423.000000) t=56.000000,
(x=1.000000, y=4423.000000) t=63.000000, 0.000000 is better for use_delta at depth 2
use_eval_sc
(x=0.000000, y=4436.000000) t=69.000000,
(x=1.000000, y=4423.000000) t=64.000000, solves fewer but runs faster. Probably a net loss since speedup is very small.
use_hash
(x=0.000000, y=4414.000000) t=63.000000,
(x=1.000000, y=4423.000000) t=62.000000, 1.000000 is better for use_hash at depth 2
use_iid
(x=0.000000, y=4423.000000) t=70.000000,
(x=1.000000, y=4423.000000) t=66.000000, 1.000000 is better for use_iid at depth 2
use_killers
(x=0.000000, y=4420.000000) t=67.000000,
(x=1.000000, y=4423.000000) t=63.000000, 1.000000 is better for use_killers at depth 2
use_null
(x=0.000000, y=4423.000000) t=63.000000,
(x=1.000000, y=4423.000000) t=63.000000, does not matter either way
use_razoring
(x=0.000000, y=4423.000000) t=63.000000,
(x=1.000000, y=4423.000000) t=63.000000, does not matter either way
use_see
(x=0.000000, y=4447.000000) t=107.000000,
(x=1.000000, y=4423.000000) t=64.000000, mixed result but a big speedup. Probably better to use SEE.
use_verification
(x=0.000000, y=4423.000000) t=65.000000,
(x=1.000000, y=4423.000000) t=64.000000, 1.000000 is slightly better for use_verification at depth 2
use_window
(x=0.000000, y=4423.000000) t=64.000000,
(x=1.000000, y=4423.000000) t=65.000000, does not matter either way
DEPTH=3
use_delta
(x=0.000000, y=5111.000000) t=283.000000,
(x=1.000000, y=5109.000000) t=290.000000, 0.000000 is better for use_delta at depth 3
use_eval_sc
(x=0.000000, y=5121.000000) t=361.000000,
(x=1.000000, y=5111.000000) t=287.000000, solves fewer but runs faster. Probably a net loss since speedup is very small.
use_hash
(x=0.000000, y=5114.000000) t=342.000000,
(x=1.000000, y=5111.000000) t=287.000000, mixed result but a big speedup. Probably better to use hashing.
use_history
(x=0.000000, y=5111.000000) t=318.000000,
(x=1.000000, y=5111.000000) t=288.000000, 1.000000 is better for use_history at depth 3
use_iid
(x=0.000000, y=5111.000000) t=288.000000,
(x=1.000000, y=5111.000000) t=288.000000, does not matter either way
use_killers
(x=0.000000, y=5104.000000) t=288.000000,
(x=1.000000, y=5111.000000) t=287.000000, 1.000000 is better for use_killers at depth 3
use_null
(x=0.000000, y=5119.000000) t=276.000000,
(x=1.000000, y=5111.000000) t=287.000000, 0.000000 is better for use_null at depth 3 (a bit puzzling)
use_razoring
(x=0.000000, y=5119.000000) t=306.000000,
(x=1.000000, y=5119.000000) t=313.000000, 0.000000 is better for use_razoring at depth 3
use_see
(x=0.000000, y=5136.000000) t=420.000000,
(x=1.000000, y=5119.000000) t=327.000000, mixed result but a big speedup. Probably better to use SEE.
use_verification
(x=0.000000, y=5119.000000) t=320.000000,
(x=1.000000, y=5119.000000) t=341.000000, 0.000000 is better for use_verification at depth 3
use_window
(x=0.000000, y=5107.000000) t=346.000000,
(x=1.000000, y=5119.000000) t=327.000000, 1.000000 is better for use_window at depth 3
DEPTH=4
use_delta
(x=0.000000, y=5463.000000) t=1076.000000,
(x=1.000000, y=5460.000000) t=1105.000000, 0.000000 is better for use_delta at depth 4
use_eval_sc
(x=0.000000, y=5483.000000) t=1309.000000,
(x=1.000000, y=5463.000000) t=1098.000000, solves fewer but runs faster. Probably a net loss since speedup is very small.
use_hash
(x=0.000000, y=5452.000000) t=1536.000000,
(x=1.000000, y=5463.000000) t=1097.000000, 1.000000 is better for use_hash at depth 4 (now for sure we see benefit)
use_history
(x=0.000000, y=5470.000000) t=1229.000000,
(x=1.000000, y=5463.000000) t=1098.000000, mixed result seems much less clear than at shallower plies
use_iid
(x=0.000000, y=5463.000000) t=1097.000000,
(x=1.000000, y=5463.000000) t=1097.000000, does not matter either way
use_killers
(x=0.000000, y=5468.000000) t=1084.000000,
(x=1.000000, y=5463.000000) t=1096.000000, 0.000000 is better for use_killers at depth 4
use_null
(x=0.000000, y=5499.000000) t=1201.000000,
(x=1.000000, y=5468.000000) t=1083.000000, Hard to say for sure what the net benefit is, since the speedup also causes fewer solutions. The speedup is not dominating.
use_razoring
(x=0.000000, y=5468.000000) t=1081.000000,
(x=1.000000, y=5468.000000) t=1084.000000, 0.000000 is better for use_razoring at depth 4
use_see
(x=0.000000, y=5476.000000) t=1589.000000,
(x=1.000000, y=5468.000000) t=1081.000000, mixed result but a big speedup. Probably better to use SEE.
use_verification
(x=0.000000, y=5468.000000) t=1082.000000,
(x=1.000000, y=5468.000000) t=1081.000000, pretty much a toss up, but may be slightly better to use it
use_window
(x=0.000000, y=5452.000000) t=1097.000000,
(x=1.000000, y=5468.000000) t=1081.000000, 1.000000 is better for use_window at depth 4
my ftp site {remove http:// unless you like error messages}