3col120_5_1.shuffled.cnf

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


zChaff minisat SatELite
0.135979 0.377942 6.52701

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc35.8737.4312.289.168.8700 00 044470.006998UNKNOWN

zChaff minisat SatELite
0.135979 0.377942 6.52701

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn35.8737.4312.289.168.8700 00 029150.004999UNKNOWN

zChaff minisat SatELite
0.135979 0.377942 6.52701

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb35.8737.4312.289.168.8700 00 041970.007998UNKNOWN

zChaff minisat SatELite
0.135979 0.377942 6.52701

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb35.8737.4312.289.168.8700 00 028450.003999UNKNOWN

zChaff minisat SatELite
0.135979 0.377942 6.52701

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw35.8737.4312.289.168.8700 00 041990.005999UNKNOWN

zChaff minisat SatELite
0.135979 0.377942 6.52701

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn35.8737.4312.289.168.8700 00 028450.005999UNKNOWN

zChaff minisat SatELite
0.135979 0.377942 6.52701

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb35.8737.4312.289.168.8700 00 041970.005999UNKNOWN

zChaff minisat SatELite
0.135979 0.377942 6.52701

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb35.8737.4312.289.168.8700 00 028450.003999UNKNOWN

zChaff minisat SatELite
0.135979 0.377942 6.52701