urqh2x6.shuffled-as.sat03-1474.cnf

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


zChaff minisat SatELite
TimeOut 976.201 8084.48

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc12.5017.050.001.702.8400 00 029440.009998UNKNOWN

zChaff minisat SatELite
TimeOut 976.201 8084.48

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn12.5017.050.001.702.8400 00 024560.009998UNKNOWN

zChaff minisat SatELite
TimeOut 976.201 8084.48

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb12.5017.050.001.702.8400 00 029440.009998UNKNOWN

zChaff minisat SatELite
TimeOut 976.201 8084.48

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb12.5017.050.001.702.8400 00 024560.007998UNKNOWN

zChaff minisat SatELite
TimeOut 976.201 8084.48

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw12.5017.050.001.702.8400 00 000.002999UNKNOWN

zChaff minisat SatELite
TimeOut 976.201 8084.48

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn12.5017.050.001.702.8400 00 000.001999UNKNOWN

zChaff minisat SatELite
TimeOut 976.201 8084.48

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb12.5017.050.001.702.8400 00 000.001999UNKNOWN

zChaff minisat SatELite
TimeOut 976.201 8084.48

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

zChaff minisat SatELite
TimeOut 976.201 8084.48