f34-b2-s0-0.cnf

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


zChaff minisat SatELite
0.015998 0.008998 0.046992

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc38.1838.1812.799.8810.2700 00 022260.002999UNKNOWN

zChaff minisat SatELite
0.015998 0.008998 0.046992

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn38.1838.1812.799.8810.2700 00 014380.002999UNKNOWN

zChaff minisat SatELite
0.015998 0.008998 0.046992

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb38.1838.1812.799.8810.2700 00 020960.004999UNKNOWN

zChaff minisat SatELite
0.015998 0.008998 0.046992

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb38.1838.1812.799.8810.2700 00 014120.002999UNKNOWN

zChaff minisat SatELite
0.015998 0.008998 0.046992

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw38.1838.1812.799.8810.2700 00 020980.003999UNKNOWN

zChaff minisat SatELite
0.015998 0.008998 0.046992

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn38.1838.1812.799.8810.2700 00 014120.002999UNKNOWN

zChaff minisat SatELite
0.015998 0.008998 0.046992

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb38.1838.1812.799.8810.2700 00 020960.001999UNKNOWN

zChaff minisat SatELite
0.015998 0.008998 0.046992

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb38.1838.1812.799.8810.2700 00 014120.002999UNKNOWN

zChaff minisat SatELite
0.015998 0.008998 0.046992