InstanceRuntimeResult
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-3.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-8.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-1.opb364.3SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-5.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-9.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-6.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-7.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-9.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-9.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-8.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-6.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-6.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-2.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-3.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-3.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-7.opb246.2SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-3.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-9.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-6.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-8.opb1436SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-7.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-4.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-5.opb141.8SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-8.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-2.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-3.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-5.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-6.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-9.opb268.6SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-7.opb945.1SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-1.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-2.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-3.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-4.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-9.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-6.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-9.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-9.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-2.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-1.opb736SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-4.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-1.opb429.6SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-8.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-1.opb140.8SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-2.opb1672SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-7.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-8.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-5.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-8.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-9.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-7.opb1311SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-8.opb65.5SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-5.opb312SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-6.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-0.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-5.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-3.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-0.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-2.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-9.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-5.opb13.5SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-4.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-7.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-8.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-6.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-3.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-4.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-0.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-6.opb24.73SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-4.opb1458SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-5.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-7.opb43.93SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-6.opb168.9SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-4.opb37.43SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-8.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-0.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-0.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-5.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-9.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-0.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-9.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-2.opb90.37SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-5.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-5.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-7.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-3.opb375.3SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-2.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-2.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-4.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-4.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-4.opb321.4SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-7.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-0.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-5.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-7.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-8.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-6.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-2.opb281.3SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-0.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-6.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-3.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-0.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-0.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-7.opb300.9SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-8.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-7.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-9.opb108.5SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-5.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-9.opb749.2SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-3.opb1787SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-4.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-3.opb400.6SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-2.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-9.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-7.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-2.opb34.75SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-8.opb329.5SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-7.opb66.62SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-6.opb38.59SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-3.opb72.08SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-7.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-3.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-4.opb428.2SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-0.opb537.6SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-6.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-5.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-8.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-2.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-9.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-0.opb273.9SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-4.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-2.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-2.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-7.opb488.9SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-0.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-0.opb373.9SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-3.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-7.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-5.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-4.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-4.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-6.opb569.7SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-4.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-8.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-0.opb365.9SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-0.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-9.opb380.7SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-2.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-9.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-3.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-0.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-6.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-4.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-5.opb120.7SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-6.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-5.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-6.opb1748SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-8.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-8.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-0.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-3.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-4.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-3.opb287.1SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-5.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-1.opb77.46SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-8.opb386.9SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-2.opb358.5SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-2.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity4pyramidP0125.opb4.195UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity4houseP016.opb0.1234UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity4pyramidP0016.opb0.07426UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity3houseP032.opb0.248UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity3houseP016.opb0.0597UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity4houseP064.opb2.142UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity5houseP128.opb28.53UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity4pyramidP0064.opb1.467UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity3pyramidP0125.opb2.036UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity5houseP064.opb6.908UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity5houseP032.opb1.222UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity5pyramidP0125.opb15.13UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity5pyramidP0064.opb3.364UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity4houseP128.opb9.123UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity5pyramidP0016.opb0.1161UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity5houseP016.opb0.2248UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity4pyramidP0032.opb0.2582UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity3pyramidP0016.opb0.03205UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity4houseP032.opb0.4954UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity5pyramidP0032.opb0.506UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity3houseP064.opb1.023UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity3pyramidP0064.opb0.5067UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity3pyramidP0032.opb0.1298UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity3houseP128.opb4.692UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x40split.opb53.76UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x80split.opb140.1UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x140split.opb418.6UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x60split.opb0.1909UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x70split.opb0.1813UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x50split.opb0.1407UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x30split.opb18.81UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x150split.opb415.7UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x130split.opb377.6UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x20split.opb9.768UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x30split.opb0.05871UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x90split.opb187.7UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x80split.opb0.2584UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x60split.opb67.17UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x70split.opb101.9UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x40split.opb0.08738UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x120split.opb369.3UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x110split.opb280.8UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x50split.opb54.28UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x20split.opb0.03886UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x10split.opb1.255UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x100split.opb0.3576UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x100split.opb302.6UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x90split.opb0.3055UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x10split.opb0.0191UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x21.opb0.05801UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x23-hard.opb0.08264UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x5.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x21-hard.opb0.1708UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x11.opb0.02015UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x15.opb0.02949UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x11-hard.opb0.00568UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-47.opb0.01925UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-37.opb0.01655UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x15-hard.opb0.03506UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-13.opb0.003431UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x29-hard.opb0.2766UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x9.opb0.01635UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x25-hard.opb0.03997UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x29.opb0.3435UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-25.opb0.005111UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x11-hard.opb0.02346UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x27.opb0.09065UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x27-hard.opb0.1093UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x21.opb0.1559UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x19-hard.opb0.05494UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x7.opb0.01245UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x25-hard.opb0.6713UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x23.opb0.0634UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x23.opb0.03139UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-35.opb0.01398UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-41.opb0.01893UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-21.opb0.004834UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-51.opb0.02073UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-39.opb0.01468UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-7.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x25.opb0.2611UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x15-hard.opb0.1833UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x27-hard.opb0.2812UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-31.opb0.01252UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x13.opb0.02704UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-29.opb0.01066UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x9-hard.opb0.02736UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x21.opb0.02458UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x17.opb0.02253UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-5.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x13.opb0.06168UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x13-hard.opb0.01223UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x27-hard.opb0.7939UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x19-hard.opb0.3427UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x11-hard.opb0.04818UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x29.opb0.04113UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x13.opb0.01035UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x15-hard.opb0.08009UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x25-hard.opb0.2377UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x21-hard.opb0.06465UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-3.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x27.opb0.3001UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x7-hard.opb0.00504UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x29-hard.opb0.8903UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x15-hard.opb0.02097UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-43.opb0.01381UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x17.opb0.09398UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x15.opb0.0134UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x13-hard.opb0.1684UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x29-hard.opb0.1213UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x17-hard.opb0.03789UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x13-hard.opb0.02791UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x25.opb0.03534UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x23-hard.opb0.1596UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x21-hard.opb0.02977UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-17.opb0.003266UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x13-hard.opb0.05908UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x29-hard.opb0.03898UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x9.opb0.007872UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-45.opb0.01733UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-23.opb0.004445UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x19-hard.opb0.1197UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x25.opb0.07991UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x9.opb0.01969UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-9.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x19.opb0.04982UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x5-hard.opb0.003721UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-49.opb0.01771UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x19-hard.opb0.02141UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-11.opb0.002812UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x15.opb0.07875UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x17.opb0.04055UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x7-hard.opb0.006736UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x27.opb0.04385UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x11.opb0.04335UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x17-hard.opb0.1108UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x25-hard.opb0.0908UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x29.opb0.1017UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x17-hard.opb0.01785UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x21-hard.opb0.4113UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x11-hard.opb0.1153UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-33.opb0.01612UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x23.opb0.1914UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x19.opb0.02548UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x23-hard.opb0.03515UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-19.opb0.003092UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x9-hard.opb0.01479UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-15.opb0.002153UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-27.opb0.011UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x19.opb0.1175UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x9-hard.opb0.01025UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x11.opb0.01493UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x23-hard.opb0.5091UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x17-hard.opb0.2719UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x27-hard.opb0.04387UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x7.opb0.00672UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v111-n1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v091-n1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v030-n1.opb0.1013UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v031-n1.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v110-n1.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v050-n1.opb494.2UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v011-n1.opb0.3147UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v051-n1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v100-n1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v080-n1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v061-n1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v041-n1.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v021-n1.opb574.2UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v071-n1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v070-n1.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v010-n1.opb0.003853UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v101-n1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v060-n1.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v081-n1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v090-n1.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v040-n1.opb130.4UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v020-n1.opb0.02209UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v091-n3.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v061-n2.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v021-n3.opb0.1376UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v061-n1.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v091-n2.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v041-n1.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v071-n3.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v061-n3.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v011-n3.opb0.002949UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v081-n2.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v051-n3.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v051-n1.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v101-n1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v111-n1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v081-n3.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v081-n1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v021-n2.opb0.1845UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v101-n3.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v041-n3.opb1415UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v011-n2.opb0.005857UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v071-n2.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v041-n2.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v021-n1.opb0.164UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v101-n2.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v031-n2.opb26.7UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v071-n1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v031-n1.opb47.53UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v111-n3.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v031-n3.opb11.03UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v091-n1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v011-n1.opb0.005835UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v051-n2.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v111-n2.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l050-r049-n1.opb0.5175UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l100-r099-n1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l070-r069-n1.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l070-r069-n1.opb2.453UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l045-r044-n1.opb4.458UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l080-r079-n1.opb3.6UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l060-r059-n1.opb0.9381UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l090-r089-n1.opb6.018UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l050-r049-n1.opb57.02UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l030-r029-n1.opb0.1193UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l020-r019-n1.opb0.05804UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l055-r054-n1.opb546UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l020-r019-n1.opb0.06779UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l015-r014-n1.opb0.04557UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l040-r039-n1.opb0.1472UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l060-r059-n1.opb273.3UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l035-r034-n1.opb0.6301UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l010-r009-n1.opb0.03544UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l025-r024-n1.opb0.09068UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l065-r064-n1.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l090-r089-n1.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l080-r079-n1.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l010-r010-n1.opb0.0362UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l030-r029-n1.opb0.6931UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l100-r099-n1.opb2.573UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l040-r039-n1.opb2.274UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-25.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-35.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-55.opb66.53UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-20.opb3.077UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-25.opb104.5UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-55.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-15.opb0.2134UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-45.opb110.1UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-60.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-70.opb54.34UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-30.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-75.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-45.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-70.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-25.opb153.6UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-30.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-60.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-80.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-40.opb287.2UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-80.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-50.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-35.opb465.9UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-55.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-75.opb55.02UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-60.opb54.47UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-45.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-40.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-60.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-35.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-25.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-65.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-65.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-80.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-80.opb53.51UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-20.opb1.814UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-50.opb86.54UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-50.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-35.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-70.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-75.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-40.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-55.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-65.opb58.75UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-70.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-75.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-30.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-30.opb776UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-15.opb0.3305UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-20.opb126.1UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-65.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-15.opb5.345UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-20.opb409UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-45.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-40.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-50.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-15.opb4.542UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_11.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_21.opb0.3832SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_13.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_12.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_24.opb17.15SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_29.opb3.354SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_23.opb0.06364SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_7.opb3.966UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_16.opb1.124SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_26.opb0.1426SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_4.opb1.537UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_14.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_19.opb0.4517SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_25.opb0.07554SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_9.opb41.07UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_22.opb23.82SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_23.opb10.65SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_3.opb0.03441UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_28.opb2.835SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_13.opb0.07084SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_5.opb1.661UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_15.opb0.08427SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_14.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_9.opb0.2417UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_26.opb8.846SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_27.opb2.839SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_17.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_5.opb0.04451UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_8.opb10.77UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_19.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_18.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_9.opb3.518UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_15.opb10.63SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_12.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_30.opb3.584SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_16.opb0.08637SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_8.opb0.1209UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_5.opb0.1906UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_21.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_6.opb0.04724UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_8.opb1.46UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_14.opb1.522UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_4.opb0.02843UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_25.opb17.22SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_20.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_7.opb0.4186UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_18.opb1.684SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_7.opb0.07758UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_11.opb132.3UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_16.opb0.5644SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_20.opb0.5474SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_20.opb0.05686SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_10.opb1.346UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_11.opb0.4103SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_19.opb0.1719SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_13.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_16.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_3.opb0.9568UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_10.opb14.78UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_17.opb0.7827SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_18.opb0.1228SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_6.opb1.924UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_10.opb258.8UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_15.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_17.opb0.09766SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_6.opb0.2484UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_12.opb0.4108SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_14.opb0.07498SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_15.opb0.03906SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_24.opb0.06065SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_32.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_11.opb0.01276UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_22.opb36.8UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_28.opb1411UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_6_1.opb0.003243UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_3.opb0.009353UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_7.opb0.01122UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_16.opb0.09109UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_6.opb0.01739UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_11.opb0.0531UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_34.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_6.opb0.009482UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_22.opb18.64UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_6_5.opb0.006715UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_2.opb0.007664UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_3.opb0.005549UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_6_6.opb0.01043SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_7_4.opb0.006146UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_5.opb0.01135UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_11.opb0.03445UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_7_1.opb0.003561UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_14.opb0.04027UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_4.opb0.005925UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_7_2.opb0.004773UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_21.opb6.351UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_10.opb0.01559UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_6.opb0.01059UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_9.opb0.01558UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_6.opb0.01341UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_7_6.opb0.01492UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_23.opb23.5UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_12.opb0.1287UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_7.opb0.01327UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_29.opb572.5UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_18.opb2.486UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_3.opb0.004334UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_19.opb0.1511UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_4.opb0.005998UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_28.opb871.2UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_26.opb244UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_25.opb26.74UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_3.opb0.008062UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_16.opb0.4013UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_6_3.opb0.005822UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_13.opb0.02189UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_5_0.opb0.000951UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_3.opb0.006713UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_24.opb1.101UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_7_3.opb0.006738UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_7_1.opb0.002304UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_3_6.opb0.007498UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_15.opb0.16UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_7_4.opb0.004567SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_6_4.opb0.006756UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_4_5.opb0.006167UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_6_4.opb0.008395UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_5.opb0.007471UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_10.opb0.007814UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_7.opb0.01859UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_12.opb0.0208UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_6_0.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_5.opb0.006644UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_4.opb0.01157UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_7_3.opb0.00352SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_5.opb0.007548UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_3_5.opb0.005901UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_37.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_1.opb0.004558UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_0.opb0.001316UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_24.opb126.2UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_3_3.opb0.00296UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_12.opb0.04305UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_6_3.opb0.003581SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_7_0.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_0.opb0.001112UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_9.opb0.02389UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_27.opb122.8UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_7.opb0.01322UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_7_0.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_5_1.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_4_2.opb0.001991UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_9.opb0.01366UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_4_6.opb0.007848SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_6_5.opb0.008571UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_7_5.opb0.005517UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_12.opb0.04723UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_1.opb0.00334UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_7.opb0.01924UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_2.opb0.002659UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_29.opb258.6UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_19.opb1.56UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_3.opb0.003946UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_28.opb2.932UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_6_0.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_29.opb1294UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_6_6.opb0.007959UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_34.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_11.opb0.02275UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_16.opb0.433UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_26.opb1.661UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_6.opb0.01493UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_13.opb0.117UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_7_20.opb0.4915SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_14.opb0.1172UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_19.opb1.245UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_15.opb0.8149UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_20.opb6.531UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_3_2.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_6_8.opb0.011SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_25.opb111.3UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_7_3.opb0.004855UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_20.opb5.253UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_13.opb0.04471UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_21.opb2.876UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_0.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_1.opb0.002217UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_7_19.opb12.51UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_8.opb0.01279UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_4_1.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_8.opb0.01603UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_5_2.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_15.opb0.03608UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_7_0.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_23.opb12UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_9.opb0.01673UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_6_2.opb0.004543UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_17.opb0.4019UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_7.opb0.01132UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_6.opb0.009358UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_3_1.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_21.opb0.1927UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_10.opb0.02798UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_4.opb0.01023UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_26.opb455.1UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_5.opb0.007726UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_19.opb0.6794UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_17.opb0.06748UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_22.opb0.4943UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_5.opb0.004999UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_31.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_30.opb1421UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_22.opb23.37UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_11.opb0.02894UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_11.opb0.01917UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_23.opb16.38UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_10.opb0.03794UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_18.opb1.534UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_35.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_6.opb0.008168UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_18.opb0.1336UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_7_2.opb0.002263UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_30.opb813.2UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_21.opb9.125UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_2.opb0.004651UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_33.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_25.opb0.7536UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_6_2.opb0.003339UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_10.opb0.03074UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_1.opb0.00771UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_12.opb0.01904UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_14.opb0.1205UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_36.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_20.opb0.3183UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_23.opb0.3476UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_18.opb1.736UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_2.opb0.003215UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_6_1.opb0.001831UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_31.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_28.opb301.3UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_14.opb0.555UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_21.opb4.705UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_3_0.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_3_4.opb0.004659UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_6_2.opb0.002341UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_24.opb71.68UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_9.opb0.01065UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_8.opb0.01861UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_8.opb0.02452UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_27.opb362.6UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_24.opb45.71UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_2.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_4.opb0.009254UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_9.opb0.01825UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_26.opb146.6UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_5.opb0.01266UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_10.opb0.02026UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_18.opb0.498SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_20.opb7.117UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_2.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_19.opb1.726UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_6_1.opb0.001591UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_4.opb0.006387UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_0.opb0.003379UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_6_3.opb0.004843UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_27.opb1.508UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_7_2.opb0.003317UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_3.opb0.007714UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_2.opb0.009535UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_1.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_4_3.opb0.002976UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_6_0.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_17.opb0.5069UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_0.opb0.002018UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_8.opb0.01774UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_18.opb1.048UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_12.opb0.01869SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_13.opb0.02783UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_6_7.opb0.01356UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_30.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_16.opb3.026UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_20.opb5.061UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_25.opb45.61UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_32.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_4_0.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_4.opb0.008166UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_27.opb85.98UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_7.opb0.01066UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_9.opb0.0203SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_7_18.opb3.062UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_8.opb0.02039UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_1.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_15.opb0.1358UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_5_3.opb0.003502SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_0.opb0.001419UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_33.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_22.opb14.24UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_8.opb0.009409UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_4_4.opb0.004887UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_38.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_7_1.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_30.opb1807UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_7_7.opb0.0154SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_13.opb0.04575UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_23.opb21.87UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-95.cnf.gz-extracted.pb.metafix.opb87.26UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n22-d4-i3.cnf.gz-extracted.pb.metafix.opb12.14UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.9638UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-71.cnf.gz-extracted.pb.metafix.opb62.8UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i2-r1.cnf.gz-plain.pb.metafix.opb107UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n60-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.1826UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n56-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.3223UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n26-d4-i2.cnf.gz-extracted.pb.metafix.opb960.5UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n46-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.05263UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n58-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.9089UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-83.cnf.gz-extracted.pb.metafix.opb57.13UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n40-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.05445UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n27-d4-i2.cnf.gz-extracted.pb.metafix.opb1806UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-24-3.cnf.gz-plain.pb.metafix.opb5.432UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n40-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.03775UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-25-2.cnf.gz-plain.pb.metafix.opb75.94UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n54-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.7691UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-25-3.cnf.gz-plain.pb.metafix.opb6.29UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n68-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.7581UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n74-d3-i3-r1.cnf.gz-plain.pb.metafix.opb1.545UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n17-d4-i3.cnf.gz-plain.pb.metafix.opb2.984UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n92-d3-i1-r2.cnf.gz-plain.pb.metafix.opb5.599UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n78-d3-i2-r1.cnf.gz-plain.pb.metafix.opb14.91UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.9812UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n94-d3-i1-f.cnf.gz-plain.pb.metafix.opb23.09UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-77.cnf.gz-extracted.pb.metafix.opb49.05UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n38-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.03146UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i1-r2.cnf.gz-plain.pb.metafix.opb1.182UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n23-d4-i3.cnf.gz-extracted.pb.metafix.opb166.6UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n94-d3-i2-f.cnf.gz-plain.pb.metafix.opb245.2UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n78-d3-i3-r1.cnf.gz-plain.pb.metafix.opb10.06UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n40-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.01691UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n25-d4-i2.cnf.gz-plain.pb.metafix.opb94.34UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.2183UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n40-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.02875UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.143UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-26-2.cnf.gz-plain.pb.metafix.opb23.38UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-76.cnf.gz-extracted.pb.metafix.opb63.5UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-51.cnf.gz-extracted.pb.metafix.opb94.99UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n82-d3-i2-r1.cnf.gz-plain.pb.metafix.opb2.627UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n86-d3-i3-r2.cnf.gz-plain.pb.metafix.opb22.28UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n58-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.1367UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n76-d3-i2-r2.cnf.gz-plain.pb.metafix.opb615.7UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-68.cnf.gz-extracted.pb.metafix.opb49.11UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-27-2.cnf.gz-plain.pb.metafix.opb172.1UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-18-1.cnf.gz-plain.pb.metafix.opb0.2571UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n46-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.3368UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-16.cnf.gz-extracted.pb.metafix.opb9.859UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n58-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.2692UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-65.cnf.gz-extracted.pb.metafix.opb41.56UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n22-d4-i2.cnf.gz-plain.pb.metafix.opb9.613UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-29-1.cnf.gz-extracted.pb.metafix.opb1807UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n66-d3-i3-f.cnf.gz-plain.pb.metafix.opb2.292UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-29-3.cnf.gz-extracted.pb.metafix.opb1807UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n80-d3-i3-r2.cnf.gz-plain.pb.metafix.opb10.33UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-81.cnf.gz-extracted.pb.metafix.opb61.04UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n72-d3-i1-r2.cnf.gz-plain.pb.metafix.opb2.509UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.2181UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-27-1.cnf.gz-plain.pb.metafix.opb96.53UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-17.cnf.gz-extracted.pb.metafix.opb18.75UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-86.cnf.gz-extracted.pb.metafix.opb72.49UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n17-d4-i1.cnf.gz-plain.pb.metafix.opb0.1709UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-26-2.cnf.gz-extracted.pb.metafix.opb17.17UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n46-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.04659UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-25.cnf.gz-extracted.pb.metafix.opb1807UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n60-d3-i3-f.cnf.gz-plain.pb.metafix.opb1.23UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-19.cnf.gz-plain.pb.metafix.opb123.1UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-26-1.cnf.gz-plain.pb.metafix.opb39.92UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n42-d3-i3-r1.cnf.gz-plain.pb.metafix.opb0.02669UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n42-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.04041UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n74-d3-i3-f.cnf.gz-plain.pb.metafix.opb2.298UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n40-d3-i3-r1.cnf.gz-plain.pb.metafix.opb0.04918UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-24.cnf.gz-extracted.pb.metafix.opb1807UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n40-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.03375UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n20-d4-i3.cnf.gz-plain.pb.metafix.opb4.314UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-23-2.cnf.gz-extracted.pb.metafix.opb46.08UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n26-d4-i3.cnf.gz-extracted.pb.metafix.opb288.2UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n80-d3-i3-r1.cnf.gz-plain.pb.metafix.opb45.62UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n18-d4-i1.cnf.gz-plain.pb.metafix.opb0.4145UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n94-d3-i1-r1.cnf.gz-plain.pb.metafix.opb41.63UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.02792UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n90-d3-i2-r1.cnf.gz-plain.pb.metafix.opb25.95UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-55.cnf.gz-extracted.pb.metafix.opb49.08UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n68-d3-i3-r1.cnf.gz-plain.pb.metafix.opb1.861UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-20-1.cnf.gz-plain.pb.metafix.opb0.6302UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-60.cnf.gz-extracted.pb.metafix.opb45.95UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n21-d4-i3.cnf.gz-extracted.pb.metafix.opb20.76UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n68-d3-i2-r1.cnf.gz-plain.pb.metafix.opb1.95UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-19-3.cnf.gz-plain.pb.metafix.opb0.82UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n29-d4-i2.cnf.gz-plain.pb.metafix.opb187.7UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n74-d3-i1-r2.cnf.gz-plain.pb.metafix.opb12.2UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n64-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.651UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n86-d3-i1-f.cnf.gz-plain.pb.metafix.opb55.6UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n90-d3-i1-r2.cnf.gz-plain.pb.metafix.opb27.99UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n90-d3-i1-f.cnf.gz-plain.pb.metafix.opb13.21UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-27-1.cnf.gz-extracted.pb.metafix.opb109.5UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n44-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.05688UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n62-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.4027UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n78-d3-i3-f.cnf.gz-plain.pb.metafix.opb10.1UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-27.cnf.gz-extracted.pb.metafix.opb1494UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n50-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.1325UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n42-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.03361UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n50-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.02321UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-24-3.cnf.gz-extracted.pb.metafix.opb13.97UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n92-d3-i1-r1.cnf.gz-plain.pb.metafix.opb6.454UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-31-1.cnf.gz-extracted.pb.metafix.opb1547UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-20.cnf.gz-extracted.pb.metafix.opb705.3UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n82-d3-i2-f.cnf.gz-plain.pb.metafix.opb2.77UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n50-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.02518UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n60-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.1526UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n68-d3-i1-r2.cnf.gz-plain.pb.metafix.opb6.168UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.1427UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n92-d3-i3-r1.cnf.gz-plain.pb.metafix.opb30.08UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-18.cnf.gz-extracted.pb.metafix.opb91.91UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-22-2.cnf.gz-plain.pb.metafix.opb0.5289UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n74-d3-i2-f.cnf.gz-plain.pb.metafix.opb8.197UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n28-d4-i3.cnf.gz-plain.pb.metafix.opb52.6UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n19-d4-i3.cnf.gz-plain.pb.metafix.opb0.9196UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.09515UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n24-d4-i2.cnf.gz-extracted.pb.metafix.opb73.73UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n56-d3-i3-r1.cnf.gz-plain.pb.metafix.opb3.133UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n23-d4-i1.cnf.gz-extracted.pb.metafix.opb46.69UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n66-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.3227UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.139UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-27-3.cnf.gz-plain.pb.metafix.opb154.8UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-16.cnf.gz-plain.pb.metafix.opb3.872UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n21-d4-i2.cnf.gz-extracted.pb.metafix.opb5.414UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n78-d3-i1-f.cnf.gz-plain.pb.metafix.opb2.587UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n23-d4-i1.cnf.gz-plain.pb.metafix.opb48.24UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i3-r1.cnf.gz-plain.pb.metafix.opb0.2212UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i1-f.cnf.gz-plain.pb.metafix.opb1.178UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-23.cnf.gz-extracted.pb.metafix.opb1806UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-24-2.cnf.gz-extracted.pb.metafix.opb13.57UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n90-d3-i2-r2.cnf.gz-plain.pb.metafix.opb13.7UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-94.cnf.gz-extracted.pb.metafix.opb85.9UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n44-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.01712UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n24-d4-i3.cnf.gz-extracted.pb.metafix.opb404.2UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n62-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.9222UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-97.cnf.gz-extracted.pb.metafix.opb78.01UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-27-2.cnf.gz-extracted.pb.metafix.opb320.7UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n29-d4-i2.cnf.gz-extracted.pb.metafix.opb179.3UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-19.cnf.gz-extracted.pb.metafix.opb148UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.2127UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.2766UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-22-3.cnf.gz-plain.pb.metafix.opb6.602UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-73.cnf.gz-extracted.pb.metafix.opb49.88UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.1487UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-21.cnf.gz-extracted.pb.metafix.opb1229UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-20-3.cnf.gz-plain.pb.metafix.opb1.804UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n74-d3-i3-r2.cnf.gz-plain.pb.metafix.opb1.55UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n44-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.01243UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-67.cnf.gz-extracted.pb.metafix.opb55.87UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n66-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.3446UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n94-d3-i2-r1.cnf.gz-plain.pb.metafix.opb248UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n72-d3-i2-f.cnf.gz-plain.pb.metafix.opb3.559UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n78-d3-i1-r2.cnf.gz-plain.pb.metafix.opb3.789UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.9745UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n78-d3-i2-f.cnf.gz-plain.pb.metafix.opb12.4UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-28-2.cnf.gz-extracted.pb.metafix.opb170.6UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-66.cnf.gz-extracted.pb.metafix.opb43.91UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n80-d3-i1-r1.cnf.gz-plain.pb.metafix.opb18.88UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n21-d4-i3.cnf.gz-plain.pb.metafix.opb25.49UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i1-r1.cnf.gz-plain.pb.metafix.opb3.411UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n58-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.3182UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i3-r2.cnf.gz-plain.pb.metafix.opb50.5UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n38-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.0205UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n76-d3-i2-r1.cnf.gz-plain.pb.metafix.opb218.9UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n68-d3-i3-r2.cnf.gz-plain.pb.metafix.opb1.864UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n80-d3-i1-r2.cnf.gz-plain.pb.metafix.opb1.609UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n86-d3-i1-r2.cnf.gz-plain.pb.metafix.opb34.97UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.2749UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n19-d4-i1.cnf.gz-plain.pb.metafix.opb7.119UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-80.cnf.gz-extracted.pb.metafix.opb63.16UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-17.cnf.gz-plain.pb.metafix.opb10.74UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n64-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.3869UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-22-1.cnf.gz-extracted.pb.metafix.opb19.81UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n46-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.2114UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-25-2.cnf.gz-extracted.pb.metafix.opb51.78UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n64-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.1522UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-19-2.cnf.gz-plain.pb.metafix.opb3.885UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n76-d3-i1-r1.cnf.gz-plain.pb.metafix.opb14.52UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n26-d4-i1.cnf.gz-extracted.pb.metafix.opb131.5UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n82-d3-i1-f.cnf.gz-plain.pb.metafix.opb10.48UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-69.cnf.gz-extracted.pb.metafix.opb52.86UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n80-d3-i3-f.cnf.gz-plain.pb.metafix.opb304.7UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n58-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.1385UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n88-d3-i1-r2.cnf.gz-plain.pb.metafix.opb33.76UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n76-d3-i2-f.cnf.gz-plain.pb.metafix.opb54.66UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-92.cnf.gz-extracted.pb.metafix.opb67.88UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n82-d3-i3-r2.cnf.gz-plain.pb.metafix.opb34.15UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-22-1.cnf.gz-plain.pb.metafix.opb4.586UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-23-1.cnf.gz-plain.pb.metafix.opb15.04UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n46-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.04193UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n76-d3-i3-f.cnf.gz-plain.pb.metafix.opb14.55UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n56-d3-i2-r1.cnf.gz-plain.pb.metafix.opb1.086UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n58-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.2687UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n80-d3-i1-f.cnf.gz-plain.pb.metafix.opb6.128UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n38-d3-i3-r1.cnf.gz-plain.pb.metafix.opb0.05322UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n66-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.671UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-23-3.cnf.gz-extracted.pb.metafix.opb14.43UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n42-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.03623UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n60-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.2241UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-25-1.cnf.gz-extracted.pb.metafix.opb4.659UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n56-d3-i3-r2.cnf.gz-plain.pb.metafix.opb3.135UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-72.cnf.gz-extracted.pb.metafix.opb54.53UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n66-d3-i3-r1.cnf.gz-plain.pb.metafix.opb8.922UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-78.cnf.gz-extracted.pb.metafix.opb61.58UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n24-d4-i3.cnf.gz-plain.pb.metafix.opb357.3UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.1081UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n44-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.05837UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n82-d3-i3-f.cnf.gz-plain.pb.metafix.opb9.963UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.04308UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n68-d3-i3-f.cnf.gz-plain.pb.metafix.opb1.867UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-89.cnf.gz-extracted.pb.metafix.opb67.4UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n44-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.02217UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-64.cnf.gz-extracted.pb.metafix.opb50.58UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n22-d4-i3.cnf.gz-plain.pb.metafix.opb16.26UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n54-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.1253UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-70.cnf.gz-extracted.pb.metafix.opb52.3UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.03078UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.2751UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n50-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.06598UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n27-d4-i3.cnf.gz-extracted.pb.metafix.opb1568UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n46-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.2122UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n44-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.01177UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n78-d3-i1-r1.cnf.gz-plain.pb.metafix.opb2.687UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.219UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n60-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.2154UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n86-d3-i3-r1.cnf.gz-plain.pb.metafix.opb8.193UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n38-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.05254UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n42-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.03301UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-28-3.cnf.gz-extracted.pb.metafix.opb1664UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-63.cnf.gz-extracted.pb.metafix.opb49.59UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i2-f.cnf.gz-plain.pb.metafix.opb33.75UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n42-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.05043UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n64-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.4216UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i3-r1.cnf.gz-plain.pb.metafix.opb0.05721UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n23-d4-i2.cnf.gz-extracted.pb.metafix.opb12.65UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n50-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.07538UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n28-d4-i3.cnf.gz-extracted.pb.metafix.opb57.92UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-18.cnf.gz-plain.pb.metafix.opb58.47UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-87.cnf.gz-extracted.pb.metafix.opb70.74UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n23-d4-i2.cnf.gz-plain.pb.metafix.opb7.002UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n72-d3-i3-r1.cnf.gz-plain.pb.metafix.opb1.461UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n64-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.4929UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n54-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.02544UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-58.cnf.gz-extracted.pb.metafix.opb41.61UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n22-d4-i1.cnf.gz-extracted.pb.metafix.opb8.982UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n90-d3-i3-r1.cnf.gz-plain.pb.metafix.opb7.059UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-20-2.cnf.gz-plain.pb.metafix.opb1.305UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n74-d3-i1-r1.cnf.gz-plain.pb.metafix.opb12.56UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n96-d3-i3-f.cnf.gz-plain.pb.metafix.opb36.54UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i1-r1.cnf.gz-plain.pb.metafix.opb1.182UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-23-3.cnf.gz-plain.pb.metafix.opb4.309UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n54-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.0226UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n25-d4-i1.cnf.gz-extracted.pb.metafix.opb739.7UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n40-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.03725UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i3-f.cnf.gz-plain.pb.metafix.opb748.4UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n17-d4-i2.cnf.gz-plain.pb.metafix.opb0.8784UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n20-d4-i1.cnf.gz-plain.pb.metafix.opb0.5988UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n76-d3-i3-r2.cnf.gz-plain.pb.metafix.opb3.582UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n16-d4-i2.cnf.gz-plain.pb.metafix.opb0.937UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-21-2.cnf.gz-plain.pb.metafix.opb0.7912UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n72-d3-i1-r1.cnf.gz-plain.pb.metafix.opb2.531UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n42-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.05084UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n24-d4-i2.cnf.gz-plain.pb.metafix.opb122.4UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-26-3.cnf.gz-extracted.pb.metafix.opb42.16UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n40-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.05938UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n38-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.03295UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n56-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.6271UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-24-2.cnf.gz-plain.pb.metafix.opb9.803UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.03339UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-26-1.cnf.gz-extracted.pb.metafix.opb46.97UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-25-3.cnf.gz-extracted.pb.metafix.opb4.124UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n56-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.3217UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n94-d3-i2-r2.cnf.gz-plain.pb.metafix.opb247.8UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-25-1.cnf.gz-plain.pb.metafix.opb4.536UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-27-3.cnf.gz-extracted.pb.metafix.opb104.7UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n64-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.1533UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n19-d4-i1.cnf.gz-extracted.pb.metafix.opb6.244UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-100.cnf.gz-extracted.pb.metafix.opb79.02UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n72-d3-i2-r1.cnf.gz-plain.pb.metafix.opb3.539UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n44-d3-i3-r1.cnf.gz-plain.pb.metafix.opb0.0542UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n62-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.4097UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-90.cnf.gz-extracted.pb.metafix.opb79.65UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-22.cnf.gz-extracted.pb.metafix.opb1518UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n25-d4-i3.cnf.gz-plain.pb.metafix.opb110.6UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n92-d3-i3-r2.cnf.gz-plain.pb.metafix.opb55.83UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n54-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.0224UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i2-r2.cnf.gz-plain.pb.metafix.opb161.6UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-17-3.cnf.gz-plain.pb.metafix.opb0.174UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-30-2.cnf.gz-extracted.pb.metafix.opb213UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i1-r2.cnf.gz-plain.pb.metafix.opb3.329UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n50-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.08057UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n76-d3-i1-r2.cnf.gz-plain.pb.metafix.opb14.43UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n46-d3-i3-r1.cnf.gz-plain.pb.metafix.opb0.05605UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-23-2.cnf.gz-plain.pb.metafix.opb28.31UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n92-d3-i3-f.cnf.gz-plain.pb.metafix.opb69.49UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n62-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.3885UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-88.cnf.gz-extracted.pb.metafix.opb70.78UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n25-d4-i2.cnf.gz-extracted.pb.metafix.opb87.1UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-21-1.cnf.gz-plain.pb.metafix.opb5.049UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-24-1.cnf.gz-plain.pb.metafix.opb20.73UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n88-d3-i3-r1.cnf.gz-plain.pb.metafix.opb95.06UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n36-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.0324UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n68-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.617UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n22-d4-i2.cnf.gz-extracted.pb.metafix.opb5.081UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n21-d4-i1.cnf.gz-plain.pb.metafix.opb1.135UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n24-d4-i1.cnf.gz-plain.pb.metafix.opb641UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-61.cnf.gz-extracted.pb.metafix.opb52.15UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n60-d3-i3-r1.cnf.gz-plain.pb.metafix.opb1.262UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n88-d3-i1-r1.cnf.gz-plain.pb.metafix.opb23.16UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n66-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.3695UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n62-d3-i3-r1.cnf.gz-plain.pb.metafix.opb0.8693UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n46-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.05551UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-85.cnf.gz-extracted.pb.metafix.opb67.34UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-62.cnf.gz-extracted.pb.metafix.opb50.6UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-28-2.cnf.gz-plain.pb.metafix.opb155.9UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n88-d3-i3-f.cnf.gz-plain.pb.metafix.opb111.8UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n74-d3-i1-f.cnf.gz-plain.pb.metafix.opb23.34UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-84.cnf.gz-extracted.pb.metafix.opb68.82UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n86-d3-i2-f.cnf.gz-plain.pb.metafix.opb114.1UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n72-d3-i3-f.cnf.gz-plain.pb.metafix.opb1.643UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-91.cnf.gz-extracted.pb.metafix.opb69.68UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-26.cnf.gz-extracted.pb.metafix.opb1807UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n18-d4-i2.cnf.gz-plain.pb.metafix.opb3.096UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n78-d3-i2-r2.cnf.gz-plain.pb.metafix.opb12.43UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n42-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.04926UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n68-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.5547UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n64-d3-i3-r1.cnf.gz-plain.pb.metafix.opb0.4853UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n50-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.05466UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n26-d4-i3.cnf.gz-plain.pb.metafix.opb318.3UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.1048UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n58-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.847UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-98.cnf.gz-extracted.pb.metafix.opb81.7UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-15.cnf.gz-plain.pb.metafix.opb1.982UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n62-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.1362UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-75.cnf.gz-extracted.pb.metafix.opb54UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n60-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.2165UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n38-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.04985UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n96-d3-i1-r2.cnf.gz-plain.pb.metafix.opb242.8UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n90-d3-i1-r1.cnf.gz-plain.pb.metafix.opb108.2UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n82-d3-i1-r1.cnf.gz-plain.pb.metafix.opb35.42UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-93.cnf.gz-extracted.pb.metafix.opb58.47UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n72-d3-i1-f.cnf.gz-plain.pb.metafix.opb2.538UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i3-r1.cnf.gz-plain.pb.metafix.opb19.21UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n56-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.4505UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n38-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.02269UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm75p-dec.opb.negationfix.opb1807UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm85p-dec.opb.negationfix.opb1806UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm25p-dec.opb.negationfix.opb986.1SATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm50p-dec.opb.negationfix.opb1798UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob7.opb0.8201SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob2.opb0.3402SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob10.opb0.8603SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-cuww4.opb0.6173SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob3.opb0.3769SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob5.opb0.6097SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-cuww1.opb0.6223SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob4.opb0.5868SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob8.opb0.6978SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-cuww3.opb0.5138SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-cuww5.opb0.6312SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob6.opb0.6476SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-cuww2.opb1.121SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob1.opb0.6119SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k4_l4_n360.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k5_l4_n750.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k3_l5_n550.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k6_l3_n170.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k3_l6_n1500.opb43.19SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb142.4SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb12.63SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb124.9SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb136.7SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb124.1SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb36.96SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb37.06SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb35.46SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb11.91SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb12.56SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb34.96SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb14.69SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb144.2SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb11.57SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb37.24SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110966483.opb0.5882UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969577.opb1.149UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223596.opb2.15SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111221953.opb0.9308SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111212923.opb1.355UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111219348.opb1.582UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110976730.opb3.521UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111226680.opb1.579UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110970277.opb0.1988SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111213868.opb1.766UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110973163.opb2.413UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111221624.opb1.679UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218024.opb1.623UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110967523.opb2.74UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110970444.opb1.115UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218955.opb1.207UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223220.opb1.852UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110976157.opb0.9138UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110968561.opb2.729UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111217380.opb0.7855SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110973364.opb1.035UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110968431.opb0.3215SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110978334.opb1.764UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111220767.opb2.457UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111217392.opb1.387UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111221203.opb1.713UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110974553.opb0.21SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110971697.opb1.515UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111216411.opb1.904UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111227012.opb1.645UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111216823.opb1.812UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111212476.opb3.301UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969170.opb1.548UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110968094.opb1.442UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111226241.opb2.031SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110977464.opb1.554SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110967327.opb0.6909SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223696.opb1.737SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224929.opb1.331UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224451.opb1.28UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110967729.opb0.7004UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110973863.opb1.857SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110975965.opb4.159UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111227418.opb1.515SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110970631.opb1.279UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110975607.opb0.9254UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111216864.opb1.478SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110976935.opb1.449UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110970170.opb0.7718SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111220546.opb1.451UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110975678.opb2.322SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110973478.opb0.7385SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223689.opb0.6651SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110977780.opb1.118UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110977273.opb1.78UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110966688.opb1.156UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224522.opb0.7084SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224059.opb0.7277UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110971363.opb1.485UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111219799.opb1.342UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223416.opb0.997SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224255.opb1.829UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111222539.opb2.095UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111217555.opb1.568UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110975832.opb0.5771SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218308.opb4.044UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111225122.opb1.001UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111222257.opb1.763UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111219399.opb0.07939SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111226062.opb1.319UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110972154.opb1.946UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110971097.opb2.651SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110967142.opb3.354UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111227326.opb0.7505UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110971766.opb0.2998SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110968898.opb2.372UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111216188.opb0.7097SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111226368.opb0.8817UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110976735.opb0.2222SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969860.opb2.892UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969933.opb0.1312SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110972958.opb0.449SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111212272.opb1.813UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110974180.opb2.28UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111222248.opb0.3696SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218757.opb1.585UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110977266.opb1.349SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111226284.opb1.432SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111220019.opb1.561UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111225605.opb1.524UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223004.opb2.471UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110978113.opb2.909UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110974372.opb1.026UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111217374.opb0.2386SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111222080.opb1.431SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111213670.opb1.699UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110972763.opb1.39UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111228076.opb2.599UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110973670.opb2.132UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111227861.opb1.67UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900546076.opb0.4987UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900547334.opb0.2072SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900669309.opb0.6828SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900545610.opb10.68UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900571132.opb7.877UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900669299.opb0.08608SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576918.opb0.05638SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557362.opb1.062UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567003.opb0.4308SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900559416.opb0.09332SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900544484.opb2.93UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557957.opb2.92UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900562192.opb4.587UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554067.opb0.3109SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900546417.opb1.721UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900547416.opb0.5831SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900584219.opb0.3422UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900575442.opb3.549UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554373.opb0.1929SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900573901.opb12.61UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576151.opb19.45UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900550006.opb22.83UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900563801.opb0.8092UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568186.opb1.988UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900547427.opb0.09921SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567939.opb0.4403SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900553644.opb0.08424SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900564281.opb0.9068UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900577940.opb22.85UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900561288.opb44.35UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900547389.opb14.66UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900550720.opb17.31UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554154.opb0.6323SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900574864.opb4.253UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568952.opb0.2379SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900553606.opb0.05228SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900565534.opb10.38UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567024.opb0.1356UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900574974.opb0.06868SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900563250.opb20.06UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900547461.opb0.5338SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900556231.opb2.833UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567135.opb0.5028UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900558106.opb0.4088UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568706.opb2.702UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554375.opb0.3665SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552311.opb0.05952SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900570242.opb0.2096UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900553812.opb2.186UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552423.opb0.1407UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900566263.opb0.06795SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900564824.opb0.2231UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900561389.opb0.2818SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900549974.opb0.28SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900566151.opb0.4141SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900573137.opb11.18UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900544463.opb0.1026SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670675.opb0.5693UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900583053.opb28.64UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551864.opb0.8323UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900558739.opb14.59UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557568.opb0.09149SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900584106.opb1.323UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900559676.opb31.35UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670167.opb5.895UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900564822.opb0.1046SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900565527.opb0.1825SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576360.opb8.366UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900571761.opb11.88UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900579996.opb1.699UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552735.opb2.557UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900566270.opb0.2287SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900571131.opb0.1632SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557574.opb0.5043UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900582300.opb23.2UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554420.opb1.533UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900669797.opb1.41UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900581321.opb0.1339SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670234.opb35.37UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551347.opb1.64UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900574948.opb0.076SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900559641.opb0.2922SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900553647.opb10.93UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900559365.opb0.6361SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567985.opb28.75UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576927.opb25.69UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557413.opb0.2266SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900566157.opb4.628UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900569834.opb4.747UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900581320.opb21.96UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900548667.opb46.93UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554389.opb0.1381SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900577000.opb0.1861SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900547353.opb0.0873SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552288.opb12.95UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554072.opb2.66UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900561384.opb0.06572SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900667195.opb24.37UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670756.opb0.0564SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900582376.opb0.2137SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin14.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin10.opb0.4249SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin12.opb23.9SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin8.opb0.117SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin18.opb1805UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin16.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army12.21ls.opb1807UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army9.12ls.opb0.7167SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army13.24bt.opb1807UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army11.17ls.opb36.41SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army8.9ls.opb0.4409SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army8.9bt.opb0.04952SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army13.24ls.opb21.75SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army11.17bt.opb10.92SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army10.14bt.opb29.56SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army12.21bt.opb1807UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army10.14ls.opb4.112SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army9.12bt.opb8.045SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-15-10.opb0.3627UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-51-50.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-61-60.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-31-30.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-65-60.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-91-90.opb1805UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-95-90.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-35-30.opb1807UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-25-20.opb1807UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-21-20.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-11-10.opb0.2199UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-105-100.opb1805UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-81-80.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-75-70.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100.opb1805UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb2.93UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb301.8UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb1110UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb0.1424UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb33.75UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb0.07897UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb0.9824UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb1638UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb1.003UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-25s.smv.opb3.665UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb0.6482UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb30.16UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb0.4154UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl.opb0UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb0.9131UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb0.108UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb1.077UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb2.018UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-elf.rf6.ucl.opb0UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-46s.smv.opb0.7511UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.8.accl.ucl.opb90.12UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-22s.smv.opb5.051UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.opb642.9UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb133.7UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl.opb0.003859UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-37s.smv.opb0.1597UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-elf.rf10.ucl.opb9.267UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-44s.smv.opb0.2647UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb69.93SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb356.4UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.2.accl.ucl.opb0.8408UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb5.296UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache.inv10.ucl.opb0.2707UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb1.211UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb1.039UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl.opb173UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb0.3341UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb3.571UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-dlx1c.ucl.opb0.8654UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb0.04942UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl.opb2.244UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.4.accl.ucl.opb1.463UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb70.07UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb0.1395UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb0.745UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb0.425UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb5.737UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-43s.smv.opb2.511UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb7.558UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb0.5639SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb342.8SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb187.9SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb23.36SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb0.03812SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb0.1539SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga13_13_sat_pb.cnf.cr.opb0.02185SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb0.06145SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga10_9_sat_pb.cnf.cr.opb0.01677SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb0.3668UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga14_14_sat_pb.cnf.cr.opb0.02468SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb0.02395SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb0.02458SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga12_10_sat_pb.cnf.cr.opb0.01614SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb0.05606SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb0.2219SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb0.02196SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga15_14_sat_pb.cnf.cr.opb0.01675SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb0.2194SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb0.0263SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb333UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb0.01471SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb0.02438SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga10_8_sat_pb.cnf.cr.opb0.01006SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb0.316UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb0.2104SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb0.09024SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb339.7UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb0.1327SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb951.2UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb0.3362UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opb0.02891SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb0.08126SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb0.04851SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga11_11_sat_pb.cnf.cr.opb0.01104SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb0.02335SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb0.01692SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb0.1611SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb0.1564SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb0.02088SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb0.07275SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb0.1406SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb0.01055SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga12_12_sat_pb.cnf.cr.opb0.02953SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb0.03382SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb1806UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb0.1295SATISFIABLE
DEC-SMALLINT-LIN/heinz/normalized-neos-820157.opb1807UNKNOWN
DEC-SMALLINT-LIN/heinz/normalized-neos-820146.opb1806UNKNOWN
DEC-SMALLINT-LIN/heinz/normalized-neos808444.opb2.077SATISFIABLE
DEC-SMALLINT-LIN/heinz/normalized-neos-849702.opb145.1SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12052_5-unsat.opb1806UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12035_4-sat.opb2.064SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12032_8-unsat.opb1806UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12027_7-unsat.opb2.81UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12038_8-unsat.opb1806UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12046_2-sat.opb1806UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12056_10-unsat.opb1807UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12015_3-unsat.opb0.1769UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12039_7-sat.opb1806UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12033_3-sat.opb1806UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12059_3-unsat.opb0.2467UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12021_4-sat.opb1.438SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12032_3-unsat.opb1806UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12026_5-unsat.opb45.73UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12023_3-unsat.opb0.2124UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1205_3-unsat.opb0.1249UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1206_6-sat.opb1806UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12038_3-sat.opb1807UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12047_10-unsat.opb164.2UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12045_10-sat.opb0.6257SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12048_4-unsat.opb127.7UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1209_4-sat.opb7.972SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12058_4-sat.opb1806UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12013_1-unsat.opb0.2392UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1205_1-unsat.opb0.1862UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12041_4-unsat.opb1.303UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12047_6-sat.opb1807UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12010_10-sat.opb1.278SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12022_9-sat.opb0.971SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1201_5-sat.opb1.14SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12028_8-sat.opb64.18SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1204_7-sat.opb0.5644SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12016_4-sat.opb1806UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1206_8-unsat.opb33.79UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1208_10-unsat.opb1807UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12038_7-unsat.opb1806UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12034_4-sat.opb2.173SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12049_6-unsat.opb0.2963UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1208_6-sat.opb408.5SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12037_7-sat.opb1806UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12036_4-sat.opb1806UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12036_3-sat.opb1806UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1203_2-sat.opb0.6916SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3024_4-sat.opb0.07444SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3024_3-sat.opb0.07553SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j301_4-unsat.opb0.06371UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3011_9-unsat.opb0.03457UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3029_8-unsat.opb3.638UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j308_6-unsat.opb0.02989UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3046_4-unsat.opb0.1576UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3037_5-sat.opb0.1478SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j308_1-unsat.opb0.02202UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3048_8-sat.opb0.05786SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j309_6-sat.opb0.3728SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3025_10-sat.opb0.3291SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3029_6-sat.opb1.454SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3025_7-sat.opb0.5845SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j309_10-unsat.opb0.59UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3042_5-unsat.opb0.03238UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j307_9-unsat.opb0.0622UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j309_9-sat.opb0.477SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3025_1-sat.opb0.5859SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3041_4-unsat.opb0.4719UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j307_10-sat.opb0.09526SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3020_1-sat.opb0.06027SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3031_7-sat.opb0.1097SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3024_2-sat.opb0.06957SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3017_6-sat.opb0.07182SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3030_6-sat.opb0.3348SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j308_6-sat.opb0.0609SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3043_8-sat.opb0.08229SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3024_5-sat.opb0.06723SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3027_8-sat.opb0.1009SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j902_5-sat.opb0.5204SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9040_1-unsat.opb0.1661UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j901_6-sat.opb0.3942SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9016_7-sat.opb2.313SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9038_3-unsat.opb0.5205UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9042_4-sat.opb1.338SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9042_5-sat.opb1.62SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9043_2-sat.opb1.162SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9048_1-unsat.opb0.1439UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9040_1-sat.opb0.9596SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9039_3-unsat.opb0.129UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9015_10-unsat.opb0.119UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9035_1-unsat.opb0.2728UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9012_5-sat.opb2.173SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9048_9-sat.opb1.82SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j906_2-sat.opb1.324SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9012_2-unsat.opb0.108UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9035_5-sat.opb0.364SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9014_1-unsat.opb0.1342UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9028_2-unsat.opb0.1207UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9027_5-sat.opb1.872SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j905_6-unsat.opb1.379UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j907_8-unsat.opb0.09112UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9015_7-unsat.opb0.126UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9010_8-sat.opb1.91SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9010_10-unsat.opb0.1124UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9045_1-sat.opb1806UNKNOWN
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9010_6-unsat.opb0.1433UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j908_8-unsat.opb0.09875UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j903_10-unsat.opb0.09331UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6030_8-sat.opb0.489SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6042_2-sat.opb0.5058SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6040_1-sat.opb0.2517SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j603_2-unsat.opb0.07452UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j606_1-unsat.opb0.05798UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6043_4-sat.opb0.2785SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6027_9-unsat.opb0.07984UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6032_1-unsat.opb0.07673UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6040_10-sat.opb0.3457SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6016_10-unsat.opb0.07199UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j601_8-unsat.opb0.1456UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6033_2-unsat.opb0.1219UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6018_3-sat.opb0.1866SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6010_7-unsat.opb0.07306UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6022_1-sat.opb0.1997SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6027_4-unsat.opb0.06322UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6015_4-sat.opb1.085SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j605_1-unsat.opb1.543UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j607_4-unsat.opb0.06355UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6040_3-sat.opb0.1852SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6020_9-sat.opb0.162SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j605_10-unsat.opb2.763UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6041_4-sat.opb3.026SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6013_2-unsat.opb1806UNKNOWN
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6014_2-sat.opb0.9683SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6030_9-unsat.opb0.1129UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6048_4-sat.opb0.5465SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6028_7-sat.opb0.8149SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6035_10-sat.opb0.149SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6028_9-unsat.opb0.08095UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j605_7-sat.opb2.743SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6010_2-unsat.opb0.06183UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6029_8-unsat.opb1046UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j602_7-unsat.opb0.09958UNSATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K72.opb1.851SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K77.opb0.7094SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K76.opb6.641SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K65.opb678.2UNSATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K79.opb3.692SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K69.opb33.62SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K80.opb0.8371SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K66.opb1805UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K75.opb7.304SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K71.opb24.59SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K68.opb311.8SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K67.opb299.6SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K78.opb9.755SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K73.opb2.408SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K70.opb51.63SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K74.opb14.09SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K86.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K102.opb358.3SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K85.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K80.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K105.opb1159SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K87.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K104.opb983SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K90.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K88.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K100.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K108.opb301.7SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K84.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K95.opb1401SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K109.opb836.1SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K94.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K99.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K82.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K83.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K103.opb1776SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K101.opb646.3SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K106.opb465.3SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K81.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K93.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K89.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K97.opb1807UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K107.opb770.7SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K98.opb1592SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K92.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K91.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K96.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K176.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K132.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K181.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K129.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K160.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K196.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K199.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K139.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K180.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K200.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K138.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K152.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K131.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K168.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K183.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K125.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K141.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K164.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K126.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K177.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K163.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K128.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K156.opb1807UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K143.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K148.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K133.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K140.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K167.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K192.opb1806UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K175.opb1806UNKNOWN
DEC-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1096.cudf.paranoid.opb0.00278SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-182.opb1804UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-162.opb34.87SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-167.opb1806UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-101.opb83.27UNSATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-47.opb1806UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-170.opb64.29SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-70.opb1806UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-89.opb1660UNSATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-164.opb75.73SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-188.opb0.3139UNSATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-146.opb1806UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-116.opb1806UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-05.opb345.6SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-41.opb74.42SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-175.opb1805UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-107.opb6.699SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-122.opb1806UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-181.opb1805UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-141.opb1806UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-24.opb1806UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-123.opb453.3SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-173.opb1806UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-130.opb1806UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-60.opb1806UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-53.opb1806UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-21.opb137.2UNSATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-20.opb1807UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-180.opb1805UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-112.opb1806UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-184.opb1804UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-31.opb736.7SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-73.opb306.7UNSATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-172.opb1806UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-91.opb1806UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-120.opb1806UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-154.opb1806UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-99.opb36.9UNSATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-37.opb1806UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-185.opb1.325SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-76.opb1806UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-27.opb1564SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-135.opb1806UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-137.opb1806UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-40.opb1807UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-48.opb319.4SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-129.opb1806UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-178.opb1806UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-147.opb1806UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-117.opb9.12SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-61.opb1806UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-153.opb1806UNKNOWN