cnf-r1-b1-k1.2.cnf

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


zChaff minisat SatELite
0.089986 0.054991 0.58691

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

zChaff minisat SatELite
0.001999 0.003999 0.054991

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

zChaff minisat SatELite
0.002 0.002999 0.113982

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

zChaff minisat SatELite
0.001999 0.001999 0.066989

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

zChaff minisat SatELite
0.001999 0.002999 0.115982

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

zChaff minisat SatELite
0.001 0.001999 0.053991

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

zChaff minisat SatELite
0.001 0.005999 0.115982

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

zChaff minisat SatELite
0.000999 0.003999 0.069989

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

zChaff minisat SatELite
0.002999 0.001999 0.121981