ii32a1.cnf

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


zChaff minisat SatELite
0.001 0.007998 0.410937

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc97.9994.7693.792.015.2400 00 06970831.40878UNKNOWN

zChaff minisat SatELite
0.001 0.007998 0.410937

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

zChaff minisat SatELite
0.001 0.007998 0.410937

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb97.9994.7693.792.015.2400 00 0157230.077988UNKNOWN

zChaff minisat SatELite
0.001 0.007998 0.410937

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb97.9994.7693.792.015.2400 00 02670.004999UNKNOWN

zChaff minisat SatELite
0.001 0.007998 0.410937

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw97.9994.7693.792.015.2400 00 0157230.082987UNKNOWN

zChaff minisat SatELite
0.001 0.007998 0.410937

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn97.9994.7693.792.015.2400 00 02670.002999UNKNOWN

zChaff minisat SatELite
0.001 0.007998 0.410937

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb97.9994.7693.792.015.2400 00 0157230.075988UNKNOWN

zChaff minisat SatELite
0.001 0.007998 0.410937

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb97.9994.7693.792.015.2400 00 02670.003999UNKNOWN

zChaff minisat SatELite
0.001 0.007998 0.410937