Commit [f13ea1] default Maximize Restore History

New benchmarks for symmetry detection

git-svn-id: svn+ssh://keith.cs.st-and.ac.uk/mnt/raid/svn/repositories/minion-private/branches/symmetry_breaking@2531 477b24dd-e91e-0410-aa49-980f3df0729b

Chris Jefferson Chris Jefferson 2009-04-15

added GracefulGraphs/DW3/DW3.minion
added GracefulGraphs/K5xP2/k5xp2.minion
added GracefulGraphs/DW4/DW4.minion
added GracefulGraphs/DW5/DW5.minion
GracefulGraphs/DW3/DW3.minion Diff Switch to side-by-side view
Loading...
GracefulGraphs/K5xP2/k5xp2.minion Diff Switch to side-by-side view
Loading...
GracefulGraphs/DW4/DW4.minion Diff Switch to side-by-side view
Loading...
GracefulGraphs/DW5/DW5.minion Diff Switch to side-by-side view
Loading...