# |
Date |
Size |
|
Editor |
Comment |
Action |
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 |
e215-129 |
fix two links in encoding |
view |
56 |
2013-02-18 13:01:24 |
14414 |
to previous |
e215-129 |
fix the link of visitall-sample.zip (before was "...samples...") |
view |
55 |
2013-02-18 09:02:42 |
14472 |
to previous |
160 |
|
view |
54 |
2013-02-16 11:44:38 |
14397 |
to previous |
maia |
Changed path of ricochet robots sample instances |
view |
53 |
2013-02-15 14:09:49 |
14391 |
to previous |
host199-115-dynamic |
|
view |
52 |
2013-02-13 09:37:59 |
14312 |
to previous |
maia |
|
view |
51 |
2013-02-13 09:37:29 |
14241 |
to previous |
maia |
Removed rota-workforce |
view |
50 |
2013-02-13 09:36:25 |
14454 |
to previous |
maia |
|
view |
49 |
2013-02-13 09:35:46 |
14376 |
to previous |
maia |
|
view |
48 |
2013-02-11 15:06:47 |
14341 |
to previous |
maia |
|
view |
47 |
2013-02-11 12:40:26 |
14249 |
to previous |
jok |
|
view |
46 |
2013-02-11 11:05:20 |
14117 |
to previous |
maia |
|
view |
45 |
2013-02-11 10:37:23 |
13314 |
to previous |
maia |
|
view |
44 |
2013-02-11 10:35:55 |
13204 |
to previous |
maia |
|
view |
43 |
2013-02-11 10:35:13 |
13197 |
to previous |
maia |
|
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 |
host146-17-dynamic |
|
view |
39 |
2013-02-09 16:43:01 |
12920 |
to previous |
host146-17-dynamic |
|
view |
38 |
2013-02-09 16:24:37 |
12783 |
to previous |
host146-17-dynamic |
|
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 |
- |
jok |
ATTDEL: crossing_minimization-checker.zip |
|
- |
2013-02-07 10:43:51 |
0 |
- |
jok |
ATTNEW: crossing_minimization-checker.zip |
|
31 |
2013-02-06 10:05:21 |
10645 |
to previous |
maia |
|
view |
30 |
2013-02-05 15:14:32 |
10832 |
to previous |
maia |
|
view |
29 |
2013-02-05 15:09:21 |
10754 |
to previous |
maia |
|
view |
28 |
2013-02-05 15:04:21 |
10681 |
to previous |
maia |
|
view |
27 |
2013-02-04 23:20:56 |
10596 |
to previous |
e209-105 |
|
view |
26 |
2013-02-04 23:20:13 |
10595 |
to previous |
e209-105 |
|
view |
25 |
2013-02-04 23:18:25 |
10603 |
to previous |
e209-105 |
|
view |
24 |
2013-02-04 23:14:29 |
9652 |
to previous |
e209-105 |
|
view |
23 |
2013-02-03 20:38:47 |
8466 |
to previous |
host146-17-dynamic |
Checkers were wrong. |
view |
- |
2013-02-03 19:08:04 |
0 |
- |
e209-105 |
ATTDEL: aspcomp2013_submission_22_checker.zip |
|
- |
2013-02-03 19:07:59 |
0 |
- |
e209-105 |
ATTDEL: aspcomp2013_submission_9_checker.zip |
|
- |
2013-02-03 19:07:58 |
0 |
- |
e209-105 |
ATTDEL: aspcomp2013_submission_8_checker.zip |
|
- |
2013-02-03 19:07:57 |
0 |
- |
e209-105 |
ATTDEL: aspcomp2013_submission_6_checker.zip |
|
- |
2013-02-03 19:07:55 |
0 |
- |
e209-105 |
ATTDEL: aspcomp2013_submission_5_checker.zip |
|
- |
2013-02-03 19:07:54 |
0 |
- |
e209-105 |
ATTDEL: aspcomp2013_submission_4_checker.zip |
|
- |
2013-02-03 19:07:53 |
0 |
- |
e209-105 |
ATTDEL: aspcomp2013_submission_3_checker.zip |
|
- |
2013-02-03 19:07:51 |
0 |
- |
e209-105 |
ATTDEL: aspcomp2013_submission_35_checker.zip |
|
- |
2013-02-03 19:07:50 |
0 |
- |
e209-105 |
ATTDEL: aspcomp2013_submission_33_checker.zip |
|
- |
2013-02-03 19:07:49 |
0 |
- |
e209-105 |
ATTDEL: aspcomp2013_submission_32_checker.zip |
|
- |
2013-02-03 19:07:48 |
0 |
- |
e209-105 |
ATTDEL: aspcomp2013_submission_31_checker.zip |
|
- |
2013-02-03 19:07:46 |
0 |
- |
e209-105 |
ATTDEL: aspcomp2013_submission_30_checker.zip |
|
- |
2013-02-03 19:07:45 |
0 |
- |
e209-105 |
ATTDEL: aspcomp2013_submission_2_checker.zip |
|
- |
2013-02-03 19:07:43 |
0 |
- |
e209-105 |
ATTDEL: aspcomp2013_submission_29_checker.zip |
|
- |
2013-02-03 19:07:42 |
0 |
- |
e209-105 |
ATTDEL: aspcomp2013_submission_28_checker.zip |
|
- |
2013-02-03 19:07:40 |
0 |
- |
e209-105 |
ATTDEL: aspcomp2013_submission_27_checker.zip |
|
- |
2013-02-03 19:07:39 |
0 |
- |
e209-105 |
ATTDEL: aspcomp2013_submission_26_checker.zip |
|
- |
2013-02-03 19:07:38 |
0 |
- |
e209-105 |
ATTDEL: aspcomp2013_submission_25_checker.zip |
|
- |
2013-02-03 19:07:36 |
0 |
- |
e209-105 |
ATTDEL: aspcomp2013_submission_24_checker.zip |
|
- |
2013-02-03 19:07:35 |
0 |
- |
e209-105 |
ATTDEL: aspcomp2013_submission_23_checker.zip |
|
- |
2013-02-03 19:07:32 |
0 |
- |
e209-105 |
ATTDEL: aspcomp2013_submission_21_checker.zip |
|
- |
2013-02-03 19:07:06 |
0 |
- |
e209-105 |
ATTDEL: aspcomp2013_submission_20_checker.zip |
|
- |
2013-02-03 19:07:03 |
0 |
- |
e209-105 |
ATTDEL: aspcomp2013_submission_19_checker.zip |
|
- |
2013-02-03 19:07:00 |
0 |
- |
e209-105 |
ATTDEL: aspcomp2013_submission_17_checker.zip |
|
- |
2013-02-03 19:06:55 |
0 |
- |
e209-105 |
ATTDEL: aspcomp2013_submission_14_checker.zip |
|
- |
2013-02-03 19:06:48 |
0 |
- |
e209-105 |
ATTDEL: aspcomp2013_submission_12_checker.zip |
|
22 |
2013-02-03 16:46:09 |
9693 |
to previous |
e209-105 |
|
view |
- |
2013-02-03 16:45:28 |
0 |
- |
e209-105 |
ATTNEW: aspcomp2013_submission_22_checker.zip |
|
21 |
2013-02-03 16:45:05 |
9766 |
to previous |
e209-105 |
Add checkers |
view |
- |
2013-02-03 16:19:13 |
0 |
- |
e209-105 |
ATTNEW: aspcomp2013_submission_35_checker.zip |
|
- |
2013-02-03 16:19:06 |
0 |
- |
e209-105 |
ATTNEW: aspcomp2013_submission_33_checker.zip |
|
- |
2013-02-03 16:18:58 |
0 |
- |
e209-105 |
ATTNEW: aspcomp2013_submission_32_checker.zip |
|
- |
2013-02-03 16:18:46 |
0 |
- |
e209-105 |
ATTNEW: aspcomp2013_submission_31_checker.zip |
|
- |
2013-02-03 16:18:08 |
0 |
- |
e209-105 |
ATTNEW: aspcomp2013_submission_30_checker.zip |
|
- |
2013-02-03 16:18:00 |
0 |
- |
e209-105 |
ATTNEW: aspcomp2013_submission_29_checker.zip |
|
- |
2013-02-03 16:17:54 |
0 |
- |
e209-105 |
ATTNEW: aspcomp2013_submission_28_checker.zip |
|
- |
2013-02-03 16:17:47 |
0 |
- |
e209-105 |
ATTNEW: aspcomp2013_submission_27_checker.zip |
|
- |
2013-02-03 16:17:39 |
0 |
- |
e209-105 |
ATTNEW: aspcomp2013_submission_26_checker.zip |
|
- |
2013-02-03 16:17:31 |
0 |
- |
e209-105 |
ATTNEW: aspcomp2013_submission_25_checker.zip |
|
- |
2013-02-03 16:17:25 |
0 |
- |
e209-105 |
ATTNEW: aspcomp2013_submission_24_checker.zip |
|
- |
2013-02-03 16:17:18 |
0 |
- |
e209-105 |
ATTNEW: aspcomp2013_submission_23_checker.zip |
|
- |
2013-02-03 16:16:52 |
0 |
- |
e209-105 |
ATTNEW: aspcomp2013_submission_20_checker.zip |
|
- |
2013-02-03 16:16:12 |
0 |
- |
e209-105 |
ATTNEW: aspcomp2013_submission_19_checker.zip |
|
- |
2013-02-03 16:16:03 |
0 |
- |
e209-105 |
ATTNEW: aspcomp2013_submission_17_checker.zip |
|
- |
2013-02-03 16:15:51 |
0 |
- |
e209-105 |
ATTNEW: aspcomp2013_submission_14_checker.zip |
|
- |
2013-02-03 16:15:43 |
0 |
- |
e209-105 |
ATTNEW: aspcomp2013_submission_12_checker.zip |
|
- |
2013-02-03 16:15:35 |
0 |
- |
e209-105 |
ATTNEW: aspcomp2013_submission_9_checker.zip |
|
- |
2013-02-03 16:15:26 |
0 |
- |
e209-105 |
ATTNEW: aspcomp2013_submission_6_checker.zip |
|
- |
2013-02-03 16:15:14 |
0 |
- |
e209-105 |
ATTNEW: aspcomp2013_submission_8_checker.zip |
|
- |
2013-02-03 16:15:05 |
0 |
- |
e209-105 |
ATTNEW: aspcomp2013_submission_5_checker.zip |
|
- |
2013-02-03 16:14:59 |
0 |
- |
e209-105 |
ATTNEW: aspcomp2013_submission_4_checker.zip |
|
- |
2013-02-03 16:14:50 |
0 |
- |
e209-105 |
ATTNEW: aspcomp2013_submission_3_checker.zip |
|
- |
2013-02-03 16:14:31 |
0 |
- |
e209-105 |
ATTNEW: aspcomp2013_submission_2_checker.zip |
|
- |
2013-02-03 16:14:05 |
0 |
- |
e209-105 |
ATTNEW: aspcomp2013_submission_21_checker.zip |
|
20 |
2013-02-02 22:25:35 |
8466 |
to previous |
chello080108100145 |
create empty column checker |
view |
19 |
2013-02-02 22:20:16 |
8416 |
to previous |
chello080108100145 |
|
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 |
t196-123 |
Graceful Graphs complexity added |
view |
16 |
2012-11-19 11:09:15 |
8259 |
to previous |
maia |
|
view |
15 |
2012-11-18 19:28:18 |
8255 |
to previous |
t193-157 |
Links to sample instances added (some are still missing) |
view |
- |
2012-11-18 18:45:26 |
5413 |
- |
t193-157 |
ATTNEW: valves_location_problem-sample.zip |
view get |
14 |
2012-11-18 18:44:53 |
6348 |
to previous |
t193-157 |
Fix ValvesLocation sample |
view |
13 |
2012-11-18 18:36:59 |
6396 |
to previous |
t193-157 |
Fix ValvesLocation sample |
view |
12 |
2012-11-18 18:34:11 |
6390 |
to previous |
t193-157 |
Add ValvesLocation sample |
view |
11 |
2012-11-18 18:28:46 |
6289 |
to previous |
t193-157 |
ASP-Core-2 Encoding column added |
view |
10 |
2012-11-17 11:57:53 |
6231 |
to previous |
maia |
|
view |
9 |
2012-06-02 07:36:04 |
23209 |
to previous |
194-166-31-156 |
|
view |
8 |
2012-06-02 07:32:58 |
23201 |
to previous |
194-166-31-156 |
Add a shitload of new optimization problems |
view |
7 |
2012-06-02 07:20:21 |
21797 |
to previous |
194-166-31-156 |
Add Nysret's benchmarks |
view |
6 |
2012-06-02 07:12:54 |
20819 |
to previous |
194-166-31-156 |
|
view |
5 |
2012-06-02 07:09:39 |
20668 |
to previous |
194-166-31-156 |
|
view |
4 |
2012-06-02 07:09:09 |
20669 |
to previous |
194-166-31-156 |
add ccg |
view |
3 |
2012-06-01 14:06:04 |
20536 |
to previous |
host227-28-dynamic |
|
view |
2 |
2012-06-01 14:04:32 |
20654 |
to previous |
host227-28-dynamic |
|
view |
1 |
2012-05-07 18:12:18 |
49 |
|
e208-236 |
Stub added |
view |