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 c5ff346549e7 (Postfix) with ESMTP id 475C15D4 for ; Wed, 26 Feb 2020 17:10:38 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,488,1574118000"; d="scan'208";a="437783710" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Feb 2020 18:10:37 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 1AA937F439; Wed, 26 Feb 2020 18:10:37 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id D3F807ED20 for ; Wed, 26 Feb 2020 18:06:30 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=lpulina@uniss.it; spf=Pass smtp.mailfrom=lpulina@uniss.it; spf=None smtp.helo=postmaster@mail-wm1-f41.google.com IronPort-PHdr: =?us-ascii?q?9a23=3ABtZN5xLlYKVZQu131tmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRL/XxwZ3uMQTl6Ol3ixeRBMOHsq4C2rad4v6ocFdDyKjCmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfLx/IA+yoAjeucUbhYpvIbstxxXUpXdFZ+?= =?us-ascii?q?tZyWR0KFyJgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7ULJVEi0oP3g668P3uxbD?= =?us-ascii?q?SxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5LplRRP0lC?= =?us-ascii?q?sKMSMy/WfKgcJyka1bugqsqRxhzYDJY4+bOvRxcazBct0VXmdBQt9RWjZdDo+g?= =?us-ascii?q?YYYCDewMNvtYoYnnoFsOqAOzCw+xBOzz0DBDm2X43bA+0+QgFwHJxhErEtUKsH?= =?us-ascii?q?TMsdX1MKYSUeavw6TT0DXDafJW2Szm6ITScxAhveiBULRtesTfzkkvEhnKjlSW?= =?us-ascii?q?qYH9JjOazeoNs2ya7+V7T+6vjHQnqw53rzOyxckskpHEipwJxl3A7yl0w4Y4Kc?= =?us-ascii?q?elREJlYtOoCpRduzyCO4drRs4uXXtktDs7x7AEo5K2fScHxI45yxLBaPGKdZWD?= =?us-ascii?q?7Aj5W+aLOzh4gWpoeLKhiBa29kit0uj8WdO10FZOtyZEnNzMum0U2xzd5cWLV+?= =?us-ascii?q?Fx/kim2TaI2ADT7v9LLVoomqrcLp4t2r8wlpwNvkTfBiL6hln6gauMekgn+uWk?= =?us-ascii?q?8fnrbqvlq5OGOIJ4lxnyMqE0lcy+BeQ4PBIOX2+e+emk0L3j5VD5QLFLjv0wiK?= =?us-ascii?q?bUq43aJcIapq6iGA9ZyIcj6wqnAze8zNsYhWUHLE5CeB+fk4fmIVTOIPThAfe7?= =?us-ascii?q?glSsiytryuvdPrzhB5XNNmLMnK3gfbZ78U5cyRA8wcpR55JOWfk9J6f4U0r18d?= =?us-ascii?q?jZFQMRMgquwu+hBs8u+JkZXDerH6SQeJvPtV6O76p7J/GRYI4TsR7gLfk+/Ljv?= =?us-ascii?q?kSlqyhcmYaC10M5POziDFfN8LhDBOCu+spI6CW4P+zEGYqnvgVyGXyRUYi/qDb?= =?us-ascii?q?865yogToO6X96aG9KdxYeZ1SL+JaV4I2BLDlfWTCXtfoSAHugJMWecfpYnnTsD?= =?us-ascii?q?WrysDYQm0EP27VOo+/9cNuPRvxYgm9f7ztEsv7/OkxAp7np1E5bF3g=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DxAwC4pFZefymAVdFLGoQ5BYEYVVyEF?= =?us-ascii?q?I55hX+WeANUCQEDAQoBAR8OAgQBAYZDHAcBBDQTAhABAQUBAQECAQIDBAETAQE?= =?us-ascii?q?JCwsIJ4VADII7IoMfERUIAQEmDAY0AiYCNgEFAS8GAgEBBRmCOUsBgnsPPKIHg?= =?us-ascii?q?QQ9iWQaNXWBMoJ/AQEFgkSDPIE1CQkBCHwqjCUagUE/gTiBSoREA4IxgkSCXo1?= =?us-ascii?q?eojyBalyMTYoSBhyCSYgbhBWMNYRHkTOUPQIEAgQFAgYPI4FGgXozGggwgycJR?= =?us-ascii?q?xgNV5E5hRSFQkAzAh1mkFkBAQ?= X-IPAS-Result: =?us-ascii?q?A0DxAwC4pFZefymAVdFLGoQ5BYEYVVyEFI55hX+WeANUCQE?= =?us-ascii?q?DAQoBAR8OAgQBAYZDHAcBBDQTAhABAQUBAQECAQIDBAETAQEJCwsIJ4VADII7I?= =?us-ascii?q?oMfERUIAQEmDAY0AiYCNgEFAS8GAgEBBRmCOUsBgnsPPKIHgQQ9iWQaNXWBMoJ?= =?us-ascii?q?/AQEFgkSDPIE1CQkBCHwqjCUagUE/gTiBSoREA4IxgkSCXo1eojyBalyMTYoSB?= =?us-ascii?q?hyCSYgbhBWMNYRHkTOUPQIEAgQFAgYPI4FGgXozGggwgycJRxgNV5E5hRSFQkA?= =?us-ascii?q?zAh1mkFkBAQ?= X-IronPort-AV: E=Sophos;i="5.70,488,1574118000"; d="scan'208";a="340518839" X-MGA-submission: =?us-ascii?q?MDF3byHLfromrWbPtC1NClrHQthIvycb26Fis+?= =?us-ascii?q?t+N9Nq5UAHSDQn3c13SngXoJBp3qG8YDtpc4K1fPiZmsseF2TuPZkUa0?= =?us-ascii?q?zXjf236Ti26qn333NNT4Q2A6senJGfJ5U/iFpjyaW2lFtGrJ1169OHuO?= =?us-ascii?q?pnJZzerwZ6S1CKgHk1gU7F7g=3D=3D?= Received: from mail-wm1-f41.google.com ([209.85.128.41]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 26 Feb 2020 18:06:30 +0100 Received: by mail-wm1-f41.google.com with SMTP id p9so23189wmc.2 for ; Wed, 26 Feb 2020 09:06:29 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uniss-it.20150623.gappssmtp.com; s=20150623; h=from:to:subject:message-id:date:user-agent:mime-version :content-transfer-encoding:content-language; bh=A4YQ2aDQrMgBDKhhn+/uPhAOI/uprOHgsjMW3ntps34=; b=sgZRMdiJ+l9qsUnh1D+sm2jqlP3iTqVuojsnjXMDyyDr8puARuih7Y3uMtOdPlTjoj /iY1+cn5fuq1bVS9+Zw93pkpq0CXTuebna36naqvTQJBP5KSv1w2xo6BsZYscGZTqqmc i7Ww/zJx3FPQqmlGa+RUsxWi7goEFRjneABR08eESLV7rE3s6CCW9mgfmfLoZC78trtM jjrtUtv2WOPiMrWtSnojH3fJ2J6wUl6cCWjRpx5ugx01vgR6ycixBorBJWVhAMwg0oEc jQr/njfRtFYn8SDQp9H3lttDO0ZOUL3KUD2BmCXyEwrK8QZNwmwz++OFnMb4Ozwnr/MJ w9Pw== 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:message-id:date:user-agent :mime-version:content-transfer-encoding:content-language; bh=A4YQ2aDQrMgBDKhhn+/uPhAOI/uprOHgsjMW3ntps34=; b=CX2pxQdo8stP2SYjq2Mo0HZwNgV4ozePo78ifA7nTPF5+I8lmAcX1yaKlSYK7Gei1y UlbFlDhKBuErXpj9xzTxox4YN0ZZ7snoPxwYNc0F/SZr/eOnvIsUUtxzjjWi8GTho2kl fEg7WlA2v8abmbDTzklNjNvhJ4OZODq9nMo8ta7w2fY9aveCJ8+V40Mx63p7Fam5UG7z GyHYgOOTRHE2Zu8t70K3x8a7CegL0kHNtG4vmlu2pthZ26RO+KEGVOjQYt8PHsuvJRbG IhTJYVbeS+Mpu7glwAAmcg6Qf7dNgTMX6LXcPeArafS7aiW8cGbbs+X96XGV4gv44dOx 2Q2A== X-Gm-Message-State: APjAAAUOUPFKbVfbkMvi6/8IGquokJTlpAbVTqlfqpmZ1m0kVDdb0+NL jLlkBx33a84LayzaU7qpnbHe/b3hyGmFbZ5e9LqpYUY+KVR8CF96yV8CnzYVRu4bXmrVdQxthmi tbYqq6ZYtvQ== X-Google-Smtp-Source: APXvYqx+rpxloniOsi8f4gKJN1EeONy9tWP/8Aq3ZRTvxdOhn3br1VutYrC6IXRFVrCjSXzdIXlzKw== X-Received: by 2002:a1c:c344:: with SMTP id t65mr6387631wmf.97.1582736787031; Wed, 26 Feb 2020 09:06:27 -0800 (PST) Received: from Lucas-MacBook-Pro.local ([192.167.64.228]) by smtp.gmail.com with ESMTPSA id w7sm3458414wmi.9.2020.02.26.09.06.25 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 26 Feb 2020 09:06:26 -0800 (PST) From: Luca Pulina To: caml-list@inria.fr Message-ID: <9d2b9f58-a59c-a70e-7e4a-467429a7d758@uniss.it> Date: Wed, 26 Feb 2020 18:06:24 +0100 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.14; rv:60.0) Gecko/20100101 Thunderbird/60.9.1 MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Transfer-Encoding: quoted-printable Content-Language: en-US X-Validation-by: lpulina@uniss.it Subject: [Caml-list] QBFEVAL'20 - Competitive Evaluation of QBF Solvers Reply-To: Luca Pulina X-Loop: caml-list@inria.fr X-Sequence: 18020 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: [apologies for any cross-posting] ***************************************************************************= ***** QBFEVAL'20 - Competitive Evaluation of QBF Solvers A joint event with the 23rd Int. Conference on Theory and Applications=20 of Satisfiability Testing (SAT) Alghero, Italy, July 5 - 9 2020 ***************************************************************************= ***** QBFEVAL'20 is the 2020 competitive evaluation of QBF solvers, and the=20 fifteenth event aimed to assess the performance of QBF solvers.=20 QBFEVAL'20 awards solvers that stand out as being particularly effective=20 on specific categories of QBF instances. We warmly encourage developers of QBF solvers to submit their work, even=20 at early stages of development, as long as it fulfills some very simple=20 requirements. We also welcome the submission of QBF formulas to be used for the=20 evaluation. Researchers thinking about using QBF-based techniques in=20 their area (e.g., formal verification, planning, knowledge=20 representation & reasoning) are invited to contribute to the evaluation=20 by submitting QBF instances of their research problems (see the=20 requirements for instances). The results of the evaluation will be a=20 good indicator of the current feasibility of QBF-based approaches and a=20 stimulus for people working on QBF solvers to further enhance their tools. For questions, comments and any other issue regarding QBFEVAL'20, please=20 get in touch with the organizers via qbfeval@qbflib.org. Details about=20 solvers and benchmarks submission, tracks, and related rules, are=20 available at http://www.qbflib.org/qbfeval20.php *Important Dates* Registration open: February 26, 2020 Registration deadline: April 19, 2020 Solvers and Benchmarks due: April 26, 2020 First stage results: May 3, 2020 Second stage solvers due: May 17, 2020 Competition Benchmarks available for download: July 1, 2020 Final results: presented at SAT'20 *Organization* Luca Pulina, University of Sassari Martina Seidl, Johannes Kepler Universitat Linz Ankit Shukla, Johannes Kepler Universitat Linz --=20 -- *Dona il=C2=A0 5x1000* all'Universit=C3=A0 degli Studi di Sassaricodice fis= cale:=20 00196350904