-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathtest_results.txt
More file actions
83 lines (83 loc) · 4.65 KB
/
Copy pathtest_results.txt
File metadata and controls
83 lines (83 loc) · 4.65 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
Solving board
=======================================================
FC
CSP Kenken solved. CPU Time used = 0.001301003000000009
CSP Kenken Assignments =
Var--V11 = 1 Var--V12 = 3 Var--V13 = 2 Var--V21 = 2 Var--V22 = 1 Var--V23 = 3 Var--V31 = 3 Var--V32 = 2 Var--V33 = 1
bt_search finished
Search made 10 variable assignments and pruned 18 variable values
Solution
[1, 3, 2]
[2, 1, 3]
[3, 2, 1]
Solving board
=======================================================
FC
CSP Kenken solved. CPU Time used = 0.007101673000000003
CSP Kenken Assignments =
Var--V11 = 3 Var--V12 = 1 Var--V13 = 2 Var--V14 = 4 Var--V21 = 2 Var--V22 = 4 Var--V23 = 3 Var--V24 = 1 Var--V31 = 1 Var--V32 = 2 Var--V33 = 4 Var--V34 = 3 Var--V41 = 4 Var--V42 = 3 Var--V43 = 1 Var--V44 = 2
bt_search finished
Search made 57 variable assignments and pruned 146 variable values
Solution
[3, 1, 2, 4]
[2, 4, 3, 1]
[1, 2, 4, 3]
[4, 3, 1, 2]
Solving board
=======================================================
FC
CSP Kenken solved. CPU Time used = 0.107125358
CSP Kenken Assignments =
Var--V11 = 5 Var--V12 = 2 Var--V13 = 1 Var--V14 = 4 Var--V15 = 3 Var--V21 = 1 Var--V22 = 4 Var--V23 = 5 Var--V24 = 3 Var--V25 = 2 Var--V31 = 2 Var--V32 = 5 Var--V33 = 3 Var--V34 = 1 Var--V35 = 4 Var--V41 = 3 Var--V42 = 1 Var--V43 = 4 Var--V44 = 2 Var--V45 = 5 Var--V51 = 4 Var--V52 = 3 Var--V53 = 2 Var--V54 = 5 Var--V55 = 1
bt_search finished
Search made 589 variable assignments and pruned 2116 variable values
Solution
[5, 2, 1, 4, 3]
[1, 4, 5, 3, 2]
[2, 5, 3, 1, 4]
[3, 1, 4, 2, 5]
[4, 3, 2, 5, 1]
Solving board
=======================================================
FC
CSP Kenken solved. CPU Time used = 19.529455364
CSP Kenken Assignments =
Var--V11 = 5 Var--V12 = 6 Var--V13 = 3 Var--V14 = 4 Var--V15 = 1 Var--V16 = 2 Var--V21 = 6 Var--V22 = 1 Var--V23 = 4 Var--V24 = 5 Var--V25 = 2 Var--V26 = 3 Var--V31 = 4 Var--V32 = 5 Var--V33 = 2 Var--V34 = 3 Var--V35 = 6 Var--V36 = 1 Var--V41 = 3 Var--V42 = 4 Var--V43 = 1 Var--V44 = 2 Var--V45 = 5 Var--V46 = 6 Var--V51 = 2 Var--V52 = 3 Var--V53 = 6 Var--V54 = 1 Var--V55 = 4 Var--V56 = 5 Var--V61 = 1 Var--V62 = 2 Var--V63 = 5 Var--V64 = 6 Var--V65 = 3 Var--V66 = 4
bt_search finished
Search made 82469 variable assignments and pruned 322902 variable values
Solution
[5, 6, 3, 4, 1, 2]
[6, 1, 4, 5, 2, 3]
[4, 5, 2, 3, 6, 1]
[3, 4, 1, 2, 5, 6]
[2, 3, 6, 1, 4, 5]
[1, 2, 5, 6, 3, 4]
Solving board
=======================================================
FC
CSP Kenken solved. CPU Time used = 0.7608950619999995
CSP Kenken Assignments =
Var--V11 = 1 Var--V12 = 2 Var--V13 = 4 Var--V14 = 3 Var--V15 = 5 Var--V21 = 4 Var--V22 = 3 Var--V23 = 2 Var--V24 = 5 Var--V25 = 1 Var--V31 = 3 Var--V32 = 5 Var--V33 = 1 Var--V34 = 4 Var--V35 = 2 Var--V41 = 2 Var--V42 = 4 Var--V43 = 5 Var--V44 = 1 Var--V34 = 3 Var--V51 = 5 Var--V52 = 1 Var--V53 = 3 Var--V54 = 2 Var--V55 = 4
bt_search finished
Search made 3900 variable assignments and pruned 9805 variable values
Solution
[1, 2, 4, 3, 5]
[4, 3, 2, 5, 1]
[3, 5, 1, 4, 2]
[2, 4, 5, 1, 3]
[5, 1, 3, 2, 4]
Solving board
=======================================================
FC
CSP Kenken solved. CPU Time used = 59.101558721
CSP Kenken Assignments =
Var--V11 = 1 Var--V12 = 2 Var--V13 = 4 Var--V14 = 3 Var--V15 = 6 Var--V16 = 5 Var--V21 = 6 Var--V22 = 1 Var--V23 = 3 Var--V24 = 2 Var--V25 = 5 Var--V26 = 4 Var--V31 = 3 Var--V32 = 5 Var--V33 = 6 Var--V34 = 1 Var--V35 = 4 Var--V36 = 2 Var--V41 = 5 Var--V42 = 3 Var--V43 = 2 Var--V44 = 4 Var--V45 = 1 Var--V46 = 6 Var--V51 = 2 Var--V52 = 4 Var--V53 = 5 Var--V54 = 6 Var--V55 = 3 Var--V56 = 1 Var--V61 = 4 Var--V62 = 6 Var--V63 = 1 Var--V64 = 5 Var--V65 = 2 Var--V66 = 3
bt_search finished
Search made 247253 variable assignments and pruned 722213 variable values
Solution
[1, 2, 4, 3, 6, 5]
[6, 1, 3, 2, 5, 4]
[3, 5, 6, 1, 4, 2]
[5, 3, 2, 4, 1, 6]
[2, 4, 5, 6, 3, 1]
[4, 6, 1, 5, 2, 3]