okgen-c700-v350-s670061878-670061878.cnf

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


zChaff minisat SatELite
0 0.002999 0.045993

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc53.0047.000.008.8614.7100 00 021260.001999UNKNOWN

zChaff minisat SatELite
0 0.002999 0.045993

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn53.0047.000.008.8614.7100 00 010000.001999UNKNOWN

zChaff minisat SatELite
0 0.002999 0.045993

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb53.0047.000.008.8614.7100 00 021260.002999UNKNOWN

zChaff minisat SatELite
0 0.002999 0.045993

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb53.0047.000.008.8614.7100 00 010000.000999UNKNOWN

zChaff minisat SatELite
0 0.002999 0.045993

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

zChaff minisat SatELite
0 0.002999 0.045993

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

zChaff minisat SatELite
0 0.002999 0.045993

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

zChaff minisat SatELite
0 0.002999 0.045993

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

zChaff minisat SatELite
0 0.002999 0.045993