InstanceRuntimeResult
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-3.opb1.4379SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-8.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-1.opb45.733SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-5.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-9.opb1015.48SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-6.opb1656.26SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-7.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-9.opb3.87009SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-9.opb389.552SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-8.opb110.389SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-6.opb71.4911SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-6.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-2.opb42.5316SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-3.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-3.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-7.opb23.0451SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-3.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-9.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-6.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-8.opb109.949SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-7.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-4.opb1694.96SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-5.opb10.3466SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-8.opb1122.62SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-2.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-3.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-5.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-6.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-9.opb35.6355SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-7.opb220.644SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-2.opb1783.38SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-3.opb122.633SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-4.opb1438.21SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-9.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-6.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-9.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-9.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-2.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-1.opb117.124SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-4.opb154.29SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-1.opb12.222SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-8.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-1.opb4.23997SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-2.opb14.4125SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-7.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-8.opb128.241SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-5.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-8.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-9.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-7.opb190.867SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-8.opb6.57341SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-5.opb51.3867SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-6.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-0.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-5.opb1318.58SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-3.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-0.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-2.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-9.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-5.opb21.3559SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-4.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-7.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-8.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-6.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-3.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-4.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-0.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-6.opb3.9995SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-4.opb19.5218SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-5.opb630.889SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-7.opb6.93194SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-6.opb29.447SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-4.opb0.706445SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-8.opb337.958SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-1.opb344.345SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-0.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-0.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-5.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-9.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-0.opb49.4935SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-9.opb776.578SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-2.opb20.669SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-5.opb104.654SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-5.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-7.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-3.opb9.8948SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-2.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-2.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-4.opb101.03SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-4.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-4.opb1.56857SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-7.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-0.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-5.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-7.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-8.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-6.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-2.opb9.58347SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-0.opb20.5876SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-6.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-3.opb1458.6SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-0.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-0.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-7.opb124.99SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-8.opb24.3058SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-7.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-9.opb24.1138SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-5.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-9.opb55.7534SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-3.opb48.0474SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-4.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-3.opb4.2058SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-2.opb187.814SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-9.opb183.899SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-7.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-2.opb87.1881SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-8.opb51.7646SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-7.opb1.73033SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-6.opb3.78148SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-3.opb12.304SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-7.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-3.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-4.opb44.4477SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-0.opb1.0459SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-6.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-5.opb6.21748SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-8.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-2.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-9.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-0.opb10.016SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-4.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-2.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-1.opb134.611SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-2.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-7.opb22.9006SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-0.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-0.opb3.88361SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-3.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-7.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-5.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-4.opb150.595SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-4.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-6.opb21.607SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-4.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-8.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-0.opb8.19315SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-0.opb457.577SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-9.opb46.1045SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-2.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-9.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-3.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-0.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-6.opb1092.96SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-4.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-5.opb21.0044SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-6.opb846.339SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-5.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-6.opb32.0632SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-8.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-8.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-0.opb59.2001SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-3.opb585.927SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-4.opb104.251SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-3.opb408.864SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-5.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-1.opb3.21962SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-8.opb53.0031SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-2.opb77.2743SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-2.opb882.145SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity4pyramidP0125.opb2.56882UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity4houseP016.opb0.08444UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity4pyramidP0016.opb0.049991UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity3houseP032.opb0.156806UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity3houseP016.opb0.042233UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity4houseP064.opb1.30703UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity5houseP128.opb43.1246UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity4pyramidP0064.opb0.659641UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity3pyramidP0125.opb1.31752UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity5houseP064.opb9.73194UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity5houseP032.opb1.70291UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity5pyramidP0125.opb21.8634UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity5pyramidP0064.opb4.71513UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity4houseP128.opb5.40637UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity5pyramidP0016.opb0.083617UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity5houseP016.opb0.298736UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity4pyramidP0032.opb0.158489UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity3pyramidP0016.opb0.030256UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity4houseP032.opb0.298567UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity5pyramidP0032.opb0.651928UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity3houseP064.opb0.649605UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity3pyramidP0064.opb0.331748UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity3pyramidP0032.opb0.084686UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity3houseP128.opb2.7375UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x40split.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x80split.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x140split.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x60split.opb2.40277UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x70split.opb5.31567UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x50split.opb2.58054UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x30split.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x150split.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x130split.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x20split.opb1396.23UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x30split.opb0.777509UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x90split.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x80split.opb7.64235UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x60split.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x70split.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x40split.opb1.37892UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x120split.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x110split.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x50split.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x20split.opb0.226657UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x10split.opb16.4596UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x100split.opb5.44788UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x100split.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x90split.opb6.07107UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x10split.opb0.05812UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x21.opb0.218838UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x23-hard.opb18.6306UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x5.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x21-hard.opb176.23UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x11.opb0.017485UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x15.opb0.029563UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x11-hard.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-47.opb0.016268UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-37.opb0.010087UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x15-hard.opb0.058377UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-13.opb0.003048UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x29-hard.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x9.opb0.018129UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x25-hard.opb1.57778UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x29.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-25.opb0.007955UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x11-hard.opb0.033641UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x27.opb1.97513UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x27-hard.opb7.37976UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x21.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x19-hard.opb1.15119UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x7.opb0.003539UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x25-hard.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x23.opb4.68645UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x23.opb0.33235UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-35.opb0.012473UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-41.opb0.014425UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-21.opb0.006087UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-51.opb0.019856UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-39.opb0.009006UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-7.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x25.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x15-hard.opb166.587UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x27-hard.opb194.744UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-31.opb0.01138UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x13.opb0.028894UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-29.opb0.007481UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x9-hard.opb0.048882UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x21.opb0.049353UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x17.opb0.049216UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-5.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x13.opb19.0866UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x13-hard.opb0.010113UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x27-hard.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x19-hard.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x11-hard.opb0.919672UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x29.opb7.91484UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x13.opb0.005926UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x15-hard.opb5.53508UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x25-hard.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x21-hard.opb0.55942UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-3.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x27.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x7-hard.opb0.002482UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x29-hard.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x15-hard.opb0.009207UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-43.opb0.010567UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x17.opb1101.23UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x15.opb0.00744UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x13-hard.opb167.43UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x29-hard.opb506.666UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x17-hard.opb0.32793UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x13-hard.opb0.072628UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x25.opb0.550596UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x23-hard.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x21-hard.opb0.053113UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-17.opb0.004553UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x13-hard.opb7.10008UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x29-hard.opb25.5068UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x9.opb0.005112UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-45.opb0.014722UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-23.opb0.007026UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x19-hard.opb961.135UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x25.opb15.1893UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x9.opb0.004903UNSATISFIABLE
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.382791UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x5-hard.opb0.002003UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-49.opb0.0186UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x19-hard.opb0.115196UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-11.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x15.opb9.15222UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x17.opb0.112567UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x7-hard.opb0.004605UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x27.opb0.061222UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x11.opb1.1216UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x17-hard.opb180.773UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x25-hard.opb30.5267UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x29.opb380.132UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x17-hard.opb0.05999UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x21-hard.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x11-hard.opb22.0461UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-33.opb0.009822UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x23.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x19.opb0.061501UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x23-hard.opb0.730155UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-19.opb0.005276UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x9-hard.opb0.005846UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-15.opb0.003624UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-27.opb0.009083UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x19.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x9-hard.opb0.005773UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x11.opb0.008534UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x23-hard.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x17-hard.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x27-hard.opb0.07239UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x7.opb0.004597UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v111-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v091-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v030-n1.opb0.351181UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v031-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v110-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v050-n1.opb376.931UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v011-n1.opb0.728473UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v051-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v100-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v080-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v061-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v041-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v021-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v071-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v070-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v010-n1.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v101-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v060-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v081-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v090-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v040-n1.opb88.5147UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v020-n1.opb0.026266UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v091-n3.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v061-n2.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v021-n3.opb0.177554UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v061-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v091-n2.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v041-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v071-n3.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v061-n3.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v011-n3.opb0.005644UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v081-n2.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v051-n3.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v051-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v101-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v111-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v081-n3.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v081-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v021-n2.opb0.251529UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v101-n3.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v041-n3.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v011-n2.opb0.003101UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v071-n2.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v041-n2.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v021-n1.opb0.225447UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v101-n2.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v031-n2.opb30.3098UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v071-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v031-n1.opb70.0039UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v111-n3.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v031-n3.opb21.5046UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v091-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v011-n1.opb0.00184UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v051-n2.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v111-n2.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l050-r049-n1.opb0.407898UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l100-r099-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l070-r069-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l070-r069-n1.opb1.23033UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l045-r044-n1.opb2.36088UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l080-r079-n1.opb3.77146UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l060-r059-n1.opb0.783332UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l090-r089-n1.opb5.53368UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l050-r049-n1.opb27.5188UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l030-r029-n1.opb0.101998UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l020-r019-n1.opb0.049048UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l055-r054-n1.opb306.583UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l020-r019-n1.opb0.062571UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l015-r014-n1.opb0.042064UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l040-r039-n1.opb0.130191UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l060-r059-n1.opb319.01UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l035-r034-n1.opb0.397448UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l010-r009-n1.opb0.030708UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l025-r024-n1.opb0.076851UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l065-r064-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l090-r089-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l080-r079-n1.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l010-r010-n1.opb0.029815UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l030-r029-n1.opb0.404731UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l100-r099-n1.opb2.30902UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l040-r039-n1.opb0.976647UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-25.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-35.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-55.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-20.opb7.14623UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-25.opb163.685UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-55.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-15.opb0.560291UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-45.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-60.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-70.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-30.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-75.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-45.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-70.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-25.opb104.19UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-30.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-60.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-80.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-40.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-80.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-50.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-35.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-55.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-75.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-60.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-45.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-40.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-60.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-35.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-25.opb1223.57UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-65.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-65.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-80.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-80.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-20.opb7.84984UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-50.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-50.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-35.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-70.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-75.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-40.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-55.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-65.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-70.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-75.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-30.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-30.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-15.opb1.0879UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-20.opb98.2002UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-65.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-15.opb6.34184UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-20.opb294.531UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-45.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-40.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-50.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-15.opb3.82076UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_11.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_21.opb0.081969SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_13.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_12.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_24.opb5.07943SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_29.opb2.41691SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_23.opb0.071818SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_7.opb3.53954UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_16.opb0.303886SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_26.opb0.067752SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_4.opb1.59156UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_14.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_19.opb0.424541SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_25.opb0.0917SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_9.opb83.8612UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_22.opb327.826SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_23.opb4.03958SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_3.opb0.027767UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_28.opb2.32244SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_13.opb0.107935SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_5.opb1.65363UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_15.opb0.080093SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_14.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_9.opb0.319579UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_26.opb2.21353SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_27.opb2.36249SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_17.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_5.opb0.044044UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_8.opb16.1262UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_19.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_18.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_9.opb5.70497UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_15.opb6.06767SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_12.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_30.opb2.47721SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_16.opb0.086403SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_8.opb0.104541UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_5.opb0.19161UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_21.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_6.opb0.047447UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_8.opb0.819046UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_14.opb1.93708UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_4.opb0.036351UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_25.opb2.71285SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_20.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_7.opb0.365321UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_18.opb0.794019SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_7.opb0.060154UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_11.opb925.279UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_16.opb0.525925SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_20.opb0.369577SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_20.opb0.304959SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_10.opb2.44024UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_11.opb1.81504SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_19.opb0.151262SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_13.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_16.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_3.opb0.938946UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_10.opb35.5079UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_17.opb2.70656SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_18.opb0.462723SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_6.opb1.93582UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_10.opb924.078UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_15.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_17.opb0.1033SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_6.opb0.20613UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_12.opb3.00212SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_14.opb0.075469SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_15.opb0.065638SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_24.opb0.091748SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_32.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_11.opb0.020426UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_22.opb40.9746UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_28.opb1314.84UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_6_1.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_3.opb0.0091UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_7.opb0.0098UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_16.opb0.074025UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_6.opb0.019492UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_11.opb0.048837UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_34.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_6.opb0.009224UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_22.opb8.00873UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_6_5.opb0.00775UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_2.opb0.007299UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_3.opb0.005504UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_6_6.opb0.009487SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_7_4.opb0.00645UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_5.opb0.005743UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_11.opb0.023881UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_7_1.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_14.opb0.043261UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_4.opb0.015311UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_7_2.opb0.003762UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_21.opb7.98581UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_10.opb0.021082UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_6.opb0.007493UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_9.opb0.012971UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_6.opb0.01512UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_7_6.opb0.013202UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_23.opb32.0793UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_12.opb0.124228UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_7.opb0.016788UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_29.opb499.947UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_18.opb1.69131UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_3.opb0.004055UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_19.opb0.140131UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_4.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_28.opb143.332UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_26.opb128.074UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_25.opb28.3143UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_3.opb0.008066UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_16.opb0.463496UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_6_3.opb0.005582UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_13.opb0.015217UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_5_0.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_3.opb0.006811UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_24.opb1.13459UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_7_3.opb0.006077UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_7_1.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_3_6.opb0.006653UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_15.opb0.141737UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_7_4.opb0.006784SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_6_4.opb0.005841UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_4_5.opb0.005511UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_6_4.opb0.008132UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_5.opb0.00413UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_10.opb0.011906UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_7.opb0.017416UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_12.opb0.028719UNSATISFIABLE
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.015509UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_4.opb0.008628UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_7_3.opb0.003337SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_5.opb0.007803UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_3_5.opb0.006015UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_37.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_1.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_0.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_24.opb180.913UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_3_3.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_12.opb0.05613UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_6_3.opb0.002974SATISFIABLE
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.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_9.opb0.024984UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_27.opb186.573UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_7.opb0.00715UNSATISFIABLE
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.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_9.opb0.011556UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_4_6.opb0.003397SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_6_5.opb0.008592UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_7_5.opb0.006517UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_12.opb0.045038UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_1.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_7.opb0.016444UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_2.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_29.opb213.397UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_19.opb2.56637UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_3.opb0.004107UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_28.opb2.73852UNSATISFIABLE
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.opb1207.51UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_6_6.opb0.004049UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_34.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_11.opb0.022864UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_16.opb0.608365UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_26.opb2.09824UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_6.opb0.012189UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_13.opb0.11859UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_7_20.opb0.051131SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_14.opb0.139753UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_19.opb1.52359UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_15.opb0.702385UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_20.opb5.28147UNSATISFIABLE
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.015127SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_25.opb126.506UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_7_3.opb0.004822UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_20.opb3.84322UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_13.opb0.054361UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_21.opb2.96171UNSATISFIABLE
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.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_7_19.opb32.0404UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_8.opb0.013825UNSATISFIABLE
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.01349UNSATISFIABLE
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.033179UNSATISFIABLE
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.opb11.1231UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_9.opb0.017377UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_6_2.opb0.002226UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_17.opb0.522984UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_7.opb0.015833UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_6.opb0.009866UNSATISFIABLE
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.244942UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_10.opb0.032779UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_4.opb0.00775UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_26.opb611.997UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_5.opb0.012901UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_19.opb0.801688UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_17.opb0.075983UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_22.opb0.575374UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_5.opb0.009628UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_31.opb1182.37UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_30.opb1112.01UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_22.opb36.4565UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_11.opb0.032668UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_11.opb0.011074UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_23.opb32.9719UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_10.opb0.041723UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_18.opb1.66213UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_35.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_6.opb0.011809UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_18.opb0.1462UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_7_2.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_30.opb313.523UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_21.opb12.5129UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_2.opb0.004142UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_33.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_25.opb1.11037UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_6_2.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_10.opb0.035651UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_1.opb0.006315UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_12.opb0.020258UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_14.opb0.17092UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_36.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_20.opb0.324665UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_23.opb0.500423UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_18.opb2.77294UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_2.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_6_1.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_31.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_28.opb95.7571UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_14.opb0.789551UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_21.opb4.73534UNSATISFIABLE
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.002175UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_6_2.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_24.opb43.8079UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_9.opb0.007776UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_8.opb0.010983UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_8.opb0.016412UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_27.opb477.025UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_24.opb11.4713UNSATISFIABLE
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.011148UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_9.opb0.024633UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_26.opb38.5783UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_5.opb0.008223UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_10.opb0.013359UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_18.opb0.468493SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_20.opb13.0427UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_2.opb0.005914UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_19.opb1.87467UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_6_1.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_4.opb0.004129UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_0.opb0.004125UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_6_3.opb0.004634UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_27.opb1.63871UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_7_2.opb0.00329UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_3.opb0.007572UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_2.opb0.004926UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_1.opb0.002875UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_4_3.opb0UNSATISFIABLE
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.544257UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_0.opb0.002278UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_8.opb0.022695UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_18.opb0.596527UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_12.opb0.013851SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_13.opb0.02378UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_6_7.opb0.013843UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_30.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_16.opb2.46007UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_20.opb10.9206UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_25.opb55.4078UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_32.opb1800UNKNOWN
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.003884UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_27.opb87.3755UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_7.opb0.007468UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_9.opb0.022551SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_7_18.opb6.20771UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_8.opb0.013453UNSATISFIABLE
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.143282UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_5_3.opb0SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_0.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_33.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_22.opb3.51663UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_8.opb0.010694UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_4_4.opb0.004567UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_38.opb1800UNKNOWN
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.opb1800UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_7_7.opb0.008614SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_13.opb0.055403UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_23.opb43.3825UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-95.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n22-d4-i3.cnf.gz-extracted.pb.metafix.opb67.8202UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i2-f.cnf.gz-plain.pb.metafix.opb23.4171UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-71.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i2-r1.cnf.gz-plain.pb.metafix.opb526.989UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n60-d3-i1-f.cnf.gz-plain.pb.metafix.opb1.01791UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n56-d3-i1-f.cnf.gz-plain.pb.metafix.opb3.48713UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n26-d4-i2.cnf.gz-extracted.pb.metafix.opb400.881UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n46-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.297374UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n58-d3-i2-f.cnf.gz-plain.pb.metafix.opb5.94756UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-83.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n40-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.05559UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n27-d4-i2.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-24-3.cnf.gz-plain.pb.metafix.opb13.2756UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n40-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.135862UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-25-2.cnf.gz-plain.pb.metafix.opb53.169UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n54-d3-i1-r1.cnf.gz-plain.pb.metafix.opb1.70628UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-25-3.cnf.gz-plain.pb.metafix.opb11.4997UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n68-d3-i2-r2.cnf.gz-plain.pb.metafix.opb12.3215UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n74-d3-i3-r1.cnf.gz-plain.pb.metafix.opb28.6244UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n17-d4-i3.cnf.gz-plain.pb.metafix.opb3.06912UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n92-d3-i1-r2.cnf.gz-plain.pb.metafix.opb355.049UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n78-d3-i2-r1.cnf.gz-plain.pb.metafix.opb130.696UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i2-r2.cnf.gz-plain.pb.metafix.opb23.3112UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n94-d3-i1-f.cnf.gz-plain.pb.metafix.opb1695.31UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-77.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n38-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.129854UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i1-r2.cnf.gz-plain.pb.metafix.opb14.563UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n23-d4-i3.cnf.gz-extracted.pb.metafix.opb95.502UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n94-d3-i2-f.cnf.gz-plain.pb.metafix.opb377.352UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n78-d3-i3-r1.cnf.gz-plain.pb.metafix.opb245.113UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n40-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.12101UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n25-d4-i2.cnf.gz-plain.pb.metafix.opb202.102UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i3-r2.cnf.gz-plain.pb.metafix.opb2.28839UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n40-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.09452UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.956344UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-26-2.cnf.gz-plain.pb.metafix.opb39.7028UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-76.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-51.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n82-d3-i2-r1.cnf.gz-plain.pb.metafix.opb27.97UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n86-d3-i3-r2.cnf.gz-plain.pb.metafix.opb91.397UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n58-d3-i3-r2.cnf.gz-plain.pb.metafix.opb1.13621UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n76-d3-i2-r2.cnf.gz-plain.pb.metafix.opb370.314UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-68.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-27-2.cnf.gz-plain.pb.metafix.opb140.451UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-18-1.cnf.gz-plain.pb.metafix.opb0.548016UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n46-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.453751UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-16.cnf.gz-extracted.pb.metafix.opb8.31585UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n58-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.539148UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-65.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n22-d4-i2.cnf.gz-plain.pb.metafix.opb17.055UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-29-1.cnf.gz-extracted.pb.metafix.opb1183.2UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n66-d3-i3-f.cnf.gz-plain.pb.metafix.opb11.2256UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-29-3.cnf.gz-extracted.pb.metafix.opb1188.76UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n80-d3-i3-r2.cnf.gz-plain.pb.metafix.opb718.365UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-81.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n72-d3-i1-r2.cnf.gz-plain.pb.metafix.opb16.8099UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i3-f.cnf.gz-plain.pb.metafix.opb2.43791UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-27-1.cnf.gz-plain.pb.metafix.opb72.3191UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-17.cnf.gz-extracted.pb.metafix.opb15.8419UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-86.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n17-d4-i1.cnf.gz-plain.pb.metafix.opb1.09575UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-26-2.cnf.gz-extracted.pb.metafix.opb89.0175UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n46-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.185039UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-25.cnf.gz-extracted.pb.metafix.opb1126.74UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n60-d3-i3-f.cnf.gz-plain.pb.metafix.opb4.84571UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-19.cnf.gz-plain.pb.metafix.opb63.3706UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-26-1.cnf.gz-plain.pb.metafix.opb87.7025UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n42-d3-i3-r1.cnf.gz-plain.pb.metafix.opb0.088008UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n42-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.068535UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n74-d3-i3-f.cnf.gz-plain.pb.metafix.opb38.6778UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n40-d3-i3-r1.cnf.gz-plain.pb.metafix.opb0.078149UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-24.cnf.gz-extracted.pb.metafix.opb867.805UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n40-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.070101UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n20-d4-i3.cnf.gz-plain.pb.metafix.opb10.2682UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-23-2.cnf.gz-extracted.pb.metafix.opb25.6615UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n26-d4-i3.cnf.gz-extracted.pb.metafix.opb200.79UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n80-d3-i3-r1.cnf.gz-plain.pb.metafix.opb675.689UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n18-d4-i1.cnf.gz-plain.pb.metafix.opb2.99609UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n94-d3-i1-r1.cnf.gz-plain.pb.metafix.opb721.869UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.38838UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n90-d3-i2-r1.cnf.gz-plain.pb.metafix.opb153.693UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-55.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n68-d3-i3-r1.cnf.gz-plain.pb.metafix.opb29.3186UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-20-1.cnf.gz-plain.pb.metafix.opb1.35498UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-60.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n21-d4-i3.cnf.gz-extracted.pb.metafix.opb27.5293UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n68-d3-i2-r1.cnf.gz-plain.pb.metafix.opb9.54452UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-19-3.cnf.gz-plain.pb.metafix.opb2.9909UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n29-d4-i2.cnf.gz-plain.pb.metafix.opb135.019UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n74-d3-i1-r2.cnf.gz-plain.pb.metafix.opb11.1627UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n64-d3-i2-r2.cnf.gz-plain.pb.metafix.opb4.45703UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n86-d3-i1-f.cnf.gz-plain.pb.metafix.opb1712.86UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n90-d3-i1-r2.cnf.gz-plain.pb.metafix.opb83.0848UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n90-d3-i1-f.cnf.gz-plain.pb.metafix.opb144.851UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-27-1.cnf.gz-extracted.pb.metafix.opb108.759UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n44-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.194283UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n62-d3-i3-f.cnf.gz-plain.pb.metafix.opb6.72769UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n78-d3-i3-f.cnf.gz-plain.pb.metafix.opb245.23UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-27.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n50-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.310551UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n42-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.08721UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n50-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.428209UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-24-3.cnf.gz-extracted.pb.metafix.opb14.4675UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n92-d3-i1-r1.cnf.gz-plain.pb.metafix.opb228.636UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-31-1.cnf.gz-extracted.pb.metafix.opb473.395UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-20.cnf.gz-extracted.pb.metafix.opb103.111UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n82-d3-i2-f.cnf.gz-plain.pb.metafix.opb26.7169UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n50-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.439433UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n60-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.958934UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n68-d3-i1-r2.cnf.gz-plain.pb.metafix.opb5.88112UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i2-r1.cnf.gz-plain.pb.metafix.opb2.42015UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n92-d3-i3-r1.cnf.gz-plain.pb.metafix.opb1642.01UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-18.cnf.gz-extracted.pb.metafix.opb41.7305UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-22-2.cnf.gz-plain.pb.metafix.opb1.72557UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n74-d3-i2-f.cnf.gz-plain.pb.metafix.opb140.945UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n28-d4-i3.cnf.gz-plain.pb.metafix.opb219.188UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n19-d4-i3.cnf.gz-plain.pb.metafix.opb3.21023UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.533972UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n24-d4-i2.cnf.gz-extracted.pb.metafix.opb99.4962UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n56-d3-i3-r1.cnf.gz-plain.pb.metafix.opb5.01117UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n23-d4-i1.cnf.gz-extracted.pb.metafix.opb39.1567UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n66-d3-i1-r1.cnf.gz-plain.pb.metafix.opb1.01357UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i2-r2.cnf.gz-plain.pb.metafix.opb2.41494UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-27-3.cnf.gz-plain.pb.metafix.opb41.6595UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-16.cnf.gz-plain.pb.metafix.opb7.85482UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n21-d4-i2.cnf.gz-extracted.pb.metafix.opb18.5032UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n78-d3-i1-f.cnf.gz-plain.pb.metafix.opb30.4658UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n23-d4-i1.cnf.gz-plain.pb.metafix.opb40.1232UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i3-r1.cnf.gz-plain.pb.metafix.opb2.38698UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i1-f.cnf.gz-plain.pb.metafix.opb14.5564UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-23.cnf.gz-extracted.pb.metafix.opb494.247UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-24-2.cnf.gz-extracted.pb.metafix.opb19.0621UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n90-d3-i2-r2.cnf.gz-plain.pb.metafix.opb233.041UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-94.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n44-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.063969UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n24-d4-i3.cnf.gz-extracted.pb.metafix.opb220.127UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n62-d3-i2-r1.cnf.gz-plain.pb.metafix.opb1.74969UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-97.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-27-2.cnf.gz-extracted.pb.metafix.opb186.167UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n29-d4-i2.cnf.gz-extracted.pb.metafix.opb147.642UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-19.cnf.gz-extracted.pb.metafix.opb67.5562UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.459205UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i2-f.cnf.gz-plain.pb.metafix.opb4.78482UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-22-3.cnf.gz-plain.pb.metafix.opb17.5726UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-73.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.950179UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-21.cnf.gz-extracted.pb.metafix.opb211.693UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-20-3.cnf.gz-plain.pb.metafix.opb3.32195UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n74-d3-i3-r2.cnf.gz-plain.pb.metafix.opb29.0482UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n44-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.161143UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-67.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n66-d3-i1-f.cnf.gz-plain.pb.metafix.opb1.0134UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n94-d3-i2-r1.cnf.gz-plain.pb.metafix.opb381.825UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n72-d3-i2-f.cnf.gz-plain.pb.metafix.opb43.3245UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n78-d3-i1-r2.cnf.gz-plain.pb.metafix.opb27.5278UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i2-r1.cnf.gz-plain.pb.metafix.opb23.5522UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n78-d3-i2-f.cnf.gz-plain.pb.metafix.opb97.8191UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-28-2.cnf.gz-extracted.pb.metafix.opb96.5301UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-66.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n80-d3-i1-r1.cnf.gz-plain.pb.metafix.opb92.5575UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n21-d4-i3.cnf.gz-plain.pb.metafix.opb36.1082UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i1-r1.cnf.gz-plain.pb.metafix.opb62.6088UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n58-d3-i1-r2.cnf.gz-plain.pb.metafix.opb2.19719UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i3-r2.cnf.gz-plain.pb.metafix.opb274.372UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n38-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.037563UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n76-d3-i2-r1.cnf.gz-plain.pb.metafix.opb335.283UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n68-d3-i3-r2.cnf.gz-plain.pb.metafix.opb29.0768UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n80-d3-i1-r2.cnf.gz-plain.pb.metafix.opb97.3579UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n86-d3-i1-r2.cnf.gz-plain.pb.metafix.opb1049.05UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i2-f.cnf.gz-plain.pb.metafix.opb1.00632UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n19-d4-i1.cnf.gz-plain.pb.metafix.opb7.66624UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-80.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-17.cnf.gz-plain.pb.metafix.opb16.6891UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n64-d3-i2-f.cnf.gz-plain.pb.metafix.opb5.40052UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-22-1.cnf.gz-extracted.pb.metafix.opb17.2276UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n46-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.423479UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-25-2.cnf.gz-extracted.pb.metafix.opb68.7318UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n64-d3-i1-f.cnf.gz-plain.pb.metafix.opb2.75074UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-19-2.cnf.gz-plain.pb.metafix.opb6.67405UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n76-d3-i1-r1.cnf.gz-plain.pb.metafix.opb168.132UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n26-d4-i1.cnf.gz-extracted.pb.metafix.opb651.945UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n82-d3-i1-f.cnf.gz-plain.pb.metafix.opb312.616UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-69.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n80-d3-i3-f.cnf.gz-plain.pb.metafix.opb398.266UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n58-d3-i3-f.cnf.gz-plain.pb.metafix.opb1.11531UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n88-d3-i1-r2.cnf.gz-plain.pb.metafix.opb759.257UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n76-d3-i2-f.cnf.gz-plain.pb.metafix.opb367.409UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-92.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n82-d3-i3-r2.cnf.gz-plain.pb.metafix.opb135.122UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-22-1.cnf.gz-plain.pb.metafix.opb13.5155UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-23-1.cnf.gz-plain.pb.metafix.opb15.5048UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n46-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.086339UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n76-d3-i3-f.cnf.gz-plain.pb.metafix.opb97.3299UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n56-d3-i2-r1.cnf.gz-plain.pb.metafix.opb1.24077UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n58-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.549795UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n80-d3-i1-f.cnf.gz-plain.pb.metafix.opb139.221UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n38-d3-i3-r1.cnf.gz-plain.pb.metafix.opb0.075946UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n66-d3-i2-r1.cnf.gz-plain.pb.metafix.opb7.83547UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-23-3.cnf.gz-extracted.pb.metafix.opb13.1046UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n42-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.092166UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n60-d3-i2-r2.cnf.gz-plain.pb.metafix.opb2.25927UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-25-1.cnf.gz-extracted.pb.metafix.opb24.6107UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n56-d3-i3-r2.cnf.gz-plain.pb.metafix.opb2.25618UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-72.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n66-d3-i3-r1.cnf.gz-plain.pb.metafix.opb11.1806UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-78.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n24-d4-i3.cnf.gz-plain.pb.metafix.opb260.132UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.904681UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n44-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.193686UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n82-d3-i3-f.cnf.gz-plain.pb.metafix.opb143.1UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.448273UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n68-d3-i3-f.cnf.gz-plain.pb.metafix.opb29.1766UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-89.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n44-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.037269UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-64.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n22-d4-i3.cnf.gz-plain.pb.metafix.opb71.4142UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n54-d3-i3-f.cnf.gz-plain.pb.metafix.opb1.04399UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-70.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.389139UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.548995UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n50-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.481416UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n27-d4-i3.cnf.gz-extracted.pb.metafix.opb485.693UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n46-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.421866UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n44-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.110117UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n78-d3-i1-r1.cnf.gz-plain.pb.metafix.opb11.671UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.453807UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n60-d3-i2-r1.cnf.gz-plain.pb.metafix.opb2.35533UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n86-d3-i3-r1.cnf.gz-plain.pb.metafix.opb155.272UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n38-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.080999UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n42-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.080026UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-28-3.cnf.gz-extracted.pb.metafix.opb509.849UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-63.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i2-f.cnf.gz-plain.pb.metafix.opb628.817UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n42-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.076152UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n64-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.899708UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i3-r1.cnf.gz-plain.pb.metafix.opb0.369159UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n23-d4-i2.cnf.gz-extracted.pb.metafix.opb13.297UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n50-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.421599UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n28-d4-i3.cnf.gz-extracted.pb.metafix.opb213.768UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-18.cnf.gz-plain.pb.metafix.opb37.2566UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-87.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n23-d4-i2.cnf.gz-plain.pb.metafix.opb11.6239UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n72-d3-i3-r1.cnf.gz-plain.pb.metafix.opb6.39142UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n64-d3-i3-r2.cnf.gz-plain.pb.metafix.opb2.15323UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n54-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.059781UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-58.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n22-d4-i1.cnf.gz-extracted.pb.metafix.opb28.1098UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n90-d3-i3-r1.cnf.gz-plain.pb.metafix.opb598.402UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-20-2.cnf.gz-plain.pb.metafix.opb2.27487UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n74-d3-i1-r1.cnf.gz-plain.pb.metafix.opb12.7427UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n96-d3-i3-f.cnf.gz-plain.pb.metafix.opb728.912UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i1-r1.cnf.gz-plain.pb.metafix.opb14.5736UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-23-3.cnf.gz-plain.pb.metafix.opb13.3635UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n54-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.047654UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n25-d4-i1.cnf.gz-extracted.pb.metafix.opb210.083UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n40-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.13707UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i3-f.cnf.gz-plain.pb.metafix.opb324.852UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n17-d4-i2.cnf.gz-plain.pb.metafix.opb1.31978UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n20-d4-i1.cnf.gz-plain.pb.metafix.opb1.81944UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n76-d3-i3-r2.cnf.gz-plain.pb.metafix.opb42.5669UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n16-d4-i2.cnf.gz-plain.pb.metafix.opb1.19745UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-21-2.cnf.gz-plain.pb.metafix.opb2.8747UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n72-d3-i1-r1.cnf.gz-plain.pb.metafix.opb15.1561UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n42-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.07104UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n24-d4-i2.cnf.gz-plain.pb.metafix.opb91.9085UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-26-3.cnf.gz-extracted.pb.metafix.opb39.1206UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n40-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.0823UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n38-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.180257UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n56-d3-i2-r2.cnf.gz-plain.pb.metafix.opb2.7659UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-24-2.cnf.gz-plain.pb.metafix.opb36.703UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.393608UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-26-1.cnf.gz-extracted.pb.metafix.opb69.9004UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-25-3.cnf.gz-extracted.pb.metafix.opb12.3UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n56-d3-i1-r1.cnf.gz-plain.pb.metafix.opb6.00938UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n94-d3-i2-r2.cnf.gz-plain.pb.metafix.opb381.003UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-25-1.cnf.gz-plain.pb.metafix.opb16.4548UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-27-3.cnf.gz-extracted.pb.metafix.opb43.6925UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n64-d3-i1-r2.cnf.gz-plain.pb.metafix.opb2.1455UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n19-d4-i1.cnf.gz-extracted.pb.metafix.opb7.21399UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-100.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n72-d3-i2-r1.cnf.gz-plain.pb.metafix.opb47.4328UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n44-d3-i3-r1.cnf.gz-plain.pb.metafix.opb0.173057UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n62-d3-i2-r2.cnf.gz-plain.pb.metafix.opb2.27379UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-90.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-22.cnf.gz-extracted.pb.metafix.opb253.903UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n25-d4-i3.cnf.gz-plain.pb.metafix.opb473.857UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n92-d3-i3-r2.cnf.gz-plain.pb.metafix.opb746.761UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n54-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.066518UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i2-r2.cnf.gz-plain.pb.metafix.opb685.604UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-17-3.cnf.gz-plain.pb.metafix.opb0.254824UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-30-2.cnf.gz-extracted.pb.metafix.opb506.262UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i1-r2.cnf.gz-plain.pb.metafix.opb45.2303UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n50-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.437874UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n76-d3-i1-r2.cnf.gz-plain.pb.metafix.opb167.632UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n46-d3-i3-r1.cnf.gz-plain.pb.metafix.opb0.291163UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-23-2.cnf.gz-plain.pb.metafix.opb21.7648UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n92-d3-i3-f.cnf.gz-plain.pb.metafix.opb784.533UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n62-d3-i3-r2.cnf.gz-plain.pb.metafix.opb6.77737UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-88.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n25-d4-i2.cnf.gz-extracted.pb.metafix.opb202.842UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-21-1.cnf.gz-plain.pb.metafix.opb5.78472UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-24-1.cnf.gz-plain.pb.metafix.opb17.2276UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n88-d3-i3-r1.cnf.gz-plain.pb.metafix.opb156.632UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n36-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.112653UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n68-d3-i2-f.cnf.gz-plain.pb.metafix.opb7.0249UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n22-d4-i2.cnf.gz-extracted.pb.metafix.opb16.1058UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n21-d4-i1.cnf.gz-plain.pb.metafix.opb2.96745UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n24-d4-i1.cnf.gz-plain.pb.metafix.opb456.29UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-61.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n60-d3-i3-r1.cnf.gz-plain.pb.metafix.opb4.91087UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n88-d3-i1-r1.cnf.gz-plain.pb.metafix.opb817.966UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n66-d3-i2-f.cnf.gz-plain.pb.metafix.opb11.3193UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n62-d3-i3-r1.cnf.gz-plain.pb.metafix.opb8.07769UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n46-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.296022UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-85.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-62.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-28-2.cnf.gz-plain.pb.metafix.opb90.3982UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n88-d3-i3-f.cnf.gz-plain.pb.metafix.opb311.034UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n74-d3-i1-f.cnf.gz-plain.pb.metafix.opb11.8415UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-84.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n86-d3-i2-f.cnf.gz-plain.pb.metafix.opb361.529UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n72-d3-i3-f.cnf.gz-plain.pb.metafix.opb4.65855UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-91.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-26.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n18-d4-i2.cnf.gz-plain.pb.metafix.opb5.6532UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n78-d3-i2-r2.cnf.gz-plain.pb.metafix.opb109.687UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n42-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.078643UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n68-d3-i1-f.cnf.gz-plain.pb.metafix.opb6.16875UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n64-d3-i3-r1.cnf.gz-plain.pb.metafix.opb2.20908UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n50-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.195016UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n26-d4-i3.cnf.gz-plain.pb.metafix.opb201.528UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.915216UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n58-d3-i2-r1.cnf.gz-plain.pb.metafix.opb5.0547UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-98.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-15.cnf.gz-plain.pb.metafix.opb4.91934UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n62-d3-i1-r2.cnf.gz-plain.pb.metafix.opb3.94307UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-75.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n60-d3-i2-f.cnf.gz-plain.pb.metafix.opb2.45036UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n38-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.07753UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n96-d3-i1-r2.cnf.gz-plain.pb.metafix.opb1726.01UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n90-d3-i1-r1.cnf.gz-plain.pb.metafix.opb143.27UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n82-d3-i1-r1.cnf.gz-plain.pb.metafix.opb209.885UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-93.cnf.gz-extracted.pb.metafix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n72-d3-i1-f.cnf.gz-plain.pb.metafix.opb15.1661UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i3-r1.cnf.gz-plain.pb.metafix.opb305.508UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n56-d3-i1-r2.cnf.gz-plain.pb.metafix.opb2.32068UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n38-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.037346UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm75p-dec.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm85p-dec.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm25p-dec.opb.negationfix.opb1800UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm50p-dec.opb.negationfix.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob7.opb0.770585SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob2.opb0.717588SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob10.opb0.834063SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-cuww4.opb0.585652SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob3.opb1.06834SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob5.opb0.681552SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-cuww1.opb0.432165SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob4.opb0.778124SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob8.opb1.03183SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-cuww3.opb0.379543SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-cuww5.opb0.412796SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob6.opb0.841812SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-cuww2.opb0.368535SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob1.opb0.567236SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k4_l4_n360.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k5_l4_n750.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k3_l5_n550.opb277.271SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k6_l3_n170.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k3_l6_n1500.opb40.2426SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb84.4545SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb8.24286SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb88.8626SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb295.072SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb370.903SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb26.8488SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb26.2962SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb53.5234SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb11.6812SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb19.6856SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb25.2234SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb7.85809SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb80.9073SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb7.87107SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb187.387SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110966483.opb26.3825UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969577.opb80.6416UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223596.opb12.3911SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111221953.opb16.3746SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111212923.opb86.439UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111219348.opb67.3253UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110976730.opb87.736UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111226680.opb75.5317UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110970277.opb4.511SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111213868.opb74.7082UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110973163.opb72.1601UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111221624.opb67.6069UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218024.opb56.077UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110967523.opb92.281UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110970444.opb63.2929UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218955.opb164.3UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223220.opb169.355UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110976157.opb26.4795UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110968561.opb67.8254UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111217380.opb3.45609SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110973364.opb161.723UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110968431.opb3.45598SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110978334.opb88.7481UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111220767.opb63.9661UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111217392.opb50.6018UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111221203.opb42.2713UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110974553.opb6.57788SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110971697.opb57.7303UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111216411.opb73.681UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111227012.opb63.9278UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111216823.opb108.735UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111212476.opb70.5227UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969170.opb121.008UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110968094.opb69.8487UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111226241.opb8.9052SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110977464.opb31.4701SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110967327.opb30.9469SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223696.opb6.6228SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224929.opb56.5712UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224451.opb47.7768UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110967729.opb105.231UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110973863.opb31.627SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110975965.opb119.309UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111227418.opb13.7177SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110970631.opb68.6366UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110975607.opb49.5002UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111216864.opb28.5551SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110976935.opb26.9285UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110970170.opb35.0717SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111220546.opb70.3049UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110975678.opb8.86994SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110973478.opb75.2761SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223689.opb5.81932SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110977780.opb63.5599UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110977273.opb63.9179UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110966688.opb23.3121UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224522.opb68.6526SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224059.opb37.3129UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110971363.opb54.5513UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111219799.opb102.224UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223416.opb17.5367SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224255.opb97.7255UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111222539.opb67.9397UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111217555.opb93.4001UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110975832.opb10.7135SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218308.opb70.055UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111225122.opb84.6719UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111222257.opb65.8874UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111219399.opb1.37239SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111226062.opb63.5109UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110972154.opb70.9962UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110971097.opb13.9433SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110967142.opb77.8073UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111227326.opb73.3771UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110971766.opb0.522935SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110968898.opb58.1859UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111216188.opb12.8496SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111226368.opb67.5876UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110976735.opb7.2289SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969860.opb76.5388UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969933.opb3.1834SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110972958.opb2.70396SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111212272.opb104.056UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110974180.opb68.9286UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111222248.opb4.81652SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218757.opb82.2043UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110977266.opb8.62431SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111226284.opb5.25148SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111220019.opb80.7933UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111225605.opb79.7716UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223004.opb85.6065UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110978113.opb77.1401UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110974372.opb60.4801UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111217374.opb0.118354SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111222080.opb66.6195SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111213670.opb82.0925UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110972763.opb86.2542UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111228076.opb86.9201UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110973670.opb89.7308UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111227861.opb87.7114UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900546076.opb0.480459UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900547334.opb1.05168SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900669309.opb7.09554SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900545610.opb3.7052UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900571132.opb7.02611UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900669299.opb0.170131SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576918.opb1.63179SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557362.opb0.579466UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567003.opb1.59818SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900559416.opb6.80042SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900544484.opb1.38294UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557957.opb0.687398UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900562192.opb3.97976UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554067.opb3.88149SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900546417.opb7.13948UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900547416.opb2.62948SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900584219.opb2.17953UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900575442.opb5.09327UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554373.opb5.71693SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900573901.opb6.14282UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576151.opb3.72645UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900550006.opb19.4261UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900563801.opb0.722543UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568186.opb3.60291UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900547427.opb2.20465SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567939.opb0.94553SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900553644.opb0.978054SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900564281.opb6.46275UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900577940.opb12.1985UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900561288.opb30.3398UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900547389.opb4.25342UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900550720.opb6.38331UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554154.opb2.18254SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900574864.opb4.79969UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568952.opb4.25869SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900553606.opb0.420869SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900565534.opb7.39483UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567024.opb0.897017UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900574974.opb0.937651SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900563250.opb47.0829UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900547461.opb1.29467SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900556231.opb2.56457UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567135.opb4.93343UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900558106.opb2.04784UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568706.opb0.71235UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554375.opb1.16038SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552311.opb1.24008SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900570242.opb2.15402UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900553812.opb1.08064UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552423.opb0.195147UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900566263.opb1.74552SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900564824.opb1.91704UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900561389.opb1.2605SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900549974.opb7.87989SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900566151.opb1.85347SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900573137.opb6.03903UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900544463.opb2.31418SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670675.opb0.651903UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900583053.opb6.30916UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551864.opb4.60454UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900558739.opb8.09796UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557568.opb1.6103SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900584106.opb3.92075UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900559676.opb15.9708UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670167.opb0.455665UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900564822.opb0.322814SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900565527.opb1.36509SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576360.opb2.52696UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900571761.opb7.9954UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900579996.opb2.87058UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552735.opb3.07321UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900566270.opb4.73094SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900571131.opb1.4082SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557574.opb2.41194UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900582300.opb22.6554UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554420.opb3.7518UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900669797.opb3.91724UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900581321.opb0.303325SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670234.opb22.886UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551347.opb1.27849UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900574948.opb1.27781SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900559641.opb1.37687SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900553647.opb4.49784UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900559365.opb0.159574SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567985.opb13.2895UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576927.opb6.065UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557413.opb2.52147SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900566157.opb5.42939UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900569834.opb1.56877UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900581320.opb10.4878UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900548667.opb33.1509UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554389.opb0.772553SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900577000.opb2.97555SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900547353.opb2.44391SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552288.opb1.30134UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554072.opb2.68025UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900561384.opb3.53612SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900667195.opb20.5642UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670756.opb7.54396SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900582376.opb1.19016SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin14.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin10.opb0.360342SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin12.opb18.9942SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin8.opb0.083704SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin18.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin16.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army12.21ls.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army9.12ls.opb0.194924SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army13.24bt.opb212.774SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army11.17ls.opb6.39792SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army8.9ls.opb0.089478SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army8.9bt.opb0.062543SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army13.24ls.opb63.2887SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army11.17bt.opb12.8788SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army10.14bt.opb40.3437SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army12.21bt.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army10.14ls.opb2.771SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army9.12bt.opb0.146611SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-15-10.opb1.98953UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-51-50.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-61-60.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-31-30.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-65-60.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-91-90.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-95-90.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-35-30.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-25-20.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-21-20.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-11-10.opb9.26907UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-105-100.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-81-80.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-75-70.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb1.51446UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb34.7981UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb23.9691UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb0.117682UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb3.46487UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb0.072243UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb0.281683UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb39.0559UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb20.4236UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb0.318005UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-25s.smv.opb0.279943UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb0.256762UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb0.193709UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb0.123201UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl.opb0.009146UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb0.217396UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb0.010862UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb0.46983UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb2.18221UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-elf.rf6.ucl.opb0.00278UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-46s.smv.opb0.075982UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.8.accl.ucl.opb36.0262UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-22s.smv.opb0.330793UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.opb18.9962UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb3.82675UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl.opb0.01382UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-37s.smv.opb0.041125UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-elf.rf10.ucl.opb2.13202UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-44s.smv.opb0.030052UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb2.92564SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb317.204UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.2.accl.ucl.opb0.189892UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb0.125491UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache.inv10.ucl.opb0.267388UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb0.567804UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb1.07429UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl.opb31.0322UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb0.758367UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb0.762984UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-dlx1c.ucl.opb0.226356UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb0.05794UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl.opb0.57416UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.4.accl.ucl.opb0.180896UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb72.9621UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb0.052015UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb0.034227UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb0.130994UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb13.0601UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-43s.smv.opb0.181084UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb0.976553UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb0.480246SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb20.1048SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb9.15758SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb7.45474SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb0.031162SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb0.176376SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga13_13_sat_pb.cnf.cr.opb0.024587SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb0.055826SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga10_9_sat_pb.cnf.cr.opb0.023249SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb4.07376UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga14_14_sat_pb.cnf.cr.opb0.01569SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb0.021862SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb0.00424SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga12_10_sat_pb.cnf.cr.opb0.011541SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb0.051355SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb0.265545SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb0.011114SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga15_14_sat_pb.cnf.cr.opb0.019108SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb0.242399SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb0.031535SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb0.013399SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb0.014403SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga10_8_sat_pb.cnf.cr.opb0.010612SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb2.16633UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb0.249787SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb0.07609SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb0.13364SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb2.99873UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opb0.027457SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb0.075511SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb0.050312SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga11_11_sat_pb.cnf.cr.opb0.022917SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb0.016872SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb0.596154SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb0.15464SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb0.268875SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb0.015278SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb0.064273SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb0.114017SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb0.011455SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga12_12_sat_pb.cnf.cr.opb0.119999SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb0.019126SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb1800UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb0.145732SATISFIABLE
DEC-SMALLINT-LIN/heinz/normalized-neos-820157.opb1800UNKNOWN
DEC-SMALLINT-LIN/heinz/normalized-neos-820146.opb1800UNKNOWN
DEC-SMALLINT-LIN/heinz/normalized-neos808444.opb3.18204SATISFIABLE
DEC-SMALLINT-LIN/heinz/normalized-neos-849702.opb141.738SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12052_5-unsat.opb1800UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12035_4-sat.opb3.79644SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12032_8-unsat.opb1800UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12027_7-unsat.opb251.058UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12038_8-unsat.opb1800UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12046_2-sat.opb1800UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12056_10-unsat.opb1800UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12015_3-unsat.opb0.182249UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12039_7-sat.opb1800UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12033_3-sat.opb1800UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12059_3-unsat.opb0.259384UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12021_4-sat.opb1.08797SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12032_3-unsat.opb1800UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12026_5-unsat.opb1541.18UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12023_3-unsat.opb0.222252UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1205_3-unsat.opb0.147814UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1206_6-sat.opb1800UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12038_3-sat.opb1800UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12047_10-unsat.opb1800UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12045_10-sat.opb0.611915SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12048_4-unsat.opb1800UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1209_4-sat.opb39.2778SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12058_4-sat.opb1800UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12013_1-unsat.opb0.25986UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1205_1-unsat.opb0.19274UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12041_4-unsat.opb1.0328UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12047_6-sat.opb1800UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12010_10-sat.opb0.907401SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12022_9-sat.opb0.854375SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1201_5-sat.opb0.874483SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12028_8-sat.opb301.686SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1204_7-sat.opb0.582201SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12016_4-sat.opb1800UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1206_8-unsat.opb1800UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1208_10-unsat.opb1800UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12038_7-unsat.opb1800UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12034_4-sat.opb6.12121SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12049_6-unsat.opb0.288295UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1208_6-sat.opb1217.79SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12037_7-sat.opb1800UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12036_4-sat.opb1800UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12036_3-sat.opb1800UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1203_2-sat.opb0.666575SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3024_4-sat.opb0.090921SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3024_3-sat.opb0.114825SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j301_4-unsat.opb0.079171UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3011_9-unsat.opb0.032483UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3029_8-unsat.opb8.75386UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j308_6-unsat.opb0.027682UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3046_4-unsat.opb0.14138UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3037_5-sat.opb0.153547SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j308_1-unsat.opb0.030441UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3048_8-sat.opb0.06713SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j309_6-sat.opb0.202703SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3025_10-sat.opb0.142751SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3029_6-sat.opb5.51838SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3025_7-sat.opb0.322656SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j309_10-unsat.opb0.341604UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3042_5-unsat.opb0.035929UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j307_9-unsat.opb0.085005UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j309_9-sat.opb0.330531SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3025_1-sat.opb0.268154SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3041_4-unsat.opb0.292891UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j307_10-sat.opb0.089938SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3020_1-sat.opb0.081857SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3031_7-sat.opb0.122613SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3024_2-sat.opb0.092418SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3017_6-sat.opb0.093781SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3030_6-sat.opb0.210229SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j308_6-sat.opb0.078673SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3043_8-sat.opb0.106805SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3024_5-sat.opb0.079675SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3027_8-sat.opb0.120409SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j902_5-sat.opb0.487804SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9040_1-unsat.opb0.172176UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j901_6-sat.opb0.406111SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9016_7-sat.opb0.854032SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9038_3-unsat.opb0.525991UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9042_4-sat.opb1.17236SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9042_5-sat.opb1.37988SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9043_2-sat.opb0.912415SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9048_1-unsat.opb0.15064UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9040_1-sat.opb0.732002SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9039_3-unsat.opb0.14077UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9015_10-unsat.opb0.12906UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9035_1-unsat.opb0.389643UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9012_5-sat.opb0.945354SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9048_9-sat.opb1.15615SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j906_2-sat.opb1.0724SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9012_2-unsat.opb0.122436UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9035_5-sat.opb0.421699SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9014_1-unsat.opb0.151062UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9028_2-unsat.opb0.135493UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9027_5-sat.opb1.12324SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j905_6-unsat.opb6.92755UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j907_8-unsat.opb0.092708UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9015_7-unsat.opb0.134081UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9010_8-sat.opb1.58278SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9010_10-unsat.opb0.11335UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9045_1-sat.opb1800UNKNOWN
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9010_6-unsat.opb0.147537UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j908_8-unsat.opb0.107766UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j903_10-unsat.opb0.099682UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6030_8-sat.opb0.414095SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6042_2-sat.opb0.424109SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6040_1-sat.opb0.315989SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j603_2-unsat.opb0.074972UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j606_1-unsat.opb0.056839UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6043_4-sat.opb0.281271SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6027_9-unsat.opb0.094539UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6032_1-unsat.opb0.085911UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6040_10-sat.opb0.284503SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6016_10-unsat.opb0.072155UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j601_8-unsat.opb0.190199UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6033_2-unsat.opb0.118636UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6018_3-sat.opb0.238953SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6010_7-unsat.opb0.074334UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6022_1-sat.opb0.22691SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6027_4-unsat.opb0.070701UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6015_4-sat.opb0.745507SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j605_1-unsat.opb4.77494UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j607_4-unsat.opb0.069072UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6040_3-sat.opb0.237822SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6020_9-sat.opb0.226606SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j605_10-unsat.opb12.635UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6041_4-sat.opb5.85969SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6013_2-unsat.opb1800UNKNOWN
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6014_2-sat.opb0.757328SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6030_9-unsat.opb0.119736UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6048_4-sat.opb0.380811SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6028_7-sat.opb0.538181SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6035_10-sat.opb0.216449SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6028_9-unsat.opb0.084315UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j605_7-sat.opb3.23866SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6010_2-unsat.opb0.064351UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6029_8-unsat.opb1800UNKNOWN
DEC-SMALLINT-LIN/oliveras/j60/normalized-j602_7-unsat.opb0.13094UNSATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K72.opb22.0907SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K77.opb0.227565SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K76.opb2.28163SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K65.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K79.opb5.37368SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K69.opb108.117SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K80.opb3.64698SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K66.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K75.opb5.52508SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K71.opb52.1388SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K68.opb249.447SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K67.opb255.24SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K78.opb7.95746SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K73.opb24.1626SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K70.opb76.2871SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K74.opb22.6561SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K86.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K102.opb435.785SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K85.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K80.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K105.opb396.439SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K87.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K104.opb424.604SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K90.opb1327.59SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K88.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K100.opb1004.49SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K108.opb342.121SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K84.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K95.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K109.opb979.642SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K94.opb1201.86SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K99.opb700.044SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K82.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K83.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K103.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K101.opb247.461SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K106.opb69.551SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K81.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K93.opb1023.64SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K89.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K97.opb758.681SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K107.opb193.019SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K98.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K92.opb991.864SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K91.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K96.opb1641.86SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K176.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K132.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K181.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K129.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K160.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K196.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K199.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K139.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K180.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K200.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K138.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K152.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K131.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K168.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K183.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K125.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K141.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K164.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K126.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K177.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K163.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K128.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K156.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K143.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K148.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K133.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K140.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K167.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K192.opb1800UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K175.opb1800UNKNOWN
DEC-SMALLINT-LIN/leberre/opb-paranoid/misc2010/datasets/caixa/normalized-1096.cudf.paranoid.opb0SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-182.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-162.opb25.1088SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-167.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-101.opb57.6026UNSATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-47.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-170.opb23.6654SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-70.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-89.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-164.opb32.4218SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-188.opb0.31672UNSATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-146.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-116.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-05.opb93.8757SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-41.opb60.6357SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-175.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-107.opb4.97448SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-122.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-181.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-141.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-24.opb157.79SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-123.opb283.924SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-173.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-130.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-60.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-53.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-21.opb225.928UNSATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-20.opb992.313SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-180.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-112.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-184.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-31.opb136.058SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-73.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-172.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-91.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-120.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-154.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-99.opb92.6498UNSATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-37.opb596.923SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-185.opb3.56099SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-76.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-27.opb126.952SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-135.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-137.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-40.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-48.opb124.092SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-129.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-178.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-147.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-117.opb6.44577SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-61.opb1800UNKNOWN