glassy-v249-s1901098205.cnf

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


zChaff minisat SatELite
81.7746 24.6003 31.8792

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc50.9549.050.0012.5614.1100 00 035840.004999UNKNOWN

zChaff minisat SatELite
81.7746 24.6003 31.8792

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn50.9549.050.0012.5614.1100 00 017620.002999UNKNOWN

zChaff minisat SatELite
81.7746 24.6003 31.8792

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb50.9549.050.0012.5614.1100 00 035840.005999UNKNOWN

zChaff minisat SatELite
81.7746 24.6003 31.8792

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb50.9549.050.0012.5614.1100 00 017620.003999UNKNOWN

zChaff minisat SatELite
81.7746 24.6003 31.8792

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

zChaff minisat SatELite
81.7746 24.6003 31.8792

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

zChaff minisat SatELite
81.7746 24.6003 31.8792

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

zChaff minisat SatELite
81.7746 24.6003 31.8792

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

zChaff minisat SatELite
81.7746 24.6003 31.8792