rope_0012.shuffled.cnf

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


zChaff minisat SatELite
0.167975 0.051992 0.477927

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rc72.4270.2485.7122.2224.6000 00 069120.002999UNKNOWN

zChaff minisat SatELite
0.167975 0.051992 0.477927

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcn72.4270.2485.7122.2224.6000 00 017500.001999UNKNOWN

zChaff minisat SatELite
0.167975 0.051992 0.477927

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcb72.4270.2485.7122.2224.6000 00 04320.001999UNKNOWN

zChaff minisat SatELite
0.167975 0.051992 0.477927

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcnb72.4270.2485.7122.2224.6000 00 02250UNKNOWN

zChaff minisat SatELite
0.167975 0.051992 0.477927

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcw72.4270.2485.7122.2224.6000 00 04320.003999UNKNOWN

zChaff minisat SatELite
0.167975 0.051992 0.477927

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwn72.4270.2485.7122.2224.6000 00 02250.000999UNKNOWN

zChaff minisat SatELite
0.167975 0.051992 0.477927

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwb72.4270.2485.7122.2224.6000 00 04320.000999UNKNOWN

zChaff minisat SatELite
0.167975 0.051992 0.477927

simplif% horn% Rhorn Binaire % Pos % Neg % var sup cla sup % cla red % pu time resultat
rcwnb72.4270.2485.7122.2224.6000 00 02250.000999UNKNOWN

zChaff minisat SatELite
0.167975 0.051992 0.477927