Programming Languages Research Group: Git - Benchmarks

projects / Benchmarks_CSolver.git / commit

author	Hamed Gorjiara <hgorjiar@uci.edu>
	Fri, 8 Nov 2019 08:04:21 +0000 (00:04 -0800)
committer	Hamed Gorjiara <hgorjiar@uci.edu>
	Fri, 8 Nov 2019 08:04:21 +0000 (00:04 -0800)
commit	3a4709678f5d55cfc77449cd2ed99dcc433129dc
tree	4b73eefdf7e2ceed479720d1d3a031a2f1b2fe80	tree \| snapshot
parent	5ba0973d504fa8b10a0e0560a33bffb2d6fc2ebe	commit \| diff

Adding killerSudoku problems

78 files changed:

killerSudoku/alloy_example_output.xml	[new file with mode: 0644]	blob
killerSudoku/dataset-cs/10/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/10/2-25.killer		diff \| blob \| history
killerSudoku/dataset-cs/11/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/11/2-25.killer		diff \| blob \| history
killerSudoku/dataset-cs/12/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/12/2-25.killer		diff \| blob \| history
killerSudoku/dataset-cs/13/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/13/2-25.killer		diff \| blob \| history
killerSudoku/dataset-cs/14/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/14/2-25.killer		diff \| blob \| history
killerSudoku/dataset-cs/15/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/15/2-25.killer		diff \| blob \| history
killerSudoku/dataset-cs/16/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/16/2-25.killer		diff \| blob \| history
killerSudoku/dataset-cs/17/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/17/2-25.killer		diff \| blob \| history
killerSudoku/dataset-cs/18/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/18/2-25.killer		diff \| blob \| history
killerSudoku/dataset-cs/19/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/19/2-25.killer		diff \| blob \| history
killerSudoku/dataset-cs/2/0-9.killer		diff \| blob \| history
killerSudoku/dataset-cs/2/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/2/2-25.killer		diff \| blob \| history
killerSudoku/dataset-cs/2/3-4.killer		diff \| blob \| history
killerSudoku/dataset-cs/20/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/20/2-25.killer		diff \| blob \| history
killerSudoku/dataset-cs/21/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/21/2-25.killer		diff \| blob \| history
killerSudoku/dataset-cs/22/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/22/2-25.killer		diff \| blob \| history
killerSudoku/dataset-cs/23/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/23/2-25.killer		diff \| blob \| history
killerSudoku/dataset-cs/24/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/24/2-25.killer		diff \| blob \| history
killerSudoku/dataset-cs/25/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/25/2-25.killer		diff \| blob \| history
killerSudoku/dataset-cs/26/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/27/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/28/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/29/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/3/0-9.killer		diff \| blob \| history
killerSudoku/dataset-cs/3/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/3/2-25.killer		diff \| blob \| history
killerSudoku/dataset-cs/3/3-4.killer		diff \| blob \| history
killerSudoku/dataset-cs/30/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/31/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/32/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/33/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/34/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/35/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/36/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/4/0-9.killer		diff \| blob \| history
killerSudoku/dataset-cs/4/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/4/2-25.killer		diff \| blob \| history
killerSudoku/dataset-cs/4/3-4.killer		diff \| blob \| history
killerSudoku/dataset-cs/5/0-9.killer		diff \| blob \| history
killerSudoku/dataset-cs/5/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/5/2-25.killer		diff \| blob \| history
killerSudoku/dataset-cs/6/0-9.killer		diff \| blob \| history
killerSudoku/dataset-cs/6/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/6/2-25.killer		diff \| blob \| history
killerSudoku/dataset-cs/7/0-9.killer		diff \| blob \| history
killerSudoku/dataset-cs/7/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/7/2-25.killer		diff \| blob \| history
killerSudoku/dataset-cs/8/0-9.killer		diff \| blob \| history
killerSudoku/dataset-cs/8/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/8/2-25.killer		diff \| blob \| history
killerSudoku/dataset-cs/9/0-9.killer		diff \| blob \| history
killerSudoku/dataset-cs/9/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/9/2-25.killer		diff \| blob \| history
killerSudoku/learn.sh		diff \| blob \| history
killerSudoku/result.csv		diff \| blob \| history
killerSudoku/satune.smt	[new file with mode: 0644]	blob
killerSudoku/testcase/2-25-4.killer	[new file with mode: 0644]	blob
killerSudoku/testcase/2-25-5.killer	[new file with mode: 0644]	blob
killerSudoku/testcase/2-36-4.killer	[new file with mode: 0644]	blob
killerSudoku/testcase/2-36-5.killer	[new file with mode: 0644]	blob

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom