ii32e5.cnf

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


zChaff minisat SatELite
0.000999 0.016997 0.188971

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc98.2392.5291.581.777.4800 00 09931323.22551UNKNOWN

zChaff minisat SatELite
0.000999 0.016997 0.188971

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn98.2392.5291.581.777.4800 00 0110820.009998UNKNOWN

zChaff minisat SatELite
0.000999 0.016997 0.188971

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb98.2392.5291.581.777.4800 00 0281700.265959UNKNOWN

zChaff minisat SatELite
0.000999 0.016997 0.188971

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb98.2392.5291.581.777.4800 00 03300.007998UNKNOWN

zChaff minisat SatELite
0.000999 0.016997 0.188971

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw98.2392.5291.581.777.4800 00 0281700.269958UNKNOWN

zChaff minisat SatELite
0.000999 0.016997 0.188971

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn98.2392.5291.581.777.4800 00 03300.004999UNKNOWN

zChaff minisat SatELite
0.000999 0.016997 0.188971

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb98.2392.5291.581.777.4800 00 0281700.267959UNKNOWN

zChaff minisat SatELite
0.000999 0.016997 0.188971

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb98.2392.5291.581.777.4800 00 03300.005999UNKNOWN

zChaff minisat SatELite
0.000999 0.016997 0.188971