logistics.a.cnf

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


zChaff minisat SatELite
0.007 0.002999 0.233964

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

zChaff minisat SatELite
0.006999 0.003999 0.095985

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn94.447.1452.381.3050.010337 6337 6130520.004999UNKNOWN

zChaff minisat SatELite
0.004999 0.005999 0.123981

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

zChaff minisat SatELite
0.008999 0.007998 0.099984

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb94.447.1452.381.3050.010337 6337 6125780.008998UNKNOWN

zChaff minisat SatELite
0.006999 0.006998 0.124981

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

zChaff minisat SatELite
0.005999 0.004999 0.079987

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn94.447.1452.381.3050.010337 6337 6130520.006998UNKNOWN

zChaff minisat SatELite
0.005999 0.007998 0.121981

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

zChaff minisat SatELite
0.008999 0.005999 0.104984

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb94.447.1452.381.3050.010337 6337 6125780.009998UNKNOWN

zChaff minisat SatELite
0.006999 0.004999 0.136979