HW3_model> python ms.py Size: 3x3 BacktrackingSolver: {4: 5, 0: 6, 8: 4, 2: 2, 6: 8, 3: 1, 7: 3, 1: 7, 5: 9}; time:0.009 RecursiveBacktrackingSolver: {4: 5, 0: 6, 8: 4, 2: 8, 6: 2, 1: 1, 5: 3, 3: 7, 7: 9}; time:0.014 MinConflictsSolver: None; time:0.240 Size: 4x4 BacktrackingSolver: {0: 16, 3: 13, 5: 11, 10: 5, 15: 2, 6: 10, 9: 8, 12: 3, 1: 1, 2: 4, 4: 6, 7: 7, 8: 9, 11: 12, 13: 14, 14: 15}; time:2.350 RecursiveBacktrackingSolver: {0: 1, 3: 4, 5: 6, 6: 7, 9: 9, 12: 14, 10: 12, 15: 15, 13: 3, 14: 2, 2: 13, 7: 10, 11: 5, 8: 8, 4: 11, 1: 16}; time:10.333 MinConflictsSolver: None; time:0.803 Size: 5x5 BacktrackingSolver: {12: 25, 0: 24, 6: 13, 18: 2, 24: 1, 4: 3, 8: 14, 16: 15, 20: 8, 1: 12, 2: 6, 3: 20, 5: 5, 7: 10, 9: 23, 10: 9, 15: 19, 11: 4, 21: 21, 13: 11, 14: 16, 23: 18, 22: 17, 17: 7, 19: 22}; time:2.619 RecursiveBacktrackingSolver: timeout; time:30.002 MinConflictsSolver: None; time:1.953 Size: 6x6 BacktrackingSolver: timeout; time:30.000 RecursiveBacktrackingSolver: timeout; time:30.001 MinConflictsSolver: None; time:4.892 HW3_model>