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 check.py

Name	check.py
Class Tree	[Root]    Miscellaneous (45)    ASP Contest 09 (45)    Verification and Evaluation Encodings and Tools (38)
Submitter	Martin Gebser
Author	Martin Gebser and Roland Kaminski
Description	This script invokes gringo/clasp to check (decision problems) or evaluate the quality (optimization problems) of solutions. Example calls and outputs (for instance, correct solution, and verification/evaluation encoding): $./check.py tsp_ins.lp tsp_sol.lp tsp_chk.lp 2> /dev/null CORRECT $./check.py tsp_ins.lp tsp_sol.lp tsp_opt.lp 2> /dev/null CORRECT.564.OPTIMALITY-UNKNOWN $ cat tsp_ins.lp tsp_sol.lp tsp_chk.lp | ./check.py 2> /dev/null CORRECT $ cat tsp_ins.lp tsp_sol.lp tsp_opt.lp | ./check.py 2> /dev/null CORRECT.564.OPTIMALITY-UNKNOWN In the case that no answer set is reported by clasp, we get output: INCORRECT
Created	2009-03-13 21:23
Modified	2009-05-19 18:48
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 gringo = subprocess.Popen(["gringo"] + sys.argv[1:], stdout = subprocess.PIPE) clasp = subprocess.Popen(["clasp", "-n", "1"], stdin = gringo.stdout, stdout = subprocess.PIPE, stderr = subprocess.PIPE, universal_newlines = True) out, err = clasp.communicate() res = [] m = re.search("^Models : (0|[1-9][0-9]*)", out, re.MULTILINE) if m != None and m.group(1) == "1": res.append("CORRECT") m = re.search("^quality\((0|[1-9][0-9]*)\)", out, re.MULTILINE) if m != None: res.append(m.group(1)) res.append("OPTIMALITY-UNKNOWN") # m = re.search("^Optimization: (0|[1-9][0-9]*)", out, re.MULTILINE) # if m != None: # print m.group(1) # print "OPTIMALITY UNKNOWN" elif m != None and m.group(1) == "0": res.append("INCORRECT") else: res.append("ERROR") print ".".join(res)