-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathA2_test_cases_output.txt
More file actions
83 lines (83 loc) · 4.67 KB
/
Copy pathA2_test_cases_output.txt
File metadata and controls
83 lines (83 loc) · 4.67 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.0005383340000000014
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 9 variable assignments and pruned 16 variable values
Solution
[1, 3, 2]
[2, 1, 3]
[3, 2, 1]
Solving board
=======================================================
FC
CSP Kenken solved. CPU Time used = 0.0034035659999999968
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 29 variable assignments and pruned 116 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.012249382000000003
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 113 variable assignments and pruned 561 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 = 0.09347860400000002
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 646 variable assignments and pruned 4551 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.050784446000000004
CSP Kenken Assignments =
Var--V11 = 1 Var--V12 = 2 Var--V13 = 4 Var--V14 = 3 Var--V15 = 5 Var--V21 = 3 Var--V22 = 4 Var--V23 = 2 Var--V24 = 5 Var--V25 = 1 Var--V31 = 5 Var--V32 = 1 Var--V33 = 3 Var--V34 = 4 Var--V35 = 2 Var--V41 = 4 Var--V42 = 5 Var--V43 = 1 Var--V44 = 2 Var--V45 = 3 Var--V51 = 2 Var--V52 = 3 Var--V53 = 5 Var--V54 = 1 Var--V55 = 4
bt_search finished
Search made 515 variable assignments and pruned 2067 variable values
Solution
[1, 2, 4, 3, 5]
[3, 4, 2, 5, 1]
[5, 1, 3, 4, 2]
[4, 5, 1, 2, 3]
[2, 3, 5, 1, 4]
Solving board
=======================================================
FC
CSP Kenken solved. CPU Time used = 0.08471395400000001
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 = 3 Var--V23 = 1 Var--V24 = 2 Var--V25 = 5 Var--V26 = 4 Var--V31 = 5 Var--V32 = 6 Var--V33 = 3 Var--V34 = 1 Var--V35 = 4 Var--V36 = 2 Var--V41 = 3 Var--V42 = 5 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 = 1 Var--V63 = 6 Var--V64 = 5 Var--V65 = 2 Var--V66 = 3
bt_search finished
Search made 730 variable assignments and pruned 3354 variable values
Solution
[1, 2, 4, 3, 6, 5]
[6, 3, 1, 2, 5, 4]
[5, 6, 3, 1, 4, 2]
[3, 5, 2, 4, 1, 6]
[2, 4, 5, 6, 3, 1]
[4, 1, 6, 5, 2, 3]