InstanceRuntimeResult
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-3.opb34.44SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-8.opb1806.1UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-1.opb7.30369SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-5.opb1806.14UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-9.opb808.367SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-6.opb1806.29UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-7.opb1806.41UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-9.opb33.7402SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-9.opb148.534SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-8.opb16.6067SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-6.opb113.911SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-6.opb1806.07UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-2.opb160.415SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-3.opb1806.16UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-3.opb1805.92UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-7.opb20.4584SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-3.opb887.584SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-9.opb1806.43UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-6.opb1806.22UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-1.opb1805.9UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-8.opb20.9662SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-7.opb1806.15UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-4.opb1806.06UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-5.opb11.34SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-8.opb1343.58SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-2.opb1771.76SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-3.opb1806.17UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-5.opb1806.2UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-6.opb1806.25UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-9.opb12.5999SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-7.opb15.2511SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-1.opb283.766SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-2.opb705.506SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-3.opb419.08SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-4.opb1806.25UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-9.opb1252.58SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-6.opb1808.74UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-9.opb1806.3UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-9.opb1806.24UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-2.opb1808.83UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-1.opb204.09SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-4.opb699.9SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-1.opb26.5545SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-8.opb1808.57UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-1.opb4.75473SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-1.opb126.374SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-2.opb6.38982SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-1.opb1806.21UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-7.opb1689.02SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-8.opb331.61SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-5.opb1806.26UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-8.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-9.opb1806.12UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-7.opb30.5334SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-8.opb5.23791SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-5.opb14.834SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-6.opb1806.24UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-0.opb1805.92UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-5.opb131.305SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-3.opb1806.22UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-0.opb1200.22SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-1.opb1806UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-2.opb459.62SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-9.opb58.0986SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-5.opb16.4748SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-4.opb1806.33UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-7.opb1806.26UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-8.opb1806.33UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-6.opb1805.96UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-3.opb1806.19UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-4.opb1806.28UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-0.opb803.945SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-6.opb3.30516SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-4.opb49.0793SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-5.opb336.629SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-7.opb7.18123SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-6.opb9.9699SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-4.opb2.04851SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-8.opb404.749SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-1.opb212.246SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-0.opb1806.31UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-0.opb1808.78UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-5.opb1806.15UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-9.opb1806.07UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-0.opb171.602SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-9.opb381.33SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-2.opb14.9288SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-5.opb26.4252SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-5.opb1808.77UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-7.opb1806.25UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-3.opb36.8789SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-2.opb1806.17UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-2.opb168.516SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-4.opb414.997SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-4.opb1806.17UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-4.opb2.70132SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-7.opb263.619SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-0.opb1806.1UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-5.opb1806.32UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-7.opb1806.05UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-8.opb1806.29UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-6.opb1806.13UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-1.opb1805.97UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-2.opb14.5827SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-0.opb76.2511SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-6.opb1806.01UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-3.opb675.085SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-0.opb1806.38UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-0.opb1806.19UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-7.opb57.8108SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-8.opb35.0392SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-7.opb1808.85UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-9.opb7.68124SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-5.opb1806.14UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round23-1.opb1806.42UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-9.opb89.5469SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-3.opb8.86523SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-4.opb1808.51UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-3.opb5.78206SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-2.opb89.2046SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-9.opb198.941SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-1.opb1806.24UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-7.opb1806.16UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-2.opb25.4491SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-8.opb8.77801SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-7.opb9.60728SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-6.opb24.9609SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-3.opb2.2244SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-1.opb1808.69UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-7.opb1079.64SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-3.opb1808.56UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-4.opb38.7327SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-0.opb35.1703SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-6.opb470.584SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-5.opb22.1995SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-8.opb1808.76UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-2.opb1806.12UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-9.opb189.873SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-0.opb22.7125SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round23-4.opb1806.16UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-2.opb1806.43UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-1.opb27.6881SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-2.opb592.023SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-7.opb34.9804SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-0.opb1805.98UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-0.opb5.63465SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-3.opb1806.26UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-7.opb1806.35UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-5.opb1806.1UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-4.opb142.287SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-1.opb109.495SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-4.opb1806.04UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-6.opb2.13027SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-4.opb1806.14UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-8.opb1806.25UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round21-0.opb3.04409SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-0.opb112.769SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-9.opb31.226SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-2.opb1806.12UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-9.opb1806.2UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-3.opb1806.09UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round23-0.opb1806.09UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-6.opb1742.23SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round23-4.opb1806.2UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-5.opb10.2458SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size112-round22-6.opb588.847SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round22-5.opb1806.44UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-6.opb14.3628SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round23-8.opb1806.16UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-8.opb1717.66SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-0.opb59.0904SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round22-3.opb116.512SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round21-4.opb16.2313SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size160-round21-3.opb28.6403SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-5.opb1805.81UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size80-round21-1.opb1.26882SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round22-1.opb273.925SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round21-8.opb1.96104SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size128-round21-2.opb7.40072SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round22-2.opb1191.19SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity4pyramidP0125.opb1.68539UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity4houseP016.opb0.050717UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity4pyramidP0016.opb0.027627UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity3houseP032.opb0.125058UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity3houseP016.opb0.029871UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity4houseP064.opb0.861794UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity5houseP128.opb10.3041UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity4pyramidP0064.opb0.416533UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity3pyramidP0125.opb0.98164UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity5houseP064.opb2.5092UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity5houseP032.opb0.611952UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity5pyramidP0125.opb3.25136UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity5pyramidP0064.opb0.778025UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity4houseP128.opb3.55626UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity5pyramidP0016.opb0.056785UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity5houseP016.opb0.104903UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity4pyramidP0032.opb0.091102UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity3pyramidP0016.opb0.022854UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity4houseP032.opb0.195487UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity5pyramidP0032.opb0.189107UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity3houseP064.opb0.533515UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity3pyramidP0064.opb0.269278UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity3pyramidP0032.opb0.06049UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/SUMINEQ/normalized-sumineqArity3houseP128.opb2.1707UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x40split.opb32.0261UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x80split.opb157.327UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x140split.opb286.096UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x60split.opb0.120831UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x70split.opb0.15416UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x50split.opb0.114UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x30split.opb22.0178UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x150split.opb308.396UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x130split.opb415.399UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x20split.opb6.73754UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x30split.opb0.06513UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x90split.opb134.629UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x80split.opb0.18308UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x60split.opb62.6068UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x70split.opb87.2186UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x40split.opb0.074639UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x120split.opb222.79UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x110split.opb221.217UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x50split.opb48.5722UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x20split.opb0.032869UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x10split.opb1.51179UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x100split.opb0.249872UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x100split.opb220.566UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x90split.opb0.218655UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid3x10split.opb0.01509UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x21.opb0.018513UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x23-hard.opb0.017376UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x5.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x21-hard.opb0.054111UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x11.opb0.007881UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x15.opb0.009566UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x11-hard.opb0.007783UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-47.opb0.017944UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-37.opb0.011626UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x15-hard.opb0.021766UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-13.opb0.003058UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x29-hard.opb0.096963UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x9.opb0.00966UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x25-hard.opb0.016292UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x29.opb0.048354UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-25.opb0.007762UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x11-hard.opb0.012623UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x27.opb0.026201UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x27-hard.opb0.031009UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x21.opb0.033394UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x19-hard.opb0.019398UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x7.opb0.005724UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x25-hard.opb0.248887UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x23.opb0.020507UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x23.opb0.006879UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-35.opb0.011371UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-41.opb0.011533UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-21.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-51.opb0.012501UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-39.opb0.010965UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-7.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x25.opb0.038788UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x15-hard.opb0.07937UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x27-hard.opb0.084603UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-31.opb0.010773UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x13.opb0.004621UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-29.opb0.008068UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x9-hard.opb0.0138UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x21.opb0.010525UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x17.opb0.005399UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-5.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x13.opb0.013405UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x13-hard.opb0.004574UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x27-hard.opb0.301758UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x19-hard.opb0.108792UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x11-hard.opb0.022575UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x29.opb0.015999UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x13.opb0.003295UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x15-hard.opb0.030843UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x25-hard.opb0.072136UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x21-hard.opb0.026044UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-3.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x27.opb0.04217UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x7-hard.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x29-hard.opb0.285159UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x15-hard.opb0.007857UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-43.opb0.009742UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x17.opb0.026249UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x15.opb0.010043UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x13-hard.opb0.059128UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x29-hard.opb0.034528UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x17-hard.opb0.017978UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x13-hard.opb0.012795UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x25.opb0.018953UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x23-hard.opb0.05269UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x21-hard.opb0.011429UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-17.opb0.002018UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x13-hard.opb0.025072UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x29-hard.opb0.016734UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x9.opb0.005894UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-45.opb0.01001UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-23.opb0.005878UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x19-hard.opb0.053606UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x25.opb0.024992UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x9.opb0.002262UNSATISFIABLE
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.016386UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x5-hard.opb0.001976UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-49.opb0.016457UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x19-hard.opb0.010344UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-11.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x15.opb0.019272UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x17.opb0.011089UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x7-hard.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x27.opb0.016329UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x11.opb0.014506UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid8x17-hard.opb0.045683UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x25-hard.opb0.029447UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x29.opb0.02664UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x17-hard.opb0.01051UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x21-hard.opb0.147134UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x11-hard.opb0.044719UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-33.opb0.01045UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x23.opb0.035215UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x19.opb0.006789UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x23-hard.opb0.008524UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-19.opb0.005004UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid6x9-hard.opb0.008071UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-15.opb0.001785UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-completegraph-27.opb0.003334UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x19.opb0.028555UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x9-hard.opb0.004369UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x11.opb0.003721UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x23-hard.opb0.195831UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid10x17-hard.opb0.1035UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x27-hard.opb0.016659UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/vertexcover-instances/normalized-vertexcover-grid4x7.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v111-n1.opb1807.51UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v091-n1.opb1807.56UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v030-n1.opb0.113833UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v031-n1.opb1807.61UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v110-n1.opb1807.59UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v050-n1.opb41.5736UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v011-n1.opb0.292262UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v051-n1.opb1802.19UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v100-n1.opb1807.62UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v080-n1.opb1807.46UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v061-n1.opb1809.39UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v041-n1.opb1807.6UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v021-n1.opb1170.98UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v071-n1.opb1809.3UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v070-n1.opb1807.66UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v010-n1.opb0.002497UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v101-n1.opb1807.55UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v060-n1.opb1807.57UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v081-n1.opb1807.58UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v090-n1.opb1807.62UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v040-n1.opb28.4196UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v020-n1.opb0.014733UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v091-n3.opb1807.63UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v061-n2.opb1809.41UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v021-n3.opb0.082823UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v061-n1.opb1807.64UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v091-n2.opb1807.67UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v041-n1.opb973.217UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v071-n3.opb1807.58UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v061-n3.opb1809.4UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v011-n3.opb0.004435UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v081-n2.opb1807.59UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v051-n3.opb1806.81UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v051-n1.opb1807.7UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v101-n1.opb1807.61UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v111-n1.opb1803.77UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v081-n3.opb1807.71UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v081-n1.opb1807.54UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v021-n2.opb0.16054UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v101-n3.opb1807.64UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v041-n3.opb372.687UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v011-n2.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v071-n2.opb1807.63UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v041-n2.opb743.875UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v021-n1.opb0.104491UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v101-n2.opb1807.66UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v031-n2.opb8.69564UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v071-n1.opb1807.53UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v031-n1.opb17.1169UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v111-n3.opb1809.39UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v031-n3.opb11.2132UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v091-n1.opb1807.59UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v011-n1.opb0.001943UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v051-n2.opb1807.66UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/rand6reg/normalized-rand6reg-v111-n2.opb1807.55UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l050-r049-n1.opb0.785552UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l100-r099-n1.opb1807.54UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l070-r069-n1.opb1807.63UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l070-r069-n1.opb3.62434UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l045-r044-n1.opb6.24528UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l080-r079-n1.opb2.80236UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l060-r059-n1.opb1.52689UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l090-r089-n1.opb10.4167UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l050-r049-n1.opb58.4091UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l030-r029-n1.opb0.106562UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l020-r019-n1.opb0.060278UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l055-r054-n1.opb244.964UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l020-r019-n1.opb0.058708UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l015-r014-n1.opb0.045348UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l040-r039-n1.opb0.124484UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l060-r059-n1.opb172.799UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l035-r034-n1.opb1.33451UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l010-r009-n1.opb0.028419UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l025-r024-n1.opb0.102104UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l065-r064-n1.opb1807.68UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l090-r089-n1.opb1807.62UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l080-r079-n1.opb1807.61UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l010-r010-n1.opb0.033581UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l030-r029-n1.opb1.48094UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-left3reg-l100-r099-n1.opb3.26471UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l040-r039-n1.opb2.87031UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-25.opb1807.03UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-35.opb1806.84UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-55.opb1217.82UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-20.opb1.80701UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-25.opb27.2143UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-55.opb1807.14UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-15.opb0.773499UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-45.opb1807.04UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-60.opb963.513UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-70.opb320.437UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-30.opb1807.29UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-75.opb1807.4UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-45.opb1807.47UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-70.opb1807.41UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-25.opb54.0178UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-30.opb1809.38UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-60.opb1807.5UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-80.opb1807.51UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-40.opb1807.06UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-80.opb375.61UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-50.opb1807.42UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-35.opb1807.03UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-55.opb1807.46UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-75.opb323.339UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-60.opb269.937UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-45.opb1808.55UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-40.opb1806.92UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-60.opb1807.49UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-35.opb1807.45UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-25.opb1533.27UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-65.opb1809.33UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-65.opb1514.88UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-80.opb1807.53UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-80.opb292.345UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-20.opb2.38255UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-50.opb764.997UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-50.opb1807.09UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-35.opb1807.45UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-70.opb522.407UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-75.opb516.778UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-40.opb1807.44UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-55.opb1807.37UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-65.opb324.235UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-70.opb1807.49UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-75.opb1807.47UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-30.opb1807.14UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-30.opb1806.91UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-15.opb0.305788UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-20.opb81.1426UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-65.opb1809.36UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-15.opb5.78541UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-20.opb186.023UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-45.opb1807.44UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-40.opb1807.47UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-50.opb1807.45UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-15.opb5.54497UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_11.opb1806.8UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_21.opb0.070554SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_13.opb1809.33UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_12.opb1807.3UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_24.opb2.30571SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_29.opb2.61969SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_23.opb0.064806SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_7.opb2.42963UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_16.opb1.97802SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_26.opb0.062955SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_4.opb1.34087UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_14.opb404.748SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_19.opb0.413931SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_25.opb0.080337SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_9.opb44.0383UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_22.opb184.435SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_23.opb27.5563SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_3.opb0.02617UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_28.opb2.53169SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_13.opb0.091251SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_5.opb1.44974UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_15.opb0.095222SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_14.opb1806.42UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_9.opb0.271161UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_26.opb2.46488SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_27.opb2.4717SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_17.opb1804.29UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_5.opb0.047136UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_8.opb6.97241UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_19.opb1804.75UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_18.opb1804.53UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_9.opb4.68722UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_15.opb90.0947SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_12.opb1806.77UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_30.opb2.64288SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_16.opb0.088405SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_8.opb0.105094UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_5.opb0.192674UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_21.opb460.883SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_6.opb0.046407UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_8.opb0.895519UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_14.opb3.28135UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_4.opb0.031854UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_25.opb2.45128SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_20.opb81.0271SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_7.opb0.367426UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_18.opb0.361373SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_7.opb0.063383UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_11.opb238.338UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_16.opb0.040095SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_20.opb0.380984SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_20.opb0.11549SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_10.opb1.75217UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_11.opb1.3409SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_19.opb0.062669SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_13.opb1806.66UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_16.opb1805.74UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_3.opb0.973585UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_10.opb29.3668UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_17.opb1.43648SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_18.opb0.236745SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_6.opb1.63329UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_10.opb254.171UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_15.opb1805.94UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_17.opb0.171921SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_6.opb0.217465UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_12.opb0.519404SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression16_14.opb0.103106SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_15.opb0.079341SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression8_24.opb0.074666SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_32.opb1809.3UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_11.opb0.013941UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_22.opb27.5911UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_28.opb545.749UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_6_1.opb0.003143UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_3.opb0.009641UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_7.opb0.011395UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_16.opb0.087017UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_6.opb0.017216UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_11.opb0.060469UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_34.opb297.878UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_6.opb0.007604UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_22.opb18.9457UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_6_5.opb0.007381UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_2.opb0.007606UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_3.opb0.006521UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_6_6.opb0.010696SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_7_4.opb0.003239UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_5.opb0.017075UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_11.opb0.031831UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_7_1.opb0.002772UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_14.opb0.045535UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_4.opb0.016054UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_7_2.opb0.004571UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_21.opb7.70394UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_10.opb0.020303UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_6.opb0.014348UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_9.opb0.016409UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_6.opb0.011806UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_7_6.opb0.015444UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_23.opb21.5154UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_12.opb0.136396UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_7.opb0.009133UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_29.opb256.225UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_18.opb2.33102UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_3.opb0.00427UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_19.opb0.155629UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_4.opb0.006887UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_28.opb201.327UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_26.opb98.7491UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_25.opb25.5655UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_3.opb0.012167UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_16.opb0.483237UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_6_3.opb0.005927UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_13.opb0.018601UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_5_0.opb0.000627UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_3.opb0.007655UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_24.opb1.18065UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_7_3.opb0.007254UNSATISFIABLE
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.005112UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_15.opb0.203631UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_7_4.opb0.005963SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_6_4.opb0.006735UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_4_5.opb0.004247UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_6_4.opb0.008065UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_5.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_10.opb0.014775UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_7.opb0.0145UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_12.opb0.028851UNSATISFIABLE
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.012033UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_4.opb0.012818UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_7_3.opb0.00417SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_5.opb0.008368UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_3_5.opb0.005469UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_37.opb1807.15UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_1.opb0.002117UNSATISFIABLE
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.opb63.1353UNSATISFIABLE
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.044587UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_6_3.opb0.004159SATISFIABLE
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.024055UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_27.opb80.5084UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_7.opb0.01513UNSATISFIABLE
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.004149UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_4_6.opb0.007752SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_6_5.opb0.006516UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_7_5.opb0.010367UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_12.opb0.051178UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_1.opb0.004221UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_7.opb0.01933UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_2.opb0.006288UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_29.opb67.8203UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_19.opb2.62733UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_3.opb0.003531UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_28.opb4.30741UNSATISFIABLE
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.opb472.843UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_6_6.opb0.011837UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_34.opb1807.49UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_11.opb0.018262UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_16.opb0.849164UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_26.opb2.19463UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_6.opb0.010797UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_13.opb0.234684UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_7_20.opb1.81707SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_14.opb0.194241UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_19.opb1.85255UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_15.opb0.808921UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_20.opb6.73732UNSATISFIABLE
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.012144SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_25.opb62.2685UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_7_3.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_20.opb4.71279UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_13.opb0.057094UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_21.opb3.26849UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_0.opb0.002785UNSATISFIABLE
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.opb15.5847UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_8.opb0.003735UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_4_1.opb0.001502UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_8.opb0.017696UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_5_2.opb0.002135UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_15.opb0.041824UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_7_0.opb0.001178UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_23.opb8.48066UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_9.opb0.014872UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_6_2.opb0.004657UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_17.opb0.464787UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_7.opb0.013159UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_6.opb0.010247UNSATISFIABLE
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.350977UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_10.opb0.022668UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_4.opb0.010943UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_26.opb178.559UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_5.opb0.008919UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_19.opb1.49491UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_17.opb0.078724UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_22.opb0.695936UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_5.opb0.00506UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_31.opb788.438UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_30.opb90.3376UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_22.opb22.2729UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_11.opb0.03964UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_11.opb0.016681UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_23.opb11.6082UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_10.opb0.028141UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_18.opb3.09781UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_35.opb1807.29UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_6.opb0.008307UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_18.opb0.167882UNSATISFIABLE
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.opb13.1371UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_21.opb9.21499UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_2.opb0.004787UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_33.opb1807.34UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_25.opb1.10372UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_6_2.opb0.003412UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_10.opb0.024646UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_1.opb0.007314UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_12.opb0.023791UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_14.opb0.136358UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_36.opb1806.9UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_20.opb0.356981UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_23.opb0.750378UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_18.opb3.03663UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_2.opb0.002582UNSATISFIABLE
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.opb1336.43UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_28.opb16.4546UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_14.opb0.34089UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_21.opb5.38232UNSATISFIABLE
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.004174UNSATISFIABLE
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.opb47.4398UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_9.opb0.011513UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_8.opb0.017159UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_8.opb0.021395UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_27.opb170.879UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_24.opb10.0383UNSATISFIABLE
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.006805UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_9.opb0.02298UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_26.opb22.9473UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_5.opb0.01254UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_10.opb0.015599UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_18.opb0.093211SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_20.opb8.38083UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_2.opb0.005913UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_19.opb2.274UNSATISFIABLE
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.006353UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_0.opb0.004607UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_6_3.opb0.004729UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_27.opb2.02093UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_7_2.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_3.opb0.007378UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_2.opb0.009798UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_1.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_4_3.opb0.001661UNSATISFIABLE
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.569053UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_0.opb0.002279UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_8.opb0.017709UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_18.opb0.905414UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_12.opb0.011573SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_5_13.opb0.020566UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_6_7.opb0.01395UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_30.opb1539.99UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_16.opb2.91773UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_20.opb8.23694UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_25.opb31.0413UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_32.opb527.249UNSATISFIABLE
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.007517UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_27.opb64.723UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_4_7.opb0.007303UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_7_9.opb0.009522SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_7_18.opb16.1262UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_8.opb0.017737UNSATISFIABLE
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.135525UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_5_3.opb0.003484SATISFIABLE
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.opb1809.38UNKNOWN
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-8_6_22.opb5.05539UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-3_5_8.opb0.01095UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-2_4_4.opb0UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_38.opb1806.98UNKNOWN
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.opb964.115UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-4_7_7.opb0.015452SATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_13.opb0.063876UNSATISFIABLE
normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_23.opb19.2416UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-95.cnf.gz-extracted.pb.metafix.opb354.794UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n22-d4-i3.cnf.gz-extracted.pb.metafix.opb14.2312UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i2-f.cnf.gz-plain.pb.metafix.opb1.97368UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-71.cnf.gz-extracted.pb.metafix.opb304.337UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i2-r1.cnf.gz-plain.pb.metafix.opb21.7088UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n60-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.406112UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n56-d3-i1-f.cnf.gz-plain.pb.metafix.opb1.16793UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n26-d4-i2.cnf.gz-extracted.pb.metafix.opb412.195UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n46-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.069535UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n58-d3-i2-f.cnf.gz-plain.pb.metafix.opb2.28579UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-83.cnf.gz-extracted.pb.metafix.opb276.094UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n40-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.043293UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n27-d4-i2.cnf.gz-extracted.pb.metafix.opb1807.2UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-24-3.cnf.gz-plain.pb.metafix.opb16.1104UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n40-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.027534UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-25-2.cnf.gz-plain.pb.metafix.opb46.6832UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n54-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.184224UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-25-3.cnf.gz-plain.pb.metafix.opb5.03089UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n68-d3-i2-r2.cnf.gz-plain.pb.metafix.opb2.22952UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n74-d3-i3-r1.cnf.gz-plain.pb.metafix.opb6.23582UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n17-d4-i3.cnf.gz-plain.pb.metafix.opb3.45854UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n92-d3-i1-r2.cnf.gz-plain.pb.metafix.opb17.0749UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n78-d3-i2-r1.cnf.gz-plain.pb.metafix.opb4.09508UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i2-r2.cnf.gz-plain.pb.metafix.opb1.31609UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n94-d3-i1-f.cnf.gz-plain.pb.metafix.opb11.016UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-77.cnf.gz-extracted.pb.metafix.opb305.98UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n38-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.04604UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.498201UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n23-d4-i3.cnf.gz-extracted.pb.metafix.opb94.4005UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n94-d3-i2-f.cnf.gz-plain.pb.metafix.opb12.895UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n78-d3-i3-r1.cnf.gz-plain.pb.metafix.opb26.7518UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n40-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.020039UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n25-d4-i2.cnf.gz-plain.pb.metafix.opb95.8227UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.531017UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n40-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.02185UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.174779UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-26-2.cnf.gz-plain.pb.metafix.opb13.1511UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-76.cnf.gz-extracted.pb.metafix.opb284.866UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-51.cnf.gz-extracted.pb.metafix.opb841.335UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n82-d3-i2-r1.cnf.gz-plain.pb.metafix.opb3.27803UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n86-d3-i3-r2.cnf.gz-plain.pb.metafix.opb23.72UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n58-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.159728UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n76-d3-i2-r2.cnf.gz-plain.pb.metafix.opb24.317UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-68.cnf.gz-extracted.pb.metafix.opb305.566UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-27-2.cnf.gz-plain.pb.metafix.opb148.899UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-18-1.cnf.gz-plain.pb.metafix.opb0.421141UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n46-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.114984UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-16.cnf.gz-extracted.pb.metafix.opb10.434UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n58-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.787219UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-65.cnf.gz-extracted.pb.metafix.opb440.411UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n22-d4-i2.cnf.gz-plain.pb.metafix.opb9.08432UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-29-1.cnf.gz-extracted.pb.metafix.opb1807.32UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n66-d3-i3-f.cnf.gz-plain.pb.metafix.opb6.37376UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-29-3.cnf.gz-extracted.pb.metafix.opb837.948UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n80-d3-i3-r2.cnf.gz-plain.pb.metafix.opb12.9733UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-81.cnf.gz-extracted.pb.metafix.opb364.013UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n72-d3-i1-r2.cnf.gz-plain.pb.metafix.opb1.26631UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.271588UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-27-1.cnf.gz-plain.pb.metafix.opb74.834UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-17.cnf.gz-extracted.pb.metafix.opb23.1889UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-86.cnf.gz-extracted.pb.metafix.opb241.705UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n17-d4-i1.cnf.gz-plain.pb.metafix.opb0.51722UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-26-2.cnf.gz-extracted.pb.metafix.opb22.1639UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n46-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.061681UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-25.cnf.gz-extracted.pb.metafix.opb1341.17UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n60-d3-i3-f.cnf.gz-plain.pb.metafix.opb1.52826UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-19.cnf.gz-plain.pb.metafix.opb55.5658UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-26-1.cnf.gz-plain.pb.metafix.opb28.0943UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n42-d3-i3-r1.cnf.gz-plain.pb.metafix.opb0.025468UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n42-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.025205UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n74-d3-i3-f.cnf.gz-plain.pb.metafix.opb1.64096UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n40-d3-i3-r1.cnf.gz-plain.pb.metafix.opb0.037468UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-24.cnf.gz-extracted.pb.metafix.opb836.425UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n40-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.078352UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n20-d4-i3.cnf.gz-plain.pb.metafix.opb7.45571UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-23-2.cnf.gz-extracted.pb.metafix.opb21.8682UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n26-d4-i3.cnf.gz-extracted.pb.metafix.opb97.9258UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n80-d3-i3-r1.cnf.gz-plain.pb.metafix.opb17.6341UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n18-d4-i1.cnf.gz-plain.pb.metafix.opb1.01342UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n94-d3-i1-r1.cnf.gz-plain.pb.metafix.opb14.1066UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.013916UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n90-d3-i2-r1.cnf.gz-plain.pb.metafix.opb27.0499UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-55.cnf.gz-extracted.pb.metafix.opb471.717UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n68-d3-i3-r1.cnf.gz-plain.pb.metafix.opb4.0352UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-20-1.cnf.gz-plain.pb.metafix.opb1.1705UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-60.cnf.gz-extracted.pb.metafix.opb545.155UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n21-d4-i3.cnf.gz-extracted.pb.metafix.opb19.3622UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n68-d3-i2-r1.cnf.gz-plain.pb.metafix.opb1.19363UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-19-3.cnf.gz-plain.pb.metafix.opb1.20618UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n29-d4-i2.cnf.gz-plain.pb.metafix.opb67.3734UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n74-d3-i1-r2.cnf.gz-plain.pb.metafix.opb2.60145UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n64-d3-i2-r2.cnf.gz-plain.pb.metafix.opb1.56307UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n86-d3-i1-f.cnf.gz-plain.pb.metafix.opb21.3565UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n90-d3-i1-r2.cnf.gz-plain.pb.metafix.opb20.0192UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n90-d3-i1-f.cnf.gz-plain.pb.metafix.opb16.1754UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-27-1.cnf.gz-extracted.pb.metafix.opb40.9389UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n44-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.072037UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n62-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.867622UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n78-d3-i3-f.cnf.gz-plain.pb.metafix.opb24.0261UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-27.cnf.gz-extracted.pb.metafix.opb1807.14UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n50-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.457447UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n42-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.016854UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n50-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.068572UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-24-3.cnf.gz-extracted.pb.metafix.opb11.8678UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n92-d3-i1-r1.cnf.gz-plain.pb.metafix.opb22.4038UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-31-1.cnf.gz-extracted.pb.metafix.opb395.872UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-20.cnf.gz-extracted.pb.metafix.opb78.331UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n82-d3-i2-f.cnf.gz-plain.pb.metafix.opb3.26142UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n50-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.064061UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n60-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.394949UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n68-d3-i1-r2.cnf.gz-plain.pb.metafix.opb1.12468UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i2-r1.cnf.gz-plain.pb.metafix.opb1.29203UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n92-d3-i3-r1.cnf.gz-plain.pb.metafix.opb10.6536UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-18.cnf.gz-extracted.pb.metafix.opb26.7082UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-22-2.cnf.gz-plain.pb.metafix.opb1.30017UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n74-d3-i2-f.cnf.gz-plain.pb.metafix.opb31.8539UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n28-d4-i3.cnf.gz-plain.pb.metafix.opb40.3809UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n19-d4-i3.cnf.gz-plain.pb.metafix.opb1.02693UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.075813UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n24-d4-i2.cnf.gz-extracted.pb.metafix.opb62.5037UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n56-d3-i3-r1.cnf.gz-plain.pb.metafix.opb1.535UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n23-d4-i1.cnf.gz-extracted.pb.metafix.opb33.1688UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n66-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.474233UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i2-r2.cnf.gz-plain.pb.metafix.opb1.28623UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-27-3.cnf.gz-plain.pb.metafix.opb32.2988UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-16.cnf.gz-plain.pb.metafix.opb5.85889UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n21-d4-i2.cnf.gz-extracted.pb.metafix.opb6.68769UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n78-d3-i1-f.cnf.gz-plain.pb.metafix.opb5.34334UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n23-d4-i1.cnf.gz-plain.pb.metafix.opb22.8003UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i3-r1.cnf.gz-plain.pb.metafix.opb0.271486UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.556077UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-23.cnf.gz-extracted.pb.metafix.opb473.32UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-24-2.cnf.gz-extracted.pb.metafix.opb11.1569UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n90-d3-i2-r2.cnf.gz-plain.pb.metafix.opb19.2213UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-94.cnf.gz-extracted.pb.metafix.opb430.165UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n44-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.032474UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n24-d4-i3.cnf.gz-extracted.pb.metafix.opb121.072UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n62-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.98686UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-97.cnf.gz-extracted.pb.metafix.opb358.488UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-27-2.cnf.gz-extracted.pb.metafix.opb151.002UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n29-d4-i2.cnf.gz-extracted.pb.metafix.opb68.9994UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-19.cnf.gz-extracted.pb.metafix.opb66.3863UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.112196UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i2-f.cnf.gz-plain.pb.metafix.opb1.00984UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-22-3.cnf.gz-plain.pb.metafix.opb15.1172UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-73.cnf.gz-extracted.pb.metafix.opb298.848UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.178044UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-21.cnf.gz-extracted.pb.metafix.opb103.113UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-20-3.cnf.gz-plain.pb.metafix.opb1.25418UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n74-d3-i3-r2.cnf.gz-plain.pb.metafix.opb1.95188UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n44-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.025321UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-67.cnf.gz-extracted.pb.metafix.opb357.253UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n66-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.484084UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n94-d3-i2-r1.cnf.gz-plain.pb.metafix.opb12.8772UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n72-d3-i2-f.cnf.gz-plain.pb.metafix.opb3.97697UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n78-d3-i1-r2.cnf.gz-plain.pb.metafix.opb5.27383UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i2-r1.cnf.gz-plain.pb.metafix.opb1.32591UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n78-d3-i2-f.cnf.gz-plain.pb.metafix.opb4.82752UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-28-2.cnf.gz-extracted.pb.metafix.opb54.9465UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-66.cnf.gz-extracted.pb.metafix.opb305.442UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n80-d3-i1-r1.cnf.gz-plain.pb.metafix.opb25.2703UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n21-d4-i3.cnf.gz-plain.pb.metafix.opb18.5293UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i1-r1.cnf.gz-plain.pb.metafix.opb9.14315UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n58-d3-i1-r2.cnf.gz-plain.pb.metafix.opb1.40308UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i3-r2.cnf.gz-plain.pb.metafix.opb49.5506UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n38-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.028486UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n76-d3-i2-r1.cnf.gz-plain.pb.metafix.opb21.8389UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n68-d3-i3-r2.cnf.gz-plain.pb.metafix.opb4.03913UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n80-d3-i1-r2.cnf.gz-plain.pb.metafix.opb9.71282UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n86-d3-i1-r2.cnf.gz-plain.pb.metafix.opb23.3022UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.109554UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n19-d4-i1.cnf.gz-plain.pb.metafix.opb9.23667UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-80.cnf.gz-extracted.pb.metafix.opb259.701UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-17.cnf.gz-plain.pb.metafix.opb11.7936UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n64-d3-i2-f.cnf.gz-plain.pb.metafix.opb1.31276UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-22-1.cnf.gz-extracted.pb.metafix.opb4.85513UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n46-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.129553UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-25-2.cnf.gz-extracted.pb.metafix.opb37.848UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n64-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.338143UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-19-2.cnf.gz-plain.pb.metafix.opb2.64051UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n76-d3-i1-r1.cnf.gz-plain.pb.metafix.opb14.2083UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n26-d4-i1.cnf.gz-extracted.pb.metafix.opb526.093UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n82-d3-i1-f.cnf.gz-plain.pb.metafix.opb85.972UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-69.cnf.gz-extracted.pb.metafix.opb337.232UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n80-d3-i3-f.cnf.gz-plain.pb.metafix.opb10.0705UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n58-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.125073UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n88-d3-i1-r2.cnf.gz-plain.pb.metafix.opb49.381UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n76-d3-i2-f.cnf.gz-plain.pb.metafix.opb12.8691UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-92.cnf.gz-extracted.pb.metafix.opb311.808UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n82-d3-i3-r2.cnf.gz-plain.pb.metafix.opb16.1782UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-22-1.cnf.gz-plain.pb.metafix.opb6.07055UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-23-1.cnf.gz-plain.pb.metafix.opb15.6UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n46-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.063104UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n76-d3-i3-f.cnf.gz-plain.pb.metafix.opb6.62262UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n56-d3-i2-r1.cnf.gz-plain.pb.metafix.opb1.29799UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n58-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.793894UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n80-d3-i1-f.cnf.gz-plain.pb.metafix.opb9.69861UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n38-d3-i3-r1.cnf.gz-plain.pb.metafix.opb0.122586UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n66-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.916604UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-23-3.cnf.gz-extracted.pb.metafix.opb2.02553UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n42-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.019518UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n60-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.369414UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-25-1.cnf.gz-extracted.pb.metafix.opb7.6612UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n56-d3-i3-r2.cnf.gz-plain.pb.metafix.opb1.20495UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-72.cnf.gz-extracted.pb.metafix.opb296.709UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n66-d3-i3-r1.cnf.gz-plain.pb.metafix.opb5.68838UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-78.cnf.gz-extracted.pb.metafix.opb306.338UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n24-d4-i3.cnf.gz-plain.pb.metafix.opb112.372UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.417484UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n44-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.067202UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n82-d3-i3-f.cnf.gz-plain.pb.metafix.opb18.2683UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.143087UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n68-d3-i3-f.cnf.gz-plain.pb.metafix.opb4.02167UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-89.cnf.gz-extracted.pb.metafix.opb408.002UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n44-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.019829UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-64.cnf.gz-extracted.pb.metafix.opb537.056UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n22-d4-i3.cnf.gz-plain.pb.metafix.opb16.2415UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n54-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.240663UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-70.cnf.gz-extracted.pb.metafix.opb325.833UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.019023UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.275325UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n50-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.065722UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n27-d4-i3.cnf.gz-extracted.pb.metafix.opb209.437UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n46-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.129368UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n44-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.025699UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n78-d3-i1-r1.cnf.gz-plain.pb.metafix.opb5.18121UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.114143UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n60-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.376434UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n86-d3-i3-r1.cnf.gz-plain.pb.metafix.opb11.3174UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n38-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.12273UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n42-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.027502UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-28-3.cnf.gz-extracted.pb.metafix.opb850.162UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-63.cnf.gz-extracted.pb.metafix.opb295.79UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i2-f.cnf.gz-plain.pb.metafix.opb22.0186UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n42-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.025595UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n64-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.258693UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n52-d3-i3-r1.cnf.gz-plain.pb.metafix.opb0.067143UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n23-d4-i2.cnf.gz-extracted.pb.metafix.opb5.88022UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n50-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.300746UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n28-d4-i3.cnf.gz-extracted.pb.metafix.opb31.1516UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-18.cnf.gz-plain.pb.metafix.opb38.0587UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-87.cnf.gz-extracted.pb.metafix.opb257.597UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n23-d4-i2.cnf.gz-plain.pb.metafix.opb14.0375UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n72-d3-i3-r1.cnf.gz-plain.pb.metafix.opb1.14402UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n64-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.631955UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n54-d3-i2-r2.cnf.gz-plain.pb.metafix.opb0.018349UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-58.cnf.gz-extracted.pb.metafix.opb312.912UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n22-d4-i1.cnf.gz-extracted.pb.metafix.opb9.27155UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n90-d3-i3-r1.cnf.gz-plain.pb.metafix.opb49.5446UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-20-2.cnf.gz-plain.pb.metafix.opb3.26707UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n74-d3-i1-r1.cnf.gz-plain.pb.metafix.opb2.82082UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n96-d3-i3-f.cnf.gz-plain.pb.metafix.opb146.584UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.550463UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-23-3.cnf.gz-plain.pb.metafix.opb7.68417UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n54-d3-i2-r1.cnf.gz-plain.pb.metafix.opb0.019441UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n25-d4-i1.cnf.gz-extracted.pb.metafix.opb156.28UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n40-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.02516UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i3-f.cnf.gz-plain.pb.metafix.opb118.15UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n17-d4-i2.cnf.gz-plain.pb.metafix.opb2.73225UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n20-d4-i1.cnf.gz-plain.pb.metafix.opb0.957868UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n76-d3-i3-r2.cnf.gz-plain.pb.metafix.opb3.99263UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n16-d4-i2.cnf.gz-plain.pb.metafix.opb3.00565UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-21-2.cnf.gz-plain.pb.metafix.opb1.02522UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n72-d3-i1-r1.cnf.gz-plain.pb.metafix.opb1.17406UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n42-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.029571UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n24-d4-i2.cnf.gz-plain.pb.metafix.opb52.859UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-26-3.cnf.gz-extracted.pb.metafix.opb22.7549UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n40-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.042798UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n38-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.032534UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n56-d3-i2-r2.cnf.gz-plain.pb.metafix.opb1.74862UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-24-2.cnf.gz-plain.pb.metafix.opb11.2303UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.020081UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-26-1.cnf.gz-extracted.pb.metafix.opb107.778UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-25-3.cnf.gz-extracted.pb.metafix.opb4.10487UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n56-d3-i1-r1.cnf.gz-plain.pb.metafix.opb1.17136UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n94-d3-i2-r2.cnf.gz-plain.pb.metafix.opb12.9025UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-25-1.cnf.gz-plain.pb.metafix.opb6.683UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-27-3.cnf.gz-extracted.pb.metafix.opb21.7878UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n64-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.335615UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n19-d4-i1.cnf.gz-extracted.pb.metafix.opb8.43543UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-100.cnf.gz-extracted.pb.metafix.opb400.123UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n72-d3-i2-r1.cnf.gz-plain.pb.metafix.opb3.98948UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n44-d3-i3-r1.cnf.gz-plain.pb.metafix.opb0.063297UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n62-d3-i2-r2.cnf.gz-plain.pb.metafix.opb1.61541UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-90.cnf.gz-extracted.pb.metafix.opb359.926UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-22.cnf.gz-extracted.pb.metafix.opb286.752UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n25-d4-i3.cnf.gz-plain.pb.metafix.opb95.4818UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n92-d3-i3-r2.cnf.gz-plain.pb.metafix.opb33.9555UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n54-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.018092UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i2-r2.cnf.gz-plain.pb.metafix.opb18.0031UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-17-3.cnf.gz-plain.pb.metafix.opb0.093116UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-30-2.cnf.gz-extracted.pb.metafix.opb76.6163UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i1-r2.cnf.gz-plain.pb.metafix.opb9.04261UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n50-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.300688UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n76-d3-i1-r2.cnf.gz-plain.pb.metafix.opb65.4978UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n46-d3-i3-r1.cnf.gz-plain.pb.metafix.opb0.066321UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-23-2.cnf.gz-plain.pb.metafix.opb14.1043UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n92-d3-i3-f.cnf.gz-plain.pb.metafix.opb14.7088UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n62-d3-i3-r2.cnf.gz-plain.pb.metafix.opb1.7366UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-88.cnf.gz-extracted.pb.metafix.opb296.007UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n25-d4-i2.cnf.gz-extracted.pb.metafix.opb78.2068UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-21-1.cnf.gz-plain.pb.metafix.opb6.04678UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-24-1.cnf.gz-plain.pb.metafix.opb7.35676UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n88-d3-i3-r1.cnf.gz-plain.pb.metafix.opb15.0214UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n36-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.014951UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n68-d3-i2-f.cnf.gz-plain.pb.metafix.opb1.32442UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n22-d4-i2.cnf.gz-extracted.pb.metafix.opb13.4848UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n21-d4-i1.cnf.gz-plain.pb.metafix.opb0.624128UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n24-d4-i1.cnf.gz-plain.pb.metafix.opb357.663UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-61.cnf.gz-extracted.pb.metafix.opb441.053UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n60-d3-i3-r1.cnf.gz-plain.pb.metafix.opb1.87434UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n88-d3-i1-r1.cnf.gz-plain.pb.metafix.opb114.838UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n66-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.832817UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n62-d3-i3-r1.cnf.gz-plain.pb.metafix.opb0.962042UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n46-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.069412UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-85.cnf.gz-extracted.pb.metafix.opb342.72UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-62.cnf.gz-extracted.pb.metafix.opb546.949UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-28-2.cnf.gz-plain.pb.metafix.opb54.9335UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n88-d3-i3-f.cnf.gz-plain.pb.metafix.opb18.5853UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n74-d3-i1-f.cnf.gz-plain.pb.metafix.opb1.24386UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-84.cnf.gz-extracted.pb.metafix.opb336.128UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n86-d3-i2-f.cnf.gz-plain.pb.metafix.opb45.9342UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n72-d3-i3-f.cnf.gz-plain.pb.metafix.opb1.02956UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-91.cnf.gz-extracted.pb.metafix.opb427.087UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-26.cnf.gz-extracted.pb.metafix.opb1806.91UNKNOWN
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n18-d4-i2.cnf.gz-plain.pb.metafix.opb4.50023UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n78-d3-i2-r2.cnf.gz-plain.pb.metafix.opb4.80935UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n42-d3-i1-r1.cnf.gz-plain.pb.metafix.opb0.028628UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n68-d3-i1-f.cnf.gz-plain.pb.metafix.opb0.900237UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n64-d3-i3-r1.cnf.gz-plain.pb.metafix.opb0.633343UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n50-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.065564UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n26-d4-i3.cnf.gz-plain.pb.metafix.opb123.795UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i3-r2.cnf.gz-plain.pb.metafix.opb0.417361UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n58-d3-i2-r1.cnf.gz-plain.pb.metafix.opb2.26553UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-98.cnf.gz-extracted.pb.metafix.opb410.245UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-15.cnf.gz-plain.pb.metafix.opb5.56976UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n62-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.391003UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-75.cnf.gz-extracted.pb.metafix.opb272.727UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n60-d3-i2-f.cnf.gz-plain.pb.metafix.opb0.413973UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n38-d3-i3-f.cnf.gz-plain.pb.metafix.opb0.121365UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n96-d3-i1-r2.cnf.gz-plain.pb.metafix.opb847.187UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n90-d3-i1-r1.cnf.gz-plain.pb.metafix.opb20.2365UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n82-d3-i1-r1.cnf.gz-plain.pb.metafix.opb19.0695UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-93.cnf.gz-extracted.pb.metafix.opb404.816UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n72-d3-i1-f.cnf.gz-plain.pb.metafix.opb1.13169UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n84-d3-i3-r1.cnf.gz-plain.pb.metafix.opb21.1008UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n56-d3-i1-r2.cnf.gz-plain.pb.metafix.opb1.46397UNSATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n38-d3-i1-r2.cnf.gz-plain.pb.metafix.opb0.034134UNSATISFIABLE
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.opb122.203SATISFIABLE
PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm50p-dec.opb.negationfix.opb69.0075UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob7.opb0.258355SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob2.opb0.074657SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob10.opb0.251569SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-cuww4.opb0.085151SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob3.opb0.083508SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob5.opb0.159437SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-cuww1.opb0.079067SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob4.opb0.13117SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob8.opb0.176752SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-cuww3.opb0.096543SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-cuww5.opb0.428566SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob6.opb0.12836SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-cuww2.opb0.086976SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/reduced/submitted-PB06/manquiho/Aardal_1/normalized-reduced-prob1.opb0.146662SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k4_l4_n360.opb102.99SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k5_l4_n750.opb1404.37SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k3_l5_n550.opb107.831SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k6_l3_n170.opb1805.47UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k3_l6_n1500.opb41.5766SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb267.354SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb18.9284SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb266.81SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb268.993SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb299.899SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb72.3948SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb68.5676SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb67.331SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb18.9611SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb18.6405SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb71.457SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb24.1335SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb285.213SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb18.7417SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb70.7703SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110966483.opb0.471511UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969577.opb1.14759UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223596.opb0.876972SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111221953.opb1.12588SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111212923.opb1.42385UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111219348.opb1.40436UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110976730.opb1.95039UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111226680.opb1.31058UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110970277.opb1.04642SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111213868.opb1.2786UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110973163.opb2.08412UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111221624.opb1.4624UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218024.opb1.3062UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110967523.opb2.15654UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110970444.opb1.22273UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218955.opb1.2832UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223220.opb1.54689UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110976157.opb0.822152UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110968561.opb1.73943UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111217380.opb1.92136SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110973364.opb1.16838UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110968431.opb0.541469SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110978334.opb1.29904UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111220767.opb1.47454UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111217392.opb1.34165UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111221203.opb1.49405UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110974553.opb0.708822SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110971697.opb1.11876UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111216411.opb1.70872UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111227012.opb1.11579UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111216823.opb1.52029UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111212476.opb3.07579UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969170.opb0.939467UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110968094.opb1.61835UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111226241.opb0.057889SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110977464.opb0.557527SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110967327.opb1.59706SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223696.opb1.8885SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224929.opb1.35263UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224451.opb1.59713UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110967729.opb0.892962UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110973863.opb2.62889SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110975965.opb2.51228UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111227418.opb0.450305SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110970631.opb1.10494UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110975607.opb0.851474UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111216864.opb0.975SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110976935.opb1.02579UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110970170.opb4.34105SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111220546.opb1.21462UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110975678.opb0.752863SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110973478.opb1.06887SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223689.opb0.817351SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110977780.opb0.746584UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110977273.opb1.58817UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110966688.opb0.81505UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224522.opb0.588977SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224059.opb1.08179UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110971363.opb1.62757UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111219799.opb1.11627UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223416.opb1.01845SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224255.opb1.95516UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111222539.opb1.46776UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111217555.opb1.73041UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110975832.opb0.563029SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218308.opb3.83394UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111225122.opb0.849542UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111222257.opb1.3048UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111219399.opb1.03679SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111226062.opb1.28908UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110972154.opb1.34303UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110971097.opb2.21054SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110967142.opb4.31292UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111227326.opb0.766501UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110971766.opb0.149777SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110968898.opb2.0341UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111216188.opb1.33511SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111226368.opb1.08986UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110976735.opb0.056875SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969860.opb2.37086UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969933.opb1.10696SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110972958.opb0.686809SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111212272.opb2.19741UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110974180.opb1.8976UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111222248.opb0.826406SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218757.opb2.01265UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110977266.opb0.115829SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111226284.opb0.059065SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111220019.opb1.59548UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111225605.opb1.0804UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223004.opb2.4605UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110978113.opb2.82638UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110974372.opb0.765933UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111217374.opb0.698951SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111222080.opb1.10306SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111213670.opb1.22088UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110972763.opb1.58484UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111228076.opb2.92862UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110973670.opb1.82968UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111227861.opb1.32974UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900546076.opb1.11399UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900547334.opb0.30555SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900669309.opb0.966764SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900545610.opb11.5222UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900571132.opb10.9541UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900669299.opb0.091589SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576918.opb0.101705SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557362.opb1.10803UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567003.opb0.481335SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900559416.opb3.24442SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900544484.opb2.99044UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557957.opb1.09463UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900562192.opb6.17694UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554067.opb0.154094SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900546417.opb9.41529UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900547416.opb0.345669SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900584219.opb3.80848UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900575442.opb4.0576UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554373.opb0.101058SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900573901.opb16.6201UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576151.opb10.3732UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900550006.opb25.341UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900563801.opb0.614492UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568186.opb0.698847UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900547427.opb0.248339SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567939.opb1.35593SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900553644.opb0.202163SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900564281.opb1.45772UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900577940.opb28.6149UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900561288.opb32.61UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900547389.opb12.4294UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900550720.opb19.4883UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554154.opb0.096208SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900574864.opb8.47861UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568952.opb0.351622SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900553606.opb0.121483SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900565534.opb8.99473UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567024.opb0.884828UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900574974.opb0.053172SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900563250.opb17.2029UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900547461.opb0.648073SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900556231.opb11.0194UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567135.opb4.54198UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900558106.opb0.843148UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900568706.opb2.99022UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554375.opb0.121022SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552311.opb0.181214SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900570242.opb0.92695UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900553812.opb2.32217UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552423.opb0.833648UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900566263.opb0.038319SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900564824.opb0.214927UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900561389.opb0.079087SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900549974.opb0.07542SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900566151.opb0.065527SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900573137.opb16.9299UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900544463.opb0.126576SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670675.opb0.927764UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900583053.opb21.2522UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551864.opb2.21999UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900558739.opb12.2006UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557568.opb0.043505SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900584106.opb1.13914UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900559676.opb28.8729UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670167.opb3.41132UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900564822.opb0.05404SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900565527.opb0.074889SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576360.opb8.87328UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900571761.opb13.6702UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900579996.opb19.2511UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552735.opb3.72248UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900566270.opb0.152707SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900571131.opb0.066696SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557574.opb3.57269UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900582300.opb26.2355UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554420.opb3.56291UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900669797.opb15.4791UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900581321.opb0.042629SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670234.opb38.2405UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900551347.opb2.72363UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900574948.opb0.096877SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900559641.opb0.129222SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900553647.opb10.7676UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900559365.opb0.157437SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567985.opb29.2952UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576927.opb20.4035UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557413.opb0.144392SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900566157.opb6.8794UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900569834.opb5.43472UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900581320.opb16.4717UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900548667.opb39.1736UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554389.opb0.071191SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900577000.opb0.061342SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900547353.opb0.047751SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552288.opb6.47704UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900554072.opb3.04415UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900561384.opb0.159906SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900667195.opb16.6968UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670756.opb0.114155SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900582376.opb0.093898SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin14.opb97.07SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin10.opb0.202456SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin12.opb17.3008SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin8.opb0.069659SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin18.opb1805.59UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin16.opb1806.15UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army12.21ls.opb338.161SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army9.12ls.opb1.56238SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army13.24bt.opb1232.27SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army11.17ls.opb9.44314SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army8.9ls.opb0.049371SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army8.9bt.opb0.201428SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army13.24ls.opb45.7425SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army11.17bt.opb26.0962SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army10.14bt.opb38.7926SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army12.21bt.opb1440.08SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army10.14ls.opb0.16125SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army9.12bt.opb2.05942SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb1804.6UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-15-10.opb0.486986UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-51-50.opb1804.2UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-61-60.opb1803.86UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-31-30.opb1807.14UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-65-60.opb1803.99UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-91-90.opb1803.04UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-95-90.opb1803.16UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-35-30.opb1806.94UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb1805.83UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-25-20.opb1807.62UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-21-20.opb1807.63UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-11-10.opb0.811098UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-105-100.opb1803.38UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb1803.53UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-81-80.opb1805.57UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb1805.88UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb1805.92UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-75-70.opb1802.96UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100.opb1802.84UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb2.0455UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb33.0061UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb27.6301UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb0.117424UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb7.82473UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb0.087044UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb0.404384UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb56.7504UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb19.7886UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb0.461184UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-25s.smv.opb0.508282UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb0.339759UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb0.567893UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb0.180646UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl.opb0.006501UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb0.317052UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb0.015756UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb0.614927UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb1.11119UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-elf.rf6.ucl.opb0.004053UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-46s.smv.opb0.153377UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.8.accl.ucl.opb32.9664UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-22s.smv.opb0.651698UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.opb17.2436UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb9.56872UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl.opb0.011443UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-37s.smv.opb0.070245UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-elf.rf10.ucl.opb3.88244UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-44s.smv.opb0.053994UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb17.1011SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb153.237UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.2.accl.ucl.opb0.322778UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb0.263304UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache.inv10.ucl.opb0.285972UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb0.548751UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb1.30608UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-full.all.ucl.opb18.1906UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb0.777871UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb2.56751UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-dlx1c.ucl.opb0.362044UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb0.068355UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl.opb0.783863UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.4.accl.ucl.opb0.344775UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb28.1698UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb0.065283UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb0.065765UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb0.188877UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb2.35771UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-43s.smv.opb0.368914UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb2.0952UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb1807.32UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb0.72387SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb1807.5UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb19.0495SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb17.3747SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb4.36406SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb1804.3UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb0.14186SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb0.319489SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb1807.28UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga13_13_sat_pb.cnf.cr.opb0.01171SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb1807.6UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb0.044333SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga10_9_sat_pb.cnf.cr.opb0.00874SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb1807.21UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb0.320518UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga14_14_sat_pb.cnf.cr.opb0.018083SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb0.016131SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb0.00879SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga12_10_sat_pb.cnf.cr.opb0.018606SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb0.100479SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb1805.48UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb0.440349SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb0.010076SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga15_14_sat_pb.cnf.cr.opb0.013471SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb0.246273SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb0.19904SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb376.716UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb0.010806SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb0.014305SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga10_8_sat_pb.cnf.cr.opb0.007756SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb0.598153UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb0.192982SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb0.487855SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb956.32UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb0.097352SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb184.231UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb1.04627UNSATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opb0.063581SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb1806.46UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb0.058747SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb1804.73UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb0.035808SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga11_11_sat_pb.cnf.cr.opb0.008486SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb0.010904SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb1806.16UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb0.005073SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb1804.39UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb1809.41UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb1.52631SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb1.32906SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb0.015956SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb0.067765SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb0.175043SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb1805.8UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb0.011052SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb1806.9UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb1806.5UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga12_12_sat_pb.cnf.cr.opb0.013534SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb0.01593SATISFIABLE
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb1807.6UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb1808.05UNKNOWN
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb0.274272SATISFIABLE
DEC-SMALLINT-LIN/heinz/normalized-neos-820157.opb1807.09UNKNOWN
DEC-SMALLINT-LIN/heinz/normalized-neos-820146.opb1807.09UNKNOWN
DEC-SMALLINT-LIN/heinz/normalized-neos808444.opb2.68072SATISFIABLE
DEC-SMALLINT-LIN/heinz/normalized-neos-849702.opb8.84992SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12052_5-unsat.opb1806.34UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12035_4-sat.opb2.19508SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12032_8-unsat.opb1806.01UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12027_7-unsat.opb2.36848UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12038_8-unsat.opb1806.14UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12046_2-sat.opb730.841SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12056_10-unsat.opb1806.02UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12015_3-unsat.opb0.191084UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12039_7-sat.opb1809.16UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12033_3-sat.opb1804.01UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12059_3-unsat.opb0.277367UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12021_4-sat.opb1.93207SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12032_3-unsat.opb1806.27UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12026_5-unsat.opb33.6156UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12023_3-unsat.opb0.239869UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1205_3-unsat.opb0.152826UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1206_6-sat.opb1806.15UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12038_3-sat.opb1805.96UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12047_10-unsat.opb97.7622UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12045_10-sat.opb0.721654SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12048_4-unsat.opb94.1628UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1209_4-sat.opb12.0817SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12058_4-sat.opb1805.95UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12013_1-unsat.opb0.268378UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1205_1-unsat.opb0.203488UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12041_4-unsat.opb1.86321UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12047_6-sat.opb1806.54UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12010_10-sat.opb1.33501SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12022_9-sat.opb1.10956SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1201_5-sat.opb1.23211SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12028_8-sat.opb41.2557SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1204_7-sat.opb0.578711SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12016_4-sat.opb1805.94UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1206_8-unsat.opb24.508UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1208_10-unsat.opb1806.85UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12038_7-unsat.opb1806.55UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12034_4-sat.opb2.10481SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12049_6-unsat.opb0.318564UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1208_6-sat.opb15.8433SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12037_7-sat.opb1805.81UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12036_4-sat.opb1806.11UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j12036_3-sat.opb1808.57UNKNOWN
DEC-SMALLINT-LIN/oliveras/j120/normalized-j1203_2-sat.opb0.68478SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3024_4-sat.opb0.103976SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3024_3-sat.opb0.123859SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j301_4-unsat.opb0.083415UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3011_9-unsat.opb0.04527UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3029_8-unsat.opb2.50787UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j308_6-unsat.opb0.034105UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3046_4-unsat.opb0.172291UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3037_5-sat.opb0.17966SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j308_1-unsat.opb0.032709UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3048_8-sat.opb0.080234SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j309_6-sat.opb0.228148SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3025_10-sat.opb0.210394SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3029_6-sat.opb1.97736SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3025_7-sat.opb0.3431SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j309_10-unsat.opb0.353517UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3042_5-unsat.opb0.038898UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j307_9-unsat.opb0.089927UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j309_9-sat.opb0.254493SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3025_1-sat.opb0.410832SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3041_4-unsat.opb0.285046UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j307_10-sat.opb0.109863SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3020_1-sat.opb0.085357SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3031_7-sat.opb0.142851SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3024_2-sat.opb0.093702SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3017_6-sat.opb0.086519SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3030_6-sat.opb0.249368SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j308_6-sat.opb0.079958SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3043_8-sat.opb0.126933SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3024_5-sat.opb0.091656SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j30/normalized-j3027_8-sat.opb0.136422SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j902_5-sat.opb0.544963SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9040_1-unsat.opb0.184315UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j901_6-sat.opb0.413558SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9016_7-sat.opb1.65736SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9038_3-unsat.opb0.512628UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9042_4-sat.opb1.60601SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9042_5-sat.opb1.69844SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9043_2-sat.opb1.04812SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9048_1-unsat.opb0.16284UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9040_1-sat.opb0.768464SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9039_3-unsat.opb0.158128UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9015_10-unsat.opb0.129257UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9035_1-unsat.opb0.39425UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9012_5-sat.opb1.64133SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9048_9-sat.opb1.77368SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j906_2-sat.opb1.40363SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9012_2-unsat.opb0.1218UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9035_5-sat.opb0.514296SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9014_1-unsat.opb0.149781UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9028_2-unsat.opb0.125986UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9027_5-sat.opb1.72586SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j905_6-unsat.opb1.07858UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j907_8-unsat.opb0.105247UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9015_7-unsat.opb0.132511UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9010_8-sat.opb1.4013SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9010_10-unsat.opb0.111888UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9045_1-sat.opb1806.33UNKNOWN
DEC-SMALLINT-LIN/oliveras/j90/normalized-j9010_6-unsat.opb0.155199UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j908_8-unsat.opb0.114903UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j90/normalized-j903_10-unsat.opb0.105934UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6030_8-sat.opb0.418939SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6042_2-sat.opb0.396423SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6040_1-sat.opb0.341981SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j603_2-unsat.opb0.075266UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j606_1-unsat.opb0.060953UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6043_4-sat.opb0.321962SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6027_9-unsat.opb0.08494UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6032_1-unsat.opb0.088168UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6040_10-sat.opb0.327267SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6016_10-unsat.opb0.072338UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j601_8-unsat.opb0.208513UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6033_2-unsat.opb0.120542UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6018_3-sat.opb0.25563SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6010_7-unsat.opb0.079904UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6022_1-sat.opb0.25726SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6027_4-unsat.opb0.072246UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6015_4-sat.opb1.27839SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j605_1-unsat.opb1.2976UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j607_4-unsat.opb0.076969UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6040_3-sat.opb0.250191SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6020_9-sat.opb0.226235SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j605_10-unsat.opb2.63369UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6041_4-sat.opb2.61283SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6013_2-unsat.opb1806.63UNKNOWN
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6014_2-sat.opb0.808757SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6030_9-unsat.opb0.118097UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6048_4-sat.opb0.400775SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6028_7-sat.opb0.618834SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6035_10-sat.opb0.225146SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6028_9-unsat.opb0.092397UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j605_7-sat.opb2.40583SATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6010_2-unsat.opb0.062795UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j6029_8-unsat.opb570.534UNSATISFIABLE
DEC-SMALLINT-LIN/oliveras/j60/normalized-j602_7-unsat.opb0.144674UNSATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K72.opb12.4854SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K77.opb0.791817SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K76.opb2.53517SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K65.opb517.537UNSATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K79.opb0.533672SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K69.opb9.37743SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K80.opb0.812058SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K66.opb835.41UNSATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K75.opb1.26929SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K71.opb6.50511SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K68.opb168.335SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K67.opb840.421SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K78.opb1.11795SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K73.opb5.23964SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K70.opb24.4001SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K74.opb1.65374SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K86.opb1276.24SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K102.opb31.8675SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K85.opb1805.46UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K80.opb1805.9UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K105.opb35.9152SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K87.opb1805.41UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K104.opb56.3026SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K90.opb464.586SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K88.opb1805.27UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K100.opb42.0187SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K108.opb16.6302SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K84.opb1805.66UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K95.opb103.662SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K109.opb120.424SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K94.opb373.395SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K99.opb232.662SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K82.opb1805.49UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K83.opb1805.46UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K103.opb67.0268SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K101.opb47.4695SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K106.opb9.80601SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K81.opb1805.74UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K93.opb734.139SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K89.opb361.899SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K97.opb160.878SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K107.opb8.81759SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K98.opb518.556SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K92.opb258.874SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K91.opb790.475SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K96.opb411.756SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K176.opb1804.98UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K132.opb1804.95UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K181.opb1805.1UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K129.opb1805.11UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K160.opb1805UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K196.opb1084.74SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K199.opb138.935SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K139.opb1805.07UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K180.opb1804.9UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K200.opb429.284SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K138.opb1804.95UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K152.opb1804.92UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K131.opb1805.1UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K168.opb1805.03UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K183.opb1807.71UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K125.opb1807.8UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K141.opb1805.03UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K164.opb1805.08UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K126.opb1805.2UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K177.opb908.385SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K163.opb1807.81UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K128.opb1805.03UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K156.opb1805UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K143.opb1804.87UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K148.opb1805.08UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K133.opb1805.13UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K140.opb1807.62UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K167.opb1805.01UNKNOWN
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K192.opb266.367SATISFIABLE
DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K175.opb1804.99UNKNOWN
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.opb43.7244SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-167.opb1803.21UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-101.opb25.8681UNSATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-47.opb1805.74UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-170.opb33.8273SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-70.opb1805.29UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-89.opb1806.14UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-164.opb33.2308SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-188.opb0.302885UNSATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-146.opb1806.15UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-116.opb1803.67UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-05.opb33.6368SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-41.opb23.9193SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-175.opb1799.51UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-107.opb4.97873SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-122.opb1803.54UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-181.opb1797.49UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-141.opb1803.8UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-24.opb93.1992SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-123.opb186.848SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-173.opb1799.41UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-130.opb1803.82UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-60.opb1807.65UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-53.opb1805.49UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-21.opb82.599UNSATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-20.opb299.948SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-180.opb1798.34UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-112.opb797.81SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-184.opb1800UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-31.opb27.1573SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-73.opb200.593UNSATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-172.opb1798.84UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-91.opb1805.51UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-120.opb1803.34UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-154.opb1802.01UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-99.opb14.3739UNSATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-37.opb66.2236SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-185.opb19.1295SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-76.opb1804.86UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-27.opb1807.49UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-135.opb1803.52UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-137.opb1803.43UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-40.opb1805.84UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-48.opb138.21SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-129.opb1803.62UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-178.opb1797.52UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-147.opb1805.25UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-117.opb9.20228SATISFIABLE
DEC-SMALLINT-LIN/lopes/normalized-61.opb1805.36UNKNOWN
DEC-SMALLINT-LIN/lopes/normalized-153.opb1803.41UNKNOWN