From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id CDF718240C for ; Fri, 13 Apr 2018 13:59:23 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=lpulina@uniss.it; spf=Pass smtp.mailfrom=lpulina@uniss.it; spf=None smtp.helo=postmaster@mail-wm0-f48.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of lpulina@uniss.it) identity=pra; client-ip=74.125.82.48; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="lpulina@uniss.it"; x-sender="lpulina@uniss.it"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of lpulina@uniss.it designates 74.125.82.48 as permitted sender) identity=mailfrom; client-ip=74.125.82.48; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="lpulina@uniss.it"; x-sender="lpulina@uniss.it"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f48.google.com) identity=helo; client-ip=74.125.82.48; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="lpulina@uniss.it"; x-sender="postmaster@mail-wm0-f48.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3APgxIShZsb6xcuc7Z9cNduvT/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoM+/bnLW6fgltlLVR4KTs6sC17KN9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCazbL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD?= =?us-ascii?q?0fOjA57m/Zl8twgqFVrh2vqBNw34HabZqJNPd9ZK7RYc8WSGRDU8tXSidPApm8?= =?us-ascii?q?b4wKD+cZO+hYspXyqEETphWkGAmsAOLvyjlSiXTr2qA61/whERzC3AwhGdIBqm?= =?us-ascii?q?/ZrMjzNKcTSuC117PEzTTfb/5P3zr29YbGchckof6WXLJwd9LcyVA0GAPLilWQ?= =?us-ascii?q?qJfqMymS1uQXvGiW6fdrW+G3i2M/qQx8rSKjytoyhoTJnI4YyU7I+T92zYs2Pd?= =?us-ascii?q?G1SFR3bcOmHZdMrS2WKpd6T8I4T212uSs3zKANt4ShcygQ0psnwgbSa/yZfIiM?= =?us-ascii?q?5RLuTOORLi15hHJhYb6+iROy/VS5xu3yWcS500xGriVCktnLuXAN0wLc5tKbRf?= =?us-ascii?q?t6+0etwTeP1wbN5eFYOU05l6XWJ4Q8zrIulpcfq0fOEjHslEj5j6KabkAk9fKp?= =?us-ascii?q?6+TjbLXmvJicN4pshwH6KqQuh8i/AeU+MgcURGWb5OK81Lz4/U3iWrlKj+E2nr?= =?us-ascii?q?HDsJ/GPcQburK5AwhN34k/8Rm/CjOm3M0cnXkGN1JFZAmKj5PpOlHLOPD3F+2z?= =?us-ascii?q?g1WqkDdxxvDJJKftApvXLiuLrLC0dr947wtYyREv5dFZ/ZNdTL8bc9zpXUqkkM?= =?us-ascii?q?HTB1cBLgi1xe+vXNFly4cfX2unH6mYK7iUsEPetbFnGPWFeIJA4GW1EPMi/fO7?= =?us-ascii?q?1SZoy29YRrGg2N4sUF79G/1nJ0uDZn+12oUcF2YRpUw/UL6z0QHQYXtof3+3Gp?= =?us-ascii?q?kEyHQjEov/VdXeQIG2m/qAwHXjR8AEViV9ElmJVEzQWcCEVvMLMn/AJ8Zglnkb?= =?us-ascii?q?UODkRdNxkx6pswD+xvxsKe+GoiA=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CaCwBPmtBafzBSfUpCGh4BGAaDB4EQA?= =?us-ascii?q?4Efg2SIa4wpgVOBMJQNA1MLH4cOGQcBBDQUAQIBAQEBAQEBAQETAQEJCwsIJiU?= =?us-ascii?q?MQhABgWIignUPAQUIAQEmDAY0AiYCNgEFAS8GAgEBBYUEBAswm3E8iVQRM22CH?= =?us-ascii?q?IJuAQEFgWKDboInCAkBCHeGdIFUP4EyDIVtA4E4c4I0glSXYAiBCoZmhkQGgTO?= =?us-ascii?q?DWoIpD4UCiHGGfwIEAgQFAgUPIYEEM4FzMxoIMIJ9CYVzhRSFQG0BHYFgijWCR?= =?us-ascii?q?QEB?= X-IPAS-Result: =?us-ascii?q?A0CaCwBPmtBafzBSfUpCGh4BGAaDB4EQA4Efg2SIa4wpgVO?= =?us-ascii?q?BMJQNA1MLH4cOGQcBBDQUAQIBAQEBAQEBAQETAQEJCwsIJiUMQhABgWIignUPA?= =?us-ascii?q?QUIAQEmDAY0AiYCNgEFAS8GAgEBBYUEBAswm3E8iVQRM22CHIJuAQEFgWKDboI?= =?us-ascii?q?nCAkBCHeGdIFUP4EyDIVtA4E4c4I0glSXYAiBCoZmhkQGgTODWoIpD4UCiHGGf?= =?us-ascii?q?wIEAgQFAgUPIYEEM4FzMxoIMIJ9CYVzhRSFQG0BHYFgijWCRQEB?= X-IronPort-AV: E=Sophos;i="5.48,445,1517871600"; d="scan'208";a="322745877" Received: from mail-wm0-f48.google.com ([74.125.82.48]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 13 Apr 2018 13:59:23 +0200 Received: by mail-wm0-f48.google.com with SMTP id g8so4660616wmd.2 for ; Fri, 13 Apr 2018 04:59:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uniss-it.20150623.gappssmtp.com; s=20150623; h=from:to:subject:organization:message-id:date:user-agent :mime-version:content-transfer-encoding; bh=7Ancm3/94g/HYEb/A4WOisFJQCohOF7Ao6PBF0IceGo=; b=xPQh5kZienrC0VxMyJDoafwDUskSyX/nJGPymClDC0JX5dPrWy4ervyOgXYMez6L1b NJHv9YahmA6tFcdASPLdezL2zOA1NSDvo5tDOFP5wohpVOcpwKniuak8u3LENGjPi2Mt /JWeXV+GRoQ0wDtqz9HvM8gHh/fFPr7CzRiXMaoPQGFHpliDEuAmfR7I4SwR2jKOEfC1 o0rLiBfVd3xq+M2hyzN//KZArjrJpw6oliCAPSUET0EdAgA2GJRmRG29ryCr73+sHS3y w454mwcsfco4WZ4kIFFawjnjpu0VBKdI7+Z6FQ4DH7Q9tyvJAfwkJS1bA6RXzi7O1CRA BhOQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:organization:message-id:date :user-agent:mime-version:content-transfer-encoding; bh=7Ancm3/94g/HYEb/A4WOisFJQCohOF7Ao6PBF0IceGo=; b=pVnSSLefimpJuV2do/hk2Fm0VoL424fvClcVwpqbUucas8YkNznDazOQrYphWaWInv e8UrzA0bFnBty3gGcW3BmV5bUC6gdZ/byqiZtbxXX7xNXoYZCy/wNqyN4QCROlKgZp3w 5H2EL7wVpjBczEOml/P+rpeQCbXz5CpuzSHMwcaLeLk8x0gb8bJG4EiaMwzqx/16RXyU iC54m0KPzKWLFxGwLIp7g4zT8NLzF1/xaYZLPWMkU3FFGh5VNSN26UMGONHMXVeCjp68 k6WBzt2zLpO5yY22ExO1x655Sve8z6pOSg4X6Xw6JVY8t4qIpF2MWKn6RsfuW3ajRoUx 2qVA== X-Gm-Message-State: ALQs6tBKmu5dsxDl9Tt1ZbKVUBPncHIIhB+MtrVfGlfN+8wD2+UUY0N1 ND1uLn87/PmR8ZyU5PzHX36cc5yf4mcm8g== X-Google-Smtp-Source: AIpwx495ksC04dTDzaVY9YR401LUl5NVq9IlznBNSB+VdN35RYn0sS8Efem/fb8AfnV9MivPcbkRMQ== X-Received: by 10.28.23.149 with SMTP id 143mr3475449wmx.0.1523620761975; Fri, 13 Apr 2018 04:59:21 -0700 (PDT) Received: from [172.20.10.4] ([5.170.106.26]) by smtp.gmail.com with ESMTPSA id r19sm1879897wmd.32.2018.04.13.04.59.20 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 13 Apr 2018 04:59:21 -0700 (PDT) From: Luca Pulina To: caml-list@inria.fr Organization: University of Sassari Message-ID: Date: Fri, 13 Apr 2018 13:59:19 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.7.0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Validation-by: lpulina@uniss.it Subject: [Caml-list] QBFEVAL'18 - Deadline extension [apologies for any cross-posting] ****************************************************************************************** QBFEVAL'18 - Competitive Evaluation of QBF Solvers A joint event with the 21st Int. Conference on Theory and Applications of Satisfiability Testing (SAT) (affiliated with FLoC 2018) Oxford, UK, July 9 - July 12 2018 ****************************************************************************************** QBFEVAL'18 is the 2018 competitive evaluation of QBF solvers, and the thirteenth evaluation of QBF solvers and instances ever. QBFEVAL'18 awards solvers that stand out as being particularly effective on specific categories of QBF instances. We warmly encourage developers of QBF solvers to submit their work, even at early stages of development, as long as it fulfills some very simple requirements. We also welcome the submission of QBF formulas to be used for the evaluation. Researchers thinking about using QBF-based techniques in their area (e.g., formal verification, planning, knowledge representation & reasoning) are invited to contribute to the evaluation by submitting QBF instances of their research problems (see the requirements for instances). The results of the evaluation will be a good indicator of the current feasibility of QBF-based approaches and a stimulus for people working on QBF solvers to further enhance their tools. Details about solvers and benchmarks submission, tracks, and related rules, are available at http://www.qbflib.org/qbfeval18.php For questions, comments and any other issue regarding QBFEVAL'18, please get in touch with the organizers via qbf18@qbflib.org. ** Important Dates ** -    Registration close: April 22 (incl. solver description) - EXTENDED -    Solvers and Benchmarks due: April 25 (for all tracks except Hard-Instances Track) - EXTENDED -    First stage results: May 3 -    Second stage solvers due: May 15 (for all tracks except Hard-Instances Track) -    Hard instances solver due: June 1 (no registration is necessary) -    Competition Benchmarks available for download: June 14 -    Final results: presented at SAT'18 ** Organizing committee ** * Organization * Luca Pulina, University of Sassari Martina Seidl, Johannes Kepler Universitat Linz * Judges * Olaf Beyersdorff, University of Leeds Christoph Wintersteiger, Microsoft Research Limited -- Luca Pulina, Ph.D. Associate Professor of Computer Science University of Sassari Tel. +39 079 228987