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 ESMTPS id C42505D4 for ; Sun, 7 Apr 2019 16:13:43 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,321,1549926000"; d="scan'208";a="377556778" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Apr 2019 18:13:42 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id AA6E38266A; Sun, 7 Apr 2019 18:13:42 +0200 (CEST) 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 B193F822B9 for ; Fri, 5 Apr 2019 15:38:35 +0200 (CEST) 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-wr1-f43.google.com IronPort-PHdr: =?us-ascii?q?9a23=3Agu+HaxzC4jsCsAzXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?1OIeIJqq85mqBkHD//Il1AaPAdyCraobwLSM++C4ACpcuM7H6ChDOLV3FDY9wf?= =?us-ascii?q?0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6?= =?us-ascii?q?PPn6FZDPhMqrye+y54fTYwJVjzahfL9+Nhq7oRjMusUMnYdvKKk9xxrXrnBVf+?= =?us-ascii?q?ha2X5kKUickhrh+su85oJv/zhVt/k868NOTKL2crgiQ7dFFjomKWc15MPqtRnH?= =?us-ascii?q?UwSC42YXX3sVnBRVHQXL9Qn2UZjtvCT0sOp9wzSaMtbtTb8oQzSi7rxkRwHuhS?= =?us-ascii?q?waKjM26mDXish3jKJGvBKsogF0zoDIbI2JMvd1Y6XQds4YS2VcRMZcTyxPDJ2h?= =?us-ascii?q?YYUMAeQOM+lXoJXyqVYVsRu+HBOhCP/zxjJGhHL727Ax3eQ7EQHB2QwtB9QAsG?= =?us-ascii?q?nIo9rvKawcS/21zK3JzTXFdfxdxDDw6IzQchA8pfGMXLRwftDKxEkyEQPFj06Q?= =?us-ascii?q?qZf/MzOUyuQAqm6W5PduW+Kojm4osQBxoj63y8c1kYbJiIYVylHf+iljx4Y1P9?= =?us-ascii?q?K4RUhmatCnCJtdrz+WO5dyT884QGxluDw2xqMYtZKmZiQHx5oqywbCZ/GDfYWE?= =?us-ascii?q?+AzvWPqeLDtimn5pZKyziwyv/UWu1uHxUNS/3kxQoSpfiNbMs2gA1xzN5ciDTf?= =?us-ascii?q?tw5kKh1iyO1wDX8+1FL1o0mbfCJ54vzbM9mIAfsUvEHi/xl0X2iLGZel849eiv?= =?us-ascii?q?7uTrerTmppmCOI9okgzyLLgil8ilDek7MgUCRXaX9fqh2LH58kD0Tq1Gjvgsna?= =?us-ascii?q?nYtJDaK94bpqm8AwJN1oYj8wu/DzOn0NQeh3YKN09FeBSGj4jyIFHCOvH4Deun?= =?us-ascii?q?j1S2jDhr3+zGPqHmApjVMnfMirLhfbJk505YyQoz1sxf6olPCrABJfLzQlX+uM?= =?us-ascii?q?bZDh8/KQy0wvzoBM9z1oMECiqzBfqSOabW9FuJ/f4HIu+WZYZTtiyuBeIi4qvK?= =?us-ascii?q?kHQw0WcAeaiv1NNDbGilGvVgKm2EZ3v3mZEADTFZ7UIFUOX2hQjaAnZobHGoUv?= =?us-ascii?q?dkv2BpOMedFY7GA7uVrvmE1Sa/EIdRYzkeWE2KEGzzMYSYCa5VNHCiZ/R5mzlB?= =?us-ascii?q?boCPDpc73Ej25hL8yqF8aOvIqHVB6MDTkeNt7uiWrikcsDx5C8PHjjOIRmBw23?= =?us-ascii?q?wSHno4gPs5rkt6xVOOl6N/hq4AGA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A8AwDQWadcfyvdVdFLGh4BBgcGgWWBY?= =?us-ascii?q?gWBElFZhA6JBoo0gWiEApYNA1QOAQEfDYoVGgcBBDQSAQEDAQEJAQMBAQETAQE?= =?us-ascii?q?JCwsIJyUMgjoigxgVCAEBJgwGNAImAjYBBQEvBgIBAQWCTksBgXUECzWjWTyJX?= =?us-ascii?q?Ro1cYEvgnkBAQWCRoRlCAkBCHkli0cXgUA/gTgMgT10g00Dgi2CPYJXikqbLgm?= =?us-ascii?q?BP4oaiCIGGoIFhhaDJokUg1aNDI5oAgQCBAUCBg8hgUWBdzMaCDCDJwmCAYNvh?= =?us-ascii?q?RSFQT0zAR1mj2kBAQ?= X-IPAS-Result: =?us-ascii?q?A0A8AwDQWadcfyvdVdFLGh4BBgcGgWWBYgWBElFZhA6JBoo?= =?us-ascii?q?0gWiEApYNA1QOAQEfDYoVGgcBBDQSAQEDAQEJAQMBAQETAQEJCwsIJyUMgjoig?= =?us-ascii?q?xgVCAEBJgwGNAImAjYBBQEvBgIBAQWCTksBgXUECzWjWTyJXRo1cYEvgnkBAQW?= =?us-ascii?q?CRoRlCAkBCHkli0cXgUA/gTgMgT10g00Dgi2CPYJXikqbLgmBP4oaiCIGGoIFh?= =?us-ascii?q?haDJokUg1aNDI5oAgQCBAUCBg8hgUWBdzMaCDCDJwmCAYNvhRSFQT0zAR1mj2k?= =?us-ascii?q?BAQ?= X-IronPort-AV: E=Sophos;i="5.60,312,1549926000"; d="scan'208";a="301948915" X-MGA-submission: =?us-ascii?q?MDHOc2+yIVgUY6ksYpmGsILbyaLa27Wp0G1FAR?= =?us-ascii?q?ebY5+5O5JqLW37K59IJkNT2AqiD51RtpGGZgySAQRBkhkpyEvm4u9PSz?= =?us-ascii?q?W6Cd6DC0gL0pv6fP7SHfGutVXUYZSUOB0JhuTQSoeXLKeDK84eHP2QZI?= =?us-ascii?q?fvmG82OR9mHQWLiMqfYLHVJw=3D=3D?= Received: from mail-wr1-f43.google.com ([209.85.221.43]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 05 Apr 2019 15:38:17 +0200 Received: by mail-wr1-f43.google.com with SMTP id q1so8096438wrp.0 for ; Fri, 05 Apr 2019 06:38:17 -0700 (PDT) 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=usFShX+tGmNxoxPuckgH5jZToYBOateI8NpWjfbUvfA=; b=jP1yp1Bysk1lmyBPy46s2Ruz2tf4ci4YSsy3gQfH4b41foLn7F4q8uusEk+IVv97Ch LPM6HdM2cJ/NImyQUX5DL9o97NakS9844jXNrAEcShdLUSUniTW05gpjZ8HQWS+LsSk6 uuC4K0WLEUAQl9MOUm1gSHlF5uMEnRytOESuHx1bFk9GsOz1f7dhQ4hY47NaoBy04ptW u26BWBr4VZ28wD6P+8iqlClxf2Kx3dWn33BMa/guBsE1LHOzcKqZQSh5jlbZzGIk22+v +zWCRuwpKzAEkd4zqNJQviKeffmKF3l9IHPDMV462KRw9X9Xju8eI4J64h3KbsZhqog5 ejOA== 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=usFShX+tGmNxoxPuckgH5jZToYBOateI8NpWjfbUvfA=; b=AHQGy8/Bftd6diRDRdcPl+tNwp2L1glj5HudXsFC0Hdv4ivslBRVBtn+ghec4sWAkC dnBk9KBLEqUTKj4fZ8Jqm8m4W55xUdMJh6MQK/yL/xpvINRC1Sh4aE5X9TKOon6bK1ee qCF6y1DRlCayOkofQjVsmf8sTCxLUGuyAIe+bHoOtqw28UUF2FN66PYAY+uPmryY+v9g QjH/u2dRFP+HYqAWy6DyKyVbX8nAXEIan20EiKOboFWFV7J7cAoX2Z1zHn9mQvIGGiWl Qm9GyME2aGCgSDa/gtOIOVVa0BmWUnOu95ATXqrGlbyDxbkxdNWki/yaMBVP3Wfp8jF3 jZCw== X-Gm-Message-State: APjAAAUDEcGa/HBE3VKp2l2NDPQ4EShDaH3VYySskAsR9TZTsqAiU39d 3OFsVpFrDDwuZRP2JLBIB5p2kUPos6N2HfTa4c+i5KkQuP8AAvDZu74ew5dOjukHQSlTXR7Bjd2 //J+46LUDUw== X-Google-Smtp-Source: APXvYqzoiwLp0I/bDgAn7BsZI7NU+/eA/Obr/IjgLsotOaNdS1W8Ga3UPPpYOIbqIh95PGExl6FZ1A== X-Received: by 2002:a5d:69c7:: with SMTP id s7mr8364303wrw.71.1554471496069; Fri, 05 Apr 2019 06:38:16 -0700 (PDT) Received: from Lucas-MacBook-Pro.local ([193.204.202.130]) by smtp.gmail.com with ESMTPSA id d16sm17120725wrs.68.2019.04.05.06.38.14 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 05 Apr 2019 06:38:15 -0700 (PDT) From: Luca Pulina To: caml-list@inria.fr Message-ID: <8063439d-d08a-d5a7-9735-4d5e7568500e@uniss.it> Date: Fri, 5 Apr 2019 15:38:13 +0200 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.14; rv:60.0) Gecko/20100101 Thunderbird/60.6.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'19 Competitive Evaluation of QBF Solvers - DEADLINE EXTENSION Reply-To: Luca Pulina X-Loop: caml-list@inria.fr X-Sequence: 17468 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'19 - Competitive Evaluation of QBF Solvers A joint event with the 22nd Int. Conference on Theory and Applications=20 of Satisfiability Testing (SAT) Lisbon, Portugal, July 7 - 12 2019 ***************************************************************************= ***** QBFEVAL'19 is the 2019 competitive evaluation of QBF solvers, and the=20 fourteenth evaluation of QBF solvers and instances ever. QBFEVAL'19=20 awards solvers that stand out as being particularly effective on=20 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'19, 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/qbfeval19.php *Important Dates* Registration open: March 31, 2019 Registration close: April 21, 2019 Solvers and Benchmarks due: April 30, 2019 First stage results: May 15, 2019 Second stage solvers due: May 30, 2019 Competition Benchmarks available for download: July 1, 2019 Final results: presented at SAT'19 *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