From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id 249361382C5 for ; Mon, 12 Feb 2018 18:14:23 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id CB7EEE0AAF; Mon, 12 Feb 2018 18:14:17 +0000 (UTC) Received: from smtp.laposte.net (smtpoutz29.laposte.net [194.117.213.104]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 51AA2E0A9A for ; Mon, 12 Feb 2018 18:14:17 +0000 (UTC) Received: from smtp.laposte.net (localhost [127.0.0.1]) by lpn-prd-vrout017 (Postfix) with ESMTP id AD270A0AFB0 for ; Mon, 12 Feb 2018 19:14:15 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=laposte.net; s=mail0; t=1518459255; bh=DFAugzszULbFPNogTLIJmSVLFPxuix3cLbEgNr9Z0Yo=; h=Subject:To:References:From:Date:In-Reply-To; b=jyaKlf2PAeORwLT520MWWbgQXaCnziJwI9V87PgwH2fHYn/PYYW3I0kRojVv6Fwoe y3aSYIw1MMZ49kIHMJfrAAWywLcj0Xhl8pdntvu9IaGPgJ6YX4vr7yMk4moKtMzt7c ngIx34SAv0VJo4Murkr0C2D5bSCgMosvCivp8f5FzeVG5yJ801D9uTB624sTEKIbD8 N/V3+wEWkm4D4v2/6sfCC4m5ukMQh1vS14KqYoTEAywBWoI1fhPqYNMfuco49LZOsR JOTpy+GQ0fGcjbHUKxU9SBr8jNLfFL5g+IRwzosx7uGVSua7Vte3fwfWt8zPiIUbWP T7lMFD/z6Rs/A== Received: from smtp.laposte.net (localhost [127.0.0.1]) by lpn-prd-vrout017 (Postfix) with ESMTP id 9C4D0A0B01E for ; Mon, 12 Feb 2018 19:14:15 +0100 (CET) Received: from lpn-prd-vrin003 (lpn-prd-vrin003.laposte [10.128.63.4]) by lpn-prd-vrout017 (Postfix) with ESMTP id 93A3CA0AFB0 for ; Mon, 12 Feb 2018 19:14:15 +0100 (CET) Received: from lpn-prd-vrin003 (localhost [127.0.0.1]) by lpn-prd-vrin003 (Postfix) with ESMTP id 82BFF493A7A for ; Mon, 12 Feb 2018 19:14:15 +0100 (CET) Received: from [192.168.1.2] (unknown [151.32.41.96]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by lpn-prd-vrin003 (Postfix) with ESMTPSA id 4B0D7493A76 for ; Mon, 12 Feb 2018 19:14:15 +0100 (CET) Subject: Re: [gentoo-dev] SAT-based dependency solver: request for test cases To: gentoo-dev@lists.gentoo.org References: <5a72e2ed-bab7-5517-53ff-6a239313a91c@gentoo.org> From: Michael Lienhardt Message-ID: Date: Mon, 12 Feb 2018 19:14:39 +0100 User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-dev@lists.gentoo.org Reply-to: gentoo-dev@lists.gentoo.org MIME-Version: 1.0 In-Reply-To: <5a72e2ed-bab7-5517-53ff-6a239313a91c@gentoo.org> Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 8bit X-VR-FullState: 0 X-VR-Score: 0 X-VR-Cause-1: gggruggvucftvghtrhhoucdtuddrgedtfedrvdeigdduudefucetufdoteggodetrfdotffvucfrrhho X-VR-Cause-2: fhhilhgvmecunfetrffquffvgfenuceurghilhhouhhtmecuhedttdenucenucfjughrpefuvfhfhffk X-VR-Cause-3: ffgfgggjtgfgsehtkeertddtfeejnecuhfhrohhmpefoihgthhgrvghlucfnihgvnhhhrghrughtuceo X-VR-Cause-4: mhhitghhrggvlhdrlhhivghnhhgrrhgutheslhgrphhoshhtvgdrnhgvtheqnecuffhomhgrihhnpeii X-VR-Cause-5: fihivggsvghlthhorhgrlhhfrdguvgdpghhithhhuhgsuhhsvghrtghonhhtvghnthdrtghomhenucfk X-VR-Cause-6: phepudehuddrfedvrdeguddrleeinecurfgrrhgrmhepmhhouggvpehsmhhtphhouhhtpdhhvghlohep X-VR-Cause-7: lgduledvrdduieekrddurddvngdpihhnvghtpeduhedurdefvddrgedurdeliedpmhgrihhlfhhrohhm X-VR-Cause-8: pehmihgthhgrvghlrdhlihgvnhhhrghrughtsehlrghpohhsthgvrdhnvghtpdhrtghpthhtohepghgv X-VR-Cause-9: nhhtohhoqdguvghvsehlihhsthhsrdhgvghnthhoohdrohhrghenucevlhhushhtvghrufhiiigvpedt X-VR-AvState: No X-VR-State: 0 X-VR-State: 0 X-Archives-Salt: b8cc01df-f895-4e3f-a61d-59b329138c7d X-Archives-Hash: 861359b56959117929914f04a0af895a Sorry for the late reply. This is a very interesting offer :) However, I don't have the capacity to manage such quantity of data yet. Up until now, I performed my tests in a VM on my laptop without anything else running... Few days ago, my department lent me a dedicated laptop to perform the tests, which I still need to set up... I'll definitively get back to you soonish. Thanks! Michael Il 08/02/2018 20:57, Toralf Förster ha scritto: > On 02/06/2018 11:52 AM, Michael Lienhardt wrote: >> >> To help, you can send us the tar generated by this bash script: https://raw.githubusercontent.com/HyVar/gentoo_to_mspl/master/benchmarks/get_installation.sh >> This bash script extracts your world file, the USE flags and keywords configuration of your system and the list of installed packages you have (it should not take more than few seconds). >> With this, we will see if our solver is able to recreate your system and how much time it takes. >> >> You can send everything to my professional email: mlienhar@di.unito.it >> > Just send an email to that with an uunencoded tar.xz file from one of the tinderbox images [1] I do run. > > I can adapt the scripts to send the result file of each of the currently 7 running images daily. > > > [1] https://zwiebeltoralf.de/tinderbox.html > > -- > Toralf > PGP 23217DA7 9B888F45 >