From ec6e3c218c54d4d333192cb73166016eda91aa2c Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Mon, 1 Jun 2015 19:46:40 -0700 Subject: [PATCH] benchmark.backtrack: some cleanup. --- extra/benchmark/backtrack/backtrack.factor | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/extra/benchmark/backtrack/backtrack.factor b/extra/benchmark/backtrack/backtrack.factor index befeaa856e..6ab2326061 100644 --- a/extra/benchmark/backtrack/backtrack.factor +++ b/extra/benchmark/backtrack/backtrack.factor @@ -32,10 +32,10 @@ MEMO: 24-from-4 ( a b c d -- ? ) [ some-rots do-something 24-from-3 ] [ 4drop ] if-amb ; : find-impossible-24 ( -- n ) - 1 10 [a,b] [| a | - 1 10 [a,b] [| b | - 1 10 [a,b] [| c | - 1 10 [a,b] [| d | + 10 [1,b] [| a | + 10 [1,b] [| b | + 10 [1,b] [| c | + 10 [1,b] [| d | a b c d 24-from-4 ] count ] map-sum