mod2-3g14-sat.shuffled-as.sat05-2141.cnf

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


zChaff minisat SatELite
TimeOut 957.935 5872.38

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc50.5249.480.0012.7612.2400 00 023040.002999UNKNOWN

zChaff minisat SatELite
TimeOut 957.935 5872.38

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn50.5249.480.0012.7612.2400 00 011400.001999UNKNOWN

zChaff minisat SatELite
TimeOut 957.935 5872.38

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb50.5249.480.0012.7612.2400 00 023040.003999UNKNOWN

zChaff minisat SatELite
TimeOut 957.935 5872.38

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb50.5249.480.0012.7612.2400 00 011400.002999UNKNOWN

zChaff minisat SatELite
TimeOut 957.935 5872.38

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw50.5249.480.0012.7612.2400 00 000UNKNOWN

zChaff minisat SatELite
TimeOut 957.935 5872.38

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn50.5249.480.0012.7612.2400 00 000.000999UNKNOWN

zChaff minisat SatELite
TimeOut 957.935 5872.38

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb50.5249.480.0012.7612.2400 00 000.000999UNKNOWN

zChaff minisat SatELite
TimeOut 957.935 5872.38

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb50.5249.480.0012.7612.2400 00 000UNKNOWN

zChaff minisat SatELite
TimeOut 957.935 5872.38