Please wait ...

Benchmark(s) have been added to cart.

Tag has been added.

• Login
• Links
• FAQs
• Contact

Navigation

• Instance
  • Show Instances
• Problem
  • Show Problems
• Show Tags
• Search
• Cart

Encoding disjunctive-scheduling_clingcon.py

Name	disjunctive-scheduling_clingcon.py
Class Tree	[Root]    Miscellaneous (45)    ASP Contest 09 (45)    Input/Output Formatting Tools (3)
Submitter	Martin Gebser
Author	Martin Gebser and Roland Kaminski
Description	This Python script translates solution output by Clingcon for the Disjunctive Scheduling problem (cf. http://asp.haiti.cs.uni-potsdam.de/encoding/show/id/5815) into a a more common answer set format. Usage (Bourne again shell): clingcon --restarts=no --csp-num-as=1 disjunctive-scheduling_decision.clingcon <instance> 2>&1 | ./disjunctive-scheduling_clingcon.py
Created	2009-03-27 12:58
Modified	2009-05-15 20:45
Languages
Language Features
Compatible Instance Classes
Input Predicates
Output Predicates
Encoding Parameter
Standalone	No
Tags
Attributes
Content	#!/usr/bin/python import subprocess import re import sys import signal import os def signal_handler(signalnumber, frame): print "UNKNOWN" os._exit(1) def remove(): signal.signal(signal.SIGINT, signal.SIG_IGN) signal.signal(signal.SIGTERM, signal.SIG_IGN) signal.signal(signal.SIGHUP, signal.SIG_IGN) signal.signal(signal.SIGINT, signal_handler) signal.signal(signal.SIGTERM, signal_handler) signal.signal(signal.SIGHUP, signal_handler) try: unsat = True for line in sys.stdin: if re.match("Answer", line): unsat = False if not unsat: r = re.finditer("time\(([^\)]*)\)=(0|-?[1-9][0-9]*)", line) printed = False for m in r: if not printed: remove() else: printed = True print "time(%s,%s)." % (m.group(1), m.group(2)), if printed: break if re.search("INTERRUPTED", line): remove() print "UNKNOWN" break if unsat and re.match("Models[\s]*:[\s]*0", line): remove() print "UNSATISFIABLE" break except: print "UNKNOWN"