3col160_5_6.shuffled.cnf

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


zChaff minisat SatELite
0.775881 0.036994 2.13967

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc34.3334.2612.157.918.0500 00 059390.007998UNKNOWN

zChaff minisat SatELite
0.775881 0.036994 2.13967

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn34.3334.2612.157.918.0500 00 040950.003999UNKNOWN

zChaff minisat SatELite
0.775881 0.036994 2.13967

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb34.3334.2612.157.918.0500 00 056090.006998UNKNOWN

zChaff minisat SatELite
0.775881 0.036994 2.13967

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb34.3334.2612.157.918.0500 00 040070.003999UNKNOWN

zChaff minisat SatELite
0.775881 0.036994 2.13967

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw34.3334.2612.157.918.0500 00 056110.008998UNKNOWN

zChaff minisat SatELite
0.775881 0.036994 2.13967

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn34.3334.2612.157.918.0500 00 040070.004999UNKNOWN

zChaff minisat SatELite
0.775881 0.036994 2.13967

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb34.3334.2612.157.918.0500 00 056090.008998UNKNOWN

zChaff minisat SatELite
0.775881 0.036994 2.13967

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb34.3334.2612.157.918.0500 00 040070.005999UNKNOWN

zChaff minisat SatELite
0.775881 0.036994 2.13967