marg2x5.shuffled-as.sat03-1443.cnf

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


zChaff minisat SatELite
0.097986 0.173973 1.11183

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc38.3331.670.0010.837.5000 00 04400.000999UNKNOWN

zChaff minisat SatELite
0.097986 0.173973 1.11183

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn38.3331.670.0010.837.5000 00 02800.002999UNKNOWN

zChaff minisat SatELite
0.097986 0.173973 1.11183

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb38.3331.670.0010.837.5000 00 04400.000999UNKNOWN

zChaff minisat SatELite
0.097986 0.173973 1.11183

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb38.3331.670.0010.837.5000 00 02800.000999UNKNOWN

zChaff minisat SatELite
0.097986 0.173973 1.11183

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

zChaff minisat SatELite
0.097986 0.173973 1.11183

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

zChaff minisat SatELite
0.097986 0.173973 1.11183

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

zChaff minisat SatELite
0.097986 0.173973 1.11183

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

zChaff minisat SatELite
0.097986 0.173973 1.11183