ferry6_ks99a.renamed-as.sat05-3996.cnf

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


zChaff minisat SatELite
0.023996 0.005999 0.104984

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc96.6317.6996.630.2382.31067510675107593300.188971UNKNOWN

zChaff minisat SatELite
0.009998 0.003999 0.094985

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn96.9716.0296.970.2183.9800 00 07770.001999UNKNOWN

zChaff minisat SatELite
0.023996 0.005999 0.104984

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb96.9716.0296.970.2183.9800 00 07770.001999UNKNOWN

zChaff minisat SatELite
0.023996 0.005999 0.104984

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb96.9716.0296.970.2183.9800 00 07770.002999UNKNOWN

zChaff minisat SatELite
0.023996 0.005999 0.104984

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw96.9016.2696.900.2183.740149 2149 2361720.010998UNKNOWN

zChaff minisat SatELite
0.021996 0.004999 0.100984

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn96.9716.0296.970.2183.9800 00 07770.002999UNKNOWN

zChaff minisat SatELite
0.023996 0.005999 0.104984

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb96.9716.0296.970.2183.9800 00 07770.005999UNKNOWN

zChaff minisat SatELite
0.023996 0.005999 0.104984

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb96.9716.0296.970.2183.9800 00 07770.003999UNKNOWN

zChaff minisat SatELite
0.023996 0.005999 0.104984