Programming Languages Research Group: Git - Benchmarks

projects / Benchmarks_CSolver.git / commit

author	Hamed Gorjiara <hgorjiar@uci.edu>
	Thu, 6 Sep 2018 20:58:47 +0000 (13:58 -0700)
committer	Hamed Gorjiara <hgorjiar@uci.edu>
	Thu, 6 Sep 2018 20:58:47 +0000 (13:58 -0700)
commit	28bfd8995594bbc981c8882ea3c2cc5af96b0cbd
tree	bbc92c1522356f485b6737c6bc7ee44f3de5b667	tree \| snapshot
parent	457ddef68a9d8645a925201aafb28a3c144b34df	commit \| diff

New dataset + Using Glucose instead of Pycosat

91 files changed:

killerSudoku/.gitignore		diff \| blob \| history
killerSudoku/dataset-cs/10/1-36.killer		diff \| blob \| history
killerSudoku/dataset-cs/10/2-25.killer		diff \| blob \| history
killerSudoku/dataset-cs/10/4-16.killer	[deleted file]	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/11/4-16.killer	[deleted file]	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/12/4-16.killer	[deleted file]	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/13/4-16.killer	[deleted file]	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/14/4-16.killer	[deleted file]	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/15/4-16.killer	[deleted file]	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/16/4-16.killer	[deleted file]	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/2/4-16.killer	[deleted file]	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/3/4-16.killer	[deleted file]	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/4/4-16.killer	[deleted file]	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/5/4-16.killer	[deleted file]	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/6/4-16.killer	[deleted file]	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/7/4-16.killer	[deleted file]	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/8/4-16.killer	[deleted file]	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/dataset-cs/9/4-16.killer	[deleted file]	blob \| history
killerSudoku/glucose.py	[new file with mode: 0644]	blob
killerSudoku/glucose_static	[new file with mode: 0755]	blob
killerSudoku/killerSolver.py		diff \| blob \| history
killerSudoku/parse.sh		diff \| blob \| history
killerSudoku/result.csv		diff \| blob \| history

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

RSS Atom