% time ./gidl.exe sudoku-idp.idp | ./midl.exe The following partial interpretation is part of every model: A = {1,1->1; 1,4->2; 1,7->3; 2,2->2; 2,5->3; 2,8->4; 3,3->3; 3,6->4; 3,9->5; 4,1->6; 4,4->4; 4,7->5; 5,2->7; 5,5->5; 5,8->6; 6,3->8; 6,6->6; 6,9->7; 7,1->8; 7,4->9; 7,7->7; 8,2->9; 8,5->1; 8,8->8; 9,3->1; 9,6->2; 9,9->4} === Model 1 === A = {1,2->4; 1,3->5; 1,5->8; 1,6->9; 1,8->7; 1,9->6; 2,1->7; 2,3->6; 2,4->5; 2,6->1; 2,7->8; 2,9->9; 3,1->9; 3,2->8; 3,4->7; 3,5->6; 3,7->1; 3,8->2; 4,2->1; 4,3->9; 4,5->2; 4,6->7; 4,8->3; 4,9->8; 5,1->3; 5,3->4; 5,4->1; 5,6->8; 5,7->9; 5,9->2; 6,1->2; 6,2->5; 6,4->3; 6,5->9; 6,7->4; 6,8->1; 7,2->6; 7,3->2; 7,5->4; 7,6->3; 7,8->5; 7,9->1; 8,1->4; 8,3->7; 8,4->6; 8,6->5; 8,7->2; 8,9->3; 9,1->5; 9,2->3; 9,4->8; 9,5->7; 9,7->6; 9,8->9} ./gidl.exe sudoku-idp.idp 0.00s user 0.05s system 14% cpu 0.312 total ./midl.exe 0.03s user 0.00s system 9% cpu 0.335 total %