phnf-size10-exclusive-equilarge_m1.used-as.sat04-898.shuffled-as.sat05-4191.cnf

variables clauses Horn % ReverseHorn % Binaire % Pos % Neg %
9814112386275.1474.7499.8924.7625.15


zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc74.9974.5699.7124.7325.1607108236371082363308938890367.844UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn97.2167.3399.862.6632.540255183232551832390690363127.735UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb75.1474.7499.8924.7625.1500 00 098140.675897UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb75.1474.7499.8924.7625.1500 00 094770.405938UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw75.1474.7499.8924.7625.1500 00 098140.773882UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn75.1474.7499.8924.7625.1500 00 094770.460929UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb75.1474.7499.8924.7625.1500 00 098140.709892UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb75.1474.7499.8924.7625.1500 00 094770.466929UNKNOWN

zChaff minisat SatELite
TimeOut TimeOut TimeOut