welcome: please sign in
location: Info for "OfficialProblemSuite"

[Show "Revision History"] [Show "General Page Infos"] [Show "Page hits and edits"]

Revision History

Showing page edit history entries from 1 to 195 out of 195 entries total. (5 | 10 | 25 | 50 | 100 | 200 items per page)

# Date Size Editor Comment Action
111 2020-10-05 10:54:33 21331 to previous FrancescoCalimeri   view
110 2020-05-04 11:47:14 21117 to previous FrancescoCalimeri   view
109 2013-08-07 16:04:33 20678 to previous GiovambattistaIanni   view
108 2013-06-03 09:57:58 20575 to previous GiovambattistaIanni   view
107 2013-06-03 08:03:54 20566 to previous GiovambattistaIanni   view
106 2013-06-03 08:01:01 20617 to previous GiovambattistaIanni   view
105 2013-06-03 08:00:16 20616 to previous GiovambattistaIanni   view
104 2013-06-03 07:59:17 20612 to previous GiovambattistaIanni   view
103 2013-04-11 10:01:34 20600 to previous GiovambattistaIanni   view
102 2013-03-27 17:16:34 20340 to previous GiovambattistaIanni   view
101 2013-03-25 12:34:46 20201 to previous GiovambattistaIanni   view
100 2013-03-24 22:26:11 19809 to previous GiovambattistaIanni   view
99 2013-03-24 22:25:20 19805 to previous GiovambattistaIanni   view
98 2013-03-23 12:09:54 19708 to previous GiovambattistaIanni   view
97 2013-03-23 10:35:57 19651 to previous GiovambattistaIanni   view
96 2013-03-21 18:03:14 19474 to previous GiovambattistaIanni   view
95 2013-03-21 17:58:39 19428 to previous GiovambattistaIanni   view
94 2013-03-21 15:40:29 19100 to previous FrancescoCalimeri Fix some typos in description of Solitaire problem, and accordingly fix encoding. view
93 2013-03-20 18:51:28 18992 to previous FrancescoCalimeri   view
92 2013-03-20 18:46:04 18937 to previous FrancescoCalimeri * Update definition of Qualitative Spatial Reasoning. view
91 2013-03-20 09:59:31 18860 to previous GiovambattistaIanni   view
90 2013-03-19 21:14:16 18955 to previous FrancescoCalimeri update links to checkers view
89 2013-03-19 18:57:16 18955 to previous FrancescoCalimeri update links to encodings. view
88 2013-03-19 08:37:47 18955 to previous FrancescoCalimeri   view
87 2013-03-19 08:37:06 18967 to previous FrancescoCalimeri Update definition of Incremental Scheduling by means of some clarifications. view
86 2013-03-18 14:38:14 18859 to previous FrancescoCalimeri update links to encodings. view
85 2013-03-16 12:04:05 18135 to previous GiovambattistaIanni   view
84 2013-03-16 11:53:00 17937 to previous GiovambattistaIanni   view
83 2013-03-16 11:52:27 18029 to previous GiovambattistaIanni   view
82 2013-03-16 11:09:40 18114 to previous GiovambattistaIanni   view
81 2013-03-16 10:20:21 18055 to previous GiovambattistaIanni   view
80 2013-03-16 10:16:55 18055 to previous GiovambattistaIanni   view
79 2013-03-16 10:16:36 18053 to previous GiovambattistaIanni   view
78 2013-03-15 15:55:25 17969 to previous GiovambattistaIanni   view
77 2013-03-14 22:32:54 17861 to previous FrancescoCalimeri Fixed encoding and checker for Knight Tour with Holes. view
76 2013-03-14 09:16:52 17801 to previous e209-009   view
75 2013-03-03 15:58:03 17701 to previous FrancescoCalimeri Fix example in Solitaire domain description page view
74 2013-03-02 11:30:10 17627 to previous GiovambattistaIanni   view
73 2013-03-02 11:29:58 17629 to previous GiovambattistaIanni   view
72 2013-03-01 17:27:49 17381 to previous FrancescoCalimeri Fix encoding for Connected Maximum-density Still Life domain. view
71 2013-03-01 13:49:54 17314 to previous FrancescoCalimeri   view
70 2013-03-01 10:08:03 17268 to previous FrancescoCalimeri update changelog view
69 2013-03-01 10:01:09 17206 to previous FrancescoCalimeri add link to sample instances for Qualitative Spatial Reasoning view
68 2013-03-01 09:51:37 17453 to previous GiovambattistaIanni   view
67 2013-03-01 08:26:43 17352 to previous GiovambattistaIanni   view
66 2013-02-26 12:48:38 17238 to previous GiovambattistaIanni   view
65 2013-02-25 10:04:25 17189 to previous e214-001   view
64 2013-02-24 21:41:15 17001 to previous GiovambattistaIanni   view
63 2013-02-23 17:28:54 16408 to previous FrancescoCalimeri update all links to checkers in order to point to svn versions view
62 2013-02-22 09:41:52 16017 to previous FrancescoCalimeri Updated Knight Tour with Holes description view
61 2013-02-21 12:23:09 15948 to previous GiovambattistaIanni   view
60 2013-02-20 17:21:53 15938 to previous GiovambattistaIanni   view
59 2013-02-20 00:21:51 15693 to previous FrancescoCalimeri link encodings to slinks pointing to an automatically up-to-date svn copy view
58 2013-02-19 23:46:28 14517 to previous FrancescoCalimeri link sample instances to slinks pointing to an automatically up-to-date svn copy view
57 2013-02-18 13:11:28 14335 to previous GuohuiXiao fix two links in encoding view
56 2013-02-18 13:01:24 14414 to previous GuohuiXiao fix the link of visitall-sample.zip (before was "...samples...") view
55 2013-02-18 09:02:42 14472 to previous GiovambattistaIanni   view
54 2013-02-16 11:44:38 14397 to previous GiovambattistaIanni Changed path of ricochet robots sample instances view
53 2013-02-15 14:09:49 14391 to previous GiovambattistaIanni   view
52 2013-02-13 09:37:59 14312 to previous GiovambattistaIanni   view
51 2013-02-13 09:37:29 14241 to previous GiovambattistaIanni Removed rota-workforce view
50 2013-02-13 09:36:25 14454 to previous GiovambattistaIanni   view
49 2013-02-13 09:35:46 14376 to previous GiovambattistaIanni   view
48 2013-02-11 15:06:47 14341 to previous GiovambattistaIanni   view
47 2013-02-11 12:40:26 14249 to previous GuentherCharwat   view
46 2013-02-11 11:05:20 14117 to previous GiovambattistaIanni   view
45 2013-02-11 10:37:23 13314 to previous GiovambattistaIanni   view
44 2013-02-11 10:35:55 13204 to previous GiovambattistaIanni   view
43 2013-02-11 10:35:13 13197 to previous GiovambattistaIanni   view
42 2013-02-10 21:59:09 13098 to previous FrancescoCalimeri Fix, update and clarify specs for Rotating Workforce Scheduling. view
41 2013-02-10 18:02:20 13002 to previous FrancescoCalimeri   view
40 2013-02-09 16:44:29 12926 to previous GiovambattistaIanni   view
39 2013-02-09 16:43:01 12920 to previous GiovambattistaIanni   view
38 2013-02-09 16:24:37 12783 to previous GiovambattistaIanni   view
37 2013-02-09 11:06:47 12655 to previous FrancescoCalimeri change strategic companies code from O12 to N12 (formulation has changed!!!!) and mark it with a star for the sake or visibility. view
36 2013-02-09 09:59:47 12648 to previous FrancescoCalimeri fix link to encoding and sample instances for strategic companies. view
- 2013-02-09 09:51:26 725 - FrancescoCalimeri ATTNEW: Strategic-Companies-ENCODING.txt view get
- 2013-02-09 09:50:17 725 - FrancescoCalimeri ATTDEL: Strategic-Companies-ENCODING.txt view get
35 2013-02-08 16:14:50 12649 to previous FrancescoCalimeri   view
34 2013-02-08 16:13:45 12649 to previous FrancescoCalimeri   view
- 2013-02-08 16:12:06 376 - FrancescoCalimeri ATTNEW: Graph-Colouring-ENCODING.txt view get
- 2013-02-08 16:11:18 1988 - FrancescoCalimeri ATTNEW: Hanoi-Tower-ENCODING.txt view get
- 2013-02-08 16:10:33 4630 - FrancescoCalimeri ATTNEW: Minimal-Diagnosis-ENCODING.txt view get
- 2013-02-08 16:10:11 2510 - FrancescoCalimeri ATTNEW: Labyrinth-ENCODING.txt view get
- 2013-02-08 16:09:39 332 - FrancescoCalimeri ATTNEW: Maximal-Clique-Problem-ENCODING.txt view get
- 2013-02-08 16:08:52 2032 - FrancescoCalimeri ATTNEW: Knight-Tour-with-Holes-ENCODING.txt view get
- 2013-02-08 16:08:22 2510 - FrancescoCalimeri ATTNEW: Complex-Optimization-of-Answer-Sets-ENCODING.txt view get
- 2013-02-08 16:06:27 1155 - FrancescoCalimeri ATTNEW: Visit-all-ENCODING.txt view get
- 2013-02-08 16:05:52 4595 - FrancescoCalimeri ATTNEW: Abstract-Dialectical-Frameworks-Well-founded-Model-ENCODING.txt view get
- 2013-02-08 16:05:15 68960906 - FrancescoCalimeri ATTNEW: Chemical-Classification-ENCODING.txt view get
- 2013-02-08 16:01:00 16058 - FrancescoCalimeri ATTNEW: Qualitative-Spatial-Reasoning-ENCODING.txt view get
- 2013-02-08 15:59:55 2996 - FrancescoCalimeri ATTNEW: Incremental-Scheduling-ENCODING.txt view get
- 2013-02-08 15:59:33 572 - FrancescoCalimeri ATTNEW: Stable-Marriage-ENCODING.txt view get
- 2013-02-08 15:59:00 2301 - FrancescoCalimeri ATTNEW: Weighted-Sequence-Problem-ENCODING.txt view get
- 2013-02-08 15:58:38 4118 - FrancescoCalimeri ATTNEW: Solitaire-ENCODING.txt view get
- 2013-02-08 15:58:17 725 - FrancescoCalimeri ATTNEW: Strategic-Companies-ENCODING.txt view get
- 2013-02-08 15:57:41 68 - FrancescoCalimeri ATTNEW: Reachability-ENCODING.txt view get
- 2013-02-08 15:57:17 1709 - FrancescoCalimeri ATTNEW: Crossing-Minimization-ENCODING.txt view get
- 2013-02-08 15:56:55 1818 - FrancescoCalimeri ATTNEW: Ricochet-Robots-ENCODING.txt view get
- 2013-02-08 15:56:11 6079 - FrancescoCalimeri ATTNEW: Sokoban-ENCODING.txt view get
- 2013-02-08 15:55:39 2340 - FrancescoCalimeri ATTNEW: Nomystery-ENCODING.txt view get
- 2013-02-08 15:55:14 361 - FrancescoCalimeri ATTNEW: Bottle-Filling-Problem-ENCODING.txt view get
- 2013-02-08 15:54:55 614 - FrancescoCalimeri ATTNEW: Graceful-Graphs-ENCODING.txt view get
- 2013-02-08 15:51:51 966 - FrancescoCalimeri ATTNEW: Connected-Maximum-density-Still-Life-ENCODING.txt view get
- 2013-02-08 15:50:53 4318 - FrancescoCalimeri ATTNEW: Valves-Location-Problem-ENCODING.txt view get
- 2013-02-08 15:46:27 547 - FrancescoCalimeri ATTNEW: Permutation-Pattern-Matching-ENCODING.txt view get
33 2013-02-08 15:45:57 12634 to previous FrancescoCalimeri   view
- 2013-02-08 15:44:51 547 - FrancescoCalimeri ATTNEW: Permutation-Pattern-Matching-ENCODING.asp view get
32 2013-02-08 15:44:07 12634 to previous FrancescoCalimeri adding official encodings view
- 2013-02-07 11:48:26 0 - GuentherCharwat ATTDEL: crossing_minimization-checker.zip
- 2013-02-07 10:43:51 0 - GuentherCharwat ATTNEW: crossing_minimization-checker.zip
31 2013-02-06 10:05:21 10645 to previous GiovambattistaIanni   view
30 2013-02-05 15:14:32 10832 to previous GiovambattistaIanni   view
29 2013-02-05 15:09:21 10754 to previous GiovambattistaIanni   view
28 2013-02-05 15:04:21 10681 to previous GiovambattistaIanni   view
27 2013-02-04 23:20:56 10596 to previous GuohuiXiao   view
26 2013-02-04 23:20:13 10595 to previous GuohuiXiao   view
25 2013-02-04 23:18:25 10603 to previous GuohuiXiao   view
24 2013-02-04 23:14:29 9652 to previous GuohuiXiao   view
23 2013-02-03 20:38:47 8466 to previous GiovambattistaIanni Checkers were wrong. view
- 2013-02-03 19:08:04 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_22_checker.zip
- 2013-02-03 19:07:59 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_9_checker.zip
- 2013-02-03 19:07:58 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_8_checker.zip
- 2013-02-03 19:07:57 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_6_checker.zip
- 2013-02-03 19:07:55 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_5_checker.zip
- 2013-02-03 19:07:54 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_4_checker.zip
- 2013-02-03 19:07:53 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_3_checker.zip
- 2013-02-03 19:07:51 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_35_checker.zip
- 2013-02-03 19:07:50 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_33_checker.zip
- 2013-02-03 19:07:49 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_32_checker.zip
- 2013-02-03 19:07:48 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_31_checker.zip
- 2013-02-03 19:07:46 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_30_checker.zip
- 2013-02-03 19:07:45 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_2_checker.zip
- 2013-02-03 19:07:43 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_29_checker.zip
- 2013-02-03 19:07:42 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_28_checker.zip
- 2013-02-03 19:07:40 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_27_checker.zip
- 2013-02-03 19:07:39 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_26_checker.zip
- 2013-02-03 19:07:38 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_25_checker.zip
- 2013-02-03 19:07:36 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_24_checker.zip
- 2013-02-03 19:07:35 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_23_checker.zip
- 2013-02-03 19:07:32 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_21_checker.zip
- 2013-02-03 19:07:06 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_20_checker.zip
- 2013-02-03 19:07:03 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_19_checker.zip
- 2013-02-03 19:07:00 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_17_checker.zip
- 2013-02-03 19:06:55 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_14_checker.zip
- 2013-02-03 19:06:48 0 - GuohuiXiao ATTDEL: aspcomp2013_submission_12_checker.zip
22 2013-02-03 16:46:09 9693 to previous GuohuiXiao   view
- 2013-02-03 16:45:28 0 - GuohuiXiao ATTNEW: aspcomp2013_submission_22_checker.zip
21 2013-02-03 16:45:05 9766 to previous GuohuiXiao Add checkers view
- 2013-02-03 16:19:13 0 - GuohuiXiao ATTNEW: aspcomp2013_submission_35_checker.zip
- 2013-02-03 16:19:06 0 - GuohuiXiao ATTNEW: aspcomp2013_submission_33_checker.zip
- 2013-02-03 16:18:58 0 - GuohuiXiao ATTNEW: aspcomp2013_submission_32_checker.zip
- 2013-02-03 16:18:46 0 - GuohuiXiao ATTNEW: aspcomp2013_submission_31_checker.zip
- 2013-02-03 16:18:08 0 - GuohuiXiao ATTNEW: aspcomp2013_submission_30_checker.zip
- 2013-02-03 16:18:00 0 - GuohuiXiao ATTNEW: aspcomp2013_submission_29_checker.zip
- 2013-02-03 16:17:54 0 - GuohuiXiao ATTNEW: aspcomp2013_submission_28_checker.zip
- 2013-02-03 16:17:47 0 - GuohuiXiao ATTNEW: aspcomp2013_submission_27_checker.zip
- 2013-02-03 16:17:39 0 - GuohuiXiao ATTNEW: aspcomp2013_submission_26_checker.zip
- 2013-02-03 16:17:31 0 - GuohuiXiao ATTNEW: aspcomp2013_submission_25_checker.zip
- 2013-02-03 16:17:25 0 - GuohuiXiao ATTNEW: aspcomp2013_submission_24_checker.zip
- 2013-02-03 16:17:18 0 - GuohuiXiao ATTNEW: aspcomp2013_submission_23_checker.zip
- 2013-02-03 16:16:52 0 - GuohuiXiao ATTNEW: aspcomp2013_submission_20_checker.zip
- 2013-02-03 16:16:12 0 - GuohuiXiao ATTNEW: aspcomp2013_submission_19_checker.zip
- 2013-02-03 16:16:03 0 - GuohuiXiao ATTNEW: aspcomp2013_submission_17_checker.zip
- 2013-02-03 16:15:51 0 - GuohuiXiao ATTNEW: aspcomp2013_submission_14_checker.zip
- 2013-02-03 16:15:43 0 - GuohuiXiao ATTNEW: aspcomp2013_submission_12_checker.zip
- 2013-02-03 16:15:35 0 - GuohuiXiao ATTNEW: aspcomp2013_submission_9_checker.zip
- 2013-02-03 16:15:26 0 - GuohuiXiao ATTNEW: aspcomp2013_submission_6_checker.zip
- 2013-02-03 16:15:14 0 - GuohuiXiao ATTNEW: aspcomp2013_submission_8_checker.zip
- 2013-02-03 16:15:05 0 - GuohuiXiao ATTNEW: aspcomp2013_submission_5_checker.zip
- 2013-02-03 16:14:59 0 - GuohuiXiao ATTNEW: aspcomp2013_submission_4_checker.zip
- 2013-02-03 16:14:50 0 - GuohuiXiao ATTNEW: aspcomp2013_submission_3_checker.zip
- 2013-02-03 16:14:31 0 - GuohuiXiao ATTNEW: aspcomp2013_submission_2_checker.zip
- 2013-02-03 16:14:05 0 - GuohuiXiao ATTNEW: aspcomp2013_submission_21_checker.zip
20 2013-02-02 22:25:35 8466 to previous GuohuiXiao create empty column checker view
19 2013-02-02 22:20:16 8416 to previous GuohuiXiao   view
18 2013-01-17 23:39:19 8337 to previous FrancescoCalimeri add description for Rotating Workforce Scheduling. STILL MISSING SAMPLE INSTANCES. view
17 2012-11-19 12:40:19 8262 to previous PatrikSchneider Graceful Graphs complexity added view
16 2012-11-19 11:09:15 8259 to previous GiovambattistaIanni   view
15 2012-11-18 19:28:18 8255 to previous PatrikSchneider Links to sample instances added (some are still missing) view
- 2012-11-18 18:45:26 5413 - PatrikSchneider ATTNEW: valves_location_problem-sample.zip view get
14 2012-11-18 18:44:53 6348 to previous PatrikSchneider Fix ValvesLocation sample view
13 2012-11-18 18:36:59 6396 to previous PatrikSchneider Fix ValvesLocation sample view
12 2012-11-18 18:34:11 6390 to previous PatrikSchneider Add ValvesLocation sample view
11 2012-11-18 18:28:46 6289 to previous PatrikSchneider ASP-Core-2 Encoding column added view
10 2012-11-17 11:57:53 6231 to previous GiovambattistaIanni   view
9 2012-06-02 07:36:04 23209 to previous ThomasKrennwallner   view
8 2012-06-02 07:32:58 23201 to previous ThomasKrennwallner Add a shitload of new optimization problems view
7 2012-06-02 07:20:21 21797 to previous ThomasKrennwallner Add Nysret's benchmarks view
6 2012-06-02 07:12:54 20819 to previous ThomasKrennwallner   view
5 2012-06-02 07:09:39 20668 to previous ThomasKrennwallner   view
4 2012-06-02 07:09:09 20669 to previous ThomasKrennwallner add ccg view
3 2012-06-01 14:06:04 20536 to previous GiovambattistaIanni   view
2 2012-06-01 14:04:32 20654 to previous GiovambattistaIanni   view
1 2012-05-07 18:12:18 49 PatrikSchneider Stub added view