Instance 15-incremental_scheduling-1920-0.asp

Name	15-incremental_scheduling-1920-0.asp
Classes	[Root] Unclassified (3031) Incremental Scheduling (20) Model and Solve Track 3D ASP Competition (15)
Submitter	Barbara Nardi
Author	Marcello Balduccini and Yuliya Lierler
Description
Created	2012-03-29 11:06
Modified	2012-03-29 11:06
Languages	Facts
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	device(1). job(2). instances(1,2). device(2). instances(2,1). device(3). instances(3,2). job(5). device(4). instances(4,1). device(5). instances(5,1). job(1). job(3). job(4). precedes(1,2). precedes(2,3). precedes(4,5). job(6). job(7). job(8). job(9). job(10). job(11). job(12). deadline(9,17). deadline(12,33). precedes(5,6). precedes(7,8). precedes(8,9). precedes(10,11). precedes(11,12). importance(12,3). importance(11,3). importance(10,1). importance(9,3). importance(8,2). importance(7,2). importance(6,1). importance(5,3). importance(4,3). importance(3,2). importance(2,2). importance(1,2). job_device(1,2). job_device(4,1). job_device(7,1). job_device(10,2). job_device(2,3). job_device(5,4). job_device(8,4). job_device(11,3). job_device(3,5). job_device(6,5). job_device(9,5). job_device(12,5). job_len(12,14). job_len(11,11). job_len(10,10). job_len(9,16). job_len(8,5). job_len(7,4). job_len(6,6). job_len(5,18). job_len(4,3). job_len(3,7). job_len(2,14). job_len(1,16). deadline(3,13). deadline(6,12). max_total_penalty(434). curr_time(0). max_value(480).

Actions